Elixir and F# and Formal Verification and j and Type Theory Conferences
Elixir F# Formal Verification j Type Theory
ArmeniaAustraliaAustriaBelgiumBosnia and HerzegovinaBrazilBulgariaCanadaChileChinaCroatiaCyprusCzech RepublicDenmarkDominican RepublicEgyptEstoniaFinlandFranceGermanyGreeceHungaryIndiaIrelandIsraelItalyJapanKenyaLuxembourgMexicoNetherlandsNew ZealandNorwayOmanPolandPortugalRomaniaRussiaRwandaSaudi ArabiaSerbiaSingaporeSlovakiaSloveniaSouth AfricaSouth KoreaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam