PhD position in Homotopy Type Theory
2017-02-16 13:00 UTC
Weighted limits
2017-02-15 19:39 UTC
2nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
2017-02-15 12:10 UTC
Weighted limits
2017-02-15 10:33 UTC
Terminology
2017-02-14 9:39 UTC (3+ messages)
Weighted limits
2017-02-13 14:41 UTC
Terminology
2017-02-11 15:07 UTC (7+ messages)
FMCS First Announcment
2017-02-10 21:09 UTC
Categories for Homotopy Theory and Rewriting
2017-02-10 11:03 UTC
Terminology
2017-02-09 22:03 UTC
Third Nordic Logic Summer School (NLS) 2017: Second announcement and call for papers
2017-02-08 22:15 UTC
WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)
2017-02-06 18:48 UTC
LSFA'17: First Call for Papers
2017-02-06 15:02 UTC
FSCD'17 Call for Papers
2017-02-06 14:54 UTC
motivation
2017-02-06 8:15 UTC
Off topic item
2017-02-06 0:33 UTC
CT2017 Registration is now open
2017-02-05 3:05 UTC
Reference for lifting an adjunction to a monoidal one
2017-02-05 1:31 UTC (3+ messages)
motivation
2017-02-04 1:07 UTC
NY Times article
2017-02-03 17:00 UTC (2+ messages)
CALCO 2017: Second Call for Papers
2017-02-03 15:29 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2017-02-03 14:59 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2017-02-03 2:22 UTC
TbILLC 2017: 1st Call for Papers
2017-02-01 19:31 UTC
Conference Invitation: Higher Structures Lisbon, 24-27 July 2017
2017-01-31 13:53 UTC
YaMCATS 10 University of Leicester 13 February 2017
2017-01-27 13:48 UTC
A preprint on multiple categories
2017-01-24 8:48 UTC
CfP for 11th IWC 2017
2017-01-23 12:28 UTC
ETAPS 2017 call for participation
2017-01-21 20:12 UTC
Fibred 2-category of Grothendieck toposes?
2017-01-17 11:27 UTC
Theorem or Paradox
2017-01-16 10:33 UTC (10+ messages)
MFPS 33: first call for papers
2017-01-12 11:34 UTC
Call for papers: QPL 2017
2017-01-12 11:19 UTC
Call for papers: QPL 2017
2017-01-12 11:19 UTC
ACM SIGPLAN Awards deadline extended to 30 January
2017-01-10 16:30 UTC
PhD position at the ILLC, University of Amsterdam
2017-01-10 12:55 UTC
the Kan extension seminar returns
2017-01-03 20:37 UTC (2+ messages)
"Basic Category Theory" free online
2017-01-02 7:17 UTC
FSCD'17 Call for Papers
2017-01-02 2:08 UTC
Midlands Graduate School 2017, Leicester, UK
2016-12-30 12:35 UTC
Midlands Graduate School 2017, Leicester, UK
2016-12-30 12:35 UTC
10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
2016-12-20 15:35 UTC
[LICS] LICS 2017: Final Call for Papers
2016-12-16 14:08 UTC
Two postdoc positions at Dalhousie
2016-12-16 2:06 UTC
recent papers posted to arXiv
2016-12-14 17:39 UTC
Some recent advances in SDG
2016-12-13 13:47 UTC
jobs at Macquarie
2016-12-13 0:24 UTC
CALCO 2017: First Call for Papers
2016-12-06 21:25 UTC
Fibred 2-category of Grothendieck toposes?
2016-12-06 7:59 UTC (2+ messages)
` "
Fibred 2-category of Grothendieck toposes?
2016-12-05 10:26 UTC (3+ messages)
Alonzo Church Award 2017: Call for Nominations
2016-12-05 4:39 UTC
WiL 2017: Women in Logic Workshop Call for Papers
2016-12-04 20:48 UTC
research positions
2016-12-03 15:31 UTC
IMLA 2017 Call for Papers
2016-12-01 21:21 UTC
Predicativity in Categories
2016-12-01 16:05 UTC (4+ messages)
"Topology and Groupoids" pdf
2016-11-30 22:25 UTC
A paper on double categories
2016-11-23 7:28 UTC
Plural form of topos
2016-11-19 18:24 UTC
Plural form of topos
2016-11-18 16:33 UTC
Third Nordic Logic Summer School (NLS) 2017, First Announcement
2016-11-18 13:37 UTC
Categories Logic and Physics Scotland 30 November
2016-11-18 9:42 UTC
grothendieck toposes and grothendieck abelian categories
2016-11-16 19:24 UTC
partial adjoints
2016-11-15 21:44 UTC (2+ messages)
Grothendieck toposes
2016-11-10 16:34 UTC (2+ messages)
` "
Grothendieck toposes
2016-11-09 15:53 UTC (2+ messages)
Grothendieck toposes
2016-11-09 15:01 UTC
Grothendieck toposes
2016-11-09 10:48 UTC (2+ messages)
Giraud_Elementary_?
2016-11-09 9:13 UTC (2+ messages)
Giraud_Elementary_?
2016-11-08 17:13 UTC
Giraud_Elementary_?
2016-11-08 10:03 UTC (2+ messages)
tenure-track and postdoctoral positions at UWO
2016-11-07 22:15 UTC
test message
2016-11-07 19:01 UTC
fully funded graduate positions in Math at UWO
2016-11-07 16:07 UTC
Call for Papers: Fifth Workshop on Formal Topology (5WFTop) in JLA
2016-11-05 16:25 UTC
Grothendieck toposes
2016-11-05 15:04 UTC
2nd CFP, NFM 2017: 9th NASA Formal Methods Symposium
2016-11-04 8:07 UTC
Union College Conference
2016-11-03 20:12 UTC
Grothendieck toposes
2016-11-03 19:36 UTC (10+ messages)
Grothendieck toposes
2016-11-03 14:03 UTC
YaMCATS 9 University of Leeds 16 November 2016
2016-11-03 12:06 UTC
Grothendieck toposes
2016-11-02 18:34 UTC (7+ messages)
Topological *-autonomous categories, revisited
2016-11-02 13:44 UTC (2+ messages)
Grothendieck toposes
2016-10-30 19:39 UTC (3+ messages)
Internal categories in monoidal categories
2016-10-30 3:26 UTC (2+ messages)
Grothendieck toposes
2016-10-27 11:07 UTC
Categories Logic and Physics - 30 November
2016-10-26 12:22 UTC
Chaire de la Vallee Poussin 2017
2016-10-26 8:17 UTC
12-month post-doctoral grant in Padova
2016-10-25 21:02 UTC
John C. Reynolds Doctoral Dissertation Award
2016-10-25 18:27 UTC
Higher Structures journal
2016-10-25 18:13 UTC
CT2017 Second Announcement
2016-10-23 6:00 UTC
Positions at Edinburgh
2016-10-13 12:35 UTC
Product-preserving sub-representables
2016-10-10 15:50 UTC
Half cartesian duoical categories
2016-10-08 11:31 UTC (3+ messages)
Half cartesian duoical categories
2016-10-07 19:52 UTC
ETAPS 2017 final call for papers
2016-10-07 9:44 UTC
LICS 2017 - CFP
2016-10-06 14:17 UTC
[LICS] LICS 2017 - CFP
2016-10-06 14:17 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2016-10-05 21:42 UTC
Super Yoneda?
2016-10-04 18:21 UTC
Union College Conference
2016-09-26 13:02 UTC
Coequalizers of Lawson-continuous maps
2016-09-26 8:55 UTC
[LICS] LICS 2017 Call for Workshop Proposals
2016-09-19 8:34 UTC
LICS 2017 Call for Workshop Proposals
2016-09-19 8:34 UTC
FSCD 2017 - Call for Workshop Proposals
2016-09-18 22:24 UTC
CT2017 FIRST ANNOUNCEMENT
2016-09-17 1:02 UTC
Assistant Professor Vacancy at Utrecht
2016-09-16 11:52 UTC
weakly globular n-fold categories
2016-09-15 16:30 UTC
Gray's paper on universal algebra in cartesian closed categories
2016-09-12 21:32 UTC
CFP Special issue [IJCAT Journal]
2016-09-07 11:57 UTC
discrete probability functor on Rel
2016-09-05 11:32 UTC
Open position for Postdoc at Embedded Systems Unit of FBK
2016-09-05 11:03 UTC
Examples of certain monotone operators
2016-08-25 19:13 UTC (3+ messages)
` Examples of certain monotone operators: errata
CSR 2017: Preliminary Call for Papers
2016-08-17 16:07 UTC
Examples of certain monotone operators
2016-08-17 14:16 UTC (2+ messages)
New paper "Sketches for arithmetic universes"
2016-08-04 16:23 UTC
Union College Math Conference
2016-07-29 20:21 UTC
discrete probability functor on Rel
2016-07-27 11:27 UTC
ETAPS 2017 1st call for papers
2016-07-26 7:58 UTC
bar construction for better-than-average monads
2016-07-26 5:42 UTC
Upcoming conference at the University of Leicester
2016-07-25 21:13 UTC
Call for participation - CSL 2016 (August 29 - September 1)
2016-07-22 13:27 UTC
LL2016: Call for participation and abstracts
2016-07-21 22:31 UTC
Website updated with new papers
2016-07-21 10:29 UTC
Workshop on Dualities
2016-07-20 23:31 UTC
2016 Autumn School on Computational Logic
2016-07-11 14:43 UTC
tenure track position in Theoretical Computer Science
2016-07-07 20:53 UTC
Armin Frei
2016-07-07 17:47 UTC
CT2016 Halifax hotel rooms
2016-07-05 23:35 UTC
YaMCATS 8, University of Sheffield, 11 July 2016
2016-07-05 17:15 UTC
ESSLLI 2017 Second Call for Course Proposals
2016-06-22 19:19 UTC
Attn Cambridge People At CT16
2016-06-21 18:46 UTC
Attn Cambridge People At CT16
2016-06-21 18:46 UTC
Sibe Mardesic
2016-06-20 7:39 UTC (2+ messages)
looking for a paper
2016-06-17 14:57 UTC (5+ messages)
mini residence housing during CT2016 - three spaces left
2016-06-16 13:12 UTC
Injectives in toposes
2016-06-10 21:57 UTC
Ronald Brown's web site
2016-06-06 20:45 UTC
page: next (older) | prev (newer) | latest
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).