Instituto de Computação
Início
Graduação
Ciência da Computação
Engenharia da 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
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º
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
Webmail – Alunos
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
Webmail – Alunos
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
Buscar
Instituto de Computação
Unicamp - Universidade Estadual de Campinas
Início
Graduação
Ciência da Computação
Engenharia da 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
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º
Facebook
Twitter
LinkedIn
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
Estão abertas as inscrições para o Programa de Pós-Graduação do IC
Parceiros
Todos
Instituto Eldorado
Samsung
ifood
Banco Santander
Shell
Petrobras
Bradesco
Equinor
Wavy
Quinto Andar
Everflow
Movile
CI&T
Buildbox