|
|
|
Size
|
VerifyThis at ETAPS 2019: Announcement + Call for Problems
|
VerifyThis |
Thu, 22 Nov 2018 10:19:42 +0100 |
75 lines |
Annual Peter Landin Semantics Seminar: Algebraic methods for specification and formal development of software
|
Paul Boca |
Wed, 7 Nov 2018 21:57:03 +0000 |
187 lines |
CFP 19th International Conference on Application of Concurrency to System Design (ACSD'19)
|
Michał Knapik |
Sat, 3 Nov 2018 21:41:56 +0000 |
406 lines |
TOOLS 50+1: CFP
|
Manuel Mazzara |
Tue, 13 Nov 2018 11:45:44 +0000 |
129 lines |
Five postdoc positions available at SWU-RISE, Southwest University, Chongqing, China
|
Jonathan Bowen |
Tue, 20 Nov 2018 12:21:19 +0000 |
1087 lines |
Facebook TAV Symposium on Testing & Verification - recordings of talks
|
Jonathan Bowen |
Fri, 30 Nov 2018 11:52:28 +0000 |
65 lines |
Annual BCS-FACS Peter Landin Semantics Seminar: Algebraic methods for specification and formal development of software, 10 December 2018
|
Jonathan Bowen |
Sat, 24 Nov 2018 12:38:02 +0000 |
240 lines |
Final CfP - 2nd International Conference on Microservices (Microservices 2019) @ Dortmund, Germany
|
Jonas Sorgalla |
Mon, 19 Nov 2018 11:56:33 +0100 |
209 lines |