Software designed for computational processes that interact with the physical processes.
event
Submitted by Anonymous on Tue, 06/11/2013 - 3:11pm
The Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing and is hosted by Seoul National University, Kyungpook National University, Soongsil University, and Dongguk University. The SRC Program is sponsored by Microsoft Research.
forum
Submitted by Anonymous on Tue, 06/11/2013 - 3:06pm
CALL FOR PAPERS
===============
+-----------------------------------------------------------------+
| 9th Track on Dependable and Adaptive Distributed Systems (DADS) |
| of the 29th ACM Symposium on Applied Computing (SAC'14) |
+-----------------------------------------------------------------+
March 24 - 28, 2014
Gyeongju, Korea
http://www.dedisys.org/sac14/
event
Submitted by Anonymous on Tue, 06/11/2013 - 3:03pm
6th International Workshop on Model Based Architecting and Construction of Embedded Systems
The design of embedded and cyber-physical systems with real-time and other critical constraints raises distinctive problems throughout the design process, from high-level system engineering down to low-level design.
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)
event
Submitted by Anonymous on Tue, 06/11/2013 - 2:47pm
The 6th International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering.
SLE's mission is to encourage and organize communication among communities that have traditionally looked at software languages from different and yet complementary perspectives.
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:
event
Submitted by Anonymous on Tue, 06/11/2013 - 2:38pm
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.
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
