|
Position Announcements |
Teaching and Research & Enterprise Fellows at Leicester |
The Department of Computer Science at Leicester is advertising for two new positions,
a Teaching Fellow with a mix of teaching, project supervision, industry consultancy and training and
a Research and Enterprise Fellow focusing on industry consultancy, research and training, and supporting stu...more |
Sep 18 2015 - 10:51am |
9 years 10 weeks ago |
|
Calls for Papers |
CfP for the Sensors journal SI: "Data in the IoT: from sensing to meaning" |
Call for papers for the Special Issue of the Sensors Journal: "Data in the IoT: from sensing to meaning"
http://www.mdpi.com/journal/sensors/special_issues/Data-in-the-IoT
Deadline April 15, 2016.
Dear Colleagues,
Coined as an enabler for computers to perceive the world without relying on h...more |
Sep 18 2015 - 10:48am |
9 years 10 weeks ago |
|
Position Announcements |
post-doc positions at VERIMAG |
Post-doc positions in software verification open at VERIMAG, Grenoble, France, for work on the STATOR project with David Monniaux.
Applications are invited for postdoctoral positions at the VERIMAG laboratory in Grenoble, France. The positions are open for a duration of up to 2.5 years; shorter d...more |
Sep 18 2015 - 10:43am |
9 years 10 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ICCAD 2015: Announces Technical Program |
2015 International Conference On Computer Aided Design
The Premier Conference Devoted to Technical Innovations in Electronic Design Automation
November 2 - 6, 2015 | Doubletree Hotel Austin, TX | http://iccad.com/
TECHNICAL PROGRAM LIVE
ICCAD is the premier forum to explore emerging technology c...more |
Sep 14 2015 - 4:56pm |
9 years 10 weeks ago |
|
Position Announcements |
Multiple Faculty Positions: NAU School of Informatics, Computing, and Cyber Systems |
The School of Informatics, Computing, and Cyber Systems (SICCS) at Northern Arizona University invites applications from exceptional candidates for multiple tenured and tenure-track positions at all levels. These faculty positions will support a multi-year hiring initiative with a focus on the appli...more |
Sep 14 2015 - 3:39pm |
9 years 11 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CALL for PARTICIPATION: 2nd Autumn School on Automatic Verification and Analysis of Complex Systems |
CALL for PARTICIPATION
2nd Autumn School on Automatic Verification and Analysis of Complex Systems
Oldenburg, Germany, | September 30 to October 2, 2015 | http://www.avacs.org/autumn2015
BACKGROUND AND OBJECTIVES
"Automatic Verification and Analysis of Complex Systems" is an autumn school focu...more |
Sep 1 2015 - 12:41pm |
9 years 12 weeks ago |
|
General Announcements |
GCM 2015 online proceedings |
This is to advertise the online proceedings of the International Workshop on Graph Computation Models (GCM 2015) which have appeared as Volume 1403 of the CEUR series: http://ceur-ws.org/Vol-1403/
In due time, there will also appear a volume of the electronic journal ECEASST with revised selected...more |
Sep 1 2015 - 12:36pm |
9 years 12 weeks ago |
|
Position Announcements |
Post-Doc Position at the Hybrid Systems Group at VERIMAG, Grenoble, France |
The timed and hybrid systems group at Verimag (http://www-verimag.imag.fr/Tempo,32.html) is one of the leading teams worldwide in verification, simulation and monitoring of continuous and hybrid cyber-physical systems. The research team, consisting of Oded Maler, Thao Dang and Goran Frehse, has made...more |
Sep 1 2015 - 12:34pm |
9 years 12 weeks ago |
|
Position Announcements |
Open Postdoc Position in formal methods applied to timed systems |
The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew for up to other two years), starting as soon as possible. The successful applicant will carry out his/...more |
Sep 1 2015 - 12:32pm |
9 years 12 weeks ago |
|
Position Announcements |
Full Professor Position (W3) in Embedded Systems / Real-time Systems @ Ulm University |
The Faculty of Engineering, Computer Sciences and Psychology at Ulm University in Germany invites applications for a tenured
Full Professor Position (W3) in Embedded Systems / Real-time Systems
in the Institute of Embedded Systems / Real-time Systems.
The research focu...more |
Sep 1 2015 - 12:28pm |
9 years 12 weeks ago |
|
Calls for Workshops & Tutorials |
CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS |
CALL FOR WORKSHOP AND TUTORIAL PROPOSALS
Cyber-Physical Systems Week (CPS Week)
April 11-14, 2016, Vienna, Austria | http://www.cpsweek.org/2016/
CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a l...more |
Sep 1 2015 - 12:26pm |
9 years 12 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Registration is now open for ESWeek 2015! |
We are pleased to announce that registration is now open for ESWeek 2015! ESWeek will be taking place in Amsterdam, The Netherlands on October 4 - 9, 2015.
ESWeek allows its attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development...more |
Sep 1 2015 - 12:11pm |
9 years 12 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Invitation to AVACS Final Colloquium on September 29, 2015 in Oldenburg/Germany |
We would like to invite you to the 12 years celebration of the Transregional Collaborative Research Center
AVACS - Automatic Verification and Analysis of Complex Systems, see www.avacs.org with a final colloquium
held on September 29, 2015 at the University of Oldenburg, Germany.
Please see pro...more |
Sep 1 2015 - 12:17pm |
9 years 12 weeks ago |
|
Calls for Papers |
Special Issue on Sustainable High Performance Computing |
********************************
Open Journal of Cloud Computing (http://www.ronpub.com/journals/ojcc)
********************************
=========================== Call for Papers ==========================================
Special Issue: "Sustainable High Performance Computing (SHPC-2015)"
(htt...more |
Aug 31 2015 - 12:05am |
9 years 13 weeks ago |
|
Calls for Papers |
CFP: 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS) |
22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS)
part of the 2016 Cyber-Physical Systems Week (CPSWeek) | April 11-14, 2016 | Vienna, Austria
RTAS'16 invites papers describing original systems and applications, case studies, methodologies and applied algorithms that cont...more |
Aug 28 2015 - 10:45am |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: 19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016) |
19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016)
April 12-14, 2016, Vienna, Austria
HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS Week), alongside the International Conference on Cyber-Physical Systems (ICCPS), the International C...more |
Aug 28 2015 - 9:59am |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: 3rd International workshop on Mixed Criticality Systems (WMC) @RTSS2015 |
CALL FOR PAPERS
3rd International workshop on Mixed Criticality Systems (WMC)
at the IEEE Real-Time Systems Symposium
San Antonio, Texas, USA | 1st December, 2015 | http://www-users.cs.york.ac.uk/~robdavis/wmc/
**** Submission Deadline: 28th September 2015 ****
WORKSHOP
The purpose o...more |
Aug 25 2015 - 3:39pm |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: DATE 2016 |
CALL FOR PAPERS
Design, Automation and Test in Europe (DATE 2016) in Dresden: Highlighting Automotive and Secure Systems
www.date-conference.com | March 14-18, 2016 | Dresden, Germany
DATE is the major international event for design and engineering of Systems-on-Chip, Systems-on-Board and Embedde...more |
Aug 25 2015 - 3:20pm |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015) @ RTSS'15 |
CALL FOR PAPERS
8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015)
Collocated with RTSS 2015. San Antonio TX. USA
Large safety-critical real-time systems are typically created through the integration of multiple components that are develop...more |
Aug 25 2015 - 3:08pm |
9 years 13 weeks ago |
|
General Announcements |
ACM SIGBED ESWEEK 2015 Travel Grants |
ACM SIGBED is happy to announce the availability of travel grants for students to attend ESWEEK. Full text of the announcement and the application form are available on SIGBED web site: http://sigbed.blogspot.com/p/travel-grants.html
Travel grants are given at a preset amount which may vary from...more |
Aug 25 2015 - 2:58pm |
9 years 13 weeks ago |
|
Calls for Papers |
Call for Papers: 10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016) |
CALL FOR PAPERS
10th HiPEAC Workshop on Reconfigurable Computing (WRD 2016)
January 19, 2016, Prague, Czech Republic | http://www.fe.up.pt/wrc2016
The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers active in domains within the reconfigurable computing area. I...more |
Aug 25 2015 - 2:29pm |
9 years 13 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ESWeek 2015 - Call for Participation |
E M B E D D E D S Y S T E M S W E E K
Amsterdam, The Netherlands, October 4 - 9, 2015 | www.esweek.org
=========================================================================
++ CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tutorials ++
===================================...more |
Aug 25 2015 - 2:21pm |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: ARC2016: 12th International Symposium on Applied Reconfigurable Computing |
FIRST CALL FOR PAPERS
ARC2016: 12th International Symposium on Applied Reconfigurable Computing
21-24 March 2016 | Mangaratiba, Rio de Janeiro, Brazil | http://lcr.icmc.usp.br/arc2016/
IMPORTANT DATES:
Paper Submission Deadline: Friday, November 06, 2015
Author Notification: Monday, Dece...more |
Aug 25 2015 - 2:05pm |
9 years 13 weeks ago |
|
Calls for Papers |
FASE 2016 Call for Papers |
19th International Conference on Fundamental Approaches to Software Engineering (FASE)
http://www.etaps.org/index.php/2016/fase
FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature...more |
Aug 25 2015 - 1:43pm |
9 years 13 weeks ago |
|
Calls for Papers |
RTSS@Work 2015 - Call for Contributions |
Open Demo Session of Real-Time Systems
RTSS 2015 - San Antonio, TX. USA, December 1, 2015
Call For Demos
RTSS@Work is the open demo session organized as a part of the IEEE Real-Time Systems Symposium, the premier conference in the area of Real-Time Systems. The goal of RTSS@Work is to provide a...more |
Aug 25 2015 - 1:21pm |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: Special Issue on Energy Efficient Multi-Core and Many-Core Systems (The Elsevier Journal of Parallel and Distributed Comput |
CALL FOR PAPERS
The Journal of Parallel and Distributed Computing (Elsevier)
Special issue on Energy Efficient Multi-Core and Many-Core Systems (E2MC2)
Recent trends in the microprocessor industry have important ramifications for the design of the next generation of high-performance as well...more |
Aug 25 2015 - 1:17pm |
9 years 13 weeks ago |
|
Calls for Papers |
First CFP: Int. Conference on Architecture of Computing Systems (ARCS 2016) |
29th GI/ITG International Conference on *Architecture of Computing Systems* (ARCS 2016)
Nuremberg, Germany, April 4-7, 2016 | http://www3.cs.fau.de/arcs2016/
Paper Submission Deadline: October 26, 2015
The ARCS series of conferences has a long tradition reporting high quality results in compu...more |
Aug 25 2015 - 1:05pm |
9 years 13 weeks ago |
|
Calls for Papers |
CfP: RTSS 2015 - Work in Progress Session |
IEEE Real-Time Systems Symposium (RTSS)
December 1st-4th, 2015 | San Antonio, Texas
Works In Progress Session - Call for Papers
Submissions of extended abstracts describing exciting new, in-progress, and/or experimental research are invited for the Work-in-Progress (WIP) session of the 2015 IEEE...more |
Aug 17 2015 - 11:43am |
9 years 15 weeks ago |
|
Calls for Papers |
CfP: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016) |
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
Parallel, Distributed, and Network-Based Processing has undergone impressive changes over recent years. New architectures and applications have rapidly become the central focus of the disciplin...more |
Aug 10 2015 - 12:42pm |
9 years 16 weeks ago |
|
Calls for Papers |
CfP: SPECIAL SESSION on Multi-Core and Many-Core systems for EMbedded Computing (MC)3 in 24th Euromicro PDP Conference |
Multi-Core and Many-Core systems for EMbedded Computing (MC)3
Special session in 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
http://www.pdp2016.org/SS9.html
17-19 Feb. 2016, Crete, Greece
This special session addresses all aspects of...more |
Aug 10 2015 - 12:24pm |
9 years 16 weeks ago |
|
Calls for Papers |
CFP RAPIDO'16 - 8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools |
8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'16)
20 Jan 2016, Prague, Czech Republic
www.rapido.deib.polimi.it
In conjunction with International Conference on High-Performance and Embedded Architectures and Compilers (Hipeac 2016)
Topics of interest in...more |
Aug 10 2015 - 12:14pm |
9 years 16 weeks ago |
|
Calls for Papers |
CfP: TII-SACPS 2015 - Special Section on Smart Agents and Cyber-Physical Systems for Future Industrial Systems |
Agent technology is a promising approach to address the challenge of developing systems that exhibit better re-configurability, robustness and responsiveness, by introducing an alternative way to design control systems based on the decentralization of control functions over distributed autonomous an...more |
Aug 7 2015 - 11:05am |
9 years 16 weeks ago |
|
Calls for Papers |
CfP: The 7th ACM/IEEE International Conference on Cyber-Physical Systems |
The 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
April 11-14, 2016 in Vienna, Austria as part of CPSWeek 2016
http://iccps.acm.org/2016/
As digital computing and communication becomes faster, cheaper and available in packages which are smaller and use less power, the...more |
Aug 7 2015 - 10:54am |
9 years 16 weeks ago |
|
Calls for Papers |
CfP: DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (December 1, 2015) |
DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems
December 1, 2015
at the Real-Time Systems Symposium, San Antonio, Texas, USA
Declarative programming (functional, logic, rule-based, constraints, dataflow, and visual) has several advantages over...more |
Jul 29 2015 - 1:27pm |
9 years 17 weeks ago |
|
Calls for Papers |
ENSsys 2015 Call for papers - Workshop on Energy Harvesting & Energy-Neutral Sensing Systems |
ENSsys 2015 - 3rd Int. Workshop on Energy Harvesting & Energy-Neutral Sensing Systems
in conjunction with ACM SenSys 2015
November 1, 2015 | Seoul, South Korea | http://www.enssys.org/2015/
Complementing the topics of SenSys 2015, this workshop will bring researchers together to explore the c...more |
Jul 29 2015 - 1:16pm |
9 years 17 weeks ago |
|
Calls for Papers |
CfP: ACM SAC 2016 - RST Track |
31st ACM/SIGAPP SAC Symposium on Applied Computing
April 4-8, 2016 | Pisa, Italy | T r a c k R S T
RELIABLE SOFTWARE TECHNOLOGIES AND COMMUNICATION MIDDLEWARE
http://rstsac.uc3m.es
In recent years, the world of high-end parallel and distributed computing systems and applications (in their co...more |
Jul 29 2015 - 1:12pm |
9 years 17 weeks ago |
|
General Announcements |
Transportation Research Data Exchange |
The Federal Highway Adminstration Research Data Exchange (RDE) provides a transportation data sharing system that promotes sharing of both archived and real-time data from multiple sources (including vehicle probes) and multiple modes to support the needs of Intelligent Transportation Systems (ITS)...more |
Jul 21 2015 - 12:22pm |
9 years 18 weeks ago |
|
Calls for Papers |
Call for Papers: 2016 IEEE International Conference on Industrial Technology (IEEE ICIT 2016) |
2016 IEEE International Conference on Industrial Technology (IEEE ICIT 2016)
March 14-17, 2016 http://www.icit2016.org/
2016 IEEE International Conference on Industrial Technology (IEEE ICIT2016) will
be held in Taipei, Taiwan on March 14-17, 2016.
The organizing committee invites you to parti...more |
Jul 20 2015 - 11:58am |
9 years 19 weeks ago |
|
General Announcements |
Release 2.2 of the Research Data Exchange and New Connected Vehicle Data Sets Are Now Available |
Release 2.2 of the Research Data Exchange and New Connected Vehicle Data Sets Are Now Available
The Research Data Exchange (RDE) is a web-based data resource provided by the USDOT Intelligent Transportation Systems (ITS) Program. It collects, manages, and provides access to archived and real-time...more |
Jul 20 2015 - 11:49am |
9 years 19 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CfP: 2nd Autumn School on Automatic Analysis and Verification of Complex Systems |
CALL for PARTICIPATION
2nd Autumn School on Automatic Verification and Analysis of Complex Systems
Oldenburg, Germany, September 30 to October 2, 2015 | http://www.avacs.org/autumn2015
BACKGROUND AND OBJECTIVES
"Automatic Verification and Analysis of Complex Systems" is an autumn school focu...more |
Jul 20 2015 - 11:25am |
9 years 19 weeks ago |
|
Calls for Papers |
Call for Papers - ACM BuildSys 2015 - Submission deadline July 24, 2015 |
ACM International Conference on Embedded Systems For Energy-Efficient Built Environments
Call for Papers - Submission deadline July 24, 2015
(http://buildsys.us11.list-manage1.com/track/click?u=ca71d10de635ecd948cfc6be6&id=fd2f85e00a&e=f031622836)
The 2nd ACM International Conference...more |
Jul 20 2015 - 11:13am |
9 years 19 weeks ago |
|
Calls for Papers |
Call for Papers - Session AE102/ Automotive E/E System Design Optimization Techniques at SAE'16 World Congress |
SAE 2016 WORLD CONGRESS
Call for Papers - Session AE102/ Design Optimization Techniques
April 12-14, 2016 * Detroit, Michigan USA
Please consider submitting a paper or presentation to Session AE102/ Design Optimization Techniques at the SAE 2016 World Congress, April 12-14, 2016, Detroit, Michi...more |
Jul 20 2015 - 10:54am |
9 years 19 weeks ago |
|
Calls for Papers |
CfP: Technological Innovation for Cyber-Physical Systems: @ DoCEIS, April 11-13, 2016, Caparica (Lisbon), Portugal |
7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2016)
April 11-13, 2016 | Caparica (Lisbon), Portugal | http://sites.uninova.pt/doceis
CALL FOR PAPERS
The 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS'16) will re...more |
Jul 20 2015 - 10:41am |
9 years 19 weeks ago |
|
Calls for Papers |
MMA 2015 |
Just one week left to submit your original work in the 2nd International workshop on Mobile Medical Applications held in conjunction with Sensys 2015 in Seoul South Korea.
Submission deadline: July 15th, 2015
https://impact.asu.edu/mma2015.htmlmore |
Jul 8 2015 - 6:09pm |
9 years 19 weeks ago |
|
Calls for Papers |
VMCAI 2016: Call for Papers, Deadlines: Sep 4 (abstract), Sep 11 (paper) |
17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)
January 17-19, 2016, St. Petersburg, Florida, United States
http://conf.researchr.org/home/VMCAI-2016
VMCAI provides a forum for researchers from the communities of Verification, Model Check...more |
Jul 8 2015 - 5:46pm |
9 years 20 weeks ago |
|
Calls for Papers |
CfP: 5th IEEE Intl. Workshop on Software Certification (WoSoCer 2015) |
CALL FOR PAPERS
The 5th International IEEE Workshop on Software Certification (WoSoCer 2015)
November 2-5, 2015, Washington DC, USA
HIGHLIGHTS
Co-located with a top conference: the 26th IEEE Symp. on Software Reliability Engineering (ISSRE 2015)
Special theme of this edition: the certificatio...more |
Jul 8 2015 - 5:38pm |
9 years 20 weeks ago |
|
Calls for Papers |
Software Verification and Testing Track, ACM SAC 2016 (Pisa,Italy) - First CFP |
31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy
More information:
http://antares.sip.ucm.es/svt16/ and
http://www.acm.org/conferences/sac/sac2016/
Important dates
September 11, 2015: Paper submission
November 13, 2015: P...more |
Jul 8 2015 - 5:21pm |
9 years 20 weeks ago |
|
Calls for Papers |
2nd CfP: WESE 2015 |
Call for papers for WESE 2015 - Workshop on Embedded and Cyber-Physical Systems Education
Paper submission deadline: August 1st (midnight, Central European Time)
WESE web page: http://www.emsig.net/conf/2015/wese/
Venue: Part of the Embedded Systems Week in Amsterdam (http://www.esweek.org/...more |
Jul 8 2015 - 4:58pm |
9 years 20 weeks ago |
|
Calls for Papers |
CFP : HVC 2015 |
Eleventh Haifa Verification Conference 2015
http://www.research.ibm.com/haifa/conferences/hvc2015/index.shtml
November 17-19, 2015
Tutorials: November 16, 2015
Haifa, Israel
Organized by IBM Research - Haifa
HVC 2015 is the eleventh in the series of annual conferences dedicated to advancin...more |
Jul 8 2015 - 5:07pm |
9 years 20 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Resilience Week 2015: Early Registration Ends July 12 |
Resilience Week 2015 in Philadelphia, PA, August 18 - 20
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.
We are pleased to have the following r...more |
Jul 8 2015 - 5:01pm |
9 years 20 weeks ago |
