FLOLAC 2024

September 1, 2024

We were one of the sponsors for FLOLAC 2024, contributing support to the functional programming and formal methods community.

FLOLAC 2024 sponsorship image

See the event website for more: https://flolac.iis.sinica.edu.tw/