| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| EXPRESS/SOS 2016 |
Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) | |
| Aug 22, 2016 - Aug 22, 2016 |
Québec |
Jun 13, 2016 |
| RP 2016 |
Reachability Problems | |
| Sep 19, 2016 - Sep 21, 2016 |
Aalborg, Denmark |
Jun 10, 2016 |
| LANMR 2016 |
LANMR 2016 : Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2016 | |
| Aug 15, 2016 - Aug 15, 2016 |
Puebla |
May 6, 2016 |
| ARQNL 2016 |
Automated Reasoning in Quantified Non-Classical Logics | |
| Jul 1, 2016 - Jul 1, 2016 |
Coimbra, Portugal |
May 2, 2016 (Apr 25, 2016) |
| ARQNL 2016 |
Automated Reasoning in Quantified Non-Classical Logics | |
| Jul 1, 2016 - Jul 1, 2016 |
Coimbra, Portugal |
May 2, 2016 (Apr 25, 2016) |
| SYSMICS 2016 |
SYNTAX MEETS SEMANTICS (SYSMICS 2016) | |
| Sep 5, 2016 - Sep 9, 2016 |
Barcelona |
Apr 30, 2016 |
| SR 2016 |
4th International Workshop on Strategic Reasoning | |
| Jul 9, 2016 - Jul 10, 2016 |
New York |
Apr 18, 2016 |
| CONCUR 2016 |
The 27th International Conference on Concurrency Theory | |
| Aug 23, 2016 - Aug 26, 2016 |
Québec City, Canada |
Apr 18, 2016 (Apr 11, 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) |
|
