Laboratoire d'Informatique et des Systèmes
AGENDA
Seminaire
Seminaire DALGO : Petr Kuznetsov
> 13/11/2025 à 10h30
Title : Resolving conflicts with grace
Speaker : Petr Kuznetsov (Télécom Paris)
Salle : 04.05 TPR2
Abstract:
Synchronization is the major obstacle to scalability in distributed computing. Concurrent operations on the shared data engage in synchronization ....
Seminaire
Séminaire CANA : Antoine Soulas
> 12/11/2025 à 14h00
Title : On the emergence of preferred structures in quantum theory
Salle : 04.05 TPR2
Abstract:
The ability to uniquely select a theory in virtue of a physically motivated principle has proved to be a fruitful and satisfactory approach in theoretical physics. Einstein’s ....
Seminaire
Séminaire ACRO/LIRICA : Arthur Ohana (03/11, 4.05, 10h)
> 03/11/2025 à 10h00
Le prochain séminaire de l'équipe ACRO, cette semaine croisé avec LIRICA, aura lieu ce lundi 3 novembre 2025 à 10h en salle REU 04.05 du TPR2. Il sera donné par Arthur Ohana (ACRO/LIRICA) qui commence sa thèse sur les systèmes de fermeture et qui nous parlera de ses résultats de stage.
Titre ....Conference
Séminaire CANA: Victor Lutfalla
> 14/10/2025 à 14h00
Title :Proof of the Undecidability of the Domino Problem via Reduction from the Immortality of Affine Functions
Salle : 04.05 TPR2
Abstract:
In this talk I will present a proof proposed by Jarkko Kari in 2007 for the undecidability of the Domino Problem on Z^2.
....
A LA UNE

