• home
  • main
  • call for papers
  • organization
  • PC
  • attending
  • final program

    • News

    October 29
    Final Program is now available here.

    October 8
    Registration is now open! Find out more about     attending the workshop.

    October 1
    Preliminary program of the workshop can be found here.

    September 5
    The "in-cooperation status" with SIGPLAN is approved now. Please use for camera-ready version of your submission one of the following templates: Word users, Latex users These are the same templates mentioned earlier on the EOOLT 2019 web page. For more information about templates, see ACM SigConf Templates. For information about ACM Author rights Policies, please see ACM instructions for authors.

    August 5
    Please note that the submission deadline was extended by three weeks!
    The new deadline is August 26.

    July 11
    EOOLT 2019 has now the official "in-cooperation status" of ACM. All accepted papers will be published in the Scopus-indexed ACM Digital Library.

    The presently valid ACM SigConf Templates will be provided soon on this wegpage. Meanwhile you can use ACM SigConf Templates for your submission.

    June 26
    EOOLT 2019 is initialized at EasyChair Conference Tool.

    June 14
    We plan to published all accepted papers in the Scopus-indexed ACM Digital Library.

    An application for organising EOOLT 2019 in cooperation with ACM SIGPLAN was sent to ACM.

    June 6
    Venue, Social Program, and Hotel information is available.

    March 8
    Poster for advertisement and submission information is available.

    February 21
    The next EOOLT workshop will take place in Berlin, Germany, on November 5.

    EOOLT 2019, Berlin, Germany

    Many engineers rely heavily on model-based design and control of complex cyber-physical systems. Of paramount importance is the ability to capture all central aspects of such systems in the models, including the physical behavior of the system components and the architecture description of its software and hardware. This calls for a special class of modelling languages: hybrid modeling languages based on equations that support both continuous-time and event-based aspects. Modelica, SysML, VHDL-AMS and Simulink/Simscape are prominent examples. Using such a language offers a number of advantages: models can be reused, integration can be tested in an early design phase, and simulation code can be generated for a number of different platforms.

    TU Berlin

    The EOOLT workshop addresses the current state of the art of equation-based object-oriented (EOO) modeling languages and explores topics that aim to overcome limits of their expressiveness, correctness, and usefulness. Moreover, integration of and comparison with related approaches and languages, such as actor-oriented, synchronous, and domain specific languages, are of particular interest.

    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 papers are welcome, offering an opportunity to discuss current approaches within the community.

    Typical subjects 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