International Joint Conference on Automated Reasoning

Cập nhật: khoảng 2 tháng trước

★

3.5 (25 Xếp hạng)

Lisbon, PortugalNo publisher

Chưa có người theo dõi nào.

Chủ đề:

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

Tổng quan

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.

Kêu gọi bài báo

No call for papers information available.

Các ngày quan trọng

Ngày diễn ra Hội nghị

Conference Date

26 tháng 7, 2026 → 29 tháng 7, 2026

Nguồn xếp hạng

Nguồn: CORE2023

Xếp hạng: A

Lĩnh vực nghiên cứu: Artificial intelligence, Software engineering, Theory of computation

Bản đồ

Loading feedback section...