|
|
|
Size
|
ICCPS 2024: CALL FOR POSTERS AND DEMOS
|
Sadegh soudjani |
Thu, 28 Dec 2023 08:28:46 +0000 |
179 lines |
MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024
|
Matthias Volk |
Mon, 18 Dec 2023 10:51:39 +0100 |
128 lines |
FMBC 2024 - Second Call for Papers
|
Marmsoler, Diego |
Fri, 15 Dec 2023 15:25:24 +0000 |
391 lines |
The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers
|
Tran Dinh Duong |
Thu, 14 Dec 2023 10:02:05 +0900 |
294 lines |
Postdoc positions in formal methods at JAIST, Japan
|
Toshiaki Aoki |
Mon, 11 Dec 2023 17:04:08 +0900 |
100 lines |
Postdoctoral position on Program Semantics and Software Verification at Singapore Institute of Technology
|
David Miguel Sanan Baena |
Fri, 8 Dec 2023 10:53:10 +0000 |
175 lines |
28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024) Call for Submissions
|
Jing Sun |
Fri, 8 Dec 2023 06:06:18 +0000 |
125 lines |
FAACS 2024 - Call for Research Papers
|
Livia Lestingi |
Wed, 6 Dec 2023 09:49:16 +0000 |
381 lines |