Prolog and Case Study and Hacket and Logic and Type Theory and Productivity Conferences
Prolog Case Study Hacket Logic Type Theory ProductivityPast Prolog and Case Study and Hacket and Logic and Type Theory and Productivity Conferences







Aug 01, 2020 - Aug 02, 2020
droidcon Islamabad
Kotlin
Architecture
Software Testing
AI/ML
UI/UX
Android
Virtual Reality
Human (Soft) Skills
Case Study
Islamabad,
Pakistan



Jun 06, 2019 - Jun 07, 2019
DevRelCon San Francisco 2019
CLI
Community
Developer Marketing
Developer Relations
Diversity
Documentation
Leadership
Open Source
Empathy
Internal Tools
Metrics
Product Design
Productivity
Support
San Francisco,
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