Du mercredi 18 au vendredi 20 Septembre aura lieu la conférence internationale FroCos - Frontiers of Combining Systems. La conférence FroCoS réunira tous les chercheurs s'intéressant à la logique, au calcul, au développement de programmes, à la vérification, à l'intelligence artificielle et au raisonnement automatique.
De nombreux domaines de l'informatique nécessitent l'utilisation de formalismes et des mécanismes d'inférence dédiés à des tâches spécifiques. Parmi ces domaines, la conférence FroCoS s'intéresse plus particulièrement à la logique, le calcul, le développement de programmes, la vérification, l'intelligence artificielle et le raisonnement automatique.
Pour être utilisables en pratique, ces systèmes dédiés doivent être combinés entre eux et doivent être intégrés dans d'autres systèmes plus généralistes. Le développement de techniques et de méthodes de combinaison et d'intégration suscite un intérêt toujours plus important dans les domaines cités. Ces techniques et méthodes permettent de concevoir des outils puissants pour l'analyse et la vérification des systèmes complexes tels que les systèmes ou programmes informatiques. Nous sommes désormais tous sensibilisés par l'importance primordiale du bon fonctionnement des systèmes informatiques. Dans ce contexte, il est particulièrement intéressant de développer des combinaisons d'approches permettant de prouver de manière rigoureuse et formelle la sécurité de tels systèmes.
La conférence FroCoS se tiendra dans la même semaine que Tableaux, du 16 au 20 septembre 2013. La co-localisation à Nancy des deux conférences apparentées permet d'offrir une alternative européenne particulièrement intéressante par rapport à CADE qui se tient aux Etats-Unis. 80 participants sont attendus pour l'ensemble des deux conférences.
En savoir plus sur FroCos 2013