|
|
|
Size
|
Facebook TAV Symposium on Testing & Verification - recordings of talks
|
Jonathan Bowen |
Fri, 30 Nov 2018 11:52:28 +0000 |
66 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 |
241 lines |
Call for Papers: 15th International Conference on Open Source Systems (OSS'19)
|
Juergen Dingel |
Thu, 22 Nov 2018 08:49:55 -0500 |
136 lines |
VerifyThis at ETAPS 2019: Announcement + Call for Problems
|
VerifyThis |
Thu, 22 Nov 2018 10:05:55 +0100 |
76 lines |
Lecturer/Senior Lecturer in Software Engineering
|
Graeme Smith |
Fri, 16 Nov 2018 21:58:28 +1000 |
79 lines |
1st CFP 17th Annual Industrial Simulation Conference, ISC'2019, June 5-7, 2019, ISL, Lisbon, Portugal
|
Philippe Geril |
Fri, 16 Nov 2018 10:18:42 +0000 |
553 lines |
Research associate on Formal Methods for Voting Systems, University of Luxembourg
|
Jun PANG |
Thu, 8 Nov 2018 13:36:03 +0100 |
52 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 |
188 lines |