posted by user: gauwin || 7161 views || tracked by 20 users: [display]

TCS 2012 : IFIP Theoretical Computer Science 2012

FacebookTwitterLinkedInGoogle


Conference Series : IFIP International Conference on Theoretical Computer Science
 
Link: http://tcs.project.cwi.nl/
 
When Sep 26, 2012 - Sep 28, 2012
Where Amsterdam, The Netherlands
Submission Deadline May 1, 2012
Notification Due Jun 25, 2012
Final Version Due Jul 16, 2012
Categories    theoretical computer science   computation theory   logic   verification
 

Call For Papers

Preliminary 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 2012 (http://tcs.project.cwi.nl/) is associated with The Alan Turing
Year 2012 (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.


Scope and Topics

Algorithms, Complexity and Models of Computation, Logic, Semantics,
Specification and Verification.

Proceedings

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

Important Dates

TCS Conference: September 26-28
Camera ready version: July 16
Notification: June 25
Deadline reviews: June 13 (Discussion: June 13-20)
Paper submission: May 1.


Organisation

General chair
Jos Baeten (http://www.win.tue.nl/~josb/)

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 (http://www.liafa.jussieu.fr/~abou/)
Ana Cavalcanti (http://www-users.cs.york.ac.uk/~alcc/)
Joseph Kiniry (http://www.itu.dk/~josr/)
Peter Mueller (http://www.pm.inf.ethz.ch/people/pmueller)
David Naumann (http://www.cs.stevens.edu/~naumann/)
Susanne Graf (http://www-verimag.imag.fr/~graf/)
Juraj Hromkovic (http://www.ite.ethz.ch/people/host/jhromkov)
Martin Kutrib (,http://www.informatik.uni-giessen.de/staff/kutrib/).
Aart Middeldorp (http://cl-informatik.uibk.ac.at/users/ami/index.php)
Jan Juerjens (http://www-jj.cs.tu-dortmund.de/jj/)
Ugo Montanari (http://www.di.unipi.it/~ugo/)
Catuscia Palamidessi (http://www.lix.polytechnique.fr/~catuscia/)
Jeff Shallit (http://www.cs.uwaterloo.ca/~shallit/)
Jan Rutten (http://homepages.cwi.nl/~janr/)
Davide Sangiorgi (ttp://www.cs.unibo.it/~sangio/)
Igor Walukiewicz (http://www.labri.fr/perso/igw/)
Jim Woodcock (http://www-users.cs.york.ac.uk/~jim/)

Related Resources

FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IEEE-CC 2020   First IEEE International Conference on Conversational Computing
CONCUR 2020   31st International Conference on Concurrency Theory
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ICNCSG 2021   3rd International Conference on New Computer Science Generation
SAS 2020   Static Analysis Symposium, SAS 2020
KJAR 2020   Call for Paper: Kurdistan Journal of Applied Research - Volume 5 - issue 1 - June 2020
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics