Lipari School

Formal Methods: Theory And Practice

17^th International School for Computer Science Researchers
Lipari Island, July 10 - July 23, 2005

Sponsors

Università di Catania C.O.F.	European Commission Structural Funds	Università di Pisa
GNCS - INdAM	CNR
		GNCS - INdAM
	Ass. Ind. Ragusa

Comune di Lipari - Compagnia della Bellezza - L'Informatica - Blue Lab

The Seventeenth International School for Computer Science Researchers addresses Ph.D. students and young researchers who want to get exposed to the forefront of research activity in the field of Formal Methods: Theory And Practice.

The school will be held in the beautiful surroundings of the Island of Lipari. Participants will be arranged in a comfortable hotel at very special rates. The conference room (in the same hotel) is air-conditioned and equipped with all conference materials. Special areas are reserved to students for the afternoon coursework and study. The island of Lipari can be easily reached from Milazzo, Palermo, Naples, Messina and Reggio Calabria by ferry or hydrofoil (50 minutes from Milazzo).

Two kinds of participants are welcome. Students: participants who are expected to attend all classes, do afternoon courseworks and take final exams (exams are scheduled on Friday July 15 and July 22, in the afternoon). Auditors: participants who are not interested in taking the final exams. Up to 60 students and a limited number of additional auditors will be admitted. Deadline for application is March 31, 2005. Applicants must include a short curriculum vitae and specify two professors whom recommendation letters will be asked to, if deemed necessary. Applicants will be notified about admission by April 15, 2005.

Registration fee is 600 Euros all inclusive of: 2 weeks school, transfer Catania-Lipari-Catania by the school bus + hydrofoil, 2 social tours and the social dinner. Late two-weeks registration is 700 Euros. Participants who wish to stay one week only may choose the first week (arrival Sunday July 10 departure Sunday July 17) or the second week (arrival Saturday July 16 departure Saturday July 23). Registration fee for one week is 350 Euros all inclusive of: 1 week school, transfer Catania-Lipari (Sunday July 10 ) or Lipari-Catania (Saturday July 23 ) by the school bus + hydrofoil, 1 social tour and the social dinner. Late one-week registration is 400 Euros. Social dinner is organized on the black beach of Vulcano island with an optional climbing of the volcano.

The official language is English.

Directors

	Prof. Alfredo Ferro, (University of Catania), Co-Chair
	Prof. Zohar Manna, (University of Stanford), Co-Chair

Courses

	First week (July 10 - July 16)
		Prof. Rajeev Alur, UPenn, Philadelphia, USA “Modeling and analysis of Hybrid and Embedded Systems”
		Prof. Edmund M. Clarke, CMU, Pittsburgh, USA “Abstraction in Model Checking”
		Prof. Moshe Vardi, Rice University, Houston, USA “The Automata-Theoretic Approach to Verification”
		Prof. Zohar Manna, University of Stanford, USA “Practical Static Analysis of Software Systems (part 1)”
		Special Guest Speaker Prof. Ugo Montanari , University of Pisa, Italy “Model Checking for Nominal Calculi”
	Second week (July 17 - July 23)
		Prof. Thomas A. Henzinger, EPFL, Lausanne, Switzerland “Games in System Design and Verification”
		Prof. Daniel Jackson, MIT, Cambridge, USA “Relational Logic for Software Design”
		Prof. Sriram Rajamani, Microsoft Research, Redmond, USA “Software Model Checking”
		Prof. Zohar Manna, University of Stanford, USA “Practical Static Analysis of Software Systems (part 2)”