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
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
Organization
POPL 2017
Organizing Committee
Steering Committee
Student Research Competition
Selection Committee
POPL
Program Committee
External Review Committee
Artifact Evaluation
Artifact Evaluation Committee
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Organizing Committee
Program committee
Steering Committee
Program Chairs
Workshops
PPS
Program Committee
CoqPL
Program Committee
N40AI
Organizer
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Programme Committee
PLMW
Speaker
Program Committee
PiP
Program Committee
RDP
Program Committee
SCM
Organizing Committee
TTT
Program Committee
Co-hosted Symposiums
PADL
Organizing Committee
Search
Series
Series
POPL 2021
POPL 2020
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.
Display in different time zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
Program
Detailed Table
Session Timeline
Detailed Timeline
×
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:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
08:50 - 09:00
Talk
Opening remarks
PADL-2017
09:00 - 10:00:
PADL
- Invited Talk at
Salle 116, Barre 44-54
PADL-2017
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
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
11:00 - 11:30
Talk
Extending Answer Set Programs with Interpreted Functions as First-class Citizens
Christoph Redl
Vienna University of Technology
PADL-2017
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
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
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
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
16:00 - 16:30
Talk
A Domain-Specific Language for Software-Defined Radio
Geoffrey Mainland
Drexel University
PADL-2017
16:30 - 17:00
Talk
A Declarative DSL for Customized Rendering of Text-Based Art
Felix Klock
PADL-2017
17:00 - 17:30
Talk
Using Iterative Deepening for Probabilistic Logic Inference
Theofrastos Mantadelis
Universidade do Porto
,
Ricardo Rocha
Tue 17 Jan
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
PADL-2017
09:00 - 10:00:
PADL
- Applications II at
Salle 116, Barre 44-54
PADL-2017
09:00 - 09:30
Talk
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
Henrik Nilsson
,
Guerric Chupin
ENSTA ParisTech
PADL-2017
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
10:30 - 11:00
Talk
Improving Non-deterministic Computations in Functional Logic Programs
Sergio Antoy
Kiel University
,
Michael Hanus
Kiel University
PADL-2017
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
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
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
PADL
Invited Talk
PADL
Answer Set Programming
PADL
Testing and Games
PADL
Applications I and Inference
Tue 17 Jan
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Salle 116, Barre 44-54
PADL
Applications II
PADL
Programming Languages
Mon 16 Jan
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Mon 13 Jul 18:05