dear @maxsnew
michael shulman
js lemay
brandon shapiro

thank you for the talks.
#CALCO #MFPS

#CallForPapers : #MFPS #MFPS2023 is "dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular". https://coalg.org/calco-mfps-2023/mfps/ #logic #tcs #theoreticalCS

Valeria de Paiva wrote:
> The first call of papers for CALCO 2023 is OUT!! hurray! send us your best work, will you? check dates and everything at https://coalg.org/calco-mfps-2023 #coalgebra #mfps