Lisp and Clojure and PLT and Proof Systems and Use Case Conferences
Lisp Clojure PLT Proof Systems Use Case
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRussiaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam