[Prev][Next][Index][Thread]
F-WAN: Programme and Call for Participation
[-- This announcement may interest the Types reader:
it is the final call of a series passed on the list \vs --]
F-WAN: Foundations of Wide Area Network Computing
<http://www.cogs.susx.ac.uk/fwan>
12-13 July 2002, Málaga Spain
Programme and Call for Participation
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The programme of F-WAN is as follows. Further details are available
at the workshop homepage. Registration procedure below.
-----------------
Fri 12
9:00 -- 10:00 Invited talk: Luca Cardelli (Microsoft Research,
Cambridge),
Spatial Logics for Distributed Systems
10:00 -- 10:45 Joachim Gabarró (UPC, Barcelona), Alan Stewart, and
Maurice Clint (Queen's U, Belfast), Grab and Go
Systems: a CPO approach to concurrent web and
grid-based computation
11:15 -- 12:00 Nadia Busi and Gianluigi Zavattaro (Bologna), On the
Expressiveness of Movement in Pure Mobile Ambients
12:00 -- 12:45 Maria G. Vigliotti and Iain Phillips (Imperial,
London), Barbs and Congruences for Safe Mobile Ambients
15:00 -- 16:00 Invited talk (joint with FMICS): Andrew D. Gordon
(Microsoft Research, Cambridge),
Authenticity Types for Cryptographic Protocols
16:00 -- 16:45 Gianluigi Ferrari (Pisa), Eugenio Moggi (Genova) and
Rosario Pugliese (Florence), Guardians for
Ambient-based Monitoring
17:10 -- 17:55 Silvia Crafa, Michele Bugliesi (Venice), and Giuseppe
Castagna (ENS, Paris), Information Flow Security for
Boxed Ambients
----------------
Sat 13
9:00 -- 10:00 Invited talk: Martín Abadi (UC Santa Cruz),
Some Recent Security Protocols
10:00 -- 10:45 Viviana Bono, Ferruccio Damiani, and Paola Giannini
(Torino), A Calculus for ``Environment-Aware''
Computation
11:15 -- 12:00 Dominic Duggan (Stevens Institute, NJ), Abstractions
for Fault-Tolerant Global Computing
12:00 -- 12:45 Florence Germain, Marc Lacoste (France Telecom), and
Jean-Bernard Stefani (INRIA Rhône-Alpes), An Abstract
Machine for a Higher-Order Distributed Process
Calculus
15:00 -- 16:00 Invited talk: Matthew Hennessy (Sussex),
Behavioural Equivalences for Distributed Agents
16:00 -- 16:45 José-Luis Vivas (Hewlett-Packard Labs, Bristol) and
Nobuko Yoshida (Leicester), Dynamic Channel Screening
in the Higher Order pi-Calculus
----------------
Registration and Accommodation
Registration and booking of accommodation are through the ICALP 2002
organisation at <http://sirius.lcc.uma.es/ICALP2002/> (follow the
`registration' link). Enquiries can be directed to Marlon Nuñez
<mailto:mnunez@lcc.uma.es>
Sponsor
The workshop will be held under the auspices of EATCS, the European
Association of Theoretical Computer Science.