Skip to content
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Postes 2025
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Postes 2025
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English

Outils informatiques

Voici une petite liste d’outils, interne et externe:

  • https://sharelatex.lacl.fr/
  • https://git.lacl.fr/
  • https://esr-upec.notilus-pio.cegid.cloud/
  • https://cloud.lacl.fr
  • https://rendez-vous.renater.fr
  • https://plmlatex.math.cnrs.fr

Actualités

  • 2 postes de MCF à pourvoir au LACL
    16/01/2025

Prochains séminaires

  • TBA
    23 juin 2025
    Jean-Marc Talbot
  • TBA
    22 septembre 2025
    Carola Doerr
© 2025 LACL