Ruby and F# and Formal Verification and Logic and PLT Conferences
Ruby F# Formal Verification Logic PLT
ArmeniaAustraliaAustriaBelgiumBosnia and HerzegovinaBrazilBulgariaCanadaChileChinaCroatiaCyprusCzech RepublicDenmarkDominican RepublicEgyptEstoniaFinlandFranceGermanyGreeceHungaryIndiaIrelandIsraelItalyJapanKenyaLuxembourgMexicoNetherlandsNew ZealandNorwayOmanPolandPortugalRomaniaRussiaRwandaSaudi ArabiaSerbiaSingaporeSlovakiaSouth AfricaSouth KoreaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam