11:00am – 1:00pm
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
|
1:00pm – 2:30pm
|
Lunch
|
3:30pm – 4:30pm
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
10:00am – 11:00am
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
Encoding lambda-abstractions for HOL in first-order ATPs
|
11:00am – 12:00am
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
leanCoP for Non-Classical Logics
|
1:30pm – 3:00pm
|
Lunch
|
3:00pm – 4:30pm
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
FEMaLeCoP: OCaml leanCoP and Fairly Efficient Learning
|
4:30pm – 5:30pm
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
Taking Satallax by the hand
|
5:30pm – 6:30pm
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
encoding Mizar in Isabelle?
|
10:00am – 11:00am
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
tba
|
11:00am – 12:00am
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
Learning to Parse on Aligned Corpora
|
12:00am – 1:00pm
BLOX, Room 43 at
6th floor, Evropská 11, Prague 6 |
tba
|
1:00pm – 2:30pm
|
Lunch
|
2:30pm – 6:30pm
|
discussions among participants
|