主办单位：中国逻辑学会现代逻辑专业委员会
承办单位：优越会717线路检测，优越会717线路检测逻辑、科学与文化研究所
协办单位：四川省逻辑学会
会议时间：2023年10月20日-22日（10月19日可签到，晚上设有教学环节报告）
会场地址：
10月20日、10月22日，祥宇宾馆祥顺厅（ 四川省成都市武侯区新南路103号）
10月21日，优越会717线路检测望江校区（望江校区东三教演播厅）
会议不收取注册费；参会者需自理差旅和食宿。
会议详细日程安排见附件。
委员会（以下均为姓名音序）：
本地组织委员会（均来自优越会717线路检测）
主席：刘佶鑫（xuetian997@scu.edu.cn）
委员：陈以森、陈钰、任晓明、徐召清、曾怡
程序委员会
主席：杨睿之（复旦大学，yangruizhi@fudan.edu.cn）
俞珺华（清华大学，junhua.yu.thu@139.com）
委员：丁一峰、董惠敏、范杰、方良达、高坤、郭佳宏、郭美云、郝兆宽、何家亮、贾青、琚凤魁、李延军、梁飞、林翰迪、林哲、刘婵娟、刘虎、刘佶鑫、刘明明、刘新文、任远、荣立武、申国桢、沈榆平、石辰威、苏庆辉、孙鑫、王文方、王彦晶、王轶、文学锋、邢滔滔、熊明、熊作军、徐召清、杨帆、杨睿之、杨跃、姚宁远、叶峰、俞珺华、喻良、张寄冀、张立英、张炎、赵希顺、赵贤、钟盛阳。
特邀报告人：
丁龙云(南开大学数学科学学院)
刘咏梅(中山大学计算机学院)
张德学(优越会717线路检测数学学院)
教学环节报告人：
郝兆宽（复旦大学哲学学院）
住宿地点：祥宇宾馆（ 四川省成都市武侯区新南路103号）
交通信息：（地铁时刻表：）
1.双流机场到祥宇宾馆
出租车：约50元
地铁：乘坐地铁10号线，到达太平园站；
换乘地铁3号线，到达磨子桥站；
步行约200米，到达终点。
2.成都东站到祥宇宾馆
出租车：约30元
地铁：乘坐地铁2号线，到达春熙路站
换乘3号线，到达磨子桥站；
步行约200米，到达终点。
3.天府机场到祥宇宾馆（很远）
出租车：约200元
地铁：乘坐地铁18号线，到达世纪城站
换乘1号线，到达省体育馆站；
换乘3号线，到达磨子桥站；
步行约200米，到达终点。
会议日程见下表（附件为详细版会议手册）
