finite-model-theory June 2021

finite-model-theory@lists.rwth-aachen.de
  • 13 participants
  • 16 discussions

Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference
by Shaull Almagor
2 years, 8 months

CSL 2022: Last call for papers
by Manea, Florin
2 years, 8 months

Formal Methods Education Online - Call for participation
by Thomas Zeume
2 years, 8 months

Women in Logic 2021 - Final Call for Participation
by Sandra Kiefer
2 years, 8 months

[SCPS 2021] Smart Cyber-Physical Systems Symposium
by SCPS
2 years, 8 months

Logica Universalis Webinar - June 23 - The Talmudic Logic Project by Dov Gabbay and Timotheus Kampik
by Antje Herbst
2 years, 8 months

ICALP 2021 2nd Call for Participation
by Simon Gay
2 years, 8 months

FSCD 2021: Call for (Online) Participation
by Carsten Fuhs
2 years, 8 months

Certified Programs and Proofs (CPP) 2022: Call for Papers
by Andrei Popescu
2 years, 8 months

Logica Universalis Webinar - June 16 - Sequents and Trees by Andrzej Indrzejczak
by Antje Herbst
2 years, 8 months
Results per page: