FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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

09:00-10:30 Session 1
09:00
Computational learning theory I (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 2
11:00
Computational learning theory II (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 3
14:00
Statistical learning theory I (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 4
16:00
Statistical learning theory II (abstract)
Monday, July 2nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 5
09:00
Bayesian learning I (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 6
11:00
Bayesian learning II (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 7
14:00
Reinforcement learning I (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 8
16:00
Reinforcement learning II (abstract)
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

09:00-10:30 Session 11
09:00
Learning in Verification I (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 12
11:00
Learning in Verification II (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 13
14:00
Verification of machine learning programs I (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 14
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
09:00
Learning and epistemic modal logic I (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 16
11:00
Learning and epistemic modal logic II (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 17
14:00
Inductive logic programming I (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 18
16:00
Inductive logic programming II (abstract)
Friday, July 6th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 19
09:00
Inductive logic programming and deep learning I (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 20
11:00
Inductive logic programming and deep learning II (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 21
14:00
Reinforcement learning III (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 22
16:00
Reinforcement learning IV (abstract)