Site perso et complément ISAE: Pascal Farès
Responsable du 3ème(C) cycle ingénieur IRSM
Président du département informatique de 1997 à 2006
Ingénieur chercheur ENSEEIHT: Enseignant ISAE Centre associé CNAM
Consultant IT/ICT/IS - GroupeWare - Open Source - adhère aux méthodes "Agile"
Administrateur projets Open Source (EMSIS http://emsis.dev.java.net) et (NAOP http://naop.dev.java.net un projet R&D)
Les publications dans des blogs
Publications: membre ACM 3033339
Knowledge – Based representation and graphical manipulation of office activities (Euro info mars 1988, Athena) a Knowledge –Based approach to tasks representation (ACM SIGOIS and IEEECS TC-OA 1988).
Organization and coordination (COIS may 1987 , PAOLO ALTO, California
Un modèle d’acteur pour la formalisation et la spécification (workshop franco- japonais) (octobre 1997)
Jean-Paul Bahsoun, Pascal Farès, Corinne Servières. Multilevel proof system for concurrent object-oriented systems, HERMES Science publications, France, décembre 2000.
- Logique: de la philosophie à l'informatique en passant par les mathématique
- Expert conseil en création d'entreprise IpDots
