Here is the preliminary schedule of the workshop.
Schedule live sessions
We plan to start the live sessions at 8:00 UTC (1:00 PDT, 4:00 EDT, 9:00 BST, 10:00 CEST, 11:00 MSK). The submitted full presentations consists of 15 min talk plus 15 min questions. The schedule for the two sessions is as follows:
Thursday 28 May 2020 (time in UTC)
8:00 - 9:00 Keynote talk by Dale Miller
9:00 - 9:30 Break
9:30 - 10:00 Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML
10:00 - 10:30 Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints
10:30 - 11:00 Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming
11:00 - 11:30 Discussion session
Friday 29 May 2020 (time in UTC):
13:30 - 15:00 Tutorial by Uli Sattler
15:00 - 15:30 Break
15:30 - 16:00 Olivier Hermant and James Lipton: Eliminating Cuts in HoiC
16:00 - 16:30 Vivek Nigam: A Proof Theory for Distributed Evidential Transactions
16:30 - 17:30 Panel: Discussion of the future development of methods inspired by relational and logic programming