FLOPS 2024
Wed 15 - Fri 17 May 2024
Kumamoto, Japan
Toggle navigation
Attending
Venue: Kumamoto City International Center
Excursion and Banquet
Registration
Announcements to Participants
Program
FLOPS Program
Your Program
Wed 15 May
Thu 16 May
Fri 17 May
Track/Call
Organization
FLOPS 2024 Committees
Organizing Committee
Program Chairs
Program committee
Track Committees
Programme Committee
Contributors
People Index
Search
Series
Series
FLOPS 2024
FLOPS 2022
Sign in
Sign up
FLOPS 2024 (
series
) /
Dakotah Lambert
FLOPS 2024 profile
conf.research.org general profile
Not registered as user
Name:
Dakotah Lambert
Country:
France
Affiliation:
Université Jean Monnet
Contributions
2024
FLOPS
System Description: A theorem-prover for subregular systems: The Language Toolkit and its interpreter, plebby
Show activities from other conferences
Share
FLOPS 2024-profile
View general profile
x
Fri 20 Dec 18:42