Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CfP: HCSS Conference 2014 |
The Fourteenth Annual HCSS Conference (2014)
Call for Presentations
Introduction
The fourteenth annual HCSS Conference will be held May 6-8, 2014 at the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to submit a proposal to present a talk at this year's conference. As an added fe...more |
Feb 24 2014 - 10:32am |
10 years 31 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Presentations: 2014 HCSS Conference Update |
The Fourteenth Annual High Confidence Software and Systems Conference
We are pleased to inform you that registration is now open for the 2014 HCSS Conference. You may register at http://cps-vo.org/group/hcss_conference/registration. The deadline for making hotel reservations is April 7, 2014. More...more |
Mar 26 2014 - 2:56pm |
10 years 31 weeks ago |
Calls for Papers |
OSPERT'14: Deadline extended to May 2 |
--------------------------------------------------------------------------------
CALL FOR PAPERS - OSPERT 2014
--------------------------------------------------------------------------------
DEADLINE EXTENDED TO MAY 2, 2014...more |
Apr 29 2014 - 4:37pm |
10 years 31 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ACP Summer School on Practical Constraint Programming (deadline extension) |
================================================
2014 ACP Summer School in Constraint Programming
Practical Constraint Programming
June 16-20 2014, Bologna (IT)...more |
May 5 2014 - 1:09pm |
10 years 31 weeks ago |
Calls for Papers |
Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) |
Due to numerous requests, the deadline of PRDC 2014 has been extended to May 16th 2014.
Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
Singapore
Nov 18-21, 2014
PRDC 2014 (http://prdc.dependability.org/PRDC2014/index.html) is the twentieth in...more |
May 5 2014 - 1:15pm |
10 years 31 weeks ago |
Calls for Papers |
TGC 2014: deadlines extended |
TGC 2014 Call for Papers
9th Symposium on Trustworthy Global Computing
http://www.cs.le.ac.uk/events/tgc2014/
5-6 September, 2014
Rome, Italy (co-located with Concur 2014)
*******************************************************************************************
Due to several requests, the deadl...more |
May 5 2014 - 1:18pm |
10 years 31 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
2014 CAD Contest Call for Participation |
2014 CAD Contest Call for Participation
http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/
The annual CAD Contest in Taiwan, sponsored by the Ministry of Education (MOE), has been held for 14 consecutive years and has successfully boosted the EDA research momentum in Taiwan. It has been i...more |
May 5 2014 - 1:29pm |
10 years 31 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Online course on Cyber-Physical Systems on edX |
We are pleased to offer EECS149.1x, a massive open online course (MOOC) on
Cyber-Physical Systems on the edX platform:
https://www.edx.org/course/uc-berkeleyx/uc-berkeleyx-eecs149-1x-cyber-physical-1629
The 6-week course is currently open for enrollment and begins Tuesday, May 6.
This offering i...more |
May 5 2014 - 1:31pm |
10 years 31 weeks ago |
Calls for Papers |
2nd CfP: 5th Annual Safe & Secure Systems & Software Symposium (S5) |
Call for Abstracts and Registration is Open!
You are cordially invited to submit an abstract for your proposed presentation or demonstration in one of the topic areas listed below. Submitted abstracts should enhance the discussion of the various initiatives and technology supporting the Safe and Se...more |
May 5 2014 - 1:04pm |
10 years 31 weeks ago |
Calls for Papers |
EOOLT 2014: Call for papers |
6th International Workshop on Equation-Based
Object-Oriented Modeling Languages and Tools
in cooperation with ACM SIGPLAN
Berlin, October 10, 2014
http://www.eoolt.org/2014/
** SUBMISSION DEADLINE JUNE 22 **
SCOPE
During the past decade,...more |
May 5 2014 - 2:43pm |
10 years 31 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Joint CFP for the Workshop Papers at MODELS 2014 |
Joint CFP - Workshop Papers at MODELS 2014
--> 18 Exciting Workshops for You! <---
Submission Deadline: July 11, 2014
MODELS 2014 ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems Sep...more |
May 5 2014 - 2:53pm |
10 years 31 weeks ago |
Calls for Papers |
CfP: Extended deadline May 5 > Conference on design & Architectures for Signal & Image Processing |
Conference on Design and Architectures for Signal and Image Processing
October 8-10, 2014
Madrid, Spain
dasip@ecsi.org
www.ecsi.org/dasip
General Co-Chairs:
Eduardo de la Torre,
Universidad Politecnica de Madrid, ES
Sebastien Pillement,
Polytech University of Nantes, FR
CALL FOR PAPERS - EXTEN...more |
May 5 2014 - 3:23pm |
10 years 31 weeks ago |
Position Announcements |
ETH Zurich Opening - Postdoc in Sensor |
Post-doctoral Fellow in Sensor Networks
ETH Zurich
The research group on Computer Engineering at ETH Zurich (Swiss Federal
Institute of Technology) has an opening for a post-doctoral fellow the
field of sensor networks.
Description
We have a long and successful history in...more |
May 5 2014 - 3:32pm |
10 years 31 weeks ago |
Calls for Papers |
Call for Papers: IEEE Internet Computing Special Issue |
Call for Papers: IEEE Internet Computing Special Issue
- Building Internet of Things Software -
http://www.computer.org/portal/web/computingnow/iccfp2
====================================================================
As we equip people, places, and commodities with Internet-connected embedde...more |
May 5 2014 - 3:46pm |
10 years 31 weeks ago |
Calls for Papers |
CFP IEEE CPSNA 2014 |
The 2nd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014)
Hong Kong, China, August 25-27, 2014
http://www.cpsna.org/
TOPICS: Cyber-Physical Systems (CPS) are next-generation embedded systems featuring...more |
May 5 2014 - 3:51pm |
10 years 31 weeks ago |
Calls for Papers |
CfP: 8th System Analysis and Modelling Conference (SAM'14) co-located with MODELS 2014 |
The 8th System Analysis and Modelling Conference (SAM'14), co-sponsered by ACM, IEEE and the SDL Forum Society and in agreement with ITU-T Study Group 17 (responsible for ITU System Design Languages), will be held in incredible Valencia, Spain, from the 29th to the 30th of September, 2014.
http://sd...more |
May 5 2014 - 3:58pm |
10 years 31 weeks ago |
Calls for Papers |
joint CFP for the Student-related events (Doctoral Symposium, Educators Symposium and ACM SRC) |
Exciting opportunities for Students at MODELS 2014
joint CFP for the student-related events
Doctoral Symposium, Educators Symposium and ACM SRC at MODELS 2014
ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems
Sept. 28th - Oct. 3rd, 2014 - Valencia, Spain...more |
May 6 2014 - 1:10pm |
10 years 30 weeks ago |
Calls for Papers |
CfP: Conquering Complexity: Challenges and Opportunities |
Conquering Complexity: Challenges and Opportunities
November 3-5, 2014 | Philadelphia, PA
https://complexsystems.mst.edu/
Multi-faceted systems of the future will entail complex logic and reasoning with many levels of reasoning in intricate arrangement. The organization of these systems involve...more |
May 19 2014 - 11:33am |
10 years 29 weeks ago |
Calls for Papers |
CfP: CPSData 2014 : CPSData - Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems |
CPSData 2014 : CPSData - Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems
Link: http://www.twt-gmbh.de/CPSData
Sep 23, 2014 - Sep 23, 2014
Stuttgart, DE
Submission Deadline May 19, 2014
Notification Due May 28, 2014
Final Version Due Jun 23, 2014
Catego...more |
May 19 2014 - 11:46am |
10 years 29 weeks ago |
Calls for Papers |
CfP: IEEE Cloud-CPS 2014 |
IEEE International Workshop on Cloud-integrated Cyber Physical Systems 2014 (IEEE Cloud-CPS 2014)
in conjunction with IEEE CloudCom 2014, December 15 - 18, 2014, Singapore
Call for Papers (PDF)
Deadline for paper submissions: July 31, 2014
Notification of Paper acceptance: September 2, 2014
Overvi...more |
May 19 2014 - 12:05pm |
10 years 29 weeks ago |
Calls for Papers |
CfP: I-SPAN 2014 |
The 13th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2014)
http://umc.uestc.edu.cn/conference/ISPAN2014
Dec. 19th - 21st, 2014, Chengdu, Sichuan, China
I-SPAN 2014 is to bring together computer scientists, industrial engineers, and researchers to discuss and excha...more |
May 19 2014 - 12:23pm |
10 years 29 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CFP for Demos and Posters at MODELS 2014 |
CFP for Demos and Posters at MODELS 2014
----> More opportunities to participate in MODELS 2014 <------
Submission Deadline: July 11, 2014
MODELS 2014 : ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems
Sept. 28th - Oct. 3rd, 2014 - Valencia, Spain...more |
May 19 2014 - 1:09pm |
10 years 29 weeks ago |
Calls for Papers |
CFP - Call for Papers Educators’ Symposium at MODELS 2014 |
---> CFP - Call for Papers Educators' Symposium at MODELS 2014 <---
http://models2014.webs.upv.es/educationsymposium.htm
Submission Deadline: July 11, 2014
MODELS 2014 - ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems
Sept. 28th - Oct. 3rd, 20...more |
May 19 2014 - 1:12pm |
10 years 29 weeks ago |
Calls for Workshops & Tutorials |
CODES+ISSS 2014 Call for Special Sessions |
CODES+ISSS 2014 - Call for Special Sessions
Researchers both from academia and industry are invited to submit proposals for special sessions to be held during the CODES+ISSS 2014 conference. The special sessions should aim at providing a complementary experience compared to the regular sessions and...more |
May 19 2014 - 1:18pm |
10 years 29 weeks ago |
General Announcements |
ACM-IEEE MEMOCODE'14 SPECIAL ANNOUNCEMENT - SOFTWARE AND DESIGN CONTESTS |
ACM-IEEE MEMOCODE'14 SPECIAL ANNOUNCEMENT -- SOFTWARE AND DESIGN CONTESTS
12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, October 19-21, 2014
Collocated with FMCAD 2014
The 12th ACM-IEEE Inte...more |
May 19 2014 - 1:20pm |
10 years 29 weeks ago |
Calls for Papers |
CfP: VtRES 2014 |
----------------------------------------------------------------------------
CALL FOR PAPERS - VtRES'2014
----------------------------------------------------------------------------
2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014)
in conjunction with...more |
May 19 2014 - 1:30pm |
10 years 29 weeks ago |
Calls for Papers |
CfP: 4th Embedded Operating Systems Workshop - deadline: 18th of July |
Call For Papers
EWiLi'14, the 4th Embedded Operating System Workshop
Submission deadline:18 July 2014
13-14 November 2014, Lisboa, Portugal
http://www.sigops-france.fr/EWiLi14
Aim and Scopes:
EWiLi, the embedded operating system workshop, aims at presenting state-of-the-art research, experimen...more |
May 19 2014 - 1:32pm |
10 years 29 weeks ago |
Calls for Papers |
2nd CfP: Communicating Process Architectures (CPA) 2014 |
Communicating Process Architectures (CPA) 2014
The 36th WoTUG Conference on Concurrent and Parallel Systems
http://www.wotug.org/cpa2014/
Department of Computer Science, University of Oxford, UK
August 24-27, 2014
=====================
Second Call for Papers
Communicating Process Architectures co...more |
May 19 2014 - 2:31pm |
10 years 29 weeks ago |
Calls for Papers |
CfP: 3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS) |
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)
September 8th 2014, Firenze, Italy
The 3rd ASCoMS workshop takes place at SAFECOMP 2014 - with the purpose to gather industrial and academic experts with interests in architecting safety in collaborative mobile systems.
The...more |
May 19 2014 - 2:43pm |
10 years 29 weeks ago |
Calls for Papers |
CFP : BuildSys 2014 - The 1st Conference on Embedded Systems For Energy-Efficient Buildings |
=========================================================
C A L L F O R P A P E R S
**** ACM BuildSys 2014 ****
1st ACM International Conference on Embedded Systems for Energy-Efficient Buildings
November 4-6, 2014
Memphis, TN, USA | co-located with ACM SenSys 2014
http://www.buildsys.org/201...more |
May 26 2014 - 11:02pm |
10 years 27 weeks ago |
Calls for Papers |
CfP - Deadline Extended: ABZ2014 |
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
http://www.irit.fr/ABZ2014/
June 2-6, 2014
Toulouse, France
1 - Deadline is extended to...more |
Jan 22 2014 - 3:17pm |
10 years 27 weeks ago |
Calls for Papers |
CFP: AVOCS 2013 Science of Computer Programming |
Call For Papers
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Steve Schneider, Helen Treharne
Submission deadline: 31 May 2014 7 June 2014
Notification: 30 September 2014
This special issue is devoted to the scope of the international wo...more |
Jan 8 2014 - 3:19pm |
10 years 26 weeks ago |
Calls for Papers |
CfP: Summer School MOVEP 2014 |
CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN
EXTENDED DEADLINE
Summer School MOVEP 2014
11th School on MOdelling and VErifying parallel Processes
7 -- 11 July 2014, Nantes, France
http://movep14.irccyn.ec-nantes.fr/
enquiries / submissions: movep14@irccyn.ec-nantes.fr
The CNRS european su...more |
Jun 12 2014 - 2:18pm |
10 years 25 weeks ago |
Position Announcements |
LECTURER (Two posts) - Department of COMPUTER SCIENCE, University of Pretoria, South Africa |
LECTURER (Two posts) - Department of COMPUTER SCIENCE, University of
Pretoria, South Africa.
You can view the details and apply for this job online, at:
http://upnet.up.ac.za/psp/career/EMPLOYEE/HRMS/c/HRS_HRAM.HRS_CE.GBL?Page=HRS_CE_JOB_DTL&Action=A&JobOpeningId=21573&SiteId=1&Pos...more |
Jun 12 2014 - 2:54pm |
10 years 25 weeks ago |
Calls for Workshops & Tutorials |
ESWEEK 2014 Call for Tutorials |
The Embedded Systems Week (ESWEEK) is a leading forum where researchers and practitioners meet to discuss solutions to the hardest problems faced today and foreseen for the future in the development of embedded systems. Three conferences take place at the same time and location - CASES, CODES+ISSS a...more |
Jun 12 2014 - 3:05pm |
10 years 25 weeks ago |
Calls for Papers |
CfP: 2014 International Conference on Material Engineering and Application [ICMEA2014] |
2014 International Conference on Material Engineering and Application mainly calls for papers related with materials, material engineering, material engineering and application. All accepted papers will be published by AMR (Advanced Materials Research, ISSN: 1022-6680) and submitted to EI database f...more |
Jun 12 2014 - 3:09pm |
10 years 25 weeks ago |
Calls for Papers |
CFP PECCS 2015 - Int'l Conf. on Pervasive and Embedded Computing and Communication Systems (ESEO, Angers, Loire Valley/France) |
CALL FOR PAPERS
International Conference on Pervasive and Embedded Computing and Communication Systems PECCS website: www.peccs.org
February 11 - 13, 2015
ESEO, Angers, Loire Valley, France
In Cooperation with: EUROMICRO and EURASIP Co-organized by: ESEO Sponsored by: INSTICC INSTICC is Member of...more |
Jun 12 2014 - 3:22pm |
10 years 25 weeks ago |
Calls for Papers |
CfP: 2014 Workshop on Embedded and Cyber-Physical Systems Education (WESE) |
Workshop on Embedded and Cyber-Physical Systems Education
October 16, 2014 during ES-Week
http://www.emsig.net/conf/2014/wese/
Paper submission: July 31, 2014
The increasing deployment, scale and evolution of Embedded and Cyber-Physical Systems steadily increases the importance of education in the a...more |
Jun 12 2014 - 3:37pm |
10 years 25 weeks ago |
Calls for Papers |
CfP: Special issue on Elsevier JCSS - Real-Time and DistributedComputing in Emerging Applications |
Call for Papers - Journal Special Issue
Topic: "Real-Time and Distributed Computing in Emerging Applications"
Journal of Computer and System Sciences, Elsevier
Guest Editors:
Marisol Garcia-Valls, Tommaso Cucinotta
Submission deadline:
15 July 2014
We are announcing a special issue on the Elsevie...more |
Jun 12 2014 - 3:47pm |
10 years 25 weeks ago |
Calls for Papers |
CfP: 6th Cloud Control Workshop (CloudControl6) |
6th Cloud Control Workshop (CloudControl6)
In conjunction with IEEE/ACM UCC 2014 in London, Dec 8-11, 2014
www.cloudresearch.org/workshops/6th
Paper submissions: 25 July, 2014 (firm, no extensions)
Notification of acceptance: 29 August, 2014
Early registration deadline (main UCC 2014 registration):...more |
Jun 12 2014 - 3:57pm |
10 years 25 weeks ago |
Position Announcements |
Postdoc position at Carnegie Mellon University on Hybrid Systems Theorem Proving |
Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department
Professor Andre Platzer is looking for talented researchers with a strong research track record for a project in the Computer Science Department of Carnegie Mellon University. The aim of the rese...more |
Jun 12 2014 - 3:58pm |
10 years 25 weeks ago |
Calls for Papers |
2014 STAF (and IGCT) Doctoral Symposium: Call for Abstract Submission - deadline extended |
STAF 2014 Doctoral Symposium
http://www.cs.york.ac.uk/staf/2014/doctoralsymposium
Call for Abstract Submissions
Part of Software Technologies: Applications and Foundations 2014
University of York, UK, 21st - 25th July 2014.
http://stafconferences.info/
The STAF Doctoral Symposium is aimed at prov...more |
Jun 12 2014 - 2:28pm |
10 years 25 weeks ago |
Calls for Papers |
CfP: (MC)3 |
Multi-Core and Many-Core systems for EMbedded Computing (MC)3
Special session in 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015)
http://www.pdp2015.org/specialsessions/MC3/index.html
4-6 March 2015, Turku, Finland
This special session address...more |
Jun 12 2014 - 4:26pm |
10 years 25 weeks ago |
Calls for Papers |
CfP: The 14th workshop on Domain-Specific Modeling |
Call for Papers and Demonstrations:
Domain-Specific Modeling workshop at SPLASHCON
20/21 October 2014, Portland, Oregon, USA
http://www.dsmforum.org/events/DSM14/
The workshop welcomes submissions that address Domain-Specific Modeling on practical or theoretical levels. Our main focus is on graphica...more |
Jun 12 2014 - 4:29pm |
10 years 25 weeks ago |
Position Announcements |
PhD position in dependable robots, LAAS-CNRS, Toulouse |
PhD Position in Robotics & Dependability at LAAS-CNRS, Toulouse, France
Robot Navigation Testing in Virtual Worlds
LAAS-CNRS seeks to hire an outstanding doctoral researcher in robotics and dependability in Toulouse, France. The successful candidate will collaborate with the RIS (Robotics) and T...more |
Jun 12 2014 - 4:36pm |
10 years 25 weeks ago |
Position Announcements |
Accepting Applications for the Innovation Fellows Program Director |
Accepting Applications for the
University of Minnesota Medical Devices Center Innovation Fellows Director
Application Deadline is June 24, 2014
The University of Minnesota is searching for a Director for the Innovation Fellows Program. Those encouraged to apply: professionals with medical experience...more |
Jun 12 2014 - 4:38pm |
10 years 25 weeks ago |
Calls for Papers |
Call for Papers - Session AE102/ Design Optimization Techniques |
SAE 2015 WORLD CONGRESS
Call for Papers - Session AE102/ Design Optimization Techniques
April 21 - 23, 2015 * Detroit, Michigan USA
Dear Colleagues,
You are invited to submit:
A summary stating the objective of the paper/presentation;
A Tentative title;
The Name of the author and co-authors an...more |
Jun 24 2014 - 2:26pm |
10 years 23 weeks ago |
Calls for Papers |
CFP: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) |
23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015)
March 4-6, 2015, Turku, Finland
http://www.pdp2015.org/
General Scope
Parallel, Distributed, and Network-Based Processing has undergone impressive change over recent years. New architectures and...more |
Jun 24 2014 - 3:18pm |
10 years 23 weeks ago |
Calls for Papers |
CfP workshop Dependability in CPS - Ada-Europe 2014 |
Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2014)
Workshop website http://www.ada-europe2014.org/De-CPS.html
registration http://www.ada-europe2014.org/registration1.html?Event=DECPS
Ada-Europe Conference http://www.ada-europe2014.org/
Worksho...more |
Jun 24 2014 - 3:35pm |
10 years 23 weeks ago |
Position Announcements |
SCARE Doctorand Positions 2014 |
SCARE Doctorand Positions 2014
The Carl von Ossietzky University of Oldenburg, Germany, offers
5 Research Positions for PhD Candidates
(E13 TV-L, German public sector pay scale)
in the Research Training Group
SCARE --- System Correctness under Adverse Conditions
funded by the German Res...more |
Jun 24 2014 - 3:43pm |
10 years 23 weeks ago |