Path category for free - Open morphisms from coalgebras with non-deterministic branching (FOSSACS 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 8 Apr 2019 15:00 - 15:30 at MOON - Categories and (Co)algebra Chair(s): Sergey Goncharov

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-17127-8_30

Thorsten Wißmann

Friedrich-Alexander-Universität Erlangen

Germany

Jérémy Dubut

Shin-ya Katsumata

National Institute of Informatics

Japan

Ichiro Hasuo

National Institute of Informatics

Japan

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Stefan Milius , Henning Urbat 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