Haskell and Lisp and Formal Verification and Inspiration and Math Conferences
Haskell Lisp Formal Verification Inspiration Math
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam