|
|
|
Size
|
Call for Papers: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023)
|
FMAS Workshop |
Tue, 25 Apr 2023 17:19:13 +0200 |
303 lines |
CFP|| SERD 2023 Software Engineering Research & Development|| Oct 2-5|| USA & Online
|
Software Group |
Thu, 20 Apr 2023 19:22:11 +0000 |
152 lines |
FAACS’2023 - Call for Research Papers
|
Silvia Bonfanti |
Thu, 20 Apr 2023 08:26:30 +0100 |
142 lines |
SESS 2023 -- CFP: Paper Submission deadline is extended to 21 April 2023
|
Francois Siewe |
Mon, 17 Apr 2023 07:33:15 +0000 |
305 lines |
ABZ 2023 @ LORIA, Nancy, France : Call for participation
|
mery |
Mon, 10 Apr 2023 18:41:20 +0200 |
62 lines |
CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023) please help disseminate!
|
Cheng-Hao Cai |
Thu, 6 Apr 2023 15:41:36 +0800 |
536 lines |
Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation
|
Christopher Michael POSKITT |
Wed, 5 Apr 2023 06:07:38 +0000 |
312 lines |
Postdoctoral positions available at ITIS-UMA (Malaga, Spain), deadline 10 April 2023
|
Laura Panizo |
Mon, 3 Apr 2023 09:31:01 +0200 |
289 lines |
Postdoc @ DTU Compute in Modelling and Verification of Concurrent & Distributed Applications
|
Alceste Scalas |
Mon, 3 Apr 2023 08:47:47 +0200 |
149 lines |
[Reminder] BCS-FACS Seminar (online), 4 April 2023
|
Alvaro Miyazawa |
Sat, 1 Apr 2023 00:14:59 +0100 |
297 lines |