darkmanppt's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
POPL 2013 The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 23, 2013 - Jan 25, 2013 Rome, Italy Jul 10, 2012 (Jul 6, 2012)
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
MFCS 2013 38 International Symposium on Mathematical Foundations of Computer Science
Aug 26, 2013 - Aug 30, 2013 Klosterneuburg, Austria Apr 19, 2013
GandALF 2013 4th International Symposium on Games, Automata, Logics, and Formal Verification
Aug 29, 2013 - Aug 31, 2013 Borca di Cadore May 19, 2013 (May 13, 2013)
FOPARA 2013 3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
Aug 29, 2013 - Aug 31, 2013 Bertinoro, Italy Jun 3, 2013
WLPE 2013 23rd Workshop on Logic-based methods in Programming Environments
Aug 24, 2013 - Aug 25, 2013 Istanbul (Turkey) Jun 3, 2013
first | previous | Page 1 | next | last Total of 12 CFPs in 1 pages