Programação
-
Título: Visão Geral do Programa de Pos-Graduação em Ciência da Computação e Matemática Computacional
Data: 10/08/2016
Horário: 14:00 às 16:00
Local: sala 4-001
Resumo: Serão apresentadas as principais informações sobre o Programa de Pós-Graduação CCMC, incluindo detalhes sobre procedimento acadêmicos para um bom andamento do trabalho. Serão também apresentadas uma visão geral dos dados do programa e uma análise comparativa com outros programas da área.
Palestrante: Prof. Adenilso Simão (Coordenador do Programa CCMC/ICMC)
Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). Desde 2004 é Professor da Universidade de São Paulo (atualmente, é Professor Associado Nível 2). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação.
-
Título: Open Source e Direitos Intelectuais
Data: 24/08/2016
Horário: 14:00 às 16:00
Local: Auditório ICMC Prof Luiz Fávaro
Resumo:
Open source é um paradigma de gestão de conhecimento tecnológico. Nessa palestra o conceito de geração colaborativa de conhecimento aberto é introduzido como ecossistema de inovação alternativo ao modelos convencionais de restrição de acesso à tecnologia proprietária. Serão abordados aspectos relacionados à gestão de direitos intelectuais e de comunidades de desenvolvimento cooperativo.Palestrante: Francisco José MônacoFrancisco José Monaco, Doutor em Eng. Elétrica pela EESC-USP, pesquisador em Sistemas Distribuídos e Programação Concorrente. Há mais de 20 ano contribuindo na área de software livre, é atualmente Direitor do Centro de Competência em Software Livre (CCSL) do ICMC-USP, e integrante do Núcleo de Apoio a Pesquisa em Software Livre (NAPSoL) da USP. -
Título: Ideas for Milk 2016 - Desafios e oportunidades para o agronegócio do leite (25/08) (Opcional)
Data: 25/08/2016
Horário: 14:00 às 16:00
Local: Auditório IFSC "Prof. Sérgio Mascarenhas"
Resumo:
O IDEAS FOR MILK 2016 é o primeiro desafio de startups para o agronegócio do leite no Brasil e está sendo realizado por iniciativa da Embrapa, em conjunto com a Litteris Consulting, a Qranio e a Carrusca Innovation. Tem como correalizadoras a UFMG, UFJF, UFLA, UFV, UFSCar, ICMC/USP São Carlos, Esalq/USP, UFRGS, PUCMinas e PUCRS. O semináro vai apresentar a cadeia de negócio do leite no Brasil, enfatizando as oportunidades que estão abertas para o desenvolvimento de aplicativos para dispositivos móveis e/ou "vestíveis", soluções de hardware para o IoT e para software baseado em web. Além disso, o #ideasformilk será discutido no sentido de instruir como será a sua dinâmica e a forma de participação.
Palestrante: Wagner Arbex
Wagner Arbex possui graduação em Bacharelado em Matemática (Modalidade Informática) pela Univ. Fed. de Juiz de Fora, mestrado em Sistemas e Computação pelo Instituto Militar de Engenharia e doutorado em Engenharia de Sistemas e Computação pela Univ. Fed. do Rio de Janeiro. Atualmente é conselheiro da Associação Brasileira de Bioinformática e Biologia Computacional, representante institucional da Sociedade Brasileira de Computação, professor adjunto da Univ. Fed. de Juiz de Fora, onde atua nos programas de pós-graduação em Ciência da Computação, em Administração e em Modelagem Computacional como docente e/ou em orientações, e analista da Empresa Brasileira de Pesquisa Agropecuária. Tem experiência na área de ciência da computação, com ênfase em bioinformática, atuando principalmente nos seguintes temas: bioinformática, polimorfismo de base única (single nucleotide polymorphism), melhoramento genético animal, inferência difusa (fuzzy inference), modelagem computacional, aprendizado de máquina e ciência de dados.
-
Título: "Ciência de Dados " + "Computação Inteligente" == "Ciência da Computação" + "Dados Inteligentes" (Opcional)
Data: 25/08/2016
Horário: 16:00 às 18:00
Local: Auditório IFSC "Prof. Sérgio Mascarenhas"
Resumo:
O seminário pretende abordar aspectos e relações da computação científica (e-Science), ciência de dados (data science) e grandes volumes de dados (big data), sob a ótica do problema, a partir da valoração, variabilidade/variedade, veracidade e volume dos dados do problema, assim como, da velocidade de crescimento destes dados. Além disso, apresentar casos em bioinformática, biologia computacional, agroinformática e/ou agronegócio com abordagem por data science e, ainda, aplicações específicas, que podem ser pontuais, como o tratamento de banco de dados não convencionais em problemas de bioinformática, ou amplos, como o desenvolvimento da plataforma tecnológica IoToMilk para pecuária de de precisão.
Palestrante: Wagner Arbex
Wagner Arbex possui graduação em Bacharelado em Matemática (Modalidade Informática) pela Univ. Fed. de Juiz de Fora, mestrado em Sistemas e Computação pelo Instituto Militar de Engenharia e doutorado em Engenharia de Sistemas e Computação pela Univ. Fed. do Rio de Janeiro. Atualmente é conselheiro da Associação Brasileira de Bioinformática e Biologia Computacional, representante institucional da Sociedade Brasileira de Computação, professor adjunto da Univ. Fed. de Juiz de Fora, onde atua nos programas de pós-graduação em Ciência da Computação, em Administração e em Modelagem Computacional como docente e/ou em orientações, e analista da Empresa Brasileira de Pesquisa Agropecuária. Tem experiência na área de ciência da computação, com ênfase em bioinformática, atuando principalmente nos seguintes temas: bioinformática, polimorfismo de base única (single nucleotide polymorphism), melhoramento genético animal, inferência difusa (fuzzy inference), modelagem computacional, aprendizado de máquina e ciência de dados.
-
Título: Para além da terceira dimensão
Data: 31/08/2016
Horário: 14:00 às 16:00
Local: Auditório ICMC Prof Fávaro
Resumo:
Deduzir qual é o formato do universo é tarefa complicada, mas alguma familiaridade com espaços de dimensão maior que 3 pode ajudar. Descreveremos como certas analogias com espaços de dimensão mais baixa desmistificam a quarta dimensão e assim nos permite "ver" objetos tridimensionais sem borda, como possivelmente é o nosso universo.Também mostraremos como projeções do espaço de dimensão 4 em espaços de dimensão 3 ajudam a entender certas superfícies.Palestrante: Ton MararTon Marar é bacharel em matemática formado no ICMSC-USP (1979). PhD em matemática pela University of Warwick (1989) é professor do ICMC-USP desde 1980. Tem artigos publicados na área de Topologia Geométrica e Teoria das Singularidades. Escreveu também alguns textos críticos sobre o trabalho de artistas plásticos contemporâneos.--
-
Título: "Os grafos de genealogia acadêmica dos programas de Pós-graduação em Ciência da Computação do Brasil"
Data: 14/09/2016
Horário: 14:00 às 16:00
Local: Auditório ICMC Prof Fávaro
Resumo:
Na academia, dada a dedicação à formação de pessoas, muitos professores ou orientadores tem/tiveram um papel extremamente importante. Com a finalidade de preservar a história acadêmica, poucos empreendimentos foram realizados para registrar a influência que cada pesquisador/instituição têm exercido sobre seus orientados ao longo dos anos. Neste contexto, a genealogia acadêmica é utilizada para documentar, organizar e analisar, através das relações de orientação acadêmica, a influência de pesquisadores/instituições na academia.Neste seminário serão apresentados os resultados preliminares da genealogia acadêmica de todos os PPGs em Ciência da Computação no Brasil. Ênfase será dada no método considerado para a coleta e caracterização dos grafos de genealogia.Palestrante: Jesus P. Mena-ChalcoProfessor Doutor na UFABC desde 04/2012 e Docente no Programa de Pós-Graduação em Ciência da Computação e do Bacharelado em C&T da UFABC. Atua nas áreas de Ciência da Computação e Ciência da Informação, com ênfase nos seguintes temas: Reconhecimento de Padrões, Prospecção de dados acadêmicos, Bibliometria e Cientometria. Seus projetos de pesquisa atuais estão relacionados à descoberta de conhecimento sobre grandes volumes de dados acadêmicos, principalmente da Plataforma Lattes (scriptLattes), do Banco de teses e dissertações da CAPES e dos registros históricos de genealogia de acadêmicos/cientistas.
Possui graduação em Engenharia de Sistemas pela Universidade Nacional de San Agustín (2000), mestrado (2005), doutorado (2010) e pós-doutorado (2011) em Ciência da Computação pela Universidade de São Paulo. Seu trabalho de mestrado ganhou o Primeiro lugar no XIII Concurso Latino-americado de Tesis de Maestria do CLEI/UNESCO-2006. Seu trabalho de doutorado foi selecionado entre as 10 melhores da área de Computação Gráfica e Processamento de Imagens no SIBGRAPI-2011.
Atualmente é Professor Adjunto II e membro dos seguintes grupos de pesquisa: (i) Grupo de Análise de Redes Sociais e Cientometria da EACH-USP; (ii) Núcleo Estratégico NUVEM (Universos Virtuais, Entretenimento e Mobilidade) da UFABC; e (iii) Lab4u da UFSCAR. -
Titulo: Rethinking coverage testing measures by taking into account the relevance of covered entities
16/09/201
10-12h
Local: Auditório ICMC Prof. Fernão
Palestrante: Profa. Antônia Bertolino (ISTI - Itália)
Resumo: The talk will introduce a novel approach to measure coverage in software testing, aimed at focusing test resources on the most “relevant” program parts. The intuitive idea is that depending on the specific testing context, reaching full coverage might not be always a meaningful target, because not all available entities are necessarily of interest in any context. With reference to some generic user-related constraints, we introduce the notion of a "testing scope" to refer to a subset of the input domain that is delimited by those constraints. Then we introduce a revised definition of test coverage, referred to as "scope-based test coverage", targetting relevant, or "in-scope", entities. In other words, we propose, as simple as it may sound, to change the denominator of the traditional coverage equation to count only those entities that are relevant in the given testing scope. Clearly, the challenge is how to properly define scope so that scope-based coverage can be automated. We have instantiated scope-based coverage in different contexts, including code reuse and reliability testing.
Antonia Bertolino é Diretora de Pesquisa do Italian National Research Council (CNR), in Pisa. Ela é uma pesquisadora altamente reconhecida e renomada na área de Engenharia de Software, tendo mais de 150 artigos publicados em diversas conferências e periódicos. Ela investiga abordagens validação, teste e monitoramento de software e serviçõs, e tem atuado em diversos projetos em seu país e na comunidade européia, incluindo os mais recentes Learn PAd, CHOReOS e NESSOS. Atualmente, ela tem atuado como Editora de Área para o periódico Journal of Systems and Software para a Elsevier, e como Editora Associada dos periódicos ACM Transactions on Software Engineering and Methodology e Empirical Software Engineering da Springer. Ela foi recentemente a Coordenadora Geral da conferência ACM/IEEE ICSE 2015, em Florença (Itália). Ela atua regularmente no comitê de programa das conferências mais renomadas na área de engenharia de software, tais como ESEC-FSE e ICSE, e na áre de teste e análise de software, como ISSTA e ICST. -
Título: Visualização, no contexto de Ciência de Dados e ´Big Data´.
Palestrante: Profa Maria Cristina F. de Oliveira
´Data Science´ e ´Big Data´ são termos que vêm sendo utilizados com
frequência no contexto da Ciência da Computação e Tecnologia de
Informação. Pretendo discutir um pouco sobre o que eles significam
e os desafios associados. Em particular, vou enfatizar o papel da
Visualização de dados e ´Visual Analytics´ nesse contexto, introduzindo
algumas técnicas de visualização e apresentando alguns exemplos
concretos de aplicação em análise de dados. -
Palestra: Inovação na Universidade de São Paulo, um exemplo de responsabilidade social.
Prof Vanderlei Salvador Bagnato - Agencia USP de InovaçãoLocal: Auditorio Favaro/ICMC
Horário: 14h
Resumo: A agencia USP de inovação será apresentada com relação às atividades que realiza, bem como a forma como são realizadas. A importância da participação da Universidade na inovação do país será discutida. Exemplos de inovação que procuram resolver problemas da sociedade serão abordados
Vanderlei Salvador Bagnato concluiu simultaneamente Bacharelado em Física - USP, e Engenharia de Materiais - UFSCar em 1981 e realizou o doutorado em Física - Massachusetts Institute of Technology em 1987. Atualmente é professor titular da Universidade de São Paulo, e coordenador da Agência USP de inovação. Publicou cerca de 500 artigos em periódicos especializado. Possui 24 capítulos de livros e 5 livros publicados. Orientou 42 dissertações de mestrado e 32 teses de doutorado, nas áreas de Física, Odontologia e Medicina. Recebeu diversos prêmios e homenagens. Atua na área de Física Atômica e Aplicações da Física nas Ciências da Saúde. Em seu currículo Lattes os termos mais freqüentes na contextualização da produção científica, tecnológica e artístico-cultural são: armadilha magneto-óptica, Átomos, Átomos de sódio, Condensação de Bose-Einstein, Átomos frios, Colisões frias, Desaceleração de átomos, Espectroscopia, Terapia fotodinâmica PDT. Eleito para The Academy of Sciences for the Developing World, 20/10/2009; membro da Academia Pontifícia de Ciências do Vaticano, em 05/11/2012; e membro da National Academy of Sciences (USA), em 30/04/2013. Coordena um Centro Estadual de Física e um Instituto Nacional de Ciência e Tecnologia. -