8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
Announcement of EOOLT 2017 Workshop
What |
|
---|---|
When |
Dec 01, 2017
from 09:00 AM to 06:30 PM |
Where | DLR, Munich, Germany |
Contact Name | Dirk Zimmer |
Contact Phone | 0049 8153 28 13 55 |
Add event to calendar |
![]() ![]() |
EOOLT 2017
The 8th international Workshop on equation-based, object-oriented languages and tools will take place on December 1, 2017 in Munich, Germany
The workshop is organized in cooperation with ACM SIGPLAN. The proceedings will be published on the ACM International Conference Proceedings Series, which is indexed by Scopus.
For more information, visit http://eoolt.org/2017/
Important dates
- Submission deadline: September 1
- Author notification: October 9
- Camera-ready: November 3
- Evening welcome reception: November 30
- Workshop: December 1
Scope
Contributions to this workshop focus on methodological aspects and describe new solutions for the design and use of equation-based languages. In addition to full contributions, shorter work-in-progress paper are welcome, offering an opportunity to discuss current approaches within the community.
Typical themes of the EOOLT workshop range from language design via modeling aspects to simulation code:
- Design aspects of equation-based languages and their formal semantics
- Relation to other languages such as functional reactive programming (FRP) or synchronous languages
- Verification, type systems, and early static checking
- Discrete-event and hybrid system modeling
- Acausality/non-causality and its role in model reusability
- Multi-resolution / multi-scale modeling using EOO languages
- Model-driven development related to EOO languages
- Equation-based modeling in the frame of system engineering
- Reflection and meta-programming
- Environments for modeling, simulation and debugging
- Mathematical formalisms for simulation semantics
- Code generation for real-time systems, embedded system, multi-core platforms, and distributed systems
- Tools for analyzing or optimizing equation-based models