finite-model-theory July 2019

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

HIGHLIGHTS 2019: Registration is open!
by Nathanaël Fijalkow
4 years, 6 months

RAMiCS2020 - 2nd CFP
by Michael Winter
4 years, 6 months

FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation
by Andrei Popescu
4 years, 7 months

Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension
by Achim D. Brucker
4 years, 7 months

ICDT2020 CfP - Second Submission Cycle
by Carsten Lutz
4 years, 7 months

WORDS 2019 - call for participation
by Words 2019
4 years, 7 months

PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems
by Mihaela Rozman
4 years, 7 months
Results per page: