|
|
|
Size
|
Call for Presentations: VardiFest22
|
Kristin Yvonne Rozier |
Sat, 23 Apr 2022 20:25:56 -0500 |
183 lines |
Formal Methods 2023 -- Joint call for workshop & tutorial proposals
|
Violet Ka I Pun |
Wed, 20 Apr 2022 10:12:00 +0200 |
130 lines |
BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
|
Jonathan Bowen |
Thu, 14 Apr 2022 20:44:29 +0100 |
186 lines |
FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline extended to April 18th
|
Sammartino, Matteo |
Mon, 11 Apr 2022 07:44:45 +0000 |
253 lines |
[2nd CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
|
Alvaro Miyazawa |
Thu, 7 Apr 2022 11:23:02 +0100 |
72 lines |
PhD Position in Computational Logic
|
Temur Kutsia |
Tue, 5 Apr 2022 19:08:44 +0200 |
27 lines |
Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
|
Achim D. Brucker |
Sun, 3 Apr 2022 16:42:49 +0100 |
67 lines |
LMS Computer Science Small Grants
|
LMS Computer Science |
Fri, 1 Apr 2022 14:42:52 +0000 |
208 lines |