Computability in Europe 2025
Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).
Computação
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).
Continuum Computing for ML Based Self Adaptive IoT Applications
Talk @LASIGE, por Nabil Abdennadher (University of Applied Sciences, Western Switzerland).
Interactive Realities: Bridging Complex Systems in Artificial and Natural Environments
This workshop brings together world-leading scholars and junior researchers from philosophy, neuroscience, psychology, robotics, and computational neuroscience to address several key questions.