|
|
|
Size
|
AIxIA 2023 – call for papers (EXTENDED DEADLINES)
|
Domenico Lembo |
Wed, 31 May 2023 16:44:49 +0200 |
299 lines |
TASE 2023 - Call for Participation
|
Guillaume Dupont |
Tue, 30 May 2023 19:20:01 +0200 |
61 lines |
CFP: Agility with Microservices Programming
|
Philip Wizenty |
Fri, 26 May 2023 13:40:00 +0000 |
130 lines |
Fwd: postdoc position on Hidden Markov and Automata Theory models
|
Dominik Wojtczak |
Fri, 26 May 2023 10:41:59 +0100 |
85 lines |
[ICTAC 2023] Second call for papers – deadline 16 June 2023
|
Violet Ka I Pun |
Fri, 26 May 2023 11:16:53 +0200 |
130 lines |
CFP: Fifth International Conference on Microservices
|
Philip Wizenty |
Mon, 22 May 2023 11:58:44 +0000 |
178 lines |
[Deadline Extended] 24th International Conference on Formal Engineering Methods (ICFEM 2023)
|
Cheng-Hao Cai |
Sat, 20 May 2023 23:35:43 +0800 |
700 lines |
Permanent Position as a Lecturer/Senior Lecturer in Applied Formal Methods at Swansea University
|
Markus Roggenbach |
Thu, 18 May 2023 11:29:52 +0000 |
200 lines |
ICECCS 2023 (June 2023, Toulouse, France): call for participation
|
Neeraj Kumar Singh |
Mon, 8 May 2023 11:34:10 +0200 |
116 lines |
CFP: 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)
|
Cheng-Hao Cai |
Mon, 8 May 2023 13:36:26 +0800 |
302 lines |
FMCAD 2023: Final Call for Papers with *** Deadlines Extension ***
|
Rozier, Kristin-Yvonne [AER E] |
Sun, 7 May 2023 23:09:20 +0000 |
189 lines |
[Reminder] CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023)
|
Cheng-Hao Cai |
Tue, 2 May 2023 22:24:11 +0800 |
195 lines |