| Event | When | Where | Deadline | |
| CILC 2012 |
9th Italian Convention on Computational Logic | |
| Jun 6, 2012 - Jun 7, 2012 |
Rome, Italy |
Mar 16, 2012 |
| AiML 2012 |
Ninth international conference on Advances in Modal Logic | |
| Aug 22, 2012 - Aug 25, 2012 |
Copenhagen, Denmark |
Mar 30, 2012 |
| CSL 2012 |
21th EACSL Annual Conferences on Computer Science Logic | |
| Sep 3, 2012 - Sep 6, 2012 |
Fontainebleau, France |
Apr 9, 2012 (Apr 2, 2012) |
| WoLLIC 2012 |
19th Workshop on Logic, Language, Information and Computation | |
| Sep 3, 2012 - Sep 6, 2012 |
Buenos Aires, Argentina |
May 4, 2012 (Apr 27, 2012) |
| JELIA 2012 |
13th European Conference on Logics in Artificial Intelligence | |
| Sep 26, 2012 - Sep 28, 2012 |
Toulouse, France |
May 23, 2012 (May 18, 2012) |
| STACS 2013 |
30th International Symposium on Theoretical Aspects of Computer Science | |
| Feb 27, 2013 - Mar 2, 2013 |
Kiel, Germany |
Sep 21, 2012 |
|
