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 |
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) |
|