Cette école organisée par l'Institut de la Francophonie pour l'Informatique (IFI) a pour but d'assurer le perfectionnement des professeurs francophones d'informatique d'Asie du Sud-Est et de développer leur capacité à la recher-che. La langue officielle de l'école est le français.
L'inscription est gratuite. De nombreux appuis sont réservés aux participants des filières universitaires francophones (frais de transport, logement et subsistance).
L'édition 2010 de l'École d'été se déroulera du dimanche 19 au jeudi 23 septembre dans les locaux de l'Université de Cân Tho, partenaire hôte de cette école.
Deux cours sont prévus pour l'édition 2010 :
Systèmes Multi-Agents selon la perspective des Systèmes Complexes : Problématiques et Contributions par Mme Salima Hassas, Professeur à l'École polytechnique universitaire de Lyon 1 (France).
Ce cours a pour objectif d'introduire le domaine des systèmes complexes et les problématiques posées lorsqu'on aborde leurs perspectives pour concevoir et développer des systèmes informatiques à base de systèmes multi-agents. Cette perspective sera développée en abordant les questions de la relation entre l'évolution des structures et les comportements régissant la constitution et la propagation de l'information dans ces systèmes, le rôle des interactions et leur support sous forme d'un réseau complexe dynamique. Seront présentés aussi la problématique de la cognition et le rôle joué par l'émergence des représentations et leur exploitation. Ce cours sera illustré par des travaux dans le domaine du web considéré comme système complexe et par d'autres applications dans le domaine du partage de ressources critiques.
Techniques de Validations Formelles des Systèmes communicants par M. Stéphane Maag, Maître de conférences à l'Institut Telecom Paris-Sud (France). Les fortes avancées technologiques dans les domaines des réseaux de (télé)communications et des services permettent de fournir des systèmes communicants de plus en plus complexes et portables.
Ces nouveaux systèmes sont constitués des briques de services ou d'applications qui sont intégrées dans de nombreux projets ou plates-formes industrielles dites de "futures générations". C'est notamment pour cette raison que ces systèmes doivent dorénavant faire appel à de nouveaux concepts au niveau des techniques de modélisation et de validation. Ces concepts couvrent une partie importante du cycle de développement de ces systèmes. La modélisation qui en premier lieu correspond à des aspects d'urbanisme (SOA) est malheureusement faiblement adaptée à la validation des systèmes communicants réels. Aussi une modélisation de plus haut niveau utilisant notamment des langages dits "formels" est aujourd'hui abordée. Ces langages couplés à des techniques empiriques permettant de vérifier les modèles et tester formellement les implémentations font naitre de nouveaux mécanismes pour la validation des systèmes. En outre, ces systèmes se complexifiant, des nouveaux challenges sont soulevés menant alors à des réflexions autours des standards existants et des modifications autour de leurs utilisations dans l'industrie. L'expertise de ces mécanismes et concepts de validation sont aujourd'hui primordiaux à la réussite des acteurs de nombreux domaines variés tels que les télécommunications mais aussi le transport, l'énergie, la banque, etc.
AUF/CVN