Software tools for designing electronic systems.
forum
Submitted by Anonymous on Tue, 06/11/2013 - 3:00pm
-----------------------
CALL FOR PAPERS
-----------------------
=====================================================================
6th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2013)
forum
Submitted by Anonymous on Tue, 06/11/2013 - 2:43pm
========================================================================
LAST CALL FOR PAPERS AND ABSTRACTS
6th International Conference on Software Language Engineering (SLE 2013)
Oct 26-28, 2013, Indianapolis, IN, USA
(Co-located with SPLASH 2013 and GPCE 2013)
General chair:
Eric Van Wyk, University of Minnesota, USA
Program co-chairs:
Martin Erwig, Oregon State University, USA
Richard Paige, University of York, UK
Keynote:
news
Submitted by Kevin Smyth on Thu, 06/06/2013 - 2:27pm
forum
Submitted by Anonymous on Thu, 05/30/2013 - 1:40pm
The Department of Software and Computer Technology of TU Delft has a
four year PhD position in Programming Language Verification in the NWO
VICI project of Eelco Visser:
"The Language Designer's Workbench. Automating the Verification of
Language Definitions"
The objective of the project is to unify work on semantics engineering
and mechanized meta-theory with work on language engineering and
language workbenches in order to support language designers in the
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:23am
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
forum
Submitted by Anonymous on Tue, 05/07/2013 - 11:08am
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:02am
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE
event
Submitted by Anonymous on Tue, 05/07/2013 - 10:46am
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10: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
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:32am
CALL FOR PAPERS
International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS website: http://www.peccs.org/
January 7 - 9, 2014
Lisbon, Portugal
In Cooperation with: EUROMICRO
Sponsored by: INSTICC
INSTICC is Member of: WfMC
Logistics Partner: SCITEVENTS
IMPORTANT DATES:
Regular Paper Submission: July 30, 2013
