From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.0 required=5.0 tests=DNS_FROM_RFC_ABUSE, SORTED_RECIPS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 7EE28BC0A for ; Wed, 4 Apr 2007 12:52:44 +0200 (CEST) Received: from smtp.uniroma2.it (smtp.uniroma2.it [160.80.6.23]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l34AqhG9015790 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 4 Apr 2007 12:52:44 +0200 Received: from gauguin.info.uniroma2.it (gauguin.info.uniroma2.it [160.80.84.114]) by smtp.uniroma2.it (8.13.6/8.13.6) with ESMTP id l34AikUC014276; Wed, 4 Apr 2007 12:44:48 +0200 Received: from gauguin.info.uniroma2.it (localhost [127.0.0.1]) by gauguin.info.uniroma2.it (Postfix) with ESMTP id B1A785B813C; Wed, 4 Apr 2007 12:48:17 +0200 (CEST) Received: by gauguin.info.uniroma2.it (Postfix, from userid 500) id 8B1435B8132; Wed, 4 Apr 2007 12:48:17 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by gauguin.info.uniroma2.it (Postfix) with ESMTP id 830123CC2F8; Wed, 4 Apr 2007 12:48:17 +0200 (CEST) Date: Wed, 4 Apr 2007 12:48:17 +0200 (CEST) From: "Giuseppe F. Italiano" To: appsem-discussion@harlequin.co.uk, , , , , , , , , , , , Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: ClamAV using ClamSMTP X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-From: italiano@gauguin.info.uniroma2.it Subject: ICTCS'07 Final Call for Papers X-j-chkmail-Score: MSGID : 4613837B.000 on discorde : j-chkmail score : XX : 5/20 0 0.000 -> 2 X-Miltered: at discorde with ID 4613837B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; disp:01 disp:01 categorical:01 model:01 non-standard:01 logics:01 model:01 author's:01 boehm:01 torino:01 moggi:01 genova:01 fabio:01 19.:98 berline:98 The 10th Italian Conference on Theoretical Computer Science (ICTCS'07) Rome, Italy, October 3-5, 2007 http://www.disp.uniroma2.it/ictcs07/ Final Call for Papers Important Dates: Deadline for abstract pre-submission: 15 April 2007 Deadline for paper submission: 19 April 2007 Notification of Acceptance: 31 May 2007 Conference: 3-5 October 2007 Conference Web Page: http://www.disp.uniroma2.it/ictcs07/ Electronic Submission Web Page: http://www.easychair.org/ICTCS07/ The 10th Italian Conference on Theoretical Computer Science (ICTCS'07) will be held in Rome, Italy. Papers presenting original contributions in any area of theoretical computer science are being sought. Typical but not exclusive topics of interest include: * Algebraic and categorical models; * Algorithmic aspects of networks; * Algorithmic game theory; * Algorithms and data structures; * Computability; * Computational complexity; * Computational biology; * Computational geometry; * Cryptography and security; * Databases, semi-structured data and finite model theory; * Emerging and non-standard models of computation; * Experimental analysis of algorithms; * Formal languages and automata theory; * Internet algorithmics; * Logics, formal methods and model checking; * Models of concurrent, distributed and mobile systems; * Models of reactive, hybrid and stochastic systems; * Parallel, distributed and external memory computing; * Principles of programming languages; * Program analysis and transformation; * Quantum computing; * Specification, refinement and verification * Type systems and theory, typed calculi. SUBMISSION GUIDELINES. Only submissions received through the electronic submission web page will be considered. Authors must pre-submit title and plain text abstract by April 15, only these authors will be allowed to submit an extended abstract (in pdf) by April 19. The extended abstract should start with a title page consisting of the title of the paper; each author's name, affiliation, and email address; and a brief summary of the results to be presented. This should then be followed by a technical exposition of the main ideas and techniques used to achieve the results, including motivation and a clear comparison with related work. The full extended abstract should not exceed 12 single-spaced pages. If more details are needed to substantiate the main claims of the paper, the submission may include a clearly marked appendix that will be read at the discretion of the program committee. Submissions deviating significantly from these guidelines risk rejection without consideration of their merits. PROCEEDINGS. The proceedings of the conference will be published by World Scientific, and will be available for distribution at the conference. The final version of each accepted paper must be submitted in electronic form conforming to the World Scientific style and not exceeding 12 pages. Invited Speakers: * Giorgio Ausiello * Rocco de Nicola Invited Speakers of special session for Coppo-Dezani-Ronchi: * Henk Barendregt * Chantal Berline * Corrado Boehm * Furio Honsell * Giuseppe Longo * Pawel Urzyczyn Program Committee: * Marcella Anselmo (Salerno Univ., Italy), * Alberto Bertoni (Milano Univ., Italy), * Roberto Bruni (Pisa Univ., Italy), * Nadia Busi (Bologna Univ., Italy) * Ferruccio Damiani (Torino Univ., Italy), * Paola Inverardi (L'Aquila Univ., Italy), * Giuseppe F. Italiano (Roma "Tor Vergata" Univ., Italy, Co-Chair), * Irit Katriel (Brown Univ., USA), * Giovanni Manzini (Univ. Piemonte Orientale, Italy), * Alberto Marchetti-Spaccamela (Roma "La Sapienza" Univ., Italy), * Dimitrios Michail (MPI Saarbruecken, Germany), * Eugenio Moggi (Genova Univ., Italy, Co-Chair), * Alberto Momigliano (Edinburgh Univ., UK), * Piotr Sankowski (Warsaw Univ., Poland), * Roberto Segala (Verona Univ., Italy), * Francesca Toni (Imperial College London, UK). Organizing Committee: * Fabio Dellutri (Roma "Tor Vergata" Univ.), * Luigi Laura (Roma "La Sapienza" Univ.), * Michela Loja (Roma "Tor Vergata" Univ.), * Maurizio Saltali (Roma "Tor Vergata" Univ.).