ESARM

AcronymDefinition
ESARMEmpirically Successful Automated Reasoning for Mathematics (workshop)