|
|
|
Size
|
ICFEM 2023 (November 21-24, 2023, Brisbane, Australia): call for participation
|
Neeraj Kumar Singh |
Tue, 26 Sep 2023 09:08:49 +0200 |
226 lines |
NFM 2024 Call for Papers
|
Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] |
Mon, 25 Sep 2023 17:25:20 +0000 |
818 lines |
Call for participation: ATVA 2023 & PRDC 2023
|
Zhe Hou |
Tue, 19 Sep 2023 07:16:08 +0000 |
141 lines |
Postdoc/PhD positions in Software Security at Newcastle University, UK
|
Narges Khakpour |
Sun, 17 Sep 2023 13:46:08 +0000 |
223 lines |
FormaliSE 2024 - Call for Papers
|
Abhishek Tiwari |
Fri, 15 Sep 2023 12:31:56 +0200 |
1939 lines |
Permanent Position in Applied Formal Methods at Swansea University
|
Markus Roggenbach |
Mon, 11 Sep 2023 10:16:24 +0000 |
213 lines |