[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.
Highlights:
- 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
applications.
- Submission deadline just after CONCUR's notification
(http://mafalda.fdi.ucm.es/concur2015/).
- Double submissions with the workshop FOCLASA
(http://foclasa.lcc.uma.es/) encouraged.
More information about the ecoop-info
mailing list