Conference Details

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

Date :

Place : Spain, Alicante

Website :

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

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 for more details.

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

Views: 187

Venue - Map & Directions