|
|
|
Size
|
Multiple Postdoc Positions @ Nanyang Technological University on Testing, Verification and Security Analysis for Hypervisor, Autonomous Vehicles, Deep Learning Algorithms and Block Chain and AI Chips
|
Liu Yang (Prof) |
Thu, 30 Jan 2020 14:06:52 +0000 |
334 lines |
WADT 2020 - Call for Abstracts
|
Roggenbach M. |
Tue, 28 Jan 2020 15:46:33 +0000 |
163 lines |
LITES Special Issue on Distributed Hybrid Systems
|
Martin Fränzle |
Sun, 26 Jan 2020 19:09:59 +0100 |
94 lines |
2nd CFP 18th Annual Industrial Simulation Conference, ISC'2020, June 8-10, 2020, UCD, Dublin, Ireland
|
Philippe Geril |
Tue, 21 Jan 2020 13:01:43 +0000 |
1001 lines |
Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK
|
Sergiy Bogomolov |
Wed, 15 Jan 2020 15:59:12 -0000 |
38 lines |
FACS FACTS newsletter, December 2019
|
Jonathan Bowen |
Sat, 11 Jan 2020 18:55:55 +0000 |
83 lines |
[CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
|
Luca Pulina |
Fri, 10 Jan 2020 14:33:52 +0100 |
1283 lines |
2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020
|
Mihaela Rozman |
Thu, 9 Jan 2020 11:42:45 +0100 |
328 lines |
CFP: SESS 2020 (IEEE Workshop on Software Engineering for Smart Systems) -- Deadline: 9 April 2020
|
Francois Siewe |
Wed, 8 Jan 2020 11:41:54 +0000 |
572 lines |
PhD Studentship in Cyber-Physical Systems and Trusted Autonomy, Newcastle University, UK
|
Sergiy Bogomolov |
Mon, 6 Jan 2020 17:43:24 -0000 |
29 lines |
BCS-FACS talk, 27 Feb 2020: Privacy Assurance in Ubiquitous Systems by Typing in a Calculus of Context-aware Ambients
|
Jonathan Bowen |
Mon, 6 Jan 2020 16:46:17 +0000 |
217 lines |
RTEST 2020 -- 2nd Call for Papers (International Symposium on Real-Time and Embedded Systems Technology)
|
Sadegh Soudjani |
Mon, 6 Jan 2020 11:32:49 +0000 |
340 lines |
PhD in automated reasoning/systems biology, Newcastle University, UK
|
Paolo Zuliani |
Sun, 5 Jan 2020 08:43:59 +0000 |
76 lines |
FORMATS 2020 **Call for Papers**
|
Martin Fränzle |
Fri, 3 Jan 2020 17:09:18 +0100 |
173 lines |