Call for Papers and Other Contributions

[CFP PDF] [CFP text]

Important Dates

  • Abstract Submission deadline: 8 February
  • Other Contributions (such as tool demos): 8 February
  • Full Paper Submission deadline: 18 February
  • Author notification: 8 March
  • Camera-ready: 22 March
  • Workshop: 19 April

Scope

During the past decade, integrated model-based design of complex cyber- physical systems (which mix physical dynamics with software and networks) has gained significant attention. Hybrid modeling languages based on equations, supporting both continuous-time and event-based aspects (e.g. Modelica, SysML, VHDL-AMS, and Simulink/Simscape) enable high-level reuse and integrated modeling capabilities of both the physically surrounding system and software for embedded systems. The EOOLT workshop addresses the current state of the art of such equation-based object-oriented (EOO) modeling languages, as well as open issues that currently still limit 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. Specific topics of interest include (but are not limited to):
  • Acausality and its role in model reusability.
  • Component systems for EOO languages.
  • Discrete-event and hybrid modeling.
  • Embedded systems and efficient code generation.
  • Modeling language constructs in support of simulation, optimization diagnostics, and system identification.
  • EOO mathematical modeling vs. UML software modeling.
  • Integrated hardware and software modeling of cyber-physical systems.
  • Requirement to model traceability, translation, and integration.
  • Formal semantics of EOO related languages.
  • Multi-resolution and multi-scale modeling using EOO languages.
  • Model-driven development related to EOO languages.
  • Numerical coupling of EOO simulators and other simulation tools.
  • Parallel execution of EOO models.
  • Programming and modeling environments.
  • Real-time simulation using EOO languages.
  • Reflection and meta-programming.
  • Verification, type systems, and early static checking.
  • Relation to functional reactive programming (FRP) and synchronous languages.

Submission

Researchers and practitioners are invited to submit full-length papers (up to 10 pages, EOOLT style, written in English) for consideration by the program committee. Papers must be original, and not submitted for simultaneous publication in any other forum. EOOLT welcomes original research contributions as well as contributions with a focus on practice, such as experience reports and comparisons of existing languages and tools. Each contributions will be judged according to criteria appropriate for its kind.

Templates and author guidelines are available both for the LaTeX and the Microsoft Word/LibreOffice environment.

Papers should be submitted as PDF-files in A4 format, using the Easy Chair conference management system.

Publication

Accepted papers will be published electronically by Linköping University Electronic Press. Each author/coauthor needs to sign and fax an agreement to allow Linköping University Electronic Press to publish your paper. All authors retain copyright of their work. Authors of accepted papers should present their paper at the workshop. See below for details on submitting the camera ready version.

Other Contributions

To allow for a more dynamic workshop format, the EOOLT PC will, subject to space in the program, consider proposals for other kinds of program points, such as tool demonstrations or discussion sessions on some timely topics in the scope of EOOLT. Such proposals will be judged by the PC as a whole on the grounds of how much interest they add to the workshop, and they should thus not be confused with formally peer-reviewed contributions. That said, if considered appropriate and useful, the PC may invite a short (1–2 pages) written outline for inclusion in the workshop proceedings (clearly labelled to distinguish it from regular papers).

Simply send a brief e-mail to the conference Chair outlining your idea, by the same deadline as for the abstract submission (see above).

Camera-Ready Version

The camera-ready version of papers and abstracts should be uploaded using the Easy Chair conference management system. The deadline is

22 March
This is a strict deadline as the publication timeline is very tight.

Please ensure your camera ready version adheres strictly to the EOOLT formatting guidelines, and please also take the following points into account:

  • Please update the copyright notice in your paper to include the correct URL to the on-line version of the proceedings:
    http://www.ep.liu.se/ecp_home/index.en.aspx?issue=084
    If you are using the EOOLT LaTeX template to prepare your paper, simply download and use the latest version (ver. 2) here.
  • If you are making a contribution such as a tool demonstration and you have been invited to submit a short abstract for the proceedings, please be sure that that the title of the abstract explicitly makes it clear it is such an abstract. For a tool demonstration abstract, the title should start with “Tool Demonstration Abstract:”. For other kinds of abstract, adapt the title accordingly.

Each author/coauthor needs to sign and fax an agreement to allow Linköping University Electronic Press to publish your paper or abstract. All authors retain copyright of their work.

Print, sign, and fax this PDF file to +46 13 28 4424, attention Peter Berkesand no later than 22 March 2013. Alternatively, scan the signed agreement, save the result as a PDF, and e-mail it to peter.berkesand@liu.se. Should you need to contact Peter Berkesand, e-mail him or call him at +46 13 28 29 45.

The full publication conditions can be found at the LiU Electronic Press website here.