Currículo do Sistema de Currículos Lattes (Carlos Augusto Prolo)

Dados pessoais

Nome	Carlos Augusto Prolo
Nome em citações bibliográficas	PROLO, Carlos A.; PROLO, Carlos Augusto; PROLO, Carlos; Prolo, Carlos A.; Prolo, Carlos Augusto; Prolo, Carlos; Carlos A. Prolo; Carlos Prolo; Carlos Augusto Prolo
Sexo	Masculino

Endereço profissional

Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática.
Av Ipiranga 6681, predio 32, sala 505
Partenon
90619-900 - Porto Alegre, RS - Brasil
Telefone: (51) 33203558 Fax: (51) 33203758
URL da Homepage: http://www.inf.pucrs.br/~prolo

Formação acadêmica/Titulação

1995 - 2003

Doutorado em Computer And Information Sciences .
University of Pennsylvania, UPENN, Estados Unidos.
Título: LR Parsing for Tree Adjoining Grammars and its Application to Corpus-based Natural Language Parsing, Ano de Obtenção: 2003.
Orientador: Aravind K Joshi.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Natural Language; Parsing; LR Parsing; Natural Language Parsing; Deterministic Parsing; Statistical Parsing.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computacao Aplicada / Especialidade: Processamento de Linguagem Natural.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
Grande área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Teoria e Análise Lingüística.
Setores de atividade: Informática.

1986 - 1990

Mestrado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: ESTUDO COMPARATIVO DAS LINGUAGENS ESTELLE E LOTOS NA ESPECIFICACAO DE PROTOCOLOS, Ano de Obtenção: 1990.
Orientador:

MAURIZIO TAZZA.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Protocolos de Comunicacao; Especificao Formal; Lotos; Estelle.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Especificacao Formal.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Teleinformática.

1981 - 1985

Graduação em Engenharia Eletrica .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Atuação profissional

Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.

Vínculo institucional

1995 - Atual

Vínculo: Celetista formal, Enquadramento Funcional: Professor adjunto, Carga horária: 40

Vínculo institucional

1991 - 1995

Vínculo: Celetista formal, Enquadramento Funcional: Professor assistente, Carga horária: 40

Vínculo institucional

1990 - 1991

Vínculo: Celetista formal, Enquadramento Funcional: Professor assistente, Carga horária: 24

Vínculo institucional

1987 - 1990

Vínculo: Celetista formal, Enquadramento Funcional: Professor auxiliar, Carga horária: 6

Outras informações

A carga horaria semanal eh uma media do periodo de 3 anos.

Atividades

08/2011 - Atual	Ensino, Ciência da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Computabilidade e Complexidade de Algoritmos (2011/2, 2 turmas)

04/2011 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Membro do NDE (Núcleo Docente Estruturante) do Curso de Engenharia de Computação.

01/2011 - Atual	Direção e administração, Faculdade de Informática, .
	Cargo ou função Coordenador de Curso: Engenharia de Computação.

01/2011 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Membro do Colegiado do Curso de Engenharia de Computação.

12/2009 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Membro do Colegiado do Curso de Ciência da Computação.

08/2009 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Membro do NDE (Núcleo Docente Estruturante) do Curso de Ciência da Computação.

03/2009 - Atual	Ensino, Lingüística e Letras, Nível: Pós-Graduação.
	Disciplinas ministradas Linguagem, Lógica e Computação (2010/II)

08/2006 - Atual	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Representante da FACIN para Mobilidade Acadêmica na Graduação.

2005 - Atual

Atividades de Participação em Projeto, Faculdade de Informática, .

08/2003 - Atual	Pesquisa e desenvolvimento , Faculdade de Informática, .
	Linhas de pesquisa Processamento de Linguagem Natural

8/2003 - Atual

Ensino, Ciência da Computação, Nível: Graduação.

