|
|
|
Size
|
SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)
|
Martin Steffen |
Tue, 30 Oct 2018 16:10:19 +0100 |
199 lines |
LMS/BCS-FACS Seminar: reminder
|
Jonathan Bowen |
Tue, 30 Oct 2018 15:30:05 +0100 |
165 lines |
Multiple Postdoc Positions @ Nanyang Technological University on Testing, Verification and Security Analysis for Hypervisor, Autonomous Vehicles, Deep Learning Algorithms and Block Chain
|
Liu Yang (Assoc Prof) |
Wed, 24 Oct 2018 02:05:30 +0000 |
227 lines |
BCS-FACS/LMS talk: "Verifying CSP and its offspring" by Bill Roscoe, 1 November 2018, LMS, London
|
Jonathan Bowen |
Mon, 22 Oct 2018 23:43:25 +0100 |
155 lines |
NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Rozier, Kristin Yvonne [AER E] |
Sat, 20 Oct 2018 18:04:12 +0000 |
149 lines |
Video recording of the recent BCS-FACS "UTP @ 20" evening seminar
|
Jonathan Bowen |
Fri, 19 Oct 2018 13:09:35 +0100 |
116 lines |
MeTRiD @ ETAPS 2019: Call for papers
|
Simon Bliudze |
Mon, 15 Oct 2018 18:37:09 +0200 |
491 lines |
FACs event - NPL industrial talk next Wednesday
|
Sofia Meacham |
Fri, 12 Oct 2018 21:12:29 +0000 |
178 lines |
CFP: FACJ Special Issue on Robotics
|
Ana Cavalcanti |
Thu, 11 Oct 2018 16:34:09 +0100 |
148 lines |
LMS/BCS-FACS evening seminar: 1 November 2018
|
Jonathan Bowen |
Wed, 10 Oct 2018 15:42:40 +0100 |
183 lines |
QEST 2019: First Call for Papers
|
Michele Sevegnani |
Tue, 9 Oct 2018 14:11:39 +0000 |
95 lines |
FACS talk: Unifying Theories of Refinement, He Jifeng, 12 October 2018, BCS London
|
Jonathan Bowen |
Wed, 3 Oct 2018 09:58:11 +0100 |
246 lines |
30th anniversary of the Formal Aspects of Computing (FAC) journal
|
Jonathan Bowen |
Wed, 3 Oct 2018 09:47:15 +0100 |
654 lines |
Preliminary Programme - 32nd annual European Simulation and Modelling Conference, October 24-26, 2018, Ghent, Belgium
|
Philippe Geril |
Mon, 1 Oct 2018 09:14:19 +0100 |
342 lines |