Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.csd.uu.se/~voronkov/lpar99.html
Email: lpar99@csd.uu.se
Organizers: Rusiko Asatiani (Tbilisi University), Nani Chanishvili (Tbilisi University), Gela Chankvetadze (Tbilisi University), Georgi Chikoidze (Tbilisi University), Temur Khurodze (Tbilisi University), chair, Temur Kutsia (Tbilisi University), Khimuri Rukhaia (Tbilisi University), Konstantin Pkhakadze (Tbilisi University)
Deadline for abstracts: April 20, 1999
Description:
Topics
automated reasoning
logic in databases
logic and complexity
logic and concurrency
model checking
formal methods
knowledge representation and reasoning
reasoning about actions
rewriting
logic programming
constraints
specification and verification using logics
modal logic and computing
temporal logic
description logics
constructive logic
higher-order logic
linear logic
new applications of logic
finite model theory
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.