DL(R) 2025 Workshop

Project 23-STIC-07 participating institutions:

• Universidad Nacional de Córdoba and CONICET 🇦🇷

• Universidade Federal Fluminense 🇧🇷

• Universidad Católica de Chile 🇨🇱

• Laboratoire d'Informatique de l'Ecole Polytechnique and CNRS 🇫🇷

• Laboratoire Méthodes Formelles (LMF), ENS Paris Saclay and CNRS 🇫🇷