International Joint Conference on Automated Reasoning

更新日時: 16 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...