April 2019 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Apr 3 14:54:14 CEST 2019
Ending: Tue Apr 30 11:37:36 CEST 2019
Messages: 32

• [ecoop-info] [CfP] DLS 2019 - 15th Dynamic Languages Symposium, Submission Deadline June 5th   Stefan Marr
• [ecoop-info] [REConference] RE'19 accepting research papers submissions till April 7   Itzel Morales Ramirez
• [ecoop-info] [Vardi-list] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium   Moshe Vardi
• [ecoop-info] Assistant/Associate/Full Professor in Computer Science - Data Management   Coen DE ROOVER
• [ecoop-info] Call for Contributions to the Doctoral Symposium @ECSA'2019   Chouki Tibermacine
• [ecoop-info] Call for Contributions to the Doctoral Symposium @SPLC'19   Clément Quinton
• [ecoop-info] Call for Contributions to the Industry Program @ECSA'2019 - Paris, FR   Chouki Tibermacine
• [ecoop-info] Call for Papers, The Programming Journal, Volume 4, Issue 2   Stefan Marr
• [ecoop-info] Call for Student Volunteers @ECSA'2019   Chouki Tibermacine
• [ecoop-info] CfP - FACS 2019 (Formal Aspects of Component Software)   Sung-Shik Jongmans
• [ecoop-info] CfP for the Track Women in Software Engineering @ECSA'2019 & @SPLC'2019   Chouki Tibermacine
• [ecoop-info] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE   Martin Leucker
• [ecoop-info] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE   Bernd Finkbeiner
• [ecoop-info] Deadline extension for Onward! 2019 Papers and Essays   Hidehiko Masuhara
• [ecoop-info] DeCPS 2019 - Dependable and Cyber-Physical Systems Engineering   Dirk Craeynest
• [ecoop-info] ECOOP 2019 Is Looking For Student Volunteers   Jake Hughes
• [ecoop-info] Extended Deadlines FMICS 2019: Formal Methods for Industrial Critical Systems; 1 May (abstract); 3 May (paper)   Tim Willemse
• [ecoop-info] FAACS 2019: First Call for Papers   Matteo Camilli
• [ecoop-info] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands   Marielle Stoelinga
• [ecoop-info] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper)   Tim Willemse
• [ecoop-info] FROM 2019 - second Call for Papers   Mircea Marin
• [ecoop-info] FTfJP 2019: Second Call for Papers   Gidon Ernst
• [ecoop-info] International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA) at ESORICS   Brahim HAMID
• [ecoop-info] International Workshop on Programming Across the System Stack (PASS at ECOOP'19)   Yu David Liu
• [ecoop-info] MDE at DeRun at STAF 2019 - Extended deadline   Romina Eramo
• [ecoop-info] Microservices Workshop at TOOLS 2019   Clément Quinton
• [ecoop-info] MPLR 2019 - Call for Papers   Emilio Coppa
• [ecoop-info] PhD position: Self-Adaptation and Resilience for Artificial Intelligence-Based Robotic Systems   Ansgar Radermacher
• [ecoop-info] SPLC 2019 - Workshops - Joint Call for Papers   Clément Quinton
• [ecoop-info] TIPS'19 CfP   MRAIDHA Chokri
• [ecoop-info] Two PhD positions on model-driven engineering and model management @ TU Eindhoven   Onder Babur
• [ecoop-info] VTSA 2019 -- Call for applications   Jun PANG

Last message date: Tue Apr 30 11:37:36 CEST 2019
Archived on: Thu May 2 10:34:49 CEST 2019

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...