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