|
|
|
Size
|
FM 2024: First Call for Papers
|
Livia Lestingi |
Thu, 30 Nov 2023 17:55:40 +0000 |
769 lines |
Reminder: BCS-FACS AGM & Landin Semantics Seminar: Logical Relations & Mathematical Foundations, 12 December 2023
|
Jonathan Bowen |
Wed, 29 Nov 2023 12:09:56 +0000 |
230 lines |
LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024
|
Jonathan Bowen |
Wed, 29 Nov 2023 11:38:06 +0000 |
150 lines |
David Turner obituary in The Guardian
|
Jonathan Bowen |
Mon, 27 Nov 2023 22:28:58 +0000 |
39 lines |
PostDoc position at FBK - Model-based system-software engineering and formal methods for space systems
|
Marco Bozzano |
Fri, 24 Nov 2023 08:36:43 +0000 |
88 lines |
FMBC 2024 - First Call for Papers
|
Marmsoler, Diego |
Wed, 22 Nov 2023 13:01:07 +0000 |
160 lines |
2-year postdoc at IMT Atlantique / Network virtualization security and formal methods
|
Ahmed Bouabdallah |
Tue, 21 Nov 2023 20:43:26 +0100 |
255 lines |
MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024
|
Matthias Volk |
Wed, 15 Nov 2023 14:09:24 +0100 |
145 lines |
FM 2024: Call for Workshops
|
Matteo G. Rossi |
Tue, 14 Nov 2023 16:21:44 +0100 |
103 lines |
CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
|
Jonathan Bowen |
Sat, 11 Nov 2023 00:07:22 +0000 |
233 lines |
Postdoc position in Formal Methods at University of Exeter
|
Marmsoler, Diego |
Wed, 8 Nov 2023 21:07:18 +0000 |
187 lines |