|
|
|
Size
|
Call for Papers: FORMALISE 2022
|
Ina Schaefer |
Thu, 28 Oct 2021 11:09:22 +0200 |
1364 lines |
Postdoctoral and PhD Research Positions in Formal Verification [MAYNOOTH UNIVERSITY, IRELAND]
|
Rosemary Monahan |
Wed, 27 Oct 2021 11:18:51 +0000 |
231 lines |
ISEC'22 Call for Doctoral Symposium with Extended Submission Deadline
|
isec2022 .isoft |
Tue, 26 Oct 2021 15:37:13 +0530 |
114 lines |
Post Doctoral Research Associates in Artificial Intelligence for Materials Discovery (2 posts), University of Liverpool
|
Schewe, Sven |
Wed, 20 Oct 2021 18:04:30 +0000 |
109 lines |
Research Fellows in Logic at UCL, London
|
Pym, David |
Wed, 20 Oct 2021 08:33:10 +0000 |
56 lines |
Last Call for Papers 2021 | OPEN ACCESS PUBLICATIONS | By USA & European Authors
|
CSC Editors |
Sat, 16 Oct 2021 11:56:56 +0500 |
333 lines |
Postdoctoral Research Positions in FORMAL VERIFICATION [University of Manchester, UK]
|
Michael Fisher |
Wed, 13 Oct 2021 17:08:57 +0100 |
61 lines |
PhD position in Logic & Security at UCL, London
|
Pym, David |
Fri, 8 Oct 2021 14:57:00 +0000 |
63 lines |
LMS/BCS-FACS Evening Seminar, 18 November 2021
|
Jonathan Bowen |
Wed, 6 Oct 2021 18:44:32 +0100 |
203 lines |
Next BCS-FACS talk on 19 October 2021
|
Jonathan Bowen |
Wed, 6 Oct 2021 16:38:21 +0100 |
166 lines |
FMCAD 2021 2nd Call for Participation
|
Michael Whalen |
Mon, 4 Oct 2021 15:27:21 -0500 |
312 lines |