FCUP
Português
  • About DCC (current) (current)
    Presentation People History Location Contact
  • Education (current)
    Study Programmes BSc Courses MSc Courses PhD Courses Continuous training
  • Research (current)
    Research at the DCC Research Centres
  • Students (current)
    Why study at DCC? Applications Programming Contests Students Interests Groups Software Frequently Asked Questions
  • Alumni (current)
    Testimonials
  • News & Events

Articles in Lecture

Identity Landscape 2025 - Decoding the Tectonic Shifts in Identity

4

Nov

Identity Landscape 2025 - Decoding the Tectonic Shifts in Identity

12
Nov 2025
FC5 003
11:00

por Natsuhiko Sakimura

  • Published at: 4 Nov 2025
  • Events Lecture
lecture Talks@DCC
How much is in a type? Calculating functional programs from their types using squares

23

Oct

How much is in a type? Calculating functional programs from their types using squares

5
Nov 2025
FC6 029
15:00

by José Nuno Oliveira, HASLab-DI-UMinho

  • Published at: 23 Oct 2025
  • Events Lecture
lecture Talks@DCC
Getting Average Values ​​for Complicated Objects Elegantly

3

Sep

Getting Average Values ​​for Complicated Objects Elegantly

17
Jun 2025
FC6 029
14:00

by Rogério Reis, UPorto-DCC & CMUP

  • Published at: 3 Sep 2025
  • Events Lecture
Talks@DCC
Talk: Runtime Assurance of Deep Neural Networks

1

Apr

Talk: Runtime Assurance of Deep Neural Networks

7
Apr 2025
FC6 029
11:00

by Birk Torpmann-Hagen, UiT: The Arctic University of Tromsø

  • Published at: 1 Apr 2025
  • Events Lecture
Talks@DCC
Talk: Pydrofoil: compiling formal semantics of processors to fast software models

1

Mar

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

27
Mar 2025
FC6 029
11:00

by Martin Berger, University of Sussex

  • Published at: 1 Mar 2025
  • Events Lecture
Talks@DCC
  • ←
  • 1
  • 2
  • →

Categories

  • News (20)
    • Awards & Distinctions (6)
  • Events (10)
    • Seminar (1)
    • Lecture (6)
  • Opportunities (4)
    • Recruitment (2)
    • Research Grants (1)

Recent Articles

post

Innovative Teaching Practice Award distinguishes project by DCC lecturer

13 Mar 2026

post

PD:CC | Identity and Trust based on Hardware for IoT

10 Mar 2026

post

DCC Master’s Programmes | Presentation Session

26 Feb 2026

post

PD:CC | Unfolding the Temporal Structure of Narratives

25 Feb 2026

post

DCC was present at the U.Porto Exhibition

24 Feb 2026

Tags

  • lecture
  • workshop
  • bachelor's degree
  • master's degree
  • doctorate
  • investigation
  • dissertation
  • alumni
  • students
  • L:IACD
  • M:CC
  • M:DS
  • M:IM
DCC Main Entrance

Address

Department of Computer Science

Rua do Campo Alegre 1055
4169-007 Porto

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

Follow us on social media!

Education

  • Programs
  • Bachelor's Program
  • Master's Program
  • PhD Program

Research

  • Research at the DCC
  • Research Centers
  • Research Areas

Resources

  • Teachers
  • Testimonials
  • Communications
  • Reserved area

Informations

  • Contacts
  • Privacy Policy
  • Copyright
  • Backend Area

© 2026 All rights reserved.

Department of Computer Science - Faculty of Sciences, University of Porto.