the nature of computation - wordpress.comthe nature of computation logic, algorithms, applications...

COMPUTABILITYIN EUROPE 2013

cie2013.disco.unimib.it

The Nature of ComputationLogic, Algorithms, Applications

1st July - 5thJulyUniversità degli Studi di Milano-Bicocca, Milan, Italy

��

Contents

Welcome 3

Timetable 4

Events 6

Plenaries 7

Tutorials 8

Special Sessions 9

Contributed Talks 12

Tourism Information 20

Committees 24

Useful Information 25

U6 Maps 26

�

Welcome

We are happy to welcome you to Milan for the 9th meeting of the Conference Series Computability in Europe. Computability in Europe �01� (CiE �01�) follows the CiE �01� Turing Centenary Conference in celebrating the key influence of Turing’s work on the specific focus of the CiE conference series for the development of a multi-disciplinary view of modern computation and computability. The questions of “How does nature compute?” or, more generally, of “What is computation in nature?” are strongly related to the title The Nature of Computation that emphasizes the special focus of CiE1� on the unexpected and strong changes that studies on Nature have brought to several areas of mathematics, physics, and computer science.

The Nature of Computation is co-located with Unconventional Computation and Natural Computation. They share one plenary invited talk, given by Endre Szemerédi (Budapest & Piscataway NJ), winner of the Abel Prize in �01�, and two tutorials, one by Grzegorz Rozenberg (Leiden & Boulder CO) and the other by Gilles Brassard (Montréal QC).

This booklet contains all the information you need during the conference. It includes a map of the modern campus of the University of Milano-Bicocca, where you can find several points of interest, shops, bars, and restaurants. You can also find some information on exhibitions that are scheduled during the week of the conference. Don’t miss a visit to Hangar Bicocca, a contemporary art space just outside the campus. A must for anyone visiting Milan includes a walk through the beautiful Galleria Vittorio Emanuele, along with a stop at The World of Leonardo, the most important interactive and multidisciplinary exhibition dedicated to the artist and engineer Leonardo da Vinci. The exhibition also shows Leonardo’s work on The Last Supper (the painting in the background of our CiE1� poster). You will find that Milan is a very active city with many cultural events and attractions.

We wish you a fruitful, stimulating, and enjoyable conference in Milan.

All the best,Paola Bonizzoni and the organizing committee

�

TimetableMonday 1 July Tuesday 2 July Wednesday 3 July

REGISTRATION09:00

OPENING

TUTORIAL11:30 - 12:30

Grzegorz Rozenberg

LUNCH

SPECIAL SESSIONSCCCW, DSC, HoC

14:00 - 15:30

COFFEE BREAK

INVITED SPEAKERLance Fortnow

16:00 - 17:00

CONTRIBUTED TALKS17:00 - 19:00

INVITED SPEAKER12:00 - 13:00Ulle Endriss

SPECIAL SESSIONSCCCW, DSC, HoC

09:00 - 10:30

COFFEE BREAK

TUTORIAL11:00 - 12:00

Gilles Brassard

LUNCH


COFFEE BREAK


WOMEN inCOMPUTABILITY

17:50 - 18:50

SPECIAL SESSIONSAR, CMB

09:00 - 10:30

COFFEE BREAK

TUTORIAL11:00 - 12:00

Gilles Brassard

LUNCH

SOCIAL EVENT

TUTORIAL12:00 - 13:00

Grzegorz Rozenberg

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

�

Timetable

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

Thursday 4 July Friday 5 July

SPECIAL SESSION CiN&


COFFEE BREAK

INVITED SPEAKER11:00 - 12:00

Bernard Moret

TUTORIAL12:00 - 13:00

Grzegorz Rozenberg

LUNCH


COFFEE BREAK


Endre Szemerédy


ANNUAL GENERALMEETING 18:35 - 19:00

SPECIAL SESSIONSAR, CiN, CMB09:00 - 10:30

COFFEE BREAK


Mariya Soskova

TUTORIAL11:00 - 12:00

Gilles Brassard

LUNCH


COFFEE BREAK

INVITED SPEAKER16:00 - 17:00Anna Karlin

CLOSINGIVAN SOSKOV COMM.

