5月26日 - 2024年5月31日
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
2024年5月26日 → 2024年5月31日
投稿
Abstract submission
2024年2月16日
Paper submission
2024年2月23日
Workshop submission
2024年3月21日
通知
Paper notification
2024年4月1日
Workshop notification
2024年4月5日
Short paper notification
2024年4月22日
终稿
Paper final version
2024年5月5日
Short paper final version
2024年5月16日
注册
Early registration
2024年5月16日
Standard registration
2024年5月23日
Late registration
2024年5月27日
其他日期
Welcome Reception
2024年5月26日
Workshops
2024年5月26日
Local Cocktails Night
2024年5月28日
来源排名
来源: CORE2023
排名: B
研究领域: Theory of computation, Artificial intelligence