Carlos Camarão de Figueiredo

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Camarão, Carlos . XXII Brazilian Symposium on Programming Languages. 2018. (Congresso).

Camarão, Carlos . XXII Brazilian Symposium on Programming Languages (SBLP 2018). 2018. (Congresso).

SBLP 2016.Certified Derivative Based Parsing of Regular Expressions. 2016. (Simpósio).

SBLP 2016.Optional Type Classes for Haskell. 2016. (Simpósio).

SBLP 2015.Apresentação de artigo. 2015. (Simpósio).

SBMF 2015.A Mechanized Textbook Proof of a Type Unification Algorithm. 2015. (Simpósio).

15th Brazilian Symposium on Programming Languages.Controlling the Scope of Instances in Haskell. 2011. (Simpósio).

15th Brazilian Symposium on Programming Languages.First Class Overloading via Intersection Type Parameters. 2011. (Simpósio).

XIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2009).A Solution to Haskell's Multi-Parameter Type Class Dilemma. 2009. (Simpósio).

Curso de Programação Funcional.Programacão Funcional. 2008. (Outra).

Lernet Summer School and Final Meeting.LerNet Summer School. 2008. (Encontro).

XI Simpósio Brasileiro de Linguagens de Programação (SBLP 2007).Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. 2007. (Simpósio).

II Encontro dos membros do Projeto Alfa LerNet.Coordenador do II Encontro dos Membros do Projeto Alfa LerNet (LERNET- Language Engeneering and Rigourous Software Development). 2006. (Encontro).

X Brazilian Symposium on Programming Languages. X Brazilian Symposium on Programming Languages (membro do Comitê de Programa). 2006. (Congresso).

Alfa LerNet - first kick-off meeting.Primeiro Encontro de Membros do Projeto Alfa LerNet (LERNET- Language Engeneering and Rigourous Software Development). 2005. (Encontro).

Alfa LERNet Kick-off Meeting.UFMG institutional presentation and research group interests. 2005. (Encontro).

Curso dado na pós-graduação da Universidad de la Republica (Montevidéu), como parte de Projeto da Associação de Universidades do Grupo Montevidéu.Curso dado na pós-graduação da Universidad de la Republica (Montevidéu), como parte de Projeto da Associação de Universidades do Grupo Montevidéu. 2005. (Outra).

Curso sobre programação genérica, ministrado por Alberto Pardo, como parte de Projeto da Associação de Universidades do Grupo Montevidéu. 2005. (Outra).

IX Simpósio Brasileiro de Linguagens de Programação. IX Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 2005. (Congresso).

XIX Brazilian Symposium on Programming Languages. XIX Brazilian Symposium on Programming Languages (membro do Comitê de Programa). 2005. (Congresso).

Simpósio Brasileiro de Linguagens de Programação. XIX Simpósio Brasileiro de Linguagens de Programação (membro do Comtê de Programa). 2004. (Congresso).

VIII Simpósio Brasileiro de Linguagens de Programação. VIII Simpósio Brasileiro de Linguagens de Programação (membro do comitê de programa). 2004. (Congresso).

VII Simpósio Brasileiro de Linguagens de Programação. VII Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 2003. (Congresso).

VI Simpósio Brasileiro de Linguagens de Programação. VI Simpósio Brasileiro de Linguagens de Programação (Presidente do Comite de Programa). 2002. (Congresso).

V Simpósio Brasileiro de Linguagens de Programação. V Simpósio Brasileiro de Linguagens de Programação (membro do Comite de Programa). 2001. (Congresso).

IV Simpósio Brasileiro de Linguagens de Programação. IV Simpósio Brasileiro de Linguagens de Programação (membro do Comite de Programa). 2000. (Congresso).

