International Joint Conference on Automated Reasoning

Aktualisiert: about 1 month ago

★

3.5 (25 Bewertungen)

Lisbon, PortugalNo publisher

Noch keine Follower.

Themen:

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

Übersicht

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.

Call for Papers

No call for papers information available.

Wichtige Termine

Konferenzdaten

Conference Date

26. Juli 2026 → 29. Juli 2026

Quellenrang

Quelle: CORE2023

Rang: A

Forschungsgebiet: Artificial intelligence, Software engineering, Theory of computation

Karte

Loading feedback section...