Lisp and Coq and Formal Verification and OCaml and Use Case Conferences
Lisp Coq Formal Verification OCaml Use Case
ArgentinaAustraliaAustriaBelgiumCanadaColombiaCyprusCzech RepublicDenmarkFinlandFranceGermanyGreeceIndiaIndonesiaItalyJapanLithuaniaMexicoMoroccoNetherlandsNew ZealandNorwayPolandPortugalRomaniaRussiaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam
Past Lisp and Coq and Formal Verification and OCaml and Use Case Conferences
Oct 24, 2019
ServerlessDays Stockholm 2019
C#
Go
Java
JavaScript
PHP
Python
Ruby
Rust
Analytics
Security
Software Testing
AWS
Azure
Cloud
GCP
Open Source
Oracle
Serverless
Web
Best Practices
FaaS
IBM
Lambda
Open-FaaS
PoC
Tooling
Use Case
Stockholm,
Sweden
Jun 21, 2019
ServerlessDays Milano 2019
Analytics
Security
Software Testing
AWS
Azure
GCP
Open Source
Oracle
Web
Best Practices
FaaS
IBM
Open-FaaS
PoC
Tooling
Use Case
Milan,
Italy
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