Clojure and Abstract Algebra and Formal Verification Conferences
Clojure Abstract Algebra Formal Verification
AustraliaAustriaBelgiumBosnia and HerzegovinaBrazilBulgariaCanadaChileChinaCroatiaCyprusCzech RepublicDenmarkDominican RepublicEgyptEstoniaFaroe IslandsFinlandFranceGermanyGreeceHungaryIndiaIrelandIsraelItalyJapanKenyaKosovoLithuaniaLuxembourgMacedoniaMaltaMexicoMonacoNetherlandsNew ZealandNorwayOmanPolandPortugalRomaniaRussiaRwandaSaudi ArabiaSerbiaSingaporeSlovakiaSloveniaSouth AfricaSouth KoreaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited States