همایش دو روزه منطق ریاضی و کاربردهای آن دیروز و امروز 27 و 28 آذر 90 در دانشگاه شهید بهشتی به همت اساتید محترم دکتر مجتبی منیری و دکتر پورمهدیان برگزار شد. سخنرانی های استاد علی عنایت و استاد یو یانگ به زبان انگلیسی و بقیه به زبان فارسی بود. سخنرانی آقای احمد کریمی هم به علت عدم حضور ایشان برگزار نشد. استقبال نسبتا خوب (60 الی 70 نفری) استادان و دانشجویان از این همایش و تعداد بالای مقالات ارائه شده نشان از پیشرفت منطق ریاضی در کشورمان دارد.

در انتهای همایش پیشنهاد شد فایل های مربوط به سخنرانی ها در صورت تمایل ارائه کنندگان در سایت همایش قرار داده شود. فایل پاورپوینت مقاله این جانب عجالتا در همین جا ارائه می شود:

A second Pretabular Classical Relevant Logic