Reminder: [VSAONLINE] Final talk of Season 12 by Herber Jaeger
Evgeny Osipov
Dear all,
This is a brief reminder about the FINAL talk of Season 12 on VSAONLINE as per description below.
See you all in two hours!
Best
Evgeny
”What does brainlike computing mean? Toward formal semantics for neuromorphic computing” by Herbert Jaeger
Date: June 8, 2026
Time: 20:00 GMT
Zoom: https://ltu-se.zoom.us/j/65564790287
Abstract: What does it mean when a brainlike system 'computes'? This is the question of the *semantics* of neuromorphic computing. In classical digital computing, several mutually connected approaches to formalize the 'meaning' of a computational process have been worked out to textbook format. These formal frameworks allow one to characterize, analyse and prove, for instance, whether a computer program actually does what the user meant it to achieve; whether two different programs actually compute 'the same' task; which tasks can be 'programmed' at all; or what hardware requirements must be met to implement a given program. In brief, semantic theory allows one to analyse how abstract models of computational processes interface with reality - both at the bottom level of the physical reality of hardware, and at the top level of user tasks. Neuromorphic computing theory can learn a lot about these things from looking at the digital world, but also needs to find its very own view on semantics.