Workshop on Logical Approach to Neural Networks
June 8th 2022, University of Sheffield, UK

The Hybrid workshop takes place on June 8th 2022 in the Ada Lovelace Room of the department of computer science of the University of Sheffield.

Organiser:
  • Jonni Virtema (University of Sheffield)
Invited speakers:
  • Matthew Ellis (University of Sheffield): Reservoir Computing and Stochastic Networks
  • Flavio Ferrarotti (Software Competence Center Hagenberg): Logical Approach to Graph Neural Networks
  • Jan Van den Bussche (Hasselt University): Matrix Query Language MATLANG
  • Heribert Vollmer (Leibniz Universität Hannover): A Logical Characterization of Constant-Depth Arithmetic Circuits over the Reals
Program:
  • 09.25-09.30 Jonni Virtema: Opening the workshop
  • 09.30-10.15 Flavio Ferrarotti: Logical Approach to Graph Neural Networks (slides)
  • 10.15-11.00 Heribert Vollmer: A Logical Characterization of Constant-Depth Arithmetic Circuits over the Reals (slides)
  • 11.00-11.15 Coffee or Tea
  • 11.15-12.15 Matthew Ellis: Reservoir Computing and Stochastic Networks
  • 12.15-12.30 Coffee or Tea
  • 12.30-13.15 Jan Van den Bussche: Matrix Query Language MATLANG
  • 13.15- Lunch