|
|
|
Size
|
Reminder: BCS-FACS AGM and Annual Peter Landin Semantics Seminar, 6 December 2022
|
Jonathan Bowen |
Sat, 19 Nov 2022 15:49:34 +0000 |
274 lines |
Call for Papers: NASA Formal Methods (NFM) 2023
|
Rozier, Kristin-Yvonne [AER E] |
Fri, 18 Nov 2022 15:11:40 +0000 |
154 lines |
Re: Annual LMS/BCS-FACS Evening Seminar (online), 17 November 2022
|
Jonathan Bowen |
Tue, 15 Nov 2022 10:42:13 +0000 |
249 lines |
Call for papers, TASE 2023, Bristol, UK, 4-6 July 2023
|
Jonathan Bowen |
Fri, 11 Nov 2022 16:40:33 +0000 |
1554 lines |
Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 7 Dec 2022
|
Sammartino, Matteo |
Thu, 10 Nov 2022 10:08:32 +0000 |
264 lines |
Annual LMS/BCS-FACS Evening Seminar (online), 17 November 2022
|
Jonathan Bowen |
Thu, 3 Nov 2022 11:46:41 +0000 |
206 lines |