I am happy to announce the appearance today of a special issue of the
Leibniz Transactions on Embedded Systems dedicated to distributed hybrid
systems and edited by Alessandro Abate, Martin Fränzle and myself:
https://ojs.dagstuhl.de/index.php/lites/issue/view/lites-v008-i002
Foreword abstract:
This special issue contains seven papers within the broad subject of
Distributed Hybrid Systems, that is, systems combining hybrid
discrete-continuous state spaces with elements of concurrency and logical or
spatial distribution. It follows up on several workshops on the same theme
which were held between 2017 and 2019 and organized by the editors of this
volume.
The first of these workshops was held in Aalborg, Denmark, in August 2017
and associated with the MFCS conference. It featured invited talks by
Alessandro Abate, Martin Fränzle, Kim G.~Larsen, Martin Raussen, and Rafael
Wisniewski. The second workshop was held in Palaiseau, France, in July 2018,
with invited talks by Luc Jaulin, Thao Dang, Lisbeth Fajstrup, Emmanuel
Ledinot, and André Platzer. The third workshop was held in Amsterdam, The
Netherlands, in August 2019, associated with the CONCUR conference. It
featured a special theme on distributed robotics and had invited talks by
Majid Zamani, Hervé de Forges, and Xavier Urbain.
The vision and purpose of the DHS workshops was to connect researchers
working in real-time systems, hybrid systems, control theory, formal
verification, distributed computing, and concurrency theory, in order to
advance the subject of distributed hybrid systems. Such systems are
abundant and often safety-critical, but ensuring their correct functioning
can in general be challenging. The investigation of their dynamics by
analysis tools from the aforementioned domains remains fragmentary,
providing the rationale behind the workshops: it was conceived that
convergence and interaction of theories, methods, and tools from these
different areas was needed in order to advance the subject.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
16th European Lisp Symposium
Call for Papers
April 24-25, 2023
Startup Village, Amsterdam, Nederlands
https://www.european-lisp-symposium.org/2023
Sponsored by EPITA and DIRO
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Important Dates
~~~~~~~~~~~~~~~
- Submission deadline: February 26, 2023
- Author notification: March 26, 2023
- Final papers due: April 9, 2023
- Symposium: April 24-25, 2023
Scope
~~~~~
The European Lisp Symposium is a premier forum for the discussion and
dissemination of all aspects of design, implementation and application
of any of the Lisp dialects, including Common Lisp, Scheme, Emacs
Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan, SKILL, Hy, Shen,
Carp, Janet, uLisp, Picolisp, Gamelisp, TXR, and so on. We encourage
everyone interested in Lisp to participate.
The European Lisp Symposium invites high quality papers about novel
research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
Topics include but are not limited to:
- context-, aspect-, domain-oriented and generative programming
- macro-, reflective-, meta- and/or rule-based development approaches
- language design and implementation
- language integration, inter-operation and deployment
- development methodologies, support and environments
- educational approaches and perspectives
- experience reports and case studies
Technical Program
~~~~~~~~~~~~~~~~~
We invite submissions in the following forms.
* Papers: technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
* Demonstrations: abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
* Tutorials: abstracts of up to 4 pages for in-depth presentations
about topics of special interest.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM Computing Classification System 2012 concepts and
terms. Submissions should be uploaded to Easy Chair, at the following
link http://www.easychair.org/conferences/?conf=els2023.
Note: to help us with the review process please indicate the type of
submission by entering either "paper", "demo", or "tutorial" in the
Keywords field.
Programme Chair
~~~~~~~~~~~~~~~
Stefan Monnier, DIRO, Université de Montréal Canada
Programme Committee
~~~~~~~~~~~~~~~~~~~
TBA
Local Chair
~~~~~~~~~~~
Breanndán Ó Nualláin, Machine Learning Programs, Nederlands
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info