Modeling

The formalization of system engineering models and approaches.
project

Visible to the public CPS: Medium: Collaborative Research: Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies

Submitted by nhovakim on Tue, 11/28/2017 - 5:23pm
Project Details
Institution(s): 
University of Illinois at Urbana-Champaign
Sponsor Award URL: 
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1739732
event

Visible to the public  CONCUR 2018
Sep 04, 2018 7:00 am - Sep 07, 2018 6:00 pm +07

Submitted by Anonymous on Tue, 11/21/2017 - 1:25pm

The 29th International Conference on Concurrency Theory (CONCUR 2018)

Beijing, China | September 4-7, 2018 | http://lcs.ios.ac.cn/concur2018/

forum

Visible to the public Funded PhD position for UK/EU students

Submitted by Anonymous on Mon, 11/20/2017 - 5:28pm

A fully funded PhD position:
Computer-aided methods for predictability of probabilistic discrete-time models with uncertainty
https://www.findaphd.com/search/ProjectDetails.aspx?PJID=89958

A fully funded 3-year PhD position is available at the Computer Science Department of the University of Liverpool, UK.
The Department is the world-leading research centre in Computer Science with a particular strength in theoretical
computer science and artificial intelligence. In particular it offers a strong research environment spanning a wide