Programa de Pós Graduação em Ciência da Computação

Demais tipos de produção técnica


Número total de itens: 336

2025

1.   MARCHESI, L. ; A. Goldman ; LUNESU, M. I. ; PRZYBYŁ ; AGUIAR, A. ; MORGAN, L. ; WANG, X. ; PINNA, A.. Agile Processes in Software Engineering and Extreme Programming ? Workshops. 2025. Editoração/Anais
2.   VALLE, P. H. D. Membro de Programa de Comitê do GDEDUCOMP 2025 - Grandes Desafios da Educação em Computação. 2025. Membro de Comite
3.   VALLE, P. H. D. Membro de Programa de Comitê do XXI Simpósio Brasileiro de Sistemas de Informação (SBSI). 2025. Membro de Comite
4.   VALLE, P. H. D. Membro de Programa de Comitê do V Simpósio Brasileiro de Educação em Computação (EduComp). 2025. Membro de Comite
5.   VALLE, P. H. D. Revisor para IEEE International Conference on Software Architecture (ICSA). 2025. Revisor
6.   VALLE, P. H. D. Revisor para IEEE Conference on Software Engineering Education and Training (CSEE&T). 2025. Revisor
7.   VALLE, P. H. D. Membro de Programa de Comitê do Workshop sobre Educação em Computação (WEI). 2025. Membro de Comite

2024

1.   de Melo, Ana C. V. 25th International Conference on Formal Engineering Methods - ICFEM. 2024. Comitê de Programa de Congresso
2.   PARDO, T. A. S. ; CESAR JUNIOR, R. M. ; HIRATA JR., R. ; HIRATA, N. S. T.. Inteligência Artificial - curso comemorativo dos 90 anos da Universidade de São Paulo. 2024. Curso de curta duração ministrado/Extensão
3.   VALLE, P. H. D. Membro de Programa de Comitê do IV Simpósio Brasileiro de Educação em Computação (EduComp). 2024. Membro de Comite
4.   VALLE, P. H. D. Membro de Programa de Comitê do XX Simpósio Brasileiro de Sistemas de Informação (SBSI). 2024. Membro de Comite
5.   VALLE, P. H. D. Membro de Programa de Comitê da Trilha de Desenho de Pesquisa do XIX Simpósio Brasileiro de Sistemas Colaborativos (SBSC). 2024. Membro de Comite
6.   VALLE, P. H. D. Revisor de Artigo para o Seminário Integrado de Software e Hardware (SEMISH). 2024. Revisor
7.   VALLE, P. H. D. Membro de Programa de Comitê do Workshop sobre Educação em Computação (WEI). 2024. Membro de Comite
8.   VALLE, P. H. D. Revisor de Artigo para o Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS). 2024. Revisor
9.   VALLE, P. H. D. Membro de Programa de Comitê do XXXVII Simpósio Brasileiro de Engenharia de Software (SBES) - Trilha Educação. 2024. Membro de Comite
10.   VALLE, P. H. D. Membro de Programa de Comitê do XXII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames) - Trilha Educação. 2024. Membro de Comite
11.   VALLE, P. H. D. Membro de Programa de Comitê do XXIII Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC) - Trilha de Pesquisa. 2024. Membro de Comite
12.   VALLE, P. H. D. Membro de Programa de Comitê do XXIII Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC) - Trilha de Relatos de Experiências. 2024. Membro de Comite
13.   VALLE, P. H. D. Membro de Programa de Concurso de Trabalhos de Iniciação Científica (CTIC) do XXX Simpósio Brasileiro de Sistemas Multimídia e Web (Webmidia). 2024. Membro de Comite
14.   VALLE, P. H. D. Membro de Programa de Comitê da Escola Regional de Engenharia de Software (ERES). 2024. Membro de Comite

2023

1.   BRAGHETTO, K. R.; CLAUDINO, M. ; SILVA, T. A.. Programação Web para Meninas. 2023. Curso de curta duração ministrado/Extensão
2.   BRAGHETTO, K. R.; CLAUDINO, M. ; SILVA, T. A.. Introdução à Programação em Python para Meninas. 2023. Curso de curta duração ministrado/Extensão
3.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2023. Comitê de Programa de Congresso
4.   de Melo, Ana C. V. 24th International Conference on Formal Engineering Methods - ICFEM. 2023. Comitê de Programa de Congresso
5.   DURHAM, A. M. Algoritmos em Genômica Computacional. 2023. Curso de curta duração ministrado/Extensão
6.   Mota, G.O.; Parente, R. F.. Introdução a Teoria de Ramsey e Combinatória Extremal. 2023. Curso de curta duração ministrado/Outra
7.   VALLE, P. H. D. Membro de Programa de Comitê do III Simpósio Brasileiro de Educação em Computação (EduComp). 2023. Membro de Comite
8.   VALLE, P. H. D. Member of program committee of The 54rd ACM Technical Symposium on Computing Science Education (SIGCSE). 2023. Membro de Comite
9.   VALLE, P. H. D. Membro de Programa de Comitê do VIII Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software (WASHES). 2023. Membro de Comite
10.   VALLE, P. H. D. Revisor de Artigo para o Seminário Integrado de Software e Hardware (SEMISH). 2023. Revisor
11.   VALLE, P. H. D. Membro de Programa de Comitê do XXXVII Simpósio Brasileiro de Engenharia de Software (SBES) - Trilha Educação. 2023. Membro de Comite
12.   VALLE, P. H. D. Revisor de Artigo para XIV Workshop sobre Aspectos da Interação Humano-Computador para a Web Social (WAIHCWS). 2023. Revisor
13.   VALLE, P. H. D. Membro de Programa de Comitê do XXII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames). 2023. Membro de Comite
14.   VALLE, P. H. D. Membro de Programa de Comitê do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE). 2023. Membro de Comite
15.   VALLE, P. H. D. Membro de Programa de Comitê do XXIX Workshop de Informática na Escola (WIE). 2023. Membro de Comite
16.   VALLE, P. H. D. Member of program committee of the III Workshop on Open Science Practices for Software Engineering (OpenScienSE). 2023. Membro de Comite
17.   VALLE, P. H. D. Revisor de Artigo para o VIII Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST). 2023. Revisor
18.   VALLE, P. H. D. Membro de Programa de Comitê da Escola Regional de Engenharia de Software (ERES). 2023. Membro de Comite
19.   VALLE, P. H. D. Membro de Programa de Comitê do XXII Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC) - Trilha de Ideias Inovadoras e Resultados Emergentes. 2023. Membro de Comite

