[Hol-info] CfP GCM 2022 - 13th International Workshop on Graph Computation Models

[apologies for cross-posting] * CALL FOR PAPERS * === 13th International Workshop on Graph Computation Models (GCM 2022) 4-8 July 2022 (exact day TBC) Venue: Nantes, France Web site: https://gcm2022.github.io/ Part of STAF 2022 (https://staf2022.un

[Hol-info] 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers

17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 23-24 September 2022 https://lsfa2022.dcc.ufmg.br/ Belo Horizonte, Brazil First Call For Papers ***Overview*** Logical and semantic frameworks are formal languages used to represent logics, languages and systems. Th

[Hol-info] IJCAR 2022 - Extended Deadline

IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2022 is the 11th edition of IJCAR. It will be held in Haifa (Israel), August 7-12, 2022, as part of FLoC 2022. IJCAR 2022 is the merger of the following conferences in automated reasoning: + CADE (C

[Hol-info] LPNMR 2022 - second call for workshops

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---     CALL FOR WORKSHOPS    16th International Conference on