10月15日—18日，国家“973”项目“自动推理平台”软件汇报研讨会在广西师范大学召开。