Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala X
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 14 Jan

pepm-2019-papers
11:00 - 12:30: PEPM 2019 - Session 1 at Sala X
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
pepm-2019-papers11:00 - 11:05
Day opening
Atsushi IgarashiKyoto University, Japan, Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
pepm-2019-papers11:05 - 12:00
Talk
Christian HumerOracle Labs, Switzerland
pepm-2019-papers12:00 - 12:30
Talk
Barry JayUniversity of Technology Sydney
DOI
pepm-2019-papers
14:00 - 15:30: PEPM 2019 - Session 2 at Sala X
Chair(s): Thomas P. JensenINRIA Rennes
pepm-2019-papers14:00 - 14:30
Talk
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
pepm-2019-papers14:30 - 15:00
Talk
Keiichi WatanabeUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Hiroki OshikawaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
pepm-2019-papers15:00 - 15:30
Talk
Gabriel RadanneUniversity of Freiburg, Germany
DOI Pre-print
pepm-2019-papers
16:00 - 17:30: PEPM 2019 - Session 3 at Sala X
Chair(s): Atsushi IgarashiKyoto University, Japan
pepm-2019-papers16:00 - 17:00
Talk
Jens PalsbergUniversity of California, Los Angeles (UCLA)
pepm-2019-papers17:00 - 17:30
Talk
Ryosuke SatoKyushu University, Japan, Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI

Tue 15 Jan

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

Mon 14 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala X
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30

Tue 15 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala X
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30