FOPSS PROGRAM
Days: Sunday, July 1st Monday, July 2nd Tuesday, July 3rd Wednesday, July 4th Thursday, July 5th Friday, July 6th
Sunday, July 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Monday, July 2nd
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Tuesday, July 3rd
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:30-11:00Coffee Break
12:30-14:00Lunch Break
Wednesday, July 4th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:30-11:00Coffee Break
12:30-14:00Lunch Break
14:00-15:30 Session 13
Location: St Anne's College
| 14:00 | Verification of machine learning programs I (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 14
Location: St Anne's College
| 16:00 | Verification of machine learning programs II (abstract) |
Thursday, July 5th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 15
Location: St Anne's College
| 09:00 | Learning and epistemic modal logic I (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 16
Location: St Anne's College
| 11:00 | Learning and epistemic modal logic II (abstract) |
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Friday, July 6th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 19
Location: St Anne's College
| 09:00 | Inductive logic programming and deep learning I (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 20
Location: St Anne's College
| 11:00 | Inductive logic programming and deep learning II (abstract) |
12:30-14:00Lunch Break
15:30-16:00Coffee Break