Régine Laleau

Professor at Université Paris-Est Créteil

Member of LACL (Laboratoire d'Algorithmique, Complexité et Logique, EA 4219)

Régine Laleau
Université Paris-Est Créteil, IUT Sénart-Fontainebleau
Département Informatique
Route forestière Hurtault
F-77300 Fontainebleau
France
Phone: +33.(0)1.60.74.68.40 (office)
Mobile: +33.(0)6.67.77.44.80
Fax: +33.(0)1.60.74.68.28
E-mail: laleau@u-pec.fr


Research : Formal methods and Information Systems

Publications


PhD Supervision

Research Projects




Events

    2014
       
ABZ 2014 :
International conference on ASM, Alloy, B and Z.
        INFORSID 2014
        AFADL 2014 :
Approches Formelles dans l'Assistance au Développement de Logiciels
        RCIS 2014 : 8th
IEEE International Conference on Research Challenges in Information Science
        
CAISE 2014 : 26th International Conference on Advanced Information Systems Engineering
  2013
      
ICECCS 2013 : 8th IEEE International Conference on Research Challenges in Information Science
        INFORSID 2013
        AFADL 2013 :
Approches Formelles dans l'Assistance au Développement de Logiciels
        RCIS 2013 : 7th
IEEE International Conference on Research Challenges in Information Science
        
CAISE 2013 : 25th International Conference on Advanced Information Systems Engineering

   




Enseignement/Teaching