‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
VenueBoscolo B4 Plaza, Nice
Room nameBaie des Anges B
Floor0
Capacity150
Additional informationThere is no additional information of this room available.
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: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
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
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
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

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

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
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
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
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
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: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

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

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
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

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

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
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

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

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

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

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

Room10:003011:003012:003013:003014:003015:0030
Baie des Anges B

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

Room10:003011:003012:003013:003014:003015:0030
Baie des Anges B

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:00153045
Baie des Anges B
08:50 - 09:00
18:00 - 18:10