Real-time Systems

Systems able to process data as it comes in, typically without buffering delays.
event

Visible to the public  TASE 2015
Sep 12, 2015 8:00 am - Sep 14, 2015 5:45 pm CST

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

event

Visible to the public  QAPL 2015
Apr 11, 2015 8:00 am - Apr 12, 2015 5:30 pm EDT

Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems

at ETAPS 2015

forum

Visible to the public Extended Deadline QAPL 2015

SECOND CALL FOR PAPERS - Extended Deadline 13th Workshop on Quantitative
Aspects of Programming Languages and Systems (QAPL 2015)

Affiliated with ETAPS 2015 April 11 - 12, 2015, London, United Kingdom

http://qapl15.inria.fr

SCOPE:

forum

Visible to the public 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

forum

Visible to the public Post-doctoral research position in Real-Time Systems @ University of Pennsylvania

The Real-Time Systems Group (http://rtg.cis.upenn.edu) in the PRECISE Center (http://precise.seas.upenn.edu) at the University of Pennsylvania (http://www.upenn.edu) has an opening for a post-doctoral researcher in the field of real-time systems, cyber-physical systems and real-time virtualization. The group is conducting research in the areas of compositional real-time scheduling, real-time virtual machine implementation, and human-in-the-loop cyber-physical systems that provide system-level guarantees in terms of timing, safety, and control performance.

forum

Visible to the public 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

Keynote for OpenModelica'2015 workshop:

event

Visible to the public  ETAPS 2015
Apr 11, 2015 8:00 am - Apr 18, 2015 5:45 pm BST

The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus.

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

forum

Visible to the public Postdoctoral position in Mixed-Criticality Cyber-Physical Systems in NTU, Singapore

Position type: Postdoc (Research Fellow) for 2 years.

Salary range: Between S$4000 and S$5000 monthly depending on background and experience.

Expected qualifications: PhD in Computer Science, Computer Engineering or related field. Research experience and interest in design and analysis of real-time scheduling algorithms is highly recommended.

event

Visible to the public  NSV 2015
Apr 13, 2015 8:00 am - Apr 13, 2015 5:00 pm PDT

The 8th International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA

Web Page: http://nsv2015.informatik.uni-freiburg.de/

Scope