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)
Grothendieck toposes
2016-11-09 2:35 UTC
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
Grothendieck toposes
2016-11-06 15:41 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
the Kan extension seminar returns
2016-10-24 3:15 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 2017 Call for Workshop Proposals
2016-09-19 8:34 UTC
[LICS] 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
Ronald Brown's web site
2016-06-06 20:45 UTC
Website updated with new papers
2016-06-04 4:20 UTC
Researcher position in Genoa
2016-06-01 12:46 UTC
Final CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
2016-05-31 8:50 UTC
cheap dorm rooms at Dalhousie during CT2016, but reply right away
2016-05-30 22:37 UTC
CT 2016 Deadlines
2016-05-30 16:53 UTC
PhD Scholarship: Logic for Multiscale Network Modelling
2016-05-30 16:30 UTC
The European Master's Program in Computational Logic: Application until 5 June 2016
2016-05-29 20:03 UTC
conference announcement
2016-05-24 9:49 UTC
PLRR 2016 (Parametricity, Logical Relations & Realizability), call for contribution
2016-05-24 6:52 UTC
PSSL history
2016-05-21 6:36 UTC
Reminder: postdoc position in semantics and effects SUNDAY DEADLINE
2016-05-18 11:01 UTC
PSSL history
2016-05-17 9:03 UTC
Free cocompletion
2016-05-15 15:21 UTC
FMCS2016 Fourth Announcement
2016-05-15 6:07 UTC
LICS 2016 Call for Participation
2016-05-14 20:20 UTC
QPL 2016 Programme, Final call for participation
2016-05-13 19:48 UTC
free cocompletion
2016-05-12 8:27 UTC (2+ messages)
Free cocompletion
2016-05-12 7:55 UTC
Online publication of the Cahiers and of Charles Ehresmann's Works
2016-05-10 6:22 UTC
PSSL100: Last Reminder
2016-05-08 21:22 UTC
QPL 2016 Call for Participation
2016-05-04 15:18 UTC
QPL 2016 Call for Participation
2016-05-04 15:18 UTC
Major New York Times article about Eugenia Cheng!
2016-05-03 12:57 UTC
Workshop: "Universal Structures in Mathematics and Computing"
2016-05-02 4:23 UTC
YaMCATS 7 University of Leicester 10 May 2016
2016-04-29 15:44 UTC
1-year teaching / research position
2016-04-29 14:21 UTC
Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016
2016-04-26 15:36 UTC
PhD positions at the ILLC in Amsterdam
2016-04-25 10:27 UTC
Ph.D. Position in Security Modeling at IRISA in Rennes, France
2016-04-22 9:43 UTC
Survey of math publishing priorities
2016-04-21 4:39 UTC
3 PhD studentships available
2016-04-20 13:33 UTC
Papers in CGASA on the occasion of Banaschewski's 90th Birthday
2016-04-19 17:36 UTC
Postdoc positions at CMUC, Coimbra
2016-04-19 15:39 UTC
Final announcement for program on higher structures at MATRIX
2016-04-19 8:47 UTC
Reminder: PSSL100 in Cambridge; info on dinner
2016-04-15 15:55 UTC
FMCS2016 Third Announcement
2016-04-14 22:39 UTC
postdoc position in semantics and effects
2016-04-14 16:02 UTC
EPSRC Postdoc
2016-04-14 8:32 UTC
position in chambery
2016-04-13 8:35 UTC
Workshop on Categorical Methods in Non-Abelian Algebra: REMINDER
2016-04-11 17:58 UTC
(unknown)
2016-04-11 8:35 UTC
Two positions at the University of Leeds
2016-04-08 11:42 UTC
Fields Workshop "New Directions in Inverse Semigroups"
2016-04-06 23:19 UTC
International Category Theory Conference CT 2016
2016-04-06 17:21 UTC
A construction for polynomials
2016-04-06 7:04 UTC (2+ messages)
A construction for polynomials
2016-04-05 16:58 UTC
A construction for polynomials
2016-04-05 3:59 UTC
Update on scanned notes of Mac Lane at Bowdoin 1969
2016-03-31 16:10 UTC
Offering scanned notes of Mac Lane at Bowdoin 1969
2016-03-31 6:23 UTC
Oregon Programming Languages Summer School 2016
2016-03-30 21:21 UTC
PhD positions, application deadline May 1, 2016=
2016-03-29 20:44 UTC
PhD positions, application deadline May 1, 2016
2016-03-29 11:00 UTC
Categories Logic And Physics Scotland
2016-03-29 10:27 UTC
ICMS 2016
2016-03-24 12:37 UTC
ICMS 2016
2016-03-24 12:37 UTC
Topological *-autonomous categories,revisited
2016-03-18 19:07 UTC
Ronnie Brown's web site url change
2016-03-13 11:27 UTC
Ronnie Brown's web site url change
2016-03-13 11:27 UTC
Ackermann Award 2016
2016-03-12 20:56 UTC
CSL 2016 - 2nd call for papers
2016-03-11 15:59 UTC
Workshop on Categorical Methods in Non-Abelian Algebra
2016-03-10 21:06 UTC
Call for contributions PCC'16 - Proof, Computation and Complexity, May 5-6, 2016, in Munich
2016-03-10 16:43 UTC
CMCS 2016: Last Call for Participation (with Programme)
2016-03-10 14:59 UTC
StefFest Turin May 2016
2016-03-10 10:59 UTC
PSSL 100 in Cambridge: Registration open
2016-03-08 12:06 UTC
FMCS2016 Second Announcement
2016-03-08 7:22 UTC
QPL 2016: Final call for papers
2016-03-07 9:43 UTC
International Workshop "Mathematics for Computation" (M4C)
2016-03-04 14:37 UTC
postdoctoral positions in Brussels
2016-03-04 14:04 UTC
AARMS Summer School Reminder - Urgent message regarding housing for the preparatory week
2016-03-02 18:38 UTC
Visiting PhD Student
2016-03-01 17:45 UTC
SIC à Lille le 23 mars 2016 (deuxième annonce)
2016-02-29 19:36 UTC
Call for Participation: MSFP 2016
2016-02-26 9:42 UTC
Midlands Graduate School in Foundations of Computing Science
2016-02-25 4:28 UTC (2+ messages)
` Call for participation: Games for Logic and Programming Languages XI
Call for participation: Games for Logic and Programming Languages XI
2016-02-25 4:28 UTC
local presentability in formal category theory
2016-02-22 23:27 UTC
Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)
2016-02-22 15:49 UTC
on_MV-algebras
2016-02-19 22:20 UTC
CMCS 2016: Call for Short Contributions and Participation
2016-02-14 18:44 UTC
Postdocs at Tulane
2016-02-12 15:54 UTC
Inaugural Program at MATRIX - Higher structures in geometry and physics
2016-02-12 5:28 UTC
ETAPS 2016 call for participation
2016-02-11 16:30 UTC
Call for abstracts for the NASSLLI workshop on Statistical and Logical Mode= ls of Meaning (SaLMoM)
2016-02-10 20:16 UTC
PhD positions from October 2016 at the University of Bath
2016-02-08 7:58 UTC
Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
2016-02-07 14:34 UTC
YaMCATS 6 University of Leeds 22 February 2016
2016-02-05 17:34 UTC
Post-doc and PhD position in Coalgebra for Data and Games @ the MSP group, Univ. Strathclyde (Glasgow)
2016-02-05 15:27 UTC
2nd CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
2016-02-05 12:00 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).