Kein Betreff

Di Mär 22 11:13:36 CET 2011

Apologies for Cross-posting

***********************************************************

*                                                         *

*                      SFM-11:CONNECT                     *

*                                                         *

*               11th International School on              *

*             Formal Methods for the Design of            *

*      Computer, Communication and Software Systems:      *

*    Connectors for Eternal Networked Software Systems    *

*                                                         *

*           Bertinoro (Italy), 13-18 June 2011            *

*                                                         *

*      http://www.sti.uniurb.it/events/sfm11connect/      *

*                                                         *

***********************************************************

*                 CALL FOR PARTICIPATION                  *

*                (deadline: 21 March 2011)                *

***********************************************************

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 researchers of the EU-funded
projects CONNECT (http://connect-forever.eu/) and EternalS
(https://www.eternals.eu/) and covers topics such as connecting eternal
software systems, formal foundations for connectors, dynamic connector
synthesis, interaction behavior monitoring and learning, and dependability
assurance of connected systems.

COURSES AND LECTURERS

^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures and lab sessions:

   "Introduction to Interoperability"

      Gordon Blair (Univ. Lancaster, UK)

      Massimo Paolucci (Docomo Euro-Labs Munich, DE)

   "Interoperability Challenges in Cyber-Physical Systems"

      Nalini Venkatasubramanian (Univ. California at Irvine, US)

   "The CONNECT Architecture"

      Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR)

      Paul Grace (Univ. Lancaster, UK)

   "Lab Session: Solving Interoperability Problems"

      Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR)

      Paul Grace (Univ. Lancaster, UK)

   "Introduction to Modeling and Quantitative Verification"

      Marta Kwiatkowska (Univ. Oxford, UK)

      David Parker (Univ. Oxford, UK)

   "Modeling and Verification of Components and Connectors"

      Christel Baier (Tech. Univ. Dresden, DE)

   "Quantitative Compositional Verification"

      Marta Kwiatkowska (Univ. Oxford, UK)

      David Parker (Univ. Oxford, UK)

   "Lab Session: Modeling and Compositional Verification of

    Probabilistic Component-Based Systems Using PRISM"

      David Parker (Univ. Oxford, UK)

      Hongyang Qu (Univ. Oxford, UK)

   "Application-Layer Connector Synthesis"

      Paola Inverardi (Univ. L'Aquila, IT)

   "Context Synthesis"

      Dimitra Giannakopoulou (NASA Ames, US)

   "Middleware-Layer Connector Synthesis"

      Valerie Issarny (INRIA Paris-Rocquencourt, FR)

   "Lab Session: Tools for Automatic Connector Synthesis"

      Dimitra Giannakopoulou (NASA Ames, US)

      Massimo Tivoli (Univ. L'Aquila, IT)

   "Automata Learning"

      Bernhard Steffen (Tech. Univ. Dortmund, DE)

   "Testing Supported by Learning"

      Jan Tretmans (Radboud Univ. Nijmegen, NL)

   "Machine Learning and Data"

      Bengt Jonsson (Univ. Uppsala, SE)

   "Lab Session: Experiences with LearnLib"

      Falk Howar (Tech. Univ. Dortmund, DE)

      Maik Merten (Tech. Univ. Dortmund, DE)

   "Dependability and Performance Assessment of Dynamic Connected Systems"

      Antonia Bertolino (CNR-ISTI Pisa, IT)

      Felicita Di Giandomenico (CNR-ISTI Pisa, IT)

   "The Multi-Facets of Building Dependable Physical Computing Systems"

      Shing-Chi Cheung (Hong Kong Univ. Sci. Tech., HK)

   "Computational Trust"

      Mogens Nielsen (Univ. Aarhus, DK)

   "Security and Trust"

      Ilaria Matteucci (CNR-IIT Pisa, IT)

      Rachid Saadi (INRIA Paris-Rocquencourt, FR)

   "Modeling Spatial and Temporal Variability with

    the HATS Abstract Behavioral Modeling Language"

      Ina Schaefer (Tech. Univ. Chalmers, SE)

   "Kernel Methods for Relational Learning and Semantic Modeling"

      Alessandro Moschitti (Univ. Trento, IT)

   "Model-Based Security Engineering for Evolving Systems"

      Jan Jurjens (Tech. Univ. Dortmund, DE)

   "Eternal Systems: Myths or Reality?"

      Valerie Issarny (INRIA Paris-Rocquencourt, FR)

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-11:CONNECT 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:

* Marco Bernardo    (University of Urbino, IT)

* Valerie Issarny   (INRIA Paris-Rocquencourt, FR)

Secretary:

* Roberta Partisani (CRU Bertinoro, IT)

Webmaster:

* Alessandro Aldini (University of Urbino, IT)

APPLICATION

^^^^^^^^^^^

Prospective participants should send by 21 March 2011 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 12-19

(7 nights) in double room (to share with another participant), half board
(breakfast and lunch, dinner of June 12 included, lunch of June 29
excluded).

The reduced accommodation fee for the participants who do not need a room is
100 euros and covers the period June 13-18

(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.

SPONSORSHIPS

^^^^^^^^^^^^

Sponsorship for this event was kindly provided by:

* EU-funded project CONNECT (http://connect-forever.eu/).

* EU-funded project EternalS (https://www.eternals.eu/).

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20110322/4e07371d/attachment.html>