‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
VenueBoscolo B4 Plaza, Nice
Room nameBaie des Anges B
Floor0
Room number
Capacity150
Additional informationThere is no additional information of this room available.
Program

Mon 9 Apr

MoreVMs-2018
08:50 - 10:30: MoreVMs 2018 - MoreVMs 1 at Baie des Anges B
MoreVMs-2018152325660000008:50 - 09:00
Day opening
MoreVMs-2018152325720000009: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-2018152325900000009:30 - 10:00
Talk
MoreVMs-2018152326080000010:00 - 10:30
Talk
Foivos S. Zakkak, Andy 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
MoreVMs-2018
11:00 - 12:30: MoreVMs 2018 - MoreVMs 2 at Baie des Anges B
MoreVMs-2018152326440000011: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-2018152326620000011: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-2018152326800000012:00 - 12:30
Talk
Andy WingoIgalia, S.L.
Pre-print File Attached
programming-2018-Posters
12:30 - 14:30: Posters - Posters at Baie des Anges B
programming-2018-Posters152326980000012:30 - 14:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters152326980000012:30 - 14:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters152326980000012:30 - 14:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters152326980000012: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-Posters152326980000012: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-Posters152326980000012:30 - 14:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters152326980000012: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-2018152327700000014: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-2018152327880000015:00 - 15:30
Talk
Stephen KellUniversity of Cambridge
Pre-print
MoreVMs-2018152328060000015:30 - 16:00
Meeting
MoreVMs-2018152328240000016:00 - 16:10
Day closing

Tue 10 Apr

bx-2018-papers
08:50 - 10:30: Bx 2018 - Model Transformation at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
bx-2018-papers152334300000008:50 - 09:00
Day opening
bx-2018-papers152334360000009:00 - 09:30
Full-paper
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
bx-2018-papers152334540000009:30 - 10:00
Full-paper
File Attached
bx-2018-papers152334720000010:00 - 10:30
Short-paper
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria
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-papers152335080000011:00 - 11:30
Full-paper
Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
bx-2018-papers152335260000011:30 - 12:00
Short-paper
bx-2018-papers152335440000012:00 - 12:30
Talk
Jules HedgesUniversity of Oxford
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-src152335620000012:30 - 12:39
Talk
Patrick ReinHasso Plattner Institute
programming-2018-src152335675400012:39 - 12:48
Talk
Alfred ÅkessonLund University, Sweden
programming-2018-src152335730800012:48 - 12:57
Talk
Matteo MarraVrije Universiteit Brussel
programming-2018-src152335786200012:57 - 13:06
Talk
Ezra ZigmondHarvard University
programming-2018-src152335841500013:06 - 13:16
Talk
Alisa GazizullinaInnopolis University
programming-2018-src152335896900013:16 - 13:25
Talk
programming-2018-src152335952300013:25 - 13:34
Talk
Toni MattisHasso Plattner Institute
programming-2018-src152336007700013:34 - 13:43
Talk
Adilla SusungiMINES ParisTech, France
programming-2018-src152336063100013:43 - 13:53
Talk
Manuel RiggerJohannes Kepler University Linz
programming-2018-src152336118500013:53 - 14:02
Talk
Daniel SlocombeImperial College London, UK
programming-2018-src152336173800014:02 - 14:11
Talk
Jesper OqvistLund University
programming-2018-src152336229200014:11 - 14:20
Talk
Vasu JindalUniversity of Texas at Dallas
programming-2018-src152336284600014:20 - 14:30
Talk
Franklin SchransImperial College London
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-papers152336340000014:30 - 15:00
Short-paper
Anthony AnjorinPaderborn University, Germany, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan
Pre-print
bx-2018-papers152336520000015:00 - 15:30
Full-paper
bx-2018-papers152336700000015:30 - 16:00
Full-paper
Adrien Duchêne, Hugues Marchal, Zhenjiang HuNational Institute of Informatics, Pierre Yves SchobbensUniversity of Namur
programming-2018-Posters
16:00 - 16:30: Posters - Posters at Baie des Anges B
programming-2018-Posters152336880000016: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-Posters152336880000016:00 - 16:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters152336880000016:00 - 16:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters152336880000016:00 - 16:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters152336880000016: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-Posters152336880000016:00 - 16:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters152336880000016:00 - 16:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
bx-2018-papers
16:30 - 18:10: Bx 2018 - Programming and Applications at Baie des Anges B
Chair(s): Kazutaka MatsudaTohoku University
bx-2018-papers152337060000016:30 - 17:00
Talk
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI
bx-2018-papers152337240000017:00 - 17:30
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
bx-2018-papers152337420000017:30 - 18:00
Talk
Perdita StevensUniversity of Edinburgh
bx-2018-papers152337600000018:00 - 18:10
Day closing

Wed 11 Apr

programming-2018-Posters
10:00 - 10:30: Posters - Posters at Baie des Anges B
programming-2018-Posters152343360000010: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-Posters152343360000010:00 - 10:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters152343360000010:00 - 10:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters152343360000010:00 - 10:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters152343360000010: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-Posters152343360000010:00 - 10:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters152343360000010:00 - 10:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters
15:00 - 15:30: Posters - Posters at Baie des Anges B
programming-2018-Posters152345160000015:00 - 15:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters152345160000015: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-Posters152345160000015:00 - 15:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters152345160000015:00 - 15:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters152345160000015:00 - 15:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters152345160000015:00 - 15:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters152345160000015: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

Thu 12 Apr

programming-2018-Posters
10:00 - 10:30: Posters - Posters at Baie des Anges B
programming-2018-Posters152352000000010:00 - 10:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters152352000000010: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-Posters152352000000010:00 - 10:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters152352000000010: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-Posters152352000000010:00 - 10:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
programming-2018-Posters152352000000010:00 - 10:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters152352000000010:00 - 10:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters
15:00 - 15:30: Posters - Posters at Baie des Anges B
programming-2018-Posters152353800000015: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-Posters152353800000015:00 - 15:30
Poster
Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
programming-2018-Posters152353800000015:00 - 15:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt
programming-2018-Posters152353800000015:00 - 15:30
Poster
Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
programming-2018-Posters152353800000015:00 - 15:30
Poster
Ragnar MogkTechnische Universität Darmstadt
programming-2018-Posters152353800000015: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-Posters152353800000015:00 - 15:30
Poster
Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen

Mon 9 Apr 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Baie des Anges B
12:30 - 14:30

Tue 10 Apr 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Baie des Anges B
16:00 - 16:30

Wed 11 Apr 2018

Room10:003011:003012:003013:003014:003015:0030
Baie des Anges B
10:00 - 10:30
15:00 - 15:30

Thu 12 Apr 2018

Room10:003011:003012:003013:003014:003015:0030
Baie des Anges B
10:00 - 10:30
15:00 - 15:30

Mon 9 Apr 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Baie des Anges B

Tue 10 Apr 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Baie des Anges B
08:50 - 09:00
18:00 - 18:10