[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.