ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Mon 8 Apr 2019 14:30 - 15:00 at MOON - Categories and (Co)algebra Chair(s): Sergey Goncharov

Mon 8 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00
Categories and (Co)algebraFOSSACS at MOON
Chair(s): Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8
14:00
30m
Talk
Equational Axiomatization of Algebras wth Structure
FOSSACS
Link to publication
14:30
30m
Talk
Equational Theories and Monads from Polynomial Cayley Representations
FOSSACS
Maciej Piróg University of Wrocław, Piotr Polesiuk University of Wrocław, Filip Sieczkowski University of Wrocław
Link to publication
15:00
30m
Talk
Path category for free - Open morphisms from coalgebras with non-deterministic branching
FOSSACS
Thorsten Wißmann Friedrich-Alexander-Universität Erlangen, Jérémy Dubut , Shin-ya Katsumata National Institute of Informatics, Ichiro Hasuo National Institute of Informatics
Link to publication
15:30
30m
Talk
Coalgebra Learning via Duality
FOSSACS
Simone Barlocco , Clemens Kupke University of Strathclyde, Jurriaan Rot Radboud University Nijmegen
Link to publication