RELATÓRIO DE ATIVIDADES PARA AQUISIÇÃO DE PROGRESSÃO FUNCIONAL NOME DO DOCENTE: ELTHON ALLEX DA SILVA OLIVEIRA

Transcrição

1 RELATÓRIO DE ATIVIDADES PARA AQUISIÇÃO DE PROGRESSÃO FUNCIONAL UNIDADE ACADÊMICA: CAMPUS ARAPIRACA NOME DO DOCENTE: ELTHON ALLEX DA SILVA OLIVEIRA CLASSE/NÍVEL: PROFESSOR ASSISTENTE / 0 TITULAÇÃO: MESTRE SOLICITAÇÃO: REQUER PROGRESSÃO PARA CLASSE ASSISTENTE DO NÍVEL 0 PERÍODO: BIÊNIO: AGOSTO/006 a AGOSTO/008 PORCENTAGEM REQUERIDA PARA AVALIAÇÃO: ENSINO: 0%; PESQUISA: 0% ; EXTENSÃO: 30%; ADMINISTRAÇÃO: 0% ; OUTRAS ATIVIDADES: 0% A ENSINO Nome da Disciplina (0h) Integrador (0h) (0h) Integrador (0h) (0h) Integrador (0h) Código Ano Curso Anexo TIVI0003-A 006. Medicina Veterinária - TIVI000-A 006. Medicina Veterinária - TIPA003-B 006. Serviço Social - TIPA000-B 006. Serviço Social - TIPA003-A 006. Psicologia - TIPA000-A 006. Psicologia - TRIN003-H 007. Serviço Social -

2 (0h) Integrador (0h) Lógica Aplicada à Computação (60h) Teoria da Computação (80h) Laboratório de Programação (60h) Laboratório de Programação Lógica Aplicada à Computação (33h) TRIN00-H 007. Serviço Social - CPTA00-A 007. Ciência da CPTA0-A 008. Ciência da CPTA00-A 008. Ciência da CPTA003-T (tutoria) CPTA00-T (tutoria) 008. Ciência da 008. Ciência da TRIN003-C 008. Tronco Inicial - A OUTRAS ATIVIDADES DE ENSINO DESCRIÇÃO DAS ATIVIDADES. Orientação de Monitores Discente: Kênia Lamenha de Queiroz Disciplina: Períodos: 007. e Projetos de Ensino (programa bolsa-cotista) - Operacionalização do Laboratório de Informática do Pólo Palmeira dos Índios. (007.) - Digitalização de material didático para deficientes visuais. (007.) 3. Orientações em projetos de Ensino (programa de cotas) - Wagda da Costa Silva (007.) - Flávio Cezar de Oliveira (007.) (mesma declaração que a aluna anterior) - Jacinto Pereira de Araújo Neto (007.) Anexo B EXTENSÃO DESCRIÇÃO DA ATIVIDADE Período Anexo. Coordenação/Organização de Evento Coordenação e Organização Evento: I Encontro de Software Livre do Campus 05//007

3 Organização Evento: I Encontro Intrainstitucional de Pesquisa & Extensão 5/0/007. Projetos de Extensão (Propep/Proex) Coordenador Projeto Pesquisa-Ação: Palmeira Livre - Transformação Social Utilizando Software Livre Orientação a bolsista de Extensão (Pibip- Ação) Discentes: - Felipe Leonardo Barros Farias (Palmeira Livre) - Kênia Lamenha de Queiroz (Palmeira Livre) (Segundo informações colhidas na Proex, a declaração de orientação dos bolsistas é a mesma de Coordenação do Projeto, neste caso a declaração do projeto Palmeira Livre ) Out.007 Set.008 Out Set.008 C ADMINISTRAÇÃO Função de Direção, Coordenação e Assistência às IFES. Descrição da Atividade Período Anexo Coordenador Geral do Pólo Palmeira dos Índios 08/0/ /0/008 Supervisor Geral do Concurso Público para Professor 3/0/007 3 Substituto. Universidade Federal de Alagoas - Campus ª Avaliação do Estágio Probatório da Administradora Lidiane Soares Renovato. Universidade Federal de Alagoas Campus Fev D OUTRAS ATIVIDADES Cursos, Bancas Examinadoras, Órgãos Colegiados da UFAL, Trabalhos Publicados, participação em Congressos, Simpósios, etc. COLEGIADOS Período Anexo Membro do Colegiado do Curso de em Ago Ciência da Computação Atual Membro do Colegiado Conjunto dos Cursos de Set em Psicologia e Serviço Social Fev.008 Membro do Colegiado do Tronco Inicial Set Ago.007 TRABALHOS PUBLICADOS Capítulos de Livros Período Anexo

4 Formal Modeling and Verification of Virtual Community Systems. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan Zha. (Org.). Artificial Intelligence and Integrated Intelligent Information Systems. Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce TRABALHOS COMPLETOS EM ANAIS Período Anexo Formal Modelling and Verification of a Software Component Model using Coloured Petri Nets and Model Checking. In: nd Annual ACM Symposium on Applied Computing (ACM SAC'07) -5 /03/007 Resumos em Eventos A Java Code Annotation Approach for Model Checking Software Systems. In: nd Annual ACM Symposium on Applied Computing (ACM SAC'07), Seul, Coréia. Palmeira Livre: Transformação Social Utilizando Software Livre. IV Congresso Acadêmico da UFAL. -5 /03/007 Dez.008 PARTICIPAÇÃO EM EVENTOS Período Anexo VIII Escola Regional de Computação Bahia - -8 Alagoas - Sergipe /0/008 II Encontro Regional de Formação Humana /06/007 I Pedagógico: Aprendendo a conviver 0/08/007 com a diferença. Apresentação de Palestra: Uso da informática como instrumento de apoio no processo educacional de pessoas com deficiência. I Encontro de Software Livre do Campus 05//007 Apresentação de Palestra: Software Livre na Educação. I Colóquio Institucional em Prol da Inclusão Social 8/09/007 das Pessoas com Deficiência. Pessoas com Deficiências e Inclusão Social. Coordenador de mesa-redonda: Pessoas com Deficiência e Inclusão Social. Organização (coordenado pela Unicamp e Sociedade Brasileira de Computação) Evento: Olimpíada Brasileira de Informática 008 Abr.008 Mai.008 Participação em Cursos Período Anexo Oficina de Formação Continuada para os -

5 Professores do Campus Arapiraca (UFAL) /08/006 Outros Período Anexo Representante Institucional da Sociedade Mar Brasileira da Computação no Campus Arapiraca Atual