[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] SFM-10:QAPL school: 1st call for participation (Bertinoro,21-26 June 2010)



***********************************************************
*                                                         *
*                       SFM-10:QAPL                       *
*                                                         *
*               10th International School on              *
*             Formal Methods for the Design of            *
*      Computer, Communication and Software Systems:      *
*      Quantitative Aspects of Programming Languages      *
*                                                         *
*           Bertinoro (Italy), 21-26 June 2010            *
*                                                         *
*       http://www.sti.uniurb.it/events/sfm10qapl/        *
*                                                         *
***********************************************************
*                 CALL FOR PARTICIPATION                  *
*                (deadline: 29 March 2010)                *
***********************************************************


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 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 held in collaboration with the organizers of
the Workshop on Quantitative Aspects of Programming Languages
(http://qav.comlab.ox.ac.uk/qapl10/) and covers probabilistic
and timed models, model checking, static analysis, quantum
computing, real-time and embedded systems, and security.


COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following twelve lectures:

* "Markov Chains and Markov Processes"
     by Prakash Panangaden
     (McGill University - Canada)

* "Probabilistic Automata and Equivalences"
     by Roberto Segala
     (University of Verona - Italy)

* "Probabilistic and Stochastic Model Checking"
     by Christel Baier
     (Technical University of Dresden - Germany)

* "Probabilistic Languages and Static Analysis"
     by Herbert Wiklicky
     (Imperial College London - UK)

* "Metrics and Approximations"
     by Franck van Breugel
     (York University - Canada)

* "Stochastic Games"
     by Antonin Kucera
     (Masaryk University - Czech Republic)

* "Models of Quantum Computation"
     by Samson Abramsky
     (University of Oxford - UK)

* "Measurement-Based Quantum Computation"
     by Elham Kashefi
     (University of Edinburgh - UK)

* "Timed and Hybrid Automata"
     by Thomas Henzinger
     (Institute of Science and Technology - Austria)

* "Model Checking of Real-Time Systems"
     by Wang Yi
     (University of Uppsala - Sweden)

* "Information Theory and Security"
     by Pasquale Malacaria
     (Queen Mary University of London - UK)

* "Performance and Security Tradeoff"
     by Katinka Wolter
     (Free University of Berlin - Germany)

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


LOCATION
^^^^^^^^

SFM-10:QAPL will be held in the 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/taxi (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, Rimini, 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 (CRU), 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
stretching from the Apennines to the Adriatic coast and the Alps
over the Po Valley.


ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Alessandro Aldini    (University of Urbino - Italy)
* Marco Bernardo       (University of Urbino - Italy)
* Alessandra Di Pierro (University of Verona - Italy)
* Herbert Wiklicky     (Imperial College London - UK)

Secretary:
* Roberta Partisani    (CRU Bertinoro - Italy)


APPLICATION
^^^^^^^^^^^

Prospective participants should send by 29 March 2010
the application form, available on the school web site,
to the two e-mail addresses below:

  Marco Bernardo
  bernardo AT sti.uniurb.it

  Roberta Partisani
  rpartisani AT ceub.it

The registration fee is 550 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 20-27
(7 nights) in double room (to share with another participant),
half board (breakfast and lunch, dinner of June 20 included,
lunch of June 27 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 21-26
(6 lunches).

A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and grant requests
will be communicated by March 31.

Registration to the school is due by April 20.

No refund is possible for cancellation after May 15.