|
|
|
Size
|
LMS-BCS/FACS Evening Seminar
|
LMS Computer Science |
Fri, 30 Sep 2022 14:48:20 +0000 |
200 lines |
CFP DDP 2022
|
ijwa dline.info |
Tue, 27 Sep 2022 04:40:11 +0000 |
298 lines |
SSS 2022: Call For Participation
|
Bein, Doina |
Mon, 26 Sep 2022 23:05:14 +0000 |
119 lines |
CFP The 20th Int'l Conf. on Information Technology: New Generations ITNG 2023, April 24-26, 2023, Las Vegas, USA
|
Bein, Doina |
Sun, 25 Sep 2022 01:55:05 +0000 |
292 lines |
1st Call for Papers: NASA Formal Methods (NFM) 2023
|
Rozier, Kristin-Yvonne [AER E] |
Wed, 21 Sep 2022 00:48:58 +0000 |
115 lines |
Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 15 Oct 2022
|
Sammartino, Matteo |
Fri, 16 Sep 2022 09:44:28 +0000 |
228 lines |
Two postdoc positions at Max Planck Institute for Software Systems, Germany
|
Sadegh Soudjani |
Mon, 5 Sep 2022 15:24:39 +0100 |
185 lines |