|
|
|
Size
|
ICE 2024: Second Call for Papers
|
Violet Ka I Pun |
Wed, 28 Feb 2024 15:14:18 +0100 |
282 lines |
TAROT Summer School 2024 - Software Testing, Verification & Validation, Bergamo, 8th-12th July 2024
|
Silvia Bonfanti |
Fri, 23 Feb 2024 11:18:50 +0000 |
66 lines |
TASE 2024: CfP deadline extended till 27 February 2024
|
Jonathan Bowen |
Thu, 22 Feb 2024 09:51:52 +0000 |
279 lines |
FM 2024: Call for Papers
|
Livia Lestingi |
Wed, 21 Feb 2024 14:54:06 +0000 |
312 lines |
BCS-FACS Seminar, 26 March 2024
|
Alvaro Miyazawa |
Tue, 20 Feb 2024 17:11:46 +0000 |
307 lines |
Last CFP for ABZ 2024 – 10th International Conference on Rigorous State Based Methods Jun 25--28 Jun 2024
|
Silvia Bonfanti |
Fri, 16 Feb 2024 15:40:45 +0000 |
33 lines |
QEST+FORMATS: Call for Papers
|
Patrick Totzke |
Wed, 14 Feb 2024 11:44:50 +0000 |
221 lines |
2024 Summer School on Formal Techniques, Atherton, California (May 25-31, 2024) + Formal Methods in the Field Bootcamp (June 1/2, 2024)
|
Natarajan Shankar |
Tue, 13 Feb 2024 16:48:10 -0800 |
76 lines |
Post in formal testing
|
Ana Cavalcanti |
Mon, 12 Feb 2024 13:53:36 +0000 |
70 lines |
ICGT '24 Final Call for Papers
|
Jens Kosiol |
Mon, 12 Feb 2024 09:49:49 +0100 |
215 lines |
ICCPS 2024: CALL FOR POSTERS AND DEMOS
|
Sadegh Soudjani |
Sat, 10 Feb 2024 11:31:29 +0000 |
16379 lines |
CFP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
|
Jonathan Bowen |
Wed, 7 Feb 2024 08:58:07 +0000 |
326 lines |
BCS-FACS Seminar, 20 February 2024
|
Alvaro Miyazawa |
Tue, 6 Feb 2024 16:34:15 +0000 |
288 lines |
Postdoc on Digital Twins? Open positions in MSCA CO-FUND project DSTRAIN, Uni Oslo, Norway
|
Einar Broch Johnsen |
Thu, 1 Feb 2024 16:01:54 +0000 |
42 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 |