Workshop

event

2nd International Workshop on Quantitative Aspects in Security Assurance (QASA 2013) Affiliated with ESORICS 2013
Sep 08, 2013 11:00:pm - Sep 13, 2013 5:00:am

2nd International Workshop on Quantitative Aspects in Security Assurance (QASA 2013)
                      Affiliated with ESORICS 2013
                 (Sept. 12-13 2013 RHUL, Egham, U.K.)
                    

event

DIFTS 2013
Oct 19, 2013 6:00:am - Oct 19, 2013 9:00:pm

International Workshop on Design and Implementation of Formal Tools and Systems

Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE

event

FormaliSE Workshop 2013
May 25, 2013 6:30:am - May 25, 2013 8:30:pm

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.

event

TSOS 2013
Sep 09, 2013 6:30:am - Sep 09, 2013 8:30:pm

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

event

Big MDE workshop 2013
Jun 17, 2013 6:00:am - Jun 17, 2013 8:00:pm

Big MDE

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

event

(MoDRE) workshop 2013
Jul 15, 2013 6:45:am - Jul 15, 2013 8:45:pm

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

event

PATMOS 2013
Sep 09, 2013 6:30:am - Sep 11, 2013 8:30:pm

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.

event

MDWE 2013
Jul 08, 2013 6:00:am - Jul 08, 2013 8:30:pm

9th International Workshop on Model-Driven and Agile Engineering for the Web
Workshop at ICWE 2013
http://mdwe2013.dlsi.ua.es

Aalborg, Denmark
July 8th, 2013

****** OVERVIEW ******

event

VOLT 2013
Jun 17, 2013 6:00:am - Jun 17, 2013 8:00:pm

VOLT 2013
2nd Workshop on the Verification of Model Transformation
Co-located  with  STAF  2013
http://www.hpi.uni-potsdam.de/giese/events/2013/volt/

Budapest, Hungary
June 17, 2013

*** Call for Papers ***