From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.222.4 with SMTP id v4mr1333493wmg.0.1474023785029; Fri, 16 Sep 2016 04:03:05 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.69.196 with SMTP id s187ls46262lja.11.gmail; Fri, 16 Sep 2016 04:03:04 -0700 (PDT) X-Received: by 10.25.155.78 with SMTP id d75mr2327170lfe.5.1474023784294; Fri, 16 Sep 2016 04:03:04 -0700 (PDT) Return-Path: Received: from sun61.bham.ac.uk (sun61.bham.ac.uk. [147.188.128.150]) by gmr-mx.google.com with ESMTPS id v132si487233wmf.1.2016.09.16.04.03.04 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 16 Sep 2016 04:03:04 -0700 (PDT) Received-SPF: softfail (google.com: domain of transitioning escardo...@googlemail.com does not designate 147.188.128.150 as permitted sender) client-ip=147.188.128.150; Authentication-Results: gmr-mx.google.com; spf=softfail (google.com: domain of transitioning escardo...@googlemail.com does not designate 147.188.128.150 as permitted sender) smtp.mailfrom=escardo...@googlemail.com; dmarc=fail (p=QUARANTINE dis=QUARANTINE) header.from=googlemail.com Received: from [147.188.128.127] (helo=bham.ac.uk) by sun61.bham.ac.uk with esmtp (Exim 4.84) (envelope-from ) id 1bkqv9-0007NK-Pn for HomotopyT...@googlegroups.com; Fri, 16 Sep 2016 12:03:04 +0100 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.84) id 1bkqv9-0007tu-G0 for HomotopyT...@googlegroups.com using interface smart1.bham.ac.uk; Fri, 16 Sep 2016 12:03:03 +0100 Received: from dynamic200-118.cs.bham.ac.uk ([147.188.200.118]) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1bkqv9-0008Mg-Pe for HomotopyT...@googlegroups.com; Fri, 16 Sep 2016 12:03:03 +0100 To: "HomotopyT...@googlegroups.com" From: Martin Escardo Subject: =?UTF-8?Q?In_case_you_haven=e2=80=99t_heard_what=e2=80=99s_going_on?= =?UTF-8?Q?_in_Leicester_=e2=80=a6?= Message-ID: Date: Fri, 16 Sep 2016 12:03:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-BHAM-SendViaRouter: yes ... Tim Gowers tells you about what is going on with the maths department: https://gowers.wordpress.com/2016/09/15/in-case-you-havent-heard-whats-going-on-in-leicester/