The Coq mailing list

["Matthew Alan Le Brun (PGR)" <m.le-brun.1 AT research.gla.ac.uk>]

[Apologies for multiple postings]

 

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

 

Joint Call for Participation

 

20th International Federated Conference on Distributed Computing Techniques

 

DisCoTec 2025

 

Lille, France, June 16-20, 2025

 

https://www.discotec.org/2025/

 

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

 

DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS).

 

DisCoTec 2025 will take place in Lille, France, between June 16-20, 2025, hosted by the University of Lille.

 

* Registration *

 

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

 

Deadlines (23:59 CEST):

- Early registration: May 23, 2025.

- Late registration: June 11, 2025.

 

* Keynote Speakers *

 

- Alysson Bessani (Universidade de Lisboa, Portugal)

 

- Omar Inverso (GSSI, Italy)

 

- Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)

 

- Hélène Coullon (IMT Atlantique, France)

 

See https://www.discotec.org/2025/invited for further details.

 

* Main Conferences (June 17 - June 19) *

 

- COORDINATION 2025 (https://www.discotec.org/2025/coordination)

  27th International Conference on Coordination Models and Languages

  PC Chairs: Cinzia Di Giusto (Université Côte d’Azur) and António Ravara (NOVA School of Science and Technology)

 

- DAIS 2025 (https://www.discotec.org/2025/dais)

  25th International Conference on Distributed Applications and Interoperable Systems

  PC Chairs: Daniel Balouek (Inria, France) and                Ibéria Medeiros (University of Lisbon, Portugal)

 

- FORTE 2025 (https://www.discotec.org/2025/forte)

  45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

  PC Chairs: Carla Ferreira (NOVA University of Lisbon, Portugal) and Claudio A. Mezzina (University of Urbino, Italy)

 

* Accepted Papers *

 

See https://www.discotec.org/2025/accepted-papers for details.

 

* Satellite Events (June 16 and June 20) *

 

- ICE 2025 (https://www.discotec.org/2025/satellite/ice)

  18th Interaction and Concurrency Experience

 

- CORSE 2025 (https://www.discotec.org/2025/satellite/corse)

  Components Operationally: Reversibility and System Engineering

 

- ∆QSD 2025 (https://www.discotec.org/2025/satellite/DQSD)

  The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load

 

- WACA 2025 (https://waca-ws.github.io/2025/)

  Workshop on Adaptable Cloud Architectures

 

- Gender Parity / Women in Science (https://www.discotec.org/2025/satellite/women_in_science)

 

* Poster Competition (June 16) *

 

DisCoTec 2025 will host an event dedicated to Young Researchers - final year PhD, postdoc, first years of a permanent position. Details can be found at https://www.discotec.org/2025/satellite/yr-posters.

 

* Accommodations for parents of young children *

 

Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze AT inria.fr), as soon as possible to discuss the arrangements that might be applicable.

 

* Live Updates *

 

To receive live, up-to-date information, follow us on Mastodon @DisCoTecConf (https://lipn.info/@DisCoTecConf), LinkedIn (https://www.linkedin.com/company/discotec-conf) and X @DisCoTecConf (https://X.com/DisCoTecConf).