اولین سمینار جبرهای منطقی، شهریور ماه ۱۴۰۱