کارگاه منطق های موحهات و کابردهای آن در علوم کامپیوتر با همکاری انجمن منطق ایران در دانشگاه تهران و در روزهای 27 تا 31 شهریور ماه سال 95 برگزار می شود.

Invited Speakers:

 

Organizers:

 

منبع: http://mscslogic.ut.ac.ir/