Call for Papers - ICTAC 2025
https://ictac2025.digital-hub.sh/
International Colloquium on Theoretical Aspects of Computing
Marrakech, Morocco, November 24th to 28th, 2025

About ICTAC:

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through (formal) methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.


Topics of Interest:

The conference concerns all aspects of theoretical computer science, including, but not limited to:

Invited Speakers

Publication:


Deadlines:

General Co-Chairs

Program Co-Chairs

Program Committee


-- 
------------------------------------------------------------------------
| Martin Leucker                                                       |
| Institute for Software Engineering and Programming Languages         |
| University of Luebeck                                                |
| Germany                                                              |
------------------------------------------------------------------------
| NEW NUMBER:                   | Email: leucker@isp.uni-luebeck.de    |
| Tel.: +49/451/3101 6500       | Web:   http://www.isp.uni-luebeck.de |
------------------------------------------------------------------------