Elm and Abstract Algebra and Coq and Idris and Lambda Calculus Conferences
Elm Abstract Algebra Coq Idris Lambda Calculus
AustraliaAustriaBelgiumBosnia and HerzegovinaBrazilBulgariaCanadaChileChinaCroatiaCyprusCzech RepublicDenmarkDominican RepublicEgyptFranceGermanyGreeceHungaryIndiaIrelandIsraelItalyJapanKenyaLuxembourgMexicoNetherlandsNew ZealandNorwayOmanPolandPortugalRomaniaRussiaRwandaSaudi ArabiaSerbiaSingaporeSlovakiaSouth AfricaSouth KoreaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam
Past Elm and Abstract Algebra and Coq and Idris and Lambda Calculus Conferences
![YOW! Lambda Jam 2022](https://cdn.eventyco.com/images/9bbaa986-8b43-4bb5-a1ab-16df610518a4.png)
![YOW! Lambda Jam 2020](https://cdn.eventyco.com/images/672ae987-5b1a-4906-9170-744916be93bb.png)
![Oslo Elm Day 2020](https://cdn.eventyco.com/images/58f84be1-ec8e-432c-9ce0-0776c8bd563d.png)
![flatMap(Oslo) 2020](/img/default-conferences.png)
![Elm Japan 2020](/img/default-conferences.png)
![Lambda Days 2020](/img/default-conferences.png)
![f(by) Conference 2020 – Functional Programming Conference](/img/default-conferences.png)
![elm-conf 2019](/img/default-conferences.png)
![Detroit Tech Watch](/img/default-conferences.png)
![elm Europe](/img/default-conferences.png)
![elm Europe 2019](/img/default-conferences.png)
![Lambda Conf 2019](/img/default-conferences.png)
Jun 05, 2019 - Jun 09, 2019
Lambda Conf 2019
Clojure
Elm
F#
Haskell
Lisp
Prolog
Rust
Scala
Community
Software Testing
Blockchain
Abstract Algebra
APL
Application
Case Study
Category Theory
Coq
Dhall
Formal Verification
Hacket
Idris
Inspiration
j
Keynote
Lambda Calculus
Library
Logic
Math
OCaml
PLT
Proof Systems
PureScript
Racket
Reason
Type Theory
Use Case
Boulder,
United States
![YOW! Lambda Jam 2019](/img/default-conferences.png)
![Elm in the Spring 2019](/img/default-conferences.png)
![Oslo Elm Day 2019](/img/default-conferences.png)