posted by user: gauwin || 6875 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 European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
CAV 2020   Computer Aided Verification
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
IJCAR 2020   10th International Joint Conference on Automated Reasoning
ICDMML 2020   【EI SCOPUS】2020 International Conference on Data Mining and Machine Learning
CONCUR 2020   31st International Conference on Concurrency Theory
ISCSIC 2020   2020 4th International Symposium on Computer Science andComputer Science(ISCSIC 2020)
ISBDAI 2020   【Ei Compendex Scopus】2020 International Symposium on Big Data and Artificial Intelligence