Designing and managing complex engineering projects over their life cycles.
The 13th International Workshop on Automated Verification of Critical Systems will take place at the University of Surrey in Guildford, Surrey. The workshop will run from lunchtime on Wednesday 11th September to midday on Friday 13th September 2013.
Submitted by Anonymous on June 11th, 2013
Event
PECCS 2014
4th International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS 2014 will be held in conjunction with SENSORNETS 2014, PHOTOPTICS 2014 and PhyCS 2014.
Registration to PECCS allows free access to the SENSORNETS, PHOTOPTICS and PhyCS conferences (as a non-speaker).
UPCOMING DEADLINES
Regular Paper Submission: July 30, 2013
Regular Paper Authors Notification: October 9, 2013
Regular Pape
Submitted by Anonymous on May 7th, 2013
Event
DIFTS 2013
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE
Submitted by Anonymous on May 7th, 2013
Event
FormaliSE Workshop 2013
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.
Submitted by Anonymous on April 19th, 2013
Announcement
Final call for participation: USER 2013 workshop proposal submissions accepted until April 24!
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.
Submitted by Anonymous on April 19th, 2013
Event
(MoDRE) workshop 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
Submitted by Anonymous on April 19th, 2013
Event
PATMOS 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.
Submitted by Anonymous on April 19th, 2013
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.