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

26 июля 2026 г. → 29 июля 2026 г.

Ранг источника

Источник: CORE2023

Ранг: A

Область исследований: Artificial intelligence, Software engineering, Theory of computation

Карта

Loading feedback section...