خلاصه مقاله باید شامل عنوان مقاله، نام نویسندگان و وابستگی سازمانی آنها، چکیده، کلمات کلیدی، مقدمه، متن مقاله ، نتیجهگیری و مراجع باشد.
مقدمه شامل مرور پیشینه و توضیح در مورد طرح کلی مقاله و مطالب هر یک از بخشها است. همچنین پیشنهاد میشود که متن خلاصه مقاله در یک یا حداکثر دو بخش تنظیم شود.
کمیتهی اجرایی همایش در حال انجام اقدامات لازم جهت اخذ نمایهی ISC است.
بنابر توافقهای صورتگرفته از سوی کميته علمی همايش، نسخه کاملشده مقالات منتخب هیات داوران، از سوی کمیته علمی فراخوانده و برای چاپ در مجله منطقپژوهی با فقط یک داوری معرفی میشوند.
همچنین کمیته اجرایی همایش در نظر دارد در صورت تامین منابع مالی، کتابچهی حاوی خلاصه مقالات همایش را منتشر نماید.
به مقالات پذیرفتهشده و ارايهشده در کنفرانس، گواهی پذیرش و ارايه داده خواهد شد.
برای راهنمایی و پاسخگویی به سوالات مرتبط با همایش و همچنین ارايه پیشنهادات و نظرات، راه ارتباطی زیر در دسترس است:
این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید
سخنرانان مدعو:
ماتیاس باز (دانشگاه صنعتی وین)
واسکو براتکا (دانشگاه مونیخ)
راحله جلالی (دانشگاه اوترخت)
محمد علی حجتی (دانشگاه تربیت مدرس)
رالف شیندلر (دانشگاه مونستر)
لطفاله نبوی (دانشگاه تربیت مدرس)
کمیته علمی همایش به منظور داوری دقیقتر از سه زیرکمیته تخصصیتر تشکیل شده است. اسامی این کمیتهها و اعضای آنها، به شرح زیر است:
۱- منطقهای کلاسیک و نظریه مجموعهها: محمد گلشنی، سعید صالحی پورمهر، نازنین روشندل توانا، فرزاد دیدهور
۲- منطقهای غیرکلاسیک و شهودگرایانه: محمد اردشیر، مجید علیزاده، فاطمهسادات نبوی
۳- منطقهای فلسفی: لطفالله نبوی، فرشته نباتی، اسدالله فلاحی، مهدی عظیمی
رویکردهای مختلف به مباحث منطقی در شاخههای مختلف فلسفه تحت محور کلی فلسفه منطق قرار میگیرند و قابلیت پذیرش در همایش را خواهند داشت. همچنین، از مقالات منطقی در شاخههای «هوش مصنوعی»، «منطق محاسباتی»، «استدلال خودکار و الگوریتمها» و «پیادهسازی منطقها و زبانهای برنامهنویسی» تحت محور منطق و علوم رایانه استقبال خواهد شد.