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 / 01
TITULAÇÃO: MESTRE
SOLICITAÇÃO: REQUER PROGRESSÃO PARA CLASSE ASSISTENTE DO NÍVEL 02
PERÍODO: BIÊNIO: AGOSTO/2006 a AGOSTO/2008
PORCENTAGEM REQUERIDA PARA AVALIAÇÃO:
ENSINO: 40%; PESQUISA: 0% ; EXTENSÃO: 30%; ADMINISTRAÇÃO: 20% ; OUTRAS ATIVIDADES: 10%
A1 – ENSINO Nome da
Disciplina Código Ano Curso Anexo
Lógica,
Informática e Comunicação (120h)
TIVI0003-A 2006.2 Medicina Veterinária
- Graduação 1
Seminário
Integrador 1 (40h) TIVI0004-A 2006.2 Medicina Veterinária - Graduação 1 Lógica,
Informática e Comunicação (120h)
TIPA003-B 2006.2 Serviço Social -
Graduação 1
Seminário
Integrador 1 (40h) TIPA0004-B 2006.2 Serviço Social - Graduação 1 Lógica, Informática e Comunicação (120h) TIPA003-A 2006.2 Psicologia - Graduação 1 Seminário
Integrador 1 (40h) TIPA0004-A 2006.2 Psicologia - Graduação 1 Lógica,
Informática e Comunicação
TRIN003-H 2007.1 Serviço Social -
(120h)
Seminário
Integrador 1 (40h) TRIN004-H 2007.1 Serviço Social - Graduação 1 Lógica Aplicada à
Computação (60h) CPTA004-A 2007.2 Ciência da Computação - Graduação
1
Teoria da
Computação (80h) CPTA011-A 2008.1 Ciência da Computação - Graduação 1 Laboratório de Programação 2 (60h) CPTA010-A 2008.1 Ciência da Computação - Graduação 1 Laboratório de
Programação 1 CPTA003-T(tutoria) 2008.1 Ciência da Computação - Graduação
1
Lógica Aplicada à
Computação CPTA004-T(tutoria) 2008.1 Ciência da Computação - Graduação 1 Lógica, Informática e Comunicação (33h)
TRIN003-C 2008.1 Tronco Inicial -
Graduação 1
A2 – OUTRAS ATIVIDADES DE ENSINO
DESCRIÇÃO DAS ATIVIDADES Anexo 1. Orientação de Monitores
Discente: Kênia Lamenha de Queiroz
Disciplina: Lógica, Informática e Comunicação Períodos: 2007.1 e 2007.2
1
2. Projetos de Ensino (programa bolsa-cotista)
- Operacionalização do Laboratório de Informática do Pólo Palmeira dos Índios. (2007.2)
- Digitalização de material didático para deficientes visuais. (2007.2)
1 1 3. Orientações em projetos de Ensino (programa de
cotas)
- Wagda da Costa Silva (2007.2)
- Flávio Cezar de Oliveira (2007.2) (mesma declaração que a aluna anterior)
- Jacinto Pereira de Araújo Neto (2007.2)
1 1 1
B – EXTENSÃO
DESCRIÇÃO DA ATIVIDADE Período Anexo 1. Coordenação/Organização de Evento
Coordenação e Organização
Evento: I Encontro de Software Livre do Campus
Organização
Evento: I Encontro Intrainstitucional de Pesquisa & Extensão
2. 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”)
25/10/2007 Out.2007 – Set.2008 Out.2007 - Set.2008 2 2 2
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/01/2007 -
28/01/2008 3 Supervisor Geral do Concurso Público para Professor
Substituto. Universidade Federal de Alagoas - Campus Arapiraca.
23/10/2007 3
1ª Avaliação do Estágio Probatório da Administradora Lidiane Soares Renovato. Universidade Federal de Alagoas – Campus Arapiraca.
Fev.2008 3
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 Graduação em
Ciência da Computação Ago.2007 - Atual 4 Membro do Colegiado Conjunto dos Cursos de
Graduação em Psicologia e Serviço Social Set.2006 - Fev.2008 4 Membro do Colegiado do Tronco Inicial Set.2006 -
Ago.2007 4 TRABALHOS PUBLICADOS
Formal Modeling and Verification of Virtual Community Systems. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of
Networked and Virtual Organizations.
2008 4
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan Zha. (Org.). Artificial
Intelligence and Integrated Intelligent Information Systems.
2007 4
Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce.
2007 4
TRABALHOS COMPLETOS EM ANAIS Período Anexo Formal Modelling and Verification of a Software
Component Model using Coloured Petri Nets and Model Checking. In: 22nd Annual ACM
Symposium on Applied Computing (ACM SAC'07)
11-15
/03/2007 4
Resumos em Eventos
A Java Code Annotation Approach for Model
Checking Software Systems. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), Seul, Coréia.
11-15
/03/2007 4
Palmeira Livre: Transformação Social Utilizando
Software Livre. IV Congresso Acadêmico da UFAL. Dez.2008 4
PARTICIPAÇÃO EM EVENTOS Período Anexo
VIII Escola Regional de Computação Bahia -
Alagoas - Sergipe /04/200814-18 4
II Encontro Regional de Formação Humana 06-09
/06/2007 4 I Seminário Pedagógico: Aprendendo a conviver
com a diferença.
Apresentação de Palestra: Uso da informática como instrumento de apoio no processo
educacional de pessoas com deficiência.
10/08/2007 4
I Encontro de Software Livre do Campus Arapiraca.
Apresentação de Palestra: Software Livre na Educação.
05/12/2007 4
I Colóquio Institucional em Prol da Inclusão Social 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.
28/09/2007 4
Organização (coordenado pela Unicamp e Sociedade Brasileira de Computação)
Evento: Olimpíada Brasileira de Informática 2008
Abr.2008 –
Mai.2008 4
Participação em Cursos Período Anexo
Professores do Campus Arapiraca (UFAL) /08/2006
Outros Período Anexo
Representante Institucional da Sociedade