Disciplinas ministradas
Compiladores I (2004/I) , Compiladores II (2006/I), Compiladores (2010/II)
Construção e Análise de Algoritmos (2010/I, 2010/II) e Algoritmos e Estruturas de Dados III (2004/II, 2005/II)
Linguagens Formais (2004/II, 2005/I, 2005/II, 2008/II, 2009/I, 2009/II, 2010/I, 2010/II)
Programação de Software Básico (2008/I, 2008/II, 2009/I, 2009/II, 2010/I, 2010/II, 2011/I)
Sistemas Formais para Computação (2003/II)
Teoria da Computabilidade (2004/II, 2005/I, 2005/II)
Teoria da Computação (2006/I, 2006/II, 2007/I, 2007/II, 2008/I)
Tópicos em Teoria da Computação: Algoritmos (2005/I)

8/2003 - Atual	Ensino, Engenharia de Computação, Nível: Graduação.
	Disciplinas ministradas Estágio Supervisionado EC (2011/I, 2011/II) Laboratório de Programação II (2004/II, 2005/I, 2005/II, 2006/I) Teoria da Computabilidade (2004/I, 2004/II, 2005/I, 2005/II, 2006/I, 2006/II, 2007/I, 2007/II, 2008/I, 2008/II, 2011/I) Trabalho de Conclusão de Curso EC (2011/I, 2011/II)

1995 - Atual	Atividades de Participação em Projeto, Faculdade de Informática, .
	Projetos de pesquisa Projeto FAROL: integrante, financiamento CAPES edital PROCAD, #0035/05-0 Projeto PLN-BR: integrante, edital CNPq-CTINFO #11/2005 projeto #550388/2005-2 Projeto Semantic Share: participant, funding from FCT - Foundation for Science and Technology of the MCT, Portugal

3/1987 - Atual	Pesquisa e desenvolvimento , Faculdade de Informática, Departamento de Computação Aplicada.
	Linhas de pesquisa Processamento de Linguagem Natural Processamento automático de linguagens Linguagens Formais, Autômatos e Compiladores

12/2008 - 12/2009	Direção e administração, Faculdade de Informática, .
	Cargo ou função Coordenador de Curso: Bacharelado em Ciência da Computação.

12/2008 - 12/2009	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Coordenador do Colegiado do Curso de Bacharelado em Ciência da Computação.

09/2006 - 12/2008	Direção e administração, Faculdade de Informática, .
	Cargo ou função Chefe de Departamento: Departamento de Fundamentos da Computação.

8/2003 - 12/2007	Ensino, Engenharias, Nível: Graduação.
	Disciplinas ministradas Programação I (2003/II) Programação para Engenharia I (2003/II) Programação para Engenharia II (2004/I (3 turmas), 2004/II, 2006/I, 2006/II, 2007/I, 2007/II)

3/2005 - 12/2005	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Algoritmos e Estruturas de Dados C (2005/I-2005/II)

7/2004 - 12/2005	Conselhos, Comissões e Consultoria, Faculdade de Informática, .
	Cargo ou função Membro do Colegiado do Curso de Bacharelado em Ciência da Computação.

8/2003 - 12/2003	Ensino, Física, Nível: Graduação.
	Disciplinas ministradas Algoritmos e Programação II (2003/II) Algoritmos e Programação para Física (2003/II)

1/1993 - 12/1995	Atividades de Participação em Projeto, Instituto de Informática, Departamento de Computação Aplicada.
	Projetos de pesquisa Participação Projeto PROTEM-CC

1/1993 - 12/1995	Atividades de Participação em Projeto, Instituto de Informática, Departamento de Computação Aplicada.
	Projetos de pesquisa Coordenação do Projeto ProGramma - Ferramentas para Gramáticas Livres de Contexto

1/1992 - 12/1995	Atividades de Participação em Projeto, Instituto de Informática, Departamento de Computação Aplicada.
	Projetos de pesquisa Participação no Projeto Lexis

3/1990 - 7/1995	Direção e administração, Instituto de Informática, .
	Cargo ou função Coordenador de Laboratorio: Laboratório de Programacao/UNIX.

