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

See the event website for more: https://flolac.iis.sinica.edu.tw/
September 1, 2024
We were one of the sponsors for FLOLAC 2024, contributing support to the functional programming and formal methods community.

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