Christine Choppy

Christine Choppy
Laboratoire d'Informatique de l'Université Paris Nord
UMR CNRS 7030
Institut Galilée
Avenue J.B. Clément
93430 VILLETANEUSE
FRANCE
Tel : +33 1 49 40 36 62
Fax : +33 1 48 26 07 12
E-mail : Christine.Choppy at lipn.univ-paris13.fr

Institut Galilée

LIPN (Laboratoire d'Informatique de Paris Nord)

LCR (Logique, Calcul et Raisonnement)

Spécifications de systèmes et aide à la modélisation

Institut Galilée

research laboratories

Institut Galilée

document

Sujets de stage 2017-2018 pour étudiants de Master2 ou 3ème année ingénieur
Quelques Publications, research/recherche
Practical informations for visitors , et rire un peu des reformes de l'enseignement
J'ai été Présidente du Département d'Informatique (2004-fin 2009), un article du Monde qui ne nous plait pas ...
Mes enseignements
Quelques liens:
- Le groupe MeFoSyLoMa Méthodes Formelles pour Les Systèmes Logiciels et Matériels
- Le langage CASL (Common Algebraic Specification Language) et le projet CoFI (The Common Framework Initiative)
- IFIP WG1.3 Working Group on Foundations of System Specification, my information on meetings (also the old page of IFIP WG1.3)
- Informatics Europe The Research and Education Organization of Computer Science and IT Departments in Europe
- SIF Société Informatique de France
- AFIF (Association Francaise d'Informatique Fondamentale), --> AFIT, la branche francaise de l'EATCS (European Association for Theoretical Computer Science).

Autres sujets : les biocarburants (livre/sommaire/extrait/court interview, "Chassez vos idées recues" en 4 points clés interview radio)