Sections: home | consortium | meetings | output | private
You are here: home < meetings < Sophia-Antipolis February 2002

Kick-off meeting
Sophia-Antipolis, 19-20 February 2002

Subsections: Accomodation | Meeting place | Agenda | List of presentations | Minutes

Accomodation

Finally it was possible to accomodate almost all of you in Antibes, in either hotel de l'Etoile (map) or hotel du Collier, both very close to the railway station and to the bus stop for Sophia-Antipolis.

Meeting Place

On tuesday morning the meeting will take place in room 003, in the Euler building just past INRIA's entrance. For the rest of the time it will be located in the room "Coriolis", in the Galois building further down the main alley. There are signs, but the best if you're in doubt is to ask the guardians.

Agenda

February 19, 2002

1. 10:30 to 12:30. Project Management (presentation by JB Stefani, pdf, 74 kBytes)
   • administrative news
   • management of the project (project reports, costs statements, etc.)
   • meeting plans for 2002
   • project Web site
2. 14:00 to 18:00. Technical session I.
   • M-calculus, the calculus with domains of the MARVEL project, JB Stefanni (presentation pdf, 366 kBytes)
   • The calculus KLAIM, R. de Nicola
   • A fully-abstract model for higher-order mobile ambients, M. Coppo (presentation pdf, 75 kBytes)
   • Virtual machines for process calculi, V. Vasconcelos (presentation pdf, 76 kBytes)
   • A fully-abstract may testing semantics for concurrent objects, J. Rathke.

February 20, 2002

1. 9:00 to 13:00. Technical session II
   • Some directions of research for MIKADO: From security issues to security domains, M. Lacoste (presentation pdf, 167 kBytes)
   • kappa-VM: a virtual machine for a domain-oriented calculus, M. Lacoste (presentation, pdf, 937 kBytes; kappa-calculus, ps, 122 kBytes; abstract machine, ps, 269 kBytes; distributed extension, ps, 173 kBytes)
   • Research directions for MIKADO, F. Germain (presentation, pdf, 147 kBytes)
   • Cryptographic protocols, M. Boreale
2. 14:00 to 17:00. Technical planning and organisation
   • workgroups and workpackages : status, participants, organisation, directions of research, etc
   • planning for deliverables : editors, contributors, initial drafts, etc
   • exchanges, seminars and workshops
   • AOB

About this site. Last modified: Wed Apr 9 11:14:45 WEST 2003