The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Activity: Membership in committee, council, board

Description

Member of program committee
Period25 Sep 2017 - 28 Sep 2017
Held atThe 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Event typeConference
LocationBrasilia, Brazil
Degree of RecognitionInternational