FME-T1's program is also available side by side with other meetings.

09:00-10:30  Session 1: Introduction to PVS

10:30-11:00  Refreshments

11:00-12:30  Session 2: New Capabilities in PVS 3.0

12:30-14:00  Lunch

14:00-15:30  Session 3: Introduction to ICS

15:30-16:00  Refreshments

16:00-17:30  Session 4: Introduction to SAL