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.
Klaus Ambos-Spies (Heidelberg)
Carsten Lutz (Bremen):
Nicole Schweikardt (Frankfurt)