ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Mon 8 Apr 2019 11:30 - 12:00 at MOON - Applied Categories Chair(s): Alex Simpson

Mon 8 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30
Applied CategoriesFOSSACS at MOON
Chair(s): Alex SimpsonUniversity 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önigUniversity of Duisburg-Essen, Dennis NolteUniversity of Duisburg-Essen, Arend RensinkUniversity of Twente, The Netherlands
Link to publication
11:30
30m
Talk
Change Actions: Models of Generalised Differentiation
FOSSACS
Mario Alvarez-PicalloUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
Link to publication
12:00
30m
Talk
Causal Inference by String Diagram Surgery
FOSSACS
Aleks KissingerRadboud University, Bart JacobsRadboud University Nijmegen, Fabio ZanasiUniversity College London
Link to publication