[isabelle] SFM-06:HV - International School on Formal Methods



*************************************************
*                                               *
*          6th INTERNATIONAL SCHOOL ON          *
*        FORMAL METHODS FOR THE DESIGN OF       *
* COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: *
*             HARDWARE VERIFICATION             *
*                  (SFM-06:HV)                  *
*                                               *
*                 22-27 May 2006                *
*                                               *
*  Bertinoro Univ. Residential Center - Italy   *
*                                               *
*===============================================*
*    http://www.sti.uniurb.it/events/sfm06hv/   *
*===============================================*
*             Call for Participation            *
*          (deadline: 20 February 2006)         *
*************************************************


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 hardware verification and covers
several aspects of the hardware design process, including
hardware design languages, property specification formalisms,
simulation, and verification techniques like BDD-based and
SAT-based model checking and theorem proving.


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

The school lasts one week -- 22-27 May 2006 -- and features
the following 12 monographic courses:

* "Hardware Design Languages and Simulation"
     by Franco Fummi (Univ. of Verona - Italy)
* "Hardware-Software Codesign"
     by Alberto Ferrari (PARADES - Italy)
* "Property Specification Formalisms"
     by Moshe Vardi (Rice Univ. - USA)
* "Automatic Test Pattern Generation"
     by Rolf Drechsler (Univ. of Bremen - Germany)
* "Equivalence Checking"
     by Ziyad Hanna (Intel - Israel)
* "Symbolic Trajectory Evaluation"
     by Koen Claessen (Chalmers Univ. of Tech. - Sweden)
* "BDD-Based Hardware Verification"
     by Gianpiero Cabodi (Politecnico of Torino - Italy)
* "SAT-Based Hardware Verification"
     by Aarti Gupta (NEC Labs America - USA)
* "Hardware as Infinite-State Systems"
     by Randy Bryant (Carnegie Mellon Univ. - USA)
* "Decision Procedures"
     by Alessandro Cimatti (ITC-IRST - Italy)
* "Theorem Proving"
     by Panagiotis Manolios (Georgia Inst. of Tech. - USA)
* "Verification of Floating Point Units"
     by John Harrison (Intel - USA)

All the participants will receive a copy of a tutorial book
published by Springer in the LNCS series.


Location
^^^^^^^^

SFM-06:HV 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).
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.


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

Scientific directors:
* Marco Bernardo (University of Urbino - Italy)
* Alessandro Cimatti (ITC-IRST - Italy)

Secretary:
* Monica Michelacci (CRU Bertinoro - Italy)

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


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

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

  Marco Bernardo
  bernardo AT sti.uniurb.it

  Monica Michelacci
  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 21-28
(7 nights) in double room (to share with another participant),
half board (breakfast and lunch, dinner of May 21 included,
lunch of May 28 excluded).

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

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

Registration to the school is due by March 31.

No refund is possible for cancellation after April 30.


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

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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.