[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Final CFP: TCS 2012



Call for Papers:

The 7th IFIP Conference on Theoretical Computer Science 2012
September 26 - 28, Amsterdam, The Netherlands

===== General Info =====

The conference Theoretical Computer Science, which is held every two
years, either in conjunction or in the framework of the IFIP World
Computing Congress, is the meeting place of the TC1 community where
new results of computation theory are presented and more broadly experts
in theoretical computer science meet to share insights and ask questions
about the future directions of the field.

TCS Website: http://tcs.project.cwi.nl

TCS 2012 is associated with The Alan Turing Year 2012
(http://www.mathcomp.leeds.ac.uk/turing2012).

Previous conferences of this series were held in Sendai (2000), Montreal
(2002), Toulouse (2004), Santiago (2006), Milano (2008), Brisbane (2010).

===== Venue =====

TCS 2012 will be held at the Centrum Wiskunde & Informatica (CWI),
Amsterdam (http://www.cwi.nl), The Netherlands.

===== Invited Speakers =====

Rajeev Alur
Yuri Gurevich
Jiri Wiedermann

===== Submissions =====

The scope of this conference includes but is not limited to:

Algorithms
Complexity
Models of Computation
Logic
Semantics
Specification
Verification

All submissions will be peer-reviewed and judged on the basis of
originality, contribution to the field, technical and presentation
quality, and relevance to the conference. All papers must be written
in English.

Papers must not exceed 15 pages in the LNCS format. See
http://www.springer.de/comp/lncs/authors.html for details.

Submission will be handled through EasyChair. You may use the
following link to reach the submission page for TCS '12:

https://www.easychair.org/conferences/?conf=tcs2012

===== Proceedings =====

Accepted papers will be published in the Lecture Notes of Computer
Science series.

===== Important Dates =====

Paper submission:  May 1
Notification:  June 25
Camera ready version:  July 16
TCS Conference:  September 26-28

===== Organisation =====

General chair:

Jos Baeten (http://www.cwi.nl/people/630)

PC co-chairs:

Tom Ball (http://research.microsoft.com/en-us/people/tball/) and
Frank de Boer (http://homepages.cwi.nl/~frb/)

PC committee:

Ahmed Bouajjani
Ana Cavalcanti
Peter Grünwald
Joseph Kiniry
Peter Mueller
David Naumann
Susanne Graf
Juraj  Hromkovic
Martin Kutrib
Aart Middeldorp
Jan Juerjens
Ugo Montanari
Catuscia Palamidessi
Jeff Shallit
Jan Rutten
Davide Sangiorgi
Igor Walukiewicz
Jim Woodcock