Semantics

The processes a system follows when executing a program in a specific language.
event

Visible to the public  ICLP 2016
Oct 16, 2016 7:00 am - Oct 21, 2016 6:00 pm EDT

32nd International Conference on Logic Programming (ICLP 2016)

News:

The list of accepted papers is available online:
http://software.imdea.org/Conferences/ICLP2016/accepted.html

Invited talks:

event

Visible to the public  EXE 2016
Oct 02, 2016 7:00 am - Oct 07, 2016 6:00 pm CEST

2nd International Workshop on Executable Modeling (EXE 2016)

co-located with MODELS 2016

We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, in October, 2016.

group

Visible to the public Foundations Of Resilient CybEr-physical Systems (FORCES)

License: 
Creative Commons 2.5
The FORCES group

FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in the key areas of energy delivery, transportation, and energy management in buildings.