|
Calls for Papers |
3rd CfP - Extended Deadline Dec 1st - DUHDe 2014 |
3rd Call for Papers
DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs
March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germany
http://www.informatik.uni-bremen.de/duhde2014/
http://www.informatik.uni-bremen.de/duhde2014/DUHDe_cfp.pdf
** Deadline extended **
** Dea...more |
Nov 27 2013 - 1:10pm |
10 years 51 weeks ago |
|
Position Announcements |
Post-doc opening in discrete event and communication systems in manufacturing |
Post-doc position available at Czech Technical University in Prague at the Department of Control Engineering in discrete event systems and communication systems in manufacturing with strong relation to car industry.
Closing date: January 15, 2014more |
Nov 27 2013 - 1:05pm |
10 years 51 weeks ago |
|
Position Announcements |
2014 MathWorks Summer Research Internship |
http://msdl.cs.mcgill.ca/people/mosterman/calls/interns2014/2014_mathworks_summer_research_internship.pdf
========= 2014 MATHWORKS SUMMER RESEARCH INTERNSHIP =========
Come join us at MathWorks headquarters in Natick, MA for a
Summer Research Internship. You wil...more |
Nov 27 2013 - 1:03pm |
10 years 51 weeks ago |
|
Calls for Papers |
CfP: IEEE Micro Special Series on Harsh Chips |
====================================================================
IEEE Micro Special Series on Harsh Chips
CALL FOR PAPERS
====================================================================
Our apologies if you receive multiple co...more |
Nov 27 2013 - 12:59pm |
10 years 51 weeks ago |
|
Position Announcements |
Assistant Prof. Faculty Opening (hardware systems) |
The Department Of Computer Engineering at UC Santa Cruz invites applications foer a position in computer engineering at the assistant professor (tenure track) level in the area of hardware systems.
More information is available at:
http://apo.ucsc.edu/academic_employment/jobs/JPF00043-14.pdf
And a...more |
Nov 27 2013 - 12:56pm |
10 years 51 weeks ago |
|
Position Announcements |
Open PhD /scientific assistant position at Philipps-Universität Marburg |
The software engineering group (http://www.uni-marburg.de/fb12/swt) at Philipps-Universitat Marburg in Germany is looking for candidates who are interested in model-driven software engineering and/or graph transformation systems.
The team shall be strengthened by a person who likes to work self-d...more |
Nov 27 2013 - 12:51pm |
10 years 51 weeks ago |
|
Calls for Papers |
CrP: Special Issue (DAES) on Memory Architecture and Organization for Embedded Systems (ESWeek workshop MeAOW) |
Call for Papers
Springer Design Automation of Embedded Systems (DAES)
Special Issue on
Memory Architecture and Organization for Embedded Systems
The ESWeek Memory Architecture and Organization Workshop (MeAOW) is an international forum that addresses research to model, analyze, design an...more |
Nov 27 2013 - 12:48pm |
10 years 51 weeks ago |
|
Calls for Papers |
CfP: ISORC 2014 - deadline extended to Nov. 27 |
CALL FOR PAPERS
17th IEEE Symposium on Object/Component/Service-oriented
Real-time Distributed Computing
June 10 - 12, 2014
Reno, Nevada, USA
http://www.isorc2014....more |
Nov 27 2013 - 12:46pm |
10 years 51 weeks ago |
|
Position Announcements |
Postdoc in mobile health applications |
The University of Iowa
Computer Science Department
Postdoctoral Research Scholar
The UI Computer Science Mobile Systems Laboratory is starting a new project on mobile health applications, and has an opening for a Postdoctoral Research Scholar. The laboratory currently consists of three CS facul...more |
Nov 27 2013 - 12:40pm |
10 years 51 weeks ago |
|
Calls for Papers |
CfP: RATE 2013 |
---------------------------------------------------------------------
Call for Participation:
***** RATE: Workshop on Real-Time Ethernet *****
http://ece.uwaterloo.ca/~sfischme/RATE2013.html
Vancouver, Canada, December 3, 2013...more |
Nov 27 2013 - 12:38pm |
10 years 51 weeks ago |
|
Calls for Papers |
CfP PLACES 2014 |
CALL FOR PAPERS
PLACES'14
Programming Language Approaches to Concurrency
and communication-cEntric Software
April 2014, Grenoble, France
Affiliated with ETAPS 2014
http://places14.di.fc.ul.pt/
Theme and Goals
Applications today are built using numerous interacting services. Soon
off-t...more |
Nov 27 2013 - 12:33pm |
10 years 51 weeks ago |
|
Calls for Papers |
CfP: CAV 2014 |
First Call for Papers
26th International Conference on Computer Aided Verification (CAV'14)
Part of Vienna Summer of Logic (VSL'14)
18-22 July 2014, Vienna, Austria
http://www.cavconference.org
New Rules
---------
We will continue to have short and long papers, but
short papers are not r...more |
Nov 26 2013 - 2:59pm |
10 years 51 weeks ago |
|
Position Announcements |
Open tenure-track faculty positions in the area of embedded systems at the Max Planck Institute for Software Systems |
======= Call for Applications ========
Applications are invited for tenure-track and tenured faculty positions in all areas related to the study, design, and engineering of software systems. These areas include, but are not limited to, security and privacy, embedded and mobile systems, social comp...more |
Nov 26 2013 - 2:56pm |
10 years 51 weeks ago |
|
Calls for Papers |
2nd CFP - Workshop on Design Automation for Understanding Hardware Designs |
2nd Call for Papers
DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs
March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germany
http://www.informatik.uni-bremen.de/duhde2014/
http://www.informatik.uni-bremen.de/duhde2014/DUHDe_cfp.pdf
Deadline for submissi...more |
Nov 26 2013 - 11:48am |
10 years 51 weeks ago |
|
Calls for Papers |
CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures |
Call for Papers
- FESCA 2014 -
11th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS
April 12th, 2014, Grenoble, France
http://fesca.ipd.kit.edu/fesca2014/
WORKSHOP AIM
In recent years, the growing impo...more |
Nov 26 2013 - 11:30am |
10 years 51 weeks ago |
|
Calls for Papers |
CFP Mediterranean Conference on Embedded Computing (MECO 2014 including ECYPS 2014] |
------------------------------------------------------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------------------------------------------------------
3rd...more |
Nov 12 2013 - 12:26pm |
11 years 1 week ago |
|
Calls for Papers |
CfP: SEAMS 2014 Software Engineering for Adaptive and Self-Managing Systems |
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014)
http://seams2014.uni-paderborn.de/call_for_papers.html
CALL FOR PAPERS
9th International Symposium on Software Engineering for
Adaptive and Self-Managing Systems (...more |
Nov 12 2013 - 12:16pm |
11 years 1 week ago |
|
Calls for Papers |
CfP - ISORC 2014 |
CALL FOR PAPERS
17th IEEE Symposium on Object/Component/Service-oriented
Real-time Distributed Computing
June 10 - 12, 2014
Reno, Nevada, USA
http://www.isorc2014.org
IMPORTANT DAT...more |
Nov 12 2013 - 12:00pm |
11 years 1 week ago |
|
Calls for Papers |
CFP : IEEE JETCAS Special Issue on "Robust and Energy-Secure Systems" |
====================================================================
IEEE JETCAS Special Issue on "Robust and Energy-Secure Systems"
CALL FOR PAPERS
====================================================================
Our apologies if you receive multiple copies...more |
Nov 12 2013 - 11:53am |
11 years 1 week ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CfP - RATE - Workshop on Real-Time Ethernet - Call for Participation |
----------------------------------------------------------------------
Call for Participation:
***** RATE: Workshop on Real-Time Ethernet *****
http://ece.uwaterloo.ca/~sfischme/RATE2013.html
Vancouver, Canada, December 3, 2013
*...more |
Nov 12 2013 - 11:48am |
11 years 1 week ago |
|
Calls for Papers |
3rd CFP: Special Issue on "Heuristics for Reliable and Efficient, Wireless Sensor Networks Deployments" |
THIRD CALL FOR PAPERS:
Special Issue on "HEURISTICS FOR RELIABLE AND EFFICIENT WIRELESS SENSOR
NETWORKS DEPLOYMENTS"
PDF: http://arco.unex.es/hrewsn
Journal of Heuristics
Springer, ISSN: 1381-1231. Editor-in-Chief: Manuel Laguna.
Impact factor (2012): 1.471 (Q1, COMPUTER SCIENCE, THEORY...more |
Nov 12 2013 - 11:39am |
11 years 1 week ago |
|
Calls for Papers |
CfP DEADLINE EXTENDED: ACM TECS Special Issue on Applications of Concurrency to System Design |
NEW DEADLINE for submissions: November 7, 2013
==============================================
ACM TECS Call for Papers for the Special Issue on
Application of Concurrency to System Design
Concurrent computing systems were investigated by scientists
since early 1960s. Many formal meth...more |
Nov 12 2013 - 11:43am |
11 years 1 week ago |
|
Calls for Papers |
CFP - Workshop on Performance, Power and Predictability of Many-Core Embedded Systems |
DATE 2014 Friday Workshop on Performance, Power and Predictability of Many-Core Embedded Systems
March 28, 2014, Dresden, Germany
http://www.date-conference.com/conference/friday-workshops
Call For Papers
3PMCES Workshop:
http://www.ecsi.org/workshop2014/date/3pmces
Import...more |
Nov 11 2013 - 6:36pm |
11 years 1 week ago |
|
Calls for Papers |
CFP - Design Automation Conference - Design Methods for Automotive Systems and Software |
==================================================================
C A L L F O R P A R T I C I P A T I O N
**** Design Automation Conference 2014 ****
San Francisco, CA
June 1 - 5, 2014
http://www.dac.com/design+methods+for+automotive+systems+and+software.aspx
=========================...more |
Nov 11 2013 - 6:28pm |
11 years 1 week ago |
|
Calls for Papers |
CFP - Workshop on Design Automation for Understanding Hardware Designs |
Call for Papers
DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs
March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germany
http://www.informatik.uni-bremen.de/duhde2014/
http://www.informatik.uni-bremen.de/duhde2014/DUHDe_cfp.pdf
Deadline for submissions:...more |
Nov 11 2013 - 6:20pm |
11 years 1 week ago |
|
Calls for Papers |
CfP - Mod4Sim - Extended Deadline |
CALL FOR PAPERS
4th International Workshop on
Model-driven Approaches for Simulation Engineering
part of the Symposium on Theory of Modeling and Simulation
(SCS SpringSim 2014)
#####################...more |
Nov 11 2013 - 6:09pm |
11 years 1 week ago |
|
Calls for Papers |
CfP - ICGT 2014 |
============================================================================
FIRST CALL FOR PAPERS ICGT 2014
The Seventh International Conference on Graph Transformation
- Modelling and Analysis of Dynamic Structures -
July 21-25, 2014, York, UK
Affiliated with STAF (Software Technologies...more |
Nov 11 2013 - 6:04pm |
11 years 1 week ago |
|
Calls for Papers |
CfP - ICCS/Alchemy 2014 |
******************************************************
* ALCHEMY Workshop
* Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems
*
* Held in conjunction with the International Conference on Computational Science (ICCS 2014)
* Cairns, Australia
* June 10-12, 2...more |
Nov 11 2013 - 5:47pm |
11 years 1 week ago |
|
Calls for Papers |
CfP - RTCSA 2014 |
Call for Papers:
[RTCSA 2014] The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Aug 20-22, 2014, Chongqing, China
Website: http://www.rtcsa.org
______________________________________
Continuing the great success of 2010 at Macau, 2011 a...more |
Nov 11 2013 - 5:35pm |
11 years 1 week ago |
|
Calls for Papers |
CfP - HARSH 2014 |
====================================================================
HARSH 2014
Workshop on Highly-Reliable Power-Efficient Embedded Designs
CALL FOR PAPERS
===============================================================...more |
Nov 11 2013 - 5:26pm |
11 years 1 week ago |
|
Calls for Papers |
ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems |
ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems
http://odes-workshop.weebly.com/
February 15/16, 2014, Orlando, USA
in conjunction with
IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
http://www.cgo.org/
CALL FOR PAPERS
Optimization...more |
Oct 31 2013 - 5:46am |
11 years 3 weeks ago |
|
Position Announcements |
Research Position Vacancy Federal Highway Adminstration |
Our nation can't dig its way out of congestion; it's just too expensive to pave extra lanes. Operations R&D is about using advanced technologies and taking a multi-modal transportation system view for making our existing roads work more efficiently. If you have a background in research related...more |
Oct 25 2013 - 8:22pm |
11 years 4 weeks ago |
|
Position Announcements |
5 PhD students for the Marie Curie Initial Training Network RetNet (European Industrial Doctorate Programme on Real-Time Network |
5 PhD students for the European Industrial Doctorate Programme on Future
Real-Time Networks
Malardalen University in Vasteras, Sweden, is together with TTTech Labs
at TTTech Computertechnik AG in Vienna, Austria, launching an industrial
doctorate programme supported by an EU Marie-Curie grant....more |
Oct 17 2013 - 10:54am |
11 years 5 weeks ago |
|
Position Announcements |
Tenure Track Assistant Professorship in SYSU China |
The School of Mobile Information Engineering at Sun Yat-sen University, Zhuhai, China, is seeking full-time faculty (Assistant, associate, and full professorship) in the areas of Electrical Engineering and Computer Science. The school is a newly established school focusing on mobility. Candidates wi...more |
Oct 17 2013 - 10:48am |
11 years 5 weeks ago |
|
Position Announcements |
Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden |
========================================================================================
Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden
========================================================================================
Background...more |
Oct 15 2013 - 4:56pm |
11 years 5 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: ACM SenSys, BuildSys, ENSsys, SenseMine 2013 |
==================================================================
C A L L F O R P A R T I C I P A T I O N
**** ACM SenSys 2013 ****
Rome, Italy
November 11-14, 2013
http://sensys.acm.org/2013/
==================================================================
The 11th ACM Conference...more |
Oct 15 2013 - 4:54pm |
11 years 5 weeks ago |
|
Calls for Papers |
CfP: Formal Methods 2014 (FM 2014) |
Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014
CALL FOR PAPERS:
Formal Methods 2014 (FM 2014)
19th International Symposium on Formal Methods
Singapore, May 14-16, 2014
http://www.comp.nus.edu.sg/~pat/FM2014/
FM 2014 is the nineteenth in a series of symposia organize...more |
Oct 15 2013 - 4:42pm |
11 years 5 weeks ago |
|
Calls for Papers |
CfP: 10th IEEE Workshop on Factory Communication Systems |
------------------------------------------------------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------------------------------------------------------
10th IEEE International Wo...more |
Oct 15 2013 - 4:31pm |
11 years 5 weeks ago |
|
Position Announcements |
Postdoctoral Position at Virginia Tech |
Postdoctoral Research Associate
ECE Department
Virginia Tech, USA
A postdoctoral position is available in the Systems Software Research Group at Virginia Tech on a concurrency refactoring project. The project involves automatically converting legacy sequential codebases to exploit mult...more |
Oct 15 2013 - 4:25pm |
11 years 5 weeks ago |
|
Calls for Papers |
CFP OpenModelica/MODPROD Workshops Febr 2014 |
CFP OpenModelica/MODPROD Workshops Febr 2014 on Model-based product development
Location: Linkoping University, Linkoping, Sweden
8th MODPROD Workshop on Model-Based Product Development, February 4-5, 2014
6th OpenModelica Annual Workshop, February 3, 2014
Deadline for submissions of abstracts o...more |
Oct 15 2013 - 4:11pm |
11 years 5 weeks ago |
|
Calls for Papers |
CFP - 8th HiPEAC Workshop on Reconfigurable Computing |
8th HiPEAC Workshop on
Reconfigurable Computing
January 21st , 2014
Vienna, Austria
Call For Papers - WRC 2014
IMPORTANT DATES
Submission deadline: October 25th, 2013
Notification of acceptance: November 29th, 2013
Final version d...more |
Oct 15 2013 - 3:59pm |
11 years 5 weeks ago |
|
Calls for Papers |
CfP: Workshop on Timing Analysis and Synthesis for Synchronous Models (TASS 2013) |
****** Deadline extended to Oct 11th, 2013******
Call for Papers:
Workshop on Timing Analysis and Synthesis for Synchronous Models
December 3rd 2013, Vancouver, Canada
In conjunction with IEEE Real-Time Systems Symposium (RTSS) 2013 (http://2013.ieee-rtss.org/)
Scope of the Workshop
Model-based des...more |
Oct 15 2013 - 3:50pm |
11 years 5 weeks ago |
|
Calls for Papers |
RTAS '14 CFP - One week to the deadline (deadline - Oct 14th) |
The 20th IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS 2014)
Berlin, Germany
Web site: http://www.rtas.org
RTAS'14, the twentieth in a series of annual conferences sponsored by the
IEEE, will be held in Berlin, Germany, as part of the Cyber-Physical
Systems Week (htt...more |
Oct 15 2013 - 3:41pm |
11 years 5 weeks ago |
|
Calls for Papers |
CFP: ADAPT 2014 @ HiPEAC 2014 |
===================================================
CALL FOR PAPERS
ADAPT: 4th International Workshop on
Adaptive Self-tuning Computing Systems
January 22nd, 2014, Vienna, Austri...more |
Oct 15 2013 - 3:33pm |
11 years 5 weeks ago |
|
Calls for Papers |
CfP: IEEE ViPES Workshop 2014 |
2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems ViPES,
May 23rd, Phoenix, USA (in conjunction with IPDPS)
www.vipes-workshop.org
The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES'2014) will be held in Phoenix, USA in May 2014...more |
Oct 15 2013 - 3:19pm |
11 years 5 weeks ago |
|
Calls for Papers |
CfP - ACM TECS Special Issue on Applications of Concurrency to System Design |
ACM TECS Call for Papers for the Special Issue on
Application of Concurrency to System Design
Concurrent computing systems were investigated by scientists
since early 1960s. Many formal methods were introduced for
their specification and verification, for example: Petri
nets, process algebras (...more |
Oct 15 2013 - 3:16pm |
11 years 5 weeks ago |
|
Calls for Papers |
Final CfP - The 13th ACM/IEEE International Conference on Information Processing in Sensor Networks |
April 15-17, 2014, Berlin, Germany
URL: http://ipsn.acm.org/2014/
Submission deadlines are approaching:
* Paper registration deadline: Oct. 7th, 2013
* Paper submission deadline: Oct. 14th, 2013
The submission site is open. https://ipsn2014.recg.rice.edu/hotcrp/
The Inter...more |
Oct 15 2013 - 2:45pm |
11 years 5 weeks ago |
|
Calls for Papers |
CFP: Third Int. Workshop on Bidirectional Transformations (BX 2014) |
Third International Workshop on Bidirectional Transformations (BX 2014) =======================================================================
Friday March 28th, 2014
Athens, Greece
co-located with EDBT/ICDT 2014
http://bx-community.wikidot.com/bx2014:home
Bidirectional transformations (bx) a...more |
Oct 15 2013 - 2:57pm |
11 years 5 weeks ago |
|
Calls for Workshops & Tutorials |
-- Call for Workshops and Tutorials (CPSweek) 2014 |
Cyber-Physical Systems Week (CPSweek) 2014
-- Call for Workshops and Call for Tutorials --
CPSweek is the meeting point for leading researchers in the thriving area of cyber-physical systems. Topics of CPSweek cover a large range of scientific areas, spanning topics from computer science, physics, e...more |
Oct 7 2013 - 2:34pm |
11 years 6 weeks ago |
|
Calls for Papers |
CfP HSCC 2014 |
HSCC 2014
17th International Conference on Hybrid Systems: Computation and Control
April 15-17, 2014
Berlin, Germany
URL: hscc-conference.org
Important dates:
Submission deadline: October 14, 2013.
Rebuttal phase: November 27-December 2, 2013.
Author notification: December 17, 2013.
C...more |
Oct 7 2013 - 2:28pm |
11 years 6 weeks ago |
