First Lyndex meeting

The first Lyndex meeting took place in Rouen on Dec. 14th 2023. We have been honored by the participation of Pr. J.-P. Duval. During this preliminary day to the Lyndex project, three talks have been given. You can find the slides here. This first Lyndex meeting has been supported by the NormaSTIC federation and by the Theoretical Computer Science Seminar of the University of Rouen-Normandie.