Logic List Mailing Archive

Newton Institute Workshop: Logic and Databases (Feb/Mar 2006)

Isaac Newton Institute for Mathematical Sciences, Cambridge, UK

Logic and Databases

(27 February to 3 March 2006)

in association with the Newton Institute programme entitled Logic and
Algorithms (16 January to 7 July 2006)

Organisers:  Anuj Dawar (Cambridge) and Martin Grohe (Berlin)

Theme of Workshop:  Logic and databases have been intimately linked since
the rise of relational database systems in the 1970s. Relational databases
can be modelled by finite relational structures, and first-order logic
lies at the core of standard database query languages such as the
Structured Query Language, SQL. As another example, closer to current
research, XML documents can be modelled by labelled unranked trees, and
XML query languages as logics on trees.

The workshop will focus on recent research on logical aspects of the
theory of database systems. These include the applications of logic and
logical methods in the study of databases as well as questions in logic
that arise from this study.  Particular topics of interest include the
expressive power and complexity of query languages; models and languages
for semi-structured data; probabilistic databases; constraint databases,
etc.

Speakers:  Phokion Kolaitis; Leonid Libkin; Frank Neven; Nicole
Schweikardt; Thomas Schwentick; Luc Segoufin; Dan Suciu; Victor Vianu.

Location and Cost:  The workshop will take place at the Newton Institute
where limited accommodation is available.  Three packages are available:

i) 585GBP (single bedroom with private bathroom and breakfast at the
Arundel House Hotel (approx 10 minutes walk from the Institute), lunch and
refreshments during the days that lectures take place from Sunday 26
February to Thursday 2 March 2006)

ii) 140GBP (lunches on days that lectures take place, formal dinner and
refreshments)

iii) 55GBP (registration fee, no meals)

Please indicate on the application form which package you require.

A list of local Guest Houses are available at:

https://www.newton.cam.ac.uk/accommodation.html

Self-supporting participants are very welcome to apply.

Further Information and Application Forms are available from the WWW at:

http://www.newton.cam.ac.uk/programmes/LAA/laaw02.html

Completed application forms should be sent to Tracey Andrew at the address
below, or via email to: t.andrew@newton.cam.ac.uk

Closing Date for the receipt of applications is 30 November 2005