Logical Foundations: Simple Imperative Programs - variables and commands
2018-12-20 18:00 - 20:00 (Europe/Bucharest) | Facultatea de Matematica si Informatica, sala 202
Presenter: Traian Serbanuta.

This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter “IMP: Simple Imperative Programs”

Logical Foundations: Simple Imperative Programs
2018-12-13 18:00 - 20:00

Logical Foundations: Total and Partial Maps
2018-12-06 18:00 - 20:00
Speaker: Miriam Costan.

This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter “Total and Partial Maps”
