|
|
|
Size
|
2nd CFP- 14th Annual Industrial Simulation Conference, ISC'2016, June 6-8, 2016, POLITEHNICA University Bucharest, Romania
|
Philippe Geril |
Fri, 29 Jan 2016 12:37:29 +0000 |
423 lines |
HCVS 2016: 3rd Workshop on Horn Clauses for Verification and Synthesis
|
Philipp Ruemmer |
Mon, 18 Jan 2016 14:56:44 +0100 |
110 lines |
TAP 2016 (Tests & Proofs) - Final Call for Papers
|
Bernhard Aichernig |
Mon, 18 Jan 2016 14:01:33 +0100 |
171 lines |
2nd Call for Papers, 22nd Annual European Concurrent Engineering Conference, April 13-15, 2016, Plymouth University, UK
|
Philippe Geril |
Mon, 11 Jan 2016 09:59:32 +0000 |
169 lines |
PhD Scholarships (split supervision: Newcastle/Singapore)
|
Cliff Jones |
Sun, 10 Jan 2016 19:58:39 +0000 |
26 lines |
2nd Call for Papers, 12th Annual Future Business Technology Conference, April 13-15, 2016, Plymouth University, UK
|
Philippe Geril |
Fri, 8 Jan 2016 12:55:13 +0000 |
154 lines |
FINAL CFP : ICADIWT 2016
|
<> |
Tue, 5 Jan 2016 17:19:07 +0530 |
138 lines |
CfP: UTP 2016 - 6th International Symposium on Unifying Theories of Programming, June 4–5, 2016, Reykjavík, Iceland
|
Jonathan Bowen |
Mon, 4 Jan 2016 17:26:56 +0000 |
111 lines |