|
|
|
Size
|
FMCAD 2016: 2nd CALL FOR PAPERS
|
Igor Konnov |
Fri, 29 Apr 2016 18:26:42 +0200 |
194 lines |
Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
|
Lin, Yuhui |
Fri, 29 Apr 2016 08:42:57 +0000 |
66 lines |
2nd CFP: 30th European Simulation and Modelling Conference - ESM'2016, October 26-28, 2016, SIANI, Univ. of Las Palmas, Spain
|
Philippe Geril |
Thu, 28 Apr 2016 12:32:39 +0100 |
377 lines |
RTIS 2016
|
<> |
Tue, 26 Apr 2016 18:07:01 +0530 |
132 lines |
SYNT 2016: Final CfP and deadline extension
|
Rayna Dimitrova |
Mon, 25 Apr 2016 14:29:36 +0200 |
129 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 |
204 lines |
CFP: 14th International Workshop on Satisfiability Modulo Theories
|
Tim King |
Sun, 24 Apr 2016 20:53:48 +0100 |
169 lines |
WPTE 2016 - deadline extended until April 27
|
Horatiu Cirstea |
Sat, 23 Apr 2016 09:58:37 +0200 |
332 lines |
2ND CALL FOR PAPERS: 17th Annual GAMEON'2016, September 13-15, 2016, Universidade Nova de Lisboa, Lisbon, Portugal
|
Philippe Geril |
Fri, 22 Apr 2016 12:02:31 +0100 |
236 lines |
FGCT 2016
|
Saba Sara |
Tue, 19 Apr 2016 15:17:44 +0530 |
128 lines |
TIME 2016 --- Second Call for Papers
|
Michael Reichhardt Hansen |
Mon, 18 Apr 2016 11:07:45 +0000 |
590 lines |
International SAT/SMT/AR Summer School
|
Philipp Ruemmer |
Fri, 15 Apr 2016 00:07:08 +0200 |
70 lines |
INTECH 2016
|
Saba Sara |
Mon, 11 Apr 2016 15:47:11 +0530 |
108 lines |
[Mycolleagues] 5 G Wireless Communication
|
Saba Sara |
Mon, 11 Apr 2016 14:15:20 +0530 |
140 lines |
SR 2016 - Extended Deadline and Last Call for Contributions
|
aniello murano |
Sat, 9 Apr 2016 08:09:14 +0200 |
403 lines |
SR 2016 - Extended Deadline and Last Call for Contributions
|
aniello murano |
Fri, 8 Apr 2016 10:00:03 +0200 |
495 lines |
second CfP WPTE 2016 (affiliated with FSCD 2016)
|
Horatiu Cirstea |
Thu, 7 Apr 2016 13:59:38 +0200 |
166 lines |
ICDTSS
|
<> |
Tue, 5 Apr 2016 20:01:58 +0530 |
83 lines |
FORMATS 2016 - Last Call for Papers
|
Martin Fränzle |
Tue, 5 Apr 2016 08:55:02 +0200 |
196 lines |