[Logica-l] programa do MFPS 2022 disponivel

The tentative schedule for MFPS 2022 is now online: https://www.cs.cornell.edu/mfps-2022/#conferenceprogram * If you know of any mailing list with people who might be interested in attending MFPS, please help us advertise. * Note that in addition to the in-person conference in Ithaca and

[Logica-l] CSL 2023 -- Final cfp

=== CSL 2023 University of Warsaw, Poland February 13-16, 2023 === Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference,