Thursday
Friday
The Ninth Italian Conference on Theoretical Computer Science will take place at the Certosa di Pontignano (Siena), Italy. Papers presenting original contributions in any area of theoretical computer science are being sought. Topics include (but are not limited to):
analysis and design of algorithms,
computability,
computational complexity,
cryptography,
formal languages and automata,
foundations of programming languages and program analysis, foundations of artificial intelligence and knowledge representation, foundations of web programming natural computing paradigms (quantum computing, bioinformatics), parallel and distributed computation, program specification and verification, term rewriting, theory of concurrency, theory of data bases, theory of logical design and layout, type theory, security, symbolic and algebraic computation,
Organizing Committee:
S. Brunetti (Siena),
G. Michele Pinna (Cagliari - Siena, Chair), E.B.P. Tiezzi (Siena).
Invited Speakers:
Three invited speakers are foreseen.
Names have to be announced.