|
|
|
Size
|
Call for Papers: TASE 2016, 10th International Symposium on Theoretical Aspects of Software Engineering, July 17-19, 2016, Shanghai, China
|
Jonathan Bowen |
Wed, 30 Dec 2015 14:00:58 +0000 |
305 lines |
COLAFORM @ ENASE 2016: Call for Papers
|
Maria Spichkova |
Tue, 22 Dec 2015 16:06:51 +1100 |
440 lines |
Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus
|
Martin Steffen |
Fri, 18 Dec 2015 22:12:56 +0100 |
139 lines |
2 Ph.D positions on Formal Methods for Concurrent Systems and Security Analysis (at U. of Oslo, Inst. of Informatics)
|
Martin Steffen |
Thu, 17 Dec 2015 17:38:33 +0100 |
143 lines |
FormaliSE 2016: Call for Papers
|
Nico Plat |
Sat, 5 Dec 2015 19:05:26 +0100 |
116 lines |