|
|
|
Size
|
TAP 2016 (Tests & Proofs) - Call for Papers
|
Bernhard Aichernig |
Thu, 22 Oct 2015 16:22:19 +0200 |
161 lines |
Preliminary Programme, 16th annual GAMEON'2015, December 2-4, 2015, UvA, Amsterdam, The Netherlands
|
Philippe Geril |
Thu, 22 Oct 2015 10:22:28 +0100 |
265 lines |
2nd Call for Paper, SIMEX'2016, February 4-6, 2016, The Hotel, Brussels, Belgium
|
Philippe Geril |
Thu, 8 Oct 2015 14:21:55 +0100 |
187 lines |
Postdoctoral position at Queen's University, Canada
|
Juergen Dingel |
Mon, 5 Oct 2015 16:01:53 -0400 |
36 lines |
CPS-Week 2016: Call for Papers
|
Ezio Bartocci |
Fri, 2 Oct 2015 20:05:10 +0200 |
163 lines |