|
|
|
Size
|
SSTiC 2014: June 7, early registration deadline
|
GRLMC |
Sat, 31 May 2014 11:17:15 +0200 |
246 lines |
Postdoctoral Researcher in Formal Verification [Liverpool, UK]
|
Michael Fisher |
Thu, 29 May 2014 15:29:29 +0100 |
173 lines |
Invitation to connect on LinkedIn
|
Florin Craciun |
Thu, 29 May 2014 07:46:27 +0000 |
287 lines |
BCS-FACS talk on Alan Turing - 5 June 2014, London
|
Jonathan Bowen |
Wed, 28 May 2014 14:16:21 +0100 |
189 lines |
AlCoB 2014: call for participation
|
GRLMC |
Sat, 17 May 2014 13:18:30 +0200 |
142 lines |
7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014): Final Call for Papers
|
Announce Announcements |
Sat, 17 May 2014 12:57:10 +0300 |
202 lines |
IMBSA 2014: 4th International Symposium on Model-Based Safety and Assessment
|
Lipaczewski, Michael |
Mon, 12 May 2014 05:20:04 +0000 |
500 lines |
KICSS 2014: Second Call for Papers
|
Announce Announcements |
Sun, 11 May 2014 15:52:44 +0300 |
425 lines |
TPNC 2014: 2nd call for papers
|
GRLMC |
Sat, 10 May 2014 09:54:11 +0200 |
242 lines |
OCL 2014: First Call for Papers
|
Achim D. Brucker |
Wed, 7 May 2014 22:37:23 +0200 |
164 lines |
ICTAI 2014: Third Call for Papers
|
Announce Announcements |
Sat, 3 May 2014 14:27:52 +0300 |
247 lines |
SLSP 2014: extended submission deadline 14 May
|
GRLMC |
Sat, 3 May 2014 12:45:22 +0200 |
250 lines |
BCS-FACS evening seminar by Prof. Zhimimg Liu, London, 15 May 2014
|
Jonathan Bowen |
Thu, 1 May 2014 16:58:26 +0100 |
202 lines |