|
|
|
Size
|
1st Call for Papers - FOODSIM'2016, April 3-7, 2016, Catholic University Louvain, Ghent, Belgium
|
Philippe Geril |
Wed, 30 Sep 2015 10:30:44 +0100 |
487 lines |
Constraints in Formal Verification (CFV2015) Call for Participation: Austin, TX, USA
|
Rozier, Kristin Yvonne (rozierky) |
Tue, 29 Sep 2015 16:32:19 +0000 |
118 lines |
SETTA 2015 Call for participation
|
Jonathan Bowen |
Fri, 25 Sep 2015 15:20:55 +0100 |
59 lines |
Preliminary Programme, 29th ESM'2015, October 26-28, 2015, Holiday Inn, Leicester, UK
|
Philippe Geril |
Fri, 25 Sep 2015 10:35:27 +0100 |
564 lines |
ICADIWT 2016
|
<> |
Wed, 23 Sep 2015 21:53:10 +0530 |
127 lines |
[simu-conf] Computing in Science and Engineering - Special Issue CFP
|
G. Wainer |
Mon, 21 Sep 2015 18:32:14 -0400 |
37 lines |
[simu-conf] Symposium of Theory of Modeling and Simulation 2016
|
G. Wainer |
Mon, 21 Sep 2015 18:29:55 -0400 |
45 lines |
CALL FOR PARTICIPATION: ASE 2015 - 30th IEEE/ACM International Conference on Automated Software Engineering
|
Xiao Qu |
Thu, 17 Sep 2015 15:12:39 +0000 |
146 lines |
Ph.D position in Formal Analysis Techniques for Concurrent Programs, U. of Oslo
|
Martin Steffen |
Fri, 11 Sep 2015 10:12:28 +0200 |
93 lines |
CFP: HSCC 2016 (Hybrid Systems: Computation and Control)
|
Paolo Zuliani |
Wed, 9 Sep 2015 09:40:43 +0100 |
188 lines |
Reminder: BCS-FACS Seminar - Ian Hayes, 16 September 2015, BCS London offices
|
Jonathan Bowen |
Sat, 5 Sep 2015 22:00:15 +0100 |
67 lines |
ICADIWT 2016 Macau Satellite Session
|
<> |
Thu, 3 Sep 2015 17:09:33 +0530 |
129 lines |
Constraints in Formal Verification (CFV2015) Call for Participation: Austin, TX, USA
|
Rozier, Kristin Yvonne (rozierky) |
Tue, 1 Sep 2015 09:34:01 +0000 |
119 lines |