Live Session 1

Structural Proof-Theory and Logic Programming
-
Keynote Talk by Dale Miller
ekomendantskaya ekomendantskaya

Break
-

A SWI-Prolog based implementation of RML
-
by Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi
ekomendantskaya ekomendantskaya

Certified Semantics for Disequality Constraints
-
by Dmitry Rozplokhas and Dmitry Boulytchev
ekomendantskaya ekomendantskaya

Private types in Higher Order Logic Programming
-
by Marco Maggesi and Enrico Tassi
ekomendantskaya ekomendantskaya

Discussion Session
-
ekomendantskaya ekomendantskaya