ProWeb 2017
Mon 3 Apr 2017
Brussels, Belgium
co-located with
‹Programming› 2017
Toggle navigation
Attending
Reception: Belgian beer reception
Banquet: Museum of Natural Sciences
Reception: Musical Instruments Museum
Venue: Vrije Universiteit Brussel | Building D
Program
Complete Program
Your Program
Mon 3 Apr
Track/Call
Organization
ProWeb 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
ProWeb 2022
ProWeb21
ProWeb20
ProWeb'19
ProWeb 2018
ProWeb 2017
Sign in
Sign up
‹Programming› 2017
(
series
) /
ProWeb 2017 (
series
) /
Vrije Universiteit Brussel | Building D
/
Room information: D2.13
Venue
Vrije Universiteit Brussel | Building D
Room name
D2.13
Floor
2
Room number
D2.13
Capacity
40
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Paper Session
MOMO
at
D2.13
09:00
15m
Day opening
Welcome & Introduction
MOMO
O:
Gunter Mussbacher
McGill University, Canada
,
O:
Sébastien Mosser
Université Côte d'Azur, France
09:15
25m
Talk
An MDE Approach for Modular Program Analyses
MOMO
A:
Bugra Mehmet Yildiz
,
A:
Christoph Bockisch
Philipps-Universität Marburg
,
A:
Arend Rensink
,
A:
Mehmet Aksit
University of Twente
09:40
25m
Talk
A Modular Meta-model for Security Solutions
MOMO
A:
Laurens Sion
,
A:
Koen Yskout
,
A:
Riccardo Scandariato
,
A:
Wouter Joosen
Katholieke Universiteit Leuven
10:05
25m
Talk
Weaving Rules into Models@run.time for Embedded Smart Systems
MOMO
A:
Ludovic Mouline
,
A:
Thomas Hartmann
,
A:
François Fouquet
,
A:
Johan Bourcier
,
A:
Olivier Barais
,
A:
Yves Le Traon
University of Luxembourg
11:00 - 12:00
Presentation & Discussions
MOMO
at
D2.13
11:00
25m
Talk
Presentation only: From Use Case Driven to Test Driven Modularization
MOMO
A:
Michal Bystrický
Slovak University of Technology in Bratislava
,
A:
Valentino Vranić
Slovak University of Technology in Bratislava
Media Attached
11:25
35m
Other
Discussions (morning)
MOMO
13:30 - 15:00
Invited Talk
MOMO
at
D2.13
13:30
90m
Talk
Invited Talk: Towards Concern-Oriented Modularity in Software Language Engineering
MOMO
K:
Jörg Kienzle
McGill University, Canada
15:30 - 17:00
Discussion Session
MOMO
at
D2.13
15:30
90m
Other
Discussion (Afternoon)
MOMO
Tue 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
First Session
CoCoDo
at
D2.13
09:00
15m
Day opening
Welcome and Introductions
CoCoDo
Vadim Zaytsev
Raincode, Belgium
09:15
75m
Talk
Attribute Grammars for DSLs for Music and 3D Graphics
CoCoDo
Adrian Johnstone
,
Elizabeth Scott
Royal Holloway University of London
11:00 - 12:00
Second Session
CoCoDo
at
D2.13
11:00
60m
Talk
Late Phases of Compilation in Rascal
CoCoDo
Anya Helene Bagge
University of Bergen
13:30 - 15:00
Third Session
CoCoDo
at
D2.13
13:30
90m
Talk
Experimenting with Racket as a Language Workbench
CoCoDo
Robert Bruce Findler
Northwestern University
15:30 - 17:00
Fourth Session
CoCoDo
at
D2.13
Chair(s):
Vadim Zaytsev
Raincode, Belgium
15:30
20m
Talk
Live Programming in the 21st Century
CoCoDo
Rik Arends
15:50
20m
Talk
From Compilers to Software Language Engineering
CoCoDo
Ralf Laemmel
University of Koblenz-Landau, Germany
Link to publication
16:10
20m
Talk
FunCons as the Future of Compiler Compilers
CoCoDo
Adrian Johnstone
16:30
30m
Day closing
Final Discussion and Framework Pitches
CoCoDo
Vadim Zaytsev
Raincode, Belgium
Mon 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
D2.13
MOMO
Paper Session
MOMO
Presentation & Discussions
MOMO
Invited Talk
MOMO
Discussion Session
Tue 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
D2.13
CoCoDo
First Session
CoCoDo
Second Session
CoCoDo
Third Session
CoCoDo
Fourth Session
Mon 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
D2.13
MOMO
Welcome & Introduction
09:00 - 09:15
MOMO
An MDE Approach for Modular Program Analyses
09:15 - 09:40
MOMO
A Modular Meta-model for Security Solutions
09:40 - 10:05
MOMO
Weaving Rules into Models@run.time for Embedded Smart Systems
10:05 - 10:30
MOMO
Presentation only: From Use Case Driven to Test Driven Modularization
11:00 - 11:25
MOMO
Discussions (morning)
11:25 - 12:00
MOMO
Invited Talk: Towards Concern-Oriented Modularity in Software Language ...
13:30 - 15:00
MOMO
Discussion (Afternoon)
15:30 - 17:00
Tue 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
D2.13
CoCoDo
Welcome and Introductions
09:00 - 09:15
CoCoDo
Attribute Grammars for DSLs for Music and 3D Graphics
09:15 - 10:30
CoCoDo
Late Phases of Compilation in Rascal
11:00 - 12:00
CoCoDo
Experimenting with Racket as a Language Workbench
13:30 - 15:00
CoCoDo
Live Programming in the 21st Century
15:30 - 15:50
CoCoDo
From Compilers to Software Language Engineering
15:50 - 16:10
CoCoDo
FunCons as the Future of Compiler Compilers
16:10 - 16:30
CoCoDo
Final Discussion and Framework Pitches
16:30 - 17:00
x
Thu 25 Apr 09:34