FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
Fri 17 May 2024 11:30 - 12:00 - Proofs Chair(s): Koko Muroya

Fri 17 May

Displayed time zone: Osaka, Sapporo, Tokyo change

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