Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc Programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc Programme
    • Student Life
    • Women in tech
    • Student Organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc Programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Computer Games Research
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Research Centre for Government IT
    • Research Institutes
    • Danish Institute for IT Program Management
    • Selected Research Themes
    • Artificial intelligence
    • Big Data
    • Climate IT
    • Computer games
    • Blockchain
    • Digitalization
    • IT security
    • Find a Researcher
    • Faculty Search
    • PhD Programme
    • About the PhD Programme
    • Available PhD Positions
    • PhD Courses
    • Research Ethics and Integrity
    • Good Scientific Practice
    • PhD Defences
    • Technical Reports
    • Technical Reports
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Portraits of ITU graduates
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup programme
    • Startup stories
  • About ITU
    • Vacancies
    • Press
    • ITU Alumni
    • News
    • Calendar
    • Contact
    • About ITU
  • DK
PhD Courses
ITU  /  Research  /  PhD Programme  /  PhD Courses  /  PhD courses 2022  /  PhD Reading Group - Introductory Formal Methods
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
    • PhD Programme
      • Industrial PhD
      • Marie Curie European Industrial PhD
      • Project PhD
      • Institute PhD
      • Independent PhD - Tuition Fee Free
      • PhD Positions
      • PhD Courses
        • PhD courses 2022
          • PhD Course - International Blockchain School - Winter Edition
          • Literature management module 1 - Academic information seeking and reference management
          • Literature management module 2 - Literature reviews: planning and searching for evidence
          • Literature management module 3 Researcher’s rights to scientific works and Anti-plagiarism screening
          • PhD Course - An Introduction to Data Visualization and Data Visualization Technology
          • PhD Course - Critical Participatory Research and Design
          • PhD Course - Deep Learning - A Computational Efficiency Perspective
          • PhD Course - Eludamos Symposium Doctoral Consortium
          • PhD Course - Experimenting with ethnography
          • PhD Course - Polynomials and algebraic complexity theory
          • PhD Course - Program Verification
          • PhD Course - Research Code of Conduct
          • PhD Reading Group - Introductory Formal Methods
            • PhD Study Group - Deep Generative Models
            • PhD Symposium - Into the academic Werkstatt - the craft of writing and preparing for publication
          • PhD courses 2021
          • PhD courses 2020
          • PhD Courses 2019
          • PhD Courses 2018
          • PhD courses 2017
          • PhD courses 2016
          • PhD courses 2015
          • PhD courses 2014
          • PhD courses 2013
          • PhD courses 2012
          • PhD courses 2011
          • PhD courses 2010
        • PhD Defences
        • PhD Handbook
        • PhD Support
      • Center for Digital Welfare

    PhD Reading Group - Introductory Formal Methods

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

    Lecturers: 

    • Prof. Erika Abraham, RWTH Aachen University (abraham@informatik.rwth-aachen.de)
    • Prof. Einar Broch Johnsen, University of Oslo (einarj@ifi.uio.no)
    • Dr. Silvia Lizeth Tapia Tarifa, University of Oslo (sltarifa@ifi.uio.no)
    • Dr. Mahsa Varshosaz, IT University of Copenhagen (mahv@itu.dk)
    • Prof. Andrzej Wąsowski, IT University of Copenhagen (wasowski@itu.dk)

    Course advertisement:

    Reading group page: https://remaro.eu/index.php/2021/10/15/reading-group-on-introductory-formal-methods/

    Dates of the course: 

    15/11-2021 from 11:00-12:00
    22/11-2021 from 11:00-12:00
    29/11-2021 from 11:00-12:00
    06/12-2021 from 11:00-12:00
    13/12-2021 from 11:00-12:00
    20/12-2021 from 11:00-12:00
    17/01-2022 from 10:00-11:00
    24/01-2022 from 11:00-12:00
    31/01-2022 from 11:00-12:00
    07/02/2022 from 11:00-12:00

    Where:

    Place at ITU will be announced in the website/Online

    Course description:

    The aim of the reading group is to critically engage with Formal Methods. We will start reading the book: Logic in Computer Science by Michael Huth and Mark Ryan, 2nd Edition. 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 about 60% of the topics of the book. After the course, the students should be able to explain and discuss basic formal methods concepts, build formal models, and follow and create proofs of simple theorems.

    Programme:

    Programme

    This reading group will be held in the form of a discussion group; 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.

    • 15/11-2021 from 11:00-12:00 (Topic: Propositional Logic, Lecturer: Prof. Erika Abraham)
    • 22/11-2021 from 11:00-12:00 (Topic: Propositional Logic)
    • 29/11-2021 from 11:00-12:00 (Topic: Predicate Logic, Lecturer: Prof. Andrzej Wąsowski)
    • 06/12-2021 from 11:00-12:00 (Topic:Predicate Logic)
    • 13/12-2021 11:00-12:00 (Topic: Verification by Model Checking including Temporal Logics, lecturer:
      Dr. Mahsa Varshosaz)
    • 20/12-2021 from 11:00-12:00 (Topic: Verification by Model Checking including Temporal Logics)
    • 17/01-2022 from 10:00-11:00, (Topic: Program Verification, Lectures: Prof. Einar Broch Johnsen, Dr.
      Silvia Lizeth Tapia Tarifa)
    • 24/01-2022 from 11:00-12:00, (Topic: Program Verification)
    • 31/01-2022 from 11:00-12:00, (Topic: Binary Decision Diagrams, Lecturer: Prof. Erika Abraham)
    • 07/02/2022 from 11:00-12:00, (Topic: Binary Decision Diagrams)

    Reading list:

    Logic in Computer Science by Michael Huth and Mark Ryan, 2nd Edition (about 300 pages).

    Prerequisites:

    None.

     

    Exam: 

    Each student should lead a discussion or an introduction session at least once.

    Credits: 

    The course is eligible for 2.5 ECTS.

    Amount of hours the student is expected to use on the course:

    Participation: one hour per meeting
    Preparation: six hours per meeting (+ three hours of extra time when preparing a presentation)

    How to sign up:

    Each participant must submit an overview (up to one page) of their doctoral
    research that describes their research question and expected contributions.
    Email to mahv@itu.dk.

    Deadline for signing-up 07/11-2021.


    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53

    This page is printed from https://en.itu.dk/research/portalplaceholder?layoutfraction=top&langRef=https://pure.itu.dk/portal/da/organisations/digital-design(d065e6c2-4fae-4d68-ad04-70aec25d2d5e)/clippings.html?page=29