Announcement

page

Visible to the public HCSS 2020 Call for Presentations

The Twentieth Annual

High Confidence Software and Systems (HCSS) Conference

CALL FOR PRESENTATIONS AND POSTERS

forum

Visible to the public Call for Papers (EXTENDED DEADLINE): 23rd (ISORC) IEEE International Symposium on Real-Time Distributed Computing 2020

Call for Papers

IEEE ISORC 2020

The 23rd IEEE International Symposium on Real-Time Distributed Computing

Nashville, Tennessee, USA, May 19-21, 2020

https://isorc.github.io/2020/

Dear researcher/colleague,

forum

Visible to the public Position Announcement: Robotics Positions in CS at UNL

Position Announcement

Robotics Positions in CS at UNL

The University of Nebraska-Lincoln is hiring multiple positions at all ranks in areas related to robotics and CPS. The department of Computer Science and Engineering (CSE) at the University of Nebraska-Lincoln is being transformed into a School of Computing. As part of this growth, robotics has been identified as a key growth area. Currently there are two general positions advertised, but we expect to be able to hire additional candidates:

forum

Visible to the public Call for Papers: CREST 2020

Call for Papers

5th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2020)

Dublin, Ireland, 25 April 2020

A satellite event of ETAPS 2020

https://sites.google.com/view/crest2020

forum

Visible to the public Call for Posters and Demos: EWSN 2020

Call for Posters and Demos

International Conference on Embedded Wireless Systems and Networks (EWSN 2020)

February 17-19, 2020

Lyon, France

http://ewsn2020.conf.citi-lab.fr/

forum

Visible to the public First Call for Papers: International Conference on Real-Time Networks and Systems (RTNS 2020)

Call for Papers

International Conference on Real-Time Networks and Systems (RTNS 2020)

June 2020

What is New

The RTNS Steering Committee has decided to make some changes in the conference organization.

  • RTNS is moving from Autumn to Spring. Therefore RTNS 2020 will take place in June 2020 with a submission deadline of 18th December 2019.

forum

Visible to the public Call for Papers: IEEE Design & Test Special Issue on Education for Cyber-Physical Systems

Call for Papers

forum

Visible to the public Position Announcement: Multiple Tenure-Track Faculty Openings at Max Planck Institutes

Position Announcement

Multiple Tenure-Track Faculty Openings at Max Planck Institutes

https://www.cis.mpg.de/tenure-track-openings-at-max-planck-institutes-in-computer-science/

The Max Planck Society is looking to fill multiple faculty positions at the Max Planck Institutes for Informatics (Saarbrucken), Software Systems (Saarbrucken and Kaiserslautern), and Security and Privacy (Bochum) and invites applications for tenure-track faculty in all areas of computer science, including CPS and embedded systems.

forum

Visible to the public Call for Papers: 8th International Conference on Cyber-Physical Systems and Internet-of-Things (CPS & IoT'2020)

COVID-19 UPDATE

Given the situation, we are actively considering several options including event postponement and virtual presentations with the IEEE and the ACM. We will update the event website to keep you informed.

Call for Papers

CPS & IoT'2020

8th International Conference on Cyber-Physical Systems and Internet-of-Things

Budva, Montenegro

June 8-11, 2020

forum

Visible to the public Position Announcement: Postdoctor in Formal Methods

Position Announcement

Postdoctor in Formal Methods

Postdoc position is available to work on the ERC Consolidator funded project "dSynMA: Distributed Synthesis from Single to Multiple Agents".

https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5061