|
|
|
Size
|
Updated CFP SSS 2021
|
Bein, Doina |
Mon, 26 Jul 2021 23:43:56 +0000 |
317 lines |
Last call for papers: SSS 2021
|
Bein, Doina |
Mon, 26 Jul 2021 20:00:35 +0000 |
374 lines |
Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 31 Aug 2021
|
Matteo Sammartino |
Mon, 26 Jul 2021 09:27:51 +0000 |
57 lines |
SETTA 2021 Beijing: final Call for Papers --extended deadline
|
Jun PANG |
Fri, 23 Jul 2021 09:04:13 +0200 |
212 lines |
Deadline Extension: Formal Methods for Autonomous Systems 2021
|
Matt Luckcuck |
Thu, 22 Jul 2021 10:32:45 +0100 |
445 lines |
Call For Participation: 15th European Conference on Software Architecture (ECSA 2021)
|
AURORA MACÍAS |
Mon, 12 Jul 2021 10:29:57 +0200 |
268 lines |
2nd Call-for-Papers: 1st Workshop on Trust, Ethics and Compliance in Enterprise Computing (TrECEC)
|
Hugo Andrés López |
Mon, 5 Jul 2021 20:27:46 +0000 |
527 lines |