[Hol-info] CALCO 2021: Second call for papers

2021-05-11 Thread Thorsten Wissmann
[Apologies if you receive multiple copies of this message] = CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located wit

[Hol-info] CALCO 2021: Deadline extension and invited speakers

2021-05-30 Thread Thorsten Wissmann
[Apologies if you receive multiple copies of this message] = CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS

[Hol-info] Call for Participation: CALCO & MFPS 2021

2021-08-04 Thread Thorsten Wissmann
Call for Participation CALCO 2021 & MFPS XXXVII August 30 - September 3, 2021 Online / Hybrid from Salzburg, Austria https://www.coalg.org/calco-mfps2021/ - Registration