Events
-
DICE 2012 - Third International Workshop on Developments in Implicit Complexity
March/April 2012, Tallinn, Estonia -
LINEARITY 2012 - Second International Workshop on Linearity
April 2012, Tallinn, Estland -
Réalisabilité à Chambéry #5
June 2012, Chambery, France - Turing 100 Conference - Manchester 2012
June 2012, Manchester, UK -
LOLA 2012: Syntax and Semantics of Low-Level Languages
June 2012, Dubrovnic, Croatia -
Computer Aided Verification (CAV) 2012
July 2013, Berkeley, California, USA -
POPL 2013 - 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
January 2013, Rome, Italy -
FoSSaCS - 16th International Conference on Foundations of Software Science and Computation Structures
March 2013, Rome, Italy
