What are the opening hours?

Monday 09:00 - 18:00 Tuesday 09:00 - 18:00 Thursday 09:00 - 18:00 Friday 09:00 - 18:00 Sunday 09:00 - 18:00

LPAR 25

The International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)

26/05/2024

First day of 6 day work sessions:
Logic for Programming, Artficial Intelligence and Reasoning at Hotel Ravenala, Balaclava.

Software Architectures for Modern Automated Reasoning Systems - Lessons Learned?

Nikolai Bjorner - Microsoft Reaearch Partner
Katalin Fazekas - CaDiCal TU Vienna
Michael Rawson - Vampire TU Vienna
Stephen Schulz - DHBW Stuttgart
Tanel Tammet - Tallinn Uni of Technology

Moderator - Konstantinos Korovin (iProver) Uni of Manchester

Address

Triolet
21307

Opening Hours

Monday	09:00 - 18:00
Tuesday	09:00 - 18:00
Thursday	09:00 - 18:00
Friday	09:00 - 18:00
Sunday	09:00 - 18:00

Website

https://easychair.org/smart-program/LPAR2024/program.html

Alerts

Be the first to know and let us send you an email when LPAR 25 posts news and promotions. Your email address will not be used for any other purpose, and you can unsubscribe at any time.