Palestra: Asynchronous Team Automata 26 jun 2026 FC6 0.29 14:00 Por José Proença Publicado em: 15 jun 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems 19 jun 2026 FC6 0.29 14:00 Por Marjan Sirjani Publicado em: 28 mai 2026 Notícias Eventos Palestra Talks@DCC
Palestra: Temporal resource management via graded effects and graded modal types 21 mai 2026 FC6 140 11:00 Por Danel Ahman Publicado em: 13 mai 2026 Notícias Eventos Palestra Talks@DCC
Carreiras em Bioinformática | Sessão 23 abr 2026 FC1 031 14:30 Uma sessão especialmente relevante para quem tem interesse em bioinformática, ciência de dados, biologia computacional ou simplesmente quer explorar diferentes saídas profissionais. Publicado em: 21 abr 2026 Notícias Eventos M:BBC L:BIOINF
Palestra: Tipos Regulares e as suas Propriedades 28 abr 2026 FC6 0.29 16:00 Por João Barbosa Publicado em: 14 abr 2026 Notícias Eventos Palestra Talks@DCC