2022

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2022. Comitê de Programa de Congresso
2.   de Melo, Ana C. V.; PORTO, E. S.. Conceitos de linguagens de programação: da teoria à prática. 2022. Desenvolvimento de material didático ou instrucional - material didático
3.   DURHAM, A. M. Algoritmos em Genômica Computacional. 2022. Curso de curta duração ministrado/Extensão
4.   Finger, Marcelo; SOUSA, M. C. P. ; NAMIUTI, C. ; MONTE, V. M.. Corpus Carolina v1.0 Ada. 2022. Corpus
5.   VALLE, P. H. D. Member of program committee of The 53rd ACM Technical Symposium on Computing Science Education (SIGCSE). 2022. Membro de Comite
6.   VALLE, P. H. D. Membro de Programa de Comitê do II Simpósio Brasileiro de Educação em Computação (EduComp). 2022. Membro de Comite
7.   VALLE, P. H. D. Revisor de Artigo para o Simpósio Brasileiro de Sistemas de Informação (SBSI). 2022. Revisor
8.   VALLE, P. H. D. Membro de Programa de Comitê do XXXIII Simpósio Brasileiro de Informática na Educação (SBIE). 2022. Membro de Comite
9.   VALLE, P. H. D. Membro de Programa de Comitê do XXI Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames). 2022. Membro de Comite
10.   VALLE, P. H. D. Membro de Programa de Comitê da Escola Regional de Engenharia de Software (ERES - Fórum de Graduação). 2022. Membro de Comite

2021

1.   BOTLER, F.; COLLARES, M. ; MARTINS, T. ; MENDONCA, W. ; MORRIS, R. ; Mota, G.O.. Uma introdução à combinatória extremal. 2021. Curso de curta duração ministrado/Outra
2.   BRAGHETTO, K. R.; PERES, S. M. ; WASSERMANN, R.. Introdução à Programação em Scratch. 2021. Curso de curta duração ministrado/Extensão
3.   BRAGHETTO, K. R.; WASSERMANN, R.. Introdução à Programação em Python para Meninas. 2021. Curso de curta duração ministrado/Extensão
4.   de Melo, Ana C. V. Lógica: dos provadores de teoremas à verificação de programas. 2021. Desenvolvimento de material didático ou instrucional - Material didático
5.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2021. Comitê de Programa de Congresso
6.   DURHAM, A. M. Algoritmos em Genômica Computacional. 2021. Curso de curta duração ministrado/Extensão
7.   VALLE, P. H. D. Member of program committee of 20th IEEE International Conference on Advanced Learning Technologies (ICALT 2021). 2021. Membro de Comite
8.   VALLE, P. H. D. Membro de Programa de Comitê do XXXII Simpósio Brasileiro de Informática na Educação (SBIE). 2021. Membro de Comite
9.   VALLE, P. H. D. Membro de Programa de Comitê da Escola Regional de Engenharia de Software (ERES - Fórum de Graduação). 2021. Membro de Comite
10.   VALLE, P. H. D. Consultor ad-hoc de Ações de Extensão da UDESC. 2021. Revisor

2020

1.   de Melo, Ana C. V. Dos dados à programação: introdução à R. 2020. Desenvolvimento de material didático ou instrucional - Material didático
2.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2020. Comitê de Programa de Congresso
3.   Sichman, J.S. Aula 05 - Destrutores. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
4.   Sichman, J.S. Aula 11 - STL - Vector, List e Iteradores. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
5.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 03 - Tipo Abstrato de Dados. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
6.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 03 - Objeto e Classe. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
7.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 03 - Programação OO em C++. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
8.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 05 - Construtores. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
9.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 05 - Escopo e Gerenciamento de Memória. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
10.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 05 - Constantes. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
11.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 05 - Teclado / Code::Blocks. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
12.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 07 - Polimorfismo e Sobrecarga. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
13.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 07 - Redefinição e Métodos Virtuais. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
14.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 07 - Refinamento e Variáveis Polimórficas. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
15.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 09 - Programação Defensiva. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
16.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 09 - Exceções em C++. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
17.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 11 - Namespaces e Templates. 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
18.   Sichman, J.S.; SIQUEIRA, F. L.. Aula 11 - Standard Template Library (STL). 2020. Desenvolvimento de material didático ou instrucional - vídeo educacional
19.   VALLE, P. H. D. Member of program committee of 20th IEEE International Conference on Advanced Learning Technologies (ICALT 2020). 2020. Membro de Comite
20.   VALLE, P. H. D. Member of program committee of The 52rd ACM Technical Symposium on Computing Science Education (SIGCSE). 2020. Membro de Comite

2019

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2019. Comitê de Programa de Congresso
2.   DURHAM, A. M. Algoritmos em Genômica Computacional. 2019. Curso de curta duração ministrado/Extensão
3.   Hirata, N.S.T. Introdução ao NumPy com Jupyter notebook. 2019. Curso de curta duração ministrado/Outra
4.   Mota, G. O. Teoria de Ramsey: Introdução e avanços recentes. 2019. Curso de curta duração ministrado/Outra
5.   VALLE, P. H. D. Member of program committee of 19th IEEE International Conference on Advanced Learning Technologies (ICALT 2019). 2019. Membro de Comite
6.   VALLE, P. H. D. Avaliador do 27º SIICUSP - Simpósio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo. 2019. Revisor
7.   Wassermann, R. Tópicos Avançados de Direito e Tecnologia da Informação II. 2019. Curso de curta duração ministrado/Especialização

