Skip to content

Commit b13720d

Browse files
sampsyosampsyo
committed
Announce
1 parent 6029f50 commit b13720d

File tree

2 files changed

+257
-0
lines changed

2 files changed

+257
-0
lines changed

‎_announce/2025-06-05-erlang_2025.txt‎

Lines changed: 164 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,164 @@
1+
---
2+
title: "Erlang Workshop 2025 - Call for Papers - EXTENSION (13 June 2025)"
3+
timestamp: "6/5/2025 7:49:58"
4+
deadline: "6/13/2025"
5+
---
6+
24th Edition of the Erlang Workshop
7+
Sunday 12th of October 2025, Singapore
8+
A satellite workshop of ICFP 2025
9+
10+
https://conf.researchr.org/home/icfp-splash-2025/erlang-2025
11+
12+
** Abstract Registration Deadline: 6 June 2025 **
13+
14+
** Submission Deadline: 13 June 2025 **
15+
16+
17+
The Erlang Workshop aims to bring together the open source, academic,
18+
and industrial communities of Erlang-like languages (e.g., Elixir, Gleam, Erlang, Akka, Clojure),
19+
including the concurrent, distributed systems, and fault-tolerant communities.
20+
21+
The workshop will enable participants to familiarize themselves with
22+
recent developments on new techniques and tools, novel applications,
23+
draw lessons from users' experiences and identify research problems
24+
and common areas relevant to the practice of Erlang, Erlang-like
25+
languages, functional programming, distribution, concurrency etc.
26+
27+
## Topics
28+
29+
This year we invite three types of submissions:
30+
31+
* Technical papers describing language extensions, critical
32+
discussions of the status quo, formal semantics of language
33+
constructs, program analysis and transformation, virtual machine
34+
extensions and compilation techniques, implementations and
35+
interfaces of Erlang in/with other languages, and new tools
36+
(profilers, tracers, debuggers, testing frameworks, etc.).
37+
Submission related to Erlang, Elixir, Lisp Flavored Erlang, and
38+
topics in functional, concurrent, and distributed programming
39+
are welcome and encouraged. The maximum length for technical papers is
40+
restricted to 12 pages, but short papers (max. 6 pages) are also
41+
welcome.
42+
43+
* Practice and application papers describing uses of Erlang and
44+
related languages in the “real-world”, libraries for specific tasks,
45+
experiences from using Erlang in specific application domains,
46+
reusable programming idioms and elegant new ways of using Erlang to
47+
approach or solve particular problems, etc. The maximum length for
48+
the practice and application papers is restricted to 12 pages, but
49+
short papers (max. 6 pages) are also welcome.
50+
51+
* Lightning talks describing topics related to the workshop goals that
52+
allow participants to present and demonstrate projects and
53+
preliminary work in academia and industry. Presentations in this
54+
category will be given at most an hour of shared simultaneous
55+
presentation time, will not be part of the peer review process and
56+
will not be part of the formal proceedings. Notification of
57+
acceptance will be continuous.
58+
59+
## Important dates
60+
61+
| Abstract Registration deadline | 6 June 2025 |
62+
| Submission deadline | 13 June 2025 |
63+
| --- | --- |
64+
| Notification | 04 July 2025 |
65+
| Workshop | 12 Oct 2025 |
66+
67+
Deadlines are anywhere on Earth.
68+
69+
70+
## Workshop Co-Chairs
71+
72+
* Kiko Fernandez-Reyes, Ericsson, Sweden
73+
* Laura Voinea, University of Glasgow, UK
74+
* Akos Hajdu, Meta, UK
75+
76+
77+
## Program Committee
78+
79+
(Note: the Workshop Co-Chairs are also committee members)
80+
81+
* Cons Ahs (Meta, Sweden)
82+
* Stavros Aronis (Erlang Solutions, Sweden)
83+
* Giuseppe Castagna (CNRS; Université Paris Cité, France)
84+
* Viktória Fördős (Cisco Systems, Sweden)
85+
* Paul Harvey (University of Glasgow, UK)
86+
* Dániel Horpácsi (Eötvös Loránd University, Hungary)
87+
* Isabell Huang (Ericsson, Sweden)
88+
* Kenji Rikitake (Kenji Rikitake Professional Engineer's Office, Japan)
89+
* Sanne Kalkman (CodeSandbox | TogetherAI, Netherlands)
90+
* Csaba Hoch (Cursor Insight, Hungary)
91+
92+
93+
## Instructions to authors
94+
95+
### Submission
96+
97+
Submissions must adhere to SIGPLAN’s republication policy
98+
(http://sigplan.org/Resources/Policies/Republication/), and authors
99+
should be aware of ACM’s policies on plagiarism
100+
(https://www.acm.org/publications/policies/plagiarism). Program
101+
Committee members are allowed to submit papers, but their papers will
102+
be held to a higher standard.
103+
104+
Papers must be submitted online via HotCRP at:
105+
106+
https://erlang2025.hotcrp.com
107+
108+
Lightning talks can be submitted to the workshop's co-chairs via e-mail.
109+
110+
### Formatting
111+
112+
Submitted papers should be in portable document format (PDF),
113+
formatted using the ACM SIGPLAN style guidelines. Authors should use
114+
the `acmart` format, with the `sigplan` sub-format for ACM
115+
proceedings. For details, see:
116+
117+
http://www.sigplan.org/Resources/Author/#acmart-format
118+
119+
It is recommended to use the `review` option when submitting a paper;
120+
this option enables line numbers for easy reference in reviews.
121+
122+
### Supplementary material
123+
124+
Authors have the option to attach supplementary material to a
125+
submission, on the understanding that reviewers may choose not to look
126+
at it. This supplementary material should not be submitted as part of
127+
the main document; instead, it should be uploaded as a separate PDF
128+
document or tarball.
129+
130+
Supplementary material should be uploaded at submission time, not by
131+
providing a URL in the paper that points to an external repository.
132+
133+
### Artifacts
134+
135+
Authors of accepted papers are encouraged to make auxiliary material
136+
(artifacts like source code, test data, etc.) available with their
137+
paper. They can opt to have these artifacts published alongside their
138+
paper in the ACM Digital Library (copyright of artifacts remains with
139+
the authors).
140+
141+
If an accepted paper’s artifacts are made permanently available for
142+
retrieval in a publicly accessible archival repository like the ACM
143+
Digital Library, that paper qualifies for an Artifacts Available badge
144+
(https://www.acm.org/publications/policies/artifact-review-badging#available).
145+
Applications for such a badge can be made after paper acceptance and
146+
will be reviewed by the PC co-chairs.
147+
148+
## Proceedings
149+
150+
As with previous years, the accepted workshop papers will be published
151+
by the ACM and will appear in the ACM Digital Library.
152+
153+
154+
AUTHORS TAKE NOTE:
155+
The official publication date is the date the proceedings are made available in the ACM Digital Library.
156+
This date may be up to two weeks prior to the first day of your conference. The official publication date affects the
157+
deadline for any patent filings related to published work.
158+
159+
For more information, please see ACM Copyright Policy
160+
(http://www.acm.org/publications/policies/copyright-policy) and ACM
161+
Author Rights (http://authors.acm.org/main.html).
162+
163+
Accepted lightning talks will be posted on the workshop's website but
164+
not formally published in the proceedings.

‎_announce/2025-06-05-from_2025.txt‎

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
---
2+
title: "Call for papers, FROM 2025 - 9th Working Formal Methods Symposium "
3+
timestamp: "6/5/2025 13:49:05"
4+
deadline: "6/22/2025"
5+
---
6+
FROM 2025 - 9th Working Formal Methods Symposium
7+
September 17-19, 2025, Iași, România
8+
9+
The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners working on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions. The program includes invited lectures and regular contributions.
10+
11+
Invited Speakers
12+
13+
Georgiana Caltais, University of Twente
14+
Jérôme Leroux, Laboratoire Bordelais de Recherche en Informatique (LaBRI)
15+
Rupak Majumdar, Max Planck Institute for Software Systems and Automated Reasoning Group, Amazon Web Services
16+
17+
Organizers:
18+
19+
Verimag, CNRS, University of Grenoble Alpes
20+
Faculty of Computer Science, Alexandru Ioan Cuza University of Iași
21+
22+
Important Dates
23+
24+
Paper/abstract submission deadline: June 22, 2025 (extended)
25+
Author notification: July 22, 2025
26+
Revised paper/abstract submission deadline: August 29, 2025
27+
Registration deadline: September 2, 2025
28+
Symposium dates: September 17-19, 2025
29+
30+
Submissions
31+
32+
Papers of up to 16 pages prepared according to the EPTCS template (https://style.eptcs.org/) must be submitted electronically using the EasyChair submission system (https://easychair.org/conferences?conf=from2025). Research papers must contain original research results not submitted or published elsewhere. Selected papers will be invited to submit an extended version to the Journal of Logical and Algebraic Methods in Programming (https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming), subject to formal approval by Elsevier.
33+
34+
Authors wishing to present work in progress or survey previous research are invited to submit an extended abstract (up to 8 pages). Papers will be reviewed and selected based on scientific merit and relevance.
35+
36+
Topics of Interest
37+
38+
Areas and Formalisms
39+
40+
Category theory in computer science
41+
Distributed systems and concurrency
42+
Formal languages and automata theory
43+
Formal modeling, verification, and testing
44+
Logic in computer science
45+
Mathematical structures in computer science
46+
Semantics of programming languages
47+
Type systems
48+
49+
Methods
50+
51+
Automated reasoning and model generation
52+
Certified programs
53+
Deductive verification
54+
Model checking
55+
Proof mining
56+
Symbolic computation
57+
Term rewriting
58+
Formal Methods in ML/LLMs/AI
59+
60+
Applications
61+
62+
Computational logic
63+
Computer mathematics
64+
Program analysis
65+
Software and hardware verification
66+
67+
Programme Committee
68+
69+
Bogdan Aman - Alexandru Ioan Cuza University of Iași
70+
Andrei Arusoaie - Alexandru Ioan Cuza University of Iași
71+
Ștefan Ciobâcă - Alexandru Ioan Cuza University of Iași
72+
Mădălina Erașcu - West University of Timișoara
73+
Pierre Ganty - IMDEA Software, Madrid
74+
Peter Habermehl - IRIF, University Paris Cité
75+
Dániel Horpácsi - Eötvös Loránd University, Budapest
76+
Radu Iosif - Verimag, CNRS, University of Grenoble Alpes (chair)
77+
Laurențiu Leuștean - Faculty of Mathematics and Computer Science, University of Bucharest
78+
Dorel Lucanu - Alexandru Ioan Cuza University of Iași
79+
Mircea Marin - West University of Timișoara
80+
David Nowak - CRIStAL, CNRS & University of Lille, France
81+
Vlad Rusu - INRIA Lille Nord Europe, France
82+
Arnaud Sangnier - IRIF, Univ Paris Diderot, CNRS, France
83+
Mihaela Sighireanu - LMF, ENS Paris Saclay
84+
Andrei Sipoș - University of Bucharest
85+
Viorica Sofronie-Stokkermans - University of Koblenz
86+
Alicia Villanueva - VRAIN - Universitat Politècnica de València
87+
Tomáš Vojnar - Masaryk University and Brno University of Technology
88+
Florian Zuleger - Technische Universität Wien
89+
90+
Further Information
91+
92+
More details available at: https://fromsymposium.github.io/
93+

0 commit comments

Comments
 (0)