18:20 - 18.35

�

Events

17:�0 - 18:�0Tuesday 2 July

Women in Computer Science and Mathematics face particular challenges in pursuing and maintaining academic and scientific careers. Women are significantly underrepresented at all levels of the academic pipeline, while the very few female students involved in Computing and Mathematical Research need to be aware of their talent and role in the scientific community. Indeed, the scarcity of senior women academicians produces the lack of critical information about the culture and content required for pursuing careers in the mathematical sciences.

The Women in Computability workshop aims to bring together women in Computing and Mathematical research to present and exchange their academic and scientific experience with young researchers. The meeting will offer the CIE scientific community the opportunity to encourage young students, especially young female researchers, to have active careers in the mathematical and computational sciences. The CIE community will also discuss on the status of women in Computability research.

The confirmed speakers are:- Irene Finocchi (University of Rome, Italy)- Laxmi Parida (IBM Thomas J. Watson Research Center, USA)- Liesbeth De Mol (Universiteit Gent, Belgium)

Under the name Elsevier Women in Computability (WiC), the publisher Elsevier (more precisely, the journals “Annals of Pure and Applied Logic” and “Theoretical Computer Science”) is continuing the programme “Increasing representation of female researchers in the computability community” originally funded by the Elsevier Foundation (�008-�010).

This programme will finance the WiC workshop at CiE �01� with the traditional WiC dinner for workshop participants afterwards and offer up to four grants with modest support (up to �00 EUR) for junior female researchers to attend CiE �01�. Every registered junior female researcher is eligible to apply. Preference will be given to researchers who present a paper (contributed paper or informal talk).

Women in Computability

7

All Plenaries take place in Martini Room

Plenaries

1�:00 - 17:00A personal view of the P versus NP problemLANCE FORTNOW Georgia Institute of Technology

1�:00 - 1�:00Recent developments in collective decision making in combinatorial domainsULLE ENDRISS University of Amsterdam

11:00 - 1�:00Phylogenetic inference: Computing the unknowable with confidenceBERNARD MORET École Polytechnique Fédérale de Lausanne

1�:00 - 17:00Various regularity lemmas in graphs and hypergraphsENDRE SZEMERÉDY Hungarian Academy of Sciences and Rutgers University

1�:00 - 1�:00The Turing universe in the context of enumeration reducibilityMARIYA SOSKOVA Sofia University

1�:00 - 17:00Optimizing in a strategic world: An introduction to algorithmic game theoryANNA KARLIN University of Washington

Friday 5 July

Tuesday 2 July

Thursday 4 July

Monday 1 July

8

Monday 1 July

All Tutorials take place in Martini Room

Tutorials

11:�0 - 1�:�0Processes inspired by the functioning of living cells: Natural computing approachGRZEGORZ ROZENBERG Leiden Institute of Advanced Computer Science and University of Colorado at Boulder

11:00 - 1�:00Rise of the quantum ageGILLES BRASSARD Université de Montréal

11:00 - 1�:00Cryptography in the quantum ageGILLES BRASSARD Université de Montréal

1�:00 - 1�:00Processes inspired by the functioning of living cells: Natural computing approachGRZEGORZ ROZENBERG Leiden Institute of Advanced Computer Science and University of Colorado at Boulder

1�:00 - 1�:00Processes inspired by the functioning of living cells: Natural computing approachGRZEGORZ ROZENBERG Leiden Institute of Advanced Computer Science and University of Colorado at Boulder

11:00 - 1�:00Quantum communication complexity and pseudotelepathyGILLES BRASSARD Université de Montréal

Tuesday 2 July

Wednesday 3 July

Thursday 4 July

Friday 5 July

9

Monday 1 July

MA

RTIN

I

1�:00 - 1�:�� Noise vs computational intractability in dynamics Mark Braverman Princeton University, USA

1�:�� - 1�:�0 Analytic root clustering: A complete algorithm using soft zero testsChee K. Yap New York University, USA

Tuesday 2 July

U6

- 26

09:00 - 09:�� Computability and computational complexity of the evolution of nonlinear dynamical systemsDaniel S. Graça Universidade do Algarve, Portugal

