20th International Symposium on Temporal Representation and Reasoning Symposium Scope

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

  MSR 2013: CALL for PARTICIPATION 10th Working Conference on Mining Software Repositories (MSR) May 18-19, 2013. San Francisco, California, USA The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day working conference is to advance the science and practice of MSR. CONFERENCE PROGRAM The MSR 2013 program includes:

The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Stellenbosch, South Africa, 14-19 December 2013 www.LPAR-19.info

TSOS 2013 4th Workshop on Trustworthy Self-Organizing and Autonomous Systems September 9, 2013, Philadelphia, PA, USA http://tsos.isse.de Affiliated to SASO 2013 Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems Aim of the Workshop

Big MDE A workshop of the STAF conferences, focusing on scalability in Model Driven Engineering. June 17, 2013, Budapest, Hungary.

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.