A Profa Edna Dias Canedo recebeu o distinguished paper do XXXVII Simpósio Brasileiro de Engenharia de Software (SBES 2023) pelo artigo: Do you see what happens around you? Men's Perceptions of Gender Inequality in Software Engineering.

Profissionais homens predominam nas equipes de desenvolvimento de software em detrimento das mulheres e este trabalho investiga as percepções masculinas sobre a desigualdade de gênero e suas experiências comparadas às mulheres no desenvolvimento de software. Também fornece sugestões para aumentar a participação feminina em projetos.

O artigo "Nominal C-matching" recebeu o "Best Paper Prize" no CICM 2023, "16th Conference on Intelligent Computer Mathematics", realizado em Cambridge, em setembro de 2023, com dois autores do PPG em Informática: o aluno Gabriel Ferreira Silva e o Prof. Mauricio Ayala-Rincón.

O trabalho, apresenta uma formalização em PVS, resultado de cooperação entre professores do PPG MAT e do PPG INF, e pesquisadores no Imperial College London, King's College London, e RISC/Johannes Kepler University Linz. A formalização do Gabriel está construída sobre uma trama de formalizações computacionais desenvolvida por mais de uma década, que inclui participação de outros doutores egressos de nosso PPG em Informática.

A UnB sediará a escola de verão internacional RoME (Robotic Mission Engineering - A Software Engineering for Robotics Summer School) entre os dias 20 a 23 de Fevereiro de 2024. A proposta liderada pela Profa. Genaína Nunes Rodrigues (IE/CIC) para realizar o evento foi selecionada pela ACM (Association for Computing Machinery) e receberá auxílio financeiro da entidade. A escola de verão RoME teve sua primeira edição em 2023. Em 2024, o evento receberá pesquisadores de grande renome internacional em Engenharia de Software como Sebastian Uchitel (Universidad de Buenos Aires - AR), Patrizio Pellicione (GSSI - IT) e, remotamente, Radu Calinescu (University of York, ING). Além disso, o evento contará com parceria de colegas da Universidade Estadual do Ceará. Outro ponto importante é que contará também com a participação de alunos de pós-graduação da Argentina e do Ceará para participarem da segunda edição do RoME. Com foco em estudantes de graduação em estágio inicial de pesquisa quanto alunos de mestrado e doutorado , a escola de verão RoME visa promover a educação, o crescimento acadêmico e alavancar o acesso ao aprendizado e às pesquisas voltadas à engenharia de missões robóticas por meio de abordagens sistemáticas de Engenharia de Software.

#UnB #RoME #EngenhariaDeSoftware #Robótica #Inovação #Tecnologia

O CIC esteve representado entre os palestrantes convidados de LPAR 2023:

- Konstantin Korovin (University of Manchester - Reino Unido);

- Mauricio Ayala-Rincón (Universidade de Brasília - Brasil);

- Marijn Heule (Carnegie Mellon University - USA);

- Roderick Bloem (Graz University of Technology - Áustria).

Foram apresentados resultados relacionados com formalização algébrica no assistente de demonstração PVS. Material disponível nos anais do evento: https://easychair.org/smart-program/LPAR2023/index.html

#unb #cic #ppginfo

Nos dias 09 e 10 de julho de 2023, foi realizada a 7a. Reunião do Grupo de Trabalho em ICT-HPC (Information and Communication Technologies – High Performance Computing) do BRICS (Brazil, Russia, India, China e South Africa), no hotel Courtyard Marriott, em Xangai, China. Como Membros da Delegação Brasileira, participaram o Prof. Fábio Borges (Laboratório Nacional de Computação Científica – LNCC) e a Prof. Alba Cristina Magalhães Alves de Melo (Professora Titular do CIC), sob a coordenação do Prof. Borges. Durante uma reunião bastante produtiva foram discutidos e priorizados temas de interesse dos países integrantes, nas áreas de TIC e HPC.

O resultado da avaliação das candidaturas ao Edital 01/2023 do Programa de Pós-Graduação em Informática é tornada pública neste link.

O trabalho do aluno Lucas Dalle Rocha, orientado pela professora Edna Dias Canedo, ganhou o 1º lugar no Concurso de Trabalho de Conclusão de Curso em Sistemas de Informação no XIX Simpósio Brasileiro de Sistemas de Informação 2023.

A professora Edna Dias Canedo recebeu o Top Reviewer Award 2021 do Information and Software Technology Journal

A secretária do Departamento de Ciência da Computação parabeniza a Profa. Edna Canedo pela conquista!

Medalha de Ouro: Eduardo Quirino de Oliveira (CIC); Medalha de Ouro: Wilson Oliveira Guimarães Neto (CIC); Medalha de Bronze: Lucas Sala Cruz (CIC); Honra ao Mérito: Henrique de Oliveira Ramos (CIC); Honra ao Mérito: Iago Rocha Santos Marques (UnB-Gama).

Entre 1.883 participantes da OBI 2022 na Modalidade Programação Nível Sênior, 4 alunos do Departamento de Ciência da Computação (CIC) da UnB-Darcy Ribeiro conquistaram posições no quadro de medalhas, com 2 Medalhas de Ouro, 1 Medalha de Bronze e 1 Honra ao Mérito. Aluno da UnB-Gama também obteve Honra ao Mérito.

A OBI é uma competição organizada nos moldes das outras olimpíadas científicas brasileiras, com o objetivo de despertar nos alunos o interesse por ciência da computação, através de uma atividade que envolve desafio, engenhosidade e uma saudável dose de competição.

Fonte: https://olimpiada.ic.unicamp.br/resultados/qmerito/ps/.