Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
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
09:00
60m
Talk
Proof checking and logic programming
PADL
Dale Miller INRIA Saclay and LIX
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

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

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change