FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 15 May

Displayed time zone: Osaka, Sapporo, Tokyo change

09:20 - 09:30
OpeningFLOPS 2024
09:30 - 10:30
Invited TalkFLOPS 2024
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
09:30
60m
Keynote
Algebraic Connection between Logic Programming and Machine Learning
FLOPS 2024
10:30 - 11:00
Coffee breakFLOPS 2024
11:00 - 12:00
Program AnalysisFLOPS 2024
Chair(s): François Fages Inria Saclay - Ile de France
11:00
30m
Talk
Inferring Non-Failure Conditions for Declarative Programs
FLOPS 2024
Michael Hanus Kiel University
11:30
30m
Full-paper
Practical Constant-Time Memory Management for Functional Programming
FLOPS 2024
Chun Kit Lam Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
Pre-print
12:00 - 14:00
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
15:30 - 16:00
Coffee breakFLOPS 2024
16:00 - 17:30
MetaprogrammingFLOPS 2024
Chair(s): Michael Hanus Kiel University
16:00
30m
Talk
MetaOCaml: Ten Years Later (System Description)
FLOPS 2024
Oleg Kiselyov Tohoku University
16:30
30m
Talk
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming
FLOPS 2024
Takashi Suwa Kyoto University and National Institute of Informatics, Atsushi Igarashi Kyoto University
17:00
30m
Talk
[System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming
FLOPS 2024
Supun Abeysinghe Purdue University, Tiark Rompf Purdue University

Thu 16 May

Displayed time zone: Osaka, Sapporo, Tokyo change

09:30 - 10:30
Invited TalkFLOPS 2024
Chair(s): Oleg Kiselyov Tohoku University
09:30
60m
Keynote
Verse: A New Functional Logic Language
FLOPS 2024
Lennart Augustsson Epic Games
10:30 - 11:00
Coffee breakFLOPS 2024
11:00 - 12:00
AlgebraFLOPS 2024
Chair(s): Lennart Augustsson Epic Games
11:00
30m
Talk
Tabulation with Zippers
FLOPS 2024
Marcos Viera University of the Republic, Uruguay, Alberto Pardo Universidad de la Republica, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho
11:30
30m
Talk
Declarative Pearl: Rigged Contracts
FLOPS 2024
Alexander Vandenbroucke Standard Chartered, Tom Schrijvers KU Leuven
12:00 - 14:00
14:00 - 19:45
Excursion and banquetFLOPS 2024

Fri 17 May

Displayed time zone: Osaka, Sapporo, Tokyo change

09:30 - 10:30
Invited TalkFLOPS 2024
Chair(s): Shin-ya Katsumata Kyoto Sangyo University
09:30
60m
Keynote
Verification of Refactoring in Answer Set Programming
FLOPS 2024
Yuliya Lierler University of Nebraska
10:30 - 11:00
Coffee breakFLOPS 2024
11:00 - 12:00
ProofsFLOPS 2024
Chair(s): Koko Muroya RIMS, Kyoto University
11:00
30m
Talk
Language-parameterized Proofs for Functional Languages with Subtyping
FLOPS 2024
Seth Galasso University of Massachusetts Lowell, Matteo Cimini University of Massachusetts Lowell
11:30
30m
Talk
System Description: A theorem-prover for subregular systems: The Language Toolkit and its interpreter, plebby
FLOPS 2024
Dakotah Lambert Université Jean Monnet
12:00 - 13:30
15:00 - 15:30
Coffee breakFLOPS 2024
15:30 - 16:30
Invited TalkFLOPS 2024
Chair(s): Naohiko Hoshino Sojo University
15:30
60m
Keynote
Continuations from Three Angles
FLOPS 2024
Youyou Cong Tokyo Institute of Technology
16:30 - 16:40
ClosingFLOPS 2024