coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LC2016: early registration

From: Nicola Gambino <N.Gambino AT leeds.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] LC2016: early registration
Date: Fri, 13 May 2016 10:05:36 +0000
Accept-language: en-GB, en-US
Authentication-results: mail3-smtp-sop.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:8w58DxMQd9AtXUWphBcl6mtUPXoX/o7sNwtQ0KIMzox0KPr6rarrMEGX3/hxlliBBdydsKIVzbCP+Pm8EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Xxjbn5osGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBO/xeL19RrhFBhwnNXo07Yvlr1OLGQCI/z4XVngcuhtOGQnMqh/gCMTfqCz/48x80y6eNIXZRLU+WDKlp/NNDjDhjS0GMTkR9Gzahtc2hakdvRH39E83+JLdfIzAbKk2RajaZ95PHWc=
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:23

Dear friends and colleagues,

This is a kind reminder that the deadline for early registration for Logic
Colloquium 2016 (July 31st - August 6th, University of Leeds) is

Sunday 15th May

Early registration guarantees a lower registration fee and on-campus
accommodation.

Please go to the webpage

http://www.lc2016.leeds.ac.uk/registration.html

to register.

A preliminary schedule of the meeting, including special sessions, is
available on the page

http://www.lc2016.leeds.ac.uk/schedule.html

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

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

[Coq-Club] LC2016: early registration, Nicola Gambino, 05/13/2016