The Virtual Workshop consists out of pre-recorded lightning talks, a discussion forum and two live sessions. The live sessions will be held on Zoom and the data is available here after signing up to the forum (you have to be logged in).
The first live session will start at 8:00 UTC (see here for your time zone) and the second at 13:30 UTC (see here for your time zone). During the live sessions, we have each one invited presentation, several contributed presentations and discussion sessions. The contributed presentations consist each of 15 min talk plus 15 min questions and are complemented by the pre-recorded lightning talks.
The schedule for the two sessions is as follows.
Live Session on Thursday, 28 May 2020
All times are in UTC, see here for your time zone.
Live Session 1
-
Structural Proof-Theory and Logic Programming
-
Keynote Talk by Dale Miller
-
Break
-
-
A SWI-Prolog based implementation of RML
-
by Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi
-
Certified Semantics for Disequality Constraints
-
by Dmitry Rozplokhas and Dmitry Boulytchev
-
Private types in Higher Order Logic Programming
-
by Marco Maggesi and Enrico Tassi
-
Discussion Session
-
Live Session on Friday, 29 May 2020
All times are in UTC, see here for your time zone.
Live Session 2
-
Description Logics and Ontology Languages – an introduction and overview
-
Invited tutorial by Uli Sattler
-
Break
-
-
Eliminating Cuts in HoiC
-
by Olivier Hermant and James Lipton
-
A Proof Theory for Distributed Evidential Transactions
-
by Vivek Nigam
-
Panel: Discussion of the future development of methods inspired by relational and logic programming
-
with William Byrd, James Lipton and Dale Miller