2018

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2018. Comitê de Programa de Congresso
2.   Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. Curso de curta duração ministrado/Outra
3.   Hirata, N.S.T. Uma introdução a machine learning (IX Semana de Inverno de Geofísica). 2018. Curso de curta duração ministrado/Outra
4.   KON, F. Membro do Conselho Superior (2017 e 2018). 2018. Membro do Conselho Superior
5.   Sichman, J.S. Multi-Agent Oriented Programming. 2018. Curso de curta duração ministrado/Outra
6.   VALLE, P. H. D. Member of program committee of 18th IEEE International Conference on Advanced Learning Technologies (ICALT 2018). 2018. Membro de Comite
7.   VALLE, P. H. D. Revisor de Artigo para o XXIX Simpósio Brasileiro de Informática na Educação (SBIE). 2018. Revisor
8.   VALLE, P. H. D. Avaliador do 26º SIICUSP - Simpósio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo. 2018. Revisor
9.   Wassermann, R. Inteligência Artificial. 2018. Curso de curta duração ministrado/Outra

2017

1.   BRAGHETTO, K. R.; KON, F.. Revista Computação Brasil 35 - Cidades Inteligentes. 2017. Editoração/Outra
2.   BRAGHETTO, K. R.; VARGAS, C. D. ; SANTOS, C. R. N. ; OLAZAR, M. R. ; RIBAS, C. E. ; ROCHA, E.. Neuroscience Experiments Database - NeuroMat DB. 2017. Banco de dados científico
3.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2017. Comitê de Programa de Congresso
4.   Hirata, N.S.T. Introdução a Machine Learning usando Python. 2017. Curso de curta duração ministrado/Outra
5.   Queiroz, M. Elementos de Computação Musical. 2017. Curso de curta duração ministrado/Outra
6.   VALLE, P. H. D. Revisor de artigo para o XX Workshop em Engenharia de Software Experimental (ESELAW). 2017. Revisor
7.   VALLE, P. H. D. Revisor de artigo para o 44º SEMISH- Seminário Integrado de Software e Hardware. 2017. Revisor

2016

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2016. Comitê de Programa de Congresso
2.   de Melo, Ana C. V.; HANAZUMI, S.. Tutorial: Definição e Verificação de Propriedades-Padrão sobre Programas. 2016. Curso de curta duração ministrado/Outra
3.   GEROSA, M. A. ACM CSCW 2017 ? 20th Computer-Supported Cooperative Work and Social Computing. 2016. Membro do comitê de programa
4.   GEROSA, M.A. SANER?17 - 24th International Conference on Software Analysis, Evolution, and Reengineering. 2016. Membro do comitê de programa
5.   KON, F. Introdução à Ciência da Computação com Python. 2016. Desenvolvimento de material didático ou instrucional - MOOC
6.   KON, F.; ZAMBOM, E.. JAI 1 - Cidades Inteligentes: Tecnologias, Aplicações, Iniciativas e Desafios. 2016. Minicurso
7.   VALLE, P. H. D. Revisor de artigo para o XIX Workshop em Engenharia de Software Experimental (ESELAW). 2016. Revisor
8.   VALLE, P. H. D. Revisor de artigo para o XXVII Simpósio Brasileiro de Informática na Educação (SBIE). 2016. Revisor
9.   VALLE, P. H. D. Revisor de artigo para o IX Fórum de Educação em Engenharia de Software (FEES). 2016. Revisor
10.   VALLE, P. H. D. Revisor de artigo para o XXIV Workshop sobre Educação em Computação (WEI). 2016. Revisor

2015

1.   BOISSIER, Olivier ; Hübner, Jomi F. ; RICCI, A. ; SICHMAN, J. S.. Multi-Agent Oriented Programming (with JaCaMo). 2015. Curso de curta duração ministrado/Outra
2.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2015. Comitê de Programa de Congresso
3.   DURHAM, A. M. ToPS/MYOP: um sistema para caracterização probabilisitca e seu uso na construção rápida de preditores de genes. 2015. Palestra
4.   GEROSA, M. A. ACM CSCW 2016 - Computer-Supported Cooperative Work and Social Computing. 2015. Membro do comitê de programa
5.   GEROSA, M. A. SANER 2016 - 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering. 2015. Membro do comitê de programa
6.   GEROSA, M. A. CHASE 2015 - 7th International Workshop on Cooperative and Human Aspects of Software Engineering. 2015. Membro do comitê de programa
7.   GEROSA, M. A. ICPC 2015 - 23rd International Conference on Program Comprehension - Tool Demonstrations track. 2015. Membro do comitê de programa
8.   GEROSA, M. A. ESELAW 2015 - Experimental Software Engineering Latin American Workshop. 2015. Membro do comitê de programa
9.   GEROSA, M. A. CRIWG 2015 - International Conference on Collaboration and Technology. 2015. Membro do comitê de programa
10.   GEROSA, M. A. ACM SAC 2015 - IILE - Intelligent and Interactive Learning Environments track. 2015. Membro do comitê de programa
11.   GEROSA, M. A. SBCARS 2015 - Brazilian Symposium on Software Components, Architectures and Reuse. 2015. Membro do comitê de programa
12.   GEROSA, M. A. SBES 2015 - Brazilian Symposium on Software Engineering. 2015. Membro do comitê de programa
13.   GEROSA, M. A. WSL 2015 - XVI International Free Software Workshop. 2015. Membro do comitê de programa
14.   GEROSA, M. A. ESELAW 2016 - 13th edition of the Experimental Software Engineering Latin American Workshop. 2015. Membro do comitê de programa
15.   GEROSA, M. A. MSR 2016 - 13th Working Conference on Mining Software Repositories. 2015. Membro do comitê de programa
16.   SICHMAN, J. S. Multi-Agent Oriented Programming (with JaCaMo). 2015. Curso de curta duração ministrado/Outra
17.   VALLE, P. H. D. Revisor de artigo para o XXVI Simpósio Brasileiro de Informática na Educação (SBIE). 2015. Revisor
18.   VALLE, P. H. D. Revisor de artigo para o XXI Workshop de Informática na Escola (WIE). 2015. Revisor

2014