09:�� - 10:�0 On the practical complexity of computations with real numbersJoris van der Hoeven École polytechnique, France

Monday 1 July

U6

- 29

1�:00 - 1�:�� Software streams: Big data challenges in dynamic program analysisIrene Finocchi University of Rome, Italy

1�:�� - 1�:�0 Towards a theory of homomorphic compressionAndrew McGregor University of Massachusetts, USA

Tuesday 2 July

U6

- 29

09:00 - 09:�� BWT: A mathematical tool for data compressionMarinella Sciortino University of Palermo, Italy

09:�� - 10:�0 Summary data structures for massive dataGraham Cormode AT&T Labs, USA

Special Sessions

Computational Complexity in the Continuous World

Data Streams and Compression

10

Monday 1 July

U6

- 26

1�:00 - 1�:�� ‘Stored program concept’ considered harmful: History and historiographyThomas Haigh University of Wisconsin, USA

1�:�� - 1�:�0 Three debates about computingMatti Tedre Stockholm University, Sweden

Tuesday 2 July

MA

RTIN

I

09:00 - 09:�� -To be announced-David Alan Grier George Washington University, USA

09:�� - 10:�0 The computation of nature, or: Does the computer drive science and technology?Ulf Hashagen Deutsches Museum, Germany

Wednesday 3 July

MA

RTIN

I 09:00 - 09:�� Computing K-trivial sets by incomplete random setsNoam Greenberg Victoria University, New Zealand

09:�� - 10:�0 Characterizations of weak Demuth randomnessJohanna Franklin University of Connecticut, USA

Friday 5 July

MA

RTIN

I 09:00 - 09:�� Truth-table reduction to the set of random stringsJoseph S. Miller University of Wisconsin, USA

09:�� - 10:�0 On algorithmic strong sufficient statisticsNikolay Vereshchagin Moscow State University, Russia

Special Sessions

History of Computation

Algorithmic Randomness

11

Thursday 4 July

MA

RTIN

I 09:00 - 09:�� Computing game strategiesDarko Stefanovic University of New Mexico, USA

09:�� - 10:�0 An investigation on genomic repeatsGiuditta Franco University of Verona, Italy

Friday 5 July

U6

- 26

09:00 - 09:�� Irrationality is needed to compute with signal machines with only three speedsJérôme Durand-Lose University of Orleans, France

09:�� - 10:�0 Negative glues and non-determinism in DNA computations by self-assemblyLila Kari University of Western Ontario, Canada

Wednesday 3 July

U6

- 29

09:00 - 09:�� Cluster editingSebastian Böcker University of Jena, Germany

09:�� - 10:�0 Using random graphs in population genomicsLaxmi Parida IBM Thomas J. Watson Research Center, USA

Friday 5 July

U6

- 29

09:00 - 09:�� An overview of genomic distances modeled with indelsMarília D. V. Braga Inmetro, Brazil

09:�� - 10:�0 Exploiting co-evolution across protein families for predicting native contacts and protein-protein interaction surfacesAndrea Pagnani Human Genetics Foundation, Italy

Special Sessions

Computation in Nature

Computational Molecular Biology

1�

MA

RTIN

I RO

OM

17:10 G. Pardini, R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

A compositional semantics of reaction systems with restriction

17:�� Rudolf Freund Control mechanisms and the number of catalysts needed for computational completeness in (purely) catalytic P systems

18:00 Paulin Jacobé De Naurois Vector addition systems with split/join transitions: A covering theorem

18:�� Paolo Bottoni and Anna Labella Reaction systems with constrained environment

U6-

29 R

OO

M

17:10 Thomas Dueholm Hansen and Rasmus Ibsen-Jensen

The complexity of interior point methods for solving discounted turn-based stochastic games

17:�� Yen Hung Chen The bottleneck selected-internal Steiner tree problem: Hardness and approximation

18:00 Petrica Pop and Oliviu Matei A memetic algorithm for solving the generalized vehicle routing problem

18:�� Slimane Bellaouar, Hadda Cherroun and Djelloul Ziadi

Efficient computation of the gap-weighted subsequence kernel

U6-

26 R

OO

M

17:10 Stéphane Le Roux and Arno Pauly Closed choice for finite and for convex sets

