Name: Monadic Warsaw #25
Start: 2023-05-16T18:00:00+02:00
End: 2023-05-16T20:00:00+02:00
Location: Centrum Zarządzania Światem

Hey everyone!

A new Monadic Warsaw is upon us. As always, if you want to add your talk to the pool, just contact the organizers.

**Maciej Bielecki: Certified TodoMVC - writing web apps in Coq**
Automated theorem provers are used to ensure correctness of critical applications like filesystems or compilers all over the world. Yet in the web development world, they remain an obscure curiosity. Can this situation be improved? In this talk we'll explore how can a web app be written in the Coq theorem prover, and how to prove facts about its behavior.

Michal Kawalec

Monadic Warsaw

Technology

Lisp

Programming Languages

Scala

Haskell

Functional Programming

Clojure

Erlang Programming

Monadic Warsaw #25

Centrum Zarządzania Światem

Share

Monadic Warsaw

Monadic Warsaw #25

Monadic Warsaw

Details

Members are also interested in