| 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 |
| 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 |
| 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 |
| 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 |
| 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. | MORIMOTO, CARLOS H; TULA, A. D.. Métodos Experimentais em Interação Humano Computador. 2021. 2021. |
| 8. | VALLE, P. H. D. Member of program committee of 20th IEEE International Conference on Advanced Learning Technologies (ICALT 2021). 2021. Membro de Comite |
| 9. | 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 |
| 10. | 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 |
| 11. | VALLE, P. H. D. Consultor ad-hoc de Ações de Extensão da UDESC. 2021. Revisor |
| 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. | VALLE, P. H. D. Member of program committee of 20th IEEE International Conference on Advanced Learning Technologies (ICALT 2020). 2020. Membro de Comite |
| 4. | VALLE, P. H. D. Member of program committee of The 52rd ACM Technical Symposium on Computing Science Education (SIGCSE). 2020. Membro de Comite |
| 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 |
| 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. | VALLE, P. H. D. Member of program committee of 18th IEEE International Conference on Advanced Learning Technologies (ICALT 2018). 2018. Membro de Comite |
| 6. | VALLE, P. H. D. Revisor de Artigo para o XXIX Simpósio Brasileiro de Informática na Educação (SBIE). 2018. Revisor |
| 7. | 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 |
| 8. | Wassermann, R. Inteligência Artificial. 2018. Curso de curta duração ministrado/Outra |
| 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. | Morimoto, Carlos H. Gaze Interaction: Methods and Best Practices. 2017. 2017. |
| 6. | Queiroz, M. Elementos de Computação Musical. 2017. Curso de curta duração ministrado/Outra |
| 7. | VALLE, P. H. D. Revisor de artigo para o XX Workshop em Engenharia de Software Experimental (ESELAW). 2017. Revisor |
| 8. | VALLE, P. H. D. Revisor de artigo para o 44º SEMISH- Seminário Integrado de Software e Hardware. 2017. Revisor |
| 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. | KON, F. Introdução à Ciência da Computação com Python. 2016. Desenvolvimento de material didático ou instrucional - MOOC |
| 4. | KON, F.; ZAMBOM, E.. JAI 1 - Cidades Inteligentes: Tecnologias, Aplicações, Iniciativas e Desafios. 2016. Minicurso |
| 5. | VALLE, P. H. D. Revisor de artigo para o XIX Workshop em Engenharia de Software Experimental (ESELAW). 2016. Revisor |
| 6. | VALLE, P. H. D. Revisor de artigo para o XXVII Simpósio Brasileiro de Informática na Educação (SBIE). 2016. Revisor |
| 7. | VALLE, P. H. D. Revisor de artigo para o IX Fórum de Educação em Engenharia de Software (FEES). 2016. Revisor |
| 8. | VALLE, P. H. D. Revisor de artigo para o XXIV Workshop sobre Educação em Computação (WEI). 2016. Revisor |
| 1. | de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2015. Comitê de Programa de Congresso |
| 2. | 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 |
| 3. | VALLE, P. H. D. Revisor de artigo para o XXVI Simpósio Brasileiro de Informática na Educação (SBIE). 2015. Revisor |
| 4. | VALLE, P. H. D. Revisor de artigo para o XXI Workshop de Informática na Escola (WIE). 2015. Revisor |
| 1. | BATISTA, D. M. Journal of Internet Services and Applications (Assistant Editor). 2014. Editoração/Periódico |
| 2. | BRAGHETTO, K. R.; CORDEIRO, D.. Introdução à Modelagem e Execução de Workflows Científicos. 2014. Curso de curta duração ministrado/Extensão |
| 3. | 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 |
| 4. | de Melo, Ana C.V. Comitê de Programa - XVII Brazilian Simposium on Formal Methods. 2014. Comitê de Programa de Congresso |
| 5. | de Melo, Ana C.V. XL Conferencia Latinoamericana en Informática (CLEI 2014). 2014. Comitê de Programa de Congresso |
| 6. | de Melo, Ana C.V. E4MAS - 10 Years Later. 2014. Comitê de Programa de Congresso |
| 7. | de Melo, Ana C.V. Computational Science and Its Applications - ICCSA 2014/FMCICA2014. 2014. Comitê de Programa de Congresso |
| 8. | FERNANDEZ, M. ; Finger, Marcelo. Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. Editoração/Anais |
| 9. | KON, F.; Monteiro, J.. JAI 5 - Empreendedorismo em Computação e Startups de Software. 2014. Minicurso |
| 1. | ANTONUCCI, A. ; CORANI, GIORGIO ; MAUÁ, D. D.. Bayesian networks with imprecise probabilities: theory and applications to knowledge-based systems and classification. 2013. Curso de curta duração ministrado/Outra |
| 2. | BATISTA, D. M. Journal of Internet Services and Applications (Assistant Editor). 2013. Editoração/Periódico |
| 3. | 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 |
| 4. | de Melo, Ana C.V. Comitê de Programa - XVI Brazilian Simposium on Formal Methods. 2013. Comitê de Programa de Congresso |
| 5. | MORIMOTO, C. H. Uma introdução à Visão Computacional usando OpenCV. 2013. Curso de curta duração ministrado/Especialização |
| 1. | BARROS, L. N.; FINGER, M.. Proceedings of the 21st Brazilian Symposium on Artificial Intelligence. 2012. Editoração/Anais |
| 2. | BATISTA, D. M. Journal of Internet Services and Applications (Assistant Editor). 2012. Editoração/Periódico |
| 3. | de Melo, Ana C.V. Comitê de Programa - XV Brazilian Simposium on Formal Methods. 2012. Comitê de Programa de Congresso |
| 4. | 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 |
| 5. | 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 |
| 6. | PIMENTA, M. ; Queiroz, M ; LAZZARINI, V. ; FORNARI, J. ; KELLER, D.. III Workshop em Música Ubíqua. 2012. Editoração/Anais |
| 1. | BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 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. | 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 |
| 5. | 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 |
| 6. | 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 |
| 7. | 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 |
| 8. | Wassermann, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. Membro do comitê de programa |
| 9. | WASSERMANN, R. Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. Membro do comitê de programa |
| 10. | WASSERMANN, R. Membro do comitê de programa do OntoBras-MOST. 2011. Membro do comitê de programa |
| 11. | WASSERMANN, R. Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. Membro do comitê de programa |
| 12. | WASSERMANN, R. Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. Membro do comitê de programa |
| 13. | WASSERMANN, R. Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. Membro do comitê de programa |
| 14. | Wassermann, R. Membro do comitê de programa da IJCAI. 2011. Membro do comitê de programa |
| 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. | BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2010. Editoração/Periódico |
| 4. | BOTLER, F. H.; Torres, L.I.. Se Amarrando em Nós. 2010. Curso de curta duração ministrado/Outra |
| 5. | de Melo, Ana C.V. Comitê de Programa - XIII Brazilian Simposium on Formal Methods. 2010. Comitê de Programa de Congresso |
| 6. | 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 |
| 7. | 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 |
| 8. | Landim, A. R. ; ZIVIANI, A. ; BATISTA, D. M. ; COSTA, F. R. C.. Construindo um Sistema de Alerta Antecipado contra Ataques Cibernéticos. 2010. 2010. |
| 9. | MORIMOTO, C. H.; HASHIMOTO, R. F.. Introdução à Ciência da Computação em C. 2010. Desenvolvimento de material didático ou instrucional - Apostila |
| 10. | WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. Revisor de trabalhos para conferências |
| 11. | WASSERMANN, R. Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. Revisor de trabalhos para conferências |
| 12. | WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. Revisor de trabalhos para conferências |
| 13. | WASSERMANN, R. Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. Revisor de trabalhos para conferências |
| 14. | 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 |
| 1. | A. Goldman. 28º Simpósio Brasileiro de Redes de Computadores. 2009. Comitê de Programa |
| 2. | BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2009. Editoração/Periódico |
| 3. | BERNARDO, P. C. ; KON, F.. Desenvolvimento de Software de Qualidade através de Testes Automatizados. 2009. Curso de curta duração ministrado/Extensão |
| 4. | BRAGHETTO, K. R.; FERREIRA, J. E. ; VINCENT, J.-M.. Comparison of modeling approaches to business process performance evaluation. 2009. Relatório de pesquisa |
| 5. | KON, F. Desenvolvendo Software de Qualidade com Métodos Ágeis e XP. 2009. Curso de curta duração ministrado/Extensão |
| 6. | MEIRELLES, Paulo. Métricas de Código-Fonte. 2009. Curso de curta duração ministrado/Outra |
| 7. | MELO, Ana C. V. de. Comitê de Programa - XXIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2009. Comitê de Programa de Congresso |
| 8. | MELO, Ana C. V. de. Comitê de Programa - XII Brazilian Simposium on Formal Methods. 2009. Comitê de Programa de Congresso |
| 9. | MELO, Ana C. V. de. Comitê de Programa - SBCARS 2009 - Brazilian Symposium on Software Components, Architectures and Reuse. 2009. Comitê de Programa de Congresso |
| 10. | MELO, Ana C. V. de. Comitê de Programa - International Conference on Formal Engineering Methods. 2009. Comitê de Programa de Congresso |
| 11. | 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 |
| 12. | WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. Revisor de trabalhos para conferências |
| 13. | WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. Revisor de trabalhos para conferências |
| 14. | 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 |
| 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. | AMIR, Arnon ; A. Duchowski ; MORIMOTO, C. H. ; K. Räihä. Proceedings of the Eye Tracking Research and Applications Symposium. 2008. Editoração/Anais |
| 4. | BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2008. Editoração/Periódico |
| 5. | 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 |
| 6. | 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 |
| 7. | 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 |
| 8. | KON, F. Introdução a Métodos Ágeis de Desenvolvimento de Software. 2008. Curso de curta duração ministrado/Extensão |
| 9. | KON, F.; GOLDMAN, A.. Grades Computacionais: Conceitos Fundamentais e Casos Concretos. 2008. Curso de curta duração ministrado/Extensão |
| 10. | 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 |
| 11. | MELO, Ana C. V. de. Comitê de Programa - XXII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2008. Comitê de Programa de Congresso |
| 12. | MELO, Ana C. V. de. Comitê de Programa - XI Brazilian Simposium on Formal Methods. 2008. Comitê de Programa de Congresso |
| 13. | WASSERMANN, R. Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. Revisor de trabalhos para conferências |
| 14. | WASSERMANN, R. Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. Revisor de trabalhos para conferências |
| 15. | WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. Revisor de trabalhos para conferências |
| 16. | WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. Revisor de trabalhos para conferências |
| 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. | BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2007. Editoração/Periódico |
| 4. | BIRGIN, E. G. Short course on Computational Methods of Optimization. 2007. 2007. |
| 5. | 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 |
| 6. | BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2007. Curso de curta duração ministrado/Extensão |
| 7. | BRANDÃO, L. O.; Cristina Cerri ; Sérgio Alves. Pontos Notáveis do Triângulo. 2007. Curso de curta duração ministrado/Extensão |
| 8. | 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 |
| 9. | KON, F.; GOLDMAN, A.. Introdução a Métodos Ágeis de Desenvolvimento de Software. 2007. Curso de curta duração ministrado/Extensão |
| 10. | KON, F.; GOLDMAN, A.. Laboratório de Programação Extrema. 2007. Curso de curta duração ministrado/Extensão |
| 11. | MEIRELLES, Paulo. Introdução a TV Digital com Ginga NCL. 2007. Curso de curta duração ministrado/Outra |
| 12. | MELO, Ana C. V. de. Comitê de Programa - 11th Brazilian Symposium on Programming Languages. 2007. Comitê de Programa de Congresso |
| 13. | 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 |
| 14. | MELO, Ana C. V. de. Comitê de Programa - XXI SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2007. Comitê de Programa de Congresso |
| 15. | MELO, Ana C. V. de. Comitê de Programa - SBCARS 2007 - Brazilian Symposium on Software Components, Architectures and Reuse. 2007. Comitê de Programa de Congresso |
| 16. | MELO, Ana C. V. de. Comitê de Programa - Latin American Autonomic Computing Symposium. 2007. Comitê de Programa de Congresso |
| 17. | MELO, Ana C. V. de. Comitê de Programa - 2007 SIWN International Conference on Complex Open Distributed Systems (CODS2007). 2007. Comitê de Programa de Congresso |
| 18. | MELO, Ana C. V. de. Steering Committee - X Brazilian Simposium on Formal Methods. 2007. Comitê de Programa de Congresso |
| 19. | MELO, Ana C. V. de. Steering Committee - Latin American Autonomic Computing Symposium. 2007. Comitê de Programa de Congresso |
| 20. | 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 |
| 21. | RAMALHO, G ; MALT, M. ; Kon, Fabio ; Iazzetta, Fernando ; Queiroz, M. Proceedings of the 11th Brazilian Symposium on Computer Music. 2007. Editoração/Anais |
| 22. | WASSERMANN, R. Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. Revisor de trabalhos para conferências |
| 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. | HIRATA JR., R. Introdução à bioinformática. 2006. Curso de curta duração ministrado/Extensão |
| 8. | MELO, Ana C. V. de. Comitê de Programa - IX Brazilian Symposium on Formal Methods. 2006. Comitê de Programa de Congresso |
| 9. | MELO, Ana C. V. de. Chair Comitê de Programa - Latin American Autonomic Computing Symposium. 2006. Coordenação de Comitê de Programa de Congresso |
| 10. | MELO, Ana C. V. de. Steering Committee - Latin American Autonomic Computing Symposium. 2006. Coordenação de Comitê de Programa de Congresso |
| 11. | MELO, Ana C. V. de. Steering Committee - IX Brazilian Symposium on Formal Methods. 2006. Comitê de Programa de Congresso |
| 12. | MELO, Ana C. V. de. Comitê de Programa - XX Simpósio Brasileiro de Engenharia de Software. 2006. Comitê de Programa de Congresso |
| 13. | WASSERMANN, R. Membro do comitê de programa do SBIA/IBERAMIA. 2006. Revisor de trabalhos para conferências |
| 14. | WASSERMANN, R. Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. Revisor de trabalhos para conferências |
| 15. | WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. Revisor de trabalhos para conferências |
| 16. | WASSERMANN, R. Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. Revisor de trabalhos para conferências |
| 17. | WASSERMANN, R. Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. Revisor de trabalhos para conferências |
| 1. | A. Goldman. 23º Simpósio Brasileiro de Redes de Computadores. 2005. Comitê de Programa |
| 2. | BATISTA, D. M.; CIPRIANO, L. A. G.. Coordenador do time brasileiro de tradução de descrições dos pacotes Debian. 2005. Coordenador |
| 3. | BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2005. Curso de curta duração ministrado/Extensão |
| 4. | 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 |
| 5. | DURHAM, A. M. Perl for Bioinformatics. 2005. Curso de curta duração ministrado/Extensão |
| 6. | MELO, Ana C. V. de. Minicurso: Specification and Verification of Mobile Agents using pi-calculus. 2005. Curso de curta duração ministrado/Outra |
| 7. | MELO, Ana C. V. de. Comitê de Programa do VIII Brazilian Symposium on Formal Methods. 2005. Comitê de Programa de Congresso |
| 8. | MELO, Ana C. V. de. Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. Comitê de Programa de Congresso |
| 9. | WASSERMANN, R. Raciocínio Aproximado. 2005. Curso de curta duração ministrado/Extensão |
| 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. | SOGAYAR, Mari Cleide ; CAMPOS, Ana Carolina Vale ; HASEGAWA, Ana Paula G. ; FUJITA, A. ; MACEDO, Antero F. A. ; VEDOY, Cleber Giovane ; COLIN, Christian ; NUNES, Diana Noronha ; FESTA, Fernanda ; LOJUDICE, Fernando Henrique ; LABRIOLA, Letícia ; RODRIGUES, Leonardo de Oliveira ; VALENZUELA, Juan Carlos B. ; KROGH, Karin ; CRUZ, Luciana Oliveira ; DEMASI, Marcos Angelo A. ; FIGUEIRA, Rita de Cássia Sávio ; WINNISCHOFER, Sheila Maria Brochado ; DEGAKI, Theri Leica ; FORTUNA, Vitor Antonio ; et.al. Biologia molecular da transformação maligna. 2004. Desenvolvimento de material didático ou instrucional - Apostila |
| 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. | FUJITA, A. ACCESS básico. 2003. Curso de curta duração ministrado/Outra |
| 10. | FUJITA, A. ACCESS avançado. 2003. Curso de curta duração ministrado/Outra |
| 11. | 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 |
| 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 |
| 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. | BATISTA, D. M.; VAZ, T. B.. GNU/Linux - módulo 1. 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. | DURHAM, A. M. Programming Perl For Bioinformatics. 2002. Curso de curta duração ministrado/Extensão |
| 5. | MELO, Ana C. V. de. Comitê de Programa do XVI Simpósio Brasileiro de Engenharia de Software. 2002. Comitê de Programa de Congresso |
| 1. | BATISTA, D. M.; VAZ, T. B.. Apresentação do sistema operacional GNU/Linux e seus recursos. 2001. Curso de curta duração ministrado/Outra |
| 2. | MELO, Ana C. V. de. Comitê de Programa do XV Simpósio Brasileiro de Engenharia de Software. 2001. Comitê de Programa de Congresso |
| 3. | 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 |
| 4. | WASSERMANN, R.; Herzig, Andreas. Belief Change, from AGM to realistic models. 2001. Curso de curta duração ministrado/Extensão |
| 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. | 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 11:57:44