When statistics meets computability
Seminário de Lógica Matemática, por Eduardo Skapinakis (Universität Tübingen / NOVA FCT).
Computação
EGI2025 - Conference on Data-Intensive Science
Uma oportunidade única para interagir com a comunidade global de computação científica.
Computability in Europe 2025
Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).
Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
20th European Dependable Computing Conference
A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.
Concurso EIT - Deep Tech Talent Initiative
Envio de propostas até 20 de junho.
On open problems and selected applications of uniform distribution theory
Geometry and Physics Seminar / Theory of Computing Seminar por Florian Pausinger (Queen's University Belfast).
Smoothed analysis of deterministic discounted and mean-payoff games
Theory of Computing Seminar, por Mateusz Skomra (LAAS/CNRS).
Serão os organismos computadores?
"A realização de determinadas funções biológicas é explicada como efeito de uma “computação natural” executada pelo organismo. O objetivo destes programas é, como bem exemplificado por este recente artigo de Joshua Bongard e Michel Levin, promover uma confluência entre biologia e engenharia", escreve Lorenzo Baravalle, investigador do Centro de Filosofia das Ciências da Universidade de Lisboa.
Brain-inspired nanophotonic spike-based sensing and computing
Seminário do Departamento de Física de Ciências ULisboa, por Bruno Romeira (International Iberian Nanotechnology Laboratory, Braga, Portugal).