[TYPES/announce] WS-FM/BEAT 2015 1st Call for Papers

Antonio Ravara aravara at fct.unl.pt
Wed Mar 25 02:20:19 EDT 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 Types-announce mailing list