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

Prof. Dr. Ichiro Hasuo
Director of Research Center for Mathematical Trust in Software and Systems
National Institute of Informatics – Tokyo, Japan

Quantum Circuit Compilation using Formal Methods

Dr. Alfons Laarman and Dr. Tim Coopman
System Verification Lab (SVL) – Leiden University
Leiden, 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

Prof. Dr. Emil Sekerinski
McMaster University
Hamilton, Canada


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.