Event | When | Where | Deadline | |
ISMVL 2008 |
38th IEEE International Symposium on Multiple-Valued Logic | |
Apr 22, 2008 - May 24, 2008 |
Dallas, TX, USA |
Nov 1, 2007 |
LATA 2008 |
2nd International Conference on Language and Automata Theory and Applications | |
Mar 13, 2008 - Mar 19, 2008 |
Tarragona, Spain |
Nov 23, 2007 |
LICS 2008 |
23rd Annual IEEE Symposium on Logic in Computer Science | |
Jun 24, 2008 - Jun 27, 2008 |
Pittsburgh, PA |
Jan 7, 2008 |
DEON 2008 |
Ninth International Conference on Deontic Logic in Computer Science | |
Jul 15, 2008 - Jul 18, 2008 |
Luxembourg |
Jan 11, 2008 |
DALT 2008 |
Declarative Agent Languages and Technologies | |
May 12, 2008 - May 13, 2008 |
Estoril, Portugal |
Jan 25, 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 |
LID 2008 |
Logic in Databases | |
May 15, 2008 - May 16, 2008 |
Rome, Italy |
Feb 9, 2008 |
ICALP 2008 |
International Colloquium on Automata, Languages and Programming | |
Jul 6, 2008 - Jul 13, 2008 |
Reykjavik |
Feb 10, 2008 |
StuS 2008 |
ESSLLI 2008 Student Session | |
Aug 4, 2008 - Aug 15, 2008 |
Hamburg, Germany |
Feb 15, 2008 |
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) |
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) |
WS-Testing 2008 |
IEEE Second International Workshop on Web Services Testing | |
Jul 8, 2008 - Jul 8, 2008 |
Honolulu, Hawaii, USA |
Mar 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 |
ASPOCP 2008 |
Workshop on Answer Set Programming and Other Computing Paradigms | |
Dec 9, 2008 - Dec 13, 2008 |
Udine, Italy |
Sep 15, 2008 |
GLSVLSI 2009 |
Great Lakes Symposium on VLSI 2009 | |
May 10, 2009 - May 12, 2009 |
Boston, MA, USA |
Nov 30, 2008 |
Tableaux 2009 |
Automated Reasoning with Analytic Tableaux and Related Methods | |
Jul 6, 2009 - Jul 10, 2009 |
Oslo, Norway |
Jan 26, 2009 (Jan 19, 2009) |
IOLTS 2009 |
IEEE International On-Line Testing Symposium | |
Jun 24, 2009 - Jun 27, 2009 |
Sesimbra-Lisbon, Portugal |
Feb 2, 2009 |
WWV 2009 |
5th International Workshop on Automated Specification and Verification of Web Systems | |
Jul 17, 2009 - Jul 17, 2009 |
Castle of Hagenberg, Austria |
Feb 9, 2009 (Feb 2, 2009) |
FMICS 2009 |
14th International Workshop on Formal Methods for Industrial Critical Systems | |
Nov 2, 2009 - Nov 3, 2009 |
Eindhoven, The Netherlands |
Apr 7, 2009 (Apr 1, 2009) |
FCS 2009 |
Foundations of Computer Security | |
Aug 9, 2009 - Aug 10, 2009 |
Los Angeles, California, USA |
Apr 7, 2009 |
|