Haskell and Scala and Lisp and Formal Verification and Idris Conferences
Haskell Scala Lisp Formal Verification Idris
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRussiaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam