Python and Lisp and F# and Proof Systems and Use Case Conferences
Python Lisp F# Proof Systems Use Case
ArgentinaAustraliaAustriaBelgiumCanadaColombiaCyprusCzech RepublicDenmarkFinlandFranceGermanyGreeceIndiaIndonesiaItalyJapanLithuaniaMexicoMoroccoNetherlandsNew ZealandNorwayPolandPortugalRomaniaRussiaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam