|
|
|
Size
|
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 |
216 lines |
CfP - First International Workshop on Agility with Microservices Programming (AMP 2020) @ XP2020, June 8, Copenhagen, Denmark
|
Florian Rademacher |
Sun, 26 Jan 2020 14:35:15 +0100 |
141 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 |
571 lines |
FACS FACTS newsletter, December 2019
|
Jonathan Bowen |
Sat, 11 Jan 2020 18:55:55 +0000 |
82 lines |
FormaliSE 2020 - Final Call for Papers - One week deadline extension
|
Nico Plat |
Tue, 7 Jan 2020 23:01:32 +0100 |
196 lines |
PhD Studentship in Cyber-Physical Systems and Trusted Autonomy, Newcastle University, UK
|
Sergiy Bogomolov |
Mon, 6 Jan 2020 17:43:24 -0000 |
28 lines |
Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK
|
Sergiy Bogomolov |
Wed, 15 Jan 2020 15:59:12 -0000 |
37 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 |
339 lines |
WADT 2020 - Call for Abstracts
|
Roggenbach M. |
Tue, 28 Jan 2020 15:46:09 +0000 |
162 lines |
[CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
|
Luca Pulina |
Fri, 10 Jan 2020 14:32:19 +0100 |
1282 lines |