International Joint Conference on Automated Reasoning

Updated: 4 days ago

★

0.0 (0 Ratings)

Lisbon, PortugalNo publisher

No followers yet.

Topics:

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

Overview

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.

Important Dates

Conference Dates

Conference Date

July 26, 2026 → July 29, 2026

Source Rank

Source: CORE2023

Rank: A

Field of Research: Artificial intelligence, Software engineering, Theory of computation

Map

Loading feedback section...