|
|
|
Size
|
Call for Papers: TAP 2023 (Tests and Proofs 2023), Leicester, UK
|
Cristina Seceleanu |
Sat, 31 Dec 2022 15:23:43 +0000 |
855 lines |
[TASE 2023] Call for Workshops
|
Guillaume Dupont |
Thu, 22 Dec 2022 16:34:40 +0100 |
120 lines |
[TASE 2023] Second call for papers
|
Guillaume Dupont |
Thu, 22 Dec 2022 16:27:28 +0100 |
240 lines |
Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 20 Jan 2023
|
Sammartino, Matteo |
Wed, 21 Dec 2022 10:17:09 +0000 |
304 lines |
Professorship (m/f/x) in Embedded Hardware-Software Systems at Oldenburg University, Germany
|
Prof. Dr. Martin Georg Fränzle |
Tue, 20 Dec 2022 07:45:04 +0000 |
343 lines |
CALCO 2023: First Call for Papers
|
Thorsten Wissmann |
Mon, 19 Dec 2022 18:53:43 +0100 |
254 lines |
Professorship in "Theory of Correct Systems" at Oldenburg University
|
Ernst-Ruediger Olderog |
Mon, 19 Dec 2022 15:38:49 +0100 |
97 lines |
Recruiting: Doctoral Researchers / PhD Students
|
Andre Platzer |
Sat, 17 Dec 2022 22:25:01 +0100 |
73 lines |
Alan Turing podcasts
|
Jonathan Bowen |
Thu, 15 Dec 2022 19:52:51 +0000 |
71 lines |
NFM 2023: Deadline extension & final CFP
|
Rozier, Kristin-Yvonne [AER E] |
Sat, 10 Dec 2022 03:32:45 +0000 |
156 lines |
CfP ICGT 2023 :: 16th International Conference on Graph Transformation
|
Christopher Michael POSKITT |
Thu, 8 Dec 2022 15:43:02 +0000 |
563 lines |
PhD Scholarships at University College London
|
Pym, David |
Wed, 7 Dec 2022 15:45:35 +0000 |
50 lines |
Certified Programs and Proofs (CPP) 2023: Call for Participation
|
Steve Zdancewic |
Mon, 5 Dec 2022 17:00:28 -0500 |
116 lines |