FH-Logo FH-Logo

19th Annual Meeting of the Logic in Computer Science Section
of the Society for Computer Science

16th / 17th November 2012, Mannheim


On November 16/17th, 2012 we will be organising the 19th annual meeting of the logic in computer science section of the society for computer science. The meeting will take place on Friday and Saturday. Anyone who is interested is welcome to participate!

The last meeting took place in Ilmenau on November 4th /5th, 2011.

For further information use the navigation frame on the left page.


Invited Speakers:

Klaus Ambos-Spies (Heidelberg)

Weak Completeness Notions for Exponential Time

Carsten Lutz (Bremen):

Non-Uniform Data Complexity in Ontology-Based Data Access with Description Logics

Nicole Schweikardt (Frankfurt)

On the expressive power of logics with invariant uses of arithmetic predicates