[isabelle] SFM-09:WS -- school on formal methods for web services (last call)
- To: agents at cs.umbc.edu, <appsem at appsem.org>, <caml-list at inria.fr>, <categories at mta.ca>, <coalgebras at iti.cs.tu-bs.de>, <compunode at compulog.org>, <concurrency at listserver.tue.nl>, <coq-club at pauillac.inria.fr>, <eacsl at dimi.uniud.it>, <eapls at jiscmail.ac.uk>, <ecoop-info at ecoop.org>, <emsoft at cs.columbia.edu>, <fmics at inrialpes.fr>, <formal-methods at cs.uidaho.edu>, <isabelle-users at cl.cam.ac.uk>, <lics at informatik.hu-berlin.de>, <list at prooftheory.org>, <logic-announce at uclink4.berkeley.edu>, <logic-list at cs.rice.edu>, <logic-list at helsinki.fi>, <lotos-world at site.uottawa.ca>, <mailinglist at fmeurope.org>, <memocode at cs.columbia.edu>, <moca-announce at list.it.uu.se>, <papm at informatics.ed.ac.uk>, <performance at merlot.usc.edu>, <petrinet at informatik.uni-hamburg.de>, <prog-lang at diku.dk>, <puml-list at cs.york.ac.uk>, <pvs at csl.sri.com>, <qest-announce at iti.uiuc.edu>, <seworld at cs.colorado.edu>, <softverf at nist.gov>, <theorem-provers at ai.mit.edu>, <theory-logic at cs.cmu.edu>, <theorynt at listserv.nodak.edu>, <types-announce at lists.seas.upenn.edu>
- Subject: [isabelle] SFM-09:WS -- school on formal methods for web services (last call)
- From: Marco Bernardo <bernardo at sti.uniurb.it>
- Date: Thu, 5 Mar 2009 13:41:25 +0100 (CET)
* 9th INTERNATIONAL SCHOOL ON *
* FORMAL METHODS FOR THE DESIGN OF *
* COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: *
* WEB SERVICES *
* (SFM-09:WS) *
* 1-6 June 2009 *
* Bertinoro Univ. Residential Center - Italy *
* http://www.sti.uniurb.it/events/sfm09ws/ *
* Call for Participation *
* (deadline: 16 March 2009) *
GENERAL INFORMATION ABOUT SFM
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
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 devoted to web services and covers coreography,
orchestration, formal description techniques, session types,
contracts, synthesis, composition, and verification.
COURSES AND LECTURERS
The school features the following twelve lectures:
* "An Overview of Web Services, Coreographies, and WS-CDL"
by Steve Ross-Talbot
(Pi4 Technologies, UK)
* "An Overview of Web Service Orchestration and WS-BPEL"
by Dieter König
* "Formal Modeling of Service-Oriented Systems"
by Jose Fiadeiro
(University of Leicester, UK)
* "Calculi for Service-Oriented Computing"
by Roberto Bruni
(University of Pisa, Italy)
* "Service Interaction: Patterns, Formalization, and Analysis"
by Wil van der Aalst
(Technical University of Eindhoven, The Netherlands)
* "Synthesis and Composition of Web Services"
by Marco Pistore
* "Fundamentals of Session Types"
by Vasco Vasconcelos
(University of Lisbon, Portugal)
* "Advanced Session Types:
End-Point Projections and Multi-Party Interactions"
by Marco Carbone
(Queen Mary University London, UK)
* "Contract-Based Discovery and Composition of Web Services"
by Luca Padovani and Gianluigi Zavattaro
(University of Urbino and University of Bologna, Italy)
* "Security Aspects of Web Services"
by Karthik Bhargavan
(Microsoft Research, UK)
* "Verification of Web Services"
by Jianwen Su
(University of California, USA)
* "Quality of Service-Oriented Systems"
by Stephen Gilmore
(University of Edinburgh, UK)
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.
SFM-09:WS 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 (from the railway station to Bertinoro)
or taxi. 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 (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.
* Marco Bernardo (University of Urbino - Italy)
* Luca Padovani (University of Urbino - Italy)
* Gianluigi Zavattaro (University of Bologna - Italy)
* Monica Michelacci (CRU Bertinoro - Italy)
* Alessandro Aldini (University of Urbino - Italy)
Prospective participants should send by 16 March 2009
the application form, available on the school web site,
to the two e-mail addresses below:
bernardo AT sti.uniurb.it
mmichelacci AT ceub.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 550 euros and includes the school material.
The accommodation fee is 350 euros and covers the period May 31/June 7
(7 nights) in double room (to share with another participant),
half board (breakfast and lunch, dinner of May 31 included,
lunch of June 7 excluded).
The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 1-6
Notification of accepted/rejected applications and grant requests
will be communicated by March 19.
Registration to the school is due by April 10.
No refund is possible for cancellation after April 30.
Sponsorship for this event was kindly provided by the University
of Bologna under the International Summer School Programme.
This archive was generated by a fusion of
Pipermail (Mailman edition) and