17:�� John Case and Michael Ralston Beyond Rogers’ non-constructively computable function

18:00 Elvira Mayordomo Effective dimension in general metric spaces and applications

18:�� Akitoshi Kawamura and Kenshi Miyabe

Polynomial-time randomness and differentiability

U6-

27 R

OO

M

17.10 Mark Burgin and Gordana Dodig Crnkovic

The nature of computation and the development of computational models

17:�� Ella Gale, Ben Costello and Andy Adamatzky

The use of memristors in nature-inspired computation

18:00 Frank Coyle Computation, a process-based perspective

18:�� Luca Bellotti Turing machines and predictability

Contributed Talks

Monday 1 July - Afternoon Session (17:10-18:50)

1�

MA

RTIN

I RO

OM 1�:�0 Naohi Eguchi Characterising complexity classes by

inductive definitions in bounded arithmetic

1�:�� Alla Sirokofskich Decidability and the multiplicative structure of positive rationals together with the “greatest common divisor”

U6-

29 R

OO

M 1�:�0 Joseph Davidson and Greg Michaelson

Brute force is not ignorance

1�:�� Bernard Molyneux Passive computation and the power of inactivity: How to get a brain to compute without firing its neurons

U6-

26 R

OO

M

1�:�0 Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic and Ugo Vaccaro

Latency-bounded target set selection in social networks

1�:�� Andrew Chester, Riccardo Dondi and Anthony Wirth

Resolving rooted triplet inconsistency by dissolving multigraphs

U6-

27 R

OO

M 1�:�0 Shira Zucker The d-distance anticoloring problem

1�:�� Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov and Frank Stephan

Graphs realised by r.e. equivalence relations

U6-

25 R

OO

M

1�:�0 Alexander G. Melnikov and Andre Nies

The classification problem for compact computable metric spaces

1�:�� Klaus Ambos-Spies, Ulrike Brandt and Martin Ziegler

Real benefit of promises and advice

Tuesday 2 July - Afternoon Session (14:30-15:20)

Contributed Talks

1�

MA

RTIN

I RO

OM

1�:00 Anna Bernasconi, Valentina Ciriani, Gabriella Trucco and Tiziano Villa

Compact representation of logic functions using Boolean relations

1�:�� Mitko Yanchev Part restrictions in description logics with union and counting constructors

1�:�0 Torben Braüner Hybrid-logical proofs: With an application to false-belief tasks

17:1� Antoine Taveneaux, Laurent Bienvenu and Christopher Porter

Randomized algorithms to compute completions of Peano arithmetic

U6-

29 R

OO

M

1�:00 Makoto Fujiwara and Keita Yokoyama

A note on the strength of sequential version of П1

� statements

1�:�� Robert Lubarsky and Michael Rathjen

Realizability models separating various fan theorems

1�:�0 Eyvind Martol Briseid Extracting computational content from proofs in nonstandard analysis

17:1� Sam Sanders The double negation translation in nonstandard constructive analysis

U6-

26 R

OO

M

1�:00 Pawel Gawrychowski, Florin Manea and Dirk Nowotka

Discovering hidden repetitions in words

1�:�� Paola Bonizzoni, Anna Paola Carrieri, Gianluca Della Vedova, Riccardo Dondi and Gabriella Trucco

Graph based reconstruction of the persistent perfect phylogeny

1�:�0 Riccardo Dondi and Nadia El-Mabrouk

Aligning and labeling genomes under the duplication-loss model

17:1� Juliana Silva Bernardes, Gerson Zaverucha, Catherine Vaquero and Alessandra Carbone

Combining multiple evolutionary models and machine learning for protein domain identification

Tuesday 2 July - Afternoon Session (16:00-17:40)

Contributed Talks

1�

U6-

27 R

OO

M

1�:00 Giuseppe Primiero A modal type system for error handling

1�:�� Anahit Chubaryan and Armen Mnatsakanyan

On some new propositional proof systems

1�:�0 Santiago Hernández Orozco, Francisco Hernández Quiroz and Hector Zenil

Sparse distribution of proving speed-up in random systems of propositional calculus

