View:
Show Author | Hide Author
LISTSERV Archives
FACS-EVENTS Home
Subscribe or Unsubscribe
Log In
Get Password
Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023
Julien Narboux
Thu, 13 Apr 2023 10:36:31 +0200
113 lines
SEFM 2023: First Call for Papers
Willemse, Tim
Wed, 5 Apr 2023 18:19:15 +0000
356 lines
Call for Papers: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023)
FMAS Workshop
Mon, 3 Apr 2023 13:10:27 +0200
294 lines
[Reminder] BCS-FACS Seminar (online), 4 April 2023
Alvaro Miyazawa
Sat, 1 Apr 2023 00:14:05 +0100
297 lines
Advanced Options
For help and support help@jisc.ac.uk