Reading Group on Introductory Formal Methods (2021/2022)

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, 2nd Edition (link to the book: Logic in Computer Science | Higher Education from Cambridge). 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. 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.

Program:

This reading group will be held in the form of a discussion group, in 10 weekly meetings.

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.

ECTs:

ITU PhD school will issue certificates for 2.5 ECTS for all students who participate actively (lead a session).

Dates (Mondays at 11:00-12:00)

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

Organizers:

• Dr. Mahsa Varshosaz (mahv (at) itu.dk)
• Prof.  Andrzej Wąsowski (wasowski (at) itu.dk)

Lecturers:

• Prof. Erika Abraham, RWTH Aachen University
• Prof. Einar Broch Johnsen, University of Oslo
• Dr. Silvia Lizeth Tapia Tarifa, University of Oslo
• Dr. Mahsa Varshosaz, IT University of Copenhagen
• Prof. Andrzej Wąsowski, IT University of Copenhagen

Sign Up:

Each participant must submit a (upto) two-page overview of their doctoral research that describes their research question, work in progress, and expected contributions.  – Email to mahv@itu.dk. 

Deadline for signing-up: 10/11/2021