PROGRAM FOR TUESDAY, APRIL 8TH: TALK VIEW
Days:
previous day
all days
View: with abstractssession overview
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
09:00-10:00 Keynote 3. Josef Urban (CIIRC/CVUT). Machine Learning in Theorem Proving
10:00-10:30 Coffee Break (Poster session)
10:50-11:10
Alexei Lisitsa
11:30-12:00
R. Thompson, A. Pease, A. Toutsios, R. Milanese Jr., J. Singley
12:00-12:20
Rashid Barket, Uzma Shafiq, Matthew England, Jürgen Gerhard
12:30-13:00
Alhessi, Einarsdóttir, First, Granberry, Johansson, Smallbone
13:00-14:00 Lunch
14:00-14:30
Jonathan Julian Huerta Y Munive
14:30-15:00
Gleb Solovev, Nikita Khramov, Andrei Kozyrev, Anton Podkopaev
15:20-16:30 Coffee Break (Poster session)
15:20-16:05 EuroProof Net WG5 meeting: open to all participants
15:20-15:30
Alberto Gandolfi
15:40-15:50
Alexandra Fikiori, Asterios Gkantzounis, Foivos Skarpelos, Petros Stefaneas
16:20-16:30
Bartosz Naskręcki
16:30-17:30 Discussion Panel: What is next for Generative AI and Theorem Proving? Future directions and research opportunities
17:30-19:00 Free Social Time on Campus