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