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 |  |
|---|---|---|---|---|---|---|
| SetVR 2018 | International Workshop on Set Visualization and Reasoning 2018 | Edinburgh, UK | Feb 19, 2018 | computer science visualization logic cognitive science | | |
| CL&C 2018 | Classical Logic and Computation 2018 (Seventh of the series CL&C) | Oxford, UK | Mar 19, 2018 | Jul 7, 2018 | logic programming | |
| LOLA 2018 | Syntax and Semantics of Low-Level Languages 2018 | Oxford, UK | Apr 15, 2018 | Jul 7, 2018 | logic | |
| COALG AT FLOC 2018 | Coalgebra, Now | Oxford, UK | Jul 8, 2018 | theoretical computer science category theory programming languages logic | | |
| FSCD 2018 | Formal Structures for Computation and Deduction | Oxford, UK | Jan 22, 2018 | Jul 9, 2018 | logic computation programming verification | |
| PRUV'18 | Workshop on Reasoning with Preferences, Uncertainty and Vagueness | Oxford, UK | Apr 15, 2018 | Jul 19, 2018 | reasoning logic vagueness uncertainty | |
| CSL18 | Computer Science Logic 2018 | Birmingham, UK | Sep 4, 2018 | theoretical computer science logic | | |
| ArgPhil 2018 | Argumentation and Philosophy | Warsaw, Poland | Jun 29, 2018 | Sep 11, 2018 | argumentation debate ethics logic | |
| NCL 2018 | Non-Classical Logic. Theory and Applications 2018 | Torun, Poland | Jul 6, 2018 | Sep 24, 2018 | logic non classical logics philosophy of logic philosophical logic | |
| LSFA 2018 | 13th Workshop on Logical and Semantic Frameworks with Applications | Fortaleza, Brazil | Jun 10, 2018 | Sep 26, 2018 | automated deduction logic semantics | |
| formphil2018 | International Conference "Formal Philosophy" | Moscow, Russia | Apr 30, 2018 | Oct 1, 2018 | logic formal ontology formal philosophy formal epistemology | |
| DL 2018 | 31st International Workshop on Description Logics | Tempe, AZ, United States | Jul 28, 2018 | Oct 26, 2018 | logic description logic reasoning ontologies | |
| RAMiCS 2018 | 17th International Conference on Relational and Algebraic Methods in Computer Science | Groningen, Netherlands | Apr 20, 2018 | Oct 28, 2018 | computer science mathematics algebra logic | |
| CILC 2018 | Congreso Internacional "Las Lógica en la Ciencia" (International Conference "Logic in Science") | Arequipa, Peru | Aug 17, 2018 | Nov 5, 2018 | logic argumentation logic and science didactics of logic | |
| 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 | |