International Joint Conference on Automated Reasoning

آخر تحديث: 2 days ago

★

0.0 (0 التقييمات)

Lisbon, PortugalNo publisher

لا يوجد متابعون بعد.

المواضيع:

Automated Reasoning Logic Computer Science Artificial Intelligence Computational Complexity Distributed Computing Database Systems Hardware Design Programming Languages Software Engineering

نظرة عامة

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

26 يوليو 2026 → 29 يوليو 2026

تصنيف المصدر

المصدر: CORE2023

الترتيب: A

مجال البحث: Artificial intelligence, Software engineering, Theory of computation

الخريطة

Loading feedback section...