Calls for Papers |
CfP: WORKSHOP ON THE ANALYSIS OF MODEL |
INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14)
Valencia, Spain
28, 29, or 30 Sept 2014
http://msdl.cs.mcgill.ca/conferences/AMT
Co-located with MODELS'14
MOTIVATION
To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, stand...more |
Jun 24 2014 - 3:55pm |
10 years 23 weeks ago |
Calls for Papers |
CFP: Junior Researcher Workshop on Real-Time Computing (JRWRTC2014) |
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)
http://www.cister.isep.ipp.pt/jrwrtc2014/
in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2...more |
Jun 24 2014 - 4:04pm |
10 years 23 weeks ago |
Position Announcements |
Student Volunteer Applications |
Student Volunteer Applications
The ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems (MODELS 2014) in Valencia, Spain, is accepting Student Volunteer Applications. (see http://models2014.webs.upv.es/studentvolunteers.htm)
If you or someone you know would like...more |
Jun 24 2014 - 4:22pm |
10 years 23 weeks ago |
Position Announcements |
Assistant Professorship Position and several PhD positions in Computer Science at IMT Lucca (Italy) |
Assistant Professor in Systems Modeling and Analysis (Computer Science)
- Deadline for applications: July 11th 2014 -
http://www.imtlucca.it/faculty/positions/junior_faculty_recruitment_program.php#system_modeling_analysis_2014
The IMT Institute for Advanced Studies Lucca invites applications for an...more |
Jun 24 2014 - 4:21pm |
10 years 23 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Student Poster Session during MobiHoc 2014 Workshop on "Airborne Networks and Communications" |
Dear Friends
During the 2014 MobiHoc Workshop on Airborne Networks and Communications, we are organizing a student poster and demo session on "Unmanned Aerial Vehicles".
Please refer to the details posted at http://www.cse.unt.edu/~mgomathi/anc
Students whose poster are selected for presentation wil...more |
Jun 3 2014 - 2:22pm |
10 years 22 weeks ago |
Calls for Papers |
CfP: Workshop on Embedded and Cyber-Physical Systems Education, October 16, 2014 during ES-Week |
Call for Papers: Workshop on Embedded and Cyber-Physical Systems Education, October 16, 2014 during ES-Week
- WESE 2014 http://www.emsig.net/conf/2014/wese/
Paper submission: July 31, 2014
===========================================================================================
The increa...more |
Jul 11 2014 - 11:42am |
10 years 21 weeks ago |
Calls for Papers |
last CfP: MODELS 2014 |
[models2014] : last call for papers (Posters, Demos, Doctoral Symposium, Educators Symposium, Workshops and ACM Student Research Competition (sponsored by Microsoft Research)
The deadline for submissions at MODELS 2014 is July 11, 2014!
Posters:
The top two posters will receive Best Poster Awards...more |
Jul 11 2014 - 11:51am |
10 years 21 weeks ago |
Calls for Papers |
CFP - Symposium on Theory of Modeling and Simulation |
Preliminary Call For Papers
Symposium on Theory of Modeling and Simulation (TMS 2015)
April 12-15, 2015
The Westin Alexandria, Alexandria, VA, USA
http://www.tms-devs.org
Sponsored by
The Society for Modeling and Simulation International (SCS)
In cooperation with ACM/SIGSIM
Technically Co-S...more |
Jul 11 2014 - 11:54am |
10 years 21 weeks ago |
Position Announcements |
Postdoc position at Virginia Tech on OS verification |
Postdoctoral Research Associate
Virginia Tech
A postdoctoral position on OS verification is available in the Systems Software Research Group at Virginia Tech's ECE Department. The project involves formally verifying components of operating systems (e.g., PREEMPT RT Linux) to meet functional and non...more |
Jul 11 2014 - 12:05pm |
10 years 21 weeks ago |
Calls for Papers |
1st CfP: ACM SAC 2015: Track on Coordination Models, Languages and Applications |
Coordination Models, Languages and Applications
Special Track of the 30th ACM Symposium on Applied Computing (SAC'15)
http://sac2015.apice.unibo.it/
April 13 - 17, 2015
Salamanc...more |
Jul 11 2014 - 12:10pm |
10 years 21 weeks ago |
Calls for Papers |
CfP: 4th Embedded Operating System Workshop Submission |
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, experime...more |
Jul 11 2014 - 12:18pm |
10 years 21 weeks ago |
Position Announcements |
Postdoc position at Virginia Tech on Compilers/Run-times |
Postdoctoral Research Associate
Virginia Tech
A postdoctoral position is available in the Systems Software Research Group at Virginia Tech on the Popcorn operating system project. The Popcorn project involves developing scalable OS architectures for emerging heterogeneous multicore hardware. The pos...more |
Jul 11 2014 - 12:22pm |
10 years 21 weeks ago |
Calls for Papers |
CFP - IEEE Computer Special Issue on Self-Aware/Expressive Computing Systems |
IEEE Computer Special Issue on Self-Aware and Self-Expressive Computing Systems
IEEE Computer seeks submissions for a July 2015 special issue on self-aware and self-expressive computing.
Theme
Self-aware computing describes an emerging field of research into systems and applications that proactively...more |
Jul 11 2014 - 12:24pm |
10 years 21 weeks ago |
Calls for Papers |
Final call for papers MoDeVVa 2014 |
CALL FOR PAPERS - MoDeVVa 2014
11th edition
Model-Driven Engineering, Verification, and Validation
Integrating Verification and Validation in MDE
A satellite event of MODELS 2014
September 30th, Valencia, Spain
http://wwwdi.supelec.fr/modevva/
Models are purposeful abstractions of systems and of...more |
Jul 11 2014 - 12:26pm |
10 years 21 weeks ago |
Calls for Papers |
CfP: 4th IEEE Int'l Workshop on Software Certification - WoSoCer, 3-6 Nov 2014 |
The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)
http://cecris-project.eu/wosocer2014
3-6 November 2014, Naples, Italy
The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in...more |
Jul 11 2014 - 12:38pm |
10 years 21 weeks ago |
Calls for Papers |
CfP: workshop on Multi-Paradigm Modeling |
CALL FOR PAPERS: 8th Workshop on Multi-Paradigm Modeling (MPM)
http://msdl.cs.mcgill.ca/conferences/MPM/
PDF: http://msdl.cs.mcgill.ca/conferences/MPM/files/cfp.pdf
Valencia, Spain
Co-located with: ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems
PURPOSE
The p...more |
Jul 11 2014 - 12:56pm |
10 years 21 weeks ago |
Calls for Papers |
CfP: IEEE 2015 International Conference on Industrial Technology |
IEEE 2015 International Conference on Industrial technology. ICIT 2015
17-19 March 2015, Seville, Spain
http://www.icit2015.org
Call for Papers
ICIT 2015 is the annual International Conference on Industrial Technology, focusing on intelligent and computer control systems, robotics, factory communic...more |
Jul 11 2014 - 1:22pm |
10 years 21 weeks ago |
Calls for Papers |
CfP: ICSAI 2014, Shanghai: Extended Deadline 15 July |
The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. Due to numerous requests, the submission deadline is extended to 15 July 2014
ICSAI 2014 aims to be a premier international forum for scientists and researchers to pres...more |
Jul 11 2014 - 1:31pm |
10 years 21 weeks ago |
Calls for Papers |
CfP: CPSArch at ESWeek 2014 - Deadline is August 1st |
CPSArch 2014 - First Workshop on Cyber-Physical System Architectures and Design Methodologies
October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014.
Call for Papers (CFP):
Important Dates
Papers due
August 1, 2014 (by midnight, PDT)
Acceptance notification
September 1, 2014
Final p...more |
Jul 11 2014 - 1:34pm |
10 years 21 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Resilience Week 2014, Denver, Colorado - Early Registration Ends Today! |
Resilience Week 2014 in Denver, CO, August 19 - 21
Resilience Week includes symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from unexpected and malicious threats - securing our way of life. This year adds a new symposium on resilient cri...more |
Jul 11 2014 - 1:39pm |
10 years 21 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 20 weeks ago |
Calls for Papers |
CfP: RTAS 2015 |
Call for Papers
21st IEEE Real-Time and Embedded Technology and Applications Symposium
RTAS'15, the 21st in a series of annual conferences sponsored by the IEEE, will be held in Seattle, Washington, as part of the Cyber-Physical Systems Week (CPSWeek) in April, 2015. CPS Week 2015 will bring toget...more |
Jul 21 2014 - 12:05pm |
10 years 20 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Summer School on Cyber Physical Systems for Industrial Applications: Wireless self-powered vibration monitoring and control |
CALL FOR PARTICIPATION
Summer School on Cyber Physical Systems for Industrial Applications: Wireless self-powered vibration monitoring and
control
Lugano (Switzerland), 8-10 September 2014
Organized by the consortium of EU FP7 project WiBRATE, http://wibrate.alari.ch
This summer school explores new...more |
Jul 21 2014 - 12:33pm |
10 years 20 weeks ago |
Calls for Papers |
CFP EWiLi'14, the 4th Embedded Operating System Workshop |
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
News:
All accepted papers will be published in the ACM SIGBED Review (ISSN: 1551-3688) Special Interest Group on Embe...more |
Jul 21 2014 - 12:43pm |
10 years 20 weeks ago |
Calls for Papers |
CfP: 1st Workshop on Middleware for a Smarter Use of Electric Energy (MidSEE '15) |
CALL FOR PAPERS
MidSEE 2015
1st Workshop on Middleware for a Smarter Use of Electric Energy
March 12, 2015
in conjunction with NetSys 2015, Cottbus, Germany
https://www.netsys2015.com/workshops-tutorials/midsee/
MOTIVATION & WORKSHOP SCOPE
Smart energy meters are increasingly installed in newl...more |
Jul 21 2014 - 12:46pm |
10 years 20 weeks ago |
Calls for Papers |
CfP: FM2015 |
FM 2015
20th International Symposium on Formal Methods
Oslo, Norway, June 22-26, 2015
http://fm2015.ifi.uio.no/
Call for Papers
IMPORTANT DATES:
Jan 2 Abstract submission deadline
Jan 9 Full paper submission deadline
March 23 Notification
June 22-26 Conference
CALL FOR PAPERS
FM 201...more |
Jul 21 2014 - 12:57pm |
10 years 20 weeks ago |
Calls for Workshops & Tutorials |
CPSArch 2014 workshop |
CPSArch 2014 will be held as part of Embedded Systems Week:
http://cpsarch.ecn.purdue.edu/
Cyber-Physical Systems (CPS) are poised to play a pivotal role in addressing a variety of planetary-scale grand challenges such as energy conservation, climate change, healthcare, transportation, etc. These...more |
Jul 5 2014 - 10:00am |
10 years 18 weeks ago |
Calls for Papers |
CFP: ICEUC 2012 |
International Conference on Embedded and Ubiquitous Computing
Paris, France | November 28-30, 2012
CALL FOR PAPERS
The XXXII. International Conference on Embedded and Ubiquitous Computing is the premier forum for the presentation of new advances and research results in the fields of Embedded...more |
Mar 14 2012 - 10:04am |
10 years 18 weeks ago |
Calls for Workshops & Tutorials |
updated submission deadline for CPSArch Workshop |
The CPSArch Workshop submission deadline has been extended to August 7. CPSArch will be held as part of Embedded Systems Week in New Delhi, India on October 17, 2014. For more information, see the workshop pages at esweek.org.more |
Jul 31 2014 - 2:32pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: IPSN 2015 |
The 15th ACM/IEEE International Conference on Information Networks
IPSN Call for Papers
April 13-17, 2015, Seattle, WA, USA
URL: http://ipsn.acm.org/2015/
The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networke...more |
Aug 1 2014 - 12:13pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: ASPLOS 2015 |
20th International Conference on Architectural Support for Programming Languages and Operating Systems
Istanbul, Turkey, March 14-18, 2015
http://asplos15.bilkent.edu.tr
Abstracts Due: July 31, 2014
Full Papers Due: August 7, 2014
ASPLOS is the premier forum for multidisciplinary systems r...more |
Aug 1 2014 - 12:20pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: DATE'15 Topic E2 Compilers for Embedded |
Topic E2 Compilers for Embedded Systems
DATE (Design, Automation & Test in Europe) Conference
Grenoble, France, 9-13 March, 2015
http://www.date-conference.com
DEADLINES
Paper Submission Sunday September 14, 2014
Notification of Acceptance Friday November 07, 2014
Camera-Ready...more |
Aug 1 2014 - 1:34pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: DATE'15 Topic D1 System Specification and Modeling |
TOPIC D1: " System Specification and Modeling "
DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE
Grenoble, France, 9-13 March, 2015 http://www.date-conference.com
DEADLINES
Paper Submission Sunday September 14, 2014
Notification of Acceptance Friday November 07, 2014
Camera-Ready Pap...more |
Aug 1 2014 - 1:39pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: CPSArch at ESWeek 2014 - Deadline is August 1st |
CPSArch 2014
First Workshop on Cyber-Physical System Architectures and Design Methodologies
October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014.
Call for Papers (CFP):
Important Dates
Papers due * August 1, 2014 (by midnight, PDT)
Acceptance notification * September 1, 2014
Final pa...more |
Aug 1 2014 - 1:42pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: ARCS 2015 || March 24 - 27, 2015 - Porto, Portugal |
28th GI/ITG International Conference on Architecture of Computing Systems
March 24th-27th, 2015, Porto, Portugal
http://www.cister.isep.ipp.pt/arcs2015/
The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and ope...more |
Aug 1 2014 - 1:47pm |
10 years 18 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
PV@CONCUR 2014 - First Workshop on Parameterized Verification |
First Workshop on Parameterized Verification
September 6, 2014, Rome, Italy
Call for Participation
Parameterized Verification (PV) is the task of verifying the correctness
of systems composed of a finite but arbitrary number of identical
components. The workshop is aimed at...more |
Aug 1 2014 - 1:57pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: CPSArch @ ESWeek 2014 - Deadline Extended to August 7 2014 |
First Workshop on Cyber-Physical System Architectures and Design Methodologies
October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014.
Important Dates
Papers due
Deadline Extended to August 7, 2014 (by midnight, PDT)
Acceptance notification
September 1, 2014
Final papers due
Sep...more |
Aug 1 2014 - 2:03pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: 2014 Workshop on Embedded and Cyber-Physical Systems Education (WESE) |
Call for Papers: Workshop on Embedded and Cyber-Physical Systems Education, October 16, 2014 during ES-Week
WESE 2014 http://www.emsig.net/conf/2014/wese/
Paper submission: Deadline Extended to August 7, 2014 (by midnight, Central European Time)
The increasing deployment, scale and evolution of Em...more |
Aug 1 2014 - 2:07pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: DATE 2015 |
DATE 2015 in Grenoble: highlighting Electronics Design for the Internet of Things and for Medical Applications
The 18th DATE conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware a...more |
Aug 1 2014 - 11:10am |
10 years 18 weeks ago |
Calls for Papers |
CFP: BIODEVICES 2015 - Int'l Conf. on Biomedical Electronics and Devices (Lisbon/Portugal) |
International Conference on Biomedical Electronics and Devices
BIODEVICESwebsite: http://www.biodevices.biostec.org/
January 12 - 15, 2015
Lisbon, Portugal
Technical Co-sponsorship by: BMES, ESEM and IEEE EMBS In Cooperation with: EUROMICRO, ISfTeH and AAAI Sponsored by: INSTICC INSTICC is Member o...more |
Aug 1 2014 - 2:12pm |
10 years 18 weeks ago |
Calls for Papers |
CfP: Embedded Systems Software Track at DATE 2015 |
Embedded Systems Software Track at DATE 2015
Grenoble, France - March 9-13, 2015
Submission Deadline: Sunday, September 14, 2014
http://www.date-conference.com/
Track E: Embedded Systems Software
is devoted to modelling, analysis, design and deployment of embedded software. Areas of interest incl...more |
Aug 18 2014 - 12:32pm |
10 years 16 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Integrated Formal Methods 2014 - Call for Participation |
11th International Conference on integrated Formal Methods, iFM 2014
Co-located with the 11th International Symposium on Formal Aspects of Component Software, FACS 2014
9 - 12 September 2014, Bertinoro, Italy
http://ifm2014.cs.unibo.it
Applying formal methods may involve modeling different aspects...more |
Aug 18 2014 - 12:40pm |
10 years 16 weeks ago |
Calls for Papers |
Call for Papers Now Open - Design of Medical Devices Conference with Journal Publication |
2015 Call for Papers
Submissions Now Being Accepted
The conference seeks original two-page papers that demonstrate new technologies and applications in the field of medical device design. Submissions from academic and industry researchers, clinicians and practitioners are encouraged. The paper shou...more |
Aug 18 2014 - 12:45pm |
10 years 16 weeks ago |
Calls for Papers |
Final CFP - Embedded systems track at ACM SAC'15 |
30th ACM Symposium on Applied Computing
Salamanca, Spain April 13-17, 2015
http://www.acm.org/conferences/sac/sac2015
CALL FOR PAPERS FOR THE "EMBS" TRACK:
EMBEDDED SYSTEMS
New Perspectives for Hardware, System Software, and Applications
http://retis.sssup.it/sac2015
High performance embedded comp...more |
Aug 18 2014 - 12:51pm |
10 years 16 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Submissions - HSCC 2015 |
18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
April 14-16, 2015, Seattle, Washington, USA
Welcome to the home page of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015). HSCC 2015 will be held as part of the eighth Cyber Ph...more |
Aug 18 2014 - 3:11pm |
10 years 16 weeks ago |
Calls for Papers |
2nd CfP: IPSN 2015 |
The 15th ACM/IEEE International Conference on Information Networks
IPSN is part of CPS Week, co-locating with conferences HSCC, ICCPS, IPSN, RTAS, and HiCoNS.
IPSN Call for Papers
April 13-17, 2015, Seattle, WA, USA
URL: http://ipsn.acm.org/2015/
The International Conference on Information Processin...more |
Aug 18 2014 - 3:16pm |
10 years 16 weeks ago |
Calls for Papers |
CfP - Cyber-Physical Systems Week 2015 |
Cyber-Physical Systems Week 2015
April 13th - 16th, 2015, Seattle, WA, USA
http://www.cpsweek.org/2015
Key Dates:
Abstract Registration: October 13th, 2014
Submission Deadline: October 20th, 2014
Notification Dates: vary by individual conferences
Workshop Date: April 13th, 2015
Main Confere...more |
Aug 25 2014 - 2:58pm |
10 years 15 weeks ago |
Calls for Papers |
Deadline Extension - September 1st, 2014 SPECIAL SESSION on Multi-Core and Many-Core systems for EMbedded Computing (MC)3 |
IMPORTANT: Submission Deadline Extended to September 1st, 2014Multi-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/mc3.html...more |
Aug 25 2014 - 3:03pm |
10 years 15 weeks ago |
Calls for Papers |
CfP: 1st Workshop on Middleware for a Smarter Use of Electric Energy (MidSEE '15) |
MidSEE 2015
1st Workshop on Middleware for a Smarter Use of Electric Energy
March 12, 2015
in conjunction with NetSys 2015, Cottbus, Germany
https://www.netsys2015.com/workshops-tutorials/midsee/
MOTIVATION & WORKSHOP SCOPE
Smart energy meters are increasingly installed in newly constructed...more |
Aug 25 2014 - 3:07pm |
10 years 15 weeks ago |
Calls for Papers |
CfP Reaction 2014 - Rome, Italy. December 2 |
Call for Papers
REACTION 2014
3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications
Co-located with IEEE RTSS
December 2, 2014. Rome, Italy.
http://reactionws.uc3m.es
Important dates:
Submission: September 29, 2014
Author notification: Oc...more |
Aug 25 2014 - 3:11pm |
10 years 15 weeks ago |