| Event | When | Where | Deadline | | | Expired CFPs |
| EXPRESS/SOS 2017 |
Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics | |
| Sep 4, 2017 - Sep 4, 2017 |
Berlin |
Jun 23, 2017 |
| LSFA 2017 |
12th Workshop on Logical and Semantic Frameworks, with Applications | |
| Sep 23, 2017 - Sep 24, 2017 |
Brasília, Brazil |
Jun 21, 2017 |
| RP 2017 |
Reachability Problems | |
| Sep 7, 2017 - Sep 9, 2017 |
Royal Holloway, University of London |
Jun 19, 2017 |
| SR 2017 |
Fifth International Workshop on Strategic Reasoning | |
| Jul 26, 2017 - Jul 27, 2017 |
University of Liverpool, UK |
May 15, 2017 (May 8, 2017) |
| FCT 2017 |
Fundamentals of Computation Theory | |
| Sep 11, 2017 - Sep 13, 2017 |
Bordeaux, France |
May 6, 2017 (May 1, 2017) |
| CfP - CONCUR 2017 |
Call for Papers - 28th International Conference on Concurrency Theory | |
| Sep 5, 2017 - Sep 8, 2017 |
Berlin |
Apr 21, 2017 |
| LORI 2017 |
6th International Conference on Logic, Rationality, and Interaction | |
| Sep 11, 2017 - Sep 14, 2017 |
Hokkaido University, Sapporo, Japan |
Apr 14, 2017 |
| PLS 2017 |
11th Panhellenic Logic Symposium | |
| Jul 12, 2017 - Jul 16, 2017 |
Delphi |
Apr 12, 2017 |
| TARK 2017 |
16th Conference on Theoretical Aspects of Rationality and Knowledge | |
| Jun 24, 2017 - Jun 26, 2017 |
University of Liverpool, UK |
Apr 3, 2017 |
| LearnAut 2017 |
Learning and Automata - LICS 2017 Workshop | |
| Jun 19, 2017 - Jun 19, 2017 |
Reykjavik (Iceland) |
Apr 1, 2017 |
| SLALM 2017 |
17th Latin American Symposium on Mathematical Logic | |
| Jun 26, 2017 - Jun 30, 2017 |
Puebla, Puebla. México |
Mar 17, 2017 |
| TACL 2017 |
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC | |
| Jun 26, 2017 - Jun 30, 2017 |
Prague |
Mar 10, 2017 |
| ICALP 2017 |
44th International Colloquium on Automata, Languages, and Programming | |
| Jul 10, 2017 - Jul 14, 2017 |
Warsaw, Poland |
Feb 17, 2017 |
| LPNMR 2017 |
14th International Conference on Logic Programming and Non-monotonic Reasoning | |
| Jul 3, 2017 - Jul 6, 2017 |
Hanasaari, Espoo, Finland |
Feb 9, 2017 (Feb 5, 2017) |
| CfW-CONCUR 2017 |
Call for Workshops in The 28th International Conference on Concurrency Theory | |
| Sep 4, 2017 - Sep 9, 2017 |
Berlin |
Jan 27, 2017 |
| LICS 2017 |
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science | |
| Jun 20, 2017 - Jun 23, 2017 |
Reykjavik, Iceland |
Jan 9, 2017 (Jan 3, 2017) |
| KRR@SAC 2017 |
Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing) | |
| Apr 3, 2017 - Apr 7, 2017 |
Marrakech, Morocco |
Oct 7, 2016 |
| STACS 2017 |
34th International Symposium on Theoretical Aspects of Computer Science | |
| Mar 8, 2017 - Mar 11, 2017 |
Hannover, Germany |
Sep 25, 2016 |
| LaSh 2016 |
Fifth Workshop on Logic and Search | |
| Oct 17, 2016 - Oct 17, 2016 |
New York City |
Sep 12, 2016 |
| FSTTCS 2016 |
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
| Dec 13, 2016 - Dec 15, 2016 |
Chennai, India |
Jul 15, 2016 |
|
