RDP
MEETINGS
VENUE
|
TLCA'03
|
6th International Conference on Typed Lambda Calculi and Applications
Valencia, Spain, June 10-12, 2003
|
PRELIMINARY PROGRAM
Please, check the exact starting time for that session.
|
Conference Room:
Ground Floor - ´Sala de Grados´
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.
|
Tuesday, June 10
11:00 - 11:30 | Coffee break |
16:30 - 17:00 | Coffee break |
18:30 - 19:00 | Business meeting |
Wednesday, June 11
10:00 - 10:30 | Coffee break |
Thursday, June 12
11:00 - 11:30 | Coffee break |
End of TLCA'03
Last update May 2003 # sescobar@dsic.upv.es
|