RDP
MEETINGS
VENUE
|
FTP'03
|
4th International Workshop on First order Theorem Proving
Valencia, Spain, June 12-14, 2003
|
PRELIMINARY PROGRAM
Please, check the exact starting time for that session.
|
Workshop Room:
First Floor - ´Aula 1.4´
Equipped with:
- a blackboard (or similar),
- an overhead projector,
- a video projector (for laptops),
- a PC running under Windows with
- Adobe Acrobat Reader 5.0, and
- MS PowerPoint 2000 installed.
|
Thursday, June 12
11:00 - 11:30 | Coffee break |
Friday, June 13
11:00 - 11:30 | Coffee break |
16:30 - 17:00 | Coffee break |
17:00 - 18:30 | Session 7 - System Demonstrations |
| Workshop room: First Floor - ´Aula 1.3´
|
Saturday, June 14
11:00 - 11:30 | Coffee break |
End of FTP'03
Last update May 2003 # sescobar@dsic.upv.es
|