[Hol-info] [fm-announcements] NFM 2014 Call for Participation

2014-02-26 Thread Kristin Yvonne Rozier
Please find the NFM 2014 Call for Participation below. With no registration fee and very reasonable costs for accommodations this conference is an excellent value to attend even without presenting a paper. It is also a great place to bring students for exposure to real-world applications!

[Hol-info] Second Call for Papers: FMICS 2014

2014-02-26 Thread Wendelin Serwe
Our apologies if you have received multiple copies. SECOND CALL FOR PAPERS FMICS 2014 19th International Workshop on Formal Methods for Industrial Critical Systems 11-12 September 2014, Florence, Italy In co-location