Elm and Beginner and PureScript and Coq and Lambda Calculus and Math and Reason Conferences
Elm Beginner PureScript Coq Lambda Calculus Math ReasonPast Elm and Beginner and PureScript and Coq and Lambda Calculus and Math and Reason Conferences


Oct 20, 2020 - Oct 21, 2020
DevOpsDays Philadelphia 2020
JavaScript
Python
Ruby
Automation
Culture
DevOps
AI/ML
Security
AWS
Azure
CI/CD
Node.js
Beginner
Deep-Dive
GCE
Inclusive
Lightning Talk
SoftSkills
Talk
Workshop
Philadelphia,
United States







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



