Form Developer's Workshop 2026
from
Monday, 22 June 2026 (10:00)
to
Friday, 26 June 2026 (16:00)
Monday, 22 June 2026
13:00
Welcome and general information
Welcome and general information
13:00 - 13:15
Room: Veltman Centre
13:15
Form v5 update
-
Takahiro Ueda
Form v5 update
Takahiro Ueda
13:15 - 14:00
Room: Veltman Centre
14:00
Form sources (I)
-
Jos Vermaseren
Form sources (I)
Jos Vermaseren
14:00 - 14:45
Room: Veltman Centre
14:45
Break
Break
14:45 - 15:15
Room: Veltman Centre
15:15
Debugging Form
-
Joshua Davies
(
University of Liverpool
)
Coenraad Marinissen
Debugging Form
Joshua Davies
(
University of Liverpool
)
Coenraad Marinissen
15:15 - 16:00
Room: Veltman Centre
16:00
Hands-on session: internals
Hands-on session: internals
16:00 - 17:00
Room: Veltman Centre
Tuesday, 23 June 2026
09:00
Documentation, test suite and coverage
-
Coenraad Marinissen
Joshua Davies
(
University of Liverpool
)
Documentation, test suite and coverage
Coenraad Marinissen
Joshua Davies
(
University of Liverpool
)
09:00 - 10:00
Room: Veltman Centre
10:00
HyperFORM -- A FORM package and the lessons we learnt writing it
-
Adam Kardos
(
University of Debrecen
)
HyperFORM -- A FORM package and the lessons we learnt writing it
Adam Kardos
(
University of Debrecen
)
10:00 - 10:45
Room: Veltman Centre
10:45
Break
Break
10:45 - 11:15
Room: Veltman Centre
11:15
Talk by Form user expert
Talk by Form user expert
11:15 - 12:00
Room: Veltman Centre
12:00
Lunch
Lunch
12:00 - 13:30
Room: Veltman Centre
13:30
Open issues
-
Takahiro Ueda
Open issues
Takahiro Ueda
13:30 - 14:30
Room: Veltman Centre
14:30
Break
Break
14:30 - 15:00
Room: Veltman Centre
15:00
Gong show: present your Form problem
Gong show: present your Form problem
15:00 - 16:00
Room: Veltman Centre
16:00
Drinks
Drinks
16:00 - 18:00
Room: Veltman Centre
Wednesday, 24 June 2026
09:00
Form sources (II)
-
Jos Vermaseren
Form sources (II)
Jos Vermaseren
09:00 - 10:00
Room: Veltman Centre
10:00
History talk: from Schoonschip to Form 5
-
Joshua Davies
(
University of Liverpool
)
History talk: from Schoonschip to Form 5
Joshua Davies
(
University of Liverpool
)
10:00 - 10:45
Room: Veltman Centre
10:45
Break
Break
10:45 - 11:15
Room: Veltman Centre
11:15
Padics - Form development and ai
-
Coenraad Marinissen
Padics - Form development and ai
Coenraad Marinissen
11:15 - 12:00
Room: Veltman Centre
12:00
Lunch
Lunch
12:00 - 13:30
Room: Veltman Centre
13:30
Talk by Form user expert
Talk by Form user expert
13:30 - 14:15
Room: Veltman Centre
14:15
Hands-on session
Hands-on session
14:15 - 15:00
Room: Veltman Centre
15:00
Break
Break
15:00 - 15:30
Room: Veltman Centre
15:30
Hands-on session
Hands-on session
15:30 - 17:00
Room: Veltman Centre
Thursday, 25 June 2026
09:00
Form sources (III)
-
Jos Vermaseren
Form sources (III)
Jos Vermaseren
09:00 - 10:00
Room: Veltman Centre
10:00
Talk by Form user expert
Talk by Form user expert
10:00 - 10:45
Room: Veltman Centre
10:45
Break
Break
10:45 - 11:15
Room: Veltman Centre
11:15
ANATAR with Form 5.0: Recent Developments
-
Pooja Mukherjee
ANATAR with Form 5.0: Recent Developments
Pooja Mukherjee
11:15 - 12:00
Room: Veltman Centre
12:00
Lunch
Lunch
12:00 - 13:30
Room: Veltman Centre
13:30
Talk by Form user expert
Talk by Form user expert
13:30 - 14:15
Room: Veltman Centre
14:15
Hands-on session
Hands-on session
14:15 - 15:00
Room: Veltman Centre
15:00
Break
Break
15:00 - 15:30
Room: Veltman Centre
15:30
Hands-on session
Hands-on session
15:30 - 17:00
Room: Veltman Centre
19:00
Workshop dinner
Workshop dinner
19:00 - 22:00
Friday, 26 June 2026
09:00
Performance benchmarks for Form
-
Joshua Davies
(
University of Liverpool
)
Performance benchmarks for Form
Joshua Davies
(
University of Liverpool
)
09:00 - 10:00
Room: Veltman Centre
10:00
Parallel scalings
-
Ana Costa-Pereira
Parallel scalings
Ana Costa-Pereira
10:00 - 10:45
Room: Veltman Centre
10:45
Break
Break
10:45 - 11:15
Room: Veltman Centre
11:15
Final discussion and next workshop announcement
Final discussion and next workshop announcement
11:15 - 12:00
Room: Veltman Centre
12:00
Lunch
Lunch
12:00 - 13:30
Room: Veltman Centre