POPL 2017
Sun 15 - Sat 21 January 2017
Toggle navigation
Attending
Campus: Paris Jussieu
Proceedings
Students
Registration
Practical information
Visas
Accommodation
Banner image credits
Program
Complete Program
Your Program
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Tracks
POPL 2017
Tutorials
Student Research Competition
POPL
Artifact Evaluation
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
VMCAI
VMCAI
Co-hosted Workshops
PPS
CoqPL
N40AI
Next 40 years of Abstract Interpretation
Off the Beaten Track
OBT
PEPM
PLMW
PLMW
PiP
RDP
SCM
TTT
Co-hosted Symposiums
PADL
Committees
POPL 2017
Organizing Committee
Steering Committee
Student Research Competition
Selection Committee
POPL
Program Committee
External Review Committee
Artifact Evaluation
Artifact Evaluation Committee
Co-hosted Conferences
CPP
CPP
Program Committee
VMCAI
Organizing Committee
Program committee
Steering Committee
VMCAI
Program Chairs
Co-hosted Workshops
PPS
PPS
Program Committee
CoqPL
CoqPL 2017
Program Committee
N40AI
Next 40 years of Abstract Interpretation
Organizer
Off the Beaten Track
OBT
Organizing Committee
OBT
Program Committee
PEPM
Programme Committee
PEPM 2017
Programme Committee
PLMW
PLMW
Speaker
PLMW
Program Committee
PiP
PiP 2017
Program Committee
RDP
RDP
Program Committee
SCM
SCM
Organizing Committee
TTT
TTT
Program Committee
Co-hosted Symposiums
PADL
PADL
Organizing Committee
Search
Series
Series
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2017
(
series
) /
Paris Jussieu
/
Room information: Salle 116, Barre 44-54
Venue
Paris Jussieu
Room name
Salle 116, Barre 44-54
Floor
2
Room number
116
Capacity
30
Additional information
This room is located in barre 44-54.
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 16 Jan
PADL-2017
08:50 - 09:00:
PADL
- Opening remarks at
Salle 116, Barre 44-54
Chair(s):
Yuliya Lierler
University of Nebraska
,
Walid Taha
Halmstad University
PADL-2017
1484553000000
08:50 - 09:00
Talk
Opening remarks
PADL-2017
09:00 - 10:00:
PADL
- Invited Talk at
Salle 116, Barre 44-54
PADL-2017
1484553600000
09:00 - 10:00
Talk
Proof checking and logic programming
Dale Miller
INRIA Saclay and LIX
PADL-2017
10:30 - 12:00:
PADL
- Answer Set Programming at
Salle 116, Barre 44-54
PADL-2017
1484559000000
10:30 - 11:00
Talk
Lowering the learning curve for declarative programming: a Python API for the IDP system
Joost Vennekens
KU Leuven
PADL-2017
1484560800000
11:00 - 11:30
Talk
Extending Answer Set Programs with Interpreted Functions as First-class Citizens
Christoph Redl
Vienna University of Technology
PADL-2017
1484562600000
11:30 - 12:00
Talk
Integrating Answer Set Programming with Object-oriented Languages
Jakob Rath
Vienna University of Technology
,
Christoph Redl
Vienna University of Technology
PADL-2017
14:00 - 15:30:
PADL
- Testing and Games at
Salle 116, Barre 44-54
PADL-2017
1484571600000
14:00 - 14:30
Talk
Failing Faster: Overlapping Patterns for Property-Based Testing
Jonathan Fowler
University of Nottingham
,
Graham Hutton
University of Nottingham
PADL-2017
1484573400000
14:30 - 15:00
Talk
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
Maciej Bendkowski
Jagiellonian University
,
Katarzyna Grygiel
Jagiellonian University
,
Paul Tarau
University of North Texas
PADL-2017
1484575200000
15:00 - 15:30
Talk
Selection Equilibria of Higher-Order Games
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
PADL-2017
16:00 - 17:30:
PADL
- Applications I and Inference at
Salle 116, Barre 44-54
PADL-2017
1484578800000
16:00 - 16:30
Talk
A Domain-Specific Language for Software-Defined Radio
Geoffrey Mainland
Drexel University
PADL-2017
1484580600000
16:30 - 17:00
Talk
A Declarative DSL for Customized Rendering of Text-Based Art
Felix Klock
PADL-2017
1484582400000
17:00 - 17:30
Talk
Using Iterative Deepening for Probabilistic Logic Inference
Theofrastos Mantadelis
Universidade do Porto
,
Ricardo Rocha
Tue 17 Jan
PADL-2017
09:00 - 10:00:
PADL
- Applications II at
Salle 116, Barre 44-54
PADL-2017
1484640000000
09:00 - 09:30
Talk
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
Henrik Nilsson
,
Guerric Chupin
ENSTA ParisTech
PADL-2017
1484641800000
09:30 - 10:00
Talk
DALI for Cognitive Robotics: Principles and Prototype Implementation
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
PADL-2017
10:30 - 12:00:
PADL
- Programming Languages at
Salle 116, Barre 44-54
PADL-2017
1484645400000
10:30 - 11:00
Talk
Improving Non-deterministic Computations in Functional Logic Programs
Sergio Antoy
Kiel University
,
Michael Hanus
Kiel University
PADL-2017
1484647200000
11:00 - 11:30
Talk
Canonicalizing High-Level Constructs in Picat
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
,
Jonathan Fruhman
CUNY Brooklyn College
PADL-2017
1484649000000
11:30 - 12:00
Talk
An Overview of PRhoLog
Besik Dundua
Institute of Applied Mathematics, Tbilisi State University
,
Temur Kutsia
,
Klaus Reisenberger-Hagmayer
Johannes Kepler University Linz
Mon 16 Jan 2017
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Salle 116, Barre 44-54
PADL
Opening remarks
08:50 - 09:00
PADL
Invited Talk
09:00 - 10:00
PADL
Answer Set Programming
10:30 - 12:00
PADL
Testing and Games
14:00 - 15:30
PADL
Applications I and Inference
16:00 - 17:30
Tue 17 Jan 2017
Room
9:00
30
10:00
30
11:00
30
12:00
30
Salle 116, Barre 44-54
PADL
Applications II
09:00 - 10:00
PADL
Programming Languages
10:30 - 12:00
Mon 16 Jan 2017
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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 2017
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
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
x
Fri 19 Oct 13:50