|
|
|
Size
|
ICE 2024: Second Call for Papers
|
Violet Ka I Pun |
Wed, 28 Feb 2024 15:14:18 +0100 |
282 lines |
FACS Online Seminar, 26 March 2024
|
Jonathan Bowen |
Tue, 20 Feb 2024 20:47:55 +0000 |
318 lines |
Call for Participation: InFM talk by Frank Zeyda (Galois Inc. & Independent Contractor)
|
Mario Gleirscher |
Thu, 15 Feb 2024 17:31:13 +0100 |
110 lines |
CfP Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
|
Mario Gleirscher |
Mon, 12 Feb 2024 22:43:44 +0100 |
52 lines |
ICCPS 2024: CALL FOR POSTERS AND DEMOS
|
Sadegh Soudjani |
Sat, 10 Feb 2024 11:31:29 +0000 |
16379 lines |
BCS-FACS Seminar, 20 February 2024
|
Jonathan Bowen |
Wed, 7 Feb 2024 09:26:06 +0000 |
304 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 |
461 lines |