|
|
|
Size
|
Agent Verification Workshop, 11th September 2015, Liverpool, UK
|
Michael Fisher |
Tue, 30 Jun 2015 17:44:48 +0100 |
104 lines |
PostDoc position in Verification (Energy Efficient Control)
|
Schewe, Sven |
Mon, 29 Jun 2015 14:59:12 +0000 |
108 lines |
PhD position in trustworthy embedded platforms, KTH - School of Computer Science and Communication, Stockholm, Sweden
|
Roberto Guanciale |
Wed, 24 Jun 2015 10:05:25 +0000 |
46 lines |
IEEE/ACM UCC 2015: Fourth Call for Papers and Tutorial Proposals
|
Announce Announcements |
Fri, 19 Jun 2015 17:17:37 +0300 |
504 lines |
Final Call for Papers SETTA 2015, Nov, Nanjing, China
|
Jonathan Bowen |
Sun, 14 Jun 2015 22:23:57 +0100 |
306 lines |
Second CFP: 6th Workshop on Semantics for Smarter Cities (SASC 2015)
|
Announce Announcements |
Fri, 12 Jun 2015 17:30:52 +0300 |
402 lines |
Last Mile: The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015)
|
Announce Announcements |
Mon, 8 Jun 2015 18:02:23 +0300 |
305 lines |
AVoCS 2015: Extended Paper Deadline
|
YuHui Lin |
Mon, 8 Jun 2015 09:26:51 +0100 |
232 lines |