Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* PSSL 101, September 16th-17th, Leeds (UK)
@ 2017-06-19 16:03 Nicola Gambino
  0 siblings, 0 replies; only message in thread
From: Nicola Gambino @ 2017-06-19 16:03 UTC (permalink / raw)
  To: Theory Homotopy Type

Dear colleagues and friends,

The 101st Peripatetic Seminar on Sheaves and Logic (PSSL 101) will be held on the weekend of September 16th-17th, 2017 at the University of Leeds, UK.

In the afternoon of Friday 15th September there will be two pre-PSSL seminars, by Jiri Rosicky and Andrew Brooke-Taylor, on locally presentable categories, model theory and large cardinals. 

A web page with some information, including travel directions, accommodation, and instructions for registration and submission of talks, is now available at

	http://www1.maths.leeds.ac.uk/~pmtng/pssl101.html

With best wishes,
Nicola

==
Dr Nicola Gambino
School of Mathematics, University of Leeds

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2017-06-19 16:08 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-06-19 16:03 PSSL 101, September 16th-17th, Leeds (UK) Nicola Gambino

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).