Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
CONCUR 2010 21st International Conference on Concurrency Theory
Aug 31, 2010 - Sep 3, 2010 Paris, France Apr 15, 2010 (Apr 8, 2010)
NASSLLI-SS 2010 NASSLLI 2010 STUDENT SESSION
Jun 26, 2010 - Jun 26, 2010 Bloomington, Indiana, USA Apr 5, 2010
LOPSTER 2010 20th International Symposium on Logic-Based Program Synthesis and Transformation
Jul 23, 2010 - Jul 25, 2010 Hagenberg, Austria Mar 25, 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)
TMFCS 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science
Jul 12, 2010 - Jul 14, 2010 Orlando, USA Mar 3, 2010
DEON 2010 10th International Conference on Deontic Logic in Computer Science
Jul 7, 2010 - Jul 9, 2010 Firenze, Italy Feb 27, 2010
ILP 2010 20th International Conference on Inductive Logic Programming
Jun 27, 2010 - Jun 30, 2010 Firenze, Italy Feb 27, 2010 (Feb 20, 2010)
DALT 2010 8th International Workshop on Declarative Agent Languages and Technologies
May 10, 2010 - May 10, 2010 Toronto, Canada Feb 2, 2010 (Jan 28, 2010)
ICLP 2010 International Conference on Logic Programming
Jul 16, 2010 - Jul 19, 2010 Edinburgh, Scotland, U.K. Feb 2, 2010 (Jan 26, 2010)
NMR 2010 13th Internatıonal Workshop on Non-monotonıc Reasonıng
May 14, 2010 - May 16, 2010 Sutton Place, Toronto, Canada Jan 29, 2010
DL 2010 23rd International Workshop on Description Logics
May 4, 2010 - May 7, 2010 Waterloo, Canada Jan 26, 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)
CAV 2010 22nd International Conference on Computer Aided Verification
Jul 15, 2010 - Jul 19, 2010 Edinburgh, United Kingdom Jan 15, 2010 (Jan 11, 2010)
ISMVL 2010 40th IEEE International Symposium on Multiple-Valued Logic
May 26, 2010 - May 28, 2010 Barcelona, Spain Nov 15, 2009
LANMR 2009 FIFTH LATIN AMERICAN WORKSHOP ON NON-MONOTONIC REASONING 2009
Nov 5, 2009 - Nov 6, 2009 Tlaxcala, Mexico Jul 6, 2009 (Jun 30, 2009)
FCS 2009 Foundations of Computer Security
Aug 9, 2009 - Aug 10, 2009 Los Angeles, California, USA Apr 7, 2009
Tableaux 2009 Automated Reasoning with Analytic Tableaux and Related Methods
Jul 6, 2009 - Jul 10, 2009 Oslo, Norway Jan 26, 2009 (Jan 19, 2009)
ASPOCP 2008 Workshop on Answer Set Programming and Other Computing Paradigms
Dec 9, 2008 - Dec 13, 2008 Udine, Italy Sep 15, 2008
ALPSWS 2008 Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services
Dec 9, 2008 - Dec 9, 2008 Udine, Italy Aug 26, 2008
SELSE 2008 IEEE Workshop on Silicon Errors in Logic - System Effects
Mar 26, 2008 - Mar 27, 2008 Austin, TX, USA Mar 10, 2008 (Dec 21, 2007)
first | previous | Page 10 | next | last Total of 220 CFPs in 11 pages