View:
Show Author | Hide Author
LISTSERV Archives
FACS-EVENTS Home
Subscribe or Unsubscribe
Log In
Get Password
Call for Papers: Formal Methods Teaching Workshop and Tutorial
Claudio MENGHI
Wed, 10 Apr 2019 22:53:28 +0000
436 lines
FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper)
Tim Willemse
Sun, 7 Apr 2019 11:36:10 +0200
251 lines
—Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019)
SAOUSSEN CHEIKHROUHOU
Wed, 3 Apr 2019 16:59:21 +0100
278 lines
Re: BCS-FACS talk: Composing Protocols by Farhad Arbab, 3 April 2019
Jonathan Bowen
Mon, 1 Apr 2019 16:05:33 +0100
245 lines
Advanced Options
For help and support help@jisc.ac.uk