3/1987 - 7/1995	Ensino, Informatica, Nível: Graduação.
	Disciplinas ministradas Arquitetura de Computadores II (1987/I, 1987/II) Arquitetura de Computadores I(1988/I) Linguagens Formais(1989/I até 1995/I: 13 semestres) Organizacao de Computadores (1989/I, 1989/II, 1992/II, 1993/I, 1993/II, 1994/I, 1994/II)

3/1991 - 7/1994	Ensino, Computação, Nível: Especialização.
	Disciplinas ministradas Algoritmos e Estruturas de Dados: em Especializacao em Ciencias da Computacao, Bage-Urcamp (1994/I) Linguagem Pascal: em Especializacao em Ciencias da Computacao (1991/II) Redes de Computadores de Longa distancia e Locais: em Especializacao em Analise de Sistemas (1991/II) Topicos: Especializacao em Tecnologia em Computacao - Enfase Software (1992/II, 1993/II)

3/1994 - 6/1994	Ensino, Ciência da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Nivelamento do Mestrado (1994/I)

4/1994 - 4/1994	Serviços técnicos especializados , Faculdade de Informática, Departamento de Computação Aplicada.
	Serviço realizado Participacao de banca para Selecao Docente para disciplina de Linguagens de Programacao do Instituto de Ciencias Exatas e Geociencias da Universidade de Passo Fundo.

3/1991 - 2/1994	Direção e administração, Instituto de Informática, .
	Cargo ou função Coordenador de curso: Especializacao em Tecnologia em Computacao: Enfase Software.

1/1991 - 12/1993	Atividades de Participação em Projeto, Instituto de Informática, Departamento de Computação Aplicada.
	Projetos de pesquisa Projeto Implementação de um Compilador Pascal

7/1990 - 7/1990	Serviços técnicos especializados , Faculdade de Informática, Departamento de Computação Aplicada.
	Serviço realizado Elaboracao de provas para Concurso de Admissao de Tecnicos de Nivel Superior (Informatica e Analise de Sistemas) e Nivel Medio(Programador e Operador de Computadores) para a EMATER/RS (abril/1994).

Universidade de Passo Fundo, UPF, Brasil.

Vínculo institucional

1990 - 1990

Vínculo: Professor Visitante, Enquadramento Funcional: PROFESSOR CONVIDADO, Carga horária: 4

Atividades

03/1990 - 06/1990	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas COMPILADORES

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Vínculo institucional

1982 - 1985

Vínculo: Celetista formal, Enquadramento Funcional: Programador de Sistemas, Carga horária: 40

Outras informações

Implementacao e manutencao de software de Sistema Operacional Burroughs B6700 Implementacao e manutencao de software de Teleprocessamento

Atividades

07/1985 - 02/1986	Pesquisa e desenvolvimento , Instituto de Informática, .
	Linhas de pesquisa DESENVOLVIMENTO DE TRANSCEPTOR CSMA-CD JUNTO AO PROJETO REDURGS

11/1982 - 4/1985	Pesquisa e desenvolvimento , Instituto de Informática, .
	Linhas de pesquisa Sistemas Operacionais (Burroughs B6700) Teleprocessamento

7/1981 - 10/1982	Estágios , Instituto de Informática, .
	Estágio realizado .

Linhas de Pesquisa

1.	Processamento de Linguagem Natural

2.	Processamento automático de linguagens

3.	Linguagens Formais, Autômatos e Compiladores

4.	Processamento de Linguagem Natural

5.	DESENVOLVIMENTO DE TRANSCEPTOR CSMA-CD JUNTO AO PROJETO REDURGS

6.	Sistemas Operacionais (Burroughs B6700)

7.	Teleprocessamento

Projetos de Pesquisa

2009 - Atual

Projeto Semantic Share: participant, funding from FCT - Foundation for Science and Technology of the MCT, Portugal

