|
|
|
Size
|
ICCPS 2024 - Call for Papers
|
Sadegh soudjani |
Mon, 21 Aug 2023 17:42:08 +0100 |
136 lines |
Secure Software and Microarchitectures
|
Roberto Guanciale |
Wed, 16 Aug 2023 13:33:51 +0000 |
35 lines |
FACS FACTS 2023-2 newsletter issue
|
Jonathan Bowen |
Mon, 14 Aug 2023 17:10:28 +0100 |
127 lines |
PhD position in in Formal Methods for Business Process Modelling
|
Violet Ka I Pun |
Mon, 14 Aug 2023 14:24:39 +0200 |
169 lines |
Multiple PhD positions at The Australian National University
|
Nisansala Yatapanage |
Mon, 14 Aug 2023 20:57:13 +1000 |
127 lines |
Abstracts Ext August 23|| SERD 2023 Software Engineering Conf|| Oct 2-5|| USA & Online
|
Software Group |
Thu, 10 Aug 2023 19:58:04 +0000 |
98 lines |
CfP FMAS 2023: Deadline Extension
|
FMAS Workshop |
Thu, 10 Aug 2023 19:22:45 +0200 |
483 lines |
Post-Doctoral Research Associate in AUTONOMOUS ROBOTIC SOFTWARE ENGINEERING [Manchester]
|
Michael Fisher |
Mon, 7 Aug 2023 13:51:49 +0100 |
64 lines |
BCS-FACS - Jifeng@80: Theories of Programming and Formal Methods - Festschrift Symposium, 15-16 September 2023
|
Jonathan Bowen |
Fri, 4 Aug 2023 19:53:56 +0100 |
130 lines |
PhD and PostDoc Positions in Formal Methods at KIT
|
Bernhard Beckert |
Fri, 4 Aug 2023 18:03:23 +0200 |
91 lines |
2023 Reasoning Web Summer School -- Student Grants Available
|
Domenico Lembo |
Fri, 4 Aug 2023 14:53:06 +0200 |
236 lines |
[CFP] ICFEM Doctoral Symposium Paper Submission
|
Cheng-Hao Cai |
Fri, 4 Aug 2023 13:51:19 +0800 |
221 lines |