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.
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.
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 Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography 2022
22-23 September 2022
Cryptographic protocols have an important role to achieve information security concepts in real world. Those are nice applications of number theory, algebraic geometry, information theory and so on. The aim of this conference is to bring together researchers and provide them with a platform to report on recent developments in logic, cyber security and cryptology.
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.
27-29 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.
28-30 September 2022
The aim of the VECoS conference is to bring together researchers and practitioners, in the areas of verification, control, performance, quality of service, dependability evaluation and assessment, in order to discuss the state-of-the-art and the challenges in modern computer and communication systems in which functional and non-functional properties are strongly interrelated.
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.