|
|
|
Size
|
1st Call for Papers, MESM'2023, 18th Middle Eastern Simulation and Modelling Conference, November 20-22, 2023, Al-Farahidi University, Baghdad, Iraq
|
Philippe Geril |
Fri, 28 Apr 2023 15:39:32 +0100 |
486 lines |
VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th)
|
Sammartino, Matteo |
Mon, 24 Apr 2023 12:30:39 +0000 |
244 lines |
CfP LSFA 2023: extended deadlines
|
Temur Kutsia |
Sun, 23 Apr 2023 10:38:00 +0200 |
144 lines |
3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
|
Andrei Popescu |
Thu, 20 Apr 2023 12:28:14 +0100 |
50 lines |
LSFA 2023: 2nd CfP
|
Temur Kutsia |
Tue, 18 Apr 2023 10:23:43 +0200 |
144 lines |
SESS 2023 -- CFP: Paper Submission deadline is extended to 21 April 2023
|
Francois Siewe |
Mon, 17 Apr 2023 07:33:15 +0000 |
306 lines |
CFP: SERD 2023 Software Engineering Research & Development, Oct 2-5, USA & Online
|
OkIP Cfp |
Sat, 8 Apr 2023 17:22:41 +0000 |
148 lines |
CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023) please help disseminate!
|
Cheng-Hao Cai |
Thu, 6 Apr 2023 15:48:18 +0800 |
537 lines |
Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation
|
Christopher Michael POSKITT |
Wed, 5 Apr 2023 06:07:38 +0000 |
313 lines |
Call for Papers: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023)
|
FMAS Workshop |
Mon, 3 Apr 2023 13:07:25 +0200 |
296 lines |
[Reminder] BCS-FACS Seminar (online), 4 April 2023
|
Alvaro Miyazawa |
Sat, 1 Apr 2023 00:16:14 +0100 |
299 lines |