
26 мая - 31 мая 2024 г.
Logic Programming and Automated Reasoning
Пока нет подписчиков.
Обзор
LPAR (Logic Programming and Automated Reasoning) is an academic conference focused on automated reasoning, computational logic, and programming languages. The 25th International Conference (LPAR-25) will be held at the Ravenala Attitude Hotel in Balaclava, Mauritius, from May 26-31, 2024.
LPAR 2024: Call for Papers
The 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25) invites submissions of high-quality papers, and proposals for workshops and tutorials.
Details about the call for papers, workshops, and tutorials can be found at the EasyChair CFPs page: https://easychair.org/cfp/lpar2024
Даты конференции
Conference Date
26 мая 2024 г. → 31 мая 2024 г.
Подача
Abstract submission
16 февраля 2024 г.
Paper submission
23 февраля 2024 г.
Workshop submission
21 марта 2024 г.
Уведомление
Paper notification
1 апреля 2024 г.
Workshop notification
5 апреля 2024 г.
Short paper notification
22 апреля 2024 г.
Финальная версия
Paper final version
5 мая 2024 г.
Short paper final version
16 мая 2024 г.
Регистрация
Early registration
16 мая 2024 г.
Standard registration
23 мая 2024 г.
Late registration
27 мая 2024 г.
Другие даты
Welcome Reception
26 мая 2024 г.
Workshops
26 мая 2024 г.
Local Cocktails Night
28 мая 2024 г.
Ранг источника
Источник: CORE2023
Ранг: B
Область исследований: Theory of computation, Artificial intelligence