This is our calendar listing some interesting conferences and workshop in Theoretical Computer Science and Formal Methods

Maintenance

Name Description	Conf/Workshop Proceedings	Abstract	Submission	Notification	Camera	Meeting Place	Remarks
QEST'10  Quantitative Evaluation of Systems	Conference  IEEE	22.03.2010	29.03.2010	24.05.2010	14.06.2010	15.09.2010-18.09.2010  Williamsburg, Virginia, USA
DLT'10  Developments in Language Theory	Conference  LNCS	20.03.2010	20.03.2010	20.04.2010	10.05.2010	17.08.2010-20.08.2010  London, Ontario, Canada
ICALP'10  Automata, Languages and Programming	Conference  LNCS	10.02.2010	10.02.2010	06.04.2010	27.04.2010	05.07.2010-12.07.2010  Bordeaux, France
IJCAR'10  Automated Reasoning	Conference  LNCS	15.01.2010	22.01.2010	15.03.2010	19.04.2010	16.07.2010-19.07.2010  Edinburgh, Scotland, UK
WATA'10  Weighted Automata: Theory and Applications	Workshop  Informal proceedings	15.01.2010	not set	15.02.2010	not set	03.05.2010-07.05.2010  Leipzig, Germany
CAV'10  Computer-aided Verification	Conference  LNCS	11.01.2010	15.01.2010	15.03.2010	16.04.2010	15.07.2010-19.07.2010  Edinburgh, UK
LICS'10  Logic in Computer Science	Conference  IEEE	10.01.2010	17.01.2010	21.03.2010	29.04.2010	11.07.2010-14.07.2010  Edinburgh, Scotland, UK
ACSD'10  Application of Concurrency to System Design	Conference  IEEE Computer Society Press	10.01.2010	10.01.2010	12.03.2010	09.04.2010	21.06.2010-25.06.2010  Braga, Portugal
Petri Nets 2010  Application and Theory of Petri Nets and Other Models of Concurrency	Conference  LNCS	05.01.2010	05.01.2010	01.03.2010	01.04.2010	23.06.2010-25.06.2010  Braga, Portugal
PODS'10  Principles of Database Systems	Conference  ACM	04.12.2009	11.12.2009	03.03.2010	02.04.2010	06.06.2010-11.06.2010  Indianapolis, Indiana, USA
LATA'10  Language and Automata Theory and Applications	Conference  LNCS	03.12.2009	03.12.2009	21.01.2010	03.02.2010	24.05.2010-28.05.2010  Trier, Germany
HSCC'10  Hybrid Systems	Conference  ACM	10.10.2009	17.10.2009	07.12.2009	09.01.2010	12.04.2010-16.04.2010  Stockholm, Sweden
FOSSACS'10  Foundations of Software Science and Computation Structures	Conference  LNCS	01.10.2009	08.10.2009	11.12.2009	04.01.2010	20.03.2010-28.03.2010  Paphos, Cyprus
TACAS'10  Tools and Algorithms for the Construction and Analysis of Systems	Conference  LNCS	01.10.2009	08.10.2009	11.12.2009	04.01.2010	20.03.2010-28.03.2010  Paphos, Cyprus
LATIN'10  Theoretical Informatics	Conference  LNCS	28.09.2009	28.09.2009	20.11.2009	10.12.2009	19.04.2010-23.04.2010  Oaxaca, Mexico
STACS'10  Theoretical Aspects of Computer Science	Conference  LIPI	22.09.2009	22.09.2009	26.11.2009	18.12.2009	04.03.2010-06.03.2010  Nancy, France
STOC'10  Theory of Computing	Conference  ACM	05.09.2009	05.09.2009	09.02.2010	30.03.2010	06.06.2010-08.06.2010  Cambridge, Massachusetts, USA
ICDT'10  Database Theory	Conference  ACM	31.08.2009	06.09.2009	not set	17.01.2010	23.03.2010-25.03.2010  Lausanne, Switzerland
VMCAI'10  Verification, Model Checking, and Abstract Interpretation	Conference  LNCS	21.08.2009	28.08.2009	02.10.2009	30.10.2009	17.01.2010-19.01.2010  Madrid, Spain
POPL'10  Principles of Programming Languages	Conference  ACM	08.07.2009	15.07.2009	01.10.2009	02.11.2009	20.01.2010-02.01.2010  Madrid, Spain	Author response period
SOFSEM'10  Current Trends in Theory and Practice of Computer Science	Conference  LNCS	30.06.2009	07.07.2009	15.09.2009	01.10.2009	23.01.2010-29.01.2010  Spindleruv Mlyn, Czech Republic
SEFM'09  SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM)	Conference  IEEE	15.05.2009	15.05.2009	17.07.2009	07.08.2009	23.11.2009-27.11.2009  Hanoi, Vietnam
CSF'10  Computer Security Foundations	Conference  IEEE	not set	not set	not set	not set	17.07.2010-19.07.2010  Edinburgh, Scotland, UK

Show also old entries