FCUP
English
  • Departamento (current) (current)
    Apresentação História Localização Contactos
  • Pessoas (current)
    Docentes Docentes Convidados Docentes Aposentados Técnicos
  • Ensino (current)
    Oferta formativa Licenciaturas Mestrados Doutoramentos Formação contínua
  • Investigação (current)
    Investigação no DCC Centros de Investigação
  • Alunos (current)
    Porquê estudar no DCC? Candidaturas Concursos de Programação Núcleos de Estudantes Software Perguntas Frequentes
  • Alumni (current)
    Testemunhos
  • Divulgação

Notícias e Eventos do DCC

Palestra: Pydrofoil: compiling formal semantics of processors to fast software models

1

mar

Palestra: Pydrofoil: compiling formal semantics of processors to fast software models

27
mar 2025
FC6 029
11:00

por Martin Berger, University of Sussex

  • Publicado em: 1 mar 2025
  • Eventos Palestra
Talks@DCC
Equipa do DCC/FCUP & ICBAS coloca U.Porto nas melhores do mundo em programação

3

mai

Equipa do DCC/FCUP & ICBAS coloca U.Porto nas melhores do mundo em programação

Equipa Heroes of the C conquistou o 22º lugar da competição

  • Publicado em: 3 mai 2024
  • Notícias Prémios e Distinções
concurso programação icpc
Docente do DCC/FCUP é embaixadora de inovação da Comissão Europeia

3

mai

Docente do DCC/FCUP é embaixadora de inovação da Comissão Europeia

Verónica Orvalho é também fundadora da Didimo

  • Publicado em: 3 mai 2024
  • Notícias
distinção internacional
Estudantes da U.Porto bisam no maior concurso de programação do mundo

31

jan

Estudantes da U.Porto bisam no maior concurso de programação do mundo

Medalha de ouro conquistada no Southwestern Europe Regional Contest (SWERC) valeu o apuramento dos "Heroes of the C" para a final da 48.ª edição do ICPC.

  • Publicado em: 31 jan 2024
  • Notícias
concurso programação icpc
Licenciaturas em Inteligência Artificial em alta

11

jul

Licenciaturas em Inteligência Artificial em alta

Área atrai cada vez mais alunos

  • Publicado em: 11 jul 2023
  • Notícias
licenciatura L:IACD bioinformatica comunicação social
  • ←
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • ...
  • 27
  • 28
  • →

Categorias

  • Notícias (69)
    • Prémios e Distinções (45)
  • Eventos (20)
    • Seminário (1)
    • Palestra (6)
  • Oportunidades (10)
    • Recrutamento (2)
    • Bolsas Investigação (1)

Artigos Recentes

post

Palestra: Pydrofoil: compiling formal semantics of processors to fast software models

1 mar 2025

post

Equipa do DCC/FCUP & ICBAS coloca U.Porto nas melhores do mundo em programação

3 mai 2024

post

Docente do DCC/FCUP é embaixadora de inovação da Comissão Europeia

3 mai 2024

post

Estudantes da U.Porto bisam no maior concurso de programação do mundo

31 jan 2024

post

Licenciaturas em Inteligência Artificial em alta

11 jul 2023

Tags

  • palestra
  • workshop
  • licenciatura
  • mestrado
  • doutoramento
  • investigação
  • dissertação
  • alumni
  • alunos
  • escola de verão
  • L:CC
  • L:IACD
  • L:EIC
  • M:CC
  • M:IM
  • M:SI
DCC Main Entrance

Morada

Departamento de Ciência de Computadores

Rua do Campo Alegre 1055
4169-007 Porto

 (+351) 220 402 900
 dcc.sec@fc.up.pt

Segue-nos nas Redes Sociais!

Ensino

  • Oferta Formativa
  • Licenciaturas
  • Mestrados
  • Doutoramentos

Investigação

  • Investigação no DCC
  • Centros de Investigação
  • Áreas de Investigação

Recursos

  • Docentes
  • Testemunhos
  • Divulgação
  • Área reservada

Informações

  • Contactos
  • Política de Privacidade
  • Ficha Técnica

© 2025 Todos os direitos reservados.

Departamento de Ciência de Computadores - Faculdade de Ciências da Universidade do Porto.