[[ -- Apologies for multiple copies of this message -- \vs ]] Final Call for Participation ConCoord International Workshop on Concurrency and Coordination ====================================================== Scientific Programme Fri July 6 09:00- 9:30 Registration and Opening 09:30-10:30 Invited Talk: `A Query Language Based on the Ambient Logic' Luca Cardelli 10:30-11:00 Coffee Break 11:00-11:45 `Coordination of Mobile Components', F. Arbab 11:45-12:30 `CoreLime: a Coordination Model for Mobile Agents', B. Carbunar, M.T. Valente, J. Vitek 12:30-14:30 Lunch 14:30-15:15 `Network Services and Modal Types', G. Ferrari, E. Moggi, R. Pugliese 15:15-16:00 `Boxed Ambients: Types and Security', M. Bugliesi, G. Castagna, S. Crafa 16:00-16:30 Coffee Break 16:30-18:00 PANEL: Concurrency, Coordination, and Global Computing Sat Jul 7th 09:00-10:00 Invited Talk: Jim Waldo (title TBA) 10:00-10:30 Coffee Break 10:30-11:15 `Security Issues in Component-based Design', A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto 11:15-12:00 `Information Flow Security in Mobile Ambients', A. Cortesi, R. Focardi 12:00-12:45 `Static Analysis for Stack Inspection', M. Bartoletti, P. Degano, G. Ferrari Sun Jul 8th 09:00-10:00 Invited Talk: Paolo Ciancarini (title TBA) 10:00-10:30 Coffee Break 10:30-11:15 `Modelling Node Connectivity in Dynamically Evolving Networks', L. Bettini, M. Loreti, R. Pugliese 11:15-12:00 `On the Serializability of Transactions in JavaSpaces' N. Busi, G. Zavattaro 12:00-12:45 `Zero-safe net models for transactions in Linda', R. Bruni and U. Montanari --------------------------------------------------------------------------- Travel Lipari is the largest island of the Eolie Archipelago, located north of Sicily, well known for its volcanic activities. It has sceneries of incomparable beauty and contrasting character. It can be easily reached from Milazzo, Palermo, Naples, Messina and Reggio Calabria by ferry or hydrofoil (50 minutes from Milazzo). The suggested route is to fly to Catania (CTA), reach the port of Milazzo by bus, and from there reach Lipary by hydrofoil or ferry. Alternatively, fly to Reggio Calabria (REG) and the Lipari by hydrofoil. Detailed instructions and timetables will be emailed to the participants at registration. --------------------------------------------------------------------------- Costs The workshop registration fee is 220K ITL (around 110 euro), payable cash at the meeting. A social dinner will be organised on Fri Jul 6. Participants will be able to join the excursion to the volcano Stromboli planned for Sun 8 for the Lipari School. --------------------------------------------------------------------------- Registration and Hotel Reservation Due to the high season in Lipari, hotels may be expensive and booking may be difficult. The organisation has (a limited number of) rooms available for the workshop period at: Hotel Casajanca <http://www.netnet.it/casajanca> Tel. +39-090-9880222 Fax +39-090-9813003 (around 70 euros, half board) Hotel Filadelfia 2 <http://www.netnet.it/hotel/filadelfia/index> Tel. +39-090-9812795, Fax +39-090-9812486 (around 70 euros, half board) Hotel Carasco <http://www.carasco.it/> Tel: +39-090-9811605 Fax +39-090-9811828 (around 110 euros, half board) These will of course be allocated on a first-come-fist-served basis. Casajanca is a pretty, little hotel in a splendid location 3km away from the Hotel Filadelfia <http://www.netnet.it/hotel/filadelfia/index>, where the workshop takes place. The best way to travel from Casajanca is by scooter. For those who require it, renting a scooter will be organised by the hotel staff. If you wish to stay there, but do not intend to ride a scooter, the hotel will organise minibus rides to the workshop location. When booking, remember to mention Concoord/Lipari School. Other suggested five-star, centrally-located (and substantially more priced) hotels are: Hotel Villa Meligunis <http://www.netnet.it/villameligunis/> Hotel Giardino sul Mare <http://www.netnet.it/hotel/giardino/index> Hotel Rocce Azzurre <http://www.netnet.it/hotel/rocceazzurre/index> Finally, the travel agency Longo Travel Tel. +39-090-9880640, Fax. +39 090-9812793, e-mail: longotravel@netnet.it Contact person: Mr. Bartolo rents self catering flats on a weekly basis. Further information about hotels can be found at <http://www.netnet.it/english>. To register send an email to <concoord@tosca.dmi.unict.it> with your name, affiliation, dates of arrival and departure, and the hotel you have booked in. (Please, notice that you have to book yourself.) --------------------------------------------------------------------------- More information to appear on: <http://tosca.dmi.unict.it/concoord> =========================================================================== email: <mailto:concoord@tosca.dmi.unict.it>