Group <manchester-type-theory-reading-group@googlegroups.com>
Received: by 10.224.33.148 with SMTP id h20mr10543263qad.3.1341332022719;
        Tue, 03 Jul 2012 09:13:42 -0700 (PDT)
X-BeenThere: manchester-type-theory-reading-group@googlegroups.com
Received: by 10.224.202.130 with SMTP id fe2ls12367125qab.5.gmail; Tue, 03 Jul
 2012 09:13:42 -0700 (PDT)
Received: by 10.236.79.198 with SMTP id i46mr22198130yhe.4.1341332022375;
        Tue, 03 Jul 2012 09:13:42 -0700 (PDT)
Received: by 10.236.79.198 with SMTP id i46mr22198129yhe.4.1341332022366;
        Tue, 03 Jul 2012 09:13:42 -0700 (PDT)
Return-Path: <yegor.gus...@gmail.com>
Received: from mail-gh0-f182.google.com (mail-gh0-f182.google.com [209.85.160.182])
        by gmr-mx.google.com with ESMTPS id r48si5201950yhm.3.2012.07.03.09.13.42
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 03 Jul 2012 09:13:42 -0700 (PDT)
Received-SPF: pass (google.com: domain of yegor.gus...@gmail.com designates 209.85.160.182 as permitted sender) client-ip=209.85.160.182;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of yegor.gus...@gmail.com designates 209.85.160.182 as permitted sender) smtp.mail=yegor.gus...@gmail.com; dkim=pass header...@gmail.com
Received: by mail-gh0-f182.google.com with SMTP id z22so5466976ghb.41
        for <manchester-type-theory-reading-group@googlegroups.com>; Tue, 03 Jul 2012 09:13:42 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        bh=c9NdnQECQk6CMEywCSuiTd3GevS0RjxZ6q+vLe4Srb0=;
        b=jZmojjk3adoGR/lf72r+o+dnTreJazc48sP+hFW5ch7FeFNx7XDS8KFahjJgioajuq
         2pXaoBSF0YGILy4i9qmruhL5Zmqc8pmIvRZL8mL5wH3gwVros8PgFn2JVQYDZI4OdvPn
         vkdh8d1G67xNzeQIXTyfJBaEHOUCnw+cTabLNGLm3JYzqp99QC9AkcRNW1NHbkOooobC
         eRvdqjj9nVY6btRlPeFYB3Sal16Ly53EkB0Yyvtor5wmwD1tUCye6YYOvmgOxRdAO4ob
         LQjFqMQDX+58xyJEkSYP0mw00zEC8TZbnWftDyuP8JkgrJJe7au7kvt3+WXTkdwIUfc0
         XA0w==
MIME-Version: 1.0
Received: by 10.50.161.199 with SMTP id xu7mr10980541igb.68.1341332022233;
 Tue, 03 Jul 2012 09:13:42 -0700 (PDT)
Received: by 10.64.67.2 with HTTP; Tue, 3 Jul 2012 09:13:42 -0700 (PDT)
In-Reply-To: <4FEB2C93.4070...@postgrad.manchester.ac.uk>
References: <E1ScyZB-0007nQ...@sonoft8.cs.man.ac.uk>
	<CAJPsiJBMKWQZq3pgAsE6tQLOT=4q+-OiZ1Jh1Y93uSD1cPR...@mail.gmail.com>
	<4FD86503.1080...@postgrad.manchester.ac.uk>
	<434711ce1c603091efcb04fe0df25...@cs.man.ac.uk>
	<CAJPsiJDFn6jezzM8J+qOF=7p7CnAtcBK1QXOV6qUmN79Kz5...@mail.gmail.com>
	<CAJPsiJD9uQ72MyQRkcvb-C-6dn76e7Hsz_b71VU=1zLyTsw...@mail.gmail.com>
	<FEFF3E44-1996-421C-8C7F-8E7B6AF37...@cs.man.ac.uk>
	<CAOXShFYy89XiZ5SQj7-d2SdF-bPB85TVoOM-AG2DSC2e_fd...@mail.gmail.com>
	<4FEB2C93.4070...@postgrad.manchester.ac.uk>
Date: Tue, 3 Jul 2012 17:13:42 +0100
Message-ID: <CAP3KcVjO=B7+1=BMrw=atUMhAAru7U=UiaHANDka5Z=yjgR...@mail.gmail.com>
Subject: Re: [Type Theory] Ping
From: Yegor Guskov <yegor.gus...@gmail.com>
To: manchester-type-theory-reading-group@googlegroups.com
Content-Type: text/plain; charset=ISO-8859-1

Has there been a meeting this week?

I have not found anybody around the usual place at 17:03.

By the way, that room is not suitable for meetings anymore due to some
renovation works at that part of the building, if you have not found
that out yet.

Yegor Guskov