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
TMFCS 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science
Jul 12, 2010 - Jul 14, 2010 Orlando, USA Mar 3, 2010
WoLLIC 2010 17th Workshop on Logic, Language, Information and Computation
Jun 6, 2010 - Jun 9, 2010 Brasília, Brazil Mar 7, 2010 (Feb 28, 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
MFCS 2010 35th International Symposium on Mathematical Foundations of Computer Science
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Republic Apr 15, 2010 (Apr 10, 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)
WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation
May 18, 2011 - May 21, 2011 Philadelphia, USA Jan 8, 2011 (Jan 1, 2011)
AAAI 2011 Twenty-Fifth Conference on Artificial Intelligence
Aug 7, 2011 - Aug 11, 2011 San Francisco, California (USA) Feb 8, 2011 (Feb 3, 2011)
CALCO 2011 4th Conference on Algebra and Coalgebra
Aug 29, 2011 - Sep 2, 2011 Winchester, UK Feb 13, 2011 (Feb 6, 2011)
ICALP 2011 The 38th International Colloquium on Automata, Languages and Programming
Jul 4, 2011 - Jul 8, 2011 Zürich, Switzerland Feb 15, 2011
first | previous | Page 1 | next | last Total of 34 CFPs in 2 pages