Ninth Italian Conference on Theoretical Computer Science (ICTCS'05)

Event Detail

General Information
Dates:
Wednesday, October 12, 2005 - Friday, October 14, 2005
Days of Week:
Wednesday
Thursday
Friday
Target Audience:
Academic and Practice
Location:
Certosa di Pontignano (Siena), Italy
Sponsor:
Event Details/Other Comments:

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.