CFP: ICTCS'07 (Rome, Oct 07)

"Giuseppe F. Italiano" <italiano@gauguin.info.uniroma2.it>
10 Feb 2007 09:52:32 -0500

          From comp.compilers

Related articles
CFP: ICTCS'07 (Rome, Oct 07) italiano@gauguin.info.uniroma2.it (Giuseppe F. Italiano) (2007-02-10)
| List of all articles for this month |

From: "Giuseppe F. Italiano" <italiano@gauguin.info.uniroma2.it>
Newsgroups: comp.compilers,comp.lang.functional,comp.lang.scheme
Date: 10 Feb 2007 09:52:32 -0500
Organization: Carnegie Mellon, Pittsburgh, PA
Keywords: CFP, conference, functional, theory
Posted-Date: 10 Feb 2007 09:52:32 EST

                                    The 10th Italian Conference on
Theoretical Computer Science (ICTCS'07)
Rome, Italy
October 3-6, 2007
http://www.disp.uniroma2.it/ictcs07/




Preliminary Call for Papers




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 compoutation;
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.


Submissions: Authors should submit an extended abstract
electronically, following the guidelines available on the ICTCS Web
Page. 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. The
proceedings of the conference will be published by World Scientific,
and will be available for distribution at the conference.


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.).


Important Dates:
Submission Deadline: 15 April 2007
Notification of Acceptance: 31 May 2007
Conference: 3-6 October 2007


Conference Web Page:
http://www.disp.uniroma2.it/ictcs07



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.