Erlang and Lisp and Abstract Algebra and Formal Verification and Inspiration Conferences
Erlang Lisp Abstract Algebra Formal Verification Inspiration
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam