‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
‹Programming› 2018 (series) /

‹Programming› 2018 Program

Filter
Conference Dates
Conference Dates are in time zone (GMT+02: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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational08:00 - 17:00
Registration
cocodo-2018-dojo
08:45 - 10:30: CoCoDo 2018 - CoCoDo morning at Matisse
cocodo-2018-dojo08:45 - 09:00
Day opening
Vadim ZaytsevRaincode Labs, Belgium
cocodo-2018-dojo09:00 - 10:30
Talk
Peter D. MossesSwansea University
MoreVMs-2018
08:50 - 10:30: MoreVMs 2018 - MoreVMs 1 at Baie des Anges B
MoreVMs-201808:50 - 09:00
Day opening
MoreVMs-201809:00 - 09:30
Talk
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
MoreVMs-201809:30 - 10:00
Talk
Juan Manuel Martinez CaamañoQuarkslab, Serge GueltonQuarkslab
MoreVMs-201810:00 - 10:30
Talk
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
refuses-2018-papers
09:00 - 10:30: Salon des Refusés 2018 - Salon des Refusés 1 at Baie des Anges A
refuses-2018-papers09:00 - 09:20
Talk
Tomas PetricekAlan Turing Institute, Luke Church
refuses-2018-papers09:20 - 09:50
Talk
Raphael WimmerUniversity of Regensburg
Pre-print
refuses-2018-papers09:50 - 10:10
Talk
Philip TchernavskijEx Situ | Université Paris-Sud
refuses-2018-papers10:10 - 10:30
Talk
Stephen KellUniversity of Cambridge
programming-2018-catering
10:30 - 11:00: Catering - Coffee Break at Lobby
programming-2018-catering10:30 - 11:00
Coffee break
MoreVMs-2018
11:00 - 12:30: MoreVMs 2018 - MoreVMs 2 at Baie des Anges B
MoreVMs-201811:00 - 11:30
Talk
Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Filippo SchiavioUniversità della Svizzera italiana, Walter BinderUniversity of Lugano, Switzerland
File Attached
MoreVMs-201811:30 - 12:00
Talk
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
MoreVMs-201812:00 - 12:30
Talk
Andy WingoIgalia, S.L.
Pre-print File Attached
cocodo-2018-dojo
11:00 - 12:30: CoCoDo 2018 - CoCoDo pre-lunch at Matisse
cocodo-2018-dojo11:00 - 12:30
Talk
Jesper OqvistLund University
refuses-2018-papers
11:00 - 12:30: Salon des Refusés 2018 - Salon des Refusés 2 at Baie des Anges A
refuses-2018-papers11:00 - 11:30
Talk
Alvaro Videla
Pre-print
refuses-2018-papers11:30 - 11:50
Talk
Luke Church
refuses-2018-papers11:50 - 12:30
Talk
programming-2018-catering
12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:30 - 14:30
Lunch
programming-2018-Posters
12:30 - 14:30: Posters - Posters at Baie des Anges B
programming-2018-Posters12:30 - 14:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters12:30 - 14:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters12:30 - 14:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters12:30 - 14:30
Poster
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
programming-2018-Posters12:30 - 14:30
Poster
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
programming-2018-Posters12:30 - 14:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters12:30 - 14:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
MoreVMs-2018
14:30 - 16:10: MoreVMs 2018 - MoreVMs 3 at Baie des Anges B
MoreVMs-201814:30 - 15:00
Talk
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
MoreVMs-201815:00 - 15:30
Talk
Stephen KellUniversity of Cambridge
Pre-print
MoreVMs-201815:30 - 16:00
Meeting
MoreVMs-201816:00 - 16:10
Day closing
cocodo-2018-dojo
14:30 - 16:00: CoCoDo 2018 - CoCoDo post-lunch at Matisse
cocodo-2018-dojo14:30 - 16:00
Talk
Anya Helene BaggeUniversity of Bergen
refuses-2018-papers
14:30 - 16:00: Salon des Refusés 2018 - Salon des Refusés 3 at Baie des Anges A
refuses-2018-papers14:30 - 15:00
Talk
Antranig Basman, Philip TchernavskijEx Situ | Université Paris-Sud, Simon Bates, Michel Beaudouin-Lafon
Pre-print
refuses-2018-papers15:00 - 15:20
Talk
Tomas PetricekAlan Turing Institute
refuses-2018-papers15:20 - 16:00
Talk
programming-2018-catering
16:00 - 16:30: Catering - Coffee Break at Lobby
programming-2018-catering16:00 - 16:30
Coffee break
cocodo-2018-dojo
16:30 - 18:00: CoCoDo 2018 - CoCoDo afternoon at Matisse
cocodo-2018-dojo16:30 - 17:00
Talk
Johan FabryRaincode Labs, Belgium
cocodo-2018-dojo17:00 - 17:30
Talk
Friedrich SteimannFernuniversität
refuses-2018-papers
16:30 - 18:00: Salon des Refusés 2018 - Salon des Refusés 4 at Baie des Anges A
refuses-2018-papers16:30 - 17:00
Talk
Oli Sharpe
Pre-print
refuses-2018-papers17:00 - 17:20
Talk
Antranig Basman

Tue 10 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational08:00 - 17:00
Registration
bx-2018-papers
08:50 - 10:30: Bx 2018 - Model Transformation at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
bx-2018-papers08:50 - 09:00
Day opening
bx-2018-papers09:00 - 09:30
Full-paper
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
bx-2018-papers09:30 - 10:00
Full-paper
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
File Attached
bx-2018-papers10:00 - 10:30
Short-paper
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria
proweb-2018-papers
09:00 - 10:30: ProWeb 2018 - Session 1 at Matisse
proweb-2018-papers09:00 - 10:00
Talk
Manuel SerranoInria, France
proweb-2018-papers10:00 - 10:25
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Robert AtkeyUniversity of Strathclyde, KC SivaramakrishnanUniversity of Cambridge, Jeremy YallopUniversity of Cambridge, UK
proweb-2018-papers10:25 - 10:30
Talk
px-2018-papers
09:00 - 10:30: PX/18 - Session 1 at Baie des Anges A
px-2018-papers09:00 - 09:22
Talk
Friedrich SteimannFernuniversität
px-2018-papers09:22 - 09:45
Talk
Louis SpinelliUniversity of Washington, USA, Maulishree PandeyUniversity of Michigan, Stephen OneyUniversity of Michigan
px-2018-papers09:45 - 10:07
Talk
Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
px-2018-papers10:07 - 10:30
Talk
Joe Edelman
programming-2018-catering
10:30 - 11:00: Catering - Coffee Break at Lobby
programming-2018-catering10:30 - 11:00
Coffee break
bx-2018-papers
11:00 - 12:30: Bx 2018 - Mathematical Foundations at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
bx-2018-papers11:00 - 11:30
Full-paper
Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
bx-2018-papers11:30 - 12:00
Short-paper
Guillaume Boisseau
bx-2018-papers12:00 - 12:30
Talk
Jules HedgesUniversity of Oxford
proweb-2018-papers
11:00 - 12:30: ProWeb 2018 - Session 2 at Matisse
proweb-2018-papers11:00 - 11:25
Full-paper
Jihyeok ParkKAIST, South Korea, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung RyuKAIST
proweb-2018-papers11:25 - 11:50
Full-paper
Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Michael Greefs, Dominique DevrieseKU Leuven, Frank PiessensKU Leuven
proweb-2018-papers11:50 - 12:15
Talk
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
proweb-2018-papers12:15 - 12:30
Talk
px-2018-papers
11:00 - 12:30: PX/18 - Session 2 at Baie des Anges A
px-2018-papers11:00 - 11:30
Talk
Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
px-2018-papers11:30 - 12:00
Talk
Alexandre BergelUniversity of Chile, Paulin MelatagiaUniversité de Yaoundé, Serge Stinckwich UPMC & INRIA
px-2018-papers12:00 - 12:30
Talk
Alfred ÅkessonLund University, Sweden, Mattias NordahlLund University, Sweden, Görel Hedin, Boris MagnussonLund University, Sweden
programming-2018-catering
12:30 - 14:30: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:30 - 14:30
Lunch
programming-2018-src
12:30 - 14:30: Student Research Competition - SRC Poster Presentation at Baie des Anges B
Chair(s): Philipp HallerKTH Royal Institute of Technology
programming-2018-src12:30 - 12:39
Talk
Patrick ReinHasso Plattner Institute
programming-2018-src12:39 - 12:48
Talk
Alfred ÅkessonLund University, Sweden
programming-2018-src12:48 - 12:57
Talk
Matteo MarraVrije Universiteit Brussel
programming-2018-src12:57 - 13:06
Talk
Ezra ZigmondHarvard University
programming-2018-src13:06 - 13:16
Talk
Alisa GazizullinaInnopolis University
programming-2018-src13:16 - 13:25
Talk
Jon Corbett
programming-2018-src13:25 - 13:34
Talk
Toni MattisHasso Plattner Institute
programming-2018-src13:34 - 13:43
Talk
Adilla SusungiMINES ParisTech, France
programming-2018-src13:43 - 13:53
Talk
Manuel RiggerJohannes Kepler University Linz
programming-2018-src13:53 - 14:02
Talk
Daniel SlocombeImperial College London, UK
programming-2018-src14:02 - 14:11
Talk
Jesper OqvistLund University
programming-2018-src14:11 - 14:20
Talk
Vasu JindalUniversity of Texas at Dallas
programming-2018-src14:20 - 14:30
Talk
Franklin SchransImperial College London
PASS-2018-papers
14:30 - 16:00: PASS 2018 - PASS 1 at Matisse
PASS-2018-papers14:30 - 14:35
Day opening
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology
PASS-2018-papers14:35 - 15:35
Talk
Ludovic HenrioINRIA
PASS-2018-papers15:35 - 16:00
Talk
Shoaib AkramGhent University, Kathryn S McKinleyGoogle, Jennifer B. SartorVrije Universiteit Brussel, Lieven EeckhoutGhent University, Belgium
px-2018-papers
14:30 - 16:00: PX/18 - Session 3 at Baie des Anges A
px-2018-papers14:30 - 15:00
Talk
Siegfried Horschig, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
px-2018-papers15:00 - 15:30
Talk
Friedrich SteimannFernuniversität
px-2018-papers15:30 - 16:00
Talk
Stefan MarrUniversity of Kent, Benoit DalozeJKU Linz, Austria
Pre-print Media Attached
bx-2018-papers
14:30 - 16:00: Bx 2018 - Tools and Systems at Baie des Anges B
Chair(s): Perdita StevensUniversity of Edinburgh
bx-2018-papers14:30 - 15:00
Short-paper
Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan
Pre-print
bx-2018-papers15:00 - 15:30
Full-paper
Romina EramoUniversity of L'Aquila, Alfonso Pierantonio, Michele Tucci
bx-2018-papers15:30 - 16:00
Full-paper
Adrien Duchêne, Hugues Marchal, Zhenjiang HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur
programming-2018-catering
16:00 - 16:30: Catering - Coffee Break at Lobby
programming-2018-catering16:00 - 16:30
Coffee break
programming-2018-Posters
16:00 - 16:30: Posters - Posters at Baie des Anges B
programming-2018-Posters16:00 - 16:30
Poster
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
programming-2018-Posters16:00 - 16:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters16:00 - 16:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters16:00 - 16:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters16:00 - 16:30
Poster
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
programming-2018-Posters16:00 - 16:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters16:00 - 16:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
PASS-2018-papers
16:30 - 18:00: PASS 2018 - PASS 2 at Matisse
PASS-2018-papers16:30 - 16:55
Talk
Matthias Eichholz, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
PASS-2018-papers16:55 - 17:20
Talk
Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava
PASS-2018-papers17:20 - 17:45
Talk
Pascal van GastelAvans University of Applied Sciences, Bernard van GastelOpen University of the Netherlands, The Netherlands, Marko van EekelenOpen University of the Netherlands
PASS-2018-papers17:45 - 18:00
Day closing
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology
bx-2018-papers
16:30 - 18:10: Bx 2018 - Programming and Applications at Baie des Anges B
Chair(s): Kazutaka MatsudaTohoku University
bx-2018-papers16:30 - 17:00
Talk
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI
bx-2018-papers17:00 - 17:30
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
bx-2018-papers17:30 - 18:00
Talk
Perdita StevensUniversity of Edinburgh
bx-2018-papers18:00 - 18:10
Day closing
px-2018-papers
16:30 - 18:00: PX/18 - Session 4 at Baie des Anges A
px-2018-papers16:30 - 17:00
Talk
Steven CostiouUniversity of Brest, Mickael KerboeufUniversity of Brest, Alain PlantecUniversity of Occidental Brittary, France, Marcus Denker INRIA Lille
px-2018-papers17:00 - 17:30
Talk
Michael GreenbergPomona College
Pre-print
px-2018-papers17:30 - 18:00
Talk
Pavel Bažant, Michaela Maršálková
programming-2018-Organizational
19:00 - 22:00: Organizational - Steering Committee Meeting at Matisse
programming-2018-Organizational19:00 - 22:00
Meeting

Wed 11 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational08:00 - 17:00
Registration
programming-2018-Organizational
08:45 - 09:00: Organizational - Opening at Baie des Anges A + B
programming-2018-Organizational08:45 - 09:00
Other
Manuel SerranoInria, France, Guido SalvaneschiTU Darmstadt
programming-2018-keynotes
09:00 - 10:00: Keynotes - Wednesday Keynote at Baie des Anges A + B
programming-2018-keynotes09:00 - 10:00
Talk
Shriram KrishnamurthiBrown University, USA
programming-2018-catering
10:00 - 10:30: Catering - Coffee Break at Lobby
programming-2018-catering10:00 - 10:30
Coffee break
programming-2018-Posters
10:00 - 10:30: Posters - Posters at Baie des Anges B
programming-2018-Posters10:00 - 10:30
Poster
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
programming-2018-Posters10:00 - 10:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters10:00 - 10:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters10:00 - 10:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters10:00 - 10:30
Poster
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
programming-2018-Posters10:00 - 10:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters10:00 - 10:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-papers
10:30 - 12:00: Research Papers - Session 1 at Baie des Anges A + B
programming-2018-papers10:30 - 11:00
Talk
Guillermo PolitoCNRS, Camille TeruelINRIA, Stéphane Ducasse INRIA Lille, Luc FabresseMines Douai
Link to publication DOI
programming-2018-papers11:00 - 11:30
Talk
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI
programming-2018-papers11:30 - 12:00
Talk
Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
Link to publication DOI
programming-2018-catering
12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:00 - 13:45
Lunch
programming-2018-src
12:00 - 13:45: Student Research Competition - SRC Oral Presentation at Baie des Anges A + B
programming-2018-src12:00 - 13:45
Talk
programming-2018-papers
13:45 - 15:00: Research Papers - Session 2 at Baie des Anges A + B
programming-2018-papers13:45 - 14:30
Talk
Didier VernaEPITA / LRDE
Link to publication DOI
programming-2018-papers14:30 - 15:00
Talk
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
programming-2018-catering
15:00 - 15:30: Catering - Coffee Break at Lobby
programming-2018-catering15:00 - 15:30
Coffee break
programming-2018-Posters
15:00 - 15:30: Posters - Posters at Baie des Anges B
programming-2018-Posters15:00 - 15:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters15:00 - 15:30
Poster
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
programming-2018-Posters15:00 - 15:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters15:00 - 15:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters15:00 - 15:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters15:00 - 15:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters15:00 - 15:30
Poster
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
programming-2018-papers
15:30 - 17:00: Research Papers - Session 3 at Baie des Anges A + B
programming-2018-papers15:30 - 16:00
Talk
Laure PhilipsSoftware Languages Lab, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication DOI
programming-2018-papers16:00 - 16:30
Talk
Amir SaeidiUniversiteit Utrecht, Jurriaan HageUtrecht University, Ravi KhadkaUniversiteit Utrecht, Slinger Jansen
Link to publication DOI
programming-2018-papers16:30 - 17:00
Talk
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
Link to publication DOI
programming-2018-Social-Events
19:30 - 23:00: Social Events - Social Event at Restaurant
programming-2018-Social-Events19:30 - 23:00
Social Event

Thu 12 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

programming-2018-Organizational
08:00 - 17:00: Organizational - Registration at Registration (Lobby)
programming-2018-Organizational08:00 - 17:00
Registration
programming-2018-keynotes
09:00 - 10:00: Keynotes - Thursday Keynote at Baie des Anges A + B
programming-2018-keynotes09:00 - 10:00
Talk
Sukyoung RyuKAIST
programming-2018-catering
10:00 - 10:30: Catering - Coffee Break at Lobby
programming-2018-catering10:00 - 10:30
Coffee break
programming-2018-Posters
10:00 - 10:30: Posters - Posters at Baie des Anges B
programming-2018-Posters10:00 - 10:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters10:00 - 10:30
Poster
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
programming-2018-Posters10:00 - 10:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters10:00 - 10:30
Poster
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
programming-2018-Posters10:00 - 10:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters10:00 - 10:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters10:00 - 10:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-papers
10:30 - 12:00: Research Papers - Session 4 at Baie des Anges A + B
programming-2018-papers10:30 - 11:00
Talk
Michael Van De VanterOracle Labs, Chris SeatonOracle Labs, Michael HaupteBay, Christian HumerOracle Labs, Switzerland, Thomas WuerthingerOracle Labs
Link to publication DOI
programming-2018-papers11:00 - 11:30
Talk
Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI
programming-2018-papers11:30 - 12:00
Talk
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
programming-2018-catering
12:00 - 13:45: Catering - Lunch at Restaurant (Rooftop)
programming-2018-catering12:00 - 13:45
Lunch
programming-2018-src
12:00 - 13:45: Student Research Competition - SRC Oral Presentation at Baie des Anges A + B
programming-2018-src12:00 - 13:45
Talk
programming-2018-papers
13:45 - 15:00: Research Papers - Session 5 at Baie des Anges A + B
programming-2018-papers13:45 - 14:30
Talk
Tomas PetricekAlan Turing Institute
Link to publication DOI
programming-2018-papers14:30 - 15:00
Talk
Luca PadovaniUniversity of Turin, Italy
Link to publication DOI
programming-2018-catering
15:00 - 15:30: Catering - Coffee Break at Lobby
programming-2018-catering15:00 - 15:30
Coffee break
programming-2018-Posters
15:00 - 15:30: Posters - Posters at Baie des Anges B
programming-2018-Posters15:00 - 15:30
Poster
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
programming-2018-Posters15:00 - 15:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters15:00 - 15:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters15:00 - 15:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters15:00 - 15:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters15:00 - 15:30
Poster
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
programming-2018-Posters15:00 - 15:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-papers
15:30 - 16:30: Research Papers - Session 6 at Baie des Anges A + B
programming-2018-papers15:30 - 16:00
Talk
Gabriël KonatDelft University of Technology, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Link to publication DOI
programming-2018-papers16:00 - 16:30
Talk
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
programming-2018-Organizational
16:30 - 17:00: Organizational - Closing at Baie des Anges A + B
programming-2018-Organizational16:30 - 17:00
Other

Mon 9 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Baie des Anges A

Salon des Refusés

Salon des Refusés 1

Salon des Refusés

Salon des Refusés 2

Salon des Refusés

Salon des Refusés 3

Salon des Refusés

Salon des Refusés 4
Baie des Anges B

MoreVMs

MoreVMs 1

MoreVMs

MoreVMs 2

‹Programming› Posters

Posters

MoreVMs

MoreVMs 3
Lobby

‹Programming› Catering

Coffee Break

‹Programming› Catering

Coffee Break
Matisse

CoCoDo

CoCoDo morning

CoCoDo

CoCoDo pre-lunch

CoCoDo

CoCoDo post-lunch

CoCoDo

CoCoDo afternoon
Registration (Lobby)

‹Programming› Organizational

Registration
Restaurant (Rooftop)

‹Programming› Catering

Lunch

Tue 10 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Baie des Anges A

PX/18

Session 1

PX/18

Session 2

PX/18

Session 3

PX/18

Session 4
Baie des Anges B

Bx

Model Transformation

Bx

Mathematical Foundations

‹Programming› Student Research Competition

SRC Poster Presentation

Bx

Tools and Systems

‹Programming› Posters

Posters

Bx

Programming and Applications
Lobby

‹Programming› Catering

Coffee Break

‹Programming› Catering

Coffee Break
Matisse

ProWeb

Session 1

ProWeb

Session 2

PASS

PASS 1

PASS

PASS 2

‹Programming› Organizational

Steering Committee Meeting
Registration (Lobby)

‹Programming› Organizational

Registration
Restaurant (Rooftop)

‹Programming› Catering

Lunch

Wed 11 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Baie des Anges A + B

‹Programming› Organizational

Opening

‹Programming› Keynotes

Wednesday Keynote

‹Programming› Research Papers

Session 1

‹Programming› Student Research Competition

SRC Oral Presentation

‹Programming› Research Papers

Session 2

‹Programming› Research Papers

Session 3
Baie des Anges B

‹Programming› Posters

Posters

‹Programming› Posters

Posters
Lobby

‹Programming› Catering

Coffee Break

‹Programming› Catering

Coffee Break
Registration (Lobby)

‹Programming› Organizational

Registration
Restaurant

‹Programming› Social Events

Social Event
Restaurant (Rooftop)

‹Programming› Catering

Lunch

Thu 12 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Baie des Anges A + B

‹Programming› Keynotes

Thursday Keynote

‹Programming› Research Papers

Session 4

‹Programming› Student Research Competition

SRC Oral Presentation

‹Programming› Research Papers

Session 5

‹Programming› Research Papers

Session 6

‹Programming› Organizational

Closing
Baie des Anges B

‹Programming› Posters

Posters

‹Programming› Posters

Posters
Lobby

‹Programming› Catering

Coffee Break

‹Programming› Catering

Coffee Break
Registration (Lobby)

‹Programming› Organizational

Registration
Restaurant (Rooftop)

‹Programming› Catering

Lunch

Mon 9 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 10 Apr
Times are displayed in time zone: (GMT+02:00) 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
09:00 - 09:22
09:22 - 09:45
09:45 - 10:07
10:07 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00
16:30 - 17:00
17:00 - 17:30
17:30 - 18:00
Baie des Anges B
08:50 - 09:00
09:00 - 09:30
09:30 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
12:30 - 12:39
12:39 - 12:48
12:48 - 12:57
12:57 - 13:06
13:06 - 13:16
13:16 - 13:25
13:25 - 13:34
13:34 - 13:43
13:43 - 13:53
13:53 - 14:02
14:02 - 14:11
14:11 - 14:20
14:20 - 14:30
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
17:30 - 18:00
18:00 - 18:10
Lobby
10:30 - 11:00
16:00 - 16:30
Matisse
09:00 - 10:00
10:00 - 10:25
10:25 - 10:30
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
12:15 - 12:30
14:30 - 14:35
14:35 - 15:35
15:35 - 16:00
16:30 - 16:55
16:55 - 17:20
17:20 - 17:45
17:45 - 18:00
19:00 - 22:00
Registration (Lobby)
08:00 - 17:00
Restaurant (Rooftop)
12:30 - 14:30

Wed 11 Apr
Times are displayed in time zone: (GMT+02:00) 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
08:45 - 09:00
09:00 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
12:00 - 13:45
13:45 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
16:30 - 17:00
Baie des Anges B
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
Lobby
10:00 - 10:30
15:00 - 15:30
Registration (Lobby)
08:00 - 17:00
Restaurant
19:30 - 23:00
Restaurant (Rooftop)
12:00 - 13:45

Thu 12 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baie des Anges A + B
09:00 - 10:00
10:30 - 11:00
11:00 - 11:30
11:30 - 12:00
12:00 - 13:45
13:45 - 14:30
14:30 - 15:00
15:30 - 16:00
16:00 - 16:30
16:30 - 17:00
Baie des Anges B
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
10:00 - 10:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
15:00 - 15:30
Lobby
10:00 - 10:30
15:00 - 15:30
Registration (Lobby)
08:00 - 17:00
Restaurant (Rooftop)
12:00 - 13:45
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)
session-calendar.ics
Detailed Event Calendar (ical)
event-calendar.ics