[TYPES/announce] Erlang 2024 - Call for Papers

2024-03-25 Thread Kiko Fernandez-reyes A
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

# Erlang 2024 - Call for Papers

23rd Edition of the Erlang Workshop
Monday 2nd September 2024, Milan, Italy
A satellite workshop of ICFP 2024

https://urldefense.com/v3/__https://icfp24.sigplan.org/home/erlang-2024__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTmJdyfLi8$
 

  ** Deadline: Thursday 30 May **


The Erlang Workshop aims to bring together the open source, academic,
and industrial communities of Erlang, other BEAM-related languages,
actor model programming, distribution, and concurrency
to discuss techniques, technologies, languages and other relevant
topics.  The Erlang model of concurrent programming has been widely
emulated, for example by Akka in Scala. Moreover, several newer
programming languages, such as Elixir, have been designed atop
Erlang's VM.  The workshop is welcoming contributions related to any
and all systems like those mentioned above.

The workshop aims to enable participants to learn about recent
developments on techniques and tools, novel applications, draw lessons
from users’ experiences and identify research problems and common
areas relevant to the practice of Erlang and other Erlang-like
languages, functional programming, distribution, concurrency, etc.

## Topics

This year we invite three types of submissions:

* Technical papers describing language extensions, critical
  discussions of the status quo, formal semantics of language
  constructs, program analysis and transformation, virtual machine
  extensions and compilation techniques, implementations and
  interfaces of Erlang in/with other languages, and new tools
  (profilers, tracers, debuggers, testing frameworks, etc.).
  Submission related to Erlang, Elixir, Lisp Flavored Erlang, and
  topics in functional, concurrent, and distributed programming
  are welcome and encouraged. The maximum length for technical papers is
  restricted to 12 pages, but short papers (max. 6 pages) are also
  welcome.

* Practice and application papers describing uses of Erlang and
  related languages in the “real-world”, libraries for specific tasks,
  experiences from using Erlang in specific application domains,
  reusable programming idioms and elegant new ways of using Erlang to
  approach or solve particular problems, etc.  The maximum length for
  the practice and application papers is restricted to 12 pages, but
  short papers (max. 6 pages) are also welcome.

* Lightning talks describing topics related to the workshop goals that
  allow participants to present and demonstrate projects and
  preliminary work in academia and industry.  Presentations in this
  category will be given at most an hour of shared simultaneous
  presentation time, will not be part of the peer review process and
  will not be part of the formal proceedings.  Notification of
  acceptance will be continuous.

## Important dates

| Submission deadline   | 30 May 2024 |
| --- | --- |
| Notification  | 27 Jun 2024 |
| Workshop  |  2 Sep 2024 |

Deadlines are anywhere on Earth.


## Workshop Co-Chairs

* Kiko Fernandez-Reyes, Ericsson, Sweden
* Laura Voinea, University of Glasgow, UK


## Program Committee

(Note: the Workshop Co-Chairs are also committee members)

Program Committee
* Duncan Paul Attard (University of Glasgow)
* Annette Bieniusa (University of Kaiserslautern-Landau, Germany
* Laura Bocchi (University of Kent)
* Lars-Ake Fredlund (Universidad Politécnica de Madrid, Spain)
* Luca Padovani (University of Camerino, Italy)
* Marjan Sirjani (Malardalen University, Sweden)
* Brooklyn Zelenka
* TBA


## Instructions to authors

### Submission

Submissions must adhere to SIGPLAN’s republication policy
(https://urldefense.com/v3/__http://sigplan.org/Resources/Policies/Republication/__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTmcdLF5Wo$
 ), and authors
should be aware of ACM’s policies on plagiarism
(https://urldefense.com/v3/__https://www.acm.org/publications/policies/plagiarism__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTm0k--YWU$
 ).  Program
Committee members are allowed to submit papers, but their papers will
be held to a higher standard.

Papers must be submitted online via HotCRP at:

https://urldefense.com/v3/__https://erlang2024.hotcrp.com__;!!IBzWLUs!X-QmwynnLTuXJ2A82dXkhfVaGaPP8fwEbFJvNtUHedapSDKupkftmDOK1WViQAwi43tV5pIm-8VcHrS4HNBL_MRndYExV3wbYyTmvLqyEM0$
 

Lightning talks can be submitted to the workshop's co-chairs via e-mail.

### Formatting

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines.  Authors should use
the `acmart` format, with the `sigplan` sub-format for ACM
proceedings.  For details, see:


[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems

2024-03-25 Thread Hazem Torfah
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University 
is looking for candidates interested in conducting independent research in the 
area of formal analysis of autonomous cyber-physical systems (ACPS). The 
candidate will work on developing a new generation of design and verification 
techniques, rooted in formal methods, to enable and support the development of 
assured ACPS. Topics of interest are (but are not limited to): compositional 
contract-based design, specification formalism for expressing properties of 
ACPS, statistical verification, and runtime verification under uncertainty.

This position is funded by the Wallenberg AI, Autonomous Systems, and Software 
Program (WASP 
https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jnbinv8vw$
 ). WASP is Sweden’s largest individual research program and provides unique 
opportunities for achieving international research excellence with industrial 
relevance.

More information can be found under the following link: 
https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=11984=UK__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jmmntkfew$
 


--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6476
412 96 Gothenburg, Sweden
haze...@chalmers.se




[TYPES/announce] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)

2024-03-25 Thread Benoit Montagu

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear all,

We are looking for motivated people to be members of the ICFP 2024
Artifact Evaluation Committee (AEC). Students, researchers and people
from the industry or the free software community are all welcome. The
artifact evaluation process aims to improve the quality and
reproducibility of research artifacts for ICFP papers. In case you
want to nominate someone else (students, colleagues, etc.), please
send them the nomination form.

Nomination form:
  https://urldefense.com/v3/__https://forms.gle/KJAjtDzhm5VLxjVf9__;!!IBzWLUs!TKslQcJXjCw2zy6eerFZjcjXFPon_5_Hd12XapHDKWx-Agx1ExiqHfEPXBzv21ogDB0tzQ_BgB_P0XfiVwx1V8VGRWvwPrqCFFNQg-U-$ 


Deadline for nominations:
  Mon April 8th 2024

For more information, see the AEC webpage:
  https://urldefense.com/v3/__https://icfp24.sigplan.org/track/icfp-2024-artifact-evaluation__;!!IBzWLUs!TKslQcJXjCw2zy6eerFZjcjXFPon_5_Hd12XapHDKWx-Agx1ExiqHfEPXBzv21ogDB0tzQ_BgB_P0XfiVwx1V8VGRWvwPrqCFAsslIrh$ 


The primary responsibility of committee members is to review the
artifacts submitted corresponding to the already conditionally
accepted papers in the main research track. In particular, run the
associated tool or benchmark, check whether the results in the paper
can be reproduced, and inspect the tool and the data.

We expect evaluation of one artifact to take about a full day. Each
committee member will receive 2 to 3 artifacts to review.

All of the AEC work will be done remotely/online. The AEC will work in
June, with the review work happening between June 5th and July 5th.

Come join us in improving the quality of research in our field!

Best,
the Artifact Evaluation chairs: Quentin Stiévenart and Benoît Montagu