International Joint Conference on Automated Reasoning

Mis à jour le : 2 days ago

★

0.0 (0 Évaluations)

Lisbon, PortugalNo publisher

Aucun abonné pour le moment.

Sujets:

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

Aperçu

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.

Appel à communications

No call for papers information available.

Dates importantes

Dates de la conférence

Conference Date

26 juillet 2026 → 29 juillet 2026

Classement source

Source: CORE2023

Classement: A

Domaine de recherche: Artificial intelligence, Software engineering, Theory of computation

Carte

Loading feedback section...