منطق پژوهی منطق پژوهی

منطق پژوهی

معرفی و ارائه آثار، مقالات و مطالب مفید درباره منطق جديد

ثبت نام فراموشی رمز عبور
loading...
آخرین نوشته‌ها
  • Annonce Reel De Plan Cul Gratuit Nievre
  • انتخاب دکتر اسداله فلاحی به عنوان برگزیده اول گروه فلسفه، منطق و کلام در جشنواره فارابی
  • The International Journal of Computer and Information Technologies-IJOCIT
  • کارگاه منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر
  • دوره درسی کوتاه مدت در نظریۀ مجموعه‌ها از سوی دیوید آسپرو
  • فراخوان ثبت نام پنجمین سمینار سالانه انجمن منطق ایران
  • تغییر زمان چهارمین همایش دانشجویی فلسفه‎ دانشگاه تربیت مدرس تهران
  • انتقال وبلاگ
  • مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی
  • انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica
صفحه اصلی عمومی ۲۳RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION

۲۳RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION

توسط : سید احمد میرصانعیدر: خرداد ۲۲, ۱۳۹۵در: عمومیبدون دیدگاه
چاپ ایمیل :

WOLLIC 2016

۲۳RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION

 AUGUST 16TH – 19TH, 2016

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at the Department of Computer Science, Benemérita Universidad Autónoma de Puebla, México, from August 16th to 19th, 2016. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

The conference is hosted by the Autonomous University of Puebla (Benemérita Universidad Autónoma de Puebla – BUAP. Puebla is a beautiful colonial city not far from Mexico City, see: aguide of Puebla, another guide of Puebla by UNESCO, the Official web site of the state of Puebla (http://www.puebla.travel/en/).

 SCIENTIFIC SPONSORSHIP 

Interest Group in Pure and Applied Logics (IGPL) 

The Association for Logic, Language and Information (FoLLI) 

Association for Symbolic Logic (ASL) 

European Association for Theoretical Computer Science (EATCS) 

European Association for Computer Science Logic (EACSL) 

Sociedade Brasileira de Computação (SBC) 

Sociedade Brasileira de Lógica (SBL)

 PROCEEDINGS 

The proceedings of WoLLIC 2016, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer’s LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2016 issue of a scientific journal (to be confirmed).

IMPORTANT DATES

اشتراک 0
تویت
اشتراک
اشتراک
  • قبلی

    گزارش نشست نقد و بررسی کتاب تأملاتی در منطق ابن سینا و سهروردی

  • بعدی

    فراخوان مقاله چهارمین سمینار سالانه انجمن منطق ایران

درباره نویسنده

سید احمد میرصانعی

مطالب مشابه

  • Annonce Reel De Plan Cul Gratuit Nievre

    اردیبهشت ۲۳, ۱۳۹۹
  • انتخاب دکتر اسداله فلاحی به عنوان برگزیده اول گروه فلسفه، منطق و کلام در جشنواره فارابی

    انتخاب دکتر اسداله فلاحی به عنوان برگزیده اول گروه فلسفه، منطق و کلام در جشنواره فارابی

    بهمن ۲۳, ۱۳۹۷
  • The International Journal of Computer and Information Technologies-IJOCIT

    The International Journal of Computer and Information Technologies-IJOCIT

    خرداد ۲۲, ۱۳۹۷

پاسخ دهید لغو پاسخ

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

درباره وبلاگ منطق پژوهی

درباره وبلاگ منطق پژوهی

هدف از تشکیل این وبلاگ، بیان مطالب منطقی-فلسفی روز و تأمین بخشی کوچک از نیازهای منطق‌پژوهان در جهت تأمین مقالات و کتب مربوطه در این باب می‌باشد. به یاری خداوند متعال بتوانیم با راهنمایی‌های دوستان خواننده در جهت بهبود آن گام برداریم .

نوشته‌های تازه

  • Annonce Reel De Plan Cul Gratuit Nievre
  • انتخاب دکتر اسداله فلاحی به عنوان برگزیده اول گروه فلسفه، منطق و کلام در جشنواره فارابی
  • The International Journal of Computer and Information Technologies-IJOCIT
  • کارگاه منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر
  • دوره درسی کوتاه مدت در نظریۀ مجموعه‌ها از سوی دیوید آسپرو

آخرین دیدگاه‌ها

  • سید احمد میرصانعی در مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی
  • بک لینک در مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی
  • عالی نژاد در نمرات آزمون مهارتهای ترجمه – ۱۳۹۵/۰۲/۱۳
  • موحد در مباحثه علمی ۱: تفاوت تابع و نگاشت
  • توحیدی در فایل پاورپوینت کلیات خمس – درس منطق ۱

بایگانی‌ها

سایت‌ها و وبلاگ‌های منطقی

  • Graham Priest
  • Greg Restall
  • logic channel
  • Logic Puzzles
  • دايرة‌المعارف بريتانيکا
  • دايرة‌المعارف راتلج
  • دايرة‌المعارف فلسفی استنفورد
  • دايرة‌المعارف ویکی‌پدیا
  • دایرة المعارف رياضيات
  • دکتر اسدالله فلاحی: منطق جدید
  • دکتر سید محمد علی حجتی
  • دکتر ضیاء موحد
  • دکتر لطف الله نبوی
  • دکتر محمد اردشیر
  • گروه حلقه منطق(عامر آميخته)
  • محمد‌رضا‌آتشين‌صدف‌(يادداشت‌های‌منطقی)
  • منطق‌نامه(سايت تخصصی منطق)

اطلاعات

  • نام‌نویسی
  • ورود
  • خوراک ورودی‌ها
  • خوراک دیدگاه‌ها
  • وردپرس

سایت حلقه منطق

سایت حلقه منطق

سایت‌ها و و بلاگ‌های فلسفی

  • آسمان خيال
  • انجمن علمي فلسفه دانشگاه مفيد
  • اندکی اندیشه: حسینعلی رحمتی
  • پيوند‌های فلاسفه در اينترنت
  • خانه انديشمندان علوم انسانی
  • دايرة‌المعارف اينترنتی فلسفه
  • فلسفه ذهن: ياسر پوراسماعيل
  • گروه فلسفه علم دانشگاه امیر کبیر
  • گروه فلسفه علم دانشگاه شریف

کانال‌ها و گروه‌های تلگرامی منطق

  • Iranian Association for Logic(IAL)
  • Logic supergroup

سایر دوستان

  • آشنائی با علم حقوق
  • اسدالله حسينی
  • امير نوروزی / کُلاژ زندگی
  • خطم‌خالی /سید شهرام دادگستر
  • مدرسه وکالت و تجارت

پیوندهای روزانه

  • سؤالات آزمون‌ دکتری 1390 فلسفه
  • سؤالات آزمون دکتری 1391 فلسفه
  • سؤالات ميان ترم منطق جديد1 پيام نور
  • نامه به وزارت علوم

قدرت گرفته از حلقه منطق

Desktop Version Mobile Version