[Om-announce] FTfJP 2020 - Call for Papers

2020-03-12 Thread Oortwijn Wytse
# CALL FOR PAPERS 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers Co-located with ECOOP 2020, July 13-17, Berlin, Germany ## About FTfJP 2020 Formal techniques can help analyse programs, precisely describe program

[Om-announce] DeepLearn 2020: early registration March 26

2020-03-12 Thread IRDTA
DeepLearn 2020: early registration March 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***   4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2020   León,

[Om-announce] [Important] information about CyberSciTech 2020 and the co-located conferences

2020-03-12 Thread Ali Dewan
Dear all, We have been monitoring the developing Coronavirus outbreak. The safety and well-being of all conference participants is our priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we are sorry to announce that IEEE

[Om-announce] *New Extended FIRM Deadline* - IEEE WETICE 2020

2020-03-12 Thread Stefano Forti
= IEEE WETICE 2020 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website: