Logic List Mailing Archive

9th Italian Conference on TCS (ICTCS), Siena, Oct 2005

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 Participation

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. Campagnoni, 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

Register online until September 10 and receive an early
registration discount.
The registration form is available at
       http://ictcs05.dsmi.unisi.it/registration.html

Further informations are available at the conference web pages or
can be obtained writing to ictcs05@unisi.it