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: [EMAIL PROTECTED]
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.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
