|
|
|
Size
|
Deadline Extended: HCCV 2016 - Workshop on High-Consequence Control Verification
|
Michael Butler |
Thu, 31 Mar 2016 13:29:28 +0000 |
113 lines |
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:00:38 +0900 |
203 lines |
[simu-conf] Winter Simulation Conference 2016 - Deadline coming (April 6)
|
G. Wainer |
Mon, 28 Mar 2016 15:16:44 -0400 |
97 lines |
1st CFP: FMSD Special Issue on Satisfiability Modulo Theories
|
Philipp Rümmer |
Fri, 25 Mar 2016 14:23:53 +0100 |
115 lines |
HSB 2016 - First call for papers
|
Paolo Zuliani |
Thu, 24 Mar 2016 14:03:56 +0000 |
742 lines |
PhD position in biological network analysis
|
Jun PANG |
Mon, 21 Mar 2016 09:43:38 +0100 |
98 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:53:55 +0100 |
100 lines |
FACS Newsletter March 2016
|
Tim Denvir |
Wed, 16 Mar 2016 19:56:35 +0000 |
56 lines |
Final CFP: 4th International Workshop on Strategic Reasoning (SR 2016)
|
Nello Murano |
Wed, 16 Mar 2016 18:25:02 +0100 |
164 lines |
[simu-conf] SummerSim CFP - Deadlines extended
|
G. Wainer |
Wed, 16 Mar 2016 11:21:35 -0400 |
71 lines |
Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
|
Lin, Yuhui |
Tue, 15 Mar 2016 16:40:27 +0000 |
66 lines |
INTECH 2016
|
<> |
Mon, 14 Mar 2016 11:41:53 +0530 |
110 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 |
135 lines |
[RV 2016] Second Call for Papers -- 2 months to the deadline
|
Yliès Falcone |
Wed, 9 Mar 2016 11:25:09 +0100 |
452 lines |
WPTE 2016 (affiliated with FSCD 2016)
|
Horatiu Cirstea |
Sun, 6 Mar 2016 16:07:47 +0100 |
147 lines |
1st CFP: 30th European Simulation and Modelling Conference - ESM'2016, October 26-28, 2016, SIANI, Univ. of Las Palmas, Spain
|
Philippe Geril |
Fri, 4 Mar 2016 16:01:47 +0000 |
412 lines |
UTP 2016: extended submission deadline - 20 March 2016
|
Jonathan Bowen |
Thu, 3 Mar 2016 16:02:14 +0000 |
125 lines |
Reminder: New List Owner required for PROCOS JiscMail list
|
JiscMail Helpline |
Thu, 3 Mar 2016 14:54:00 +0000 |
42 lines |
Fwd: (PN) Events on Verified Trustworthy Software Systems, London, April 4-7
|
Tim Denvir |
Tue, 1 Mar 2016 14:34:03 +0000 |
81 lines |