Instituto de Computação
Início
Graduação
Ciência da Computação
Engenharia de Computação
Comissão de Graduação
Avaliação e Discussão de Curso
Calendário das Reuniões
Composição da CG e Secretaria
Normas
Informações para Alunos
Aproveitamento de Estudos
Avaliação Docente
Certificados de Estudo
Colação de Grau
Disciplinas
Enade
Estágios
Intercâmbios
Matrícula
Monitoria (PAD)
Programa Integrado de Formação
Projeto Final de Graduação
Pós-Graduação
Apresentação do Programa
Processo Seletivo
Mestrado
Doutorado
Pós-Doutorado
Alunos Especiais
Informação para docentes e pos-graduandos
Pesquisa
Áreas de Concentração
Projetos e Laboratórios de Pesquisa
Produção Científica
Equipamentos Multiusuários
Extensão
Cursos
Engenharia de Software
Redes de Computadores
Nuvens e Virtualização de Redes
Internet das Coisas
Mineração de Dados Complexos
Tecnologias
Summer Internship
Prestação de Serviços
Apoio a Docentes
Pessoas
Docentes
Funcionários
Notícias
Institucional
Conheça o IC
Administração
Departamentos
Contatos
Agenda
Regimentos, Normas e Documentos
Programa de Doações Amigos do IC
Bolsa Alumni
CSHub
Parceiros
Históricos
Eventos Realizados e Programados
Tour virtual 360º
Comunicação
Alunos e Professores
Disciplinas da Graduação
Disciplinas da Pós-Graduação
Calendário Acadêmico (DAC)
Calendário Específico da Pós
Webmail
Suporte
Intranet
Biblioteca do IMECC
Cursos
G – Ciência da Computação
G – Engenharia da Computação
PG – Mestrado Acadêmico em Ciência da Computação
PG – Doutorado em Ciência da Computação
E – Engenharia de Software
E – Redes de Computadores
A – Nuvens e Virtualização de Redes
A – Internet das Coisas – IoT
A – Mineração de Dados Complexos
Eventos
Alunos e Professores
Disciplinas da Graduação
Disciplinas da Pós-Graduação
Calendário Acadêmico (DAC)
Calendário Específico da Pós
Webmail
Suporte
Intranet
Biblioteca do IMECC
Cursos
G – Ciência da Computação
G – Engenharia da Computação
PG – Mestrado Acadêmico em Ciência da Computação
PG – Doutorado em Ciência da Computação
E – Engenharia de Software
E – Redes de Computadores
A – Nuvens e Virtualização de Redes
A – Internet das Coisas – IoT
A – Mineração de Dados Complexos
Eventos
A+
A-
Acessibilidade
Facebook
Instagram
LinkedIn
Buscar
Instituto de Computação
Unicamp - Universidade Estadual de Campinas
Início
Graduação
Ciência da Computação
Engenharia de Computação
Comissão de Graduação
Avaliação e Discussão de Curso
Calendário das Reuniões
Composição da CG e Secretaria
Normas
Informações para Alunos
Aproveitamento de Estudos
Avaliação Docente
Certificados de Estudo
Colação de Grau
Disciplinas
Enade
Estágios
Intercâmbios
Matrícula
Monitoria (PAD)
Programa Integrado de Formação
Projeto Final de Graduação
Pós-Graduação
Apresentação do Programa
Processo Seletivo
Mestrado
Doutorado
Pós-Doutorado
Alunos Especiais
Informação para docentes e pos-graduandos
Pesquisa
Áreas de Concentração
Projetos e Laboratórios de Pesquisa
Produção Científica
Equipamentos Multiusuários
Extensão
Cursos
Engenharia de Software
Redes de Computadores
Nuvens e Virtualização de Redes
Internet das Coisas
Mineração de Dados Complexos
Tecnologias
Summer Internship
Prestação de Serviços
Apoio a Docentes
Pessoas
Docentes
Funcionários
Notícias
Institucional
Conheça o IC
Administração
Departamentos
Contatos
Agenda
Regimentos, Normas e Documentos
Programa de Doações Amigos do IC
Bolsa Alumni
CSHub
Parceiros
Históricos
Eventos Realizados e Programados
Tour virtual 360º
Comunicação
Início
Eventos
Quantitative Logic Reasoning
Quantitative Logic Reasoning
23
Nov
14:00
Palestra
Auditório do IC
Quantitative Logic Reasoning
Marcelo Finger
IME/USP
Relacionado
Notícias
Todas
Instituto de Computação da Unicamp lança campanha de doação para apoiar a permanência de estudantes na universidade
Prof. Anderson Rocha Recebe Reconhecimento do IEEE
Encerram-se hoje as inscrições para o Concurso Público para Professor Doutor na Área de Arquitetura de Computadores.
Parceiros
Todos
Instituto Eldorado
Samsung
ifood
Banco Santander
Shell
Petrobras
Bradesco
Equinor
Wavy
Quinto Andar
Everflow
Movile
CI&T
Buildbox