Write a Blog >>
ProWeb'19
Mon 1 - Thu 4 April 2019
Genoa, Italy
co-located with
‹Programming› 2019
Toggle navigation
Attending
Venue: Hotel Bristol Palace
Banquet: Palazzo della Meridiana
Reception: Aula Magna of the Università di Genova
Program
Complete Program
Your Program
Mon 1 Apr
Tue 2 Apr
Wed 3 Apr
Thu 4 Apr
Track/Call
Organization
ProWeb'19 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› 2019
(
series
) /
ProWeb'19 (
series
) /
Hotel Bristol Palace
/
Room information: Second floor hall
Venue
Hotel Bristol Palace
Room name
Second floor hall
Floor
2
Room Information
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-07: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+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Tue 2 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:00
Poster Session
‹Programming› Student Research Competition
at
Second floor hall
Chair(s):
Philipp Haller
KTH Royal Institute of Technology, Sweden
12:30
90m
Poster
RML: Runtime monitoring language
‹Programming› Student Research Competition
Luca Franceschini
DIBRIS, University of Genova, Italy
12:30
90m
Poster
Automatic test case generation from UML state machine diagrams
‹Programming› Student Research Competition
Dario Olianas
12:30
90m
Poster
Reading logic as code or as natural language text
‹Programming› Student Research Competition
Patrick Rein
Hasso Plattner Institute, Germany
12:30
90m
Poster
Cantor pairing in a reversible programming language
‹Programming› Student Research Competition
Francesco Rossini
University of Turin, Italy
12:30
90m
Poster
Exploring example-driven migration
‹Programming› Student Research Competition
Manuel Leuenberger
12:30
90m
Poster
Magritte: A modern shell language
‹Programming› Student Research Competition
Jeanine Miller Adkisson
Tokyo Institute of Technology
12:30
90m
Poster
BacCaml: The Meta-Hybrid Just-In-Time Compiler
‹Programming› Student Research Competition
Yusuke Izawa
Tokyo Institute of Technology
12:30
90m
Poster
A framework for big-step semantics
‹Programming› Student Research Competition
Francesco Dagnino
DIBRIS, University of Genova, Italy
Wed 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:30
Poster Session
‹Programming› Posters
at
Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
‹Programming› Posters
Jakub Przygodzki
,
Konrad Aleksiejuk
,
Adam Świderski
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
‹Programming› Posters
Pascal Weisenburger
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
12:30
2h
Poster
Proving Inequational Propositions about Haskell Programs in Coq
‹Programming› Posters
Jan Christiansen
Flensburg University of Applied Sciences, Germany
,
Sandra Dylus
University of Kiel, Germany
12:30
2h
Poster
IDVE: an Integrated Development and Verification Environment for JavaScript
‹Programming› Posters
Christopher Schuster
University of California, Santa Cruz
,
Cormac Flanagan
University of California, Santa Cruz
Tue 2 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
Second floor hall
‹Programming› Student Research Competition
Poster Session
Wed 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
14:00
30
Second floor hall
‹Programming› Posters
Poster Session
Tue 2 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
Second floor hall
‹Programming› Student Research Competition
RML: Runtime monitoring language
12:30 - 14:00
Automatic test case generation from UML state machine diagrams
12:30 - 14:00
Reading logic as code or as natural language text
12:30 - 14:00
Cantor pairing in a reversible programming language
12:30 - 14:00
Exploring example-driven migration
12:30 - 14:00
Magritte: A modern shell language
12:30 - 14:00
BacCaml: The Meta-Hybrid Just-In-Time Compiler
12:30 - 14:00
A framework for big-step semantics
12:30 - 14:00
Wed 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Second floor hall
‹Programming› Posters
Distributed Software on Mobile Robot
12:30 - 14:30
Developing Distributed Systems with ScalaLoci
12:30 - 14:30
Proving Inequational Propositions about Haskell Programs in Coq
12:30 - 14:30
IDVE: an Integrated Development and Verification Environment for JavaScript
12:30 - 14:30
x
Wed 24 Apr 15:01