Erlang and F# and Lambda Calculus and Math and Proof Systems and Professional Skills Conferences
Erlang F# Lambda Calculus Math Proof Systems Professional Skills
AustraliaAustriaBelgiumBosnia and HerzegovinaBrazilBulgariaCanadaChileChinaCroatiaCyprusCzech RepublicDenmarkDominican RepublicEgyptEstoniaFinlandFranceGermanyGreeceHungaryIndiaIrelandIsraelItalyJapanKenyaLuxembourgMexicoNetherlandsNew ZealandNorwayOmanPolandPortugalRomaniaRussiaRwandaSaudi ArabiaSerbiaSingaporeSlovakiaSouth AfricaSouth KoreaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam