search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Formalno verificirani algoritmi #77

Open vedgar opened 3 years ago

vedgar commented 3 years ago

Course code, if applicable: University hosting the course: University of Zagreb Contact person: Vedran Čačić, veky@math.hr Concepts taught: Automated Reasoning,Axiomatic Semantics ,Data Structures,Deductive Software Verification,Formal Specification,Interactive Theorem Proving,Relations,Theorem Proving Tools used: Coq,Haskell,OCaml Webpage: Year/Level: PhD Reviewed: 2021/09/03

jff commented 3 years ago

Thanks for your submission! Your course is now listed in the public database.

@vedgar, if this course has a website, please let us know so that we can add it to the database.

vedgar commented 3 years ago

Sorry, it doesn't have a website, it's mostly meant as a small group of students learning Coq. Of course, if anyone is interested, they can send me an email and I'll explain everything, but since it's in Croatian I doubt there'll be much international interest. :-)

[I thought a long time about whether to make it in English. In the end I concluded that there are much better Coq English courses than whatever I can hope to do, and the only way I could be a king in my village is to teach it in my native language.:]