POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Paris Jussieu /

Room information: Salle 116, Barre 44-54

VenueParis Jussieu
Room nameSalle 116, Barre 44-54
Floor2
Room number116
Capacity30
Room 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

Conference Day
Mon 16 Jan

Displayed 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
10m
Talk
Opening remarks
PADL

09:00 - 10:00
Invited TalkPADL at Salle 116, Barre 44-54
09:00
60m
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
30m
Talk
Lowering the learning curve for declarative programming: a Python API for the IDP system
PADL
Joost VennekensKU Leuven
11:00
30m
Talk
Extending Answer Set Programs with Interpreted Functions as First-class Citizens
PADL
Christoph RedlVienna University of Technology
11:30
30m
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
30m
Talk
Failing Faster: Overlapping Patterns for Property-Based Testing
PADL
Jonathan FowlerUniversity of Nottingham, Graham HuttonUniversity of Nottingham
14:30
30m
Talk
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
PADL
Maciej BendkowskiJagiellonian University, Katarzyna GrygielJagiellonian University, Paul TarauUniversity of North Texas
15:00
30m
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
16:00 - 17:30
Applications I and InferencePADL at Salle 116, Barre 44-54
16:00
30m
Talk
A Domain-Specific Language for Software-Defined Radio
PADL
Geoffrey MainlandDrexel University
16:30
30m
Talk
A Declarative DSL for Customized Rendering of Text-Based Art
PADL
Felix Klock
17:00
30m
Talk
Using Iterative Deepening for Probabilistic Logic Inference
PADL
Theofrastos MantadelisUniversidade do Porto, Ricardo Rocha

Conference Day
Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Conference Day
Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 116, Barre 44-54

PADL

Opening remarks

PADL

Invited Talk

PADL

Answer Set Programming

PADL

Testing and Games

PADL

Applications I and Inference

Conference Day
Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:0030
Salle 116, Barre 44-54

PADL

Applications II

PADL

Programming Languages

Conference Day
Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Salle 116, Barre 44-54
PADL
Opening remarks
08:50 - 09:00
PADL
Proof checking and logic programming
09:00 - 10:00
PADL
Lowering the learning curve for declarative programming: a Python API f ...
10:30 - 11:00
PADL
Extending Answer Set Programs with Interpreted Functions as First-class ...
11:00 - 11:30
PADL
Integrating Answer Set Programming with Object-oriented Languages
11:30 - 12:00
PADL
Failing Faster: Overlapping Patterns for Property-Based Testing
14:00 - 14:30
PADL
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
14:30 - 15:00
PADL
Selection Equilibria of Higher-Order Games
15:00 - 15:30
PADL
A Domain-Specific Language for Software-Defined Radio
16:00 - 16:30
PADL
A Declarative DSL for Customized Rendering of Text-Based Art
16:30 - 17:00
PADL
Using Iterative Deepening for Probabilistic Logic Inference
17:00 - 17:30

Conference Day
Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:00153045
Salle 116, Barre 44-54
PADL
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
09:00 - 09:30
PADL
DALI for Cognitive Robotics: Principles and Prototype Implementation
09:30 - 10:00
PADL
Improving Non-deterministic Computations in Functional Logic Programs
10:30 - 11:00
PADL
Canonicalizing High-Level Constructs in Picat
11:00 - 11:30
PADL
An Overview of PRhoLog
11:30 - 12:00