17:1� Guido Fiorino How to reduce backtracking in propositional intuitionistic logic

U6-

25 R

OO

M

1�:00 Johanna N.Y. Franklin, Asher M. Kach, Russell Miller and Reed Solomon

Local computability for ordinals

1�:�� Jeroen Van der Meeren Ordinal and proof-theoretical strength of tree-like structures with Friedman-style gap condition

1�:�0 Benjamin Seyfferth and Tim Fischbach

On λ-definable functions on ordinals

17:1� Marat Nurizinov and Rustem Tyulyubergenev

On computable subgroups of the group of all unitriangular matrices over a ring

Contributed Talks

1�

U6-

29 R

OO

M

09:00 Keita Yokoyama On the strength of Ramsey’s theorem without Σ1-induction

09:�� Ludovic Patey, Laurent Bienvenu and Paul Shafer

Rainbow Ramsey theorem for pairs

09:�0 Dan Hernest and Trifon Trifonov Light modal dialectica interpretation

U6-

26 R

OO

M

09:00 Miha Habič Cardinal-recognizing infinite time Turing machines

09:�� Merlin Carl Towards a Church-Turing-thesis for infinitary computations

09:�0 Benjamin Rin On set-theoretic and transfinite analogues of epistemic arithmetic and Flagg consistency

U6-

27 R

OO

M

09:00 Alexander Gavruskin and Bakhadyr Khoussainov

On decidable and computable models of theories

09:�� Alexander Kartzow and Philipp Schlicht

Structures without scattered-automatic presentations

09:�0 Imran Khaliq and Gulshad Imran Constructing strategies in a subclass of Muller games

U6-

25 R

OO

M

09:00 Ivan Soskov A note on ω-jump inversion of degree spectra of structures

09:�� Stefan Vatev Another jump inversion theorem for structures

09:�0 Andrew Marks Uniformity and degree invariant constructions

Thursday 4 July - Morning Session (09:00-10:15)

Contributed Talks

17

MA

RTIN

I RO

OM 1�:�0 Nicolas de Rugy-Altherre Determinant versus permanent: salvation via

generalization?

1�:�� Anthony Gasperin Topology of asymptotic cones and non-deterministic polynomial time computations

U6-

29 R

OO

M 1�:�0 Emanuele Frittaion Reverse mathematics of posets: counting initial intervals

1�:�� Alberto Marcone Reverse mathematics of posets: decomposing initial intervals

U6-

26 R

OO

M 1�:�0 Daniela Genova Language forbidding-enforcing systems defining DNA codewords

1�:�� Mike Domaratzki and Ryan Zier-Vogel

RNA pseudoknot prediction through stochastic conjunctive grammars

U6-

27 R

OO

M 1�:�0 Stefania Costantini and Federico Gobbo

A history of autonomous agents: from thinking machines to machines for thinking

1�:�� David Gamez Are there computational correlates of consciousness in the brain?

U6-

25 R

OO

M 1�:�0 Katie Barr and Viv Kendon Formal languages analysed by quantum walks

1�:�� Paola Zizzi and Eliano Pessa Quantum computation on the fuzzy sphere

Thursday 4 July - Afternoon Session (14:30-15:20)

Contributed Talks

18

MA

RTIN

I RO

OM

17:0� Edgar Daylight Programming in the 19�0s in � pictures

17:�0 Helena Durnova Fault-tolerance as the most important feature of SAPO and EPOS computers

17:�� Stephanie Dick Following mathematics into the digital: Historical explorations of early automated theorem proving programs

U6-

29 R

OO

M

17:0� Takayuki Kihara and Kenshi Miyabe

Lowness for uniform Kurtz randomness

17:�0 Laurent Bienvenu and Christopher Porter

Strong difference randomness

17:�� Jason Rute Schnorr randomness for noncomputable measures

U6-

26 R

OO

M

17:0� Clayton Peterson Formal philosophy and legal reasoning: The validity of legal inferences

17:�0 Alessandro Facchini and Paula Quinon

Two roles of logic in computer science

17:�� Roohola Ramzani Through divergent norms: Satisfying a realistic model of rationality

U6-

27 R

OO

M

17:0� Mikhail Peretyatkin The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models

