{"id":1739,"date":"2021-10-27T10:22:08","date_gmt":"2021-10-27T10:22:08","guid":{"rendered":"https:\/\/remaro.eu\/?page_id=1739"},"modified":"2024-01-22T19:01:37","modified_gmt":"2024-01-22T19:01:37","slug":"reading-group-on-introductory-formal-methods","status":"publish","type":"page","link":"https:\/\/remaro.eu\/index.php\/reading-group-on-introductory-formal-methods\/","title":{"rendered":"Reading Group on Introductory Formal Methods (2021\/2022)"},"content":{"rendered":"\n

The aim of this reading group is to critically engage with Formal Methods. We will start reading the book: Logic in Computer Science written by Michael Huth and Mark Ryan<\/strong>, 2nd Edition (link to the book: Logic in Computer Science | Higher Education from Cambridge<\/strong><\/a>). The readings cover fundamental topics such as propositional logic, predicate logic, temporal logic, and the basics of model checking and program verification. The meetings will take place on a weekly basis at the IT University of Copenhagen and Virtually<\/strong>. Participants from all disciplinary backgrounds with an interest in Formal Methods are welcome to join the reading group. The Reading covers ~60% of the topics of the book.<\/p>\n\n\n\n

<\/p>\n\n\n\n

Program:<\/strong><\/p>\n\n\n\n

This reading group will be held in the form of a discussion group, in 10 weekly meetings.<\/p>\n\n\n\n

First a chapter is presented collaboratively by lecturers and students in an hour introduction session, followed by another session the week after in which all participants will continue with a thorough discussion on the chapter for an hour. The discussion is led by a student.<\/p>\n\n\n\n

<\/p>\n\n\n\n

ECTs:<\/strong><\/p>\n\n\n\n

ITU PhD school will issue certificates for 2.5 ECTS for all students who participate actively (lead a session).<\/p>\n\n\n\n

<\/p>\n\n\n\n

Dates (Mondays at 11:00-12:00)<\/strong><\/p>\n\n\n\n

Day<\/strong><\/td>Date<\/strong><\/td>Lecture Title <\/strong><\/td>Lecturer<\/strong><\/td><\/tr>
1<\/strong><\/td>Nov. 15th<\/td>Propositional Logic, Presentation and Discussion<\/td>Prof. Erika Abraham<\/td><\/tr>
2<\/strong><\/td>Nov. 22nd<\/td>Propositional Logic<\/td>– Discussion- <\/td><\/tr>
3<\/strong><\/td>Nov. 29th<\/td>Predicate Logic, Presentation and Discussion<\/td>Prof. Andrzej W\u0105sowski<\/td><\/tr>
4<\/strong><\/td>Dec. 6th<\/td>Predicate Logic<\/td>– Discussion-<\/td><\/tr>
5<\/strong><\/td>Dec. 13th<\/td>Verification by Model Checking including Temporal Logics, Presentation and Discussion<\/td>Dr. Mahsa Varshosaz<\/td><\/tr>
6<\/strong><\/td>Dec. 20th<\/td>Verification by Model Checking including Temporal Logics<\/td>– Discussion-<\/td><\/tr>
7<\/strong><\/td>Jan. 17th<\/td>Program Verification,  Presentation and Discussion<\/td>Prof. Einar Broch Johnsen, Dr. Silvia Lizeth Tapia Tarifa<\/td><\/tr>
8<\/strong><\/td>Jan. 24th<\/td>Program Verification<\/td>– Discussion-<\/td><\/tr>
9<\/strong><\/td>Jan. 31st<\/td>Binary Decision Diagrams,  Presentation and Discussion<\/td>Prof. Erika Abraham<\/td><\/tr>
10<\/strong><\/td>Feb. 7th<\/td>Binary Decision Diagrams<\/td>– Discussion-<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n\n\n\n

Organizers:<\/strong><\/p>\n\n\n\n