Lisp and Rust and Abstract Algebra and Coq and Use Case Conferences
Lisp Rust Abstract Algebra Coq Use Case
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayPeruPolandRomaniaRussiaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam