POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameSalle 116, Barre 44-54
Floor2
Room number116
Capacity30
Additional information

This room is located in barre 44-54.

Program

Mon 16 Jan

PADL-2017
08:50 - 09:00: PADL - Opening remarks at Salle 116, Barre 44-54
Chair(s): Yuliya LierlerUniversity of Nebraska, Walid TahaHalmstad University
PADL-201708:50 - 09:00
Talk
PADL-2017
09:00 - 10:00: PADL - Invited Talk at Salle 116, Barre 44-54
PADL-201709:00 - 10:00
Talk
Dale MillerINRIA Saclay and LIX
PADL-2017
10:30 - 12:00: PADL - Answer Set Programming at Salle 116, Barre 44-54
PADL-201710:30 - 11:00
Talk
PADL-201711:00 - 11:30
Talk
Christoph RedlVienna University of Technology
PADL-201711:30 - 12:00
Talk
Jakob RathVienna University of Technology, Christoph RedlVienna University of Technology
PADL-2017
14:00 - 15:30: PADL - Testing and Games at Salle 116, Barre 44-54
PADL-201714:00 - 14:30
Talk
Jonathan FowlerUniversity of Nottingham, Graham HuttonUniversity of Nottingham
PADL-201714:30 - 15:00
Talk
Maciej BendkowskiJagiellonian University, Katarzyna GrygielJagiellonian University, Paul TarauUniversity of North Texas
PADL-201715:00 - 15:30
Talk
Paulo OlivaQueen Mary University of London, Jules HedgesUniversity of Oxford, Viktor WinschelETH Z├╝rich, Philipp ZahnUniversity of St. Gallen, Evguenia ShpritsUniversity of Mannheim
PADL-2017
16:00 - 17:30: PADL - Applications I and Inference at Salle 116, Barre 44-54
PADL-201716:00 - 16:30
Talk
Geoffrey MainlandDrexel University
PADL-201716:30 - 17:00
Talk
PADL-201717:00 - 17:30
Talk

Tue 17 Jan

PADL-2017
09:00 - 10:00: PADL - Applications II at Salle 116, Barre 44-54
PADL-201709:00 - 09:30
Talk
PADL-201709:30 - 10:00
Talk
Stefania CostantiniDipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila, Giovanni De GasperisDipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Giulio NazziconeDipartimento di Ingegneria e Scienze dell'Informazione eMatematica
PADL-2017
10:30 - 12:00: PADL - Programming Languages at Salle 116, Barre 44-54
PADL-201710:30 - 11:00
Talk
Sergio AntoyKiel University, Michael HanusKiel University
PADL-201711:00 - 11:30
Talk
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Jonathan FruhmanCUNY Brooklyn College
PADL-201711:30 - 12:00
Talk
Besik DunduaInstitute of Applied Mathematics, Tbilisi State University, Temur Kutsia, Klaus Reisenberger-HagmayerJohannes Kepler University Linz

Mon 16 Jan 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 116, Barre 44-54
08:50 - 09:00
09:00 - 10:00

Tue 17 Jan 2017

Room9:003010:003011:003012:0030
Salle 116, Barre 44-54
09:00 - 10:00