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
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
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
CONCUR'10  Concurrency Theory	Conference  LNCS	08.04.2010	15.04.2010	25.05.2010	10.06.2010	31.08.2010-03.09.2010  Paris, France
CSF'10  Computer Security Foundations	Conference  IEEE	04.02.2010	08.02.2010	19.03.2010	01.01.2006	17.07.2010-19.07.2010  Edinburgh, Scotland, UK
CSR'10  Computer Science Symposium in Russia	Conference  LNCS	18.12.2009	18.12.2009	31.01.2010	28.02.2010	16.06.2010-20.06.2010  Kazan, Russia
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
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
HiBi'10  High Performance Computational Systems Biology	Workshop  IEEE	14.06.2010	21.06.2010	31.07.2010	31.07.2010	30.09.2010-01.10.2010  Twente, The Netherlands
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
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
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
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
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
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
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
Mochart'10  Model Checking and AI	Workshop  LNCS	31.03.2010	31.03.2010	23.04.2010	04.05.2010	11.07.2010-12.07.2010  Atlanta, USA	Postproceedings
PDMC'10	Workshop  IEEE	14.06.2010	21.06.2010	31.07.2010	31.07.2010	30.09.2010-01.10.2010  Twente, The Netherlands
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
PODC'10	Conference  ACM	10.02.2010	17.02.2010	15.04.2010	17.05.2010	25.07.2010-28.07.2010  Zurich, Switzerland
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
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
RV'10  Runtime Verification CONFERENCE	Conference  LNCS	01.06.2010	01.06.2010	13.07.2010	17.08.2010	01.11.2010-04.11.2010  Malta	also tutorials and tools welcome
SPIN'10	Workshop  LNCS	09.04.2010	16.04.2010	07.06.2010	28.06.2010	27.09.2010-29.09.2010  Twente, The Netherlands
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
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
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

Show also old entries