10th Italian Conference on Theoretical Computer Science, Rome, Italien

Abbrevation

ICTCS

Link

http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/07/071003-ictcs.html

City

Rome

Country

Italy

Deadline Paper

2007-04-15

Start Date

2007-10-03

End Date

2007-10-05

Abstract

<SPAN lang=EN–US style=″FONT–SIZE: 9pt; FONT–FAMILY: Verdana; mso–bidi–font–family: ′Times New Roman′; mso–font–kerning: 1.0pt; mso–fareast–font–family: 宋体; mso–ansi–language: EN–US; mso–fareast–language: ZH–CN; mso–bidi–language: AR–SA; mso–bidi–font–weight: bold″><SPAN lang=EN–US style=″FONT–SIZE: 9pt; FONT–FAMILY: Verdana; mso–bidi–font–family: ′Times New Roman′; mso–font–kerning: 1.0pt; mso–fareast–font–family: 宋体; mso–ansi–language: EN–US; mso–fareast–language: ZH–CN; mso–bidi–language: AR–SA; mso–bidi–font–weight: bold″>The 10th Italian Conference on Theoretical Computer Science (ICTCS2007) will take place from the 3rd to the 5th of October 2007 in Rome,Italy. Besides the contributed papers, invited talks will be delivered by Giorgio Ausiello and Rocco De Nicola. Keywords: * 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.