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

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 Lierler University of Nebraska, Walid Taha Halmstad 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 Miller INRIA 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 Vennekens KU Leuven
11:00
30m
Talk
Extending Answer Set Programs with Interpreted Functions as First-class Citizens
PADL
Christoph Redl Vienna University of Technology
11:30
30m
Talk
Integrating Answer Set Programming with Object-oriented Languages
PADL
Jakob Rath Vienna University of Technology, Christoph Redl Vienna 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 Fowler University of Nottingham, Graham Hutton University of Nottingham
14:30
30m
Talk
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
PADL
Maciej Bendkowski Jagiellonian University, Katarzyna Grygiel Jagiellonian University, Paul Tarau University of North Texas
15:00
30m
Talk
Selection Equilibria of Higher-Order Games
PADL
Paulo Oliva Queen Mary University of London, Jules Hedges University of Oxford, Viktor Winschel ETH Zürich, Philipp Zahn University of St. Gallen, Evguenia Shprits University 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 Mainland Drexel 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 Mantadelis Universidade do Porto, Ricardo Rocha

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 Chupin ENSTA ParisTech
09:30
30m
Talk
DALI for Cognitive Robotics: Principles and Prototype Implementation
PADL
Stefania Costantini Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila, Giovanni De Gasperis Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Giulio Nazzicone Dipartimento 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 Antoy Kiel University, Michael Hanus Kiel University
11:00
30m
Talk
Canonicalizing High-Level Constructs in Picat
PADL
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, Jonathan Fruhman CUNY Brooklyn College
11:30
30m
Talk
An Overview of PRhoLog
PADL
Besik Dundua Institute of Applied Mathematics, Tbilisi State University, Temur Kutsia , Klaus Reisenberger-Hagmayer Johannes Kepler University Linz

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

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

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

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