Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement (FLOPS 2024) - FLOPS 2024

Wed 15 - Fri 17 May 2024 Kumamoto, Japan

Who

Koko Muroya, Makoto Hamana

Track

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 15 May 2024 14:30 - 15:00 - Rewriting Chair(s): Matteo Cimini

Koko Muroya

RIMS, Kyoto University

Japan

Makoto Hamana

Kyushu Institute of Technology, Japan

Japan

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 15 May
Displayed time zone: Osaka, Sapporo, Tokyo change

	14:00 - 15:30	RewritingFLOPS 2024 Chair(s): Matteo Cimini University of Massachusetts Lowell

	14:00 30m Talk		System Description: ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars FLOPS 2024 Maxime Guillaume Yseop/INRIA, Sylvain Pogodalla LORIA/INRIA Lorraine, Vincent Tourneur LORIA/INRIA Nancy
	14:30 30m Talk		Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement FLOPS 2024 Koko Muroya RIMS, Kyoto University, Makoto Hamana Kyushu Institute of Technology, Japan
	15:00 30m Talk		A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting FLOPS 2024 Jan-Christoph Kassing RWTH Aachen, Research Group Computer Science 2, Stefan Dollase RWTH Aachen, Research Group Computer Science 2, Jürgen Giesl RWTH Aachen University