[TYPES] SFM-05:Moby -- spring school on mobile computing (2nd cfpart)

[Marco Bernardo]

*************************************************
*                                               *
*          5th INTERNATIONAL SCHOOL ON          *
*        FORMAL METHODS FOR THE DESIGN OF       *
* COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: *
*                MOBILE COMPUTING               *
*                 (SFM-05:Moby)                 *
*                                               *
*      26-30 April 2005 - Bertinoro (Italy)     *
*                                               *
*===============================================*
*   http://www.sti.uniurb.it/events/sfm05moby/  *
*===============================================*
*             Call for Participation            *
*          (deadline: 24 January 2005)          *
*************************************************


General Information about SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent approach
to the rigorous design of computer, communication and software systems.
The main aim of the SFM series is to offer a good spectrum of current
research in foundations as well as applications of formal methods,
which can be of interest for graduate students and young researchers
who intend to approach the field.

This year SFM is devoted to formal methods and tools for the design
of mobile systems and mobile communication infrastructures. The school
covers the theory underlying mobile processes, languages and middleware
for supporting mobility, security and performance aspects, and dynamic
power management.

This edition of the school is organized by the Information Science and
Technology Institute of the University of Urbino within the project
``Methodologies for the Development and the Verification of Distributed
Applications on Wireless Mobile Terminals''.


Courses and Lecturers
^^^^^^^^^^^^^^^^^^^^^

The school lasts one week -- Tuesday 26 to Saturday 30 April 2005 --
and features 13 monographic courses:

* "Theory of Mobile Processes: Ambient Calculus and Spatial Logic"
      by Luca Cardelli (Microsoft Research Cambridge - UK)
* "Mobile Process Calculi and History-Dependent Automata"
      by Marco Pistore (University of Trento - Italy)
* "Mobile Distributed Programming in X-Klaim"
      by Rocco De Nicola (University of Firenze - Italy)
* "Mobile Network Security"
      by Refik Molva (Eurecom Institute - France)
* "Wireless Adaptive Mobility"
      by Mario Gerla (University of California at Los Angeles - USA)
* "3G and Beyond: The Convergence of Mobile Telephony and Computing"
      by Valerio Zingarelli (Vodafone)
* "Performance Analysis of Mobile Software Architectures"
      by Vincenzo Grassi (University of Roma "Tor Vergata" - Italy)
* "Dynamic Power Management: An Introduction"
      by Alessandro Bogliolo (University of Urbino - Italy)
* "Dynamic Power Management: Formal Approaches"
      by Marco Bernardo (University of Urbino - Italy)
* "Dynamic Power Management: The IEEE 802.11 Standard"
      by Andrea Acquaviva (University of Urbino - Italy)
* "Code Mobility"
      by Gian Pietro Picco (Politecnico di Milano - Italy)
* "Network Swapping"
      by Emanuele Lattanzi (University of Urbino - Italy)
* "Hermes: A Middleware for Mobile Computing"
      by F. Corradini and E. Merelli (University of Camerino - Italy)

All the participants will receive a copy of a tutorial book published
by Springer as a volume in the Lecture Notes in Computer Science series.


Location
^^^^^^^^

The school will be held in the small medieval hilltop town of Bertinoro.
This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of hours
from the international airport "G. Marconi" of Bologna by shuttle (from
the airport to the railway station) + train (from Bologna to Forli`) +
bus (from the railway station to Bertinoro). The closest airport is
the "L. Ridolfi" airport of Forli`, which is 13 km away.

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Ravenna, Ferrara, Venezia, Padova,
Verona, Firenze, Pisa, and Siena.

Bertinoro itself is picturesque, with its narrow streets and walkways
winding around the central peak. The school will be held at the
Centro Residenziale Universitario, an ex-episcopal fortress that
has been converted by the University of Bologna into a modern
conference center with computing facilities and Internet access.
>From the fortress it is possible to enjoy a beautiful vista that stretches
from the Apennines to the Adriatic coast and the Alps over the Po Valley.


Organization
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (University of Urbino - Italy)
* Alessandro Bogliolo (University of Urbino - Italy)

Secretary:
* Monica Michelacci (CRU Bertinoro - Italy)

Webmaster:
* Alessandro Aldini (University of Urbino - Italy)


Application
^^^^^^^^^^^

Prospective participants should send by 16 January 2005
the application form (plain text only), available on
the web site, to the two e-mail addresses below:

  Marco Bernardo
  bernardo AT sti.uniurb.it

  Monica Michelacci
  mmichelacci AT centrocongressibertinoro.it

by specifying in the form whether a grant is requested to cover
part of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

The registration fee is 500 euros and includes the teaching material.
The accommodation fee is 300 euros and covers the costs for the period
25-30 April 2005 (6 nights) in double room (to share with
another participant), half board (breakfast and lunch, dinner of
25 April 2005 included, lunch of 1 May 2005 excluded).
The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the costs for the period
26-30 April 2005 (5 lunches).

Notification of accepted/rejected applications and grant requests
will be posted by 1 February 2005.
Registration to the school is due by 28 February 2005.
No refund is possible for cancellation after 31 March 2005.


Sponsorships
^^^^^^^^^^^^

Financial support from:
* Regione Marche under contract CIPE 2003 ``Methodologies for
  the Development and the Verification of Distributed Applications
  on Wireless Mobile Terminals''

Under the auspices of:
* EATCS - European Association for Theoretical Computer Science
* EATCS-IT - Italian Chapter of the European Association for
             Theoretical Computer Science
* EEF - European Educational Forum