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
2 years, 11 months

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

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

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

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

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

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

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

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

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