Elm and Intermediate and PureScript and Lambda Calculus and Type Theory Conferences
Elm Intermediate PureScript Lambda Calculus Type Theory
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam
Past Elm and Intermediate and PureScript and Lambda Calculus and Type Theory Conferences
Oct 11, 2019
PyData Indy Conf 2019 (IndyPy)
Python
AI/ML
Analytics
Data
Data Science
Security
Blockchain
IoT
PyData
Virtual Reality
Beginner
Intermediate
Privacy
Indianapolis,
United States
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