|
|
|
Size
|
[Reminder] BCS-FACS & RoboStar Joint Seminar, 28 May 2024
|
Alvaro Miyazawa |
Wed, 15 May 2024 15:39:50 +0100 |
377 lines |
PDRA in Formal Verification for Robot Collectives, University of Manchester
|
Michael Fisher |
Wed, 15 May 2024 09:41:57 +0100 |
188 lines |
FSEN 2025 - Call for Papers
|
Bos, Petra van den (UT-EEMCS) |
Tue, 14 May 2024 14:36:48 +0000 |
211 lines |
Postdoctoral Research Fellow in Formal Methods in Bergen, Norway
|
Violet Ka I Pun |
Mon, 13 May 2024 16:02:06 +0200 |
74 lines |
Final CFP with New Deadlines: Formal Methods Teaching Workshop
|
Sekerinski, Emil |
Tue, 7 May 2024 12:29:21 +0000 |
114 lines |
FACS 2024 - Third Call for Papers
|
Marmsoler, Diego |
Tue, 7 May 2024 09:29:22 +0000 |
514 lines |
NFM 2024 — Call for Participation
|
Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] |
Mon, 6 May 2024 17:34:25 +0000 |
590 lines |
BCS-FACS Seminar, 28 May 2024
|
Alvaro Miyazawa |
Fri, 3 May 2024 11:51:38 +0100 |
376 lines |
Due July 14- SERD 2024 Software Engineering Research & Development, Oct 1-3, USA & Online
|
Software Group |
Wed, 1 May 2024 11:10:44 -0500 |
69 lines |