This event has passed.

Logical Foundations: Total and Partial Maps

Name: Logical Foundations: Total and Partial Maps
Start: 2018-12-06T18:00:00+02:00
End: 2018-12-06T20:00:00+02:00
Location: Facultatea de Matematica si Informatica, sala 202

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

Speaker: Miriam Costan.

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

Details

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

Venue

: Facultatea de Matematica si Informatica, sala 202