| Event | When | Where | Deadline | |
| LICS 2008 |
23rd Annual IEEE Symposium on Logic in Computer Science | |
| Jun 24, 2008 - Jun 27, 2008 |
Pittsburgh, PA |
Jan 7, 2008 |
| StuS 2008 |
ESSLLI 2008 Student Session | |
| Aug 4, 2008 - Aug 15, 2008 |
Hamburg, Germany |
Feb 15, 2008 |
| Tableaux 2009 |
Automated Reasoning with Analytic Tableaux and Related Methods | |
| Jul 6, 2009 - Jul 10, 2009 |
Oslo, Norway |
Jan 26, 2009 (Jan 19, 2009) |
| ICAPS 2010 |
20th International Conference on Automated Planning and Scheduling | |
| May 12, 2010 - May 16, 2010 |
Toronto, Canada |
Dec 18, 2009 (Dec 11, 2009) |
| CAV 2010 |
22nd International Conference on Computer Aided Verification | |
| Jul 15, 2010 - Jul 19, 2010 |
Edinburgh, United Kingdom |
Jan 15, 2010 (Jan 11, 2010) |
| LICS 2010 |
Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE | |
| Jul 11, 2010 - Jul 14, 2010 |
Edinburgh, Scotland, U.K. |
Jan 17, 2010 (Jan 10, 2010) |
| IJCAR 2010 |
International Joint Conference on Automated Reasoning | |
| Jul 16, 2010 - Jul 19, 2010 |
Edinburgh, United Kingdom |
Jan 22, 2010 (Jan 15, 2010) |
| DL 2010 |
23rd International Workshop on Description Logics | |
| May 4, 2010 - May 7, 2010 |
Waterloo, Canada |
Jan 26, 2010 |
| ESSLLI-SS 2010 |
ESSLLI 2010 STUDENT SESSION | |
| Aug 9, 2010 - Aug 20, 2010 |
Copenhagen, Denmark |
Feb 19, 2010 |
| CSL 2010 |
Computer Science Logic | |
| Aug 23, 2010 - Aug 27, 2010 |
Brno, Czech Rep. |
Apr 2, 2010 (Mar 26, 2010) |
| NASSLLI-SS 2010 |
NASSLLI 2010 STUDENT SESSION | |
| Jun 26, 2010 - Jun 26, 2010 |
Bloomington, Indiana, USA |
Apr 5, 2010 |
| HyLo 2010 |
International Workshop on Hybrid Logic and Applications | |
| Jul 10, 2010 - Jul 10, 2010 |
Edinburgh, Scotland |
Apr 7, 2010 |
| JELIA 2010 |
12th European Conference on Logics in Artificial Intelligence | |
| Sep 13, 2010 - Sep 15, 2010 |
Helsinki, Finland |
May 7, 2010 (May 3, 2010) |
| ICALP 2011 |
The 38th International Colloquium on Automata, Languages and Programming | |
| Jul 4, 2011 - Jul 8, 2011 |
Zürich, Switzerland |
Feb 15, 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) |
| CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
| Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
| DL 2011 |
24th International Workshop on Description Logics | |
| Jul 13, 2011 - Jul 16, 2011 |
Barcelona, Spain |
May 1, 2011 |
| NASSLLI 2012 |
North American Summer School in Logic, Language and Information | |
| Jun 18, 2012 - Jun 22, 2012 |
Austin, Texas |
Jul 31, 2011 |
| 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) |
| CICM 2012 |
Conferences on Intelligent Mathematics | |
| Jul 9, 2012 - Jul 13, 2012 |
Bremen, Germany |
Feb 26, 2012 (Feb 20, 2012) |
|
