VMCAI
Sun 17 - Tue 19 January 2016
St. Petersburg, Florida, United States
co-located with
POPL 2016
Toggle navigation
Attending
Venue: Hilton St. Petersburg Bayfront
VMCAI 2016 Proceedings
Registration
Invited Speakers
Student Travel Funding
Program
VMCAI Program
Your Program
Online Access to Conference Proceedings
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Track/Call
Organization
VMCAI Committees
Program Chairs
Program Committee
Organizing Committee
Steering Committee
Contributors
People Index
Search
Series
Series
VMCAI 2025
VMCAI 2024
VMCAI 2023
VMCAI 2022
VMCAI 2021
VMCAI 2020
VMCAI 2019
VMCAI 2018
VMCAI 2017
VMCAI
Sign in
Sign up
POPL 2016
(
series
) /
VMCAI
(
series
) /
Hilton St. Petersburg Bayfront
/
Room information: Room Bayboro
Venue
Hilton St. Petersburg Bayfront
Room name
Room Bayboro
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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:30) 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) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) 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) Athens
(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+06: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+10: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 18 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:45 - 09:00
Welcome
PADL
at
Room Bayboro
Chair(s):
John Reppy
University of Chicago
09:00 - 10:00
Invited Talk
PADL
at
Room Bayboro
09:00
60m
Talk
Program Synthesis for Direct Manipulation Interfaces
PADL
Ravi Chugh
University of Chicago
10:30 - 12:00
Functional Programming I
PADL
at
Room Bayboro
10:30
30m
Talk
Simplifying Probabilistic Programs Using Computer Algebra
PADL
Jacques Carette
McMaster University
,
Chung-chieh Shan
Indiana University
11:00
30m
Talk
Haskino: A Remote Monad for Programming the Arduino
PADL
Mark Grebe
University of Kansas
,
Andy Gill
University of Kansas
11:30
30m
Talk
From Monads to Effects and Back
PADL
Niki Vazou
UC San Diego
,
Daan Leijen
Microsoft Research
14:00 - 15:30
Constraints
PADL
at
Room Bayboro
14:00
30m
Talk
A GPU implementation of the ASP computation
PADL
Agostino Dovier
University of Udine
,
Andrea Formisano
Università di Perugia
,
Enrico Pontelli
New Mexico State University
,
Flavio Vella
Sapienza University of Rome, Italy
14:30
30m
Talk
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
PADL
Jan Jelínek
Charles University in Prague
,
Roman Barták
Charles University in Prague
15:00
30m
Talk
The Picat-SAT Compiler
PADL
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
,
Håkan Kjellerstrand
CUNY Brooklyn College and Graduate Center
16:00 - 17:00
Logic Programming
PADL
at
Room Bayboro
16:00
30m
Talk
The KB paradigm and its application to interactive configuration
PADL
Pieter Van Hertum
KU Leuven
,
Ingmar Dasseville
KU Leuven
,
Gerda Janssens
KU Leuven
,
Marc Denecker
KU Leuven
16:30
30m
Talk
Default Rules for Curry
PADL
Sergio Antoy
Kiel University
,
Michael Hanus
Kiel University
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Functional Programming II
PADL
at
Room Bayboro
10:30
30m
Talk
Computing with Catalan Families, Generically
PADL
Paul Tarau
University of North Texas
11:00
30m
Talk
A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations
PADL
Paul Tarau
University of North Texas
11:30
30m
Talk
Generic Matching of Tree Regular Expressions over Haskell Data Types
PADL
Alejandro Serrano
Utrecht University
,
Jurriaan Hage
Utrecht University
Mon 18 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Room Bayboro
PADL
Welcome
PADL
Invited Talk
PADL
Functional Programming I
PADL
Constraints
PADL
Logic Programming
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
Room Bayboro
PADL
Functional Programming II
Mon 18 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
Room Bayboro
PADL
Program Synthesis for Direct Manipulation Interfaces
09:00 - 10:00
PADL
Simplifying Probabilistic Programs Using Computer Algebra
10:30 - 11:00
PADL
Haskino: A Remote Monad for Programming the Arduino
11:00 - 11:30
PADL
From Monads to Effects and Back
11:30 - 12:00
PADL
A GPU implementation of the ASP computation
14:00 - 14:30
PADL
Using Constraint Logic Programming to Schedule Solar Array Operations o ...
14:30 - 15:00
PADL
The Picat-SAT Compiler
15:00 - 15:30
PADL
The KB paradigm and its application to interactive configuration
16:00 - 16:30
PADL
Default Rules for Curry
16:30 - 17:00
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
Room Bayboro
PADL
Computing with Catalan Families, Generically
10:30 - 11:00
PADL
A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Obje ...
11:00 - 11:30
PADL
Generic Matching of Tree Regular Expressions over Haskell Data Types
11:30 - 12:00
x
Sat 21 Dec 17:39