Instituto de Computação - Unicamp

31/08/2026

Use sua alma como um gancho de escalada e explore a vida após a morte em SoulChain, jogo de plataforma desenvolvido por um aluno do IC, Gustavo Moraes, em parceria com Gustavo Chagas, responsável pela direção de áudio e aluno do Instituto de Artes; e Jana Marcato, designer responsável pela arte das cutscenes e pelos personagens

O jogo já está disponível para seu playtest gratuito na Steam, trazendo a primeira hora de conteúdo jogável.

Desde a última publicação que fizemos sobre o projeto por aqui (na nossa cobertura da Gamescom Latam!), os alunos levaram SoulChain para mais dois eventos de cultura de jogos: o 4º Festival Jogatório, em São Paulo, e o , em Ribeirão Preto.

Bora testar? 🕹️ Acesse o link:
https://store.steampowered.com/app/3383610/Soulchain/

26/08/2026

O IC/FEEC tem o prazer de convidar a comunidade para celebrar conosco a Colação de grau das turmas de Ciência da Computação e Engenharia de Computação de 2 Semestre de 2026.

A cerimônia ocorrerá no dia 28/08/2025, às 14:00h, no Auditório 3 do Centro de Convenção (CDC) da Unicamp, na Avenida Érico Veríssimo, 500. Barão Geraldo - Unicamp - Campinas-SP

Você também poderá acompanhar a cerimônia pelo nosso canal no Youtube.

Parabéns aos formandos!
oficial

25/08/2026

Arthur Azevedo de Amorim, do Rochester Institute of Technology (RIT), é o convidado desta semana da nossa Série de Seminários.

Ele apresentará a palestra: Cryptis: Uma lógica de separação para criptografia
Data: 28/08/2026
Horário: 14h00
*Palestra presencial com transmissão pelo nosso canal no Youtube. Alunos da disciplina de pós-graduação devem assistir a palestra presencialmente no IC3.

Resumo: Nesta palestra, apresentarei Cryptis, uma lógica de programas para verificar programas que dependem de protocolos criptográficos, como um navegador web que se conecta a servidores usando HTTPS. Ela permite modelar diferentes componentes de um programa, formular especificações para esses componentes, e provar formalmente que as especificações são válidas. Cryptis é uma biblioteca para o assistente de provas Rocq (antigo Coq), permitindo verificar resultados com alto grau de confiabilidade. Darei exemplos de uso do Cryptis para verificar protocolos de autenticação e discutirei como esses resultados podem ser utilizados para verificar programas baseados nesses protocolos.

Minibio: Arthur Azevedo de Amorim é professor assistente no Rochester Institute of Technology (RIT), em Rochester, NY, EUA, onde trabalha com linguagens de programação, verificação de programas, e segurança de computadores. Ele é um ex-aluno do IC (EC04) que fez doutorado na University of Pennsylvania, e depois passou pela Carnegie-Mellon University e pela Boston University, onde fez pós-docs.

22/08/2026

A UPA começou!! Venha assistir as nossas palestras para entender o caminho da computação na UNICAMP.

20/08/2026

Alexandre Oliva, ativista e desenvolvedor profissional de Software Livre, é o convidado desta semana da nossa Série de Seminários.

Ele apresentará a palestra: Escapando do Buraco-Negro de Vigilância com Computação Móvel Livre
Data: 21/08/2026
Horário: 14h00
*Palestra presencial com transmissão pelo nosso canal no Youtube. Alunos da disciplina de pós-graduação devem assistir a palestra presencialmente no IC3.

Resumo: Os chamados smartphones são há muito reconhecidos como um problema de vigilância pela comunidade de Software Livre, e parece que mesmo à velocidade da luz os dados pessoais já não conseguem mais escapar deles. Mesmo assim, oferecem funcionalidades úteis que muita gente considera suficientemente valiosas para compensar a perda de privacidade percebida, para detrimento de todos. Que tal se conseguíssemos obter as funcionalidades úteis sem sacrificar nossa privacidade? Temos Hardware e Software Livre suficiente, e poderíamos ter redes tipo OLPC livres de vigilância com Tor, usando serviços tipo Onion para receber chamadas. O momento é propício. Quem quer um? Quem quer montá-los? Como torná-los viáveis?

Minibio: Ativista e desenvolvedor profissional de Software Livre. Laureado pela Free Software Foundation pelas contribuições para o Avanço do Software Livre. Orador e conselheiro do Projeto GNU. Conselheiro co-fundador da FSF América Latina e membro da diretoria da FSF original. Co-mantenedor do GNU Linux-libre, IRPF-Livre, GNU Compiler Collection (GCC), GNU binutils e GNU libc. Engenheiro de Computação, Mestre e ex-doutorando em Ciência da Computação na Unicamp, em cujo time se sagrou campeão na primeira edição brasileira da maratona de programação.

20/08/2026

O Laboratory of Image Data Science (LIDS) do Instituto de Computação (IC) da Unicamp, recebeu a 16º premiação na categoria Propriedade Intelectual Licenciada da Agência Inova, no “Prêmio Inventores Unicamp 2026”. Destaca-se a excelência do LIDS nesta modalidade de premiação, uma vez que neste ano a universidade celebrou a 19ª edição do Prêmio Inventores.

A tecnologia da atual premiação começa a ser oferecida aos laboratórios clínicos do país, por meio de uma indústria nacional (BioBrasil Ciência e Tecnologia) licenciada pela Unicamp. Os inventores Alexandre Falcão, Jancarlo Gomes e Felipe Soares, em representação ao LIDS, foram homenageados neste evento da Unicamp.

13/08/2026

