Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

به جلسات چهاردهمین نشست WoLLIC، که در ریودوژانیرو، برزیل، 2 تا 5 ژوئیه 2007 برگزار شد، خوش آمدید. کارگاه منطق، زبان، اطلاعات و محاسبات (WoLLIC) یک انجمن بین المللی سالانه در زمینه بین -تحقیقات انضباطی شامل منطق رسمی، تئوری محاسبات و برنامه نویسی، و زبان طبیعی و استدلال. جلسات WoLLIC به تناوب بین برزیل (و آمریکای لاتین) و سایر کشورها، با هدف پرورش علاقه به منطق کاربردی در میان دانشمندان و دانشجویان آمریکای لاتین، و تسهیل تعامل آنها با جامعه منطق بین‌المللی انجام می‌شود. WoLLIC 2007 بر مبانی محاسبات و برنامه‌نویسی، مدل‌ها و پارادایم‌های جدید فرضیه سی، مفاهیم گسترده اثبات و باور، روش‌های رسمی در توسعه نرم‌افزار و سخت‌افزار متمرکز شد. رویکردهای منطقی به زبان طبیعی و صداسازی. منطق برنامه ها، اقدامات و منابع؛ جنبه های اساسی سازماندهی اطلاعات، جستجو، ?ow، اشتراک گذاری و حفاظت. کمیته برنامه برای این جلسه، متشکل از 28 نفر از همکاران ذکر شده در اینجا، برای ترویج این موضوعات بین رشته ای و بین رشته ای طراحی شده است. WoLLIC 2007 مانند پیشینیان خود شامل سخنرانی‌ها و آموزش‌های دعوت شده و همچنین مقالات ارائه شده بود. کمیته برنامه 52 مقاله ارسالی کامل (به غیر از 15 چکیده اولیه که محقق نشد) دریافت کرد. یک فرآیند بررسی کامل توسط کمیته برنامه، با کمک بیش از 70 داور خارجی، منجر به پذیرش 21 مقاله برای ارائه در جلسه و گنجاندن در این جلسات شد. برنامه کنفرانس همچنین شامل 16 سخنرانی و آموزش توسط 10 سخنران دعوت شده برجسته بود که با کمال میل دعوت کمیته برنامه را پذیرفتند.

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee’s invitation.