A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Jordina Francès de Mas, Juliana Bowles

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:35 - 12:10 at Room VII - Session V Chair(s): Maurizio Proietti

Jordina Francès de Mas

University of St Andrews, St Andrews, UK

Juliana Bowles

University of St Andrews, St Andrews, UK

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