PowerPoint Presentation

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

1To insert this slide into your presentation Save this template as a presentation (.ppt file) on your computer. Open the presentation that will contain the image slide. On the Slides tab, place your insertion point after the slide that will precede the image slide. (Make sure you don't select a slide. Your insertion point should be between the slides.) On the Insert menu, click Slides from Files. In the Slide Finder dialog box, click the Find Presentation tab. Click Browse, locate and select the presentation that contains the image slide, and then click Open. In the Slides from Files dialog box, select the image slide. Select the Keep source formatting check box. If you do not select this check box, the copied slide will inherit the design of the slide that precedes it in the presentation. Click Insert. Click Close.

Why CSL in Turin ?CultureHistoryArtScienceEntertainmentFoodNatureParksAlps

HistoryTCapital of the Savoia kingdom First capital of the Italia kingdom (1861 1865)

The Royal Palace

Capital of the baroc art

ScienceUniversity of Torino (1404)

The central palace (1715)

The Academy of ScienceFounded by Lagrange ( 1783)Amedeo Avogadro, Charles Darwin, Galileo FerrarisPresentation of the Babbage Analytical Machine (1940) (by Menabrea, commented by Ada Loverlace)

Scuola di ApplicazioneSchool of Military studies, in collaboration with the universityCavour (student), Lagrange, Peano (teachers)

Logic in Torino

Dept. MathematicsThe father: Giuseppe Peano Set theory: Andretta, Lolli,VialeRecursion theory and vulgarization: Odifreddi

Dept. Computer ScienceThe father: Corrado BoehmLogical semantics of programming: Coppo, Dezani, Paolini, RDRLinear Logic and ICC: Piccolo, RDR, RoversiClassical Logic: Berardi, De LiguoroA 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. VerdiAuditorium 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

Colletta

Stupinigi

CSL 2013: The venueMuseo Regionale di Scienze Naturali

Some hotels1243

CSL 2013: Where it is

Museo SN

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/nightLess 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 TorinoBy 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 EventsWelcome Party: Sunday 1st of September (probably at Circolo dei Lettori), with an introductory lecture

Social Events

Venaria Castle (which inspired Versailles castle)

Cinema museum (looking at the Alps from the top of the Mole) Conference Trip (two possibilities):

Proposed feesFees: Regular: 400 eurosStudents: 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-locationFixed Points in Computer Science

(4th co-location with CSL)

Questions ?Thanks for your attention