finite-model-theory September 2021

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

[fm-announcements] NFM 2022 - First Call for Papers
by Havelund, Klaus (US 348B) via fm-announcements
2 years, 5 months

27th WoLLIC 2021 - Call for Participation (Online)
by Ruy Jose Guerra Barretto de Queiroz
2 years, 5 months

Academic positions in Computer Science at the University of Sydney
by Sasha Rubin
2 years, 5 months

FSCD 2022: Final Call for Workshops (deadline: September 27, 2021)
by Carsten Fuhs
2 years, 5 months

Call for Workshop Proposals affiliated to LICS at FLOC'22
by Sam Staton
2 years, 5 months

[ICALP 2022] Call for workshops
by Mahsa
2 years, 5 months

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

Logica Universalis Webinar - September 15 - Mathematical Perspectives on Liar Paradoxes by Josué Antonio Nescolarde Selva
by Antje Herbst
2 years, 5 months

Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London -- Application deadline extended to 17 Oct 2021
by Matteo Sammartino
2 years, 5 months

Logica Universalis Webinar - September 8 - Decidability of Logical Theories and Their Combination by João Rasga and Cristina Sernadas
by Antje Herbst
2 years, 5 months
Results per page: