ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueOrea Hotel Pyramida
Room nameMOON
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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
14:00 - 16:00
Categories and (Co)algebraFOSSACS at MOON
Chair(s): Sergey GoncharovFAU 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ógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity 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, Jérémy Dubut, Shin-ya KatsumataNational Institute of Informatics, Ichiro HasuoNational Institute of Informatics
Link to publication
15:30
30m
Talk
Coalgebra Learning via Duality
FOSSACS
Simone Barlocco, Clemens KupkeUniversity of Strathclyde, Jurriaan RotRadboud University Nijmegen
Link to publication
16:30 - 18:00
TinelliTutorials at MOON
Chair(s): Fabrice KordonSorbonne University — LIP6
16:30
90m
Talk
An overview of Satisfiability Modulo Theories and its applications
Tutorials
Cesare TinelliUniversity of Iowa
Link to publication

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

18:00 - 20:00
ETAPS SC MeetingSocial at MOON
18:00
2h
Meeting
ETAPS Steering committee meeting
Social
Joost-Pieter KatoenRWTH Aachen University, Holger HermannsSaarland University, Gilles BartheIMDEA Software Institute, Gerald LüttgenUniversity of Bamberg, Tarmo UustaluReykjavik University, Vladimiro SassoneUniversity of Southampton, Lenore ZuckUniversity of Illinois at Chicago, Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, Peter MüllerETH Zurich, Peter ThiemannUniversity of Freiburg, Germany, Reiner HähnleTechnical University of Darmstadt, Wil van der AalstRWTH Aachen, Heike WehrheimPaderborn University, Jordi CabotICREA - UOC, Gabriele TaentzerUniversität Marburg, Mikolaj BojanczykUniversity of Warsaw, Alex SimpsonUniversity of Ljubljana, Barbara KönigUniversity of Duisburg-Essen, Andrew PittsUniversity of Cambridge, Flemming NielsonTechnical University of Denmark, Dave SandsChalmers, Matteo MaffeiTU Wien, Tomáš VojnarBrno University of Technology, Lijun ZhangChinese Academy of Sciences, Armin BiereJohannes Kepler University Linz, David ParkerUniversity of Birmingham, Kim LarsenAalborg University, Panagiotis KatsarosITI-CERTH, Thessaloniki, Jan VitekNortheastern University and Czech Technical University, Jan KofroňCharles University, Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre , Anton WijsEindhoven University of Technology, Jurriaan HageUtrecht University, Reiko HeckelUniversity of Leicester, Catuscia PalamidessiINRIA and LIX, Don SannellaUniversity of Edinburgh

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

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
MOON

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
MOON

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

Room10:003011:003012:003013:003014:003015:0030
MOON