
۰۴ مرداد - ۰۷ مرداد ۱۴۰۵
رتبه: 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...