CICM 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.

PPDP 2022
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.

LOPSTR 2022
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.

BlackSea 2022
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.

MPC 2022
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.

ICTAC 2022
International Colloquium on Theoretical Aspects of Computing

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.

VECoS 2022
International Conference on Verification and Evaluation of Computer and Communication Systems

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.

RV 2022
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.

Flag Counter