Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017

Mon 16 Jan

pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark, Jeremy YallopUniversity of Cambridge, UK
pepm-workshop14:00 - 15:00
Talk
David Thrane ChristiansenIndiana University
pepm-workshop15:00 - 15:30
Talk
Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
pepm-workshop15:00 - 15:30
Talk
Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov