ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Apr

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

10:30 - 12:30
Applied CategoriesFOSSACS at MOON
Chair(s): Alex Simpson University of Ljubljana
10:30
30m
Talk
Trees in Partial Higher Dimensional AutomataBest paper nomination
FOSSACS
Link to publication
11:00
30m
Talk
Rewriting Abstract Structures: Materialization Explained CategoricallyBest paper nomination
FOSSACS
Andrea Corradini , Tobias Heindel , Barbara König University of Duisburg-Essen, Dennis Nolte University of Duisburg-Essen, Arend Rensink University of Twente, The Netherlands
Link to publication
11:30
30m
Talk
Change Actions: Models of Generalised Differentiation
FOSSACS
Mario Alvarez-Picallo University of Oxford, C.-H. Luke Ong University of Oxford
Link to publication
12:00
30m
Talk
Causal Inference by String Diagram Surgery
FOSSACS
Aleks Kissinger Radboud University, Bart Jacobs Radboud University Nijmegen, Fabio Zanasi University College London
Link to publication
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

Tue 9 Apr

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

Wed 10 Apr

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