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