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.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01: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-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Greenwich Mean Time : Belfast
(GMT) Greenwich Mean Time : Dublin
(GMT) Greenwich Mean Time : Lisbon
(GMT) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 remarks
PADL
at
Salle 116, Barre 44-54
Chair(s):
Yuliya Lierler
University of Nebraska
,
Walid Taha
Halmstad University
08:50 - 09:00
Talk
Opening remarks
PADL
09:00 - 10:00: Invited Talk
PADL
at
Salle 116, Barre 44-54
09:00 - 10:00
Talk
Proof checking and logic programming
PADL
Dale Miller
INRIA Saclay and LIX
10:30 - 12:00: Answer Set Programming
PADL
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
Joost Vennekens
KU Leuven
11:00 - 11:30
Talk
Extending Answer Set Programs with Interpreted Functions as First-class Citizens
PADL
Christoph Redl
Vienna University of Technology
11:30 - 12:00
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 Games
PADL
at
Salle 116, Barre 44-54
14:00 - 14:30
Talk
Failing Faster: Overlapping Patterns for Property-Based Testing
PADL
Jonathan Fowler
University of Nottingham
,
Graham Hutton
University of Nottingham
14:30 - 15:00
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 - 15:30
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 Inference
PADL
at
Salle 116, Barre 44-54
16:00 - 16:30
Talk
A Domain-Specific Language for Software-Defined Radio
PADL
Geoffrey Mainland
Drexel University
16:30 - 17:00
Talk
A Declarative DSL for Customized Rendering of Text-Based Art
PADL
Felix Klock
17:00 - 17:30
Talk
Using Iterative Deepening for Probabilistic Logic Inference
PADL
Theofrastos Mantadelis
Universidade do Porto
,
Ricardo Rocha
Tue 17 Jan
Times are displayed in time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00: Applications II
PADL
at
Salle 116, Barre 44-54
09:00 - 09:30
Talk
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
PADL
Henrik Nilsson
,
Guerric Chupin
ENSTA ParisTech
09:30 - 10:00
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 Languages
PADL
at
Salle 116, Barre 44-54
10:30 - 11:00
Talk
Improving Non-deterministic Computations in Functional Logic Programs
PADL
Sergio Antoy
Kiel University
,
Michael Hanus
Kiel University
11:00 - 11:30
Talk
Canonicalizing High-Level Constructs in Picat
PADL
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
,
Jonathan Fruhman
CUNY Brooklyn College
11:30 - 12:00
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
Times are displayed in time zone:
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:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
Salle 116, Barre 44-54
PADL
Applications II
PADL
Programming Languages
Mon 16 Jan
Times are displayed in time zone:
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:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11: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
Wed 27 Jan 18:35