|
|
|
Size
|
SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)
|
Martin Steffen |
Tue, 30 Oct 2018 16:08:49 +0100 |
198 lines |
LMS/BCS-FACS Seminar: reminder
|
Jonathan Bowen |
Tue, 30 Oct 2018 15:30:05 +0100 |
164 lines |
Call for Papers: FormaliSE 2019
|
Matteo Giovanni Rossi |
Thu, 25 Oct 2018 06:47:47 +0000 |
143 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 |
154 lines |
NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Rozier, Kristin Yvonne [AER E] |
Sat, 20 Oct 2018 17:57:46 +0000 |
148 lines |
Video recording of the recent BCS-FACS "UTP @ 20" evening seminar
|
Jonathan Bowen |
Fri, 19 Oct 2018 13:09:35 +0100 |
115 lines |
CFP COMPLEXIS 2019 - 4th Int.l Conf. on Complexity, Future Information Systems and Risk (Heraklion, Crete/Greece)
|
[log in to unmask] |
Tue, 16 Oct 2018 09:59:46 +0100 |
42 lines |
FACs events - NPL industrial talk for next Wednesday
|
Sofia Meacham |
Fri, 12 Oct 2018 21:10:58 +0000 |
194 lines |
CFP: FACJ Special Issue on Robotics
|
Ana Cavalcanti |
Thu, 11 Oct 2018 16:33:23 +0100 |
147 lines |
LMS/BCS-FACS evening seminar: 1 November 2018
|
Jonathan Bowen |
Wed, 10 Oct 2018 15:42:40 +0100 |
182 lines |
FACS talk: Unifying Theories of Refinement, He Jifeng, 12 October 2018, BCS London
|
Jonathan Bowen |
Wed, 3 Oct 2018 09:58:11 +0100 |
245 lines |
30th anniversary of the Formal Aspects of Computing (FAC) journal
|
Jonathan Bowen |
Wed, 3 Oct 2018 09:47:15 +0100 |
653 lines |
CFP ICISSP 2019 - 5th Int.l Conf. on Information Systems Security and Privacy (Prague/Czech Republic)
|
[log in to unmask] |
Mon, 1 Oct 2018 12:52:13 +0100 |
35 lines |
CFP ICORES 2019 - 8th Int.l Conf. on Operations Research and Enterprise Systems (Prague/Czech Republic)
|
[log in to unmask] |
Mon, 1 Oct 2018 12:52:04 +0100 |
38 lines |
CFP ICPRAM 2019 - 8th Int.l Conf. on Pattern Recognition Applications and Methods (Prague/Czech Republic)
|
[log in to unmask] |
Mon, 1 Oct 2018 12:51:55 +0100 |
39 lines |