Up

Workshop on Constructive Topology

Dipartimento di Matematica e Informatica, Università degli Studi di Palermo

September 6th-7th, 2010



Palermo Botanical Gardens


The aim of the workshop is to present recent developments in formal topology, the theory of the basic picture and the foundations of constructive mathematics. The atmosphere of the workhop will be quite informal and talks about work in progress and new perspectives for research and applications are welcome. 


List of participants

  1. Caramello, Olivia (Pisa and Cambridge)
  2. Ciraulo, Francesco (Palermo)
  3. Curi, Giovanni (Padova)
  4. Gambino, Nicola (Palermo)
  5. Maietti, Maria Emilia (Padova)
  6. Sambin, Giovanni (Padova)
  7. Spreen, Dieter (Siegen)
  8. Toto, Paola (Lecce)
  9. Vickers, Steve (Birmingham)

Programme

The programme for the workshop is available here.

Information for speakers

The lectures will be held in the Aula 7 (Lecture Room 7) of the Department of Mathematics and Computer Science. The room has a reasonably-sized blackboard, data projector and a overhead projector. Please let the organizers know what you would prefer to use for your presentation.

How to get to Palermo

Palermo airport

  • Palermo airport. For information about the airlines offering flights to Palermo, see the Palermo airport website. If you are travelling from abroad, it may be convenient to travel first to  Rome Fiumicino, where there are frequent flights to Palermo. 
  • From Palermo airport to the city by bus.  If reach the bus stop, exit the airport building and turn right. Buses depart from the airport at 5am, 6am, 6:30am and then every half an hour until midnight. A single ticket costs 5.60 euros and can be purchased from the driver. Buses stop both in Piazza Politeama and at the central train station. The duration of the travel is approximatively one hour.
  • From Palermo airport to the city by train. The airport train station is located on the underground level of the airport building. The train timetable can be found from the Italian railways website. To use the on-line search for train timetables, note that the official name of the airport train station is "Punta Raisi" and that of Palermo central station is "Palermo Centrale". Train tickets must be purchased and validated before boarding the train. You can purchase the ticket from the ticket office or the machines. In order to validate the ticket, you need to insert it in one of the yellow machines that are available around the station (there should be one at the beginning of each platform) so as to have date and time printed on it. If the machines do not work, seek assistance before boarding the train or as soon as possible after boarding. If you do not validate the ticket, you risk a hefty fine, up to 200 euros.

Other airports

  • Trapani airport. Some low-cost airlines offer flights to Trapani airport, which is located approximatively 200km west of Palermo. For details, see the Trapani airport website. From Trapani airport, there are coaches to Palermo central train station. The trip is about two hours and a half (but has a beautiful view of the coast). Information about the coach timetable and prices is available here.
  • Catania Airport. For information about the airlines offering flights to Catania, see the Catania airport website. There are coaches from Catania airport to Palermo central train station, information about which is available from this website. For the timetable, you should look on the page "Collegamenti Regionali". The trip is 2 hours and 40 minutes and the ticket costs 14.20 euros (single) or 22.60 (return).

How to get to the workshop

  • Directions to the Dipartimento di Matematica e Informatica. The workshop will take place at the Dipartimento di Matematica e Informatica (Department of Mathematics and Computer Science), which is located just behind the Botanical Gardens (pictured above), in via Archirafi 34. The department is approximatively 10 minutes away on foot from the central train station (which is on Piazza Giulio Cesare). To reach via Archirafi from the central train station, take via Lincoln in the direction of the port (with the train station building behind you, via Lincoln is on your right-hand side) and walk until you reach the corner with via Archirafi. A map of the area is available here.
  • Directions to the lecture room. The lectures will be held in Aula 7 (Lecture Room 7), which is located on the ground floor of the department. After entering the building, go through the central hall (where you can find vending machines) and then turn left.

Accomodation

  • The closest hotel to the department is Hotel Villa Archirafi, which is located at the corner of via Lincoln and via Archirafi.
  • The bed and breakfast Palermo Art is also very close.
  • The Hotel Posta is a bit further away, but it should not take more than a 25 minutes walk to reach the department. To reach it from the train station, you should simply walk along via Roma and turn right when you reach the "Poste e Telegrafi" building.
  • The Hotel Letizia is located near Piazza Marina, which is half-way between the department and the city centre. To reach the department you can either go through the old centre (which takes 15 minutes if you don't get lost) or via the train station (which takes approximatively 25 minutes).
  • The Hotel Mercure is very close to the city centre. To reach the department, you can either walk (30 minutes) or take one of the frequent buses to the central train station and then walk.
  • The bed and breakfast Coffee and the City is on the same street of the Hotel Mercure.
  • More options are available from the website of the local tourist office.

Contacts

Queries may be addressed to any of the organizers:


This page was last modified on September 29th, 2010 by Nicola Gambino.