Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Groups
  • Seminar
  • Jobs

Author: lmvadm

[Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

Author lmvadmPosted on 16 June 202116 March 2022Leave a comment on [Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

[May 2021] GT Clap – Journées GPL – 17 Juin 2021

RDV le pour le 17 juin 2021 pour le GT CLAP aux Journées du GDR GPL!

http://compilfr.ens-lyon.fr/journees-gdr/

Author lmvadmPosted on 27 May 202116 March 2022Leave a comment on [May 2021] GT Clap – Journées GPL – 17 Juin 2021

[Mar. 2021] Frédéric Loulergue joined the Editorial Board du Journal of Computer Languages

Frédéric Loulergue joined the Editorial Board du Journal of Computer Languages (https://www.journals.elsevier.com/journal-of-computer-languages)

Author lmvadmPosted on 24 March 202116 March 2022Leave a comment on [Mar. 2021] Frédéric Loulergue joined the Editorial Board du Journal of Computer Languages

[Mar. 2021] HLPP 2021, co-chaired by Frédéric Loulergue

14th International Symposium on High-Level Parallel Programming and Applications (HLPP 2021), co-chaired by Frédéric Loulergue

Author lmvadmPosted on 24 March 202116 March 2022Leave a comment on [Mar. 2021] HLPP 2021, co-chaired by Frédéric Loulergue

[Dec. 2020] TAP 2021

TAP 2021 is co-chaired by F. Loulergue



Author lmvadmPosted on 10 December 202016 March 2022Leave a comment on [Dec. 2020] TAP 2021

[Dec. 2020] Phd Defense : Salwa SOUAF, December 15th

09H30 : Methodes formelles et Sécurité en informatique en nuages

Author lmvadmPosted on 10 December 202016 March 2022Leave a comment on [Dec. 2020] Phd Defense : Salwa SOUAF, December 15th

[Nov. 2020] Online Seminar : Jules Chouquet, Accord distribué et topologie combinatoire : Impossibilités et probabilités.

23/11/2020, 16H00

Author lmvadmPosted on 16 November 202016 March 2022Leave a comment on [Nov. 2020] Online Seminar : Jules Chouquet, Accord distribué et topologie combinatoire : Impossibilités et probabilités.

[Sep. 2020] Jules Chouquet joins LMV

Author lmvadmPosted on 1 September 202016 March 2022Leave a comment on [Sep. 2020] Jules Chouquet joins LMV

[Jun. 2019]Parallel Matching of Regular Expressions with BSP Automata (accepted paper).

Parallel Matching of Regular Expressions with BSP Automata. Thibaut Tachon. HPCS 2019.
Author lmvadmPosted on 24 June 201916 March 2022Leave a comment on [Jun. 2019]Parallel Matching of Regular Expressions with BSP Automata (accepted paper).

[Jun. 2019] Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules (accepted paper).

Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules. Wadoud Bousdira. HPCS 2019.
Author lmvadmPosted on 24 June 201916 March 2022Leave a comment on [Jun. 2019] Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules (accepted paper).

Posts pagination

Previous page Page 1 … Page 6 Page 7 Page 8 Next page

News

  • [October 2025] Jordan Ischard defends his PhD thesis
  • [October 2025] Yani Ziani defends his PhD thesis
  • [September 2025] Welcome to Jolan Philippe!
  • [July 2025] Talk by Loïc Correnson
  • [July 2025] Talk by Virginia Niculescu

Lastest publications

  • Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
  • Approches formelles pour les composants et outils système

Archives

  • September 2025 (3)
  • July 2025 (4)
  • June 2025 (2)
  • May 2025 (2)
  • April 2025 (1)
  • February 2025 (1)
  • January 2025 (1)
  • November 2024 (3)
  • October 2024 (1)
  • July 2024 (1)
  • June 2024 (2)
  • May 2024 (1)
  • April 2024 (4)
  • March 2024 (1)
  • January 2024 (2)
  • December 2023 (1)
  • November 2023 (2)
  • September 2023 (1)
  • August 2023 (1)
  • July 2023 (2)
  • June 2023 (2)
  • May 2023 (3)
  • April 2023 (3)
  • February 2023 (4)
  • January 2023 (1)
  • December 2022 (2)
  • November 2022 (1)
  • October 2022 (1)
  • April 2022 (1)
  • March 2022 (2)
  • February 2022 (1)
  • December 2021 (2)
  • October 2021 (1)
  • June 2021 (1)
  • May 2021 (1)
  • March 2021 (2)
  • December 2020 (2)
  • November 2020 (1)
  • September 2020 (1)
  • June 2019 (4)
  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Groups
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress