[Hol-info] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers

*** Apologies for cross postings *** [Abstract Submission: May 9, 2022 / Doctoral programme: July 15, 2022] Second Call for Papers formal papers - informal papers - doctoral programme 15th Conference on Intelligent Computer Mathematics

[Hol-info] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs

Dear all, The FM Tutorial series continues with Prof. Jeremy Gibbons's lecture on THURSDAY April 28, 2022, at 3 pm CET: His talk is entitled "How to Design Co −Programs". The abstract of Prof. Gibbons's lecture is here: The observation that program structure follows data structure is a key lesson

[Hol-info] Last CfP - NMR 2022: 20th International Workshop on Non- Monotonic Reasoning - Extended Deadlines

* Apologies if you receive multiple copies of this call * == Call for Papers NMR 2022 Dates: 7-9 August 2022 Haifa, Israel * Deadlines: 27 April & 4 May 2022 (EXTENDED)* == The 20th International Workshop on Nonmonotonic Reasoning (N

[Hol-info] [fm-announcements] NFM 2022 - Call for participation

CALL FOR PARTICIPATION 14th NASA Formal Methods Symposium (NFM 2022) May 24-27, 2022 Pasadena, California, USA URL: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.caltech.edu%2F&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C093ae0291667402515ef08da22d19782%7C7005d4

[Hol-info] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --- SECOND CALL FOR PAPERS 4th International Workshop on th

[Hol-info] Call for Participation FUN 2020 & 2022

(Apologies for multiple postings) Call for Participation FUN 2020 & 2022 The 10th & 11th International Conference on Fun with Algorithms will be held in Island of Favignana, Sicily, Italy on May 30 - June 3, 202