Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala X
Floor0
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 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:00 - 12:30: Session 1PEPM at Sala X
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
11:00 - 11:05
Day opening
PEPM
C: Atsushi IgarashiKyoto University, Japan, C: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
11:05 - 12:00
Talk
PEPM
Christian HumerOracle Labs, Switzerland
File Attached
12:00 - 12:30
Talk
PEPM
Barry JayUniversity of Technology Sydney
DOI
14:00 - 15:30: Session 2PEPM at Sala X
Chair(s): Thomas P. JensenINRIA Rennes
14:00 - 14:30
Talk
PEPM
Sihan XuNankai University, China, Sen ZhangNankai University, China, Weijing WangNankai University, China, Xinya CaoNankai University, China, Chenkai GuoNankai University, China, Jing XuNankai University, China
DOI
14:30 - 15:00
Talk
PEPM
Keiichi WatanabeUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Hiroki OshikawaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
15:00 - 15:30
Talk
PEPM
Gabriel RadanneUniversity of Freiburg, Germany
DOI Pre-print File Attached
16:00 - 17:30: Session 3PEPM at Sala X
Chair(s): Atsushi IgarashiKyoto University, Japan
16:00 - 17:00
Talk
PEPM
Jens PalsbergUniversity of California, Los Angeles (UCLA)
File Attached
17:00 - 17:30
Talk
PEPM
Ryosuke SatoKyushu University, Japan, Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:00 - 12:30: Session 4PEPM at Sala X
Chair(s): Roberto GiacobazziUniversity of Verona and IMDEA Software Institute
11:00 - 12:00
Talk
PEPM
File Attached
12:00 - 12:30
Talk
PEPM
Kenny Zhuo Ming LuNanyang Polytechnic, Singapore
DOI
14:00 - 15:30: Session 5PEPM at Sala X
Chair(s): Alberto PettorossiUniversity of Rome Tor Vergata, Italy
14:00 - 14:30
Talk
PEPM
Kenichi AsaiOchanomizu University
DOI File Attached
14:30 - 15:00
Talk
PEPM
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany
DOI File Attached
15:00 - 15:28
Talk
PEPM
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
DOI Pre-print
15:28 - 15:30
Poster
PEPM
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala X

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala X