finite-model-theory February 2020

finite-model-theory@lists.rwth-aachen.de
  • 17 participants
  • 21 discussions

Call for papers - SR 2020, Santiago de Compostela
by Bastien
4 years, 2 months

Second Call for Papers AiML 2020
by Rineke Verbrugge
4 years, 4 months

VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants
by Siddharth Krishna
4 years, 4 months

Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020)
by Laura Pandolfo
4 years, 4 months

Computability in Europe 2020 FIRST CALL FOR INFORMAL PRESENTATIONS
by acie@acie.eu
4 years, 4 months

SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
by Mihaela Rozman
4 years, 5 months

LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts
by Mihaela Rozman
4 years, 5 months

Preliminary call for participation: 30 Years of Finite Model Theory in Finland
by Kontinen, Juha A
4 years, 5 months

CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
by Mihaela Rozman
4 years, 5 months

ICALP-LICS 2020 Fresh Call for Workshops
by Sam Staton
4 years, 5 months
Results per page: