From: Nicola Gambino <N.Gambino@leeds.ac.uk>
To: categories <categories@mta.ca>
Subject: Logic Colloquium 2016
Date: Fri, 15 Jan 2016 10:28:30 -0400 (AST) [thread overview]
Message-ID: <E1aKpzM-0003Oy-9c@mlist.mta.ca> (raw)
[Apologies for multiple postings]
*** Logic Colloquium 2016
*** University of Leeds, UK
*** July 31st - August 6th, 2016
Dear colleagues and friends,
The Logic Colloquium 2016 will be held at the University of Leeds (UK)=20
from July 31st to August 6th. As you see below, some of invited speakers=20
and tutorial speakers work on categorical logic.
We are also planning to have a workshop on Categorical Logic and Univalent=
=20
Foundations just before the Logic Colloquium, July 27th-29th.
You may find below the list of invited speakers, tutorial speakers, and=20
special sessions of the Logic Colloquium 2016.
PLENARY SPEAKERS
Benno van den Berg
Laurent Bienvenu
Richard Garner
Rob Goldblatt
Itay Kaplan
Toniann Pitassi
Farmer Schlutzenberg
Dima Sinapova
Henry Towsner
Timothy Williamson
Boris Zilber
In addition to these, there will be also the G=F6del Lecture 2016.
TUTORIAL SPEAKERS
Thierry Coquard (Univalent Foundations)
Uri Andrews (Computable model theory)
SPECIAL SESSIONS
Set Theory (organized by Boban Velickovic and Itay Neeman)
Computability Theory (organized by Iskander Kalimullin and Sebastiaan Terwi=
jn)
Formal Theories of Truth (organized by Ole Hjortland and Dave Ripley)
Homogeneous Structures: Model Theory meets Universal Algebra (organized by =
Gregory Cherlin and Michael Pinsker)
Model theory and limit structures (organized by Rehana Patel and Cameron Hi=
ll)
Proof Theory and reverse mathematics (organized by Andreas Weiermann and An=
tonio Montalban)
For further information, please see the web page
http://www.lc2016.leeds.ac.uk
We expect that the registration will open in early February.
With best wishes,
Nicola Gambino (on behalf of the organizing committee)
=3D=3D=3D
Dr Nicola Gambino
School of Mathematics
University of Leeds
E-mail: n.gambino@leeds.ac.uk
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2016-01-15 14:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1aKpzM-0003Oy-9c@mlist.mta.ca \
--to=n.gambino@leeds.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).