|
|
|
Size
|
1st CFP: ICFEM 2016
|
Kenji Taguchi |
Tue, 22 Dec 2015 15:20:19 +0900 |
345 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:39:33 +0100 |
141 lines |
Annual Peter Landin Semantics Seminar: Semantic Families for Cyber Physical Systems, By Prof Jan Peleska, 7th December, 6pm, BCS London Offices
|
Paul Boca |
Fri, 4 Dec 2015 12:43:56 +0000 |
224 lines |
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 |
303 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:14:12 +0100 |
137 lines |
FormaliSE 2016: Call for Papers
|
Nico Plat |
Sat, 5 Dec 2015 19:02:08 +0100 |
114 lines |
Postdoc or Research Assistant in Formal Verification (deadline 10 January)
|
Anne Haxthausen |
Fri, 18 Dec 2015 14:41:08 +0000 |
30 lines |
The 15th International Conference on Software Reuse (ICSR 2016): Final Combined Call for Contributions
|
Announce Announcements |
Sun, 13 Dec 2015 14:26:46 +0200 |
690 lines |
Your subscription confirmation
|
Announce Announcements |
Mon, 14 Dec 2015 05:46:32 -0500 |
38 lines |
Your subscription request
|
Announce Announcements |
Tue, 15 Dec 2015 04:55:25 -0500 |
41 lines |
Your subscription request
|
Announce Announcements |
Mon, 14 Dec 2015 05:44:51 -0500 |
41 lines |
Your unsubscribe request confirmation
|
Announce Announcements |
Sun, 13 Dec 2015 22:56:46 -0500 |
34 lines |