‹Programming› 2019
Mon 1 - Thu 4 April 2019
Genoa, Italy
Toggle navigation
Attending
Venue: Hotel Bristol Palace
Banquet: Palazzo della Meridiana
Reception: Aula Magna of the Università di Genova
Students
Sponsorship
Accommodation
Reaching the conference
Visa Information
Visiting Genova
Registration
Program
‹Programming› Program
Your Program
Mon 1 Apr
Tue 2 Apr
Wed 3 Apr
Thu 4 Apr
Tracks
‹Programming› 2019
Keynotes
Research Papers
Workshops
Student Research Competition
Posters
Demos
Student Volunteers
Social Events
Workshops
ICW
LANGETI
(Canceled)
MiniPLOP
(Canceled)
MoreVMs
PASS
(Canceled)
PX/19
ProWeb
Salon des Refusés
VPT
Co-hosted Coding Dojos
CoCoDo
Co-hosted Symposia
ELS
Organization
‹Programming› 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Workshops
Student Research Competition
Organizing Committee
Jury
Posters
Demos
Student Volunteers
Contributors
People Index
Workshops
ICW
Organizing Committee
Program Committee
LANGETI
Organizing Committee
Program Committee
MiniPLOP
Organizing Committee
Program Committee
MoreVMs
Organizing Committee
Program Committee
PASS
Organizing Committee
Program Committee
PX/19
Organizing Committee
Program Committee
ProWeb
Organizing Committee
Program Committee
Salon des Refusés
Organizing Committee
Program Committee
VPT
Organizing Committee
Program Committee
Co-hosted Coding Dojos
CoCoDo
Organizing Committee
Program Committee
Co-hosted Symposia
ELS
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2019
(
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
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
Student Research Competition
Luca Franceschini
DIBRIS, University of Genova, Italy
12:30
90m
Poster
Automatic test case generation from UML state machine diagrams
Student Research Competition
Dario Olianas
12:30
90m
Poster
Reading logic as code or as natural language text
Student Research Competition
Patrick Rein
Hasso Plattner Institute, Germany
12:30
90m
Poster
Cantor pairing in a reversible programming language
Student Research Competition
Francesco Rossini
University of Turin, Italy
12:30
90m
Poster
Exploring example-driven migration
Student Research Competition
Manuel Leuenberger
12:30
90m
Poster
Magritte: A modern shell language
Student Research Competition
Jeanine Miller Adkisson
Tokyo Institute of Technology
12:30
90m
Poster
BacCaml: The Meta-Hybrid Just-In-Time Compiler
Student Research Competition
Yusuke Izawa
Tokyo Institute of Technology
12:30
90m
Poster
A framework for big-step semantics
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
Posters
at
Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
Posters
Jakub Przygodzki
,
Konrad Aleksiejuk
,
Adam Świderski
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
Posters
Pascal Weisenburger
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
12:30
2h
Poster
Proving Inequational Propositions about Haskell Programs in Coq
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
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
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
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
Sat 21 Dec 13:32