From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0OLNg54004102 for ; Tue, 24 Jan 2012 22:23:42 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkEAGMgH0+E5YMWgWdsb2JhbAAoGhasSoFUIgEBFiYlghYdLgOBG1gKh2YpmDifO4kOAwYDBgkDFQIEAQsEglICAgMFCQEJBBEJVgUygjljBJUcAYp9AwaHSQ X-IronPort-AV: E=Sophos;i="4.71,564,1320620400"; d="scan'208";a="128726832" Received: from platinum.liacs.nl ([132.229.131.22]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Jan 2012 22:23:37 +0100 Received: from localhost (localhost [127.0.0.1]) by platinum.liacs.nl (8.14.2/8.14.2/LIACS 1.5) with ESMTP id q0OLNYj1022481 for ; Tue, 24 Jan 2012 22:23:36 +0100 X-Virus-Scanned: amavisd-new at liacs.nl Received: from platinum.liacs.nl ([127.0.0.1]) by localhost (platinum.liacs.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Fq+Dp0h6xMqg for ; Tue, 24 Jan 2012 22:23:34 +0100 (CET) Received: from silver.liacs.nl (silver.liacs.nl [132.229.131.19]) by platinum.liacs.nl (8.14.2/8.14.2/LIACS 1.5) with ESMTP id q0OLM4O9022227 for ; Tue, 24 Jan 2012 22:22:06 +0100 Received: by silver.liacs.nl (Postfix, from userid 17016) id E42F7A6B; Tue, 24 Jan 2012 22:22:04 +0100 (CET) Date: Tue, 24 Jan 2012 22:22:04 +0100 To: caml-list@inria.fr User-Agent: Heirloom mailx 12.2 01/07/07 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Message-Id: <20120124212204.E42F7A6B@silver.liacs.nl> From: marcello@liacs.nl (M.M. Bonsangue) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0 (platinum.liacs.nl [132.229.131.22]); Tue, 24 Jan 2012 22:22:06 +0100 (CET) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0OLNg54004102 X-Validation-by: marcello@liacs.nl Subject: [Caml-list] Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012 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 Walukiewics (http://www.labri.fr/perso/igw/) Jim Woodcock (http://www-users.cs.york.ac.uk/~jim/)