Huitième symposium international «Frontiers of Combining Systems» à Sarrebruck, en Allemagne
5 Octobre 2011 - 5 Octobre 2011
Allemagne
Le huitième symposium international «Frontiers of Combining Systems» aura lieu du 5 au 7 octobre 2011 à Sarrebruck, en Allemagne.
Divers domaines de l'informatique ont besoin de formalismes spécialisés et de mécanismes d'inférence pour des tâches spéciales. C'est le cas par exemple de la logique, des calculs, du développement et de la vérification de programmes, de l'intelligence artificielle, de la représentation des connaissances et du raisonnement automatisé. Mais pour être utilisables dans la pratique, ces systèmes spécialisés doivent être associés et intégrés dans des systèmes à usage général.
Dans bien des domaines, on a déjà commencé le développement de techniques et de méthodes générales pour l'association et l'intégration de systèmes spéciaux définis formellement, ainsi que pour l'analyse et la modularisation de systèmes complexes. Tout comme les symposiums précédents, l'édition de cette année visera ce type de questions et d'activités de recherche, et soutiendra les progrès dans ce domaine. Les thèmes suivant seront traités:
- les combinaisons d'éléments logiques tels que prédicats combinés, temporels, modaux ou épistémiques;
- les combinaisons et la modularité dans les ontologies;
- les combinaisons de procédures de décision ou de validabilité, et de techniques de résolution des contraintes;
- les combinaisons et la modularité en termes de réécriture;
- l'intégration aux systèmes déductifs de la théorie équationnelle (et d'autres);
- la combinaison de systèmes déductifs et d'algèbre informatisée;
- l'intégration de structures de données dans la déduction et la programmation logique avec contraintes;
- les méthodes mixtes pour la déduction, la résolution et la propagation des contraintes;
- les systèmes mixtes dans la représentation des connaissances et la sémantique des langages naturels;
- la logique combinée pour les systèmes distribués et à plusieurs agents;
- les aspects logiques de la combinaison et de la modularisation des programmes et des spécifications.Pour de plus amples informations, consulter: http://www.mpi-inf.mpg.de/conferences/frocos2011/(s’ouvre dans une nouvelle fenêtre)
Divers domaines de l'informatique ont besoin de formalismes spécialisés et de mécanismes d'inférence pour des tâches spéciales. C'est le cas par exemple de la logique, des calculs, du développement et de la vérification de programmes, de l'intelligence artificielle, de la représentation des connaissances et du raisonnement automatisé. Mais pour être utilisables dans la pratique, ces systèmes spécialisés doivent être associés et intégrés dans des systèmes à usage général.
Dans bien des domaines, on a déjà commencé le développement de techniques et de méthodes générales pour l'association et l'intégration de systèmes spéciaux définis formellement, ainsi que pour l'analyse et la modularisation de systèmes complexes. Tout comme les symposiums précédents, l'édition de cette année visera ce type de questions et d'activités de recherche, et soutiendra les progrès dans ce domaine. Les thèmes suivant seront traités:
- les combinaisons d'éléments logiques tels que prédicats combinés, temporels, modaux ou épistémiques;
- les combinaisons et la modularité dans les ontologies;
- les combinaisons de procédures de décision ou de validabilité, et de techniques de résolution des contraintes;
- les combinaisons et la modularité en termes de réécriture;
- l'intégration aux systèmes déductifs de la théorie équationnelle (et d'autres);
- la combinaison de systèmes déductifs et d'algèbre informatisée;
- l'intégration de structures de données dans la déduction et la programmation logique avec contraintes;
- les méthodes mixtes pour la déduction, la résolution et la propagation des contraintes;
- les systèmes mixtes dans la représentation des connaissances et la sémantique des langages naturels;
- la logique combinée pour les systèmes distribués et à plusieurs agents;
- les aspects logiques de la combinaison et de la modularisation des programmes et des spécifications.Pour de plus amples informations, consulter: http://www.mpi-inf.mpg.de/conferences/frocos2011/(s’ouvre dans une nouvelle fenêtre)