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 Events

Talk: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems

28

May

Talk: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems

19
Jun 2026
FC6 0.29
14:00

By Marjan Sirjani

  • Published at: 28 May 2026
  • News Events Lecture
Talks@DCC
Talk: Temporal resource management via graded effects and graded modal types

13

May

Talk: Temporal resource management via graded effects and graded modal types

21
May 2026
FC6 140
11:00

By Danel Ahman

  • Published at: 13 May 2026
  • News Events Lecture
Talks@DCC
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
Careers in AI | Event

26

Mar

Careers in AI | Event

7
Apr 2026
FC6 0.29
14:00

If you are a student of L:IACD or L:BIOINF, don’t miss this event.

  • Published at: 26 Mar 2026
  • News Events
L:IACD L:BIOINF
"Can Machines Think?" | Seminar by Senén Barro

24

Mar

"Can Machines Think?" | Seminar by Senén Barro

26
Mar 2026
FC6 0.29
16:30

What is Artificial Intelligence and how did it emerge? Is AI truly intelligent? Will machines achieve superintelligence?

  • Published at: 24 Mar 2026
  • News Events
lecture IA
  • ←
  • 1
  • 2
  • 3
  • →

Categories

  • News (43)
    • Awards & Distinctions (9)
  • Events (15)
    • Seminar (1)
    • Lecture (9)
  • Opportunities (5)
    • Recruitment (2)
    • Research Grants (1)

Recent Articles

post

Talk: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems

28 May 2026

post

xSTF shines in university competitions

26 May 2026

post

PhD in Computer Science | Jorge Miguel Ramos

20 May 2026

post

PhD in Computer Science | Ana Barros

18 May 2026

post

Professor Luís Antunes interviewed about cybersecurity and data protection

17 May 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.