2nd Prague Inter-reasoning Workshop on November 7–11 2015

Participants

Cezary Kaliszyk, Stephan Schulz, Michael Färber, Thibault Gauthier, Josef Urban, Jiří Vyskočil, Jan Jakubův, Chad E. Brown, Karol Pąk, Łukasz Czajka, Jens Otten, Karel Chvalovský

Schedule

Saturday, November 7th

11:00am – 1:00pm BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Stephan Schulz (DHBW Stuttgart, Germany) E, strategy learning, clause evaluation heuristics, etc. [pdf]
1:00pm – 2:30pm	Lunch
3:30pm – 4:30pm BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Chad E. Brown (visiting researcher CTU - CIIRC, Czech Republic) Satallax, possibly higher-order set theory [pdf]

Sunday, November 8th

excursion and workshop dinner

Monday, November 9th

10:00am – 11:00am BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Łukasz Czajka (University of Innsbruck, Austria) Encoding lambda-abstractions for HOL in first-order ATPs [pdf]
11:00am – 12:00am BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Jens Otten (University of Potsdam, Germany) leanCoP for Non-Classical Logics
1:30pm – 3:00pm	Lunch
3:00pm – 4:30pm BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Cezary Kaliszyk (University of Innsbruck, Austria) FEMaLeCoP: OCaml leanCoP and Fairly Efficient Learning [pdf]
4:30pm – 5:30pm BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Michael Färber (University of Innsbruck, Austria) Taking Satallax by the hand [pdf]
5:30pm – 6:30pm BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Karol Pąk (University of Bialystok, Poland) encoding Mizar in Isabelle?

Tuesday, November 10th

10:00am – 11:00am BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Thibault Gauthier (University of Innsbruck, Austria) tba
11:00am – 12:00am BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Jiří Vyskočil (CTU - CIIRC, Czech Republic) Learning to Parse on Aligned Corpora [pdf]
12:00am – 1:00pm BLOX, Room 43 at 6th floor, Evropská 11, Prague 6	Josef Urban (CTU - CIIRC, Czech Republic) tba
1:00pm – 2:30pm	Lunch
2:30pm – 6:30pm	discussions among participants