313理论计算机科学www.elsevier.com/locate/entcs前言容积67Ruy de Queiroz、Luiz Carlos Pereira和Edward Hermann Haeusler摘要本卷包含第九届逻辑、语言、信息和计算研讨会(WoLLIC'2002)的会议记录该讲习班于2002年7月30日至8月2日在巴西里约热内卢举行,地点是Ponti f'ıciaUniversidadeCatoo'li cadoRiodeJaneiro(PUC-Rio)。WOLLIC是一系列研讨会,始于1994年,旨在促进纯逻辑和应用逻辑的跨学科研究。 这个想法是有一个论坛,它在逻辑和与信息和计算有关的科学之间的可能交互的数量上足够大,但又足够小,以允许参与者之间进行具体和有用的交互。前几届会议分别于1994年和1995年在累西腓(巴西伯南布哥州)举行;1996年在萨尔瓦多(巴西巴伊亚州)举行;1997年在福塔雷萨(巴西塞阿拉州)举行; 1998年在圣保罗(巴西)举行; 1999年在伊塔蒂亚亚(巴西里约热内卢州)举行; 2000年在纳塔尔(北里奥格兰德州)举行; 2001年在巴西利亚(巴西联邦区)举行。[new]科学赞助来自纯粹和应用逻辑兴趣小组(IGPL),欧洲逻辑,语言和信息协会(FoLLI),Symb olicLogic协 会 (ASL),SocciedadeBrasilei radeComputacaluca(SBC)和Socci edadeBrasilei radeLo′gi ca(SBL)。[en科学研究来自纯粹和应用逻辑研究组(IGPL)、欧洲逻辑、语言和信息协会(FoLLI)、符号逻辑协会(ASL)、巴西计算协会(SBC)和巴西语言协会(SBL)。Funding g a s k indl y g i v eny:(一)国家方案q(Conselho Nacional de Desenvolvimento Cien t 'fucio e T e cno l' ogi co o , th e scie n ti fic and technologica l de velopme n t counci l o f th eBrazilia n Minis t'erio da Ci encia e T e cnol o gia ) ( gra n t 451491/2002 - 5 ) ;(二)CAPE S(F und a puzzo o o o r den a campa puzzo de A p oio ao A p e rfe i cpuzzo amento de Pess o al de N'ıvel Su p erio r , 巴 西 教 育 部 高 等 教 育 发 展 基 金 会(gran n t P AEP 0169/02 - 1 ) ; ( iii ) PUC-Rio ( Ponti f <$$> ıcia Uni-versidadeCa to o <$li c a do Rio de Janei ro).我们在所有与逻辑、语言、信息和计算有关的领域都收到了大量的短文,包括:纯逻辑系统、证明论、模型论、代数逻辑、类型论、范畴论、构造性推理、ICS、lambda和组合演算、程序逻辑和程序语义、逻辑和并发模型、逻辑和复杂性理论、证明复杂性、密码学基础(零知识证明)、描述复杂性、非经典逻辑、非单调逻辑、逻辑和语言、话语表示、逻辑和人工智能、自动演绎、逻辑编程基础、逻辑和计算以及逻辑工程。除了投稿论文(14篇)和特邀演讲(6篇)外,该计划还包括6个辅导讲座:Ricardo Bianconi(Departamento deMatem′aticaPura,InstitutodeMatem′aticaeEsta′ıstica,Universidad eSaoPaulo,Brazil)1571-0661出版社:ElsevierLtd. 操作访问和C CB Y-NC-ND许可证。10.1016/S1571-0661(05)80556-0314数量Felipe Cucker(中华人民共和国香港城市大学数学ErichGrüadel的ModelCheckinggGames(MathematischeGrundlagenderInformatik,RWTHAachen,Germany)元语言Lambda Prolog及其实现(美国明尼苏达大学)自动机理论与逻辑(Automata Theory andLogic),Igor Walukiewicz(法国波尔多大学)知识状态(STATE)作者:Rohit Parikh(美国纽约市立大学布鲁克林学院计算机与信息科学该卷中的所有论文都由程序委员会审查,除了编辑,的毛里西·奥阿-阿拉-林克翁(De partmentofMathematics,UniversidadedeBras'ılia,Brazil)马里奥·贝内维德斯(巴西里约热内卢联邦大学数学研究所)阿努杰·达瓦尔(英国剑桥大学计算机实验室)Philippe de Groote(LORIA,法国)罗杰·马杜克斯(美国爱荷华州立大学数学系)托尼安·皮塔西(加拿大多伦多大学计算机科学系)布鲁诺·普瓦扎(法国里昂第一大学地理研究所)阿尔贝托·波利克里蒂(意大利大学数学与信息学系)格林·温斯克(英国剑桥大学计算机实验室)组织委员会除编辑外,还包括爱德华·赫尔曼·豪斯勒(De partmentofInformatics,Pontif<$$> ciaUniversidadeCatoo<$licadoRiodeJaneiro,Brazil)克劳斯·松植晃(巴西圣保罗大学数学与统计研究所)Anjolina Grisi de Oliveira(巴西伯南布哥联邦大学信息学中心)路易斯·卡洛斯·佩雷拉(De partmentofPhilgery,Pontif<$$> ciaUniversidadeCatoo<$licadoRiodeJaneiro,Brazil)Ruy de Queiroz(巴西伯南布哥联邦大学信息学中心)JorgePetru'cioViana联邦大学工程和系统研究生课程协调巴西里约热内卢)该卷将作为《理论计算机科学电子注释》(ENTCS)系列的第67卷出版该系列通过ElsevierScience B.V. 及 其 赞 助 的 设 施 以 电 子 方 式 出 版 。 ENTCS 系 列 中 的 卷 可 通 过URLhttp://www.elsevier.nl/locate/entcs访问本卷的印刷本已分发给里约热内卢讲习班的与会者。我们非常感谢以下人员,他们的帮助对WoLLIC'2002的成功至关重要2002年7月26日Ruy de Queiroz