OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT 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
Track/Call
Organization
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 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
Sat 23 Nov 22:11