Theory, Modelling & Computation
Developing safe and correct software is of utmost importance. This is particularly true for modern society where the quality of individual lives as well as whole economies depend on software robustness and reliability.
Develop and implement next-generation programming languages and verification tools to make software development as efficient, effectful and reliable as possible
Theory, modelling and computation provide the foundations and tools for all stages of such software development: logical specifications for design, programming languages for implementation, and testing and model-checking for maintenance.
Relevant fields include logic, category theory, programming languages, model-driven engineering, new computational paradigms, proof assistants, automated reasoning and model-checking.
Research objectives range from foundational research into the very nature of computation, to practical considerations of how to best develop and implement next-generation programming languages and verification tools to make software development as efficient, effectful and reliable as possible.
Many research challenges tackled within the theme are enduring, such as the nature of computation, and questions of mathematical axiomatisation or logical consistency. Others will become increasingly important over the next decade:
EXPLAINABILITY
The rise of AI introduces the need to explain opaque decisions and recommendations made by systems that are thus far treated like a black box.
ACCESSIBILITY
The ubiquity of computational systems offers an opportunity of automation for the general public but requires the development of new “low-code” programming languages.
COMPOSITIONALITY
Computational systems grow rapidly in size and complexity which creates the need for algorithms and tools that operate on smaller, independent components and synthesise overall solutions based on this local analysis.
SUSTAINABILITY
Theclimate emergency requires to limit the energy consumption of computation which requires new resource-aware languages and compilers.
Funding & support for Theory, Modelling & Computation events
Academics and researchers at any SICSA institution are encouraged to organise events and activities throughout the year. If you’re researcher and you have an idea for an event, submit a proposal to our theme leads outlining your plans and funding required.
More info
Join our mailing list!
SICSA Theory, Modelling & Computation is a moderated, low-traffic list to keep you informed about relevant SICSA events and opportunities
Latest news
Conference blog: Fuzzing Workshop @ NDSS 2026
Pre-CHI 2026 Programme
