Vous êtes ici : UVSQ Actualité

Workshop Computational Logic and Applications

du 1 juillet 2019 au 2 juillet 2019

Les 1er et 2 juillet 2019
UFR des Sciences
Salle Archimède, bât. Sophie Germain
45 Avenue des États Unis
78000 Versailles

L'UFR des Sciences de l'UVSQ accueille le 14e workshop CLA qui réunira des spécialistes de la modélisation mathématique et ses applications en sciences informatiques, les 1er et 2 juillet.

Soutenu par le DIM RFSI - Réseau Francilien en Sciences Informatiques de la Région Ile-de-France et le projet ANR-MOST MétAConC, ce workshop se déroulera au laboratoire DAVID - Données et algorithmes pour une ville intelligente et durable, sur le campus des Sciences.

Le domaine concerné est à l’interface entre la logique informatique, la théorie de la programmation (lambda-calcul, concurrence, ...) et l’analyse d’algorithmes basée sur la combinatoire analytique et les probabilités. L’interaction entre ces disciplines est la raison même de l’existence de CLA : il ne s’agit pas d’une réunion de plus dans un de ces domaines, mais de fournir aux chercheurs de toutes ces disciplines, et d’autres disciplines dont les sujets d’intérêt seraient connexes, un cadre pour présenter leurs travaux, découvrir ceux des autres participants, et discuter ensemble des problèmes pratiques issus des applications et des outils disponibles pour les résoudre.

Les réunions CLA (Computational Logic and Applications) ont lieu depuis 2002, avec un rythme bisannuel au début, puis annuel depuis 2015. Réunissant à l’origine une dizaine de personnes impliquées dans des projets bilatéraux, notamment les PHC Polonium, elles se sont élargies au fil des ans et sont devenues des rendez-vous autonomes. Elles se tiennent traditionnellement sur deux jours en Europe et comprennent à la fois des présentations de résultats récents, et des discussions ouvertes sur de nouvelles problématiques.

Un numéro spécial du journal international DMTCS, à paraître au début de l'année 2020, sera consacré aux journées CLA 2019.
Informations complémentaires