Software Institute

Summary of Activities
Seminars & Meetings
Training Courses
Internships & Projects
Summer School
Organization & Administration
Email: si@lau.edu.lb

SUMMER COURSE 2002

Specification and Verification of Software for Distributed Systems

June 28-July 5, 2002
Lebanese American University, Beirut, Nicol Hall 306


Instructors

  1. Hacene Fouchal, Univ. of Reims, France
  2. Philippe Balbiani, Univ. of Toulouse, France
  3. Jean-Paul Bahsoon, Univ. of Toulouse, France

Course Outline

  1. Distributed algorithms
    • Modeling and basic concepts
    • Distributed allocation of ressources
    • Time in distributed systems
    • Termination detection
    • Fault tolerance
    • Adapative routing
  2. Formal aspects
    • Automata Modeling
    • Formal verification
    • Code generation
    • Conformance testing
    • Validation of systems having time constraints
  3. Introduction to classical and to modal logics
  4. Specification and verification of reactive systems
    • Specification of reactive properties : temporal logic
    • Proof systems for temporal logics
    • DUX, TLA
  5. Automatic verification (model checking)
    • Verification by tableau method
    • Verification by model checking
    • Tools : SMV, SPIN

 

Who Should Attend

Expected participants are: University instructors who wish to learn this area for teaching and/or research purposes; graduate students who wish to do research in this area; and researchers.

Dates, Time and Place

Dates: June 28-29 and July 1-5, 2002
Time: 8:30 AM - 5:00 PM
Place: LAU, Beirut Campus, Nicol Hall 306

Registration, Fees and Deadlines

To register, please fill out the registration form below or email the requested information to: si@lau.edu.lb by May 31.

Registration fees are $350 per person (includes lunch, coffee breaks and handouts).

Payment should be made by sending a BANK CHECK (NOT personal check) to the order of ”Lebanese American University” to this address: Dr. Nashat Mansour, Software Institute, P.O. Box 13-5053, Chouran Beirut: 1102 2801, Lebanon.

The deadline for receiving payments is June 20, or until the class is full (limited places).

Accommodation

We can help arrange for accommodation in nearby hotels at reasonable prices.

Visa

Citizens of several countries can get a visa at the Beirut International Airport. After you register, if you need our help to get a visa from the Lebanese Embassy in your country, please let us know at si@lau.edu.lb and fax us a copy of your passport to +961 1 867098 (Attention Dr. Nashat Mansour).

Certificate

A certificate of attendance will be provided.

About Lebanon

You may find more information on Lebanon in the following websites:

General Information

Weather and Dress
The weather at the end of June is warm and ideal for the beach. You can find more information about the weather in the sites listed at ”About Lebanon.”

Currency and Credit Cards
In Lebanon, you can use lebanese currency or U.S. Dollars. Currency exchange can be freely made at banks or at small exchange shops (many of them in Beirut). Please note that credit cards are not as commonly used in Lebanon as in the U.S. and Europe. They are accepted mostly at large establishments.

Language
Arabic is Lebanon’s official language. But many Lebanese people also speak English and French.


SOFTWARE INSTITUTE SUMMER SCHOOL

Specification and Verification of Software for Distributed Systems
June 28-July 5, 2002

REGISTRATION FORM

Please submit this form by May 31, 2002 at the latest.

 Full Name:
 Title:
 Affiliation:
 E-mail address:
 

SUBMIT

(Confirmation will be displayed in a pop-up window).