Veranstaltungen
- CSL 2015
September 2015, Berlin, Germany - LICS 2015
July 2015, Kyoto, Japan - ETAPS 2015
April 2015, London, UK - POPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
January 2015, Mumbai, India - Foundations of Software Technology and Theoretical Computer Science
December 2014, New Dehli, India - LOLA 2014 - 5th Workshop on Syntax and Semantics of Low-Level Languages
July 2014, Vienna, Austria - ETAPS 2014
April 2014, Grenoble, France - POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
January 2014, San Diego, USA - FoSSaCS - 16th International Conference on Foundations of Software Science and Computation Structures
December 2014, New Dehli, India - FSTTCS 2013
December 2013, Guwahati, India - ESOP 2013
March 2013, Rome, Italy - POPL 2013 - 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
January 2013, Rome, Italy - Computer Aided Verification (CAV) 2012
July 2013, Berkeley, California, USA - LOLA 2012 - Syntax and Semantics of Low-Level Languages
June 2012, Dubrovnic, Croatia - Turing 100 Conference - Manchester 2012
June 2012, Manchester, UK - Réalisabilité à Chambéry #5
June 2012, Chambery, France - LINEARITY 2012 - Second International Workshop on Linearity
April 2012, Tallinn, Estland - DICE 2012 - Third International Workshop on Developments in Implicit Complexity
March/April 2012, Tallinn, Estonia
Artikelaktionen