Academic Duties Mathias Fleury

I do not list my various subreviews here.


PxTP 2021, Seventh Workshop on Proof eXchange for Theorem Proving, Co-chair

PDAR-21, Parallel and Distributed Automated Reasoning 2021, Program committee

CAV 21 - Artefact Evaluation, 33rd International Conference on Computer-Aided Verification, artefact evaluation member

TACAS 21 - Artefact Evaluation, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, artefact evaluation member


TAP 20- Artefact Evaluation, 14th International Conference on Tests and Proofs 20, artefact evaluation member

VMCAI-20 - Artefact Evaluation, 21st International Conference on Verification, Model Checking, and Abstract Interpretation, artefact evaluation member


PxTP 2019, Sixth Workshop on Proof eXchange for Theorem Proving, Program committee