17:�0 Mustafa Demirci An extended fundamental duality of partially ordered sets and its applications

17:�� Joaquín Díaz Boils and José Pedro Úbeda Rives

A Kripke model for subrecursion

U6-

25 R

OO

M

17:0� Julien Cervelle Constructing continuous systems from discrete cellular automata

17:�0 Shibashis Guha, Krishna S, Chinmay Narayan and S. Arun-Kumar

A unifying approach to decide timed relations for timed automata and their game characterization

17:�� Velislava Stoykova Formal representations of pronouns using universal networking language

Thursday 4 July - Afternoon Session (17:05-18:20)

Contributed Talks

19

MA

RTIN

I RO

OM 1�:�0 Krishna S, Marian Gheorghe and

Ciprian DragomirSome classes of generalised communicating P systems and simple kernel P systems

1�:�� Tamás Mihálydeák and Zoltán Ernő Csajbók

A species distribution framework relying on membrane computing with boundaries

U6-

29 R

OO

M

1�:�0 Alan Perotti, Guido Boella and Artur D’Avila Garcez

Combining runtime verification and property adaptation through neural-symbolic integration

1�:�� Yiqi Deng and Peter J. Bentley Dynamic learning based on an artificial immune system using systemic computation

U6-

26 R

OO

M

1�:�0 Arthur Milchior Undecidability of satisfiability of expansion of FO[<] with a semilinear non-regular predicate over words

1�:�� Kojiro Higuchi Minimal essential undecidability of theories of concatenations

U6-

27 R

OO

M 1�:�0 Alexey Stukachev On processes and structures

1�:�� Alexey Stukachev On some properties of sΣ-reducibility

U6-

25 R

OO

M

1�:�0 Ziyuan Gao, Sanjay Jain and Frank Stephan

On conservative learning of recursively enumerable languages

1�:�� Andrey Sariev and Hristo Ganchev Definability in the local theory of the ω-enumeration degrees

Friday 5 July - Afternoon Session (14:30-15:20)

Contributed Talks

�0

Tourism Information

EXPOSITIONSNumerous exhibitions, art events and expositions all rotate around the city. We point out:

Leonardo3 - Il Mondo di Leonardo (Leonardo3 - The World of Leonardo)The most important interactive and multidisciplinary exhibition dedicated to the artist and engineer Leonardo da Vinci and his machines is open in Milan.

Address: Piazza della Scala Price: €1� Mon-Sun: 10:00am-11:00pm Web: www.leonardo�.net

Modigliani, Soutine e gli Artisti Maledetti - La collezione Neter (Modigliani, Soutine and the Coursed Artists - The Neter Collection)Presented with great success at the Pinacothèque de Paris, the exhibition brings to Milan more than 1�0 masterpieces created by Amedeo Modigliani and the artists who lived and painted in Paris, in the Montparnasse area, in the early ‘900. For the first time in Italy works from the extensive collection of Jonas Netter (Strasbourg 18�8 - Paris 19��), acute connoisseur of talent, including Soutine, Utrillo, Suzanne Valadon and, of course, Modigliani.

Address: Palazzo Reale Price: €11 Mon: �:�0pm-7:�0pm Tue-Sun: 9:�0am-7:�0pm (Thu & Sat till 10.�0pm) Web: www.mostramodigliani.it

HangarBicoccaHangar Bicocca is a space near the University of Milano-Bicocca and devoted to the production, exhibition and promotion of contemporary art. The current exhibition presents Mike Kelley: Eternity is a Long Time, about the work of the late American artist Mike Kelley (Detroit, 19�� – Los Angeles, �01�). HangarBicocca also puts on an exciting calendar of events offered to the public completely free of charge: HB Kids offers creative adventures, films and activities for children. HB Public has a programme of film festivals, guided tours, meetings with the curator and artists, and cycle rides to explore the Bicocca district.

Address: via Chiese, � Thu-Sun: 11am-11pm Web: www.hangarbicocca.org/home-en-US/

�1

Tourism Information

MUSEUMSMilan boasts a richness and unique variety of museums.

Pinacoteca di Brera (Brera Art Gallery)One of Italy’s (and Europe’s) most important art collections and one of the foremost collections of Italian paintings.