Descrição: Cooperação com a Universidade de Lisboa:"http://semanticshare.di.fc.ul.pt/" A central goal of the SemanticShare project is the development of annotated corpora for Portuguese of the recent and next generations - a PropBank and a LogicalFormBank -, of which a part is parallel to similar banks being produced for other languages, in other projects..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Vera Lúcia Strube de Lima - Integrante / António Horta Branco - Coordenador / Carlos Augusto Prolo - Integrante.
Financiador(es): FCT - Foundation for Science and Technology of the MCT, Portugal - Bolsa / FCT - Foundation for Science and Technology of the MCT, Portugal - Auxílio financeiro..

2006 - 2007

Projeto FAROL: integrante, financiamento CAPES edital PROCAD, #0035/05-0

Descrição: Projeto FAROL: Fortalecimento e Integração nas Competências do Processamento da Língua. O objetivo principal do projeto é impulsionar a área do processamento da língua no país, através da colaboração entre as instituições que vêm desenvolvendo pesquisas nesta área, fortalecendo a formação de mestres e doutores através da associação entre as equipes: NILC da USP/São Carlos, UFSCar, UNISINOS e PUCRS. Equipe líder: PUCRS. Coordenação nacional: Profa. Vera Strube.
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Vera Lúcia Strube de Lima - Coordenador / Outros participantes - Integrante / Carlos Augusto Prolo - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro..

2005 - 2007

Projeto PLN-BR: integrante, edital CNPq-CTINFO #11/2005 projeto #550388/2005-2

Descrição: Projeto PLN-BR: Recursos e Ferramentas para a Recuperação de Informação em Bases Textuais em Português do Brasil. Instituições executoras: USP/São Carlos, UFSCar, UNESP, PUCRS, PUCRJ, UNISINOS, Mackenzie. Coordenação geral: Profa. Maria das Graças Volpe Nunes (USP/São Carlos). Coordenação local na PUCRS: Profa. Vera Strube...
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Vera Lúcia Strube de Lima - Integrante / Outros participantes - Integrante / Maria das Graças Volpe Nunes - Coordenador / Carlos Augusto Prolo - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

1993 - 1995

Participação Projeto PROTEM-CC

Descrição: Geradores de Reconhecedores de GLCs pelo método de Earley; Geradores de Análisadores Sintáticos GLR (Tomita); Processadores de Gramáticas de Atributos. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Carlos Augusto Prolo - Coordenador.
.

1993 - 1995

Coordenação do Projeto ProGramma - Ferramentas para Gramáticas Livres de Contexto

Descrição: Geradores de Reconhecedores de GLCs pelo método de Earley; Geradores de Análisadores Sintáticos GLR (Tomita); Processadores de Gramáticas de Atributos. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Carlos Augusto Prolo - Coordenador.
.

1992 - 1995	Participação no Projeto Lexis
	Descrição: Analisadores léxicos para Linguagem Natural. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Vera Lúcia Strube de Lima - Coordenador / Carlos Augusto Prolo - Integrante. .

1991 - 1993	Projeto Implementação de um Compilador Pascal
	Descrição: Construção de compilador para linguagem Pascal. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Carlos Augusto Prolo - Coordenador. .

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computacao Aplicada / Especialidade: Processamento de Linguagem Natural.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
3.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computacao Aplicada / Especialidade: Bioinformática.
4.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
5.	Grande área: Lingüística, Letras e Artes / Área: Lingüística.
6.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Compiladores.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol	Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Francês	Lê Pouco.
Italiano	Compreende Pouco, Fala Pouco, Lê Razoavelmente.

Prêmios e títulos

1987	III LUGAR NA CLASSIFICACAO GERAL DA II ESCOLA BRASILEIRO-ARGENTINA DE INFORMATICA., PROGRAMA ARGENTINO-BRASILEIRO DE PESQ. & EST. EM INFO..
1985	III LUGAR NO IV CTIC (CONCURSO TECNICO DE INICIACAO CIENTIFICA), JULHO, 1985., SOCIEDADE BRASILEIRA DE COMPUTACAO (SBC).

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	STRUBE DE LIMA, Vera Lúcia ; PROLO, Carlos A. . Introduction to the issue: From Natural Language Processing to Information and Human Language Technology. Inteligencia Artificial, v. 11, p. 5-7, 2007.

