Skip to content

SECURITY & APPLIED LOGIC

Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest

Home
News
Seminars
Academic Staff
Contact

1 event found.

Coq Seminar

Events
Coq Seminar

Events for December 20, 2018

Events Search and Views Navigation

Enter Keyword. Search for Events by Keyword.

Event Views Navigation

List
Month
Day

Select date.

6:00 pm

Logical Foundations: Simple Imperative Programs – variables and commands

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

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"

Previous Day
Next Day

Google Calendar
iCalendar
Outlook 365
Outlook Live
Export .ics file
Export Outlook .ics file

Location

Faculty of Mathematics and Computer Science, University of Bucharest,
Academiei 14,
Sector 1, Bucharest 010014

About

Website for the Security and Applied Logic Master’s Program.

Proudly powered by WordPress