III Simpósio Brasileiro de Linguagens de Programação (SBLP'99). III Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 1999. (Congresso).

II Simpósio Brasileiro de Linguagens de Programação (SBLP'97). II Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 1997. (Congresso).

I Simpósio Brasileiro de Linguagens de Programação (SBLP'96). I Simpósio Brasileiro de Linguagens de Programação (membro do Comitê de Programa). 1996. (Congresso).

Camarão, CarlosRibeiro, Rodrigo; MALAQUIAS, J. R.; REIS, L.. Certified Derivative-based Parsing of Regular Expressions. 2018. Dissertação (Mestrado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Ouro Preto.

Camarão, Carlos; BIGONHA, M. A. S.; FERREIRA, K. A. M.; REIS, L. V. S.. Interdependência entre Alocação de Registradores e Escalonamento de Instruções: Estudo Sistemático e Verificação de Soluções. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Camarão, Carlos. O isomorfismo de Curry-Howard via teoria de categorias. 2009. Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais.

MALAQUIAS, J. R.; REIS, L. V. S.;Camarão, Carlos. Concurso para professor na área de Linguagens de Programação (Edital UFOP PROAD 24/2018). 2018. Universidade Federal de Ouro Preto.

Camarão, Carlos; Edleno Moura. Concurso para professor adjunto. 2018. Universidade Federal do Rio Grande do Sul.

Camarão, Carlos; COMBA, J. L. D.; LIMA, R. M. F.. Concurso para professor na área de Linguagens de Programação. 2014. Universidade Federal do Rio Grande do Sul.

Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade Federal de São Paulo.

Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade do Estado de Santa Catarina.

Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade Federal dos Vales do Jequitinhonha e Mucuri - Campus JK.

Camarão, Carlos. Concurso para professor adjunto. 2010. Universidade Federal de São João Del-Rei.

Camarão, Carlos. Concurso para professor adjunto. 2002. Universidade Estadual de Montes Claros.

Controlling the Scope of Instances in Haskell; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Camarão de Figueiredo;

First class Overloading via Intersection Type Parameters; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Carlos Camarão de Figueiredo;

Uso de Haskell para Análise de Processos de Negócio usando BPEL; 2008; Dissertação (Mestrado em Mestrado en Ingeniería de Software) - Universidad Nacional de San Luis, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlos Camarão de Figueiredo;

Provadores de Teoremas para ensino de Lógica de Primeira Ordem; 2008; Dissertação (Mestrado em Mestrado en Ingeniería de Software) - Universidad Nacional de San Luis, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Carlos Camarão de Figueiredo;

Programação genérica usando o Sistema CT; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Camarão de Figueiredo;

Polimorfismo de registros no sistema CT; 2006; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Camarão de Figueiredo;

Adaptação de Conteúdo da Web para o Ambiente WAP; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Camarão de Figueiredo;

Classes de tipo opcionais e com múltiplos parâmertros em Haskell; 2013; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Camarão de Figueiredo;

Type Inference for higher rank types; 2008; Tese (Doutorado em Computer Science) - Utrecht University, ALFA LerNET; Coorientador: Carlos Camarão de Figueiredo;

Inferência de tipos com suporte para sobrecarga baseada no sistema CT; 2004; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais,; Orientador: Carlos Camarão de Figueiredo;

Logica Linear para Especificação de Sistemas Computacionais; 2001; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Carlos Camarão de Figueiredo;

Análise de alternativas ao desenvolvimento de aplicativos integrados aos ERPs IS-U/CCS e R/3 da SAP, na Companhia Energética de Minas Gerais - CEMIG; 2006; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

API de Sistema de recomendação para marketing de retenção; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Semi-unificação e algoritmos de caminhamento em grafos; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Implementação de aplicação usando SMS e protocolo; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Padronização de "short codes", problemas e o protocolo SMPP 5; 0; 2002; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

JEDI: Um Interpretador Interativo para Java; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Comparação de Programas em Linguagens Funcionais e Imperativas de Programação Usando Algoritmos de Ordenação; 1999; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Desenvolvimento e análise de algoritmos de pesquisa e ordenação em uma linguagem funcional moderna; 1997; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Desenvolvimento de Scripts CGI utilizando Haskell; 1997; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Construção de um Simulador de Ambiente Cliente-Servidor; 1997; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Comparação entre as linguagens Eiffel e Java; 1996; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Suporte a Geração de Cursos na Web; 2014; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: Carlos Camarão de Figueiredo;

Suporte a Geração de Cursos na Web; 2014; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: Carlos Camarão de Figueiredo;

Conversão de LaTeX para HTML para Suporte a Criação de Cursos Disponíveis na Internet; 2013; Iniciação Científica - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: Carlos Camarão de Figueiredo;

Implementing the Immix Garbage Collector Algorithm on GHC; ; 2010; Iniciação Científica - Universidade Federal de Minas Gerais, Google (Google Summer of Code Project); Orientador: Carlos Camarão de Figueiredo;

Aplicações e conseqüências de P=NP; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Análise comparativa da eficiência de programas de ordenação em linguagens funcionais e imperativas; 1999; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Carlos Camarão de Figueiredo;

Interpretador de Lambda-Calculus em uma linguagem orientada por objetos; 1996; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Camarão de Figueiredo;

Camarão, Carlos . Mímico. 2004.

Camarão, Carlos ; Cristiano Vasconcelos ; FIGUEIREDO, L. . Sistema CT. 2004.

Camarão, Carlos . tm2itm, itm2sup, rsup. 2004.

Camarão, Carlos ; FIGUEIREDO, L. ; MILANES, A. . Programação de Computadores em C. 2014. (Desenvolvimento de material didático ou instrucional - Livro eletrônico, disponível na Web).

Camarão, Carlos . Programação Funcional (Mestrado em Engenharia de Software). 2008. (Curso de curta duração ministrado/Outra).

Camarão, Carlos . Semântica formal do Sistema CT. 2000 (Orientação de Tese de Doutoramento (em andamento)) .

Camarão, Carlos . Adaptações de Protocolos para Ambiente de Computação Móvel usando Arquitetura WAP. 2000 (Orientação de Tese de Mestrado) .