2.	PROLO, Carlos A. . Computational Approaches to Pronoun Resolution. Letras de Hoje, v. 41, p. 139-188, 2006.

3.	QUARESMA, Paulo ; RODRIGUES, Irene ; PROLO, Carlos A. ; VIEIRA, Renata . Um sistema de Pergunta-Resposta para uma base de Documentos. Letras de Hoje, v. 41, p. 43-63, 2006.

Livros publicados/organizados ou edições

1.	PROLO, Carlos A. (Org.) ; HESSEL, Fabiano P. (Org.) ; SAYÃO, Míriam (Org.) . ENADE Comentado 2008: Computação. Porto Alegre: EDIPUCRS, 2009. v. 1. 184 p.

Capítulos de livros publicados

1.	PROLO, Carlos A. . An Efficient LR Parser Generator for Tree-Adjoining Grammars. In: Harry Bunt; John Carroll; Giorgio Satta. (Org.). New Developments in Parsing Technology. Dordrecht: Kluwer Academic Publishers, 2004, v. , p. 125-155.

Trabalhos completos publicados em anais de congressos

1.

Fernandes, Paulo Henrique Lemelle ; Lopes, Lucelene ; Prolo, Carlos ; Sales, Afonso ; VIEIRA, Renata . A Fast, Memory Efficient, Scalable and Multilingual Dictionary Retriever. In: Eighth International Conference on Language Resources and Evaluation - LREC 2012, 2012, Istambul. (upcoming) Proceedings of the Eighth International Conference on Language Resources and Evaluation - LREC 2012, 2012.

2.	SAYÃO, Míriam ; PROLO, Carlos A. . Extracting Visions from Textual Requirements Documents. In: 5º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2007, 2007, Rio de Janeiro, Brazil. Anais do XXVI Congresso da Sociedade Brasileira de Computação, 2007. v. 1. p. 1699-1708.

3.	PROLO, Carlos A. . Generating the XTAG English Grammar Using Metarules. In: The 19th International Conference on Computational Linguistics (COLING 2002), 2002, Taipei. Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002), 2002.

4.	PROLO, Carlos A. . Coping with Problems in Grammars Automatically Extracted from Treebanks. In: COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002, Taipei. Proceedings of the COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002.

5.	KINYON, A. ; PROLO, Carlos A. . A Classification of Grammar Development Stratetgies. In: COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002, Taipei. Proceedings of the COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002.

6.	PROLO, Carlos A. . Systematic Grammar Development in the XTAG Project. In: 6th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6), 2002, Veneza. Proceedings of the 6th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6), 2002.

7.

KINYON, A. ; PROLO, Carlos A. . Identifying Verb Arguments and their Syntactic Function in the Penn Treebank. In: Third International Conference on Language Resources and Evaluation (LREC 2002), 2002, Las Palmas. Proceedings of the Third International Conference on Language Resources and Evaluation (LREC 2002), 2002.

8.	PROLO, Carlos A. . Fast LR Parsing Using Rich (Tree Adjoining) Grammars. In: Seventh Conference on Empirical Methods in Natural Language Processing (EMNLP 2002), 2002, Philadelphia. Proceedings of the Seventh Conference on Empirical Methods in Natural Language Processing (EMNLP 2002), 2002.

9.	PROLO, Carlos A. . An Efficient LR Parser Generator for Tree Adjoining Grammars. In: Sixth International Workshop on Parsing Technologies (IWPT 2000), 2000, Trento. Procedings do Sixth Int. workshop on Parsing Technologies (IWPT 2000), 2000. p. 207-218.

10.	PROLO, Carlos A. . Modelagem do metodo de acesso CSMA/CD a redes de computadores por meio de Redes de Petri. In: XIV Seminario Integrado de Software e Hardware, 1987, Salvador, BA. Anais do XIV SEMISH, 1987.

