View:
Show Author | Hide Author
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension
Achim D. Brucker
Sun, 14 Jul 2019 11:08:14 +0100
109 lines
Call for papers - 1st Workshop on Artificial Intelligence and, fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY)
AndreA Orlandini
Tue, 9 Jul 2019 14:59:39 +0200
174 lines
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
Mihaela Rozman
Mon, 1 Jul 2019 11:38:10 +0200
432 lines
Advanced Options
For help and support help@jisc.ac.uk