\n

LCC m eetings are aimed at the foundational interconnect ions between\n logic and computational comp lexity, as present, for example, in\n impl icit computational complexity,\n deductive formalisms as they relate to complexity,\n complexity aspects of finite model theory and data bases,\n complexity-mindful program derivat ion and verification,\n computational compl exity at higher type, and proof complexity.\n

\nLCC'11 will be held as an affiliat ed meeting of LiCS'11.\n The LCC'11 program will consist of invited lectures as well as\n contributed papers selected by the program com mittee.\n

\n \n \nFor ad ditional information see\n htt p://www.cs.swansea.ac.uk/lcc2011/\n or contact u.berger at swansea.ac.uk\n or denis at cs.mcgill .ca.\n

\n\n

URL:/NewsandEvents/Archives/2011/newsitem/3845/25-
June-2011-Twelfth-International-Workshop-on-Logic-
and-Computational-Complexity-LCC-11-Toronto-ON-Can
ada
END:VEVENT
END:VCALENDAR
\n This year there\n will be no publis hed proceedings, and we welcome informal\n presentations about work in progress, survey paper s, as well as work\n submitted or published elsewhere.\n Paper submission deadline is 20 April.\n

\n