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)
Fax: +33.(0)1.60.74.68.28
E-mail: laleau@u-pec.fr
Research : Formal methods and Information Systems
Publications
Collaborations
PhD Supervision
Research Projects
- EDEMOI
Project
(supported by the French National Action Concertée
Incitative
"Sécurité et Informatique") 2003-2006
- TACOS
Project (supported by the French National ANR SetIn) 2007-2010
- POLUX Project (supported by the French National ANR SetIn) 2007-2010
- EB3SEC
Project (supported by CRSNG Canada) 2008-2010
- SELKIS Project (supported by the French National ANR
Arpege) 2009-2011
Events
2010
ABZ 2010
: International
conference on ASM, Alloy, B and Z
INFORSID 2010 à Marseille
AFADL 2010 : Approches Formelles
dans l'Assistance au Développement de Logiciels
RCIS 2010 : 4th IEEE International Conference on Research Challenges in Information
Science
2009
AFADL'09
: Approches Formelles
dans l'Assistance au Développement de Logiciels
RCIS'09:
Third
IEEE International Conference on Research Challenges in Information
Science
INFORSID'09
CAISE'09: 21st
International Conference on Advanced Information Systems Engineering
2008
INFORSID'08 à Fontainebleau
ReMoD'08: International
Workshop on Regulations Modelling and Deployment
RCIS'08:
Second
IEEE International Conference on Research Challenges in Information
Science
REFSQ'08: International
Working Conference
on Requirements
Engineering: Foundation for Software Quality
MoDISE-EUS´2008 : International
Workshop on Model
Driven Information Systems
Engineering: Enterprise, User and System Models
CAISE'08: 20th
International Conference on Advanced Information Systems Engineering
ABZ'08
: International
conference on ASM, B and Z