The processes a system follows when executing a program in a specific language.
Event
IEA/AIE 2019
32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
The 32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems will continue the tradition of emphasizing on applications of intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.
Event
ICGT 2019
12th International Conference on Graph Transformation (ICGT 2019)
Part of STAF 2019
Event
EXE 2016
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.
Event
VVCPS 2016
1st International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS)
co-located with iFM 2016
Event
FMTV’ 14
1st Formal Methods for Timing Verification Workshop
In conjunction with the 19th International Symposium on Formal Methods (FM 2014)
File
Y2 Report
![Mark Yampolskiy](/sites/cps-vo.org/files/profile_images/picture-977.jpg)
![Mark Yampolskiy](/sites/cps-vo.org/files/profile_images/picture-977.jpg)
File
Y1 Report
![Mark Yampolskiy](/sites/cps-vo.org/files/profile_images/picture-977.jpg)
The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info