finite-model-theory November 2020

finite-model-theory@lists.rwth-aachen.de
  • 6 participants
  • 7 discussions

finite-model-theory@lists.rwth-aachen.de
by Peter Leupold
3 years, 2 months

PhD positions at University of Glasgow in Programming Languages
by Ornela Dardha
3 years, 2 months

[fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline)
by Munoz, Cesar (LARC-D320) via fm-announcements
3 years, 3 months

Faculty positions at the University of Sydney
by Sasha Rubin
3 years, 3 months

CSL 2021 - Call for Participation
by Alex Simpson
3 years, 3 months

FSCD 2021: First Call for Papers
by Carsten Fuhs
3 years, 3 months

[fm-announcements] NASA Formal Methods Symposium - 2nd CFP
by Munoz, Cesar (LARC-D320) via fm-announcements
3 years, 3 months
Results per page: