International Joint Conference on Automated Reasoning

Actualizado: 5 days ago

★

0.0 (0 Calificaciones)

Lisbon, PortugalNo publisher

Aún no hay seguidores.

Temas:

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

Resumen General

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.

Convocatoria

No call for papers information available.

Fechas Importantes

Fechas del Congreso

Conference Date

26 de julio de 2026 → 29 de julio de 2026

Clasificación de la Fuente

Fuente: CORE2023

Clasificación: A

Campo de Investigación: Artificial intelligence, Software engineering, Theory of computation

Mapa

Loading feedback section...