|
|
|
Size
|
Formal Methods 2021: Workshops and Tutorials
|
Jun PANG |
Wed, 30 Jun 2021 08:58:19 +0200 |
51 lines |
Call for Participation - SPIN 2021
|
Laarman, A.W. |
Tue, 29 Jun 2021 20:43:56 +0000 |
269 lines |
Second CFP - SSS 2021
|
Bein, Doina |
Tue, 29 Jun 2021 15:04:07 +0000 |
353 lines |
ISEC’22 Call for Paper and Proposals – 15th Innovations in Software Engineering Conference
|
isec2022 .isoft |
Sun, 27 Jun 2021 12:36:34 +0530 |
134 lines |
ISEC’22 Call for Paper and Proposals – 15th Innovations in Software Engineering Conference
|
isec2022 .isoft |
Sun, 27 Jun 2021 12:26:21 +0530 |
134 lines |
New £50 note featuring Alan Turing issued by the Bank of England today
|
Jonathan Bowen |
Wed, 23 Jun 2021 12:03:34 +0100 |
118 lines |
Formal Methods for Autonomous Systems 2nd CfP
|
Matt Luckcuck |
Mon, 21 Jun 2021 12:47:38 +0100 |
664 lines |
DDP 2021- IEEE
|
<> |
Sun, 20 Jun 2021 22:41:48 -0700 |
175 lines |
SCSS 2021: call for short and work-in-progress papers
|
Temur Kutsia |
Thu, 17 Jun 2021 17:20:37 +0200 |
162 lines |
SETTA 2021: Symposium on Dependable Software Engineering
|
Jonathan Bowen |
Wed, 16 Jun 2021 15:37:13 +0100 |
567 lines |
Certified Programs and Proofs (CPP) 2022: Call for Papers
|
Andrei Popescu |
Mon, 14 Jun 2021 08:00:00 +0100 |
245 lines |
[Deadlines in 2 weeks] CFP: 15th European Conference on Software Architecture (ECSA 2021)
|
AURORA MACÍAS |
Thu, 10 Jun 2021 20:15:18 +0200 |
349 lines |
CADE 2021 call for participation
|
Sophie Tourret |
Wed, 9 Jun 2021 22:16:54 +0200 |
56 lines |
ABZ 2021 – 8th International Conference on Rigorous State Based Methods
|
Jonathan Bowen |
Tue, 8 Jun 2021 17:57:23 +0100 |
77 lines |
BCS-FACS talk on Zoom (15 June 2021)
|
Jonathan Bowen |
Tue, 1 Jun 2021 20:09:37 +0100 |
105 lines |