Place : Spain, Alicante
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.
Deadline for abstracts/proposals : 15th February 2020
Organized By :Technische Universität Wien
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.