ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueOrea Hotel Pyramida
Room nameMOON
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 8 Apr

fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Applied Categories at MOON
Chair(s): Alex SimpsonUniversity of Ljubljana
fossacs-2019-papers10:30 - 11:00
Talk
Link to publication
fossacs-2019-papers11:00 - 11:30
Talk
Andrea Corradini, Tobias Heindel, Barbara KönigUniversity of Duisburg-Essen, Dennis NolteUniversity of Duisburg-Essen, Arend RensinkUniversity of Twente, The Netherlands
Link to publication
fossacs-2019-papers11:30 - 12:00
Talk
Mario Alvarez-PicalloUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
Link to publication
fossacs-2019-papers12:00 - 12:30
Talk
Aleks KissingerRadboud University, Bart JacobsRadboud University Nijmegen, Fabio ZanasiUniversity College London
Link to publication
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Categories and (Co)algebra at MOON
Chair(s): Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8
fossacs-2019-papers14:00 - 14:30
Talk
Link to publication
fossacs-2019-papers14:30 - 15:00
Talk
Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
Link to publication
fossacs-2019-papers15:00 - 15:30
Talk
Thorsten Wißmann, Jérémy Dubut, Shin-ya KatsumataNational Institute of Informatics, Ichiro HasuoNational Institute of Informatics
Link to publication
fossacs-2019-papers15:30 - 16:00
Talk
Simone Barlocco, Clemens KupkeUniversity of Strathclyde, Jurriaan RotRadboud University Nijmegen
Link to publication
etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Tinelli at MOON
Chair(s): Fabrice KordonSorbonne University — LIP6
etaps-2019-Tutorials16:30 - 18:00
Talk
Cesare TinelliUniversity of Iowa

Tue 9 Apr

fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Semantics at MOON
Chair(s): C.-H. Luke OngUniversity of Oxford
fossacs-2019-papers10:30 - 11:00
Talk
Link to publication
fossacs-2019-papers11:00 - 11:30
Talk
Dariusz BiernackiUniversity of Wrocław, Sergueï LengletUniversity of Lorraine, France, Piotr PolesiukUniversity of Wrocław
Link to publication
fossacs-2019-papers11:30 - 12:00
Talk
Cristina Matache, Sam StatonUniversity of Oxford
Link to publication
fossacs-2019-papers12:00 - 12:30
Talk
Thomas LeventisUniversità di Bologna, Michele PaganiUniversity Paris Diderot
Link to publication
etaps-2019-Social
18:00 - 20:00: Social - ETAPS SC Meeting at MOON
etaps-2019-Social18:00 - 20:00
Meeting
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, Tomas 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

fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Automata at MOON
Chair(s): Thomas ColcombetIRIF, University Paris Diderot and CNRS, France
fossacs-2019-papers14:00 - 14:30
Talk
Benedikt BolligCNRS, LSV, ENS Paris-Saclay, Patricia BouyerLSV, CNRS & ENS Cachan, University Paris Saclay, Fabian Reiter
Link to publication
fossacs-2019-papers14:30 - 15:00
Talk
Link to publication
fossacs-2019-papers15:00 - 15:30
Talk
Dietrich Kuske, Georg ZetzscheMax Planck Institute for Software Systems (MPI-SWS)
Link to publication
fossacs-2019-papers15:30 - 16:00
Talk
Helmut SeidlTechnische Universität München, Raphaela Palenta, Sebastian Maneth
Link to publication

Mon 8 Apr 2019

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

Tue 9 Apr 2019

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
MOON
10:30 - 12:30

Wed 10 Apr 2019

Room10:003011:003012:003013:003014:003015:003016:0030
MOON
14:00 - 16:00