logo

۰۴ مرداد - ۰۷ مرداد ۱۴۰۵

رتبه: A (CORE2023)Offline

International Joint Conference on Automated Reasoning

به‌روزرسانی شده: 3 days ago
0.0 (0 امتیازات)
Lisbon, PortugalNo publisher

هنوز دنبال‌کننده‌ای وجود ندارد.

نمای کلی

The International Joint Conference on Automated Reasoning (IJCAR) is part of the Federated Logic Conference (FLoC), which brings together leading researchers in logic and computer science. IJCAR 2024 is part of the FLoC 2024 event which takes place July 26-29. The conference will feature keynote speakers Alessandra Russo, Giuseppe De Diacomo, Işıl Dilling, and Leonardo de Moura.

فراخوان مقالات

No call for papers information available.

تاریخ‌های مهم

تاریخ‌های کنفرانس

Conference Date

۴ مرداد ۱۴۰۵۷ مرداد ۱۴۰۵

قبلاً:
  • متعاقباً اعلام خواهد شد

رتبه منبع

منبع: CORE2023

رتبه: A

حوزه پژوهشی: Artificial intelligence, Software engineering, Theory of computation

نقشه

Loading feedback section...