Document

advertisement
CSL 2013
Torino, Italy, September 3th-6th 2013
Why CSL in Turin ?
• Culture
• History
• Art
• Science
• Entertainment
• Food
• Nature
• Parks
• Alps
History
T
• Capital of the Savoia kingdom
• First capital of the Italia kingdom (1861 – 1865)
The Royal Palace
Capital of the baroc art
Science
• University of Torino (1404)
The central palace (1715)
The Academy of Science
• Founded by Lagrange ( 1783)
• Amedeo Avogadro, Charles Darwin, Galileo Ferraris
• Presentation of the Babbage Analytical Machine (1940)
(by Menabrea, commented by Ada Loverlace)
Scuola di Applicazione
• School of Military studies, in collaboration with the university
• Cavour (student), Lagrange, Peano (teachers)
Logic in Torino
Dept. Mathematics
• The father: Giuseppe Peano
• Set theory: Andretta, Lolli,Viale
• Recursion theory and vulgarization: Odifreddi
•
•
•
•
•
Dept. Computer Science
The father: Corrado Boehm
Logical semantics of programming: Coppo, Dezani,
Paolini, RDR
Linear Logic and ICC: Piccolo, RDR, Roversi
Classical Logic: Berardi, De Liguoro
A big group in A.I.
Entertainments: music
• MITO (every september): 150 concerts of classical
music, both in the concert halls (paying) and in
the old churches (for free)
Conservatorio G. Verdi
Auditorium Lingotto (Renzo Piano)
Enterteinments: Museum
• Egyptyan Museum (the geatest in Europe)
• The Cinema Museum: hosted in the Mole Antonelliana, symbol of
Torino, is unique in its gender.
Nature: Parks
• Valentino
• Stupinigi
• Colletta
CSL 2013: The venue
Museo Regionale di Scienze Naturali
CSL 2013: Where it is
1
Some hotels
Museo SN
2
4
3
Some Hotels
• More expensive:
1. Hotel Principi di Piemonte *****, Via Gobetti 15
Deluxe room: 180€/night
Junior suite: 200€/night12.
2. Victoria Hotel ****, Via Nino Costa, 4
Standard single room: 140€/night
Deluxe single room: 165€/night
Deluxe double room: 200€/night
• Less expensive:
3. Nizza Hotel ***, Via Nizza 9
Single room: 60€/night
Double room: 90€/night
4. Hotel Montevecchio **, Via Rodolfo Montevecchio, 13
Single room: 50€/night
Double room: 68€/night
Triple room: 90€/night
Coming to Torino
By flying:
• Caselle airport – 20 minutes from the center of
Torino - (direct flies from Amsterdam, Frankfurth,
Lisbona, London, Madrid, Munich, Paris, Roma,…)
• Malpensa airport – 2 hours bus - (direct flies from
Athens, Beijing, Moscow, New York, Tel
Aviv,Warsaw, …)
By trains:
• TGV connection with Lyon, Paris
Social Events
• Welcome Party: Sunday 1st of September
(probably at Circolo dei Lettori), with an
introductory lecture
Social Events
Conference Trip (two possibilities):
• Venaria Castle (which inspired Versailles castle)
• Cinema museum (looking at the Alps from the
top of the Mole)
Proposed fees
Fees:
• Regular: ≤ 400 euros
• Students: ≤ 300 euros
• Late: ≤ 450 euros
The fee will include:
• Lunch, coffee breaks, electronic proceedings, social
events
• ? Social dinner ? (depending on the number of
participants)
Co-location
Fixed Points in Computer Science
(4th co-location with CSL)
Questions ?
Thanks for your attention
Download