Haskell and Lisp and PureScript and Prolog and Proof Systems and Authentication Conferences
Haskell Lisp PureScript Prolog Proof Systems AuthenticationPast Haskell and Lisp and PureScript and Prolog and Proof Systems and Authentication Conferences





















Aug 01, 2019 - Aug 02, 2019
Mid-Atlantic Developer Conference 2019
C#
C++
Go
Haskell
Java
JavaScript
PHP
Python
Ruby
Swift
Database
DevOps
Leadership
Performance
Security
API
Open Source
ASP
Authentication
Caching
Chatbots
Customer Service
Deployment
Frameworks
Health
Management
Mentoring
Scaling
Work-life Balance
Baltimore,
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

