|
|
|
Size
|
SSS'21: Call for Participants
|
Bein, Doina |
Sun, 31 Oct 2021 18:40:53 +0000 |
139 lines |
Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition
|
Graeme Smith |
Wed, 27 Oct 2021 10:18:30 +1000 |
163 lines |
ISEC'22 Call for Doctoral Symposium with Extended Submission Deadline
|
isec2022 .isoft |
Tue, 26 Oct 2021 15:37:13 +0530 |
115 lines |
Research Fellows in Logic at UCL, London
|
Pym, David |
Wed, 20 Oct 2021 08:33:10 +0000 |
57 lines |
ACM HSCC 2022 -- Last Call for Papers (deadline 29 October)
|
Nicola Paoletti |
Wed, 13 Oct 2021 10:28:44 +0100 |
235 lines |
PhD position in Logic & Security at UCL, London
|
Pym, David |
Fri, 8 Oct 2021 14:57:00 +0000 |
64 lines |
Lectureship (Assistant Professorship) in Software Testing at the University of Sheffield
|
Robert M Hierons |
Thu, 7 Oct 2021 12:08:06 +0100 |
43 lines |
Next BCS-FACS talk on 19 October 2021
|
Jonathan Bowen |
Wed, 6 Oct 2021 16:38:21 +0100 |
167 lines |
LMS/BCS-FACS Evening Seminar
|
LMS Computer Science |
Wed, 6 Oct 2021 13:38:22 +0000 |
259 lines |
FMCAD 2021 2nd Call for Participation
|
Michael Whalen |
Mon, 4 Oct 2021 15:28:35 -0500 |
310 lines |
FM 2021 - Call for Participation
|
Jun PANG |
Mon, 4 Oct 2021 09:49:45 +0200 |
84 lines |