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.
Submitted by Anonymous on February 7th, 2019
Event
ICGT 2019
12th International Conference on Graph Transformation (ICGT 2019) Part of STAF 2019 
Submitted by Anonymous on January 30th, 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.
Submitted by Anonymous on May 18th, 2016
Event
ICTAC 2016
CALL FOR PAPERS
Submitted by Anonymous on January 28th, 2016
Event
VVCPS 2016
1st International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS) co-located with iFM 2016
Submitted by Anonymous on January 22nd, 2016
Event
FMTV’ 14
1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)
Submitted by Anonymous on January 31st, 2014
File
Y2 Report
Mark Yampolskiy Submitted by Mark Yampolskiy on July 22nd, 2013
Mark Yampolskiy Submitted by Mark Yampolskiy on July 22nd, 2013
File
Y1 Report
Mark Yampolskiy 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
Submitted by Anonymous on April 19th, 2013
Subscribe to Semantics