11.	PROLO, Carlos A. . Interface Para Ligacao de Um Tracador Grafico A Um Sistema de Computacao.. In: XII SEMINARIO INTEGRADO DE SOFTWARE E HARDWARE (V CONGRESSO SBC), 1985, Porto Alegre. Anais do XII SEMISH. PORTO ALEGRE, RS, 1985. p. 0-0.

Resumos expandidos publicados em anais de congressos

1.

PROLO, Carlos A. . Handling Unlike Coordinated Phrases in TAG by Mixing Syntactic Category and Grammatical Function. In: Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), 2006, Sydney, Australia. Proceedings of the Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), 2006. p. 137-140.

2.

PROLO, Carlos A. ; QUARESMA, Paulo ; RODRIGUES, Irene ; SALGUEIRO, Pedro ; VIEIRA, Renata . A Question-Answering System for Portuguese. In: KRAQ'05 - IJCAI Workshop on Knowledge and Reasoning for Answering Questions, 2005, Edimburgh. KRAQ'05 - IJCAI Workshop on Knowledge and Reasoning for Answering Questions, 2005. p. 45-48.

Resumos publicados em anais de congressos

1.	PROLO, Carlos A. . Evaluation of semantic rules in an Attribute Grammar. In: Jornada de Computacao da USP, 1994, Sao Paulo. Anais da Academia Brasileira de Ciencias, 1994. v. 66.

Produção técnica

Softwares sem registro de patente

1.	KIMANZI, M. ; KOWEY, E. ; PROLO, Carlos A. ; SARKAR, Anoop ; SCHULER, W. ; XIA, F. . XTAG Project English Grammar and Parser Development. 2001.

Trabalhos técnicos

1.	PROLO, Carlos A. . Program Committee Member International Conference on Computational Processing of Portuguese Language - PROPOR 2012. 2012.

2.	PROLO, Carlos A. . Participação do Comitê de Programa do 7th Brasiliam Symposium in Information and Human Language Technology - STIL'2009. 2011.

3.	PROLO, Carlos A. . Program Committee Member International Conference on Computational Processing of Portuguese Language - PROPOR 2010. 2010.

4.	PROLO, Carlos A. . Participação do Comitê de Programa do 7th Brasiliam Symposium in Information and Human Language Technology - STIL'2009. 2009.

5.	PROLO, Carlos A. . Program Committee Member International Conference on Computational Processing of Portuguese Language - PROPOR 2008. 2008.

6.	PROLO, Carlos A. . Membro do Comitê de Programa do 5º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2007. 2007.

7.	PROLO, Carlos A. ; STRUBE DE LIMA, Vera Lúcia . Coordenador do Comitê de Programa do 4th Workshop in Information and Human Language Technology TIL'2006. 2006.

8.	Prolo, Carlos Augusto . Program Committee Member 7th Workshop on Computational Processing of Written and Spoken Portuguese. 2006.

9.	PROLO, Carlos A. . Membro do Comitê de Programa do 3º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2005. 2005.

10.	PROLO, Carlos A. . Membro do Comitê de Programa do XVIII Concurso de Teses e Dissertações (CTD). 2005.

11.	PROLO, Carlos A. . Membro do Comitê de Programa do 2º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2004. 2004.

12.	BLEAM, Tonia ; HAN, C. H. ; PRASAD, Rashmi ; PROLO, Carlos A. ; SARKAR, Anoop . A Lexicalized Tree Adjoining Grammar for English. 2001.

Demais tipos de produção técnica

1.	MANDOW, L. ; STRUBE DE LIMA, Vera Lúcia ; PROLO, Carlos A. . From Natural Language Processing to Information and Human Language Technology (Special issue of the Revista Iberoamericana de Inteligencia Artificial). 2007. (Editoração/Periódico).

Bancas

Participação em bancas examinadoras

Dissertações

1.

STRUBE DE LIMA, Vera Lúcia; SILVEIRA, M. S.; ALUÍSIO, Sandra M.; PROLO, Carlos A.. Participação em banca de Flipipi Pereira da Silveira. Integração de Ferramentas para Compilação e Exploração de Corpora. 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

