Friday

All your base categories are belong to us
10:00 am - 11:00 am
by Pierre-Marie Pédrot

Break
11:00 am - 11:30 am

Business Meeting
11:00 am - 11:30 am

Proof Assistants Applications
11:30 am - 12:30 pm
chair: Matthieu Sozeau

Lunch
12:30 pm - 1:30 pm

Closing Discussion
1:30 pm - 2:30 pm