Predicate Anti-unification in (Constraint) Logic Programming (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Gonzague Yernaux, Wim Vanhoof

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

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 programSpecify a time band

When

Tue 24 Oct 2023 11:00 - 11:35 at Room VII - Session V Chair(s): Maurizio Proietti

Gonzague Yernaux

University of Namur

Wim Vanhoof

University of Namur

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

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 programSpecify a time band

Session Program

Tue 24 Oct
Displayed time zone: Lisbon change

	11:00 - 12:30	Session VLOPSTR at Room VII Chair(s): Maurizio Proietti CNR-IASI

	11:00 35m Research paper		Predicate Anti-unification in (Constraint) Logic Programming LOPSTR Gonzague Yernaux University of Namur, Wim Vanhoof University of Namur
	11:35 35m Research paper		A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification LOPSTR Jordina Francès de Mas University of St Andrews, St Andrews, UK, Juliana Bowles University of St Andrews, St Andrews, UK
	12:10 20m Short-paper		From Static to Dynamic Access Control Policies via Attribute-Based Category Mining LOPSTR Anna Bamberger , Maribel Fernandez King's College London