Pesquisadores da UNICAMP participaram de reunião com presidente Lula sobre IA e soberania digital.

Anderson Rocha, coordenador do Recod.ai, um dos maiores laboratórios de Inteligência Artificial da América Latina e o coordenador de linha de pesquisa do hub de IA e arquiteturas cognitivas, ambos do Instituto de Computação da UNICAMP estiveram no Palácio do Planalto nesta terça-feira (11).

Eles são referências mundiais na área de IA e ao lado do presidente Luiz Inácio, vice-presidente Geraldo Alckmin, ministros, especialistas e representantes do setor privado, debateram sobre os desafios e oportunidades do Brasil diante do avanço da IA.

Na ocasião, eles concluíram que o país reúne as condições necessárias para criar sua própria infraestrutura de dados, segurança e desenvolvimento de tecnologias em IA que atendam às necessidades e interesses do Brasil.

Segundo Lula, o evento representa um passo importante na implementação de uma agenda para o setor. “Esta reunião de hoje que vocês participaram, é o começo definitivo de que nós vamos entrar na era da IA, não tem mais volta”, disse o presidente.

Para saber detalhes acesse o link :
https://recod.ai

06/07/2026

O grupo de representação de conhecimento do H.IAAC teve seu artigo intitulado "Benchmarking Encoders and Self-Supervised Learning for Smartphone-Based Human Activity Recognition" selecionado como Featured Paper pelos editores da IEEE Access.

De acordo com a gerente de processos estratégicos e comunicação da IEEE Access, o artigo foi selecionado pelos editores com base na qualidade e no valor que a pesquisa traz para o estado da arte atual.

A seleção como Featured Paper coloca o trabalho em posição de destaque na página da IEEE Access, ampliando sua visibilidade global e consolidando a excelência da pesquisa científica desenvolvida pela equipe.

O artigo tem como autores Gustavo P. C. P. da Luz (doutorando IC), Darlinne H. P. Soto (doutorando IC), Otávio O. Napoli (doutorando IC), Prof. Anderson Rocha (docente do IC), Prof. Levy Boccato (docente FEEC) e Prof. Edson Borin (docente do IC).

Para saber mais, acesse o link:

Smartphone-based Human Activity Recognition (HAR) typically relies on deep learning models. However, performance varies with encoder architecture and the availability of labeled data. To address label scarcity, Self-Supervised Learning (SSL) exploits unlabeled data. However, existing benchmarks eval...

02/07/2026

O Hub de Inteligência Artificial e Arquiteturas Cognitivas (H.IAAC) do Instituto de Computação da Universidade Estadual de Campinas (UNICAMP) está buscando alunos de iniciação científica interessados em desenvolver pesquisas junto à linha de pesquisa de Aprendizado Distribuído.

Sobre a linha de pesquisa:
A linha de Aprendizado Distribuído tem como objetivo desenvolver modelos e algoritmos que permitam que dados coletados na borda sejam agregados e processados de maneira distribuída, por meio de mecanismos de aprendizado distribuídos ou centralizados. A pesquisa explora um design hierárquico da infraestrutura computacional e tem o objetivo de incorporar modelos de linguagem e agentes de IA no aprendizado de máquina distribuído.

Atividades previstas
O(a) aluno(a) de iniciação científica atuará em conjunto com a equipe da meta de Aprendizado Distribuído, tendo contato e desenvolvendo pesquisa de ponta, participando no desenvolvimento e publicação de artigos científicos em colaboração com outros membros do H.IAAC.

*Requisitos*
* Vontade de aprender conceitos de IA e aprendizado de máquina distribuído
* Disponibilidade de 20 horas semanais
* Vontade de participar ativamente e de maneira presencial de um grupo de pesquisa

*Conhecimentos obrigatórios*
* Conhecimentos aprofundados em lógica de programação e linguagens de programação.

*Diferenciais*
* Noções de Redes de computadores e sistemas distribuídos
* Noções de abordagens de aprendizado distribuído e federado
* Modelos de linguagem (LLMs), incluindo o desenvolvimento e o design de agentes baseados em LLMs
*Fine-tuning de modelos de linguagem

*Bolsa*
* R$1.650,00 por 12 meses prorrogáveis.
* Número de vagas: 2

*Inscrições*
Os(as) interessados(as) devem realizar a inscrição até dia 26/07 por meio do formulário disponível no link abaixo:
https://tinyurl.com/ic-hiaac

*Mais informações*
Detalhes sobre a linha de pesquisa e o H.IAAC:
https://hiaac.unicamp.br/research-areas/aprendizado-distribuido/

01/07/2026

Participe do Concurso de Logomarca Comemorativa dos 30 Anos do Instituto de Computação!

O Instituto de Computação está celebrando um marco histórico: 30 anos de existência! E para comemorarmos essa trajetória, temos o prazer de anunciar o lançamento do edital para o Concurso de Logomarca Comemorativa.

Queremos convidar os membros de nossa comunidade para desenhar a identidade visual que estampará nossos materiais institucionais, digitais e impressos ao longo de todas as celebrações deste ano tão especial.

Premiação
O autor da proposta vencedora receberá:
🎁 Prêmio: 1 (um) fone de ouvido Bluetooth de alta qualidade.

Não fique de fora dessa celebração. Deixe a sua marca nos 30 anos do IC. Participe e boa sorte!

Veja o edital completo e como fazer sua inscrição em nosso site:

O Instituto de Computação está celebrando um marco histórico: 30 anos de existência! E para comemorarmos essa trajetória, temos o prazer de anunciar o lançamento do edital para o Concurso de Logomarca Comemorativa. Queremos convidar os membros de nossa comunidade para desenhar a identidade vi...