LPAR-25, Mauritius, 26-31st May 2024

Flic-en-Flac BeachThe International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. Papers from previous proceedings are listed in DBLP. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. The 25th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-25) will be held at the Ravenala Attitude Hotel in Balaclava, Mauritius, 26-31 May 2024 (so, LPAR-25 will be in 2024 - don't get confused). (Picture credit: Starts, CC BY-SA 4.0, via Wikimedia Commons.)

Pre-Conference Dates 

Abstract submission 16th February 2024
Paper submission 23rd February 2024
Workshop submission 21st March 2024
Workshop notification 5th April 2024
Paper notification 1st April 2024
Paper final version 5th May 2024
Short paper submisison 15th April 2024
Short paper notification 22nd April 2024
Early registration 16th May 2024
Short paper final version 16th May 2024
Standard registration 23nd May 2024
Late registration 27th May 2024



Conference Event Dates 

Workshops 26th May 2024
Welcome Reception 26th May 2024 (evening)
Technical Sessions 27-28th May 2024
Local Cocktails Night 28th May 2024 (evening)
Excursion Day 29th May 2024
Technical Sessions 30-31st May 2024
Farewell Banquet 31st May 2024 (evening)


Submission and Publication

The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.
Program Committee Chairs

Conference Organization

  • Geoff Sutcliffe (University of Miami) - Conference Chair

  • Cezary Kaliszyk (University of Innsbruck) - Workshops and Tutorials Chair

  • Kim Guého  - Local Arrangements

  • Hello Islands - Local Logistics

  • Follow the conference on

Some Previous LPARs