| Event | When | Where | Deadline | |
| Expired CFPs |
| 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 |
| 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 |
