FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
MSFP PROGRAM
Sunday, July 8th

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

09:00-10:30 Session 34K
09:00
Polynomial models of type theory (abstract)
10:00
Some No-Go Theorems for Distributive Laws (extended abstract) (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38L
11:00
Formalizing Constructive Quantifier Elimination in Agda (abstract)
11:45
Relating Idioms, Arrows and Monads from Monoidal Adjunctions (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40M
14:00
Ornamentation put into practice in ML (abstract)
15:00
Profunctor Optics and the Yoneda Lemma (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 41L
16:00
Backward induction for repeated games (abstract)
16:45
Everybody's Got To Be Somewhere (abstract)