1.   BRAGHETTO, K. R.; CORDEIRO, D.. Introdução à Modelagem e Execução de Workflows Científicos. 2014. Curso de curta duração ministrado/Extensão
2.   BRAGHETTO, K. R.; NASCIMENTO, A. S.. Introdução ao armazenamento de dados de experimentos em Neurociência. 2014. Curso de curta duração ministrado/Extensão
3.   de Melo, Ana C.V. Comitê de Programa - XVII Brazilian Simposium on Formal Methods. 2014. Comitê de Programa de Congresso
4.   de Melo, Ana C.V. XL Conferencia Latinoamericana en Informática (CLEI 2014). 2014. Comitê de Programa de Congresso
5.   de Melo, Ana C.V. E4MAS - 10 Years Later. 2014. Comitê de Programa de Congresso
6.   de Melo, Ana C.V. Computational Science and Its Applications - ICCSA 2014/FMCICA2014. 2014. Comitê de Programa de Congresso
7.   FERNANDEZ, M. ; Finger, Marcelo. Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. Editoração/Anais
8.   GEROSA, M. A. CIAWI 2014 - Ibero Americana WWW/Internet 2014. 2014. Membro do comitê de programa
9.   GEROSA, M. A. CHASE 2014 - 6th International Workshop on Cooperative and Human Aspects of Software Engineering. 2014. Membro do comitê de programa
10.   GEROSA, M. A. CRIWG 2014 - International Conference on Collaboration and Technology. 2014. Membro do comitê de programa
11.   GEROSA, M. A. ACM SAC 2014 - IILE - Intelligent and Interactive Learning Environments track. 2014. Membro do comitê de programa
12.   GEROSA, M. A. CSMR-18/WCRE-21 - European Conference on Software Maintenance and Reengineering. 2014. Membro do comitê de programa
13.   GEROSA, M. A. VEM 2014 - Workshop on Visualization, Evolution and Software Maintenance. 2014. Membro do comitê de programa
14.   GEROSA, M. A. SBSC 2014 - Simpósio Brasileiro de Sistemas Colaborativos. 2014. Membro do comitê de programa
15.   GEROSA, M. A. SBES 2014 - Simpósio Brasileiro de Engenharia de Software. 2014. Membro do comitê de programa
16.   GEROSA, MARCO A. IWESEP 2014 - 6th International Workshop on Empirical Software Engineering in Practice. 2014. Membro do comitê de programa
17.   GEROSA, MARCO A. ESELAW 2014 - Experimental Software Engineering Latin American Workshop. 2014. Membro do comitê de programa
18.   GEROSA, MARCO A. SBQS 2014 - Simpósio Brasileiro de Qualidade de Software. 2014. Membro do comitê de programa
19.   KON, F.; Monteiro, J.. JAI 5 - Empreendedorismo em Computação e Startups de Software. 2014. Minicurso
20.   PAOLUCCI, M. ; SICHMAN, J. S.. Special Issue on ICORE 2011. 2014. Editoração/Periódico
21.   SICHMAN, J. S. Algoritmos e Estruturas de Dados. 2014. Curso de curta duração ministrado/Extensão

2013

1.   BOYER, K. ; Hirata, Nina S.T. ; NEDEL, L. ; SILVA, C. T.. Proceedings of the 26th SIBGRAPI - Conference on Graphics, Patterns and Images. 2013. Editoração/Anais
2.   de Melo, Ana C.V. Comitê de Programa - XVI Brazilian Simposium on Formal Methods. 2013. Comitê de Programa de Congresso
3.   GEROSA, M. A. CIAWI 2013 - Ibero Americana WWW/Internet conference. 2013. Membro do comitê de programa
4.   GEROSA, M. A. CRIWG 2013 - 19th CRIWG Conference on Collaboration and Technology. 2013. Membro do comitê de programa
5.   GEROSA, M. A. ESELAW 2013 - X Experimental Software Engineering Latin American Workshop. 2013. Membro do comitê de programa

2012

1.   BARROS, L. N.; FINGER, M.. Proceedings of the 21st Brazilian Symposium on Artificial Intelligence. 2012. Editoração/Anais
2.   de Melo, Ana C.V. Comitê de Programa - XV Brazilian Simposium on Formal Methods. 2012. Comitê de Programa de Congresso
3.   GEROSA, M. A. SBSC 2012 - Simpósio Brasileiro de Sistemas Colaborativos. 2012. Membro do comitê de programa
4.   GEROSA, M. A. ESELAW 2012 - IX Experimental Software Engineering Latin American Worksho. 2012. Membro do comitê de programa
5.   GEROSA, M. A. WBVS 2012 - II Workshop Brasileiro de Visualização de Software. 2012. Membro do comitê de programa
6.   GEROSA, M. A. SBCars 2012 - 6th Brazilian Symposium on Software Components, Architecture and Reuse. 2012. Membro do comitê de programa
7.   GEROSA, M. A. SBSI 2012 - VIII Simpósio Brasileiro de Sistemas de Informação. 2012. Membro do comitê de programa
8.   GEROSA, M. A. WBMA 2012 - Workshop Brasileiro de Métodos Ágeis. 2012. Membro do comitê de programa
9.   GEROSA, M. A. WDDS 2012 - VI Workshop on Distributed Software Development. 2012. Membro do comitê de programa
10.   GOLDMAN, A. ; KON, F. ; PEREIRA JUNIOR, F. ; POLATO, I. ; PEREIRA, R. F.. Apache Hadoop: conceitos teóricos e práticos, evolução e novas possibilidades. 2012. Minicurso
11.   KON, F.; LAGO, N. P. ; MEIRELLES, P. ; SABINO, V.. Software Livre e Propriedade Intelectual: Aspectos Jurídicos, Licenças e Modelos de Negócio. 2012. Minicurso
12.   PIMENTA, M. ; Queiroz, M ; LAZZARINI, V. ; FORNARI, J. ; KELLER, D.. III Workshop em Música Ubíqua. 2012. Editoração/Anais

2011

