Lisp and Formal Verification and Use Case and Oracle and FaaS Conferences
Lisp Formal Verification Use Case Oracle FaaS
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam
Past Lisp and Formal Verification and Use Case and Oracle and FaaS Conferences
Jun 13, 2020
Pittsburgh TechFest 2020
Ruby
Java
JavaScript
Python
Developers
First Time Speakers
General
Software Testing
Developer
SQL
Oracle
Pittsburgh,
United States
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