Computational Logic Autumn Summit 2022
Conference on Intelligent Computer Mathematics
19-23 September 2022
The Conference on Intelligent Computer Mathematics (CICM) is an organization and a conference dedicated to promoting the advancement of machine-supported reasoning, computation, and knowledge management in Science, Technology, Engineering, and Mathematics.
International Symposium on Principles and Practice of Declarative Programming
20-22 September 2022
PPDP aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint, and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages.
International Symposium on Logic-based Program Synthesis and Transformation
21-23 September 2022
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR has a reputation for being a lively, friendly forum, open to contributions in logic-based program development in any language paradigm.
International Conference on Mathematics of Program Construction
26-28 September 2022
The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs.
International Colloquium on Theoretical Aspects of Computing
27-30 September 2022
The International Colloquium on Theoretical Aspects of Computing (ICTAC) was founded in 2004. It takes place every year preferably in a developing country. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.
22nd International Conference on Runtime Verification
28-30 September 2022
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.