[Hol-info] CFP: 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022)

CALL FOR PAPERS 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/ Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumpt

[Hol-info] CONCUR 2022: first call for papers

CONCUR 2022: first call for papers == September 13-16, 2022 at the University of Warsaw, Poland Website: https://concur2022.mimuw.edu.pl/ Co-located with QEST, FORMATS, FMICS (under the joint name CONFEST) The purpose of CONCUR 2022, the 33rd International Confe

[Hol-info] MARS@ETAPS'22: Call for Papers

MARS 2022 - CALL FOR PAPERS - Munich (Germany) - 2-3 April 2022 Call for Papers Models for Formal Analysis of Real Systems (MARS 2022) 2-3 April 2022 Affiliated with ETAPS 2022

[Hol-info] * CONFEST 2022 * -- Call for Workshop Proposals

* CONFEST 2022 * -- Call for Workshop Proposals September 12 - September 17 2022, Warsaw, Poland (https://confest2022.mimuw.edu.pl/) CONFEST is the umbrella conference comprising the joint international 2022 meetings: - CONCUR (33st International Conference on Concurrency Theory), - QEST (19