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

DCC News and Events

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
Talk: Rethinking AI: More with less

1

Feb

Talk: Rethinking AI: More with less

24
Feb 2025
FC6 029 - 11:00
11:00

by Amparo Alonso Betanzos, University of A Coruña

  • Published at: 1 Feb 2025
  • Events Lecture
IA IEEE Talks@DCC
"Seeds for the Future" Scholarships (Huawei) - 2nd Edition

5

Nov

"Seeds for the Future" Scholarships (Huawei) - 2nd Edition

  • Published at: 5 Nov 2024
  • Opportunities Research Grants
TNC 2022

22

Jul

TNC 2022

DCC student at a prestigious international conference

  • Published at: 22 Jul 2022
  • Opportunities
students conferência
  • ←
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • →

Categories

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

Recent Articles

post

Talk: Runtime Assurance of Deep Neural Networks

1 Apr 2025

post

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

1 Mar 2025

post

Talk: Rethinking AI: More with less

1 Feb 2025

post

"Seeds for the Future" Scholarships (Huawei) - 2nd Edition

5 Nov 2024

post

TNC 2022

22 Jul 2022

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.