CONFERENCES IN THEORETICAL COMPUTER SCIENCE
ICALP 2008: 35th International Colloquium on Automata, Languages and Programming
Reykjavik, Iceland on July 6, 2008, submission deadline February 10, 2008
CAV 2008: 20th International Conference on Computer Aided Verification
Princeton, USA on July 7, 2008, submission deadline January 28, 2008
SAS 2008: 15th International Static Analysis Symposium
Valencia, Spain on July 16, 2008, submission deadline January 12, 2008
AMAST 2008: 12th International Conference on Algebraic Methodology and Software Technology
Urbana-Champaign, Illinois, USA on July 28, 2008, submission deadline March 1, 2008
SPIN 2008: 15th International SPIN Workshop on Model Checking of Software
Los Angeles, USA on August 10, 2008, submission deadline April 2, 2008
CONCUR2008: International Conference on Concurrency Theory
Toronto, Canada, August 19-22, 2008-08-19 on August 19, 2008, submission deadline April 4, 2008
TCS 2008: 5th IFIP International Conference on Theoretical Computer Science
Milano, Italy on September 7, 2008, submission deadline February 8, 2008
ICGT 2008: 4th International Conference on Graph Transformation
Leicester, UK on September 7, 2008, submission deadline April 10, 2008
CSL2008: 17th EACSL Annual Conference on Computer Science and Logic
Bertinoro (Bologna), Italy on September 15, 2008, submission deadline March 28, 2008
ICFP 2008: 13th International Conference on Functional Programming
Victoria, BC, Canada on September 22, 2008, submission deadline April 2, 2008
SLE 2008: International Conference on Software Language Engineering
Toulouse, France on September 29, 2008, submission deadline July 16, 2008
VSTTE 2008: 2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments
Toronto, Canada on October 6, 2008, submission deadline April 30, 2008
OOPSLA 2008: Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications
Nashville, Tennessee, USA on October 19, 2008, submission deadline July 2, 2008
ATVA2008: International Symposium on Automated Technology for Verification and Analysis
Seoul, South Korea on October 20, 2008, submission deadline May 12, 2008
FSE 2008: International Symposium on the Foundations of Software Engineering
Atlanta, Georgia, USA on November 9, 2008, submission deadline March 7, 2008
APLAS 2008: Asian Symposium on Programming Languages and Systems
Bangalore, India on December 9, 2008, submission deadline June 27, 2008
FSTTCS 2008: Foundations of Software Technology and Theoretical Computer Science
Bangalore, India on December 9, 2008, submission deadline July 7, 2008
PADL 2009: 10th International Symposium on Practical Aspects of Declarative Languages
Savannah, Georgia, USA on January 19, 2009, submission deadline September 8, 2008
POPL2009: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Savannah, Georgia, USA on January 21, 2009, submission deadline July 15, 2008
FOOL 2009: International Workshop on Foundations of Object-Oriented Languages
Savannah, Georgia, USA on January 24, 2009, submission deadline October 9, 2008
SAC 2009: ACM Symposium on Applied Computing
Honolulu, Hawaii, USA on March 8, 2009, submission deadline August 16, 2008
ETAPS 2009 (CC,ESOP,FASE,FOSSACS,TACAS): European Joint Conferences on Theory And Practice of Software
York, UK on March 22, 2009, submission deadline October 2, 2008
LATA 2009: International Conference on Language and Automata Theory and Applications
Tarragona, Spain, April 2-8, 2009 on April 2, 2009, submission deadline October 22, 2008
RDP 2009 (RTA,TLCA): Federated Conference on Rewriting, Deduction, and Programming
Brasilia, Brazil on June 28, 2009
CADE2009: International Conference on Automated Deduction
Montreal, Canada on August 2, 2009, submission deadline February 16, 2009
ESEC/FSE 2009: European Software Engineering Conference
Amsterdam, Netherlands on August 24, 2009, submission deadline March 16, 2009
FM 2009: International Symposium on Formal Methods
Eindhoven, the Netherlands on October 30, 2009, submission deadline July 19, 2008
| 
