|
|
|
Size
|
TIME 2016 --- Second Call for Papers
|
Michael Reichhardt Hansen |
Mon, 18 Apr 2016 10:58:53 +0000 |
2379 lines |
Call For Participation: FormaliSE 2016, Austin, Texas, USA, 15 May 2016
|
Nico Plat |
Sat, 23 Apr 2016 22:49:50 +0200 |
63 lines |
CFP: 14th International Workshop on Satisfiability Modulo Theories
|
SUBSCRIBE FMNET Tim King |
Sun, 24 Apr 2016 20:52:40 +0100 |
168 lines |
Deadline Extension: ATVA 2016 (14th Int'l Symp. on Automated Technology for Verification and Analysis)
|
Takashi Kitamura |
Mon, 25 Apr 2016 10:12:00 +0900 |
203 lines |
SYNT 2016: Final CfP and deadline extension
|
Rayna Dimitrova |
Mon, 25 Apr 2016 14:29:49 +0200 |
128 lines |
PhD position in Formal Modelling and Verification for High Assurance
|
Roberto Guanciale |
Tue, 26 Apr 2016 14:32:22 +0000 |
47 lines |
Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
|
Lin, Yuhui |
Fri, 29 Apr 2016 08:42:59 +0000 |
65 lines |
FMCAD 2016: 2nd CALL FOR PAPERS
|
Igor Konnov |
Fri, 29 Apr 2016 18:26:42 +0200 |
193 lines |