22 Jul 2021
Dear all, we are organising a virtual symposium on different aspects of "Intelligent Systems" at the new campus of Lancaster University in Leipzig on July 22nd 2021. The main topics covered are, among others, Machine Learning, Logic, Cognitive Systems, and Formal Methods. https://www.lancasterleipzig.de/events/leipzig-symposium Registration is required, but free. best regards, Sven -- Dr Sven Linker Lecturer in Computing Lancaster University Leipzig Strohsack-Passage Nikolaistrae 10 04109 Leipzig Germany Email: s.linker@lancaster.ac.uk www.lancasterleipzig.de -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam