[Haskell] Reminder: Call for papers EOOLT 2016

[Henrik Nilsson]

Dear all,

EOOLT 2016, the 7th Workshop on Equation-Based Object-Oriented Modeling
Languages and Tools, may be of interest to people working on e.g.
functional reactive programming or more generally aspects of
embedded declarative domain-specific languages.

EOOLT 2016 is organised in cooperation with ACM SIGPPLAN and the
submission deadline is 25 January. The CFP is enclosed below and
full information is available here:

     http://www.eoolt.org/2016

All the best,

/Henrik

EOOLT 2016
April 18, Milano, Italy

7th International Workshop on Equation-Based
Object-Oriented Modeling Languages and Tools

Politecnico di Milano, Milano, Italy
Deadline for paper submission: January 25, 2016

GENERAL CHAIR
Francesco Casella
Politecnico di Milano (DEIB)
PROGRAM CHAIR
Dirk Zimmer
German Aerospace Center (DLR)

The EOOLT workshop addresses the current state of the
art of equation-based object-oriented (EOO) modeling
languages and tools.
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 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

-- 
Henrik Nilsson
School of Computer Science
The University of Nottingham
nhn at 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.