FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
Wed 15 May 2024 14:00 - 14:30 - Rewriting Chair(s): Matteo Cimini

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, Stefan Dollase RWTH Aachen, Research Group Computer Science 2, Jürgen Giesl RWTH Aachen University