International Joint Conference on Automated Reasoning

업데이트: 8 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...