[Swarm-Modelling] SEFM School 2010

[Paolo Milazzo]

[Apologies if you receive multiple copies of this message]


========================================================================

                        Call for Participation

    3rd Int. School on Software Engineering and Formal Methods (SEFM)


          ADVANCED APPLICATIONS OF MODEL CHECKING TECHNIQUES


                6-10 September 2010 – CNR, Pisa, Italy

                     Satellite event of SEFM'10

                http://www.sefm2010.isti.cnr.it/school/

========================================================================

The school is mainly addressed to PhD students and researchers
interested in applications of formal verification techniques.

The focus will be on the description of several challenging domains in
which model checking is currently applied, on the advantages of the
application of such a verification technique and on the difficulties to
be faced.

An introduction on the use of formal methods in computer system/software
design will be given, addressing system requirement and design
specification as well as analysis using traditional and stochastic model
checking, followed by several application-specific courses.


***  PROGRAM AND LIST OF SPEAKERS ***

The program with the list of speakers is the following:

    * Introduction and Motivations (4 hours)
            Diego Latella (ISTI-CNR, Pisa, Italy)

    * Applications in orchestration of web services (6 hours)
            Rosario Pugliese (University of Florence, Italy)
            Francesco Tiezzi (University of Florence, Italy)
            Paola Quaglia (University of Trento, Italy)

    * Applications in systems biology (6 hours)
            Davide Chiarugi (University of Siena, Italy)
            Antonio Cerone (UNU-IIST, Macau SAR China)
            Paolo Milazzo (University of Pisa, Italy)

    * Applications to safety-critical systems (3 hours)
            Alessandro Fantechi (University of Florence, Italy)

    * Applications in human-computer interaction (6 hours)
            Mieke Massink (ISTI-CNR, Pisa, Italy)
            Antonio Cerone (UNU-IIST, Macau SAR China)

    * Applications in security of systems (3 hours)
            Pierpaolo Degano (University of Pisa, Italy)
            Roberto Zunino (University of Trento, Italy)

The course will involve a total of 28 hours of teaching. For PhD
students interested in a final exam, there will be the possibility to
take it as an homework to be done after the end of the school.

*** REGISTRATION ***

The registration fee for accepted applicants is 180 euros (lunches
included).

Registration should be done through the web page of the school.

The deadline for registration is: 30 July 2010


*** ORGANIZERS ***

- Antonio Cerone (UNU-IIST, Macao SAR, China, CHAIR)
- Stefania Gnesi (ISTI-CNR, Pisa, Italy)
- Paolo Milazzo (University of Pisa, Italy)


*** CONTACTS ***

The school organizers can be contacted via email at the following
address: address@hidden