ISoLA 2004
  ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods  

The conference program will comprise

4-day schedule

Saturday 30/10

Sunday 31/10

Monday 01/11

Tuesday 02/11

 
Room A
Room B
15:00 - 16:00
Registration
16:00 - 17:30
17:30 - 18:00
Posters
Posters
19:00 - 21:00
Welcome reception
 
Room A
Room B
09:00 - 10:00
Invited Speaker
David Harel
Towards an Odor Communication and Synthesis System
 
10:00 - 10:30
Coffee break
10:30 - 12:30
12:30 - 14:00
Lunch
14:00 - 15:30
15:30 - 16:00
Coffee break
16:00 - 17:30
 
17:30 -  
Short trip and conference dinner
 
Room A
Room B
09:00 - 11:00
11:00 - 11:30
Coffee break
11:30 - 12:30
12:30 - 14:00
Lunch
14:00 -  
Paphos excursion
 
Room A
Room B
09:00 - 10:30
10:30 - 11:00
Coffee break
11:00 - 12:30
12:30 - 14:00
Lunch
14:00 - 15:00
15:00 - 15:30
Posters
Posters
15:30 - 16:00
Coffee break
16:00 - 17:00
17:00 -  
Closing