coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Logic Colloquium 2016: first announcement

From: Nicola Gambino <N.Gambino AT leeds.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Logic Colloquium 2016: first announcement
Date: Fri, 6 Nov 2015 11:11:22 +0000
Accept-language: en-GB, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=N.Gambino AT leeds.ac.uk; spf=Pass smtp.mailfrom=N.Gambino AT leeds.ac.uk; spf=Pass smtp.helo=postmaster AT mhost02h.leeds.ac.uk
Ironport-phdr: 9a23:hBHnTBGR5HFL2ZpG5FWSIZ1GYnF86YWxBRYc798ds5kLTJ75osmwAkXT6L1XgUPTWs2DsrQf27eQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0vcVHSODxe7kyZb1eFjUvdW4vroW/vh7aCACL+3E0U2MMkxMODRKTvz/gWZKklCrxse50kAaTOMf3S7d8DRLkwK5uQh7ujw8DOjM16yfegYptj/QI81qauxVjztuMM8muP/1kc/aFcA==
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:23

Dear colleagues and friends,

I am writing to let you know that the Logic Colloquium 2016 will be held at
the University of Leeds, UK, from July 31st to August 6th, 2016.

Further information, including details of invited speakers, tutorial speakers
and special sessions, and information on the registration process, will be
announced later.

The web page of the meeting is

www.lc2016.leeds.ac.uk

With best regards,
Nicola Gambino (on behalf of the organizing committee)

===
Dr Nicola Gambino
School of Mathematics
University of Leeds
E-mail:
n.gambino AT leeds.ac.uk

[Coq-Club] Logic Colloquium 2016: first announcement, Nicola Gambino, 11/06/2015