Dear Haskellers,
The included call for papers to the 5th international workshop
on Equation-based Object-Oriented Languages and Tools (EOOLT) 2013
may be of interest to those interested in declarative domain-specific
languages in the context of Haskell.
Note that the deadlines have been extended:
* Abstracts: 8 February
* Full papers: 18 February
Apologies for multiple copies!
All the best,
/Henrik
--
Henrik Nilsson
School of Computer Science
The University of Nottingham
n...@cs.nott.ac.uk
This message and any attachment are intended solely for the addressee and may
contain confidential information. If you have received this message in error,
please send it back to me, and immediately delete it. Please do not use, copy
or disclose the information contained in this message or in any attachment.
Any views or opinions expressed by the author of this email do not necessarily
reflect the views of the University of Nottingham.
This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
 EOOLT 2013
5th International Workshop on
Equation-Based Object-Oriented Modeling Languages and Tools
Nottingham, UK, 19 April, 2013
*** Extended submission deadlines: ***
*** Abstracts: 8 February, 2013 ***
*** Full papers: 18 February, 2013 ***
CALL FOR PAPERS
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):
o Acausality and its role in model reusability.
o Component systems for EOO languages.
o Discrete-event and hybrid modeling.
o Embedded systems and efficient code generation.
o Modeling language constructs in support of simulation, optimization,
diagnostics, and system identification.
o EOO mathematical modeling vs. UML software modeling.
o Integrated hardware and software modeling of cyber-physical systems.
o Requirement to model traceability, translation, and integration.
o Formal semantics of EOO related languages.
o Multi-resolution and multi-scale modeling using EOO languages.
o Model-driven development related to EOO languages.
o Numerical coupling of EOO simulators and other simulation tools.
o Parallel execution of EOO models.
o Programming and modeling environments.
o Real-time simulation using EOO languages.
o Reflection and meta-programming.
o Verification, type systems, and early static checking.
o 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. For submission details,
see the EOOLT 2013 website (link below).
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 labeled
to distinguish it from regular papers). For further details, see the EOOLT
2013 website (link below).
IMPORTANT DATES: SUBMISSION DEADLINE EXTENDED
Abstract Submission Deadline: 8 February
Full Paper Submission Deadline: 18 February
Author Notification: 8 March
Camera Ready: 22 March
Workshop: 19 April
PUBLICATION
Accepted papers will be published electronically by Linköping University
Electronic Press. Authors of accepted papers should present their paper
at the workshop.
WORKSHOP ORGANISATION
Chair:
Henrik Nilsson, University of Nottingham
Program Committee:
Bernhard Bachmann, University of Applied Sciences, Bielefeld
Bert van Beek, Eindhoven University of Technology
David Broman, U.C. Berkeley and Linköping University
Francesco Casella, Politecnico di Milano
François Cellier, ETH Zürich
Olaf Enge-Rosenblatt, Fraunhofer Institute, Dresden
Peter Fritzson, Linköping University
Michaela Huhn, Clausthal University of Technology
Edward A. Lee, U.C. Berkeley
Pieter Mosterman, MathWorks
Ramine Nikoukhah, INRIA Rocquencourt and Altair
Chris Paredis, Georgia Institute of Technology
Peter Pepper, TU Berlin
Walid Taha, Halmstad University and Rice University
Alfonso UrquÃa, UNED, Madrid
Hans Vangheluwe, McGill University and University of Antwerp
Justyna Zander, MathWorks and Gdansk University of Technology
Dirk Zimmer, DLR Oberpfaffenhofen
Steering Committee:
David Broman, U.C. Berkeley and Linköping University
François E. Cellier, ETH Zürich
Peter Fritzson, Linköping University
Edward A. Lee, U.C. Berkeley
Local Organisation:
John Capper, University of Nottingham
Henrik Nilsson, University of Nottingham
For further details, including on submission, see the EOOLT 2013 website:
www.eoolt.org/2013
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
