|
Calls for Papers |
Deadline Extension for FM'15 Industry Submissions |
FM 2015 Industry Track
as part of the 20th International Symposium on Formal Methods | Oslo, Norway, June 22-26, 2015
http://fm2015.ifi.uio.no/fm2015-industry-track/
IMPORTANT DATES:
Feb 15, 2015: Industry Track Submission:
March 13, 2015: Industry Track Notification
June 22 - 26, 2...more |
Feb 5 2015 - 1:06pm |
9 years 41 weeks ago |
|
Calls for Papers |
IEEE INDIN 2015 Deadline extension |
INDIN'15 extended paper submission deadline: 17th February 2015
The 2015 edition of the IEEE International Conference on Industrial Informatics (INDIN) will be hosted in the historical city of Cambridge, UK, on July 22-24, 2015. The conference provides a forum for industry experts, researchers and...more |
Feb 5 2015 - 12:57pm |
9 years 41 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: NSF Workshop on achieving ultra-low latencies in wireless networks |
The National Science Foundation will be sponsoring a workshop on the topic of ultra-low latencies in wireless networks, to be held on March 26-27 at Arizona State University, Phoenix, Arizona. The workshop's attendees will include a combination of invited participants as well as members of the comm...more |
Jan 29 2015 - 3:26pm |
9 years 41 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Tech Jam Agenda and Registration |
Highlights from the Tech Jam's Agenda
Ignite-style presentations from 20+ existing GCTC Action Clusters including:
Autonomous vehicles deployment in 9 cities around the world
Creating an adhoc WiFi network at the time of disaster using drones in North Central Texas
Remotely caring for our most v...more |
Jan 27 2015 - 6:44pm |
9 years 41 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Registration Open - OpenModelica/MODPROD Workshops Febr 2015 Attachments: |
Registration Open - OpenModelica/MODPROD Workshops Febr 2015
Location: Linkoping University, Linkoping, Sweden
9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015
7th OpenModelica Annual Workshop, February 2, 2015
Special theme for this year: Open Source
Keynote for Open...more |
Dec 22 2014 - 3:38pm |
9 years 41 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Registration Soon Open - OpenModelica/MODPROD Workshops Febr 2015 |
Registration Soon Open - OpenModelica/MODPROD Workshops Febr 2015
Location: Linkoping University, Linkoping, Sweden
9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015
7th OpenModelica Annual Workshop, February 2, 2015
Special theme for this year: Open Source
Keynot...more |
Dec 2 2014 - 2:14pm |
9 years 41 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Preliminary Call for Contributions |
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Preliminary Call for Contributions
MODELS is the premier conference series for model-based software and systems engineering which since 1998 has been covering all aspects of modeling, from languages and methods...more |
Nov 20 2014 - 4:23pm |
9 years 41 weeks ago |
|
Calls for Papers |
ICESS 2015 - First Call for Papers |
The 12th IEEE International Conference on Embedded Software and Systems
August 24-26, 2015 in New York, USA
http://cse.stfx.ca/~icess2015/
Co-located with HPCC 2015 and CSS 2015
*IMPORTANT DATES*
Abstract submission : Apr. 03, 2015
Paper submission : Apr. 30, 2015
Notification date...more |
Nov 4 2014 - 8:22pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: ADHS 2015 |
Call for Papers
ADHS 2015
5th IFAC Conference on Analysis and Design of Hybrid Systems
Georgia Tech Campus, Atlanta, USA. 14-16 October, 2015.
http://adhs15.gatech.edu
Submission: Apr. 15, 2015
Author notification: July 1, 2015
Final papers due: Sept. 1, 2015
Conference:...more |
Nov 4 2014 - 6:52pm |
9 years 41 weeks ago |
|
Calls for Papers |
CALL FOR PAPERS - SIES 2015 - Siegen, Germany - June 8-10, 2015 |
CALL FOR PAPERS - SIES 2015
10th IEEE Symposium on Industrial Embedded Systems - SIES 2015
University of Siegen, Siegen, Germany
June 8-10, 2015
Conference web site: www.sies2015.com
Submission system: https://easychair.org/conferences/?conf=sies2015
The aim of the symposium is to bring t...more |
Oct 24 2014 - 1:37pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP: Special Issue on Software for Embedded and Ubiquitous Computing |
Call for papers Journal of Systems Architecture
Special Issue on: Software for Embedded and Ubiquitous Computing
Important dates:
Submission Deadline: 30 November 2014
Acceptance Notification: 15 April 2015
Final Papers: 15 May 2015
Publication: Summer of 2015 (subject to JSA editorial calenda...more |
Oct 24 2014 - 1:21pm |
9 years 41 weeks ago |
|
Calls for Papers |
RTA 2015 - CALL FOR PAPERS |
RTA 2015 - CALL FOR PAPERS
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/
RTA is the major forum for the presentation of research on all
aspects of rewriting. Top...more |
Oct 24 2014 - 12:59pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP SAFECOMP2015 Computer Safety Reliability Security |
SAFECOMP 2015 "Assured connectivity"
The 34th International Conference on Computer Safety, Reliability and Security
22-25 September 2015, Delft, the Netherlands
http://safecomp2015.tudelft.nl/
About SAFECOMP
Since it was established in 1979 by the European Workshop on Industrial Computer Systems,...more |
Oct 20 2014 - 4:17pm |
9 years 41 weeks ago |
|
Calls for Papers |
TASE 2015 -- First Call for Papers |
The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015)
12-14 September 2015, Nanjing, China
http://tase2015.nuaa.edu.cn
For more information email: tase2015@easychair.org
OVERVIEW
The 9th Theoretical Aspects of Software Engineering Conference (TASE
2015) will...more |
Dec 22 2014 - 4:43pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP ECRTS 15: 27th EUROMICRO Conference on real-time systems Lund, Sweden, 8-10th July 2015 |
CALL FOR PAPERS ECRTS 15
Submission deadline: 1 February 2015 (firm deadline)
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015
Organized by the Euromicro Technical Committee on Real-Time Systems
Conference web site: ecrts15.ecrts.org
THEME AND TOPICS OF INTEREST
ECRTS is th...more |
Dec 22 2014 - 4:11pm |
9 years 41 weeks ago |
|
Calls for Papers |
First CFP: CRV15 - 2nd Competition on Runtime Verification |
The 2nd International Competition on Runtime Verification
held with RV 2015, September 22 - 25, 2015 Vienna, Austria
CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 201...more |
Dec 22 2014 - 3:42pm |
9 years 41 weeks ago |
|
Calls for Papers |
ACM Transactions on Embedded Computing - Special Issue on Methods and Models for System Design |
ACM Transactions on Embedded Computing -- Special Issue on Methods and Models for System Design
This is the announcement of a special issue of the ACM Transactions on Embedded Computing dedicated to the research areas of the 12th ACM-IEEE International Conference on Methods and Models for System Des...more |
Dec 2 2014 - 2:15pm |
9 years 41 weeks ago |
|
Calls for Papers |
Cfp: CAV 2015 |
27th International Conference on Computer Aided Verification (CAV 2015)
July 18-24 2015, San Francisco, California http://i-cav.org/2015/
Aims and Scope
CAV 2015 is the 27th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware an...more |
Nov 26 2014 - 4:57pm |
9 years 41 weeks ago |
|
Calls for Papers |
ICGT 2015: Call for Papers |
8th International Conference on Graph Transformation (ICGT 2015) L'Aquila, Italy
20 - 24 July, 2015
More information: http://btn1x4.inf.uni-bayreuth.de/icgt2015
First Call for Papers
Dynamic structures are a major cause for complexity when it comes to model and reason about systems.
They occur in s...more |
Nov 26 2014 - 4:16pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: ISLPED 2015 |
INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN
http://www.islped.org
Rome, Italy
July 22 - July 24, 2015
Technical Paper Submission Deadline: Abstract registration by Feb 22, 2015; Full paper by March 1, 2015
Invited Talk, Panel, and Embedded Tutorial Proposals Deadline: April 1, 201...more |
Nov 26 2014 - 3:54pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: The 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015) |
Important Dates
February 1, 2015 : Submission of proposals for special sessions
March 1, 2015 : Acceptance/Rejection notification of proposals for special sessions
March 31, 2015 : Submission of full-length papers for regular and special sessions
April 15, 2015 : Submission of proposals for tut...more |
Nov 20 2014 - 4:47pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: The 13th ACM Conference on Embedded Networked Sensor Systems |
Sensors have become an essential part of computing systems and applications. Computing today is increasingly characterized by ubiquitous, information-rich sensors that produce massive quantities of data about the physical world. This new era of computing is driving important new systems issues,...more |
Nov 20 2014 - 4:34pm |
9 years 41 weeks ago |
|
Calls for Papers |
SCOPES 2015 - Call For Papers |
18th International Workshop on Software and Compilers for Embedded Systems
June 1-3, 2015
Schloss Rheinfels, St. Goar, Germany
http://www.scopesconf.org
A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2015. The workshop will feature a comb...more |
Jan 12 2015 - 2:55pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP - IEEE Transactions on Industrial Informatics Special Section on New perspectives on Wireless Communications in automation |
IEEE Transactions on Industrial Informatics Special Section on New perspectives on Wireless Communications in automation: From industrial monitoring and control to cyber-physical systems
The Theme:
Wireless communication is steadily increasing in many automation applications and there is a further n...more |
Jan 12 2015 - 2:51pm |
9 years 41 weeks ago |
|
Calls for Papers |
ESWeek 2015 - First CfP |
EMBEDDED SYSTEMS WEEK
Amsterdam, The Netherlands, October 4 - 9, 2015 www.esweek.org
++ CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tutorials
++ ++
About ESWeek
ESWeek is the premier event covering all aspects of embedded systems and software. By bringing together three leading con...more |
Jan 12 2015 - 1:24pm |
9 years 41 weeks ago |
|
Calls for Papers |
ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers |
4th International Workshop on Engineering Safety and Security Systems
June 22, 2015, Oslo, Norway
Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015
More information:
http://pat.sce.ntu.edu.sg/esss15/
Important dates
March 16th, 2015: Submission deadline
April 27th, 2015: Notification o...more |
Jan 12 2015 - 1:18pm |
9 years 41 weeks ago |
|
Calls for Papers |
SCOPES 2015 - Call For Papers |
18th International Workshop on Software and Compilers for Embedded Systems
June 1-3, 2015
Schloss Rheinfels, St. Goar, Germany
http://www.scopesconf.org
A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2015. The workshop will feature a com...more |
Jan 12 2015 - 1:12pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP: RTAS 2015, Work-In-Progress Session |
The Work-in-Progress (WiP) session at RTAS 2015 is dedicated to new and on-going research in the field of real-time and embedded systems. Authors are invited to submit short abstracts (up to 2 pages) describing ongoing, unpublished work in all areas of real-time and embedded technology, including ap...more |
Jan 12 2015 - 1:08pm |
9 years 41 weeks ago |
|
Calls for Papers |
Resilience Week 2015: Call for Papers - Due April 6 |
Resilience Week 2015 in Philadelphia, PA, August 18 - 20
https://secureweb.inl.gov/Resweek2015/Default.aspx
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...more |
Jan 6 2015 - 12:12pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP - 9th IEEE/ACM International Symposium on Networks-on-Chip - NOCS 2015 |
Call for Papers
9th IEEE/ACM International Symposium on Networks-on-Chip
September 28 - 30, 2015
Vancouver, Canada
The International Symposium on Networks-on-Chip (NOCS) is the premier event dedicated to interdisciplinary research on on-chip, chip-scale, and multichip package scale communication tec...more |
Dec 23 2014 - 1:54pm |
9 years 41 weeks ago |
|
Calls for Papers |
LCTES 2015: First CFP |
First Call for Papers
LCTES 2015: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems
LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar p...more |
Dec 23 2014 - 1:21pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France) |
12th International Conference on Informatics in Control, Automation and Robotics ICINCO
website: http://www.icinco.org
July 21 - 23, 2015
Colmar, Alsace, France
In Cooperation with: EUROMICRO, AAAI, APCA, INNS and APNNA Co-Sponsored by: IFAC Sponsored by: INSTICC INSTICC is Member of: WfMC and FIP...more |
Dec 23 2014 - 12:58pm |
9 years 41 weeks ago |
|
Calls for Papers |
ETFA 2015 - Call for Papers |
Submission Deadline: March 15, 2015
CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS
20th IEEE International Conference on Emerging Technologies & Factory Automation Luxembourg (ETFA 2015)
8-11 September 2015
Web site: http://www.etfa2015.org/
The aim of the ETFA 2015 conference...more |
Dec 23 2014 - 12:34pm |
9 years 41 weeks ago |
|
Calls for Papers |
Call for Papers SETTA 2015 |
Symposium on Dependable Software Engineering: Theories, Tools and Applications
Nanjing University | November 4-6, 2015
IMPORTANT DATES
June 12,2015 Abstracts
June 19,2015 Submission of papers
August 21,2015 Notification to authors
September 4,2015 Camera-ready versions
KEYNOTE SPEAKERS
S...more |
Dec 22 2014 - 6:09pm |
9 years 41 weeks ago |
|
Calls for Papers |
SummerSim'15 CFP - Chicago, IL |
Call For Papers - 2015 Summer Simulation Multi-Conference July 26 - 29, 2015 | Chicago, USA 'Complexity and the Role of Modeling and Simulation'
http://www.scs.org/summersim
SummerSim'15 is SCS's premier international conference in cooperation with ACM SIGSIM. The conference focuses on modeling an...more |
Dec 22 2014 - 6:00pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP :The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15) |
The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)
http://satoss.uni.lu/sacps2015
in conjunction with ANT-2015 conference
June 2 - 5, 2015 London, UK
SCOPE
Security of Cyber-Physical Systems (CPS) is challenging due to the inherent complexity of CPS. Moreover, it is...more |
Dec 22 2014 - 5:10pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP MobiSPC-2015 |
The 12th International Conference on Mobile Systems and Pervasive Computing
August 17-20, 2015 | Belfort, France
http://cs-conferences.acadiau.ca/mobispc-15/
MobiSPC-2015 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art res...more |
Jan 28 2015 - 3:02pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP:15th International Workshop on Worst-Case Execution Time Analysis |
15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
July 7th, 2015 | Lund, Sweden
http://www.bsc.es/caos/wcet2015
CALL FOR PAPERS
The 15th International Workshop on Worst-Case Execution time Analysis (WCET 2015) is a satellite workshop of th...more |
Jan 28 2015 - 2:54pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: Refinement Workshop: Oslo at FM (submissions 21-28 March) |
2015 Refinement Workshop at FM 2015 in Oslo
22 June 2015, colocated with FM 2015 at Oslo
www.refinenet.org.uk/ref15/
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification t...more |
Jan 28 2015 - 2:49pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: FNC-2015 The 10th International Conference on Future Networks and Communications |
The 10th International Conference on Future Networks and Communications
August 17-20, 2015
Belfort, France
http://cs-conferences.acadiau.ca/fnc-15/
FNC-2015 will be held in the city of Belfort. Belfort exists since the Roman period and was official recognized as an autonomous c...more |
Jan 28 2015 - 2:40pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP - Embedded Software Engineering Track (ESE) at SEAA 2015 |
Embedded Software Engineering (ESE) track
at 41th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA)
Funchal, Madeira, Portugal, August 26-28, 2015
http://paginas.fe.up.pt/~dsd-seaa-2015/seaa2015/call-for-papers-seaa-2015/ese-track/
IMPORTANT DATES:
Abstract Submission...more |
Jan 28 2015 - 2:29pm |
9 years 41 weeks ago |
|
Calls for Papers |
First Call for Papers: SETS 2015 |
2nd International Workshop about Sets and Tools (SETS 2015)
Affiliated to FM 2015
June 23, 2015, Oslo, Norway
http://sets2015.cnam.fr/
AIM
Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets al...more |
Jan 28 2015 - 1:21pm |
9 years 41 weeks ago |
|
Calls for Papers |
AVoCS 2015: First Call for Papers |
The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
1-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
avocs2015@easychair.org
IMPORTANT DATES
Submission of abstract (full papers): 5th June 2015
Submission of full papers: 12th June...more |
Jan 27 2015 - 6:51pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP OSPERT'15: 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications |
The 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2015)
July 7th, 2015 | Lund, Sweden
co-located with ECRTS'15
http://www.mpi-sws.org/~bbb/events/ospert15/
OSPERT is a forum for researchers and engineers working on (and with) Real-Time Operating Syst...more |
Jan 27 2015 - 6:33pm |
9 years 41 weeks ago |
|
Calls for Papers |
FNC-2015 CFP: The 10th International Conference on Future Networks and Communications August 17-20, 2015 Belfort, France |
The 10th International Conference on Future Networks and Communications
August 17-20, 2015 | Belfort, France
http://cs-conferences.acadiau.ca/fnc-15/
FNC-2015 will be held in the city of Belfort. Belfort exists since the Roman period and was official recognized as an autonomous city in 130...more |
Jan 27 2015 - 6:26pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France) |
12th International Conference on Informatics in Control, Automation and Robotics (ICINCO)
July 21 - 23, 2015 | Colmar, Alsace, France
website: http://www.icinco.org
In Cooperation with: EUROMICRO, AAAI, APCA, INNS, APNNA and euRobotics AISBL
Co-Sponsored by: IFAC
Sponsored by: INSTICC
INSTICC is...more |
Jan 28 2015 - 3:16pm |
9 years 41 weeks ago |
|
Calls for Papers |
CFP: CRV15 - 2nd Competition on Runtime Verification |
The 2nd International Competition on Runtime Verification
held with RV 2015, September 22 - 25, 2015 Vienna, Austria
CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 2...more |
Jan 27 2015 - 6:10pm |
9 years 41 weeks ago |
|
Calls for Papers |
SaFoMe 2015 - 1st Call for Papers (June 22,2015 -- co-located with FM2015) |
2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015
Co-located with FM 2015: 20th International Symposium on Formal Methods (http://fm2015.ifi.uio.no)
June 22-26, 2015 -- Oslo, Norway
Workshop will take place on June 22, 2015
Web: https://es-static.fbk.eu/events/safome15
For more...more |
Jan 19 2015 - 12:52pm |
9 years 41 weeks ago |
|
Calls for Papers |
CfP: Doctoral Symposium of FM 2015 |
Doctoral Symposium of Formal Methods 2015
22 June 2015, Oslo, Norway
Call for Papers
http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/
Important Dates
Submission: 20 March 2015
Notification: 3 April 2015
Doctoral Symposium: 22 June 2015
Goals and Scope
A Doctoral Symposium will be held on...more |
Jan 19 2015 - 12:30pm |
9 years 41 weeks ago |
|
Calls for Papers |
FORTE 2015: Call for Papers (completely new dates) |
FORTE 2015
A DisCoTec Member Conference
35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
http://discotec2015.inria.fr/
http://discotec2015.inria.fr/forte-2015-call-for-papers/
taking place on June 2-4, 2015 in Grenoble, France
Abstract Submi...more |
Jan 28 2015 - 2:12pm |
9 years 42 weeks ago |
