Project-Dahu:Scientific Animations

Section: Dissemination

Stéphane Demri is a member of the steering committee of the Tableaux conference (Intl. Conf. Automated Theorem Proving with Analytic Tableaux and Related Methods).
Stéphane Demri is member of the publication board of the review “Technique et Science Informatiques” (among 5 members).
Florent Jacquemard is member of the board (general secretary) of the French Association for Information and Communication Systems (ASTI).
Balder ten Cate is member of the board (secretary) of the Dutch Organization for Logic and Philosophy of the Exact Sciences (VvL).