This event has passed.

Logical Foundations: Simple Imperative Programs

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

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

Presenter: Traian Serbanuta.

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

Details

Date:: December 13, 2018
Time:: 6:00 pm - 8:00 pm
Event Categories:: Coq Seminar, Seminar

Venue

: Facultatea de Matematica si Informatica, sala 202