Modeling

The formalization of system engineering models and approaches.
project

Visible to the public CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems

Submitted by Atul Prakash on Wed, 07/12/2017 - 7:30pm
Project Details
Institution(s): 
University of Michigan Ann Arbor
Sponsor Award URL: 
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1646392&HistoricalAwards=false
forum

Visible to the public Post-doc position: statistical verification of distributed programs

Submitted by Anonymous on Tue, 07/11/2017 - 4:25pm

Within the Inria project lab HAC SPECIS [1], we offer a post-doctoral position on statistical verification of distributed programs, integrated in the SimGrid platform [2].

Important dates:

* start of post-doctoral position: between November 1, 2017 and January 1, 2018 (somewhat flexible),
* duration: 18 months (somewhat flexible),
* deadline for application: September 30, 2017,

forum

Visible to the public Two Postdoc Positions in Model-driven Engineering of Embedded Systems at Lero

Submitted by Anonymous on Tue, 07/11/2017 - 4:03pm

We invite applications for the following two positions:

1 Postdoctoral Researcher in Model-driven Engineering of Embedded Systems
(Verification and Testing)

1 Postdoctoral Researcher in Model-driven Engineering of Embedded Systems
(Design Space Exploration)

Deadline: Friday, 28 July 2017 (12 noon, Irish time)
Salary Scale: EUR 38,750 - EUR 47,255 p.a.
More details at http://www.ul.ie/hrvacancies/
(search for keyword "model-driven")

forum

Visible to the public CfP: FolKS 2018

Submitted by Anonymous on Tue, 07/11/2017 - 2:54pm

CALL FOR PAPERS

10th Int'l. Symposium on Foundations of Information and Knowledge Systems

May 14-18, 2018 | Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

http://2018.foiks.org/

The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems.

event

Visible to the public  FolKS 2018
May 14, 2018 7:00 am - May 18, 2018 6:00 pm CEST

Submitted by Anonymous on Tue, 07/11/2017 - 2:53pm

10th Int'l. Symposium on Foundations of Information and Knowledge Systems

The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems.

event

Visible to the public  Intermediate CyberSTEM Camp (2017)
Jul 24, 2017 7:00 am - Jul 28, 2017 6:00 pm EDT

Submitted by Katie Dey on Thu, 06/22/2017 - 10:23am

Intermediate CyberSTEM Camp

Dates: July 25-29, 2016

event

Visible to the public  MeMo 2017
Sep 04, 2017 7:00 am - 6:30 pm CEST

Submitted by Anonymous on Tue, 06/20/2017 - 4:43pm

3rd International Workshop on Meta Models for Process Languages (MeMo) 2017

affiliated with CONCUR