Introduction to Logic for AI 2027

March 29th – 30th

Uppsala University, Uppsala

Senior Lecturer/Associate Professor at Department of Mathematics, Algebra, Logic and Representation Theory, UU