2.

NORBERTO DE SOUZA, O.; CLAUDIO, Dalcídio Moraes; PROLO, Carlos A.. Participação em banca de Márcio Dorn. Uma Proposta para a Predição Computacional da Estrutura 3D Aproximada de Polipeptídeos com Redução do Espaço Conformacional Utilizando Análise de Intervalos. 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

3.

NORBERTO DE SOUZA, O.; CLAUDIO, Dalcídio Moraes; PROLO, Carlos A.. Participação em banca de Marcos Borba Cardoso. Uma Proposta para a Predição Computacional da Estrutura Terciária de Polipeptídeos. 2007. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

4.

PROLO, Carlos A.; OLIVEIRA, João Batista Souza de; FINGER, Marcelo. Participação em banca de Leonardo Cavalheiro Langie. Um estudo sobre aplicação do algoritmo kNN à categorização hierárquica de textos. 2003. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Teses de doutorado

1.

IBAÑOS, Ana Maria Tramunt; MARRAFA, Palmira; FOLTRAN, Maria José; PROLO, Carlos A.; COSTA, Jorge Campos da. Participação em banca de Gabriela Betania Hinrichs Conteratto. Adjetivos: uma representação linguiístico-computacional.. 2009. Tese (Doutorado em Lingüística e Letras) - Pontifícia Universidade Católica do Rio Grande do Sul.

2.

COSTA, Jorge Campos da; SCHAF FILHO, Matias; PERINI, Mário A.; PROLO, Carlos A.; IBAÑOS, Ana Maria Tramunt. Participação em banca de Gabriel de Ávila Othero. A Gramática da sentença em português: uma descrição formal com um olho na implementação computacional. 2009. Tese (Doutorado em Lingüística e Letras) - Pontifícia Universidade Católica do Rio Grande do Sul.

Participação em bancas de comissões julgadoras

Outras participações

1.	PROLO, Carlos A.. Parecer de mérito sobre atividades acadêmicas. 2008. Universidade de São Paulo.

Eventos

Participação em eventos

1.	9th International Conference on Computational Processing of the Portuguese Language - PROPOR 2010.Session chair for the Invited Talk profered by Robert Dale. 2010. (Congresso).

2.	Sixth international conference on Language Resources and Evaluation - LREC 2008.Keywords, k-NN and Neural Networks: a Support for Hierarchical Categorization of Texts in Brazilian Portuguese (in name of Susana Azeredo, Silvia Moraes and Vera Lima). 2008. (Congresso).

3.	5º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2007.Extracting Visions from Textual Requirements Documents. 2007. (Oficina).

4.	International Joint Conference IBERAMIA/SBIA/SBRN'2006. 2006. (Congresso).

5.	4th Workshop in Information and Human Language Technology - TIL'2006.Coordenador de Comite de Programa. 2006. (Oficina).

6.	XXV Congresso da Sociedade Brasileira de Computação - SBC 2005. 2005. (Congresso).

7.	3º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2005. 2005. (Oficina).

8.	The 19th International Conference on Computational Linguistics (COLING 2002).Generating the XTAG English Grammar Using Metarules. 2002. (Congresso).

9.	Third International Conference on Language Resources and Evaluation (LREC 2002).Identifying Verb Arguments and their Syntactic Function in the Penn Treebank. 2002. (Congresso).

10.	Seventh Conference on Empirical Methods in Natural Language Processing (EMNLP 2002).Fast LR Parsing Using Rich (Tree Adjoining) Grammars. 2002. (Congresso).

11.	40th Annual Meeting of the ACL (ACL'02). 2002. (Congresso).

12.	COLING 2002 Workshop on Grammar Engineering and Evaluation.Panel on Grammar Formalisms. 2002. (Oficina).

13.	COLING 2002 Workshop on Grammar Engineering and Evaluation.Coping with Problems in Grammars Automatically Extracted from Treebanks; A Classification of Grammar Development Stratetgies. 2002. (Outra).

14.	6th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6).Systematic Grammar Development in the XTAG Project. 2002. (Outra).

