| Event | When | Where | Deadline | | | Expired CFPs |
| TIME 2012 |
19th International Symposium on Temporal Representation and Reasoning | |
| Sep 12, 2012 - Sep 14, 2012 |
Leicester, UK |
Apr 20, 2012 (Apr 16, 2012) |
| LAM 2012 |
5th International Workshop on LOGICS, AGENTS, and MOBILITY | |
| Jun 25, 2012 - Jun 26, 2012 |
Hamburg, Germany |
Apr 15, 2012 |
| CNL 2012 |
Third Workshop on Controlled Natural Language | |
| Aug 29, 2012 - Aug 31, 2012 |
Zurich, Switzerland |
Apr 13, 2012 |
| ICLP 2012 |
28th International Conference on Logic Programming | |
| Sep 4, 2012 - Sep 8, 2012 |
Budapest, Hungary |
Mar 18, 2012 (Mar 11, 2012) |
| CILC 2012 |
9th Italian Convention on Computational Logic | |
| Jun 6, 2012 - Jun 7, 2012 |
Rome, Italy |
Mar 16, 2012 |
| LOFT 2012 |
10th Conference on Logic and the Foundations of Game and Decision Theory | |
| Jun 18, 2012 - Jun 20, 2012 |
University of Sevilla, Spain |
Mar 1, 2012 |
| Logica 2012 |
Logica 2012 | |
| Jun 18, 2012 - Jun 22, 2012 |
Hejnice, Czech Republic |
Feb 28, 2012 |
| CICM 2012 |
Conferences on Intelligent Mathematics | |
| Jul 9, 2012 - Jul 13, 2012 |
Bremen, Germany |
Feb 26, 2012 (Feb 20, 2012) |
| LICS 2012 |
27th Annual IEEE Symposium on Logic in Computer Science | |
| Jun 25, 2012 - Jun 28, 2012 |
Dubrovnik, Croatia |
Jan 13, 2012 (Jan 6, 2012) |
| FLOPS 2012 |
International Symposium on Functional and Logic Programming | |
| May 23, 2012 - May 25, 2012 |
Kobe, Japan |
Dec 9, 2011 |
| ISMVL 2012 |
IEEE 42nd International Symposium on Multiple-Valued Logic | |
| May 14, 2012 - May 16, 2012 |
Victoria, Canada |
Nov 1, 2011 |
| VSTTE 2012 |
Verified Software: Theories, Tools and Experiments | |
| Jan 28, 2012 - Jan 29, 2012 |
Philadelphia, USA |
Aug 31, 2011 |
| WLP 2011 |
25th Workshop on Logic Programming | |
| Sep 28, 2011 - Sep 30, 2011 |
Vienna, Austria |
Jul 15, 2011 (Jul 8, 2011) |
| DL 2011 |
24th International Workshop on Description Logics | |
| Jul 13, 2011 - Jul 16, 2011 |
Barcelona, Spain |
May 1, 2011 |
| SMT 2011 |
9th International Workshop on Satisfiability Modulo Theories | |
| Jul 14, 2011 - Jul 15, 2011 |
Snowbird, Utah, USA |
Apr 15, 2011 |
| CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
| Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
| CSL 2011 |
20th Annual Conference of the European Association for Computer Science Logic | |
| Sep 12, 2011 - Sep 15, 2011 |
Bergen, Norway |
Apr 3, 2011 (Mar 27, 2011) |
| LOPSTR 2011 |
21st International Symposium on Logic-Based Program Synthesis and Transformation | |
| Jul 18, 2011 - Jul 20, 2011 |
Odense, Denmark |
Mar 27, 2011 |
| DALI 2011 |
Data, Logic and Inconsistency | |
| Aug 31, 2011 - Aug 31, 2011 |
Toulouse, France |
Mar 20, 2011 |
| ICALP 2011 |
The 38th International Colloquium on Automata, Languages and Programming | |
| Jul 4, 2011 - Jul 8, 2011 |
Zürich, Switzerland |
Feb 15, 2011 |
|
