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 Pitts, Flemming Nielson, Dave Sands, Matteo Maffei, Tomas 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 Apr
| 18: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 | |||||||||||||||||||||||||||||||||||||||||