finite-model-theory February 2021

finite-model-theory@lists.rwth-aachen.de
  • 9 participants
  • 10 discussions

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS
3 years, 3 months

ACKERMANN AWARD 2021: CALL FOR NOMINATIONS
by EACSL Mail-Account
3 years, 3 months

RAMiCS 2021 - 2nd CFP
by luigi.santocanale@lis-lab.fr
3 years, 3 months

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS
3 years, 3 months

CSL 2022 - call for papers
by Manea, Florin
3 years, 4 months

FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)
by Carsten Fuhs
3 years, 4 months

Call for Nominations for the 2021 Gödel Prize
by Dan Spielman
3 years, 4 months

LICS 2021 Online and Call for Workshops
by Sam Staton
3 years, 4 months

TABLEAUX 2021 - Call for Papers. 6-9 September, 2021. Birmingham, UK.
by anupamdotdas@gmail.com
3 years, 4 months

After the 3rd World Logic Day
by Antje Herbst
3 years, 4 months
Results per page: