Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12-13 July 2014, The Fifteenth International Workshop on Logic and Computational
Complexity and Workshop in Honor of Neil Immerman's 60th Birthday
(LCC 2014/ImmermanFest), Vienna, Austria

Date: 12-13 July 2014
Location: Vienna, Austria
Deadline: 2 May 2014

LCC 2014/ImmermanFest will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic. The program will consist of a first day (July 12th) of talks which include both invited lectures and contributed talks selected by the program committee (based on submitted abstracts), and a second day (July 13th) devoted entirely to invited talks in celebration of Neil Immerman's 60th birthday.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, to which Neil Immerman has made numerous fundamental and inspiring contributions. In particular, he has been one of the leading figures in the development of descriptive complexity, which has elucidated intimate and beautiful connections between complexity theory and finite model theory. This year, day two of LCC 2014 will honor Neil's 60th birthday with a series of invited lectures by some of the leading researchers working in areas that have been influenced by Neil's work.

For more information, see http://www.cs.swansea.ac.uk/lcc2014/

We welcome submissions of abstracts, including submissions based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. Abstract submission deadline: May 2nd, 2014

Please note that this newsitem has been archived, and may contain outdated information or links.