| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| DEON 2008 |
Ninth International Conference on Deontic Logic in Computer Science | |
| Jul 15, 2008 - Jul 18, 2008 |
Luxembourg |
Jan 11, 2008 |
| LICS 2008 |
23rd Annual IEEE Symposium on Logic in Computer Science | |
| Jun 24, 2008 - Jun 27, 2008 |
Pittsburgh, PA |
Jan 7, 2008 |
| LATA 2008 |
2nd International Conference on Language and Automata Theory and Applications | |
| Mar 13, 2008 - Mar 19, 2008 |
Tarragona, Spain |
Nov 23, 2007 |
| ISMVL 2008 |
38th IEEE International Symposium on Multiple-Valued Logic | |
| Apr 22, 2008 - May 24, 2008 |
Dallas, TX, USA |
Nov 1, 2007 |
|
