CALL FOR PARTICIPATION: FormaliSE 2013 FME Workshop on Formal Methods in Software Engineering held in conjunction with ICSE 2013 Saturday 25 May 2013, San Francisco, USA http://www.formalise.org/ WORKSHOP SCOPE The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.

CALL FOR PARTICIPATION

  ICSE 2013 Workshop: 2nd Workshop on User evaluations for Software Engineering Researchers Date: Sunday May 26, 2013 San Francisco, CA, USA Full Details: https://sites.google.com/site/user2013workshop/ Contact: user2013@easychair.org   FINAL PROPOSAL DEADLINE: April 24, 2013.

MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2013 Co-located with the 21st IEEE International Requirements Engineering Conference in Rio de Janeiro, Brazil, July 15, 2013

The International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2013 is the 23nd in a series of international workshops. The PATMOS meeting has evolved into a leading scientific event where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. Both Universities and Companies are invited to participate.

 

24th IEEE International Symposium on Rapid System Prototyping

  Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems Philadelphia, USA; September 9-13, 2013   The 2013 edition of the Self-Adaptive and Self-Organizing systems conference (SASO) will be held in Philadelphia, PA, USA, and hosted by Drexel University, in the week of September 9-13, 2013.

15th International Confernce on Enterprise Information Systems ICEIS 2013 will be held in conjunction with ENASE 2013. Registration to ICEIS allows free access to the ENASE conference (as a non-speaker). Upcoming Deadlines