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) |
|