Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.bell-labs.com/~libkin/fmt-floc/
Organizers: Michael Benedikt, Leonid Libkin, Jouko Väänänen
Description:
The interactions between finite model theory and computer science have expanded both in depth and in scope in recent years.
Well-established connections, such as those between finite model theory and complexity theory and with relational databases, remain
extremely fruitful. In addition, there are newer connections, such as those between finite model theory and verification, between finite
model theory and linguistics, and between finite model theory and new database models (e.g. spatial and temporal databases). The goal
of this one-day informal workshop is both to allow established researchers in the field of finite model theory to share contributions, and
to introduce these new developments to a wide audience. The workshop will aim for invited talks of an expository nature, covering new
developments and new applications; these talks will be aimed for a FLOC-wide audience. It will also seek contributions geared for those
within the finite model theory community.
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.