Program for Wednesday, October 9th: Talk View

PROGRAM FOR WEDNESDAY, OCTOBER 9TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

10:30-11:00

Solving Proximity Constraints

Temur Kutsia, Cleo Pau

11:00-11:30

A Certified Functional Nominal C-Unification Algorithm

M. Ayala-Rincon, M. Fernández, G. Silva, D. Nantes-Sobrinho

11:30-12:00

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming

Joaquin Arias, Zhuo Chen, Manuel Carro, Gopal Gupta

12:00-12:30

Blockchain Superoptimizer

Julian Nagele, Maria Anna Schett

14:00-15:00

Reversibilization in Functional and Concurrent Programming

German Vidal

15:30-16:00

An Integrated Approach to Assertion-Based Random Testing in Prolog

Ignacio Casso, Jose F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo

16:00-16:30

Trace analysis using an Event-driven Interval Temporal Logic

María-Del-Mar Gallardo, Laura Panizo

16:30-17:00

The Prolog debugger and declarative programming

Włodek Drabent

17:00-17:30

An Optional Static Type System for Prolog

Isabel Wingen, Philipp Koerner

10:00-10:30 Coffee Break

12:30-14:00 Lunch Break

15:00-15:30 Coffee Break