carlosareces's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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)
first | previous | Page 1 | next | last Total of 36 CFPs in 2 pages