The formalization of system engineering models and approaches.

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

11th Conference on Decision and Game Theory for Security (GameSec 2020)

Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.


Visible to the public IEEE SMARTCOMP 2021: Call for Participation

                   IEEE SMARTCOMP 2021 .::. Call for Participation .::.
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.

Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.


Visible to the public 2 Postdoc positions in Safe Autonomous Systems at University of Pennsylvania

Starting: September 1, 2021

  1. AI Co-Designer for Model-based Design of Cyber-Physical Systems
  2. Learning with Improvisation for Multi-agent Autonomous Systems

The xLAB at the University of Pennsylvania is looking for motivated Postdoc researchers in the area of “Design of Safe Autonomous Systems” starting September 1, 2021. We are looking for proactive individuals to join our Autonomous Systems lab, bringing their excitement for scientific research in formal methods, control systems, optimization, machine learning and robotics with them.


Visible to the public  JCST CFP: Special Section on Software Systems 2021


Journal of Computer Science and Technology: Special Section on Software Systems 2021