Coq Seminar

Name: Logical Foundations: Simple Imperative Programs – variables and commands
Start: 2018-12-20T18:00:00+02:00
End: 2018-12-20T20:00:00+02:00
Location: Facultatea de Matematica si Informatica, sala 202

List
Month
Day

December 2018
December 6, 2018 @ 6:00 pm - 8:00 pm

Logical Foundations: Total and Partial Maps

Facultatea de Matematica si Informatica, sala 202

Speaker: Miriam Costan. This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter "Total and Partial Maps"
December 13, 2018 @ 6:00 pm - 8:00 pm

Logical Foundations: Simple Imperative Programs

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"
December 20, 2018 @ 6:00 pm - 8:00 pm

Logical Foundations: Simple Imperative Programs – variables and commands

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"