Publication
Ouvrages :
- Concise Introduction to Alternating-Time Temporal Logics, de Stéphane Demri, paru chez Springer Nature dans la collection Computer Science Foundations and Applied Logic : https://link.springer.com/book/10.1007/978-3-032-11885-1
- "Games on Graphs: From Logic and Automata to Algorithms" a été mis à jour en mai 2026. Le livre est publié par Cambridge University Press, et une version numérique est disponible sur [ArXiV]https://arxiv.org/abs/2305.10546.
Les dernières entrées du blog de topologie de Jean Goubault-Larrecq :
- Appert space, 20 mars 2026 https://topology.lmf.cnrs.fr/appert-space
- Choquet-Wilker spaces, 20 avril 2026, https://topology.lmf.cnrs.fr/choquet-wilker-spaces
- ≪-separating domains and FS-domains, 20 mai 2026, https://topology.lmf.cnrs.fr/2026/05/20/%e2%89%aa-separating-domains-and-fs-domains
- Revisiting Stone duality for bitopological spaces, 20 juin 2026, https://topology.lmf.cnrs.fr/revisiting-stone-duality-for-bitopological-spaces
Papiers :
- "Verified" Badges to Our Paper, One Lemma at a Time, Matthias Függer and Thomas Nowak, https://eatcs.org/images/bulletin/beatcs149.pdf, p.24
- Attiya, H., Castañeda, A., **Ghosh, D., Nowak, T. (2026). Equivalence and Separation Between Heard-Of and Asynchronous Message-Passing Models. In: Georgiou, C. (eds) Structural Information and Communication Complexity. SIROCCO 2026. Lecture Notes in Computer Science, vol 16488. Springer, Cham. https://doi.org/10.1007/978-3-032-26465-7_](https://doi.org/10.1007/978-3-032-26465-7_4
Trois papiers acceptés à la conférence LICS 2026 https://lics.siglog.org/lics26/ :
- Thiago Felicissimo, Yann Leray, Loïc Pujet, Nicolas Tabareau, Éric Tanter and Théo Winterhalter. Definitional Proof Irrelevance Made Accessible
- Alexandre Clément. A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
- Thibaut Balabonski. A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-Calculus