[ecoop-info] WS-FM/BEAT 2015 1st Call for Papers

Antonio Ravara aravara at fct.unl.pt
Wed Mar 25 08:40:23 CET 2015

WS-FM (http://wsfm2014.haifa.ac.il/) and BEAT 
(http://beat2014.behavioural-types.eu/) combine forces this year.

- Event of the MADRID MEET 2015 (http://mafalda.fdi.ucm.es/madrid2015/), 
a scientific week on formal and quantitative analysis of systems, 
performance engineering, computer safety, and industrial critical 
- Submission deadline just after CONCUR's notification 
- Double submissions with the workshop FOCLASA 
(http://foclasa.lcc.uma.es/) encouraged.

More information about the ecoop-info mailing list