Logic List Mailing Archive
CfP: ECOOP 2025: European Conference on Object-Oriented Programming, 30 June – 4 July 2025, Bergen (Norway)
ECOOP is Europes longest-standing annual Programming Languages conferenc
e, bringing together researchers, practitioners, and students to share thei
r ideas and experiences in all topics related to programming languages, sof
tware development, systems and applications. ECOOP welcomes high quality re
search papers relating to these fields in a broad sense. ECOOP was original
ly focused on object orientation, but now includes all practical and theore
tical investigations of programming languages, systems and environments. EC
OOP solicits innovative solutions to real problems as well as evaluations o
f existing solutions.
ECOOP is committed to affordable open access publishing. Recent years pu
blications have been published by Dagstuhls LIPIcs series under a Creati
ve Commons CC-BY license where the authors retain their copyright. ECOOP ar
ticles have been published without open access publishing fee and can be ac
cessed via a DOI. LIPIcs is indexed in DBLP, Google Scholar, Scopus and oth
ers.
In 2025, ECOOP will be hosted by the Software Engineering research group<ht
tps://selabhvl.github.io/> at the Hgskulen p Vestlandet (Western Norw
ay University of Applied Sciences)<https://www.hvl.no/> in Bergen, Norway,
between June 30th and July 4th. More information can be found on the confer
ence website: https://2025.ecoop.org
ECOOP Publicity Chair
Giorgio Audrito, University of Turin, Italy
giorgio.audrito@unito.it<mailto:giorgio.audrito@unito.it>
Important Dates
* Mon 6 Jan 2025: Round 1 Submissions
* Mon 17 - Tue 18 Feb 2025: Round 1 Author response deadline
* Fri 28 Feb 2025: Round 1 Notification
* Wed 5 Mar 2025: Round 2 Submissions
* Tue 8 - Thu 10 Apr 2025: Round 2 Author response deadline
* Fri 25 Apr 2025: Round 2 Notification
* Mon 30 Jun 09:00 - Wed 2 Jul 18:00 2025: Main conference
Submissions
Submissions will be done through HotCRP<https://ecoop25.hotcrp.com> but are
not yet open at the time of this writing. Authors are asked to pick one of
the following paper categories:
* Research. The most traditional category for papers that advance the s
tate of the art.
* Replication. An empirical evaluation that reconstructs a published ex
periment in a different context in order to validate the results of that ea
rlier work.
* Experience. Applications of known PL techniques in practice as well a
s tools. Industry papers will be reviewed by practitioners. We welcome nega
tive results that may provide inspiration for future research.
* Pearls/Brave New Ideas. Articles that either explain a known idea in
an elegant way or unconventional papers introducing ideas that may take som
e time to substantiate. These papers may be short.
Submission must not have been published, or have major overlap with previou
s work. In case of doubt, contact the PC chairs (listed below). Proceedings
will be published in open access by Dagstuhl LIPIcs in the Dagstuhl LIPIcs
LaTeX-style template (https://submission.dagstuhl.de/series/details/LIPIcs
#author). To reduce friction when resubmitting, ACMs PACMPL and TOPLAS f
ormatted papers can be submitted as such (with the understanding that if ac
cepted, they will need to be reformatted and reduced to the page limit).
ECOOP uses double-anonymous reviewing. Authors identities are only revea
led if a paper is accepted. Papers must omit author names and institutions,
and use the third person when referencing the authors own work. Nothing
should be done in the name of anonymity that weakens the submission; see t
he FAQ<https://2024.ecoop.org/track/ecoop-2024-papers#FAQ>. If in doubt, co
ntact the chairs.
There is no page limit on submissions, but authors must understand that rev
iewers have a fixed time budget for each paper, so the length of the feedba
ck is likely to be unaffected by length. Brevity is a virtue. Authors also
have to consider that the camera-ready version must be (at most) 25 pages i
n LIPIcs format (not including references).
Authors will be given a three-day period to read and respond to the reviews
of their papers before the program committee meeting. Responses have no le
ngth limit.
ECOOP will continue to have two deadlines for submissions. Papers submitted
in each round can be (a) accepted, (b) rejected, or (c) asked for revision
s. Rejected papers that are submitted to the immediate next round can be de
sk-rejected if they do not sufficiently differ from the previous submission
. Revisions can be submitted at any later round. Papers retain their review
ers during revision.
Review Criteria
Each paper will be evaluated based on the following criteria:
* Soundness: How well the papers contributions are supported by rigo
rous application of appropriate research methods;
* Significance: The extent to which the papers contributions are nov
el, original, and important, with respect to the existing body of knowledge;
* Presentation: Whether the papers quality of writing meets the high
standards of ECOOP.
After author response and reviewer discussion, papers will be accepted if t
he PC decides that the paper meets our high bar for Soundness and Presentat
ion, and if one reviewer judges the paper to meet the bar for Significance.
The goal of this process is to ensure quality of writing and confidence in
results, while assuming that if one reviewer finds the paper to be signifi
cant then there will be readers who do so as well.
Artifact Evaluation and Intent
To support replication of experiments, authors of research papers may submi
t artifacts to the Artifact Evaluation Committee. They will be asked whethe
r they intend to submit an artifact at submission time. It is understood th
at some papers do not have artifacts. AEC members will serve on the extende
d review committee.
Journal First and Journal After
We have Journal First/After arrangements with ACMs Transactions on Progr
amming Languages and Systems (TOPLAS), Elseviers Science of Computer Pro
gramming (SCP) and AITOs Journal of Object Technology (JOT).
Only new research papers are eligible to be Journal First (JF). JF papers w
ill have an extended abstract in the ECOOP proceedings. The deadline is the
same as Round 1 of submissions and the notification is aligned with Round
2 notification. TOPLAS JF papers should be submitted according to this anno
uncement. SCP JF papers should follow this call for papers. JF papers are p
resented at the conference and eligible for awards.
Journal After (JA) papers are papers for which the authors request to be co
nsidered for post conference journal publication. Once accepted by the ECOO
P PC, these papers will be forwarded to the journal editors. Reviews and re
viewers will be forwarded and used at the editors discretion. JA papers
will have an extended abstract (up to 12 pages) in the conference proceedin
gs.
Program Committee
Chairs:
* Jonathan Aldrich<https://www.cs.cmu.edu/~aldrich/>, Carnegie Mellon U
niversity, United States
* Alexandra Silva<http://www.alexandrasilva.org/>, Cornell University,
United States
Members:
* Elvira Albert, Complutense University of Madrid, Spain
* Aaron Bembenek, University of Melbourne, Australia
* Einar Broch Johnsen, University of Oslo, Norway
* Lus Caires, University of Lisbon, Portugal
* Farzaneh Derakhshan, Illinois Institute of Technology, United States
* Werner Dietl, University of Waterloo, Canada
* Sophia Drossopoulou, Imperial College London, United Kingdom
* Serena Elisa Ponta, SAP Security Research
* Sebastian Erdweg, JGU Mainz, Germany
* Joo F. Ferreira, University of Lisbon, Portugal
* Carla Ferreira, NOVA University Lisbon, Portugal
* Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium
* Ping Hou, University of Oxford, United Kingdom
* Jules Jacobs, Cornell University, United States
* Sung-Shik Jongmans, Open University of the Netherlands, Netherlands
* Robbert Krebbers, Radboud University Nijmegen, Netherlands
* Mira Mezini, TU Darmstadt, Germany
* Daniele Nantes-Sobrinho, Imperial College London, United Kingdom
* Federico Olmedo, University of Chile, Chile
* Albert Rubio, Complutense University of Madrid, Spain
* Peter Thiemann, University of Freiburg, Germany
* Niki Vazou, IMDEA Software Institute
* Michael Vollmer, University of Kent, United Kingdom
* Di Wang, Peking University, China
* Pascal Weisenburger, University of St. Gallen, Switzerland
* Max Willsey, UC Berkeley, United States
* Tobias Wrigstad, Uppsala University, Sweden
* Jingling Xue, UNSW Sydney, Australia
* Wenjia Ye, National University of Singapore, Singapore
* Lingming Zhang, University of Illinois at Urbana-Champaign, United St
ates
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php