Address: via Brera, �8 Price: €10 Tue-Sun: 8:�0am-7:1�pm Web: www.brera.beniculturali.it

Museo del Castello Sforzesco (Sforza Castle Museum)The Sforza Castle is one among the symbols of Milan, hosts Michelangelo’s Pietà Rondanini in its museums and offers visitors some of the most varied collections, including musical instruments, the Egyptian Collection, the Prehistory and Protohistory Collections and the Museum of Ancient Art.

Address: Piazza Castello Tue-Sun: 9:00am-�:�0pm Web: www.milanocastello.it

Triennale Design MuseumUnique on the cultural circuit in Italy, the Triennale Design Museum showcases Italian design by means of a series of representations that are annually renewed.

Address: viale Alemagna, � Price: €8 Tue-Sun: 10:�0am-8:�0pm (Thu till 11:00pm) Web: www.triennaledesignmuseum.org

The ample scope of cultural museum collections also covers the naturalistic and scientific fields with the Museo di Storia Naturale (Museum of Natural History), the Acquario Civico (Civic Aquarium), the Planetarium and the Museo della Scienza e della Tecnologia (Museum of Science and Technology), which is dedicated to the great Leonardo da Vinci and has sections devoted to transport, materials and even the new frontiers of biotechnology and telecommunications.

��

Tourism Information

MONUMENTS

DuomoMilan’s main cathedral and one of the biggest and greatest Gothic cathedrals in the world. A visit to its rooftop reveals a spectacular view of the city between the Gothic spires.

Santa Maria delle Grazie (Saint Mary of the Graces)Houses one of the world’s most famous paintings: il Cenacolo Vinciano (the Last Supper) by Leonardo da Vinci.

Basilica di Sant’Ambrogio (Saint Ambrose)A beautiful and huge Byzantic/Romanic church which was almost destroyed by allied bombing in World War �, although some of its Byzantic mosaics are well preserved.

Castello Sforzesco (Sforza Castle)A great medieval castle where the Sforza-Visconti ruling families of Milan resided. It houses several museums and a Pinacoteca (an art gallery with masterpieces of famous Italian painters).

City CenterIncludes La Scala Theatre (one of the most renowned opera houses in the world), Galleria Vittorio Emanuele (historic and glamorous arcaded shopping gallery), Corso Vittorio Emanuele and Via Montenapoleone (the two main shopping streets of Milan, with some of the most important Italian fashion boutiques).

��

Tourism Information

PARKS AND GARDENSMilan’s network of parks consists of �� parks, as well as other green spaces, including �1 splendid gardens, that allow citizens and visitors to spend their free time surrounded by nature. We point out:

Giardini di Villa Reale (Gardens at Villa Reale)The park is located in the city center and is one of the earliest “landscaped” parks created in Milan.

Address: via Palestro Mon-Sun: 9:00 am-7:00 pm

Parco Sempione (Simplon Park)It is a large park located in the historic center of the city. It owes its name to Corso Sempione, a major thoroughfare of Milan, dating back to the Napoleonic Empire. The park is adjacent to the gardens of Sforza Castle.

Entrances: V. Pagano, V. Bertani, P.zza Castello, and Viali Elvezia, Milton, Gladio, Alemagna, and Legnano. Mon-Sun: �:�0am-11:�0pm

Giardini della Guastalla (Guastalla Gardens)Splendid in every detail, the park, built long ago in 1�� in the city center, was designed as an “Italian-style” garden and contains a wealth of architectural beauty.

Address: via Francesco Sforza Mon-Sun: 7:00am-10:00pm

OUTSIDE MILANMoreover, Milan is well-connected by trains and buses with several notable points of interest of northern and central Italy, such as (in order of distance):

Monza (about 1� minutes by train). Medium-size town with a beautiful pedestrian-only centre and a marvellous park, Parco di Monza, the largest enclosed park in Europe.

Lake Como (about 1 hour by train). An impressive lake in the foothills of the Alps with some beautiful villages such as Como, Menaggio, Bellagio, and Varenna.

Lake Garda (about 90 minutes by train). Beautiful lake (the largest in Italy) with many beautiful small cities, such as Sirmione and Peschiera del Garda.

