|
|
|
Size
|
First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
|
Lin, Yuhui |
Mon, 30 Nov 2015 15:20:30 +0000 |
79 lines |
2nd Call for Papers - FOODSIM'2016, April 3-7, 2016, Catholic University Louvain, Ghent, Belgium
|
Philippe Geril |
Wed, 25 Nov 2015 15:30:09 +0000 |
126 lines |
VerifyThis Verification Competition 2016: Call for Challenges
|
Rosemary Monahan |
Wed, 25 Nov 2015 13:36:35 +0000 |
133 lines |
[simu-conf] Symposium of Theory of Modeling and Simulation 2016 - DEADLINE APPROACHING
|
G. Wainer |
Tue, 24 Nov 2015 19:48:36 -0500 |
56 lines |
CFP: UTP 2016 - 6th International Symposium on Unifying Theories of Programming, June 4-5, 2016, Reykjavík, Iceland
|
Jonathan Bowen |
Mon, 16 Nov 2015 13:53:20 +0200 |
93 lines |
2nd CFP MESM'2016, 16TH Annual Middle Eastern Simulation and Modelling Conference, March 21-23, 2016, AOU, Amman, Jordan
|
Philippe Geril |
Mon, 16 Nov 2015 11:43:27 +0000 |
318 lines |
1st Call for Papers, 12th Annual Future Business Technology Conference, April 13-15, 2016, Plymouth University, UK
|
Philippe Geril |
Fri, 13 Nov 2015 09:24:08 +0000 |
717 lines |
CFP: TASE 2016 - 10th International Symposium on Theoretical Aspects of Software Engineering, 17-19 July 2016, Shanghai, China
|
Jonathan Bowen |
Fri, 13 Nov 2015 10:29:40 +0200 |
171 lines |
Annual Peter Landin Semantics Seminar: Semantic Families for Cyber Physical Systems, By Prof Jan Peleska, 7th December, 6pm, BCS London Offices
|
Paul Boca |
Mon, 9 Nov 2015 23:50:02 +0000 |
108 lines |
1st Call for Papers, 23rd Annual European Concurrent Engineering Conference, April 13-15, 2016, Plymouth University, UK
|
Philippe Geril |
Fri, 6 Nov 2015 12:54:25 +0000 |
542 lines |