Question Title

* 1. Ionuţ Ţuţu and José Luiz Fiadeiro, Revisiting the Institutional Approach to Herbrand's Theorem

Question Title

* 2. Please enter a comment on the talk above.

Question Title

* 3. Liang-Ting Chen and Henning Urbat, A Fibrational Approach to Automata Theory

Question Title

* 4. Please enter a comment on the talk above.

Question Title

* 5. Uli Fahrenberg and Axel Legay, Partial Higher-Dimensional Automata

Question Title

* 6. Please enter a comment on the talk above.

Question Title

* 7. Jiří Adámek, Stefan Milius and Henning Urbat, Syntactic Monoids in a Category

Question Title

* 8. Please enter a comment on the talk above.

Question Title

* 9. Alexander Kurz, Alberto Pardo, Daniela Petrişan, Paula Severi and Fer-Jan de Vries, Nested Fixpoints — A Coalgebraic View of Parametric Dataypes

Question Title

* 10. Please enter a comment on the talk above.

Question Title

* 11. Johannes Marti, Fatemeh Seifan and Yde Venema, Uniform Interpolation for Coalgebraic Fixpoint Logic

Question Title

* 12. Please enter a comment on the talk above.

Question Title

* 13. Paul Blain Levy, Final coalgebras from corecursive algebras

Question Title

* 14. Please enter a comment on the talk above.

Question Title

* 15. Adriana Balan, Alexander Kurz and Jiří Velebil, Extensions of functors from Set to V-cat

Question Title

* 16. Please enter a comment on the talk above.

Question Title

* 17. Stefan Milius, Dirk Pattinson and Lutz Schröder, Generic Trace Semantics and Graded Monads

Question Title

* 18. Please enter a comment on the talk above.