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

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 09:00: Opening remarksPADL at Salle 116, Barre 44-54
Chair(s): Yuliya LierlerUniversity of Nebraska, Walid TahaHalmstad University
08:50 - 09:00
Talk
Opening remarks
PADL
09:00 - 10:00: Invited TalkPADL at Salle 116, Barre 44-54
09:00 - 10:00
Talk
Proof checking and logic programming
PADL
Dale MillerINRIA Saclay and LIX
10:30 - 12:00: Answer Set ProgrammingPADL at Salle 116, Barre 44-54
10:30 - 11:00
Talk
Lowering the learning curve for declarative programming: a Python API for the IDP system
PADL
11:00 - 11:30
Talk
Extending Answer Set Programs with Interpreted Functions as First-class Citizens
PADL
Christoph RedlVienna University of Technology
11:30 - 12:00
Talk
Integrating Answer Set Programming with Object-oriented Languages
PADL
Jakob RathVienna University of Technology, Christoph RedlVienna University of Technology
14:00 - 15:30: Testing and GamesPADL at Salle 116, Barre 44-54
14:00 - 14:30
Talk
Failing Faster: Overlapping Patterns for Property-Based Testing
PADL
Jonathan FowlerUniversity of Nottingham, Graham HuttonUniversity of Nottingham
14:30 - 15:00
Talk
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
PADL
Maciej BendkowskiJagiellonian University, Katarzyna GrygielJagiellonian University, Paul TarauUniversity of North Texas
15:00 - 15:30
Talk
Selection Equilibria of Higher-Order Games
PADL
Paulo OlivaQueen Mary University of London, Jules HedgesUniversity of Oxford, Viktor WinschelETH Zürich, Philipp ZahnUniversity of St. Gallen, Evguenia ShpritsUniversity of Mannheim

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Applications IIPADL at Salle 116, Barre 44-54
09:00 - 09:30
Talk
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
PADL
09:30 - 10:00
Talk
DALI for Cognitive Robotics: Principles and Prototype Implementation
PADL
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
10:30 - 12:00: Programming LanguagesPADL at Salle 116, Barre 44-54
10:30 - 11:00
Talk
Improving Non-deterministic Computations in Functional Logic Programs
PADL
Sergio AntoyKiel University, Michael HanusKiel University
11:00 - 11:30
Talk
Canonicalizing High-Level Constructs in Picat
PADL
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Jonathan FruhmanCUNY Brooklyn College
11:30 - 12:00
Talk
An Overview of PRhoLog
PADL
Besik DunduaInstitute of Applied Mathematics, Tbilisi State University, Temur Kutsia, Klaus Reisenberger-HagmayerJohannes Kepler University Linz

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change