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