|
Calls for Papers |
ICAC 2016 2nd Call-for-Papers |
2ND CALL FOR PAPERS
13th IEEE International Conference on Autonomic Computing (ICAC 2016)
Wuerzburg, Germany, July 19-22, 2016 | http://icac2016.uni-wuerzburg.de/
In cooperation with USENIX and SPEC
CONFERENCE PATRONS
SAP, Huawei, Hewlett Packard Enterprise, Google, Microsoft
WORKSHOPS...more |
Nov 18 2015 - 5:16pm |
9 years 2 weeks ago |
|
Calls for Papers |
CfP: FORTE 2016 |
CALL FOR PAPERS
36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016)
Part of the DisCoTec 2016 event
6-9 June 2016 | Aquila Atlantis Hotel, Heraklion, Crete | http://forte2016.discotec.org
FORTE 2016 is a forum for fundamental res...more |
Nov 18 2015 - 4:54pm |
9 years 2 weeks ago |
|
Calls for Papers |
CFP: The 11th International Conference on Future Networks and Communications (FNC) |
CALL FOR PAPERS
The 11th International Conference on Future Networks and Communications (FNC)
August 15-18, 2016 | Montreal, Quebec, Canada | http://cs-conferences.acadiau.ca/fnc-16/
Future Networks and Communications (FNC) research effort will help achieving a major promise...more |
Nov 18 2015 - 4:24pm |
9 years 2 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Int. Conf. on Embedded Wireless Systems and Networks (EWSN) - Call for Posters and Demos |
International Conference on Embedded Wireless Systems and Networks (EWSN)
15-17 February 2016, Graz, Austria
Call for Posters and Demos
The International Conference on Embedded Wireless Systems and Networks (EWSN) is a highly selective single-track international conference focusing on premier res...more |
Nov 18 2015 - 4:16pm |
9 years 2 weeks ago |
|
Calls for Papers |
Deadline Extension: DREAMCloud 2016 Workshop co-located with HiPEAC 2016 |
Call for Papers
2nd International Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud 2016)
Co-Located with HiPEAC 2016 | Jointly organised by the DreamCloud and EXCESS projects.
Jan 19th 2016 | Prague, Czech Republic | https://www....more |
Nov 18 2015 - 4:05pm |
9 years 2 weeks ago |
|
Calls for Papers |
Deadline Extension: WRC'2016 |
Call for Papers
10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016)
January 19, 2016 | Prague, Czech Republic | http://www.fe.up.pt/wrc2016
Full paper submission deadline: November 20, 2015
The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers activ...more |
Nov 18 2015 - 3:46pm |
9 years 2 weeks ago |
|
Calls for Papers |
CfP: 2nd IEEE International Conference on Smart Computing (SMARTCOMP2016) |
2nd IEEE International Conference on Smart Computing (SMARTCOMP2016)
The 2nd IEEE International Conference on Smart Computing (SMARTCOMP 2016) advances multidisciplinary research on the use of technology and the design of smart computing systems that improve the human experience and promote resourc...more |
Nov 16 2015 - 6:59pm |
9 years 2 weeks ago |
|
Position Announcements |
NOW ACCEPTING APPLICATIONS: Science of Security Summer Internship Program |
The Illinois NSA Science of Security (SoS) Lablet is now accepting applications from undergraduate students for our SoS Summer Internship Program! The application deadline is January 19, 2016. Information regarding the internship and a link to the application form can be found at: http://go.illino...more |
Nov 10 2015 - 4:11pm |
9 years 3 weeks ago |
|
Calls for Papers |
CFP - ACM International Conference on Computing Frontiers 2016 |
CALL FOR PAPERS
ACM International Conference on Computing Frontiers 2016 (CF'16)
May 16 - 18, 2016, Como, Italy | www.computingfrontiers.org
SCOPE
Computing Frontiers represents an engaged, collaborative community of researchers who are excited about transformational technologies in the fiel...more |
Nov 10 2015 - 4:08pm |
9 years 3 weeks ago |
|
Calls for Papers |
CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline* |
CALL FOR PAPERS
25th International Conference on Compiler Construction (CC 2016)
March 17-18 2016, Barcelona, Spain
Co-located with CGO, HPCA, PPoPP, and EuroLLVM http://cc2016.eew.technion.ac.il/
Important dates
Abstracts due: 23 November 2015 (updated)
Papers due: 30 November 2015 (upd...more |
Nov 10 2015 - 3:48pm |
9 years 3 weeks ago |
|
Calls for Workshops & Tutorials |
Call for Workshops Proposals – DisCoTec 2016 |
CALL FOR WORKSHOPS PROPOSALS
The 11th International Federated Conference on Distributed Computing Techniques (DisCoTec 2016)
The 11th International Federated Conference on Distributed Computing Techniques (DisCoTec 2016) invites proposals for one-day workshops to be part of the joint event. DisCoT...more |
Nov 10 2015 - 3:34pm |
9 years 3 weeks ago |
|
Calls for Papers |
CfP: Reliability, safety and security of railway systems - Int.Conference |
CALL FOR PAPERS
International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification - RSSR 2016
June 28-30, 2016, Paris, France | http://conferences.ncl.ac.uk/rssrail/
The railway industry is facing an increasing pressure to impr...more |
Nov 10 2015 - 3:27pm |
9 years 3 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for models (Model Checking Contest 2016) |
MODEL CHECKING CONTEST 2016 - (1/2) - CALL FOR MODELS
http://mcc.lip6.fr
GOALS
The Model Checking Contest (MCC) is a yearly event that assesses existing verification tools for concurrent systems on a set of models (i.e., benchmarks) proposed by the scientific community. All tools are compared on...more |
Nov 10 2015 - 3:14pm |
9 years 3 weeks ago |
|
Calls for Workshops & Tutorials |
Call for CAV Workshop Proposals: July 17-18, 2016 Toronto, Canada |
CALL FOR WORKSHOP PROPOSALS
28th International Conference on Computer Aided Verification (CAV 2016)
July 17-23, Toronto, Ontario, Canada
The 2016 Computer-Aided Verification (CAV) Workshops provides an opportunity for participants to discuss topics in the broader verification related domains....more |
Nov 10 2015 - 3:05pm |
9 years 3 weeks ago |
|
Calls for Papers |
CFPs:The 6th International Conference on Sustainable Energy Information Technology (SEIT-16) |
CALL FOR PAPERS
The 6th International Conference on Sustainable Energy Information Technology (SEIT-16)
Madrid, Spain | May 23-26, 2016 | http://cs-conferences.acadiau.ca/seit-16/
Important Dates
Workshops Proposal Due: October 5, 2015
Paper Submission Due: December 30,...more |
Nov 10 2015 - 2:13pm |
9 years 3 weeks ago |
|
Calls for Papers |
CFP: The 6th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2016) |
CALL FOR PAPERS
The 6th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2016)
To be held in conjunction with Ambient Systems, Networks and Technologies Conference (ANT'16)
May 23-26, 2016, Madrid, Spain | Website: http://cs.adelaide.edu.au/~iupt2016/
IMPORTANT D...more |
Nov 10 2015 - 1:52pm |
9 years 3 weeks ago |
|
Calls for Papers |
CFP: HARSH 2016 (Barcelona, Spain) |
CALL FOR PAPERS
Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH 2016)
March 12th 2016, Barcelona (Spain) | http://www.harsh-workshop.org/
In conjunction with HPCA 2016, CGO 2016, and PPoPP 2016
HARSH 2016 will provide a unique forum for the discussion of the challenges in...more |
Nov 10 2015 - 1:36pm |
9 years 3 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Invitation to the 16th Meeting of the Software Certification Consortium |
On behalf of the Steering Committee of the Software Certification Consortium (SCC) I would like to invite you to attend the next SCC meeting to be held at the University of Pennsylvania, hosted by the PRECISE Center, January 11/12, 2016.
The theme for this meeting is "Necessary and sufficient safet...more |
Nov 10 2015 - 1:16pm |
9 years 3 weeks ago |
|
Calls for Papers |
CfP: Integrating Dataflow, Embedded computing and Architecture, IDEA 2016 @ CPS week |
CALL FOR PAPERS
2nd International Workshop Integrating Dataflow, Embedded computing and Architecture (IDEA 2016)
Vienna, Austria, April 11, 2016 | http://caes.ewi.utwente.nl/idea2016
in conjunction with CPS week 2016 (http://www.cpsweek.org/2016)
Selected papers will be considered for publicatio...more |
Nov 10 2015 - 1:04pm |
9 years 3 weeks ago |
|
Calls for Papers |
CfP: MBSE PLM 2015 |
CALL FOR PAPERS
International Workshop on Model Based System Engineering and PLM (MBSE PLM 2015)
TUNISIA | December 19-20, 2015
Important dates
Regular Paper Abstract Submission: Nov. 10th
Industry Paper Abstract Submission: Nov. 15th
Software Presentation & demos Subscription: Nov. 15...more |
Nov 10 2015 - 12:43pm |
9 years 3 weeks ago |
|
Position Announcements |
Eight (8) Faculty Positions in Cyber-Physical Systems |
The University of Virginia School of Engineering and Applied Science has launched a multi-million dollar initiative to create a collaborative world class center of research excellence in Cyber-Physical Systems. The initiative includes an international search for 8 new tenured/tenure-track faculty me...more |
Nov 7 2015 - 9:15pm |
9 years 3 weeks ago |
|
Calls for Papers |
LASER 2016 CFP Due 1/29/2016 |
Learning from Authoritative Security Experiment Results (LASER) Call For Papers has been posted to the calender on 1/29/2016. A calendar event has been posted with details. Further information available at 2016.laser-workshop.org,more |
Nov 7 2015 - 11:16am |
9 years 3 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
2016 High Confidence Software and Systems Call for Presentations |
The Sixteenth Annual HCSS Conference (2016)
Call for Presentations
Introduction
The sixteenth annual HCSS Conference will be held May 10-13, 2016 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 in previ...more |
Nov 5 2015 - 2:37pm |
9 years 4 weeks ago |
|
Calls for Papers |
CfP ECRTS 16: Toulouse, France, 5-8 July, 2016, 28th EUROMICRO Conference on Real-Time Systems |
CALL FOR PAPERS ECRTS 16
Submission deadline: 25 February 2016 (firm deadline)
28th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Toulouse, France | 5-8th, July 2016 | ecrts16.ecrts.org
Organized by the Euromicro Technical Committee on Real-Time Systems
THEME AND TOPICS OF INTEREST
ECRTS is...more |
Nov 3 2015 - 5:42pm |
9 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Int. Conf. on Embedded Wireless Systems and Networks (EWSN) - Call for Posters and Demos |
Call for Posters and Demos
International Conference on Embedded Wireless Systems and Networks (EWSN)
15-17 February 2016 | Graz, Austria | http://www.iti.tugraz.at/EWSN2016
The International Conference on Embedded Wireless Systems and Networks (EWSN) is a highly selective single-track internation...more |
Nov 3 2015 - 5:33pm |
9 years 4 weeks ago |
|
Position Announcements |
3 Open Positions for Junior Professor (with Tenure Track) in Computer Science at University of Duisburg-Essen |
The University of Duisburg-Essen intends to fill the following positions at the Faculty of Economics and Business Administration for the earliest possible date.
Three Junior Professorships (Bes.-Gr. W 1) for "Informatics" - Computer Science (with tenure-track according to Bes.-Gr. W 3)
The tenure-...more |
Nov 3 2015 - 5:16pm |
9 years 4 weeks ago |
|
Calls for Papers |
CfP: DoCEIS’16 - Deadline November 6, 2015 |
CALL FOR PAPERS
The 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS'16)
April 11-13, 2016 | Caparica (Lisbon), Portugal
Important Dates
Now: Submission of abstract
6 Nov 2015: Submission of full paper
11 Dec 2015: Notification of authors
3 Jan 2016...more |
Nov 3 2015 - 5:06pm |
9 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
RTSS 2015 early registration Nov 1 and hotel Nov 9 |
A gentle reminder to please register for RTSS 2015 ( at
http://2015.rtss.org/registration/ ) and to make your hotel reservation
( at https://resweb.passkey.com/go/ieeerealtime ) soon as well.
The early registration deadline for RTSS 2015 is November 1st, and the
hotel reservation deadline is N...more |
Nov 3 2015 - 4:45pm |
9 years 4 weeks ago |
|
Calls for Workshops & Tutorials |
Call for Tutorial Proposals at ASPLOS 2016 |
Twenty First International Conference on Architectural Support for Programming Languages and Operating Systems
Tutorial proposals are solicited for ASPLOS-2016, Atlanta, GA.
Tutorials will be held on April 2, 2016 (Saturday) and April 3, 2016 (Sunday).
http://www.ece.cmu.edu/calcm/asplos2016/
P...more |
Nov 3 2015 - 12:11pm |
9 years 4 weeks ago |
|
Calls for Workshops & Tutorials |
Call for Workshops Proposals: The 11th International Conference on Future Networks and Communications |
Call for Workshops Proposals
The 11th International Conference on Future Networks and Communications
August 15-18, 2016 | Montreal, Canada | http://cs-conferences.acadiau.ca/fnc-16/#workshop_call
Important Dates
Workshop Proposal Due: January 13, 2016
Acceptance Notification: January 20, 2016...more |
Nov 3 2015 - 3:21pm |
9 years 4 weeks ago |
|
Calls for Papers |
Call for Papers: ICMT 2016 in Vienna, Austria |
Call for Papers
INTERNATIONAL CONFERENCE ON MODEL TRANSFORMATION (ICMT) 2016
Co-located with Software Technologies: Applications and Foundations (STAF) 2016
July 4-8, 2016 in Vienna, Austria | http://www.model-transformation.org | http://is.ieis.tue.nl/research/ICMT16
Important dates
General ca...more |
Nov 3 2015 - 3:43pm |
9 years 4 weeks ago |
|
Calls for Papers |
CfP: 2016 Microsoft Indoor Localization Competition |
Call For Contesters
2016 Microsoft Indoor Localization Competition
April 10-11, 2016 | Vienna, Austria
Co-located with IPSN 2016
http://research.microsoft.com/en-us/events/msindoorloccompetition2016/default.aspx
ELIGIBILITY
Both academia and industry submissions are encouraged. All location te...more |
Nov 3 2015 - 3:30pm |
9 years 4 weeks ago |
|
Calls for Papers |
TAP 2016 (Tests & Proofs) - Call for Papers |
CALL FOR PAPERS
10th International Conference on Tests & Proofs
Co-located with STAF 2016
5-7 July 2016, Vienna, Austria | http://tap2016.ist.tugraz.at
Important Dates:
Abstracts: 29 January 2016
Papers: 5 February 2016
Notifications: 15 April 2016
Camera ready versions: 6 May 2...more |
Nov 3 2015 - 3:14pm |
9 years 4 weeks ago |
|
Calls for Papers |
MobiSys 2016 - Call for Papers |
Call for Papers (http://www.sigmobile.org/mobisys/2016/)
ACM MobiSys 2016 will continue the tradition of publishing top-notch research papers dealing with all aspects of mobile systems. MobiSys seeks original papers that take a broad systems perspective rather than focus narrowly on low-level compo...more |
Nov 3 2015 - 2:54pm |
9 years 4 weeks ago |
|
Calls for Papers |
Update - CFP OpenModelica/MODPROD Workshops Febr 2016 |
Small update. Use these links for submission instead of the previous information:
For submission to MODPROD 2016, use https://easychair.org/conferences/?conf=modprod2016
For submission to OpenModelica 2016, use https://easychair.org/conferences/?conf=openmodelica2016
10th MODPROD Workshop...more |
Nov 3 2015 - 2:28pm |
9 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Contributions: Automotive Track @ Design Automation Conference 2016 |
C A L L F O R P A R T I C I P A T I O N
Design Automation Conference 2016
Austin Convention Center, Austin, Texas | June 5 - 9, 2016 | www.dac.com
The Automotive sessions at DAC provide a forum for people from automotive, embedded systems, security and EDA, to connect, engage, and exchange inf...more |
Nov 3 2015 - 2:21pm |
9 years 4 weeks ago |
|
Calls for Papers |
SynCoP 2016: 1st Call for Papers |
CALL FOR PAPERS
3rd International Workshop on the SYNthesis of COmplex Parameters (SynCoP 2016)
(ETAPS satellite event) | http://lipn.univ-paris13.fr/SynCoP2016/
SynCoP aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuou...more |
Nov 3 2015 - 2:13pm |
9 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ISIE 2016 wants you! |
The 25th IEEE International Symposium on Industrial Electronics is fast approaching, June 6-10, 2016, in the heart of Silicon Valley, Santa Clara, USA! ISIE-2016 joins a week of exciting gatherings, all related to a theme: "Challenges of the IoT" (Internet of Things). Events include the IEEE Tech I...more |
Nov 3 2015 - 1:58pm |
9 years 4 weeks ago |
|
Position Announcements |
Post doctorate position in Reliability in Embedded Systems |
Post doctorate position
Reliability in Embedded Systems: Simulation and Modeling
LAMIH-CNRS UMR University of Valenciennes and CEA-LIST Paris Saclay, France
Complex embedded systems are more and more used to fulfill safety-critical functionalities in transportation tools such as automotive, train...more |
Nov 3 2015 - 1:54pm |
9 years 4 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
53rd DAC 2016 - Call for Participation |
C A L L F O R P A R T I C I P A T I O N
Design Automation Conference 2016
Austin Convention Center, Austin, Texas | June 5 - 9, 2016 | www.dac.com
For 53 years, the Design Automation Conference (DAC) has been recognized as the leading-edge conference on research and practice in tools and m...more |
Nov 3 2015 - 1:46pm |
9 years 4 weeks ago |
|
Calls for Papers |
CfP: IEEE International Symposium on Hardware Oriented Security and Trust (HOST) 2016 |
CALL FOR PAPERS: IEEE International Symposium on Hardware Oriented Security and Trust (HOST) 2016
The Ritz - Carlton Tysons Corner | McLean, VA, USA | May 3-5, 2016
Rapid proliferation of computing and communication systems with increasing computational power and connectivity into every sphere...more |
Nov 3 2015 - 1:39pm |
9 years 4 weeks ago |
|
Position Announcements |
R&D Software Engineer at CEA Paris area in MDE System Engineering |
In the context of the joint laboratory Sherpa@LIST, the company Sherpa Engineering (www.sherpa-eng.com) is developing in partnership with the CEA's lab LISE a systemic modeling tool, named PhiSystem. PhiSystem implements the methodology recommended by Sherpa Engineering for the design of controlled...more |
Nov 3 2015 - 12:40pm |
9 years 4 weeks ago |
|
Calls for Papers |
First Call for Papers: CAV 2016, July 17-23, 2016, Toronto, Ontario, Canada |
28th International Conference on Computer Aided Verification (CAV 2016)
July 17-23, 2016 | Toronto, Ontario, Canada | http://i-cav.org/2016/
Important Dates (All deadlines are 4pm EST):
Abstract submission: January 17, 2016 (Sunday)
Paper submission: January 29, 2016 (Frida...more |
Nov 3 2015 - 12:27pm |
9 years 4 weeks ago |
|
Calls for Papers |
Call for Papers: ICGT 2016 in Vienna, Austria |
9th International Conference on Graph Transformation (ICGT 2016)
www.graph-transformation.org | July 5-6, 2016, Vienna, Austria
Held as Part of STAF 2016
http://staf2016.conf.tuwien.ac.at/
Important Dates:
Abstract submission: 15 February...more |
Nov 3 2015 - 11:55am |
9 years 4 weeks ago |
|
Position Announcements |
Tenure-track openings @ MPI-SWS |
Applications are invited for tenure-track faculty positions in all areas related to the theory and practice of software systems, including security and
privacy, embedded and mobile systems, computational social science, legal, economic, and social aspects of computing, NLP, machine learning, inform...more |
Nov 3 2015 - 11:37am |
9 years 4 weeks ago |
|
Position Announcements |
University of Minnesota CSE Department Invites Applications for Faculty Positions in CPS, Cyber Security, and Embedded Systems |
The Department of Computer Science and Engineering at the University of Minnesota-Twin Cities invites applications for multiple tenure-track faculty positions in cyber security and in support of a University-wide initiative (MnDRIVE) on robotics, sensors, and advanced manufacturing (http://cse.umn.e...more |
Oct 29 2015 - 2:30pm |
9 years 5 weeks ago |
|
Calls for Papers |
CfP: TASE 2016 |
Call for Papers
10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)
July 17-19, 2016, Shanghai, China | http://tase2016.ecnu.edu.cn
Important dates
Abstract research paper: 10 January 2016
Submission research paper: 17 January 2016 (strict)
Author notif...more |
Oct 19 2015 - 1:13pm |
9 years 6 weeks ago |
|
Calls for Papers |
Call for Contributions - PLDI 2016 |
CALL FOR CONTRIBUTIONS
2016 ACM Conference on Programming Language Design and Implementation (PLDI)
June 13-17, 2016 | Santa Barbara, CA | http://conf.researchr.org/home/pldi-2016
PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory,...more |
Oct 19 2015 - 12:58pm |
9 years 6 weeks ago |
|
Position Announcements |
Open Position: Postdoc in Compilers with Combinatorial Optimization, KTH Royal Institute of Technology |
Postdoc in the area of combinatorial optimization and compilers at KTH Royal Institute of Technology
The position is concerned with the application of combinatorial optimization techniques to the compilation of programs. The candidate is expected to contribute to the Unison project (http://www.ge...more |
Oct 19 2015 - 12:46pm |
9 years 6 weeks ago |
|
Calls for Papers |
CfP: DisCoTec 2016 |
11th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2016)
http://2016.discotec.org/ | Heraklion, Greece, 6-9 June 2016
The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IF...more |
Oct 19 2015 - 12:41pm |
9 years 6 weeks ago |
