Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
Factótum 2010 Factótum. Revista de Filosofía (special issue on autonomous agents)
Mar 20, 2010 - Aug 31, 2010 Salamanca (Spain) Aug 31, 2010
LANMR 2010 SIXTH LATIN AMERICAN WORKSHOP ON NEW METHODS OF REASONING 2010 --Logic/Languages, Algorithms and New Methods of Reasoning
Nov 4, 2010 - Nov 5, 2010 Puebla, Mexico Jul 16, 2010 (Jun 30, 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)
CLIMA XI 2010 11th International Workshop on Computational Logic in Multi-Agent Systems
Aug 16, 2010 - Aug 17, 2010 Lisbon, Portugal May 7, 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
ILP 2010 20th International Conference on Inductive Logic Programming
Jun 27, 2010 - Jun 30, 2010 Firenze, Italy Feb 27, 2010 (Feb 20, 2010)
DEON 2010 10th International Conference on Deontic Logic in Computer Science
Jul 7, 2010 - Jul 9, 2010 Firenze, Italy Feb 27, 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
first | previous | Page 14 | next | last Total of 340 CFPs in 17 pages