All CFPs for "logic"
CFPs in the table are ordered by the end date.
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click 
.
Click on a topic to see related CFPs.
CFPs are ordered by the end date.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| 9 SLMFCE | IX Conference of the Spanish Society for Logic, Methodology and Philosophy of Science | Madrid, Spain | Nov 13, 2018 | logic philosophy of science | | |
| LPAR-22 | 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | Awassa, Ethiopia | Aug 13, 2018 | Nov 17, 2018 | logic artificial intelligence automated reasoning | |
| DICE-FOPARA-2019 | Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis | Prague, Czechia | Jan 31, 2019 | Apr 6, 2019 | computational complexity type systems logic program analysis | |
| JELIA 2019 | European Conference on Logics in Artificial Intelligence | Rende, Italy | Dec 7, 2018 | May 8, 2019 | artificial intelligence logic ontology neural networks | |
| PLS12 | 12th Panhellenic Logic Symposium | Anogeia, Crete, Greece | Feb 25, 2019 | Jun 26, 2019 | logic computability theory model theory set theory | |
| WoLLIC 2019 | Workshop on Logic, Language, Information and Computation | Utrecht, Netherlands | Feb 26, 2019 | Jul 2, 2019 | logic language computation | |