|
|
|
Size
|
Final Call for Papers: 3rd International Workshop on Cyberpatterns, Oxford, UK, April 2014
|
Jonathan Bowen |
Tue, 31 Dec 2013 16:17:54 +0000 |
348 lines |
Call for Papers: UTP 2014 - 5th International Symposium on Unifying Theories of Programming
|
Jonathan Bowen |
Thu, 19 Dec 2013 17:14:44 +0000 |
213 lines |
BCS-FACS Evening seminar: Cédric Fournet (joint event with EPSRC Network CryptoForma)
|
Eerke Boiten |
Tue, 17 Dec 2013 11:59:25 +0000 |
68 lines |
Call for Papers: FormaliSE 2014
|
Nico Plat |
Fri, 13 Dec 2013 15:03:03 +0100 |
154 lines |
Dealine extended: 9th Workshop on Model Based Testing (MBT 2014)
|
Nikolay Pakulin |
Fri, 6 Dec 2013 18:30:59 +0400 |
145 lines |
[ABZ 2014] CFP -- Call For Papers
|
Yamine AIT AMEUR |
Thu, 5 Dec 2013 15:19:01 +0100 |
1739 lines |
PhD Positions at the University of Liverpool,
|
Michael Fisher |
Mon, 2 Dec 2013 11:39:38 +0000 |
79 lines |
AI4FM 2014: Call for Short Contributions
|
Iain Whiteside |
Mon, 2 Dec 2013 10:18:23 +0000 |
122 lines |