posted by system || 7914 views || tracked by 19 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

ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
DCFS 2021   23rd International Conference on Descriptional Complexity of Formal Systems
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
LACL 2021   Logical Aspects of Computational Linguistics
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
RP 2021   15th International Conference on Reachability Problems (RP'21)
MDPI Mathematics InSysModGraph 2021   Special Issue Information Systems Modeling Based on Graph Theory
ESSLLI 2022   33rd European Summer School in Logic, Language and Information
FCSIT 2021   2021 3rd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2021)
Bio-inspired Deep Learning 2021   CFP: Bio-inspired Deep Learning Image and Signal Processing Pipelines in Medical Oncology - PeerJ