‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Filter
Conference Dates
Conference Dates are in time zone (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

08:00 - 17:00: RegistrationOrganizational at Registration (Lobby)
08:00 - 17:00
Registration
Organizational
08:45 - 10:30: CoCoDo morningCoCoDo at Matisse
08:45 - 09:00
Day opening
CoCoDo
Vadim ZaytsevRaincode Labs, Belgium
09:00 - 10:30
Talk
CoCoDo
Peter D. MossesSwansea University
08:50 - 10:30: MoreVMs 1MoreVMs at Baie des Anges B
08:50 - 09:00
Day opening
MoreVMs
09:00 - 09:30
Talk
MoreVMs
James ClarksonThe University of Manchester, Juan FumeroThe University of Manchester, Michalis PapadimitriouThe University of Manchester, Maria XekalakiThe University of Manchester, Christos KotselidisThe University of Manchester
File Attached
09:30 - 10:00
Talk
MoreVMs
10:00 - 10:30
Talk
MoreVMs
Foivos S. Zakkak, Andrew NisbetThe University of Manchester, John MawerThe University of Manchester, Tim HartleyThe University of Manchester, Nikos FoutrisThe University of Manchester, Orion PapadakisThe University of Manchester, Andreas AndronikakisThe University of Manchester, Iain ApreoteseiThe University of Manchester, Mikel LujánUniversity of Manchester, Christos KotselidisThe University of Manchester
09:00 - 10:30: Salon des Refusés 1Salon des Refusés at Baie des Anges A
09:00 - 09:20
Talk
Salon des Refusés
Tomas PetricekAlan Turing Institute, Luke Church
09:20 - 09:50
Talk
Salon des Refusés
Raphael WimmerUniversity of Regensburg
Pre-print
09:50 - 10:10
Talk
Salon des Refusés
Philip TchernavskijEx Situ | Université Paris-Sud
10:10 - 10:30
Talk
Salon des Refusés
Stephen KellUniversity of Cambridge
10:30 - 11:00: Coffee BreakCatering at Lobby
10:30 - 11:00
Coffee break
Catering
11:00 - 12:30: Salon des Refusés 2Salon des Refusés at Baie des Anges A
11:00 - 11:30
Talk
Salon des Refusés
Pre-print
11:30 - 11:50
Talk
Salon des Refusés
11:50 - 12:30
Talk
Salon des Refusés
11:00 - 12:30: MoreVMs 2MoreVMs at Baie des Anges B
11:00 - 11:30
Talk
MoreVMs
Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Filippo SchiavioUniversità della Svizzera italiana, Walter BinderUniversity of Lugano, Switzerland
File Attached
11:30 - 12:00
Talk
MoreVMs
Alireza S. AbyanehUniversity of Salzburg, Simon BauerUniversity of Salzburg, Christoph KirschUniversity of Salzburg, Philipp MayerUniversity of Salzburg, Christian MöslUniversity of Salzburg, Clément PonceletUniversity of Salzburg, Sara SeidlUniversity of Salzburg, Ana SokolovaUniversity of Salzburg, Manuel WidmoserUniversity of Salzburg
File Attached
12:00 - 12:30
Talk
MoreVMs
Andy WingoIgalia, S.L.
Pre-print File Attached
11:00 - 12:30: CoCoDo pre-lunchCoCoDo at Matisse
11:00 - 12:30
Talk
CoCoDo
Jesper OqvistLund University
12:30 - 14:30: PostersPosters at Baie des Anges B
12:30 - 14:30
Poster
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
12:30 - 14:30
Poster
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
12:30 - 14:30
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt
12:30 - 14:30
Poster
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
12:30 - 14:30
Poster
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
12:30 - 14:30
Poster
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
12:30 - 14:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
12:30 - 14:30: LunchCatering at Restaurant (Rooftop)
12:30 - 14:30
Lunch
Catering
14:30 - 16:10: MoreVMs 3MoreVMs at Baie des Anges B
14:30 - 15:00
Talk
MoreVMs
Manuel RiggerJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Jacob KreindlJohannes Kepler University Linz, Christian HäublOracle Labs, Hanspeter MössenböckJKU Linz, Austria
Pre-print Media Attached
15:00 - 15:30
Talk
MoreVMs
Stephen KellUniversity of Cambridge
Pre-print
15:30 - 16:00
Meeting
MoreVMs
16:00 - 16:10
Day closing
MoreVMs
14:30 - 16:00: CoCoDo post-lunchCoCoDo at Matisse
14:30 - 16:00
Talk
CoCoDo
Anya Helene BaggeUniversity of Bergen
16:00 - 16:30: Coffee BreakCatering at Lobby
16:00 - 16:30
Coffee break
Catering
16:30 - 18:00: Salon des Refusés 4Salon des Refusés at Baie des Anges A
16:30 - 17:00
Talk
Salon des Refusés
Pre-print
17:00 - 17:20
Talk
Salon des Refusés

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

08:00 - 17:00: RegistrationOrganizational at Registration (Lobby)
08:00 - 17:00
Registration
Organizational
08:50 - 10:30: Model TransformationBx at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
08:50 - 09:00
Day opening
Bx
09:00 - 09:30
Full-paper
Bx
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
09:30 - 10:00
Full-paper
Bx
File Attached
10:00 - 10:30
Short-paper
Bx
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria
09:00 - 10:30: Session 1PX/18 at Baie des Anges A
09:00 - 09:22
Talk
PX/18
Friedrich SteimannFernuniversität
09:22 - 09:45
Talk
PX/18
Louis SpinelliUniversity of Washington, USA, Maulishree PandeyUniversity of Michigan, Stephen OneyUniversity of Michigan
09:45 - 10:07
Talk
PX/18
Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
10:07 - 10:30
Talk
PX/18
09:00 - 10:30: Session 1ProWeb at Matisse
09:00 - 10:00
Talk
ProWeb
K: Manuel SerranoInria, France
10:00 - 10:25
Talk
ProWeb
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Robert AtkeyUniversity of Strathclyde, KC SivaramakrishnanUniversity of Cambridge, Jeremy YallopUniversity of Cambridge, UK
10:25 - 10:30
Talk
ProWeb
10:30 - 11:00: Coffee BreakCatering at Lobby
10:30 - 11:00
Coffee break
Catering
11:00 - 12:30: Session 2PX/18 at Baie des Anges A
11:00 - 11:30
Talk
PX/18
Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
11:30 - 12:00
Talk
PX/18
Alexandre BergelUniversity of Chile, Paulin MelatagiaUniversité de Yaoundé, Serge Stinckwich UPMC & INRIA
12:00 - 12:30
Talk
PX/18
Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Sweden, Görel Hedin, Boris MagnussonLund University, Sweden
11:00 - 12:30: Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
11:00 - 11:30
Full-paper
Bx
Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
11:30 - 12:00
Short-paper
Bx
12:00 - 12:30
Talk
Bx
Jules HedgesUniversity of Oxford
11:00 - 12:30: Session 2ProWeb at Matisse
11:00 - 11:25
Full-paper
ProWeb
11:25 - 11:50
Full-paper
ProWeb
Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
11:50 - 12:15
Talk
ProWeb
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
12:15 - 12:30
Talk
ProWeb
12:30 - 14:30: SRC Poster PresentationStudent Research Competition at Baie des Anges B
Chair(s): Philipp HallerKTH Royal Institute of Technology
12:30 - 12:39
Talk
Student Research Competition
Patrick ReinHasso Plattner Institute
12:39 - 12:48
Talk
Student Research Competition
Alfred ÅkessonLund University, Sweden
12:48 - 12:57
Talk
Student Research Competition
Matteo MarraVrije Universiteit Brussel
12:57 - 13:06
Talk
Student Research Competition
Ezra ZigmondHarvard University
13:06 - 13:16
Talk
Student Research Competition
Alisa GazizullinaInnopolis University
13:16 - 13:25
Talk
Student Research Competition
13:25 - 13:34
Talk
Student Research Competition
Toni MattisHasso Plattner Institute
13:34 - 13:43
Talk
Student Research Competition
Adilla SusungiMINES ParisTech, France
13:43 - 13:53
Talk
Student Research Competition
Manuel RiggerJohannes Kepler University Linz
13:53 - 14:02
Talk
Student Research Competition
Daniel SlocombeImperial College London, UK
14:02 - 14:11
Talk
Student Research Competition
Jesper OqvistLund University
14:11 - 14:20
Talk
Student Research Competition
Vasu JindalUniversity of Texas at Dallas
14:20 - 14:30
Talk
Student Research Competition
Franklin SchransImperial College London
12:30 - 14:30: LunchCatering at Restaurant (Rooftop)
12:30 - 14:30
Lunch
Catering
14:30 - 16:00: Tools and SystemsBx at Baie des Anges B
Chair(s): Perdita StevensUniversity of Edinburgh
14:30 - 15:00
Short-paper
Bx
Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan
Pre-print
15:00 - 15:30
Full-paper
Bx
15:30 - 16:00
Full-paper
Bx
Adrien Duchêne, Hugues Marchal, Zhenjiang HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur
14:30 - 16:00: PASS 1PASS at Matisse
14:30 - 14:35
Day opening
PASS
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology
14:35 - 15:35
Talk
PASS
15:35 - 16:00
Talk
PASS
Shoaib AkramGhent University, Kathryn S McKinleyGoogle, Jennifer B. SartorVrije Universiteit Brussel, Lieven EeckhoutGhent University, Belgium
16:00 - 16:30: PostersPosters at Baie des Anges B
16:00 - 16:30
Poster
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
16:00 - 16:30
Poster
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
16:00 - 16:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
16:00 - 16:30
Poster
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
16:00 - 16:30
Poster
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
16:00 - 16:30
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt
16:00 - 16:30
Poster
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
16:00 - 16:30: Coffee BreakCatering at Lobby
16:00 - 16:30
Coffee break
Catering
16:30 - 18:00: Session 4PX/18 at Baie des Anges A
16:30 - 17:00
Talk
PX/18
Steven CostiouUniversity of Brest, Mickael KerboeufUniversity of Brest, Alain PlantecUniversity of Occidental Brittary, France, Marcus Denker INRIA Lille
17:00 - 17:30
Talk
PX/18
Michael GreenbergPomona College
Pre-print
17:30 - 18:00
Talk
PX/18
16:30 - 18:10: Programming and ApplicationsBx at Baie des Anges B
Chair(s): Kazutaka MatsudaTohoku University
16:30 - 17:00
Talk
Bx
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI
17:00 - 17:30
Talk
Bx
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
17:30 - 18:00
Talk
Bx
Perdita StevensUniversity of Edinburgh
18:00 - 18:10
Day closing
Bx
16:30 - 18:00: PASS 2PASS at Matisse
16:30 - 16:55
Talk
PASS
16:55 - 17:20
Talk
PASS
Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava
17:20 - 17:45
Talk
PASS
Pascal van GastelAvans University of Applied Sciences, Bernard van GastelOpen University of the Netherlands, The Netherlands, Marko van EekelenOpen University of the Netherlands
17:45 - 18:00
Day closing
PASS
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology
19:00 - 22:00: Steering Committee MeetingOrganizational at Matisse
19:00 - 22:00
Meeting
Organizational

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

08:00 - 17:00: RegistrationOrganizational at Registration (Lobby)
08:00 - 17:00
Registration
Organizational
08:45 - 09:00: OpeningOrganizational at Baie des Anges A + B
08:45 - 09:00
Other
Organizational
Manuel SerranoInria, France, Guido SalvaneschiTU Darmstadt
09:00 - 10:00: Wednesday KeynoteKeynotes at Baie des Anges A + B
09:00 - 10:00
Talk
Keynotes
K: Shriram KrishnamurthiBrown University, USA
10:00 - 10:30: PostersPosters at Baie des Anges B
10:00 - 10:30
Poster
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
10:00 - 10:30
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt
10:00 - 10:30
Poster
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00 - 10:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
10:00 - 10:30
Poster
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
10:00 - 10:30
Poster
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00 - 10:30
Poster
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
10:00 - 10:30: Coffee BreakCatering at Lobby
10:00 - 10:30
Coffee break
Catering
10:30 - 12:00: Session 1Research Papers at Baie des Anges A + B
10:30 - 11:00
Talk
Research Papers
Link to publication DOI
11:00 - 11:30
Talk
Research Papers
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI
11:30 - 12:00
Talk
Research Papers
Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
Link to publication DOI
12:00 - 13:45: SRC Oral PresentationStudent Research Competition at Baie des Anges A + B
12:00 - 13:45
Talk
Student Research Competition
12:00 - 13:45: LunchCatering at Restaurant (Rooftop)
12:00 - 13:45
Lunch
Catering
13:45 - 15:00: Session 2Research Papers at Baie des Anges A + B
13:45 - 14:30
Talk
Research Papers
Didier VernaEPITA / LRDE
Link to publication DOI
14:30 - 15:00
Talk
Research Papers
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Tobias PapeHPI, Germany, Robert HirschfeldHPI, University of Potsdam, Marcel TaeumelHasso Plattner Institute
Link to publication DOI
15:00 - 15:30: PostersPosters at Baie des Anges B
15:00 - 15:30
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt
15:00 - 15:30
Poster
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
15:00 - 15:30
Poster
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
15:00 - 15:30
Poster
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00 - 15:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
15:00 - 15:30
Poster
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 - 15:30
Poster
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
15:00 - 15:30: Coffee BreakCatering at Lobby
15:00 - 15:30
Coffee break
Catering
15:30 - 17:00: Session 3Research Papers at Baie des Anges A + B
15:30 - 16:00
Talk
Research Papers
Laure PhilipsSoftware Languages Lab, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication DOI
16:00 - 16:30
Talk
Research Papers
Amir SaeidiUniversiteit Utrecht, Jurriaan HageUtrecht University, Ravi KhadkaUniversiteit Utrecht, Slinger Jansen
Link to publication DOI
16:30 - 17:00
Talk
Research Papers
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
Link to publication DOI
19:30 - 23:00: Social EventSocial Events at Restaurant
19:30 - 23:00
Social Event
Social Events

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

08:00 - 17:00: RegistrationOrganizational at Registration (Lobby)
08:00 - 17:00
Registration
Organizational
10:00 - 10:30: PostersPosters at Baie des Anges B
10:00 - 10:30
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt
10:00 - 10:30
Poster
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
10:00 - 10:30
Poster
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00 - 10:30
Poster
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
10:00 - 10:30
Poster
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00 - 10:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
10:00 - 10:30
Poster
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
10:00 - 10:30: Coffee BreakCatering at Lobby
10:00 - 10:30
Coffee break
Catering
10:30 - 12:00: Session 4Research Papers at Baie des Anges A + B
10:30 - 11:00
Talk
Research Papers
Michael Van De VanterOracle Labs, Chris SeatonOracle Labs, Michael HaupteBay, Christian HumerOracle Labs, Switzerland, Thomas WuerthingerOracle Labs
Link to publication DOI
11:00 - 11:30
Talk
Research Papers
Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI
11:30 - 12:00
Talk
Research Papers
Manuel RiggerJohannes Kepler University Linz, Rene MayrhoferJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Matthias GrimmerOracle Labs, Austria, Hanspeter MössenböckJKU Linz, Austria
Link to publication DOI Media Attached
12:00 - 13:45: SRC Oral PresentationStudent Research Competition at Baie des Anges A + B
12:00 - 13:45
Talk
Student Research Competition
12:00 - 13:45: LunchCatering at Restaurant (Rooftop)
12:00 - 13:45
Lunch
Catering
13:45 - 15:00: Session 5Research Papers at Baie des Anges A + B
13:45 - 14:30
Talk
Research Papers
Tomas PetricekAlan Turing Institute
Link to publication DOI
14:30 - 15:00
Talk
Research Papers
Luca PadovaniUniversity of Turin, Italy
Link to publication DOI
15:00 - 15:30: PostersPosters at Baie des Anges B
15:00 - 15:30
Poster
Posters
Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
15:00 - 15:30
Poster
Posters
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00 - 15:30
Poster
Posters
Pascal WeisenburgerTechnische Universität Darmstadt
15:00 - 15:30
Poster
Posters
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 - 15:30
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt
15:00 - 15:30
Poster
Posters
Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
15:00 - 15:30
Poster
Posters
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
15:00 - 15:30: Coffee BreakCatering at Lobby
15:00 - 15:30
Coffee break
Catering
15:30 - 16:30: Session 6Research Papers at Baie des Anges A + B
15:30 - 16:00
Talk
Research Papers
Gabriël KonatDelft University of Technology, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Link to publication DOI
16:00 - 16:30
Talk
Research Papers
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Erhan LeblebiciTU Darmstadt, Andy SchürrTU Darmstadt, Marius LauderContinental Automotive GmbH, Germany, Germany, Martin WitteSiemens AG, Germany
Link to publication DOI
16:30 - 17:00: ClosingOrganizational at Baie des Anges A + B
16:30 - 17:00
Other
Organizational

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baie des Anges A
Baie des Anges B
08:50 - 09:00
16:00 - 16:10
Lobby
Matisse
09:00 - 10:30
11:00 - 12:30
14:30 - 16:00
Registration (Lobby)
Restaurant (Rooftop)

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Baie des Anges A
16:30 - 17:00
Baie des Anges B
08:50 - 09:00
18:00 - 18:10
Lobby
Matisse
10:00 - 10:25
14:30 - 14:35
Registration (Lobby)
Restaurant (Rooftop)

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Baie des Anges A + B
Baie des Anges B
Lobby
Registration (Lobby)
Restaurant
Restaurant (Rooftop)

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baie des Anges A + B
Baie des Anges B
Lobby
Registration (Lobby)
Restaurant (Rooftop)
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)