| Event | When | Where | Deadline | | | Expired CFPs |
| PhDs in Logic 2020 |
PhDs in Logic XII (2020) | |
| Apr 27, 2020 - Apr 27, 2020 |
Berlin |
Jan 20, 2020 |
| LSFA 2018 |
13th Workshop on Logical and Semantic Frameworks, with Applications | |
| Sep 26, 2018 - Sep 28, 2018 |
Fortaleza, Brazil |
Jun 10, 2018 |
| ICTAC 2018 |
15th International Colloquium on Theoretical Aspects of Computing | |
| Oct 16, 2018 - Oct 19, 2018 |
Stellenbosch, South Africa |
May 11, 2018 (May 4, 2018) |
| CILC 2017 |
32nd Italian Conference on Computational Logic | |
| Sep 26, 2017 - Sep 29, 2017 |
Naples |
Jun 7, 2017 |
| FoSSaCS 2017 |
20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | |
| Apr 22, 2017 - Apr 29, 2017 |
Uppsala, Sweden |
Oct 21, 2016 (Oct 14, 2016) |
| NAT@Logic 2015 |
NAT@Logic 2015 - Logic AT Natal | |
| Aug 31, 2015 - Sep 4, 2015 |
Natal, Brazil |
Apr 12, 2015 |
| COLA 2011 |
COmputational Logic with Applications @ EPIA | |
| Oct 10, 2011 - Oct 13, 2011 |
Universidade de Lisboa, Portugal |
May 17, 2011 (May 10, 2011) |
| CLIMA XII 2011 |
12th International Workshop on Computational Logic in Multi-Agent Systems | |
| Jul 17, 2011 - Jul 18, 2011 |
Barcelona, Spain |
Apr 8, 2011 (Apr 4, 2011) |
|
