LPAR23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Date : 22nd May 2020 to 27th May 2020

Place : Spain, Alicante

Website :https://easychair.org/smart-program/LPAR23/index.html

Contact Person:Mihaela Rozman

Description:

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May, 2020.

LPAR23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning will be held in Alicante,Spain on date 2020-05-27

---

Deadline for abstracts/proposals : 15th February 2020

Keynote Speakers : -Robert Nieuwenhuis, UPC Barcelona and Barcelogic -Alexandra Silva, University College London -Mooly Sagiv, Tel Aviv University and Certora

Venue :Alicante, Spanien

Check the event website for more details.