Ninth Italian Conference on Theoretical Computer Science (ICTCS'05) Certosa di Pontignano (Siena), Italy October 12 - 14, 2005 http://ictcs05.dsmi.unisi.it Call for Partecipation The Ninth Italian Conference on Theoretical Computer Science will take place at the Certosa di Pontignano (Siena), Italy. There will be three invited speakers: Luca Cardelli (Microsoft Research, Cambridge, United Kingdom) Giuseppe Castagna (LIENS - École Normale Supérieure, Paris, France) Nicola Santoro (School of Computer Science, Carleton University, Ottawa, Canada) Program Committee: Michele Bugliesi (Venezia), Mario Coppo (Torino, Co-Chair), Pierluigi Crescenzi (Firenze), Giulia Galbiati (Pavia) Luisa Gargano (Salerno), Giorgio Ghelli (Pisa), Roberto Grossi (Pisa), Benedetto Intrigila (L'Aquila), Nicola Leone (Cosenza), Elena Lodi (Siena, Co-Chair), Flaminia Luccio (Trieste), Andrea Masini (Verona), Giancarlo Mauri (Milano), Corrado Priami (Trento), Geppino Pucci (Padova), Davide Sangiorgi (Bologna). Preliminary program: Wednesday, October 12: 08,45 - 09,00 Welcome 09,00 - 10,00 L. Cardelli: Biological System as Reactive Systems 10,00 - 11,00 B. DasGupta, S. Ferrarini, U. Gopalakrishnan, N. Paryani: Inapproximability Results for the Lateral Gene Transfer Problem S. Mantaci, A. Restivo, G. Rosone, M. Sciortino: A new combinatorial approach to sequence comparison 11,00 - 11,20 coffee break 11,20 - 13,20 M. Bartoletti, P. Degano, G. L. Ferrari: Checking Risky Events is Enough for Local Policy B. Aziz, D. Gray, G. Hamilton: A Static Analsis of PKI-Based Systems R. Medel, A. Compagnoni, E. Bonelli: A Typed Assembly Language for Non-interference L. Bettini, V. Bono, S. Likavec: Safe Object Composition in the Presence of Subtyping 13,20 - 15,00 Lunch 15,00 - 17,00 L. A. Hemaspaandra, J. Rothe, A. Saxena: Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory J. Fiala, J. Kratochvil: On the computational complexity of the L(2,1)-labeling problem for regular graphs B. Escoffier, J. Monnot, V. T. Paschos: Weighted coloring: further complexity and approximability results V. Raman, S. Saurabh, S. Sikdar: Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems 17,00 - 17,20 coffee break 17,20 - 19,20 S. van Bakel, U. de' Liguoro: Subtyping Object and Recursive Types Logically J. Schwinghammer: A Typed Semantics of Higher Order Store and Subtyping W. Jamroga, J. Dix: Model Checking Strategic Abilities of Agents under Incomplete Information S. Heymans, D. Van Nieuwenborgh, D. Vermeir: Synthesis from Temporal Specifications using Preferred Answer Set Programming 20,00 - Dinner Thursday, October 13: 09,00 - 10,00 N. Santoro: Mobile Agents Computing: Security Issues and Algorithmic Solutions 10,00 - 11,00 T. Kuboyama, K. Shin, T. Miyahara, H. Yasuda: A Theoretical Analysis of Alignment and Edit Problems for Trees L. Anderegg, M. Cieliebak, G. Prencipe: Efficient Algorithms for Detecting Regular Point Configurations 11,00 - 11,20 coffee break 11,20 - 13,20 R. Statman: Two Variables are Not Enough S. van Bakel, S. Lengrand, P. Lescanne: The language X: Circuits, Computations and Classical Logic C. Bertolissi: The Graph Rewriting Calculus: confluence and Expressiveness N. Busi, G. Zavattaro: Reachability Analysis in Boxed Ambients 13,20 - 15,00 Lunch 15,15 - 17,15 G. De Marco, M. Pellegrini, G. Sburlati: Faster Deterministic Wakeup in Multiple Access Channels M-C. Costa, F. Jarray, C. Picoleau: Reconstructing an alternate periodical binary matrix from its orthogonal projections S. Fung, F. Chin, C. K. Poon: Laxity helps in broadcast scheduling Y. Asahiro, E. Miyano, S. Shimoirisa: Pickup and Delivery for Moving Objects on Broken Lines 17,30 - Excursion to Siena 18,00 - 20,00 EATCS Italian Chapter Annual Meeting (at the Dipartimento di Scienze Matematiche e Informatiche "R. Magari" 20,30 - Social dinner Friday, October 14: 09,00 - 10,00 G. Castagna: Semantic Subtyping: challenges, perspectives and open problems 10,00 - 11,00 G. Castagna, D. Colazzo, A. Frish: Error Mining for Regular Expressions Patterns M. Macchetti, M. Caironi, L. Breveglieri, A. Cherubini: A Complete Formulation of Generalized Affine Equivalence 11,00 - 11,30 coffee break 11,30 - 13,00 T. Kopelowitz, E. Porat: Improved Algorithms for Polynomial Time-Decay and Time-Decay with Additive error S. Fenner, Y. Zhan: Quantum Algorithms for a Set of Group Theoretic Problems G. Franco: A polymerase based algorithm for SAT 13,00 - 13,20 End of the Conference 13,20 Lunch Registration The registration form is available at http://ictcs05.dsmi.unisi.it/registration.html or at the web page http://conference.unisi.it/gest-congressi/web/online_ing.asp?id_cong=670 Here is a list of hotels with web sites Hotel Athena (4 stars): http://www.hotelathena.com Hotel Garden (4 stars): http://www.garden-hotels.it/it/garden/garden.html Hotel Italia (3 stars): http://www.garden-hotels.it/it/italia/italia.html Hotel Palazzo Ravizza (3 stars): http://www.palazzoravizza.it/ Hotel Minerva (3 stars): http://www.emmeti.it/Welcome/Toscana/Senese/Siena/Alberghi/Minerva/ Hotel Duomo (3 stars): http://www.hotelduomo.it/ Hotel Etruria (2 stars): http://www.hoteletruria.com Piccolo Hotel il Palio (2 stars): http://www.minotel.com/minotelPublic/main/basicHotelInfo.asp?hotelCode=IT107 Hotel Cannon D'Oro (2 stars): http://www.cannondoro.com Booking can also be made via the Siena Hotels Promotion - Congress & Meeting Dept. email: congressi@hotelsiena.com http://www.hotelsiena.com Piazza M.T. di Calcutta, 5 - 53100 Siena - Italy Tel. 0039+0577+288084 - Fax. 0039+0577+280290 Please quote ICTCS conference in the request. Further informations are available at the conference web pages.