1. CONGRESSOS ORGANIZADOS PELO GRUPO DE PESQUISA:- IMLLAI 98 - International Meeting on Language and Artificial Intelligence Fortaleza-Ce, 14-17 julho. Patrocinado por: LOGIA/ProTeM-CC/CNPq; LIA/UFC- WoLLIC 97 - Workshop on Logic, Language, Infomation and ComputationFortaleza-Ce, 20-22 agosto. Patrocinado por: IGPL, FoLLI, ASL, SBC- SBIA94 - Simpósio Brasileiro de Inteligência ArtificialFortaleza-Ce, 17- 20 outubro. Patrocinado por: CNPq, IBM, BNB, CAPES, FINEP, FUNCAP, UFC, UECE================================================================2. PROJETOS CIENTÍFICOS:- Projeto GODEL, CNpq/FUNCAP. Programa PRONEX Regional (2004/2006) Instituições: UFC, UNIFOR- Lógica, Ciência e Inteligência Artificial (LOCIA) CNPq, Programa PDI-TI.[ (2003-2006). Instituiões Participantes: UFC, UFRJ, UFSC, PUC-Rio, U. NEuchâtel (Suiça)- Formalização e Automatização do Raciocínio - FARFonte Financiadora: CNPq (2003 - 2006)================================================================================3. IMPACTOS SÓCIO-ECONÔMICOS:O Grupo de Lógica e Inteligência Artificial exerce papel relevante na formação de alunos com boa fundamentação teórica, tanto a nível de graduação quanto na pós-graduação em computação no estado do Ceará. Além disso,exerce o papel de aglutinar ações nessa área em escala nacional, liderando projetos envolvendo parte considerável da competência científica nacional na área de lógica e IA. Por tal papel, contribui para a afirmação internacional do prestígio do Brasil na área e contribui para a qualidade e a consolidação da pós-graduação na área de computação no Brasil (vide texto de justificativa do Projeto LOCIA em www.lia.ufc.br/~locia).
