Notice. There will be a lightning talk session on Thrusday. Participnats who wish to present a lightning talk should contact the organizers (iav-contact @ googlegroups.com) with a title and a short abstract.
Sarah Arpin (Virginia Tech, USA)
Wouter Castryck (KU Leuven, Belgium)
Giulio Codogni (Università di Roma Tor Vergata, Italy)
Maria Corte-Real Santos (ENS de Lyon, France)
Pierrick Dartois (INRIA Rennes, France)
Elisa Lorenzo Garcia (Aix-Marseille Université, France)
Annamaria Iezzi (Université Grenoble Alpes, France)
Eda Kirimli (University of Birmingham, UK)
Sabrina Kunzweiler (Inria Bordeaux, France)
Chloe Martindale (University of Bristol, UK)
Hiroshi Onuki (University of Tokyo, Japan)
Lorenz Panny (TUM Munich, Germany)
Giacomo Pope (University of Bristol, UK)
Damien Robert (INRIA Bordeaux, France)
Benjamin Smith (Ecole Polytechnique, France)
Olivier Taïbi (ENS de Lyon, France)
09:00 - 09:45: Registration and coffee
09:45 - 10:00: Opening remarks
10:00 - 11:00: Long talk (60 mins)
11:00 - 12:00: Long talk (60 mins)
12:00 - 13:30: Lunch break
13:30 - 15:00: Regular talks
Talk 1 (45 mins)
Talk 2 (45 mins)
15:00 - 15:30: Coffee break
15:30 - 17:00: Implementation working group presentation
09:00 - 10:15: Lecture (75 mins = 35 + 5 + 35)
10:15 - 10:30: Short coffee break
10:30 - 12:00: Regular talks
Talk 1 (45 mins)
Talk 2 (45 mins)
12:00 - 13:30: Lunch break
13:30 - 15:00: Regular talks
Talk 3 (45 mins)
Talk 4 (45 mins)
15:00 - 15:30: Coffee break
15:30 - 17:00: Regular talks
Talk 5 (45 mins)
Talk 6 (45 mins)
09:00 - 10:15: Lecture (75 mins = 35 + 5 + 35)
10:15 - 10:30: Short coffee break
10:30 - 12:00: Regular talks
Talk 1 (45 mins)
Talk 2 (45 mins)
12:00 - 13:30: Lunch break
13:30 - 14:15: Talk 3 (45 mins)
14:15 - 15:00: Problems description and splitting into groups
15:00 - 18:00: Coffee break + Free afternoon
18:00 onwards: Social dinner
09:00 - 10:15: Lightning talks [Submit your talk by email]
10:15 - 10:45: Coffee break
10:45 - 12:00: Parallel group discussions
12:00 - 13:30: Lunch break
13:30 - 15:00: Parallel group discussions
15:00 - 15:30: Coffee break
15:30 - 16:30: Parallel group discussions
16:30 - 17:00: Reports from various groups
09:00 - 11:00: Parallel group discussions
11:00 - 11:30: Coffee break
11:30 - 12:30: Reports from various groups and closing remarks