\n

WoLLI C is an annual international forum on inter-discip linary\n research involving formal logic, c omputing and programming theory,\n and natu ral language and reasoning. Each meeting includes invited\n talks and tutorials as well as co ntributed papers. The Seventeenth\n WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.\n

\nSpecial Event\n 2010 will mark the 50-th anniversary of the first publication of Paul\n Halmos' classi c book Naive Set Theory by Springer Verlag. WoLLIC will\n celebrate this by screening the doc umentary about Paul Halmos which\n was dire cted by George Csicsery: "I want to be a math ematician. A\n conversation with Paul Halmo s" (http://zalafilms.com/films /halmos.html).\n

\n \n \nFor more information, see\n http ://wollic.org/wollic2010/\n

\n\n

\n Contributions are inv ited on all pertinent subjects, with particular\n interest in cross-disciplinary topics. A ti tle and\n single-paragraph abstract should be submitted by February 28.\n

\n URL:/NewsandEvents/Archives/2010/newsitem/2960/6-9 -July-2010-17th-Workshop-on-Logic-Language-Informa tion-and-Computation-WoLLIC-2010-Brasilia-Brazil END:VEVENT END:VCALENDAR