An introduction to Runtime Verification

Prof. Dr. Martin Leucker
Institute of Software Engineering and Programming Languages
University of Lübeck, Germany

Abstract and Concrete Model Checking: Through the Lens of Lattice Theory and Category Theory

Alfons Laarman

Quantum Circuit Compilation using Formal Methods

Dr. Alfons Laarman
System Verification Lab (SVL)
Leiden University, Netherlands

Dr. Tim Coopmans
QuTech and Delft University of Technology
Netherlands

SAT Solvers: Modern Approaches and Applications

Dr. Priyanka Golia
Computer Science and Engineering Department
Indian Institute of Technology Delhi – New Delhi, India

Formal Aspects of Model-Driven Development — A Unified Method

Prof. Dr. Zhiming Liu
Centre for Research and Innovation in Software Engineering (RISE)
Southwest University, Chongqing

A Formal Look at Programming

ProofBuddy: A Gentle Online Proof Assistant for Learners

Prof. Dr. Uwe Nestmann and Nadine Karsten
Technische Universität Berlin
Berlin, Germany

Venue

The ICTAC 2023 tutorials and training lectures will be held at the campus of the Asian Institute of Technology, Pathum Thani, north of Bangkok on the 25th and 26th of November 2024.

The tutorials target participants who have formal methods background, while the training lectures targets master students, Ph.D. students, early-stage researchers, and lecturers in the field of computer science and mathematics that are not familiar with formal methods and want to get a taste of what formal methods is. Here by formal methods, we intend mathematical approaches to software and system development which support the rigorous specification, design and verification of computer systems.