FCUP
Português
  • About DCC (current) (current)
    Presentation History Location Contact
  • People (current)
    Faculty Technical Stuff
  • Education (current)
    Study Programmes BSc Courses MSc Courses PhD Courses Continuous training
  • Research (current)
    Research at 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

Talk: Regular Types and Their Properties

14

Apr

Talk: Regular Types and Their Properties

28
Apr 2026
FC6 0.29
16:00

By João Barbosa

  • Published at: 14 Apr 2026
  • News Events Lecture
Talks@DCC
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
  • ←
  • 1
  • 2
  • →

Categories

  • News (33)
    • Awards & Distinctions (8)
  • Events (13)
    • Seminar (1)
    • Lecture (7)
  • Opportunities (5)
    • Recruitment (2)
    • Research Grants (1)

Recent Articles

post

PD:CC | Weakly Supervised Multimodal Explanations for Medical Image Classification

28 Apr 2026

post

PD:CC | A Quantitative Study of Higher-Order Computations with Effects

27 Apr 2026

post

PD:CC | Provas | Using Machine Learning to Refine Space Weather Models and Infer Its Effects on Earth

24 Apr 2026

post

PD:CC | The Relationship Between Artificial Intelligence, Machine Learning, and Research Data Management

24 Apr 2026

post

FCUP in Macau to strengthen strategic cooperation in the field of technology

15 Apr 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 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.