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