۲۳RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION | منطق پژوهی