Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Online Participation
Registration
Visa
Information for Students
Code of Conduct
Supporting POPL
Program
POPL Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Tracks
POPL 2019
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Workshops
Co-hosted Conferences
CPP
VMCAI
Workshops
BEAT
CoqPL
LAFI
(né PPS)
OPCT
Off the Beaten Track
PEPM
PLMW
@POPL
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Workshops
BEAT
Organizing Committee
Program Committee
CoqPL
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
OPCT
Organizing Committee
Program Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers
Panelists
PriSC
Program Committee
Organizing Committee
Co-hosted Symposia
PADL
Organizing Committee
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2019
(
series
) /
Hotel Cascais Miragem
/
Room information: Sala IV
Venue
Hotel Cascais Miragem
Room name
Sala IV
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) Belfast
.
Use conference time zone: (GMT) Belfast
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) 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+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 14 Jan
Displayed time zone:
Belfast
change
14:00 - 15:30
PADL Session 1
PADL
at
Sala IV
13:50
10m
Day opening
PADL Opening and Welcome
PADL
Moa Johansson
Chalmers University of Technology
,
José Julio Alferes
NOVA LINCS -- Universidade Nova de Lisboa
14:00
30m
Talk
Natural Language Generation From Ontologies
PADL
Van Nguyen
,
Tran Cao Son
,
Enrico Pontelli
14:30
30m
Talk
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
PADL
Joaquín Arias
,
Manuel Carro
IMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
15:00
30m
Talk
Improving Residuation in Declarative Programs
PADL
Michael Hanus
Kiel University
File Attached
16:00 - 17:30
PADL Session 2
PADL
at
Sala IV
16:00
30m
Talk
Faster Coroutine Pipelines: A Reconstruction
PADL
Ruben P. Pieters
,
Tom Schrijvers
KU Leuven
16:30
30m
Talk
Distributed Protocol Combinators
PADL
Kristoffer Just Arndal Andersen
Aarhus University
,
Ilya Sergey
Yale-NUS College and National University of Singapore
Pre-print
17:00
30m
Talk
Classes of Arbitrary Kind
PADL
Alejandro Serrano
Utrecht University, Netherlands
,
Victor Cacciari Miraldo
Utrecht University, Netherlands
Link to publication
DOI
File Attached
Tue 15 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
PADL Session 3
PADL
at
Sala IV
09:30
30m
Talk
Personalized Course Schedule Planning using Answer Set Programming
PADL
Esra Erdem
Sabanci University, Turkey
,
Muhammed Kerem Kahraman
File Attached
10:00
30m
Talk
Static Partitioning of Spreadsheets for Parallel Execution
PADL
Alexander Asp Bock
File Attached
11:00 - 12:30
PADL Session 4
PADL
at
Sala IV
11:00
30m
Talk
An ASP-based Approach to Representing and Querying Textual Knowledge
PADL
Dhruva Pendharkar
,
Gopal Gupta
11:30
30m
Talk
Strong Equivalence and Program's Structure in Arguing Essential Equivalence
PADL
Yuliya Lierler
University of Nebraska
12:00
30m
Talk
Automatic Program Rewriting in Non-Ground Answer Set Programs
PADL
Nick Hippen
,
Yuliya Lierler
University of Nebraska
14:00 - 15:30
PADL Session 5
PADL
at
Sala IV
14:00
30m
Talk
Composing Syntactical Constructs to Create Domain-Specific Languages
PADL
David Broman
KTH Royal Institute of Technology
,
Viktor Palmkvist
KTH Royal Institute of Technology
DOI
Media Attached
14:30
30m
Talk
Proof Carrying Plans
PADL
Christopher Schwaab
University of St Andrews
,
Ekaterina Komendantskaya
Heriot-Watt University, UK
,
Alasdair Hill
,
Frantisek Farka
,
Ron Petrick
,
Joe Wells
,
Kevin Hammond
University of St. Andrews, UK
15:00
30m
Talk
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
PADL
Paul Tarau
University of North Texas
Mon 14 Jan
Displayed time zone:
Belfast
change
Room
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
Sala IV
PADL
PADL
PADL
PADL Session 1
PADL
PADL Session 2
Tue 15 Jan
Displayed time zone:
Belfast
change
Room
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
Sala IV
PADL
PADL Session 3
PADL
PADL Session 4
PADL
PADL Session 5
PADL
Mon 14 Jan
Displayed time zone:
Belfast
change
Room
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
Sala IV
PADL
PADL Opening and Welcome
13:50 - 14:00
PADL
Natural Language Generation From Ontologies
14:00 - 14:30
PADL
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming ...
14:30 - 15:00
PADL
Improving Residuation in Declarative Programs
15:00 - 15:30
PADL
Faster Coroutine Pipelines: A Reconstruction
16:00 - 16:30
PADL
Distributed Protocol Combinators
16:30 - 17:00
PADL
Classes of Arbitrary Kind
17:00 - 17:30
Tue 15 Jan
Displayed time zone:
Belfast
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
Sala IV
PADL
Personalized Course Schedule Planning using Answer Set Programming
09:30 - 10:00
PADL
Static Partitioning of Spreadsheets for Parallel Execution
10:00 - 10:30
PADL
An ASP-based Approach to Representing and Querying Textual Knowledge
11:00 - 11:30
PADL
Strong Equivalence and Program's Structure in Arguing Essential Equivalence
11:30 - 12:00
PADL
Automatic Program Rewriting in Non-Ground Answer Set Programs
12:00 - 12:30
PADL
Composing Syntactical Constructs to Create Domain-Specific Languages
14:00 - 14:30
PADL
Proof Carrying Plans
14:30 - 15:00
PADL
A Combinatorial Testing Framework for Intuitionistic Propositional Theo ...
15:00 - 15:30
x
Sun 22 Dec 07:40