Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
ILP 2010 20th International Conference on Inductive Logic Programming
Jun 27, 2010 - Jun 30, 2010 Firenze, Italy Feb 27, 2010 (Feb 20, 2010)
ICLP 2010 International Conference on Logic Programming
Jul 16, 2010 - Jul 19, 2010 Edinburgh, Scotland, U.K. Feb 2, 2010 (Jan 26, 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)
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)
WoLLIC 2008 15th Workshop on Logic, Language, Information and Computation
Jul 1, 2008 - Jul 4, 2008 Edinburgh, United Kingdom Mar 2, 2008 (Feb 24, 2008)
StuS 2008 ESSLLI 2008 Student Session
Aug 4, 2008 - Aug 15, 2008 Hamburg, Germany Feb 15, 2008
ICALP 2008 International Colloquium on Automata, Languages and Programming
Jul 6, 2008 - Jul 13, 2008 Reykjavik Feb 10, 2008
LID 2008 Logic in Databases
May 15, 2008 - May 16, 2008 Rome, Italy Feb 9, 2008
JoLLI Special Issue 2008 Journal of Logic, Lanugage and Information, Special Issue on New Directions in Type-theoretic Grammar
N/A N/A Feb 1, 2008
DALT 2008 Declarative Agent Languages and Technologies
May 12, 2008 - May 13, 2008 Estoril, Portugal Jan 25, 2008
first | previous | Page 10 | next | last Total of 214 CFPs in 11 pages