gm's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
ICALP 2013 40th International Colloquium on Automata, Languages and Programming
Jul 8, 2013 - Jul 12, 2013 Riga, Latvia Feb 15, 2013
EATCS 2013 Annual Meeting of the European Association for Theoretical Computer Science
Jul 8, 2013 - Jul 12, 2013 Riga, Latvia Feb 15, 2013
TYPES 2013 Types for Proofs and Programs
Apr 23, 2013 - Apr 26, 2013 Toulouse, France Feb 25, 2013
ICFP 2013 ACM SIGPLAN International Conference on Functional Programming
Sep 25, 2013 - Sep 27, 2013 Boston, MA, USA Mar 28, 2013
WoLLIC 2013 20th Workshop on Logic, Language, Information and Computation
Aug 20, 2013 - Aug 23, 2013 Darmstadt, Germany Mar 29, 2013 (Mar 25, 2013)
MFCS 2013 38 International Symposium on Mathematical Foundations of Computer Science
Aug 26, 2013 - Aug 30, 2013 Klosterneuburg, Austria Apr 19, 2013
LSFA 2013 Logical and Semantic Frameworks with Applications
Sep 2, 2013 - Sep 3, 2013 Sao Paulo May 26, 2013
PPDP 2013 15th International Symposium on Principles and Practice of Declarative Programming
Sep 16, 2013 - Sep 18, 2013 Madrid, Spain May 30, 2013 (May 27, 2013)
LOPSTR 2013 23rd International Symposium on Logic-Based Program Synthesis and Transformation
Sep 18, 2013 - Sep 20, 2013 Madrid, Spain Jun 11, 2013 (Jun 4, 2013)
POPL 2014 Symposium on Principles of Programming Languages
Jan 22, 2014 - Jan 24, 2014 The US Grant, San Diego, CA, USA Jul 12, 2013 (Jul 5, 2013)
IFL 2013 25th International Symposium on Implementation and Application of Functional Languages
Aug 28, 2013 - Aug 30, 2013 Nijmegen, Netherlands Jul 31, 2013
first | previous | Page 1 | next | last Total of 18 CFPs in 1 pages