Joost-Pieter Katoen, Holger Hermanns, Gilles Barthe, Gerald Lüttgen, Tarmo Uustalu, Vladimiro Sassone, Lenore Zuck, Luís Caires, Peter Müller, Peter Thiemann, Reiner Hähnle, Wil van der Aalst, Heike Wehrheim, Jordi Cabot, Gabriele Taentzer, Mikolaj Bojanczyk, Alex Simpson, Barbara König, Andrew M. Pitts, Flemming Nielson, Dave Sands, Matteo Maffei, Tomáš Vojnar, Lijun Zhang, Armin Biere, David Parker, Kim Larsen, Panagiotis Katsaros, Jan Vitek, Jan Kofroň, Tiziana Margaria, Anton Wijs, Jurriaan Hage, Reiko Heckel, Catuscia Palamidessi, Don Sannella
Tue 9 Apr 2019 18:00 - 20:00 at MOON - ETAPS SC Meeting
Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:00 - 20:00 | |||
18:00 2hMeeting | ETAPS Steering committee meeting Social Joost-Pieter Katoen RWTH Aachen University, Holger Hermanns Saarland University, Gilles Barthe IMDEA Software Institute, Gerald Lüttgen University of Bamberg, Tarmo Uustalu Reykjavik University, Vladimiro Sassone University of Southampton, Lenore Zuck University of Illinois at Chicago, Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, Peter Müller ETH Zurich, Peter Thiemann University of Freiburg, Germany, Reiner Hähnle Technical University of Darmstadt, Wil van der Aalst RWTH Aachen, Heike Wehrheim Paderborn University, Jordi Cabot ICREA - UOC, Gabriele Taentzer Universität Marburg, Mikolaj Bojanczyk University of Warsaw, Alex Simpson University of Ljubljana, Barbara König University of Duisburg-Essen, Andrew M. Pitts University of Cambridge, Flemming Nielson Technical University of Denmark, Dave Sands Chalmers, Matteo Maffei TU Wien, Tomáš Vojnar Brno University of Technology, Lijun Zhang Chinese Academy of Sciences, Armin Biere Johannes Kepler University Linz, David Parker University of Birmingham, Kim Larsen Aalborg University, Panagiotis Katsaros ITI-CERTH, Thessaloniki, Jan Vitek Northeastern University and Czech Technical University, Jan Kofroň Charles University, Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre , Anton Wijs Eindhoven University of Technology, Jurriaan Hage Utrecht University, Reiko Heckel University of Leicester, Catuscia Palamidessi INRIA and LIX, Don Sannella University of Edinburgh | ||