DCC
Departamento de ciência de computadores
Faculdade de Ciências
da Universidade do Porto
Departamento
Apresentação
Contactos
Instalações
Localização
Ensino
Oferta Formativa
Licenciaturas
Mestrados
Doutoramentos
Investigação
Investigação no DCC
CINTESIS
CMUP
INESC TEC
IT
LIACC
Pessoal
DCC em números
Docentes
Não docentes
In Memoriam
Estudantes
Porquê estudar no DCC?
Perguntas Frequentes
Testemunhos
Candidaturas
Concursos de programação
Núcleos de estudantes
Software
Notícias e eventos
Notícias
Eventos
Galerias
Próxima palestra do ciclo Talks@DCC
Saber mais
Docente da DCC/FCUP é embaixadora de inovação da Comissão Europeia
Saber mais
Equipa do DCC/FCUP & ICBAS coloca U.Porto nas melhores do mundo em programação
Saber mais
Está aí mais uma edição do ToPAS!
Saber mais
Porquê estudar no DCC?
Perguntas Frequentes
Testemunhos
Oferta formativa
15/05/24
Evento
Talks@DCC por José Proença, DCC-FCUP & CISTER
"A pomset semantics for choreographies"
#palestra
02/05/24
Evento
Talks@DCC por David Pereira, CISTER, ISEP, P.Porto
"Correct-by-construction (in-)Equivalence of Regular Expressions through the Coq proof-assistant"
#palestra
23/04/24
Notícia
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
#concursos
#programação
#icpc
18/04/24
Evento
Talk@DCC por João Barbosa, DCC/FCUP & LIACC
"Kleene Logics and their application to the Semantics of Logic Programs"
#palestra
03/04/24
Notícia
Docente do DCC/FCUP é embaixadora de inovação da Comissão Europeia
Verónica Orvalho é também fundadora da Didimo
#distinção
#internacional
08/03/24
Evento
Talk@DCC por Helge Fredriksen , UiT Artic University of Norway
"Problem-based Learning and Flipped Classroom strategies for active learning at the tertiary level - Experiences from a computer science progr
#palestra
Ver notícias
Ver eventos