Salle 116, Barre 44-54 - POPL 2017

Sun 15 - Sat 21 January 2017

VenueParis Jussieu

Room nameSalle 116, Barre 44-54

Floor2

Room number116

Capacity30

Additional information

This room is located in barre 44-54.

Program

Mon 16 Jan

08:50 - 09:00: PADL - Opening remarks at Salle 116, Barre 44-54
Chair(s): Yuliya Lierler, Walid Taha

08:50 - 09:00
Talk

Opening remarks

09:00 - 10:00: PADL - Invited Talk at Salle 116, Barre 44-54

09:00 - 10:00
Talk

Proof checking and logic programming

10:30 - 12:00: PADL - Answer Set Programming 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

Joost Vennekens

11:00 - 11:30
Talk

Extending Answer Set Programs with Interpreted Functions as First-class Citizens

11:30 - 12:00
Talk

Integrating Answer Set Programming with Object-oriented Languages

Jakob Rath, Christoph Redl

14:00 - 15:30: PADL - Testing and Games at Salle 116, Barre 44-54

14:00 - 14:30
Talk

Failing Faster: Overlapping Patterns for Property-Based Testing

Jonathan Fowler, Graham Hutton

14:30 - 15:00
Talk

Boltzmann Samplers for Closed Simply-Typed Lambda Terms

Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau

15:00 - 15:30
Talk

Selection Equilibria of Higher-Order Games

Paulo Oliva, Jules Hedges, Viktor Winschel, Philipp Zahn, Evguenia Shprits

16:00 - 17:30: PADL - Applications I and Inference at Salle 116, Barre 44-54

16:00 - 16:30
Talk

A Domain-Specific Language for Software-Defined Radio

Geoffrey Mainland

16:30 - 17:00
Talk

A Declarative DSL for Customized Rendering of Text-Based Art

17:00 - 17:30
Talk

Using Iterative Deepening for Probabilistic Logic Inference

Theofrastos Mantadelis, Ricardo Rocha

Tue 17 Jan

09:00 - 10:00: PADL - Applications II at Salle 116, Barre 44-54

09:00 - 09:30
Talk

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications

Henrik Nilsson, Guerric Chupin

09:30 - 10:00
Talk

DALI for Cognitive Robotics: Principles and Prototype Implementation

Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone

10:30 - 12:00: PADL - Programming Languages at Salle 116, Barre 44-54

10:30 - 11:00
Talk

Improving Non-deterministic Computations in Functional Logic Programs

Sergio Antoy, Michael Hanus

11:00 - 11:30
Talk

Canonicalizing High-Level Constructs in Picat

Neng-Fa Zhou, Jonathan Fruhman

11:30 - 12:00
Talk

An Overview of PRhoLog

Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer

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 2017 Opening remarks 08:50 - 09:00		PADL 2017 Proof checking and logic programming 09:00 - 10:00																		PADL 2017 Lowering the learning curve for declarative programming: a Python API f ... 10:30 - 11:00						PADL 2017 Extending Answer Set Programs with Interpreted Functions as First-class ... 11:00 - 11:30						PADL 2017 Integrating Answer Set Programming with Object-oriented Languages 11:30 - 12:00																														PADL 2017 Failing Faster: Overlapping Patterns for Property-Based Testing 14:00 - 14:30						PADL 2017 Boltzmann Samplers for Closed Simply-Typed Lambda Terms 14:30 - 15:00						PADL 2017 Selection Equilibria of Higher-Order Games 15:00 - 15:30												PADL 2017 A Domain-Specific Language for Software-Defined Radio 16:00 - 16:30						PADL 2017 A Declarative DSL for Customized Rendering of Text-Based Art 16:30 - 17:00						PADL 2017 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 2017 Funky Grooves: Declarative Programming of Full-Fledged Musical Applications 09:00 - 09:30						PADL 2017 DALI for Cognitive Robotics: Principles and Prototype Implementation 09:30 - 10:00												PADL 2017 Improving Non-deterministic Computations in Functional Logic Programs 10:30 - 11:00						PADL 2017 Canonicalizing High-Level Constructs in Picat 11:00 - 11:30						PADL 2017 An Overview of PRhoLog 11:30 - 12:00