15.	Sixth International Workshop on Parsing Technologies (IWPT 2000).An Efficient LR Parser Generator for Tree Adjoining Grammars. 2000. (Oficina).

16.	37th Annual Meeting of the ACL (ACL'99). 1999. (Congresso).

17.	Jornada de Computacao da USP.Evaluation of semantic rules in an Attribute Grammar. 1994. (Outra).

Organização de eventos

1.	VIEIRA, Renata ; STRUBE DE LIMA, Vera Lúcia ; Outros participantes ; PROLO, Carlos A. . 9th International Conference on Computational Processing of the Portuguese Language - PROPOR 2010. 2010. (Congresso).

2.	Sarmento, Simone ; IBAÑOS, Ana Maria Tramunt ; Outros participantes ; PROLO, Carlos A. . IX Encontro de Linguística de Corpus (ELC 2010). 2010. (Congresso).

3.	Sarmento, Simone ; IBAÑOS, Ana Maria Tramunt ; Outros participantes ; PROLO, Carlos A. . IV Escola Brasileira de Linguística Computacional (EBRALC 2010). 2010. (Congresso).

Orientações

Orientações em andamento

Trabalho de conclusão de curso de graduação

1.	Diego Rahn Medaglia. Análise da Predição de Estrutura Secundária de Proteínas baseada em Máquinas de Vetor de Suporte. Início: 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).

Supervisões e orientações concluídas

Trabalho de conclusão de curso de graduação

1.	Alexandre Ferreira dos Santos. Transdução em Treebanks. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

2.	Diego Rahn Medaglia. Análise da Predição de Estrutura Secundária de Proteínas baseada em Máquinas de Vetor de Suporte. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

3.	Rodrigo Rafael Monti Kochenburger; Marlon Gomes Lopes. Parsing Probabilístico para a Língua Portuguesa. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

4.	Leandro Carbonera e Rodrigo Ferri. YAPOST - Yet Another Part-Of-Speech Tagger. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

5.	Waldir Walter Jr.. Gerador de parsers pelo metodo MLR. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

6.	Daniel Antonio Callegari. Projeto ProGramma / Projeto Pascal. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

7.	Marcio Zago de Andrade. Morpheus- Compilador Asimov para linguagem funcional. 1993. 0 f. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

8.	Gilberto Carlos Walker. Uma experiencia inicial no tratamento de linguagem natural. 1993. 0 f. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

9.

Carlos Alberto de Oliveira Miranda. Avaliacao de regras semanticas em uma gramatica de atributos. 1992. 0 f. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlos Augusto Prolo.

10.	Alexandre Collato. Gerador de reconhecedores de linguagens para GLC utilizando metodo de Earley. 1991. 0 f. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

Iniciação Científica

1.

Alex Pato Hoffman. Integracao de um gerador de parsers pelo metodo MLR com um avaliador de atributos. 1995. 0 f. Iniciação Científica. (Graduando em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlos Augusto Prolo.

2.	Gilberto Carlos Walker. Projetos Lexis e Compilador Pascal. 1993. 0 f. Iniciação Científica. (Graduando em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

3.	Carlos Alberto de Oliveira Miranda. Projeto ProGramma. 1993. 0 f. Iniciação Científica. (Graduando em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Carlos Augusto Prolo.

Outras informações relevantes

Estas são informações que não soube onde colocar no LATES (ou não tive paciência para descobrir):

1- TPC member:
    1.1 SBC 2005 CTD 2005
    1.2 TIL 2005
    1.3 PROPOR 2005

2- Reviewer:
    2.1 SBC 2005 CTD 2005
    2.2 SBC 2005 ENIA
    2.3 SBIA 2004
    2.4 SBC 2004 CTD
    2.2 I SBSI
    2.6 TIL 2005
    2.7 JSBC

3. Missões de Trabalho:
    3.1 Universidade de Évora: pelo projeto DIRPI
        (CAPES/GRICES) em Jan 2005
.