Software & systems engineering and their applications.
forum
Submitted by Anonymous on Tue, 05/07/2013 - 9:37am
FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS
International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013
IMPORTANT DATES
Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17
event
Submitted by Anonymous on Tue, 05/07/2013 - 9:09am
20th International Symposium on Temporal Representation and Reasoning
event
Submitted by Anonymous on Fri, 04/19/2013 - 3:31pm
forum
Submitted by Anonymous on Fri, 04/19/2013 - 2:25pm
Call for Papers
SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS
Telecom ParisTech, Paris, November 4-6, 2013
Web site : http://icssea.enst.fr
forum
Submitted by Anonymous on Fri, 04/19/2013 - 1:40pm
CALL FOR PAPERS, SPECIAL SESSION PROPOSALS, SPECIAL TRACK PROPOSALS, PANEL SESSION PROPOSALS
23th International Workshop on Power and Timing Modeling, Optimization and Simulation
Karlsruhe, Germany, September 9-11, 2013
About PATMOS
event
Submitted by Anonymous on Fri, 04/19/2013 - 12:39pm
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.
forum
Submitted by Anonymous on Fri, 04/19/2013 - 12:30pm
event
Submitted by Anonymous on Fri, 04/19/2013 - 12:25pm
event
Submitted by Anonymous on Fri, 04/19/2013 - 12:06pm
24th IEEE International Symposium on Rapid System Prototyping
event
Submitted by akarns on Fri, 04/19/2013 - 11:08am
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