ندوة حول المنطق في علوم الحاسوب
يُعدّ مؤتمر ACM -IEEE حول المنطق في علوم الحاسوب ( LICS ) مؤتمرًا أكاديميًا سنويًا يُعنى بنظرية وتطبيق علوم الحاسوب في علاقتها بالمنطق الرياضي . وتُنشر نسخ موسعة من أوراق مختارة من مؤتمر كل عام في مجلات دولية مرموقة مثل Logical Methods in Computer Science و ACM Transactions on Computational Logic .
تاريخ
كان مؤتمر LICS في الأصل برعاية معهد مهندسي الكهرباء والإلكترونيات (IEEE) فقط ، ولكن منذ تأسيس مجموعة الاهتمام الخاصة بالمنطق والحوسبة التابعة لجمعية آلات الحوسبة (ACM) في عام 2014 ، أصبح مؤتمر LICS المؤتمر الرئيسي لمجموعة SIGLOG، تحت الرعاية المشتركة لجمعية آلات الحوسبة (ACM) ومعهد مهندسي الكهرباء والإلكترونيات (IEEE). [ 1 ]
منذ الإصدار الثالث [ 2 ] في عام 1988 وحتى عام 2013، تضمنت صفحة غلاف وقائع المؤتمر عملاً فنياً بعنوان " التبليط غير العقلاني بواسطة الكميات المنطقية" ، للفنان ألفي راي سميث . [ 3 ]
منذ عام 1995، تُمنح جائزة كلين سنويًا لأفضل بحث طلابي. إضافةً إلى ذلك، ومنذ عام 2006، تُمنح جائزة LICS Test-of-Time سنويًا لأحد الأبحاث المنشورة في مؤتمر LICS والتي مضى عليها عشرون عامًا والتي أثبتت جدارتها على مر الزمن. [ 4 ]
جوائز LICS
جائزة اختبار الزمن
في كل عام، ومنذ عام 2006، تُمنح جائزة LICS Test-of-Time تقديراً للمقالات التي نُشرت في وقائع مؤتمر LICS قبل 20 عاماً والتي أصبحت مؤثرة.
2006
- ليو باخماير ، ناحوم ديرشوفيتز ، جيه هسيانغ ، "ترتيبات البراهين المعادلة"
- إي. ألين إيمرسون ، تشين-لونغ لي ، "التحقق الفعال من النموذج في أجزاء من حساب التفاضل والتكامل الافتراضي (ملخص موسع)"
- موشيه ي. فاردي ، بيير وولبر ، "نهج قائم على نظرية الأوتوماتا للتحقق التلقائي من البرامج (تقرير أولي)"
2007
- سامسون أبرامسكي ، "نظرية المجال في شكل منطقي"
- روبرت هاربر ، فوريو هونسيل ، جوردون د. بلوتكين ، "إطار عمل لتحديد المنطق"
2008
- مارتن عبادي ، ليزلي لامبورت ، "وجود عمليات التحسين"
2009
- يوجينيو موجي ، "حساب لامدا الحسابي والمونادات"
2010
- راجيف ألور ، كوستاس كوركوبيتيس ، ديفيد إل. ديل ، "التحقق من النموذج للأنظمة في الوقت الحقيقي"
- جيري ر. بيرش ، إدموند كلارك ، كينيث ل. ماكميلان ، ديفيد ل. ديل ، جيمس هوانغ ، "التحقق من النموذج الرمزي: 10^20 حالة وما بعدها"
- ماكس دوشيه ، صوفي تيسون ، "نظرية أنظمة إعادة الكتابة الأرضية قابلة للتقرير"
- بيتر فريد ، "الأنواع المتكررة المختزلة إلى أنواع استقرائية"
2011
- باتريس غودفروي ، بيير وولبر ، "نهج جزئي للتحقق من النموذج"
- جوشوا هوداس ، ديل ميلر ، "البرمجة المنطقية في جزء من المنطق الخطي الحدسي"
- ديكستر كوزين ، "نظرية اكتمال لجبر كلين وجبر الأحداث المنتظمة"
2012
- توماس هينزينجر ، خافيير نيكولين ، جوزيف سيفاكيس ، سيرجيو يوفين ، "التحقق الرمزي من النموذج للأنظمة في الوقت الحقيقي"
- جان بيير تالبان ، بيير جوفيلو ، "انضباط النوع والتأثير"
2013
- ليو باخماير ، هارالد غانزينغر ، أوفه والدمان ، "قيود المجموعة هي الفئة الأحادية"
- أندريه جويال ، موجينز نيلسون ، جلين وينسكيل ، "المحاكاة الثنائية والخرائط المفتوحة"
- بنيامين سي. بيرس ، دافيد سانجيورجي ، "الكتابة والتصنيف الفرعي للعمليات المتنقلة"
2014
- مارتن هوفمان ، توماس سترايشر ، "نموذج الزمرة الجزئية يدحض تفرد براهين الهوية"
- ديل ميلر ، "منطق ميتافيزيقي متعدد الاستنتاجات"
2015
- إيغور والوكيفيتش ، "اكتمال بديهيات كوزين لحساب ميو الافتراضي"
2016
- باروش عبد الله ، كارليس سيرانز ، بينجت جونسون ، يه-كوين تساي ، "نظريات قابلية القرار العامة لأنظمة الحالة اللانهائية"
- إيليانو سيرفيساتو ، فرانك بفينينغ ، "إطار منطقي خطي"
2017
- ريتشارد بلوت ، خوسيه ديشارنيه ، عباس عدالات ، براكاش بانانغادن ، "محاكاة عمليات ماركوف الموسومة"
- دانييلي توري ، جوردون د. بلوتكين ، "نحو دلالات تشغيلية رياضية"
2018
- مارتن عبادي ، سيدريك فورنيه ، جورج غونتييه ، "التنفيذ الآمن لتجريدات القنوات"
- سامسون أبرامسكي ، كوهي هوندا ، جاي مكوسكر ، "دلالات لعبة مجردة تمامًا للمراجع العامة"
2019
- مارسيلو ب. فيوري ، جوردون د. بلوتكين ، دانييلي توري ، "التركيب المجرد وربط المتغيرات"
- ميردوخ غاباي ، أندرو إم. بيتس ، "نهج جديد للصياغة المجردة يتضمن الروابط"
2020
- لوكا دي ألفارو ، توماس أ. هينزينجر ، "ألعاب أوميغا المنتظمة المتزامنة"
- هيروشي ناكانو ، "طريقة للتكرار"
2021
- آرون ستامب ، كلارك دبليو باريت ، ديفيد إل ديل ، جيريمي آر ليفيت ، "إجراء اتخاذ القرار لنظرية امتدادية للمصفوفات"
- هونغوي شي ، "أنواع التبعية للتحقق من إنهاء البرنامج"
2022
- خوسيه ديشارنيه ، فينيت غوبتا ، رادها جاغاديسان ، براكاش بانانغادن ، "النظير المتري للمحاكاة الضعيفة للعمليات الاحتمالية"
- فرانسوا لاروسيني ، نيكولا ماركي ، فيليب شنويبيلين ، "المنطق الزمني مع الماضي المنسي"
جائزة كلين
في كل مؤتمر، تُمنح جائزة كلين ، تكريماً لـ إس سي كلين ، لأفضل ورقة بحثية طلابية.
انظر أيضاً
- تتضمن قائمة مؤتمرات علوم الحاسوب مؤتمرات أكاديمية أخرى في مجال علوم الحاسوب.
ملحوظات
- ↑ بانانغادين، براكاش (يوليو 2014)، "مرحباً بكم في سيغلوغ!" ، رسالة الرئيس، أخبار سيغلوغ ، 1 ( 1): 2-3.
- ↑ "أرشيف LICS" . ندوة ACM/IEEE حول المنطق في علوم الحاسوب . تم الاطلاع عليه بتاريخ 26 فبراير 2024 .
- ↑ غلاف كتاب " التبليط غير العقلاني بواسطة الكميات المنطقية " من تصميم ألفي راي سميث.
- ↑ موقع جوائز LICS
روابط خارجية
- مؤتمرات علوم الحاسوب النظرية
- مؤتمرات المنطق
- المنطق في علوم الحاسوب
- مؤتمرات IEEE