Call for Papers - ICTAC
2025
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:
-
Formal languages and automata
-
Semantics of programming languages
-
Logic in computer science
-
Lambda calculus, type theory, and category theory
-
Domain-specific languages
-
Theories of concurrency and mobility
-
Theories of distributed computing
-
Models of objects and components
-
Coordination models
-
Security and privacy
-
Static analysis
-
Software verification
-
Timed, hybrid, and cyber-physical systems
-
Verification, analysis and control synthesis
-
Software testing
-
Program generation and transformation
-
Model checking and theorem-proving
-
Quantum computing
-
Trustworthy AI
-
Machine learning algorithms
-
Applications and experience
Invited Speakers
-
Antoine Girard,
University Paris-Saclay, CNRS, France
-
Klaus Havelund,
NASA’s Jet Propulsion Laboratory, California Institute of
Technology, USA
-
Joost-Pieter
Katoen, RWTH Aachen University, Germany
-
Kim Guldstrand
Larsen, Aalborg University, Denmark
Publication:
-
All
accepted papers will be published in Springer's Lecture Notes
in Computer Science.
- Springer
sponsors the ICTAC 2025 Best Paper Award with a cash prize of
1.000 Euro.
- There
will be a special issue for selected papers from ICTAC 2025 in
the Elsevier’s journal Theoretical Computer Science.
Deadlines:
-
July, 03rd: Abstracts (extended)
-
July, 09th: Full papers (extended)
-
August, 30th: Notification
-
September, 15th: Camera-ready papers
General
Co-Chairs
- Ahmed
Bouajjani Université de Paris, France
- Mohammed
Erradi ENSIAS, UM5R, Morocco
Program
Co-Chairs
- Zhiming
Liu Southwest University, China
- Adnane
Saoud UM6P, Morocco
- Heike
Wehrheim University of Oldenburg, Germany
Program
Committee
- Jorge
A. Pérez University of Groningen, Netherlands
- Laurent
Fribourg ENS Paris-Saclay, LMF, France
- Lina
Ye CentraleSupélec, LRI, University Paris–Saclay, France
- Abderrahim
Ait Wakrime UM5R, Morocco
- Maike
Schwammberger Karlsruhe Institute of Technology, Germany
- Kirstin
Peters Universität Augsburg, Germany
- Emil
Sekerinski McMaster University, Canada
- Ichiro
Hasuo National Institute of Informatics, Japan
- Kim
Guldstrand Larsen Computer Science, Aalborg University,
Denmark
- Yuxin
Deng East China Normal University, China
- Zhilin
Wu Institute of Software, Chinese Academy of Sciences,
China
- Jan
Kretinsky Masaryk University, Czech Republic
- Sadegh
Soudjani Max Planck Institute, Germany
- Annabelle
McIver Macquarie University, Australia
- Rosemary
Monahan Maynooth University, Ireland
- Marcello
Bonsangue Leiden University, Netherlands
- Ana
Sokolova University of Salzburg, Austria
- Pushpak
Jagtap Indian Institute of Science, Bangalore, India
- Silvia
Lizeth Tapia Tarifa University of Oslo, Norway
- Jim
Woodcock University of York, United Kingdom
- Augusto
Sampaio Federal University of Pernambuco, Brazil
- Marjan
Sirjani Mälardalen University, Sweden
- Cong
Tian Xidian University, China
- Maurice
ter Beek CNR, Italy
- Tarmo
Uustalu Reykjavik University, Iceland
- Miaomiao
Zhang Tongji University, China
- Sarah
Winkler Free University of Bozen-Bolzano, Italy
- Hussein
Sibai Washington University in St. Louis, USA
- Tomás
Vojnar Brno University of Technology, Czech Republic
- Peter
Habermehl IRIF, Université Paris Cité, France
- Julien
Signoles CEA LIST, France
- Chelsea
Edmonds University of Sheffield, United Kingdom
- Inigo
Incer University of Michigan, USA
- Organizing
Committee
- Abderrahim
Ait Wakrime UM5R, Morocco
- Sadek
Belamfedel Alaoui UM6P, Morocco
- Khaoula
Boukir Ibn Tofail University, Morocco
- Karam
Kharraz University of Lübeck, Germany
- Adnane
Saoud UM6P, Morocco
--
------------------------------------------------------------------------
| 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 |
------------------------------------------------------------------------