|
|
|
Size
|
IEEE MLESP 2018 Deadline Extended
|
Larbi Boubchir |
Sat, 29 Sep 2018 22:03:55 +0200 |
299 lines |
Two Academic Posts in Secure Systems at the University of Surrey
|
Brijesh Dongol |
Tue, 18 Sep 2018 08:22:48 +0100 |
48 lines |
CFP: The 1st International Workshop on Machine Learning for EEG Signal Processing (MLESP 2018)
|
Larbi Boubchir |
Mon, 17 Sep 2018 19:44:19 +0200 |
15552 lines |
NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Kristin Yvonne Rozier |
Mon, 17 Sep 2018 11:32:33 -0500 |
204 lines |
Forthcoming events for the BCS Formal Aspects of Computing Science (FACS) Group
|
Jonathan Bowen |
Fri, 14 Sep 2018 13:54:01 +0100 |
225 lines |
Forthcoming events from the Formal Aspects of Computing Science (FACS) Group
|
Sofia Meacham |
Thu, 13 Sep 2018 17:45:24 +0000 |
193 lines |
Forthcoming events for the BCS Formal Aspects of Computing Science (FACS) Group
|
Sofia Meacham |
Thu, 13 Sep 2018 15:35:40 +0000 |
201 lines |
Research Fellow in Verification, University of Surrey
|
Brijesh Dongol |
Fri, 7 Sep 2018 07:51:01 +0100 |
120 lines |
[Mycolleagues] Call for participation VECoS 2018, Grenoble, 26-28 septembre 2018
|
Ayoub Nouri |
Wed, 5 Sep 2018 09:37:08 +0200 |
355 lines |
Call for participation VECoS 2018, Grenoble, 26-28 septembre 2018
|
Ayoub Nouri |
Wed, 5 Sep 2018 09:37:08 +0200 |
325 lines |
NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Kristin Yvonne Rozier |
Thu, 16 Aug 2018 13:09:49 -0500 |
131 lines |