1 / 20

CSL 2013 Torino, Italy, September 3th-6th 2013

CSL 2013 Torino, Italy, September 3th-6th 2013. Why CSL in Turin ?. Culture History Art Science Entertainment Food Nature Parks Alps. History. Capital of the Savoia kingdom First capital of the Italia kingdom (1861 – 1865). T. The Royal Palace .

peigi
Download Presentation

CSL 2013 Torino, Italy, September 3th-6th 2013

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CSL 2013 Torino, Italy, September 3th-6th 2013

  2. Why CSL in Turin ? • Culture • History • Art • Science • Entertainment • Food • Nature • Parks • Alps

  3. History • Capital of the Savoiakingdom • First capital of the Italia kingdom (1861 – 1865) T The Royal Palace

  4. Capital of the baroc art

  5. Science • University of Torino (1404) The central palace (1715)

  6. 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)

  7. Scuola di Applicazione • School of Military studies, in collaboration with the university • Cavour (student), Lagrange, Peano (teachers)

  8. 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.

  9. Entertainments: music • MITO (every september): 150 concerts of classical music, both in the concert halls (paying) and in the old churches (for free) Auditorium Lingotto (Renzo Piano) Conservatorio G. Verdi

  10. Enterteinments: Museum • Egyptyan Museum (the geatest in Europe) • The Cinema Museum: hosted in the Mole Antonelliana, symbol of Torino, is unique in its gender.

  11. Nature: Parks • Valentino • Stupinigi • Colletta

  12. CSL 2013: The venue MuseoRegionale di ScienzeNaturali

  13. CSL 2013: Where it is 1 Some hotels Museo SN 2 3 4

  14. Some Hotels • More expensive: • 1.Hotel Principi di Piemonte*****, Via Gobetti15 • 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.NizzaHotel ***, 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

  15. 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

  16. Social Events • Welcome Party: Sunday 1st of September (probably at CircolodeiLettori), with an introductory lecture

  17. Social Events Conference Trip (two possibilities): • Venaria Castle (which inspired Versailles castle) • Cinema museum (looking at the Alps from the • top of the Mole)

  18. 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)

  19. Co-location Fixed Points in Computer Science (4th co-location with CSL)

  20. Questions ? Thanks for your attention

More Related