Site perso et complément ISAE: Pascal Farès
Président du département informatique
Responsable du 3ème(C) cycle ingénieur IRSM
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), (NAOP http://naop.dev.java.net un projet R&D), (SIISAE http://isae.dev.java.net/ Système d'information intégré de l'ISAE), (Programmation Systeme C Linux: http://code.google.com/p/linixcprogramming/ Codes des auditeurs)
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.
