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)
CLIMA XI 2010 11th International Workshop on Computational Logic in Multi-Agent Systems
Aug 16, 2010 - Aug 17, 2010 Lisbon, Portugal May 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)
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)
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
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
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)
first | previous | Page 10 | next | last Total of 226 CFPs in 12 pages