Dans le cadre des activités de l'action spécifique "Algorithmique et problématique expérimentale pour l'évaluation de formules booléennes quantifiées" (AS CNRS STIC 83 du RTP 11 "Information et Intelligence : Raisonner et Décider"), se tiendra le 21 novembre 2003 une journée nationale sur le thème des formules booléennes quantifiées (QBF - Logique propositionnelle).

Cette journée sera l'occasion d'aborder différents aspects liés aux QBF, tant au niveau théorique que pratique, lors de la conception de démonstrateurs et de leur évaluation expérimentale, ainsi qu'aux domaines d'application.

Elle est notamment l'occasion d'accueillir plusieurs chercheurs actifs dans ce domaine au niveau européen et qui présenteront leur travaux à cette occasion :

Le programme de la journée est le suivant :

9h30-10h15	Welcome coffee
10h15-10h45	Hans Kleine Buning On Models for QBF
10h45-11h15	Pierre Marquis QBF function problem
11h15-11h45	Discussion about the two talks
11h45-12h30	Uwe Egly Beyond DP: Alternative Calculi for QBF Solving
12h30-14h	Lunch
14h00-14h45	Enrico Giunchiglia QBF reasoning at Genova
14h45-15h30	Jussi Rintanen QBF: an applications perspective
15h30-16h00	Coffee break
16h00-16h30	Daniel Le Berre QBF Evaluation'03
16h30-17h30	Panel: Translating problems into QBF

Cette journée est ouverte et toute personne intéressée par le domaine des QBF et souhaitant y participer est invitée à nous contacter dans les meilleurs délais (la participation effective est cependant soumise aux contraintes liées à la capacité de la salle).