First-Order Interpolation Derived from Propositional Interpolation
Matthias Baaz
(Vienna University of Technology)
دوشنبه، 14 تیرماه 1402، ساعت 17
سخنرانی به صورت مجازی و به میزبانی دانشکده ریاضی دانشگاه صنعتی امیرکبیر برگزار خواهد شد.
متأسفانه به دلیل کسالت و حال نامساعد پروفسور ماتیاس باز، سخنرانی امروز ایشان لغو و به زمان دیگری موکول شد.
پس از بهبودی ایشان، زمان جدید سخنرانی ایشان از طریق درگاههای ارتباطی انجمن منطق ایران اطلاعرسانی خواهد شد.
اسلایدهای سخنرانی پروفسور ماتیاس باز