Friday, June 17, 2005
|
|
07:30-09:00
|
breakfast
|
|
Chair: Moshe Y. Vardi
|
|
09:00-09:45
| |
Marco Pistore (IRST - Trento)
| |
Automated Generation of Executable Web Services Ccompositions
|
|
|
09:45-10:30
| |
Giuseppe De Giacomo (University of Rome I)
| |
Automatic Web Service Composition
|
|
|
10:30-11:00
| coffee break |
|
11:00-11:40
| |
Erich Graedel (RWTH Aachen)
| |
Path Games
|
|
|
11:40-12:20
| |
Madhusudan Parthasarathy (Univ. of Illinois - Urbana)
| |
Synthesis and Games in Software
|
|
|
12:20-14:00
| lunch break |