WoLLIC is an annual international forum on inter-disciplina ry research involving formal logic, computing and programming theory, and natural language and reaso ning. Each meeting includes invited talks and tuto rials as well as contributed papers. The twenty-se venth WoLLIC will be held online from October 5 to 8, 2021.
\n\nWoLLIC 2021 is planned to ha ve a special session with the exhibition of a one- hour documentary film 'Secrets of the Surface - Th e Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions wer e recognized with a Fields Medal just a few years before her untimely death.
\nContributions are invited on all pertinent subject s, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interes t are: foundations of computing and programming; n ovel computation models and paradigms; broad notio ns of proof and belief; proof mining, type theory, effective learnability; formal methods in softwar e and hardware development; logical approach to na tural language and reasoning; logics of programs, actions and resources; foundational aspects of inf ormation organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy o f language. Proposed contributions should be in En glish, and consist of a scholarly exposition acces sible to the non-specialist, including motivation, background, and comparison with related works. Th e paper's main results must not be published or su bmitted for publication in refereed venues, includ ing journals and other scientific meetings.
\n< /div> URL:http://wollic.org/wollic2021/ END:VEVENT END:VCALENDAR