[Hol-info] CLAR 2021 - Deadline Extension

-- Fourth International Conference on Logic and Argumentation (CLAR 2021) 20-22 October 2021, Hangzhou, China Hybrid (physical or virtual attendance) https://www.xixilogic.org/events/clar2021

[Hol-info] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE

[ Please distribute, apologies for multiple postings. ] = Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) 21 November 2021, *online* Co-located with the 24th International Symposium on Formal Methods, FM 2021

[Hol-info] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free

== LAST CALL FOR PARTICIPATION == 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via ZOOM by Universidad Complutense de Madrid https://dalila.sip.ucm.es/isr2021/ Registration (FREE but required) is open at: