szymtor's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
DLT 2015 The 19th International Conference on Developments in Language Theory
Jul 27, 2015 - Jul 30, 2015 Liverpool, UK Mar 23, 2015
FOCS 2015 Foundations of Computer Science
Oct 18, 2015 - Oct 20, 2015 Berkley, CA, USA Apr 2, 2015
CSL 2015 COMPUTER SCIENCE LOGIC
Sep 7, 2015 - Sep 10, 2015 Berlin Apr 10, 2015 (Apr 3, 2015)
NAT@Logic 2015 NAT@Logic 2015 - Logic AT Natal
Aug 31, 2015 - Sep 4, 2015 Natal, Brazil Apr 12, 2015
CONCUR 2015 26th International Conference on Concurrency Theory
Sep 1, 2015 - Sep 4, 2015 Madrid, Spain Apr 20, 2015 (Apr 13, 2015)
MFCS 2015 40th International Symposium on Mathematical Foundations of Computer Science
Aug 24, 2015 - Aug 28, 2015 Milano, Italy Apr 22, 2015
SPIN 2015 22nd International Workshop on Model Checking Software
Aug 24, 2015 - Aug 26, 2015 Stellenbosch, South Africa Apr 24, 2015
LQMR 2015 1st Workshop on Logics for Qualitative Modelling and Reasoning
Sep 13, 2015 - Sep 16, 2015 Łódź, Poland Apr 24, 2015
FCT 2015 20th International Symposium on Fundamentals of Computation Theory
Aug 17, 2015 - Aug 19, 2015 Gdańsk, Poland Apr 25, 2015
SAT 2015 18th International Conference on Theory and Applications of Satisfiability Testing
Sep 24, 2015 - Sep 27, 2015 Austin, Texas, USA Apr 29, 2015 (Apr 22, 2015)
GandALF 2015 The Sixth International Symposium on Games, Automata, Logics and Formal Verification
Sep 21, 2015 - Sep 23, 2015 Genova May 29, 2015 (May 22, 2015)
RP 2015 9th International Workshop on Reachability Problems
Sep 21, 2015 - Sep 23, 2015 Warsaw, Poland Jun 11, 2015
NCMA 2015 7th International Workshop on Non-Classical Models of Automata and Applications
Aug 31, 2015 - Sep 1, 2015 Porto, Portugal Jun 22, 2015
PLDI 2016 Programming Language Design and Implementation
Jun 13, 2016 - Jun 17, 2016 Santa Barbara, California, United States Nov 20, 2015
FOCS 2016 57th Annual IEEE Symposium on Foundations of Computer Science
Oct 9, 2016 - Oct 11, 2016 New Brunswick, New Jersey, USA Apr 5, 2016
CSL 2016 25th EACSL Annual Conference on Computer Science Logic
Aug 29, 2016 - Sep 1, 2016 Marseille, France Apr 15, 2016 (Apr 8, 2016)
CP 2016 Principles and Practice of Constraint Programming
Sep 5, 2016 - Sep 9, 2016 Toulouse Apr 16, 2016 (Apr 13, 2016)
first | previous | Page 1 | next | last Total of 17 CFPs in 1 pages