Venice (about � and a half hours by train). One of the most interesting and charming cities in the world. It is a completely pedestrian city, which sits on more than 100 islands of a lagoon, traversed by narrow streets and connected by picturesque bridges.

��

Committees

Design

Stefano BerettaPaola Bonizzoni (Chair)Gianluca Della VedovaAlberto DennunzioRiccardo DondiGiancarlo MauriYuri PirolaRaffaella Rizzi

Gerard Alberts (Amsterdam)Luís Antunes (Porto)Arnold Beckmann (Swansea)Laurent Bienvenu (Paris)Paola Bonizzoni (Milan, Co-chair)Vasco Brattka (Munich and Cape Town, Co-chair)Cameron Buckner (Houston TX)Bruno Codenotti (Pisa)Stephen Cook (Toronto ON)Barry Cooper (Leeds)Ann Copestake (Cambridge)Erzsébet Csuhaj-Varjú (Budapest)Anuj Dawar (Cambridge)Gianluca Della Vedova (Milan)Liesbeth De Mol (Gent)Jérôme Durand-Lose (Orléans)Viv Kendon (Leeds)Bjørn Kjos-Hanssen (Honolulu HI)Antonina Kolokolova (St. John’s NL)Benedikt Löwe (Amsterdam and Hamburg)Giancarlo Mauri (Milan)Rolf Niedermeier (Berlin)Geoffrey Pullum (Edinburgh and Providence RI) Nicole Schweikardt (Frankfurt)Sonja Smets (Amsterdam)Susan Stepney (York)S. P. Suresh (Chennai)Peter van Emde Boas (Amsterdam)

Erika Filippi

Organizing CommitteeProgramme Committee

��

Useful Information

How to reach us from Stazione Centrale (Main railway station)- Take the subway MM� (yellow) line towards Comasina. Get off at Zara (second stop).- Take the MM� (lilac) line towards Bignami. Get off at Bicocca (fourth stop).- The conference venue is roughly 800 meters away. Take Viale Rodi. Turn left onto Viale Piero e Alberto Pirelli. After �00 meters you can find the U� building on the right

How to reach us from Starhotel Tourist- Head south along Viale Fulvio Testi.- After �00 meters turn left onto via Chiese- After �00 meters turn right onto Viale Piero e Alberto Pirelli- The U� building is the first red building on the left.

WiFi networkThe University of Milano-Bicocca is part of the Eduroam network. Therefore if you already have an Eduroam account you can use that to connect to the Internet.

Moreover, all participants registered by June �0th will be given the possibility to use the university WiFi network. Detailed instructions on how to connect are at the page https://servizi.si.unimib.it/appls/guestscert/unimib-guest_en.asp. You will be allowed to connect to the unimib-guest network using a personal username and password that we will give you with your certificate of attendance.

Rooms

Aula Martini - basement

Aula U�-�9 - first floor

Aula U�-�� - first floor

Aula U�-�7 - first floor



��

Stai

rsLi

ftTo

ilets

Bar

/Can

teen

Mar

tin

iRo

om

Ven

din

gM

ach

ines

BASEMENT

GROUND FLOOR

Entr

ance

fro

m P

iazz

a d

ell’A

ten

eo N

uo

vo

Entr

ance

fro

m V

iale

A. e

P. P

irel

liU6 Maps

�7

Stai

rsLi

ftTo

ilets

Roo

mU

6 - 2

9

FIRST FLOOR

Roo

mU

6 - 2

6Ro

om

U6

- 27

Roo

mU

6 - 2

5Ro

om

U6

- 24

Elsevier has graciously supported the Women in Computability workshop

The European Association for Theoretical Computer Science has decided to sponsor all students that are EATCS members and interested in attending CiE�01�

Springer-Verlag has graciously funded two awards that will be given during the CiE �01� Conference: the best student paper award and the best paper on Natural

Computing award

The Department of Informatics, Systems and Communication, the Departmentof Mathematics and its applications, and the University of Milano-Bicocca

have sponsored the Computability in Europe �01� Conference

the nature of computation - wordpress.comthe nature of computation logic, algorithms, applications...

Documents