FLOLAC 2022

August 1, 2022

We were one of the sponsors for FLOLAC 2022, supporting the functional programming and formal methods community.

FLOLAC 2022 sponsorship image

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