|
|
|
Size
|
Digital Data Processing 2023
|
ijwa dline.info |
Wed, 31 May 2023 07:08:57 +0000 |
298 lines |
TASE 2023 - Call for Participation
|
Guillaume Dupont |
Tue, 30 May 2023 19:19:59 +0200 |
62 lines |
[ICTAC 2023] Second call for papers – deadline 16 June 2023
|
Violet Ka I Pun |
Fri, 26 May 2023 11:16:53 +0200 |
131 lines |
Doctoral Researcher / PhD Student / Postdoc Position
|
Andre Platzer |
Thu, 25 May 2023 20:19:06 +0200 |
35 lines |
[Deadline Extended] 24th International Conference on Formal Engineering Methods (ICFEM 2023)
|
Cheng-Hao Cai |
Sat, 20 May 2023 23:35:01 +0800 |
701 lines |
CSL 2024: First call for papers
|
Munyque Mittelmann |
Fri, 19 May 2023 12:58:52 +0200 |
348 lines |
EUMAS 2023 - Ext. deadline & Awards & Invited Speakers
|
Munyque Mittelmann |
Fri, 19 May 2023 12:57:52 +0200 |
433 lines |
Permanent Position as a Lecturer/Senior Lecturer in Applied Formal Methods at Swansea University
|
Markus Roggenbach |
Thu, 18 May 2023 11:28:36 +0000 |
206 lines |
ICECCS 2023 (June 2023, Toulouse, France): call for participation
|
Neeraj Kumar Singh |
Mon, 8 May 2023 11:34:52 +0200 |
117 lines |
CFP: 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)
|
Cheng-Hao Cai |
Mon, 8 May 2023 13:35:50 +0800 |
309 lines |
FMCAD 2023: Final Call for Papers with *** Deadlines Extension ***
|
Rozier, Kristin-Yvonne [AER E] |
Sun, 7 May 2023 23:09:42 +0000 |
190 lines |
CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023)
|
Neeraj Kumar Singh |
Fri, 5 May 2023 16:24:23 +0200 |
262 lines |
[Reminder] CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023)
|
Cheng-Hao Cai |
Tue, 2 May 2023 22:23:41 +0800 |
196 lines |