Write a Blog >>
General (4 results)

PLMW Homepage

… in 14 different countries. PLMW 2016 is open for registration to all students … than 90 attendees are expected!

Attending and social activities

All funded …

CPP 2016 Homepage

… Certified Programs and Proofs CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work …

POPL 2016 Homepage

… POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages …

PADL Homepage

… emphasizing novel applications and implementation techniques for all forms …