|
|
|
Size
|
ICE 2024: Second Call for Papers
|
Violet Ka I Pun |
Wed, 28 Feb 2024 15:14:18 +0100 |
283 lines |
DFIR Stream release schedule announced
|
Andrew Zayine |
Mon, 26 Feb 2024 01:05:38 +0000 |
104 lines |
CfP: SCSS 2024
|
Temur Kutsia |
Fri, 23 Feb 2024 22:48:10 +0100 |
103 lines |
TASE 2024: CfP deadline extended till 27 February 2024
|
Jonathan Bowen |
Thu, 22 Feb 2024 09:51:52 +0000 |
280 lines |
BCS-FACS Seminar, 26 March 2024
|
Alvaro Miyazawa |
Tue, 20 Feb 2024 17:11:51 +0000 |
308 lines |
FM 2024: Call for Papers
|
Matteo G. Rossi |
Tue, 20 Feb 2024 17:26:08 +0100 |
99 lines |
CfP Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|
Mario Gleirscher |
Mon, 19 Feb 2024 14:55:27 +0100 |
53 lines |
Re: Call for Participation: InFM talk by Frank Zeyda (Galois Inc. & Independent Contractor)
|
Cristina Seceleanu |
Thu, 15 Feb 2024 16:19:09 +0000 |
308 lines |
Call for Participation: InFM talk by Frank Zeyda (Galois Inc. & Independent Contractor)
|
Cristina Seceleanu |
Thu, 15 Feb 2024 15:42:20 +0000 |
167 lines |
ICGT '24 Final Call for Papers
|
Jens Kosiol |
Mon, 12 Feb 2024 09:49:50 +0100 |
216 lines |
Invitation Guest Speaker @ ACFTI Cybersecurity stream
|
Andrew Zayine |
Sun, 11 Feb 2024 16:14:20 +0000 |
47 lines |
ICCPS 2024: CALL FOR POSTERS AND DEMOS
|
Sadegh Soudjani |
Sat, 10 Feb 2024 11:37:51 +0000 |
102 lines |
1st CFP, GAME-ON'2024, 25th Annual Simulation & AI in Games Conference, September 9-11, 2024, Bahçesehir University, Istanbul, Turkey
|
Philippe Geril |
Fri, 9 Feb 2024 19:31:12 +0000 |
492 lines |
CFP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
|
Jonathan Bowen |
Wed, 7 Feb 2024 08:58:07 +0000 |
327 lines |
BCS-FACS Seminar, 20 February 2024
|
Alvaro Miyazawa |
Tue, 6 Feb 2024 16:34:25 +0000 |
289 lines |
First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)
|
Marmsoler, Diego |
Thu, 1 Feb 2024 14:58:10 +0000 |
462 lines |