FLOPS 2024 (series) /
FLOPS 2024 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Wed 15 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
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 60mKeynote | Algebraic Connection between Logic Programming and Machine Learning FLOPS 2024 Katsumi Inoue NII | ||
10:30 - 11:00 | Coffee breakFLOPS 2024 | ||
11:00 - 12:00 | |||
11:00 30mTalk | Inferring Non-Failure Conditions for Declarative Programs FLOPS 2024 Michael Hanus Kiel University | ||
11:30 30mFull-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 | LunchFLOPS 2024 | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement FLOPS 2024 | ||
15:00 30mTalk | 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 | |||
16:00 30mTalk | MetaOCaml: Ten Years Later (System Description) FLOPS 2024 Oleg Kiselyov Tohoku University | ||
16:30 30mTalk | 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 30mTalk | [System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming FLOPS 2024 | ||
Thu 16 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 16 May
Displayed time zone: Osaka, Sapporo, Tokyo change
09:30 - 10:30 | |||
09:30 60mKeynote | Verse: A New Functional Logic Language FLOPS 2024 Lennart Augustsson Epic Games | ||
10:30 - 11:00 | Coffee breakFLOPS 2024 | ||
11:00 - 12:00 | |||
11:00 30mTalk | 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 30mTalk | Declarative Pearl: Rigged Contracts FLOPS 2024 | ||
12:00 - 14:00 | LunchFLOPS 2024 | ||
14:00 - 19:45 | Excursion and banquetFLOPS 2024 | ||
Fri 17 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 17 May
Displayed time zone: Osaka, Sapporo, Tokyo change
09:30 - 10:30 | |||
09:30 60mKeynote | 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 | |||
11:00 30mTalk | Language-parameterized Proofs for Functional Languages with Subtyping FLOPS 2024 | ||
11:30 30mTalk | 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 | LunchFLOPS 2024 | ||
13:30 - 15:00 | |||
13:30 30mTalk | DeepLLM: Casting Dialog Threads into Logic Programs FLOPS 2024 Paul Tarau University of North Texas | ||
14:00 30mTalk | [System description paper] A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics FLOPS 2024 François Fages Inria Saclay - Ile de France | ||
14:30 30mTalk | Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description) FLOPS 2024 Bjoern Lellmann Bundesministerium für Finanzen, Philipp Marek BRZ, Markus Triska Bundesministerium für Finanzen | ||
15:00 - 15:30 | Coffee breakFLOPS 2024 | ||
15:30 - 16:30 | |||
15:30 60mKeynote | Continuations from Three Angles FLOPS 2024 Youyou Cong Tokyo Institute of Technology | ||
16:30 - 16:40 | ClosingFLOPS 2024 | ||