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
Submitted by Mark Yampolskiy on July 22nd, 2013
Submitted by Mark Yampolskiy on July 22nd, 2013
File
Y1 Report
Submitted by Mark Yampolskiy on July 22nd, 2013
The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info