Lisp and Formal Verification and Inspiration and Math and Mental Health Conferences
Lisp Formal Verification Inspiration Math Mental Health
ArgentinaAustraliaAustriaBelgiumBrazilBulgariaCanadaCayman IslandsChinaColombiaCroatiaCyprusCzech RepublicDenmarkEgyptFinlandFranceGermanyGreeceHungaryIndiaIndonesiaIrelandIsraelItalyJapanLithuaniaMalaysiaMexicoMoroccoNetherlandsNew ZealandNigeriaNorwayOmanPeruPolandRomaniaRwandaSerbiaSingaporeSouth AfricaSpainSwedenSwitzerlandTurkeyUkraineUnited Arab EmiratesUnited KingdomUnited StatesVietnam
Past Lisp and Formal Verification and Inspiration and Math and Mental Health Conferences
May 14, 2024 - May 16, 2024
4Gamechangers Festival 2024
Women in Tech
Finance
Humanity
Social
Entrepreneurship
Sustainable development goals
Innovation
HealthTech
Media
Social Topics
Sustainability
jobs
Technology
Health
Culture and Climate
Mental Health
Vienna,
Austria
Aug 24, 2019 - Aug 25, 2019
WordCamp Ann Arbor 2019
CSS
JavaScript
PHP
Diversity
Security
Software Testing
Accessibility
Blogging
Inspiration
Mental Health
SEO
Ann Arbor,
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