FCUP
Português
  • About DCC (current) (current)
    Presentation People History Location Contact
  • Education (current)
    Study Programmes BSc Courses MSc Courses PhD Courses Continuous training
  • Investigation (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 with tag #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
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 (9)
    • Awards & Distinctions (3)
  • Events (8)
    • Seminar (1)
    • Lecture (6)
  • Opportunities (4)
    • Recruitment (2)
    • Research Grants (1)

Recent Articles

post

M:IM students visited AD Sanjoanense to experience cutting-edge technology in soccer

26 Nov 2025

post

JuniorAI presents itself to global experts in Artificial Intelligence

24 Nov 2025

post

xSTF wins national competition in the field of cybersecurity

14 Nov 2025

post

Identity Landscape 2025 - Decoding the Tectonic Shifts in Identity

4 Nov 2025

post

Recruitment | Assistant Professor (AI field with relevance in Bioinformatics)

3 Nov 2025

Tags

  • lecture
  • workshop
  • investigation
  • alumni
  • students
  • M:IM
DCC Main Entrance

Address

Department of Computer Science

Rua do Campo Alegre 1055
4169-007 Porto

 (+351) 220 402 900
 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

© 2025 All rights reserved.

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