|
|
|
Size
|
CFP - NWPT 2023 - 34th Nordic Workshop on Programming Theory, Västerås, Sweden
|
Cristina Seceleanu |
Tue, 29 Aug 2023 12:55:24 +0000 |
583 lines |
ICCPS 2024 - Call for Papers
|
Sadegh soudjani |
Mon, 21 Aug 2023 17:42:08 +0100 |
137 lines |
FACS FACTS 2023-2 newsletter issue
|
Jonathan Bowen |
Mon, 14 Aug 2023 17:10:28 +0100 |
128 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 |
99 lines |
CfP FMAS 2023: Deadline Extension
|
FMAS Workshop |
Thu, 10 Aug 2023 19:09:00 +0200 |
246 lines |
Digital Data Processing 2023 IEEE CPS
|
ijwa dline.info |
Mon, 7 Aug 2023 10:56:10 +0000 |
304 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 |
131 lines |
PhD and PostDoc Positions in Formal Methods at KIT
|
Bernhard Beckert |
Fri, 4 Aug 2023 18:02:50 +0200 |
92 lines |
[CFP] ICFEM Doctoral Symposium Paper Submission
|
Cheng-Hao Cai |
Fri, 4 Aug 2023 13:50:47 +0800 |
222 lines |