Subject: DReaMers Seminar List

Description: The DReaMers seminars are a wide ranging series of seminars around the general topics of automated reasoning, representational change and applications. "DReaM" stands for "Discovery and Reasoning in Mathematics". The seminars are hybrid Teams meetings. You can either gather physically in Room 4.02 in the Informatics Forum or join remotely via Teams from anywhere in the World. As a member of the email list you will be send Teams invite. Meetings are held on the 1st and 3rd Monday of each month from 11.00-12.00 BST or GMT, depending on the season.