We are delighted to announce that we are one of the sponsors for FLOLAC 2024, contributing support to the functional world and the formal methods community.
Please see more on their website: https://flolac.iis.sinica.edu.tw/
FLOLAC 2024
·
33 words
·
1 minute read