The Coq mailing list

[Violet Ka I Pun <violetpun AT gmail.com>]

********************************************************************************

                          CALL FOR PARTICIPATION

                          The 39th Edition of ECOOP

                Bergen, Norway,  30th Jun - 4th July, 2025

                             https://2025.ecoop.org

********************************************************************************

ABOUT ECOOP
=============

ECOOP is Europe’s longest-standing annual Programming Languages
conference, bringing together researchers, practitioners, and students
to share their ideas and experiences in all topics related to
programming languages, software development, systems and applications.
ECOOP welcomes high quality research papers relating to these fields
in a broad sense.

ECOOP is committed to affordable open access publishing. Recent year’s
publications have been published by Dagstuhl’s LIPIcs series under a
Creative Commons CC-BY license where the authors retain their
copyright. ECOOP articles have been published without open access
publishing fee and can be accessed via a DOI. LIPIcs is indexed in
DBLP, Google Scholar, Scopus and others.

ECOOP 2025 will take place in Bergen, Norway, hosted by the Software
Engineering research group at Western Norway University of Applied
Sciences.


AITO Dahl-Nygaard Prize Winners
===========================

** Senior Prize **
Mira Mezini
  TU Darmstadt, Germany

** Junior Prize **
Amir Shaikhha
  University of Edinburgh, United Kingdom

Both prize winners will give a keynote at ECOOP.

Please visit https://2025.ecoop.org/track/ecoop-2025-awards to know
more about them. 


Registration
==========

Detailed information about registration can be found at
https://www.discotec.org/2025/registration .

Deadlines:
- Early registration: 28th May, 2025 (CEST).
- Late registration: 22nd June, 2025 (CEST).

The week of ECOOP is high season in Bergen.  We recommend you to book
your accommodation as soon as possible.


Student Sponsorship
================

The ECOOP'25 organizers and AITO are happy to announce the student
support program for ECOOP'25.  Please visit
https://2025.ecoop.org/attending/student-scholarships for more
details.


Accepted Papers
=============

See https://2025.ecoop.org/info/accepted-papers for the list of
accepted papers.


Satellite Events (2nd July - 4th July)
============================

ECOOP Doctoral Symposium
  (https://2025.ecoop.org/track/ecoop-2025-doctoral-symposium)

ACM SIGPLAN International Conference on
Generative Programming: Concepts & Experiences (GPCE)
  (https://2025.ecoop.org/home/gpce-2025)

ICOOOLPS: Implementation, Compilation, Optimization of Object-Oriented
  Languages, Programs and Systems
  (https://2025.ecoop.org/home/ICOOOLPS-2025)

PLF+PLAID:  Theory and Practice of Decentralized and Local-First Software  
  (https://2025.ecoop.org/home/plf-plaid-2025)

FTfJP: Formal Techniques for Judicious Programming
   (https://2025.ecoop.org/home/FTfJP-2025)

DEBT: Future Debugging Techniques
   (https://2025.ecoop.org/home/debt-2025)

PLSS: Programming Language Standardization and Specification
   (https://2025.ecoop.org/home/plss-2025)   

VORTEX: Verification of Objects at Runtime Execution
   (https://2025.ecoop.org/home/vortex-2025)  

Please check the workshop sites for more details.