4th Prague Inter-reasoning Workshop on October 16–20 2019

Participants

Stephan Schulz, Lukasz Czajka, Joshua Chen, Mirek Olsak, Yutaka Nagashima, Bartosz Piotrowski, Stanislaw Purgal, Filip Bartek, Thibault Gauthier, Josef Urban, Jan Jakubův, Chad E. Brown, Karel Chvalovský, Martin Suda

Wednesday, October 16th

1:00pm – 3:00pm
lunch
3:00pm
CIIRC, Room A-613
6th floor
Mirek Olsak (U. of Innsbruck)
Geometric Reasoning [pdf]
4:00pm
CIIRC, Room A-613
6th floor
Chad Brown (CIIRC-CTU)
Higher-Order Set Theory for Formal Abstracts
5:00pm
CIIRC, Room A-613
6th floor
Joshua Chen (U. of Innsbruck)
Dependent Types in Isabelle
9:00pm
dinner

Thursday, October 17th

10:00am – 11:00am
discussions
11:00am
CIIRC, Room A-613
6th floor
Stephan Schulz (DHBW Stuttgart)
Herbrand's Revenge (and other news from E) [pdf]
1:00pm – 3:30pm
lunch and excursion
4:00pm
CIIRC, Room A-613
6th floor
Mirek Olsak (U. of Innsbruck)
Label invariant neural networks for formula embeddings [pdf]
5:00pm
CIIRC, Room A-613
6th floor
Thibault Gauthier (CIIRC-CTU)
Deep Reinforcement Learning for HOL4
7:30pm
dinner

Friday, October 18th

10:00am
CIIRC, Room A-613
6th floor
Stanislaw Purgal (U. of Innsbruck)
Learning theorem proving through self-play [pdf]
11:30am
CIIRC, Room A-613
6th floor
Martin Suda (CIIRC-CTU)
Hints for AVATAR (and some more) [pdf]
1:00pm – 3:00pm
lunch
3:00pm
CIIRC, Room A-613
6th floor
Jan Jakubuv (CIIRC-CTU)
ProofWatch, ENIGMA and ENIGMAWatch
4:00pm
CIIRC, Room A-613
6th floor
Lukasz Czajka (Technical University of Dortmund)
Super auto: practical proof search for simple problems in Coq

Saturday, October 19th

10:00am – 6:00pm
discussions and excursion

Sunday, October 20th

10:00am – 1:00pm
discussions
1:00pm – 3:00pm
lunch