|
|
|
Size
|
2nd CFP: ATVA 2016 - 14th Int'l Symp. on Automated Technology for Verification and Analysis @ Oct 17-19, 2016, Chiba Japan
|
Takashi Kitamura |
Wed, 30 Mar 2016 13:04:12 +0900 |
200 lines |
1st CFP: ATVA 2016 (14th Int'l Symp. on Automated Technology for Verification and Analysis) @ Oct 17-19, 2016, Chiba Japan
|
Takashi Kitamura |
Tue, 8 Mar 2016 02:15:22 +0900 |
200 lines |
FormaliSE 2016 call for participation: early bird registration deadline approaching (4 April)
|
Nico Plat |
Sun, 27 Mar 2016 23:55:19 +0200 |
69 lines |
Call for Participation: FormaliSE 2016, Austin, Texas, USA, 15 May 2016
|
Nico Plat |
Mon, 7 Mar 2016 23:03:53 +0100 |
142 lines |
Deadline Extended: HCCV 2016 - Workshop on High-Consequence Control Verification
|
Michael Butler |
Thu, 31 Mar 2016 13:42:53 +0000 |
111 lines |
2 Ph.D positions on Formal Methods for Rule-based agent safety and concurrent system analysis (U. of Oslo), 15. April
|
Martin Steffen |
Thu, 17 Mar 2016 09:55:25 +0100 |
99 lines |
Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
|
Lin, Yuhui |
Tue, 15 Mar 2016 16:40:29 +0000 |
65 lines |
UTP 2016: extended submission deadline - 20 March 2016
|
Jonathan Bowen |
Thu, 3 Mar 2016 16:02:14 +0000 |
208 lines |
BCS-FACS Evening Seminar: Model-Based Testing: There is Nothing More Practical than a Good Theory (17 May 2016)
|
Jonathan Bowen |
Sat, 12 Mar 2016 00:07:36 +0000 |
134 lines |