1.   ANDRIGHETTO, G. ; BOELLA, G. ; SICHMAN, J. S. ; VERHAGEN, H.. Special Issue on Social Networks and Multiagent Systems. 2011. Editoração/Periódico
2.   BRAGHETTO, K. R.; FERREIRA, J. E. ; VINCENT, J.-M.. From Business Process Model and Notation to Stochastic Automata Network. 2011. Relatório de pesquisa
3.   de Melo, Ana C.V. Comitê de Programa - XIV Brazilian Simposium on Formal Methods. 2011. Comitê de Programa de Congresso
4.   GEROSA, M. A. SBSC 2011 - Simpósio Brasileiro de Sistemas Colaborativos. 2011. Membro do comitê de programa
5.   GEROSA, M. A. IV Workshop sobre Avaliação e Acompanhamento da Aprendizagem em Ambientes Virtuais. 2011. Membro do comitê de programa
6.   GEROSA, M. A. First Workshop on Applications to Provide Learning and Teaching Support (APPLETS). 2011. Membro do comitê de programa
7.   GEROSA, M. A. ESELAW 2011 - VIII Experimental Software Engineering Latin American Worksho. 2011. Membro do comitê de programa
8.   GEROSA, M.A. CRIWG 2011 - 17th CRIWG Conference on Collaboration and Technology. 2011. Membro do comitê de programa
9.   KELLER, D. ; Queiroz, M ; PIMENTA, M. ; FARIA, R. R.. Journal of New Music Research, vol. 40(3), Special Issue: New Paradigms on Computer Music. 2011. Editoração/Periódico
10.   KON, F.; LAGO, N. P. ; MEIRELLES, P. ; SABINO, V.. JAI 2: Software Livre e Propriedade Intelectual: Aspectos Jurídicos, Licenças e Modelos de Negócios. 2011. Curso de curta duração ministrado/Outra
11.   OLIVA, GUSTAVO A. ; ANICHE, MAURICIO FINAVARO ; GEROSA, M. A.. Evolução de Software: ferramentas, técnicas e métricas. 2011. Curso de curta duração ministrado/Outra
12.   QUEIROZ, M.; Kon, Fabio ; MILETTO, E. ; COSTALONGA, L. ; PIMENTA, M.. Computação sonora e musical no Brasil para os próximos 10 anos. 2011. (Participação em mesa-redonda no 13º Simpósio Brasileiro de Computação. 2011. Participação em mesa-redonda no 13º Simpósio Brasileiro de Computação Musical (SBCM 2011
13.   Queiroz, M; MANZOLLI, J. ; GIMENES, M. ; COSTALONGA, L. ; PIMENTA, M. ; MILETTO, E.. Proceedings of the 13th Brazilian Symposium on Computer Music. 2011. Editoração/Anais
14.   Wassermann, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. Membro do comitê de programa
15.   WASSERMANN, R. Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. Membro do comitê de programa
16.   WASSERMANN, R. Membro do comitê de programa do OntoBras-MOST. 2011. Membro do comitê de programa
17.   WASSERMANN, R. Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. Membro do comitê de programa
18.   WASSERMANN, R. Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. Membro do comitê de programa
19.   WASSERMANN, R. Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. Membro do comitê de programa
20.   Wassermann, R. Membro do comitê de programa da IJCAI. 2011. Membro do comitê de programa

2010

1.   A. Goldman. Grades e Nuvens. 2010. Curso de curta duração ministrado/Extensão
2.   BARROS, L. N.; PEREIRA, S. L.. Planejamento Automático. 2010. Desenvolvimento de material didático ou instrucional - Tutorial
3.   BOTLER, F. H.; Torres, L.I.. Se Amarrando em Nós. 2010. Curso de curta duração ministrado/Outra
4.   de Melo, Ana C.V. Comitê de Programa - XIII Brazilian Simposium on Formal Methods. 2010. Comitê de Programa de Congresso
5.   de Melo, Ana C.V. Comitê de Programa - XXIV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2010. Comitê de Programa de Congresso
6.   de Melo, Ana C.V. Comitê de Programa - 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). 2010. Comitê de Programa de Congresso
7.   GEROSA, M. A. CSCWD 2010 - 14th International Conference on Computer Supported Cooperative Work in Design. 2010. Membro do comitê de programa
8.   GEROSA, M. A. SBCARS 2010 - Simpósio Brasileiro de Componentes, Arquiteturas e Reúso. 2010. Membro do comitê de programa
9.   GEROSA, M. A. WIE 2010 - Workshop de Informática na Escola. 2010. Membro do comitê de programa
10.   GEROSA, M. A. WTES/SBES 2010 - Workshop de Teses e Dissertações em Engenharia de Software. 2010. Membro do comitê de programa
11.   GEROSA, M. A. 62ª Reunião Anual da SBPC. 2010. Membro do comitê de programa
12.   GEROSA, M. A. Programa Institucional de Iniciação Científica. 2010. Membro do comitê de programa
13.   WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. Revisor de trabalhos para conferências
14.   WASSERMANN, R. Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. Revisor de trabalhos para conferências
15.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. Revisor de trabalhos para conferências
16.   WASSERMANN, R. Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. Revisor de trabalhos para conferências
17.   WASSERMANN, R. Membro do comitê de programa do VORTE (The Joint 5th International Workshop on Vocabularies, Ontologies and Rules for The Enterprise). 2010. Revisor de trabalhos para conferências

2009

1.   A. Goldman. 28º Simpósio Brasileiro de Redes de Computadores. 2009. Comitê de Programa
2.   BERNARDO, P. C. ; KON, F.. Desenvolvimento de Software de Qualidade através de Testes Automatizados. 2009. Curso de curta duração ministrado/Extensão
3.   BRAGHETTO, K. R.; FERREIRA, J. E. ; VINCENT, J.-M.. Comparison of modeling approaches to business process performance evaluation. 2009. Relatório de pesquisa
4.   GEROSA, M.A. SBSC 2009 - VI Simpósio Brasileiro de Sistemas Colaborativos. 2009. Membro do comitê de programa
5.   GEROSA, M.A. CSCWD 2009 - 13th International Conference on Computer Supported Cooperative Work in Design. 2009. Membro do comitê de programa
6.   KON, F. Desenvolvendo Software de Qualidade com Métodos Ágeis e XP. 2009. Curso de curta duração ministrado/Extensão
7.   MEIRELLES, Paulo. Métricas de Código-Fonte. 2009. Curso de curta duração ministrado/Outra
8.   MELO, Ana C. V. de. Comitê de Programa - XXIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2009. Comitê de Programa de Congresso
9.   MELO, Ana C. V. de. Comitê de Programa - XII Brazilian Simposium on Formal Methods. 2009. Comitê de Programa de Congresso
10.   MELO, Ana C. V. de. Comitê de Programa - SBCARS 2009 - Brazilian Symposium on Software Components, Architectures and Reuse. 2009. Comitê de Programa de Congresso
11.   MELO, Ana C. V. de. Comitê de Programa - International Conference on Formal Engineering Methods. 2009. Comitê de Programa de Congresso
12.   PIMENTA, M. ; KELLER, D. ; FARIA, R. R. ; Queiroz, M ; RAMALHO, G ; CABRAL, G.. Proceedings of the 12th Brazilian Symposium on Computer Music. 2009. Editoração/Anais
13.   WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. Revisor de trabalhos para conferências
14.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. Revisor de trabalhos para conferências
15.   WASSERMANN, R. Membro do comitê de programa do MOST-ONISW (The Joint International workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web). 2009. Revisor de trabalhos para conferências

2008

1.   A. Goldman. 27º Simpósio Brasileiro de Redes de Computadores. 2008. Comitê de Programa
2.   A. Goldman; F. Kon ; R. Camargo. Computational Grids: Basic Concepts and Concrete Examples. 2008. Curso de curta duração ministrado/Outra
3.   BRANDÃO, L. O.; João Fábio Porto. Laboratório de Ensino de Matemática: curso sobre educação à distância (EAD) para professores de Matemática. 2008. Curso de curta duração ministrado/Extensão
4.   BRANDÃO, L. O.; MOURA, Janine Gomes ; João Fábio Porto ; Bárbara Rinaldi. LEM - Laboratório de Ensino de Matemática. 2008. Curso de curta duração ministrado/Extensão
5.   DOMINGUES, H. ; FERREIRA, J. E. ; KON, F.. Evolução de Bancos de Dados em Métodos Ágeis. 2008. Curso de curta duração ministrado/Extensão
6.   GEROSA, M.A. SBSC 2008 - V Simpósio Brasileiro de Sistemas Colaborativos. 2008. Membro do comitê de programa
7.   KON, F. Introdução a Métodos Ágeis de Desenvolvimento de Software. 2008. Curso de curta duração ministrado/Extensão
8.   KON, F.; GOLDMAN, A.. Grades Computacionais: Conceitos Fundamentais e Casos Concretos. 2008. Curso de curta duração ministrado/Extensão
9.   KON, F.; GOLDMAN, A. ; FERREIRA, J. E.. Cooperativa de Métodos Ágeis de Desenvolvimento de Software. 2008. Desenvolvimento de material didático ou instrucional - Material didático multimídia
10.   MELO, Ana C. V. de. Comitê de Programa - XXII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2008. Comitê de Programa de Congresso
11.   MELO, Ana C. V. de. Comitê de Programa - XI Brazilian Simposium on Formal Methods. 2008. Comitê de Programa de Congresso
12.   WASSERMANN, R. Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. Revisor de trabalhos para conferências
13.   WASSERMANN, R. Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. Revisor de trabalhos para conferências
14.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. Revisor de trabalhos para conferências
15.   WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. Revisor de trabalhos para conferências

2007

1.   A. Goldman. 26º Simpósio Brasileiro de Redes de Computadores. 2007. Comitê de Programa
2.   BARRERA, Junior; CESAR JR, Roberto M. Análise de Expressão Gênica. 2007. Curso de curta duração ministrado/Outra
3.   BRANDÃO, L. O. Construção de Cursos de Geometria a Distância, para Professores de Matemática. 2007. Curso de curta duração ministrado/Extensão
4.   BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2007. Curso de curta duração ministrado/Extensão
5.   BRANDÃO, L. O.; Cristina Cerri ; Sérgio Alves. Pontos Notáveis do Triângulo. 2007. Curso de curta duração ministrado/Extensão
6.   DIGNUM, Virginia ; BOISSIER, Olivier ; SICHMAN, J. S.. Multi-Agent Organizations. 2007. Curso de curta duração ministrado/Outra
7.   G. J. F. Banon ; BARRERA, J. ; BRAGA-NETO, Ulisses de Mendonça ; HIRATA, N. S. T.. Proceedings of ISMM 2007 (8th International Symposium on Mathematical Morphology) - Extended Abstracts - Volume 2. 2007. Editoração/Anais
8.   GEROSA, M.A. SBIE 2007 - Simpósio Brasileiro de Informática na Educação. 2007. Membro do comitê de programa
9.   GEROSA, M.A. SBIE 2007 - Simpósio Brasileiro de Informática na Educação - Concurso de teses e dissertações. 2007. Membro do comitê de programa
10.   GEROSA, M.A. SBSC 2007 - IV Simpósio Brasileiro de Sistemas Colaborativos. 2007. Membro do comitê de programa
11.   GEROSA, M.A. WWW / Internet 2007 - Conferência IADIS Ibero Americana WWW/Internet. 2007. Membro do comitê de programa
12.   HÜBNER, Jomi Fred ; SICHMAN, J. S.. Organização em Sistemas de Agentes. 2007. Curso de curta duração ministrado/Outra
13.   KON, F.; GOLDMAN, A.. Introdução a Métodos Ágeis de Desenvolvimento de Software. 2007. Curso de curta duração ministrado/Extensão
14.   KON, F.; GOLDMAN, A.. Laboratório de Programação Extrema. 2007. Curso de curta duração ministrado/Extensão
15.   MEIRELLES, Paulo. Introdução a TV Digital com Ginga NCL. 2007. Curso de curta duração ministrado/Outra
16.   MELO, Ana C. V. de. Comitê de Programa - 11th Brazilian Symposium on Programming Languages. 2007. Comitê de Programa de Congresso
17.   MELO, Ana C. V. de. Comitê de Programa - International Workshop on Ontology, Conceptualization and Epistemology for Software and Systems Engineering. 2007. Comitê de Programa de Congresso
18.   MELO, Ana C. V. de. Comitê de Programa - XXI SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2007. Comitê de Programa de Congresso
19.   MELO, Ana C. V. de. Comitê de Programa - SBCARS 2007 - Brazilian Symposium on Software Components, Architectures and Reuse. 2007. Comitê de Programa de Congresso
20.   MELO, Ana C. V. de. Comitê de Programa - Latin American Autonomic Computing Symposium. 2007. Comitê de Programa de Congresso
21.   MELO, Ana C. V. de. Comitê de Programa - 2007 SIWN International Conference on Complex Open Distributed Systems (CODS2007). 2007. Comitê de Programa de Congresso
22.   MELO, Ana C. V. de. Steering Committee - X Brazilian Simposium on Formal Methods. 2007. Comitê de Programa de Congresso
23.   MELO, Ana C. V. de. Steering Committee - Latin American Autonomic Computing Symposium. 2007. Comitê de Programa de Congresso
24.   MELO, Ana C. V. de; Moreira, Alvaro. Chair Comitê de Programa - X Brazilian Simposium on Formal Methods. 2007. Coordenação de Comitê de Programa de Congresso
25.   RAMALHO, G ; MALT, M. ; Kon, Fabio ; Iazzetta, Fernando ; Queiroz, M. Proceedings of the 11th Brazilian Symposium on Computer Music. 2007. Editoração/Anais
26.   WASSERMANN, R. Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. Revisor de trabalhos para conferências

2006

1.   A. Goldman. Métodos Ágeis de Desenvolvimento de Software. 2006. Curso de curta duração ministrado/Outra
2.   A. Goldman. 24º Simpósio Brasileiro de Redes de Computadores. 2006. Comitê de Programa
3.   BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2006. Curso de curta duração ministrado/Extensão
4.   BRANDÃO, L. O. Construção de Cursos a Distância de Geometria: para professores de Matemática. 2006. Curso de curta duração ministrado/Extensão
5.   DURHAM, A. M. Programming Perl for Bioinformatics. 2006. Curso de curta duração ministrado/Extensão
6.   FINGER, M. Resolvedores SAT. 2006. Curso de curta duração ministrado/Outra
7.   GEROSA, M.A. SBIE 2006 - Simpósio Brasileiro de Informática na Educação. 2006. Membro do comitê de programa
8.   GEROSA, M.A. SBSC 2006 - III Simpósio Brasileiro de Sistemas Colaborativos. 2006. Membro do comitê de programa
9.   GEROSA, M.A. WWW / Internet 2006 - Conferência IADIS Ibero Americana WWW/Internet. 2006. Membro do comitê de programa
10.   HIRATA JR., R. Introdução à bioinformática. 2006. Curso de curta duração ministrado/Extensão
11.   MELO, Ana C. V. de. Comitê de Programa - IX Brazilian Symposium on Formal Methods. 2006. Comitê de Programa de Congresso
12.   MELO, Ana C. V. de. Chair Comitê de Programa - Latin American Autonomic Computing Symposium. 2006. Coordenação de Comitê de Programa de Congresso
13.   MELO, Ana C. V. de. Steering Committee - Latin American Autonomic Computing Symposium. 2006. Coordenação de Comitê de Programa de Congresso
14.   MELO, Ana C. V. de. Steering Committee - IX Brazilian Symposium on Formal Methods. 2006. Comitê de Programa de Congresso
15.   MELO, Ana C. V. de. Comitê de Programa - XX Simpósio Brasileiro de Engenharia de Software. 2006. Comitê de Programa de Congresso
16.   WASSERMANN, R. Membro do comitê de programa do SBIA/IBERAMIA. 2006. Revisor de trabalhos para conferências
17.   WASSERMANN, R. Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. Revisor de trabalhos para conferências
18.   WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. Revisor de trabalhos para conferências
19.   WASSERMANN, R. Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. Revisor de trabalhos para conferências
20.   WASSERMANN, R. Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. Revisor de trabalhos para conferências

2005

1.   A. Goldman. 23º Simpósio Brasileiro de Redes de Computadores. 2005. Comitê de Programa
2.   BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2005. Curso de curta duração ministrado/Extensão
3.   BRANDÃO, L. O. Construção de cursos à distância de geometria: pprofessores de matemática. 2005. Curso de curta duração ministrado/Extensão
4.   DURHAM, A. M. Perl for Bioinformatics. 2005. Curso de curta duração ministrado/Extensão
5.   MELO, Ana C. V. de. Minicurso: Specification and Verification of Mobile Agents using pi-calculus. 2005. Curso de curta duração ministrado/Outra
6.   MELO, Ana C. V. de. Comitê de Programa do VIII Brazilian Symposium on Formal Methods. 2005. Comitê de Programa de Congresso
7.   MELO, Ana C. V. de. Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. Comitê de Programa de Congresso
8.   SICHMAN, J. S. Introdução aos Sistemas Multi-Agentes. 2005. Curso de curta duração ministrado/Outra
9.   SICHMAN, J. S.; BOISSIER, Olivier. Organization-Oriented Programming. 2005. Curso de curta duração ministrado/Outra
10.   SICHMAN, J. S.; DIGNUM, Virginia ; CASTELFRANCHI, Cristiano. Special Issue on Agents Organizations. 2005. Editoração/Periódico
11.   WASSERMANN, R. Raciocínio Aproximado. 2005. Curso de curta duração ministrado/Extensão

2004

1.   A. Goldman. 22° Simpósio Brasileiro de Redes de Computadores. 2004. Comitê de Programa
2.   DURHAM, A. M. Unix for Bioinformatics. 2004. Curso de curta duração ministrado/Extensão
3.   DURHAM, A. M. Programming Perl for Bioinformatics. 2004. Curso de curta duração ministrado/Extensão
4.   HIRATA, N. S. T. Notas de aula de Algebra Booleana e Aplicacoes. 2004. Desenvolvimento de material didático ou instrucional - Notas de aula
5.   Iazzetta, Fernando ; Queiroz, M. I Seminário Música, Ciência e Tecnologia: Acústica Musical. 2004. Editoração/Anais
6.   MELO, Ana C. V. de. Comitê de Programa do XVIII Simpósio Brasileiro de Engenharia de Software. 2004. Comitê de Programa de Congresso
7.   MELO, Ana C. V. de. Comitê de Programa do VII Brazilian Symposium on Formal Methods. 2004. Comitê de Programa de Congresso
8.   SICHMAN, J. S. Orgnaization-Oriented Programming in Multi-Agent Systems. 2004. Curso de curta duração ministrado/Outra
9.   SICHMAN, J. S.; BOISSIER, Olivier. Organization Oriented Programming in Multi-Agent Systems. 2004. Curso de curta duração ministrado/Outra

2003

1.   A. Goldman. Algoritmos para Computação em Grade. 2003. Curso de curta duração ministrado/Extensão
2.   A. Goldman. Modelos para Computação Paralela. 2003. Curso de curta duração ministrado/Especialização
3.   A. Goldman; F. Kon . Programação Extrema. 2003. 2003.
4.   A. Goldman; F. Kon. Métodos Ágeis de Desenvolvimento de Software. 2003. Curso de curta duração ministrado/Outra
5.   BARRERA, Junior; CESAR JR, R M ; SILVA, Paulo J S. Microarrays. 2003. Curso de curta duração ministrado/Outra
6.   DURHAM, A. M. Programming in perl for bioinformatics. 2003. Curso de curta duração ministrado/Extensão
7.   DURHAM, A. M. Programming Perl for Bioinformatics. 2003. Curso de curta duração ministrado/Extensão
8.   DURHAM, A. M. Programming Perl for Bioinformatics. 2003. Curso de curta duração ministrado/Extensão
9.   FUKS, Hugo ; GEROSA, M.A. ; PIMENTEL, Mariano. Projeto de Comunicação em Groupware: Desenvolvimento, Interface e Utilização. 2003. Curso de curta duração ministrado/Outra
10.   GOLDMAN, A. ; KON, F.. Métodos Ágeis e Programação eXtrema: Desenvolvendo Software com Qualidade e Agilidade. 2003. Curso de curta duração ministrado/Extensão
11.   HÜBNER, Jomi Fred ; SICHMAN, J. S.. Organização de Sistemas Multiagentes. 2003. Desenvolvimento de material didático ou instrucional - notas de Aula - 50 páginas
12.   MELO, Ana C. V. de. Tutorial Convidado - Formal Specifcation and Verification of Mobile Agents using Pi-Calculus. 2003. Curso de curta duração ministrado/Outra
13.   MELO, Ana C. V. de. Comitê de Programa do XVII Simpósio Brasileiro de Engenharia de Software. 2003. Comitê de Programa de Congresso
14.   MELO, Ana C. V. de. Comitê de Programa do VI Workshop de Métodos Formais. 2003. Comitê de Programa de Congresso
15.   SICHMAN, J. S.. Aplicação de Organização de Sistemas Multiagentes em Futebol de Robôs. 2003. Desenvolvimento de material didático ou instrucional - Notas de Aula - 29 páginas
16.   SICHMAN, J. S.; HÜBNER, Jomi Fred. Organização de Sistemas Multiagentes. 2003. Curso de curta duração ministrado/Extensão

2002

1.   A. Goldman; F. Kon ; C. Ferreira. Programação eXtrema: Uma experiência didática. 2002. Curso de curta duração ministrado/Especialização
2.   DURHAM, A. M. Programming Perl for Bioinformatics. 2002. Curso de curta duração ministrado/Extensão
3.   DURHAM, A. M. Programming Perl For Bioinformatics. 2002. Curso de curta duração ministrado/Extensão
4.   FUKS, Hugo ; RAPOSO, Alberto ; GEROSA, M.A.. Engenharia de Groupware: Desenvolvimento de Aplicações Colaborativas. 2002. Curso de curta duração ministrado/Outra
5.   MELO, Ana C. V. de. Comitê de Programa do XVI Simpósio Brasileiro de Engenharia de Software. 2002. Comitê de Programa de Congresso

2001

1.   MELO, Ana C. V. de. Comitê de Programa do XV Simpósio Brasileiro de Engenharia de Software. 2001. Comitê de Programa de Congresso
2.   MELO, Ana C. V. de. Chair - Comitê de Programa do IV Workshop de Métodos Formais. 2001. Coordenação de Comitê de Programa de Congresso
3.   WASSERMANN, R.; Herzig, Andreas. Belief Change, from AGM to realistic models. 2001. Curso de curta duração ministrado/Extensão

2000

1.   BRANDÃO, L. O. iMática - Matemática Interativa na Internet. 2000. Desenvolvimento de material didático ou instrucional - "Site" didático sobre Matemática e afins
2.   MELO, Ana C. V. de. Comitê de Programa do XIV Simpósio Brasileiro de Engenharia de Software. 2000. Comitê de Programa de Congresso
3.   MELO, Ana C. V. de. Comitê de Programa do III Workshop de Métodos Formais. 2000. Comitê de Programa de Congresso
4.   SICHMAN, J. S. Desenvolvimento de Aplicações para a Internet - Parte I: Intranet e Groupware. 2000. Curso de curta duração ministrado/Extensão
5.   SICHMAN, J. S. Conceitos Fundamentais de Matemática. 2000. Desenvolvimento de material didático ou instrucional - notas de Aula - 72 páginas
6.   SICHMAN, J. S. Métodos de Contagem. 2000. Desenvolvimento de material didático ou instrucional - notas de Aula - 29 páginas
7.   SICHMAN, J. S. Biestáveis. 2000. Desenvolvimento de material didático ou instrucional - Notas de Aula - 39 páginas
8.   SICHMAN, J. S. Análise de Circuitos Sequenciais. 2000. Desenvolvimento de material didático ou instrucional - Notas de Aula - 31 páginas
9.   SICHMAN, J. S. Síntese de Circuitos Sequenciais. 2000. Desenvolvimento de material didático ou instrucional - Notas de Aula - 40 páginas
10.   WASSERMANN, R.; FERME, E. ; CHOPRA, S.. Belief Revision: From AGM to Computational Models. 2000. Curso de curta duração ministrado/Extensão


(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 18/02/2025 13:31:56