VSAONLINE. SEASON 12. June 8, 20:00GMT. Herbert Jaeger
Evgeny Osipov
Dear all,
Welcome to the FINAL talk of Season 12 on VSAONLINE. Prof. Dr. Herbert Jaeger University of Groningen, The Netherlands
will give a talk
”What does brainlike computing mean? Toward formal semantics for neuromorphic computing”
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.