International Joint Conference on Automated Reasoning

更新于：12 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

2026年7月26日 → 2026年7月29日

来源排名

来源: CORE2023

排名: A

研究领域: Artificial intelligence, Software engineering, Theory of computation

地图

Loading feedback section...