|
|
|
Size
|
FM 2024: First Call for Papers
|
Matteo G. Rossi |
Thu, 30 Nov 2023 16:52:56 +0100 |
236 lines |
1st CFP 22nd annual Industrial Simulation Conference - June 3-5, 2024, Universitat Politecnica de Valencia, Valencia, Spain
|
Philippe Geril |
Thu, 30 Nov 2023 10:26:39 +0000 |
664 lines |
Opening a Professorship (m/f/x) in Explainable and Safe AI at Oldenburg University, Germany
|
Prof. Dr. Martin Georg Fränzle |
Wed, 29 Nov 2023 15:29:09 +0000 |
435 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 |
231 lines |
LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024
|
Jonathan Bowen |
Wed, 29 Nov 2023 11:38:06 +0000 |
151 lines |
David Turner obituary in The Guardian
|
Jonathan Bowen |
Mon, 27 Nov 2023 22:28:58 +0000 |
40 lines |
FMBC 2024 - First Call for Papers
|
Marmsoler, Diego |
Wed, 22 Nov 2023 13:01:11 +0000 |
161 lines |
2nd Call for Papers - 13th Biennial FOODSIM Conference, April 7-11, 2024, University of Leuven/Campus Ghent, Belgium
|
Philippe Geril |
Thu, 16 Nov 2023 13:47:09 +0000 |
139 lines |
FM 2024: Call for Workshops
|
Matteo G. Rossi |
Tue, 14 Nov 2023 22:25:46 +0100 |
104 lines |
CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
|
Jonathan Bowen |
Sat, 11 Nov 2023 00:07:22 +0000 |
234 lines |
Postdoc position in Formal Methods at University of Exeter
|
Marmsoler, Diego |
Wed, 8 Nov 2023 21:29:55 +0000 |
188 lines |
ITNG2024 - Call for Papers, Nov 17(Extended Deadline)
|
Bein, Doina |
Wed, 8 Nov 2023 20:26:17 +0000 |
262 lines |