ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
ETAPS'19 Photos
Program
ETAPS Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019 Committees
Organizing Committee
Steering Committee
Executive Board
Track Committees
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Posters
TOOLympics
Workshops
Contributors
People Index
Co-hosted Conferences
ESOP
Program Committee
FASE
Program Committee
FOSSACS
Invited Speaker
Program Committee
POST
Program Committee
TACAS
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
BEHAPI
Organizing Committee
Program Committee
CREST
Invited Speakers
Program Committee
DICE-FOPARA
Program Committee
Steering Committe (FOPARA)
Steering Committee (DICE)
GaLoP
Program Committee
Steering Committee
HCVS
Invited Speakers
Organizing Committee
Program Committee
HSB
Organizing Committee
Program Committee
InterAVT
Organizing Committee
Program Committee
LiVe
Program Committee
MeTRiD
Organizing Committee
Program Committee
PERR
Organizing Committee
Program Committee
PLACES
Organizing Committee
Program Committee
QAPL
Organizing Committee
Steering Committee
SPIoT
Organizing Committee
Program Committee
SYNT Camp
Organizing Committee
Program Committee
SynCoP
Organizing Committee
Steering Committee (and PC)
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
Charles University
/
Room information: S4 (BEHAPI)
Venue
Charles University
Room name
S4 (BEHAPI)
Floor
0
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-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
Sat 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Mechanising Proofs for Behavioural Types and Processes
BEHAPI
at
S4 (BEHAPI)
Chair(s):
António Ravara
NOVA University of Lisbon and NOVA LINCS
09:00
30m
Talk
A Theory of Contexts for Higher-Order Encodings of Process Algebras
BEHAPI
Ivan Scagnetto
University of Udine
09:30
30m
Talk
Formalising session-typed languages without worries
BEHAPI
Wen Kokke
University of Edinburgh
10:00
30m
Talk
Adventures in Formalising the Meta-Theory of Session Types
BEHAPI
Francisco Ferreira
Imperial College London
11:00 - 12:00
Mechanising Proofs of Behavioural Types for APIs
BEHAPI
at
S4 (BEHAPI)
Chair(s):
Luca Padovani
University of Turin
11:00
20m
Talk
Proving properties about Linear Pi in Coq
BEHAPI
António Ravara
NOVA University of Lisbon and NOVA LINCS
,
Marco Giunti
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
11:20
20m
Talk
Binary Session Types in Coq
BEHAPI
Ornela Dardha
University of Glasgow
11:40
20m
Talk
Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months.
BEHAPI
Marco Carbone
IT University of Copenhagen
13:30 - 15:30
Behavioural Types for API-based software
BEHAPI
at
S4 (BEHAPI)
Chair(s):
emilio tuosto
University of Leicester
13:30
30m
Talk
Mailbox Types for Unordered Interactions
BEHAPI
Ugo de'Liguoro
Università di Torino
,
Luca Padovani
University of Turin
14:00
30m
Talk
A Behavioural Type System for Mungo with Generics
BEHAPI
A:
Hans Hüttel
Department of Computer Science, Aalborg University
14:30
30m
Talk
A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation
BEHAPI
Guido Chari
Czech Technical University, Czechia
15:00
30m
Talk
Hardware Interactions as Behavioural Types.
BEHAPI
Francisco Martins
University of Lisbon
16:00 - 18:00
BehAPI Business Meeting
BEHAPI
at
S4 (BEHAPI)
Chair(s):
Adrian Francalanza
University of Malta
16:00
60m
Talk
BehAPI Practices
BEHAPI
Caroline Caruana
University of Malta
17:00
60m
Meeting
BehAPI Year 1 Review and Year 2 projections
BEHAPI
Adrian Francalanza
University of Malta
Sat 6 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
17:00
30
S4 (BEHAPI)
BEHAPI
Mechanising Proofs for Behavioural Types and Processes
BEHAPI
Mechanising Proofs of Behavioural Types for APIs
BEHAPI
Behavioural Types for API-based software
BEHAPI
BehAPI Business Meeting
Sat 6 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
17:00
15
30
45
S4 (BEHAPI)
BEHAPI
A Theory of Contexts for Higher-Order Encodings of Process Algebras
09:00 - 09:30
BEHAPI
Formalising session-typed languages without worries
09:30 - 10:00
BEHAPI
Adventures in Formalising the Meta-Theory of Session Types
10:00 - 10:30
BEHAPI
Proving properties about Linear Pi in Coq
11:00 - 11:20
BEHAPI
Binary Session Types in Coq
11:20 - 11:40
BEHAPI
Mechanise your proofs in Coq: From zero to cut-admissibility in less th ...
11:40 - 12:00
BEHAPI
Mailbox Types for Unordered Interactions
13:30 - 14:00
BEHAPI
A Behavioural Type System for Mungo with Generics
14:00 - 14:30
BEHAPI
A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation
14:30 - 15:00
BEHAPI
Hardware Interactions as Behavioural Types.
15:00 - 15:30
BEHAPI
BehAPI Practices
16:00 - 17:00
BEHAPI
BehAPI Year 1 Review and Year 2 projections
17:00 - 18:00
x
Wed 18 Dec 20:19