MIKADO | Progress Meeting - Lisbon June 2002

Progress Meeting
Lisbon, 20-21 June 2002

Accomodation has been provided at Hotel Lutécia (Av. Frei Miguel Contreiras, 52, 1749-086 Lisbon, Tel: +351 - 21 840 31 21), for those who requested so.
Getting there. From the airport, I suggest you take a taxi; you should pay no more than EUR 6 (before getting in the car, ask the driver for an approximate fare; there is an extra EUR 1.5 for having your luggage in the trunk). If you are the kind of person that hate surprises, use the fixed-price pre-paid taxi service. The counter is just outside the arrival gate at the tourist information kiosk in the middle of the hall. They work out the price, then they take you out to the taxi rank and give a form to the driver.

Meeting Place

The meeting is at Complexo Interdisciplinar, at the corner of Avenida Gama Pinto with Avenida das Forças Armadas (map, jpg, 98 kBytes), room B2.01. To get there, I suggest two alternatives:

Underground: three stations, one connection, time about 9 min. Leave the hotel to left, get to Avenida de Roma, walk right, direction Alvalade, 200m. At Roma, take Linha Caravela, direction Campo Grande. Connect at Campo Grande, take Linha Girasol, direction Rato. Get off at Cidade Universitária. Once at the surface, walk 5 min along Av. Gama Pinto, away from the Rectory, direction Av. Forças Armadas. Take the left side of the avenue, along a parking lot under the trees. Enter the gate on your left, just before the large intersection, enter the main buiding in front-right.
Walk: 20 min, I expect. Leave the hotel to left, get to Avenida de Roma, walk right, direction Alvalade. Turn left at the first large intersection. You should be now walking down Avenida Estados Unidos da América. Get to the Entre Campos, a large square, statue in the center. Continue on the same direction, this time up Avenida das Forças Armadas. At the top turn right, you will be at Avenida Gama Pinto. Get through the first gate on your right, enter the main buiding in front-right.

Lunchs take place at the same buiding, first floor.

Agenda

June 20, 2002, 13:30 to 19:00

Welcome and local logistics (V. Vasconcelos)
Management
- review of past actions (see minutes MIKADO kick-off)
- management report (review and completion)
- contractual issues (if any)
- additional partner?
- liaisons and participation to ICALP workshop
- project Web site
- next meetings
- AOB
Review of deliverables (20' per deliverable)
- brief presentation of each deliverable:
  D1.1.1 Analysis of formal models of distribution and mobility: state of the art, I. Castellani
  D2.1.1 Type systems and static analysis for mobile and distributed computing: state of the art, J. Rathke (presentation pdf, 50 kBytes)
  D3.1.1 Analysis of distributed execution structures, R. de Nicola
- approval
Planning deliverable D1.1.2: Requirements for a global computing programming model, JB Stefani (presentation pdf, 80 kBytes).
- planning edition and joint work
- initial discussion on content

June 21, 2002, 9:30 to 17:00

Planning deliverable D4.3: Self-assessment plan, V. Sassone
Planning deliverables
- D1.2.0: Core programming model v0
- D2.1.0: Simple type system for MIKADO core programming model
- D3.1.0: Virtual machine technology, core software framework, v0
- planning edition and joint work
- initial discussion on content
- associated technical presentations
Additional presentations & discussions of ongoing work and research directions
- Andrea Valente, Typed safe-ambients distributed abstract machine
- Julian Rathke, Behaviour equivalences for Dpi
- Gérard Boudol, Recursion in the call-by-value lambda-calculus (presentation ps.gz, 148 kBytes)
- Vasco T. Vasconcelos, The impact of linearity information on the performance of TyCO (presentation pdf, 144 kBytes)

About this site. Last modified: Wed Apr 9 11:15:18 WEST 2003

Progress MeetingLisbon, 20-21 June 2002

Progress Meeting
Lisbon, 20-21 June 2002