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, com inscrições (preço reduzido) até 02 de maio.
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).