[Hol-info] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd clã)

=== WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 ** Second call for papers ** UPDATES: Deadline Extension and Invited Speakers **

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

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