April 2017 Archives by date

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

Starting: Mon Apr 3 18:00:15 CEST 2017
Ending: Fri Apr 28 23:26:45 CEST 2017
Messages: 57

• [ecoop-info] it-fmeurope-events Digest Mon, 03 Apr 2017   it-fmeurope-events-request at lists.uu.se
• [ecoop-info] VINCI' 2017 Call for Paper - Paper submission deadline 9 April   info at vinci-conf.org
• [ecoop-info] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming   Renato Neves
• [ecoop-info] NFM 2017 - 2nd Call For Participation   Rody Kersten
• [ecoop-info] 4 Funded Ph.D. Positions at Halmstad University, Sweden   M.R. Mousavi
• [ecoop-info] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software   m.huisman at utwente.nl
• [ecoop-info] Call for Workshop Papers: IEEE Int. Conferences (CPSCom, GreenCom, iThings, SmartData) and Journal Special Issues, 21-23 June 2017, England, UK   Yuan Zuo
• [ecoop-info] STAF 2017 Satellite Events: Final Joint Call   Antonio Garcia-Dominguez
• [ecoop-info] it-fmeurope-events Digest Mon, 10 Apr 2017   it-fmeurope-events-request at lists.uu.se
• [ecoop-info] VINCI' 2017 CFP - Paper submission deadline April 28th   info at vinci-conf.org
• [ecoop-info] DEADLINE EXTENSION - CfP ECSA 2017: 11th European Conference on Software Architecture   Elisa Yumi Nakagawa
• [ecoop-info] CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT   Guido Salvaneschi
• [ecoop-info] Post-doc Position on Engineering the Software of Mission Critical Unmanned Vehicles   Davide Di Ruscio
• [ecoop-info] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers   Havelund, Klaus (348B)
• [ecoop-info] AICCSA 2017 CFP: 14th ACS/IEEE International Conference on Computer Systems and Applications, Hammamet, Tunisia, Oct 30 – Nov 03, 2017   AICCSA 2017
• [ecoop-info] CfP FMCAD 2017 - Formal Methods in Computer Aided Design   no-reply at forsyte.tuwien.ac.at
• [ecoop-info] SPLASH 2017: 3rd Combined Call for Contributions   SPLASH Publicity
• [ecoop-info] VINCI' 2017 CFP - Paper submission deadline April 28th   info at vinci-conf.org
• [ecoop-info] RV and RV-CuBES 2017 - Call for papers and tutorials   Ayoub Nouri
• [ecoop-info] CFP: 19th International Conference on Distributed Computing and Networking (ICDCN 2018)   Bein, Doina
• [ecoop-info] Call for participation: PLDI 2017 and co-located events   Tobias Grosser
• [ecoop-info] CiE 2017: call for informal presentations   CIE2017
• [ecoop-info] [EXTENDED DEADLINE] Call for Papers: 5th International Workshop on Scalable Model Driven Engineering (BigMDE 2017)   Davide Di Ruscio
• [ecoop-info] VHPC at ISC extension - Papers due May 2   VHPC 17
• [ecoop-info] CFP IEEE/ACM DS-RT 2017, Rome, Italy   Robson De Grande
• [ecoop-info] CFP: 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017)   Naoyasu Ubayashi
• [ecoop-info] Extended Deadline (May 1): Halmstad Summer School on Testing (HSST 2017)   M.R. Mousavi
• [ecoop-info] CfP: MATES 2017 - Extended deadline: May 7, 2017   Berndt, Jan Ole, Dr.-Ing.
• [ecoop-info] it-fmeurope-events Digest Thu, 20 Apr 2017   it-fmeurope-events-request at lists.uu.se
• [ecoop-info] Registration Now Open: ACM SYSTOR 2017, May 22-24, Haifa, Israel   Moshik Hershcovitch
• [ecoop-info] FTfJP CfP (deadline extended)   Radu Grigore
• [ecoop-info] 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017   Dirk Craeynest
• [ecoop-info] Extended deadline: VORTEX 2017 - 2nd ECOOP Workshop on Runtime Verification for Object-Oriented Languages, and Systems   Davide Ancona
• [ecoop-info] Software for robotics LASER summer school: New speaker, and early registration deadline   Bertrand Meyer
• [ecoop-info] SMT 2017 Workshop - CFP   Liana Hadarean
• [ecoop-info] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8   Havelund, Klaus (348B)
• [ecoop-info] Open PhD Positions in Computer Science and Systems Engineering, Università di Genova and FBK   Davide Ancona
• [ecoop-info] CfP: DLS 2017 - 13th Dynamic Languages Symposium, co-located with SPLASH 2017, October 24, Vancouver, British Columbia, Canada   Davide Ancona
• [ecoop-info] VINCI' 2017 CFP - Paper submission deadline April 28th   info at vinci-conf.org
• [ecoop-info] ECOOP 2017 - Doctoral Symposium: extended deadline   Silvia Crafa
• [ecoop-info] FROM 2017: 1st Call for Papers   Dorel Lucanu
• [ecoop-info] ECOOP 2017 - Call for Participation   Silvia Crafa
• [ecoop-info] E-Learning, E-Governement, E-Health at IEEE-AICCSA’2017 – Hammamet (Tunisia)   Slim Kallel
• [ecoop-info] Call for Applications: The 13th Reasoning Web Summer School (RW 2017)   Domenico Lembo
• [ecoop-info] it-fmeurope-events Digest Mon, 24 Apr 2017   it-fmeurope-events-request at lists.uu.se
• [ecoop-info] CfP: 1st Workshop on Incremental Computing (IC) 2017   Paley Li
• [ecoop-info] IEEE Big Data 2017 Call for Workshop Proposals   CFP Conference
• [ecoop-info] CFP IEEE IPCCC 2017   Qing Yang
• [ecoop-info] FROM 2017: 1st Call for Papers   Dorel Lucanu
• [ecoop-info] Call for papers: VISSOFT 2017: 5th IEEE Working Conference on Software Visualization   Cong Chen
• [ecoop-info] The Correctness-by-Construction Approach to Programming — Tutorial at QRS 2017   Ina Schaefer
• [ecoop-info] Extended deadline: IWACO 2017   Elias Castegren
• [ecoop-info] CfP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for the IoT (ALP4IoT) 2017   Danilo Pianini
• [ecoop-info] CFP (Deadline Approaching): IEEE DS-RT 2017 (October 18-20, Rome, Italy)   Robson De Grande
• [ecoop-info] FMi 2017: Deadline is Approaching. The 5th IEEE International Workshop on Formal Methods Integration   Thouraya Bouabana Tebibel
• [ecoop-info] CiE 2017: call for participation   CIE2017
• [ecoop-info] EXTENDED DEADLINE - FMCAD 2017   no-reply at forsyte.tuwien.ac.at

Last message date: Fri Apr 28 23:26:45 CEST 2017
Archived on: Tue May 2 10:53:23 CEST 2017

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