FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Automatic Deployment of Component-Based Applications in the Cloud

Mădălina Erașcu and Bogdan David

Enumerating Projective Planes of Order Nine with Proof Verification

Daniel Dallaire and Curtis Bright
Total: 2 presentations.