3 Sep 08:33 2015Tarmo Uustalu
*ETAPS 2016 2nd call for papers
2 Sep 20:40 2015Michael Winter
*2nd CALL FOR PARTICIPATION (RAMiCS 2015)
1 Sep 09:08 2015Martin Markl
*A tribute to Rainer Vogt
29 Aug 16:36 2015pjf
*Chen review
1 Sep 03:46 2015John Baez
**Chen review
22 Aug 16:06 2015Paul Blain Levy
*coherence for symmetric monoidal and (co)affine categories
24 Aug 03:44 2015Claudio Hermida
**coherence for symmetric monoidal and (co)affine categories
24 Aug 05:11 2015John Baez
**coherence for symmetric monoidal and (co)affine categories
17 Aug 15:39 2015Tarmo Uustalu
*ETAPS 2016 call for papers
17 Aug 10:14 2015John Baez
*categories of models of cartesian PROPs
19 Aug 21:31 2015Fred E.J. Linton
**categories of models of cartesian PROPs
20 Aug 02:28 2015Richard Garner
**categories of models of cartesian PROPs
20 Aug 22:20 2015Aleks Kissinger
**categories of models of cartesian PROPs
21 Aug 06:23 2015John Baez
**categories of models of cartesian PROPs
22 Aug 03:49 2015John Baez
**categories of models of cartesian PROPs
23 Aug 16:09 2015Fabio Gadducci
***categories of models of cartesian PROPs
13 Aug 08:54 2015Ichiro Hasuo
*HSCC 2016: Call for Papers
11 Aug 14:20 2015Robert Dawson
*Current Issues in the Philosophy of Practice of Mathematics & Informat
11 Aug 11:12 2015Thomas Streicher
*Current Issues in the Philosophy of Practice of Mathematics & Informat
9 Aug 11:52 2015Patrik Eklund
*Current Issues in the Philosophy of Practice of Mathematics & Informat
9 Aug 04:10 2015Fred E.J. Linton
**Current Issues in the Philosophy of Practice of Mathematics & Informat
11 Aug 11:39 2015Steve Vickers
**Current Issues in the Philosophy of Practice of Mathematics & Informat
4 Aug 15:46 2015Nicola Gambino
*Jobs at the University of Leeds
30 Jul 17:28 2015Andreas Blass
*Current Issues in the Philosophy and Practice of Mathematics & Informa
29 Jul 07:54 2015Patrik Eklund
*Current Issues in the Philosophy of Practice of Mathematics & Informat
30 Jul 16:46 2015Martin Escardo
**Current Issues in the Philosophy of Practice of Mathematics & Informat
28 Jul 18:07 2015Dirk Hofmann
*CT2015 slides and pictures
24 Jul 11:12 2015Ralph Matthes
*Current Issues in the Philosophy of Practice of Mathematics & Informat
25 Jul 15:57 2015Graham White
**Current Issues in the Philosophy of Practice of Mathematics & Informat
26 Jul 17:33 2015Patrik Eklund
**Current Issues in the Philosophy of Practice of Mathematics & Informat
29 Jul 03:42 2015Martin Escardo
***Current Issues in the Philosophy of Practice of Mathematics & Informat
29 Jul 15:56 2015Robert Dawson
***Current Issues in the Philosophy of Practice of Mathematics & Informat
31 Jul 07:10 2015Vaughan Pratt
****Current Issues in the Philosophy of Practice of Mathematics & Informat
31 Jul 12:35 2015Thomas Streicher
***Current Issues in the Philosophy of Practice of Mathematics & Informat
4 Aug 17:45 2015Patrik Eklund
**Current Issues in the Philosophy of Practice of Mathematics & Informat
23 Jul 19:09 2015Fernando Muro
*'Dérivateurs à Barcelone' final announcement
23 Jul 16:03 2015Michael Winter
*CALL FOR PARTICIPATION (RAMiCS 2015)
22 Jul 04:29 2015wlawvere
*Correction: Steve's legacy
21 Jul 17:38 2015wlawvere
*The Legacy of Steve Schanuel!
20 Jul 09:38 2015Dirk Pattinson
*PhD Position in Verified Voting at ANU
14 Jul 09:59 2015Marino Gran
*Workshop in Category Theory and Algebraic Topology
6 Jul 16:03 2015Fernando Muro
*postdoc in Seville
28 Jun 05:18 2015Linton, Fred
*Math ML in recent headlines
29 Jun 02:46 2015David Roberts
**Math ML in recent headlines
26 Jun 11:23 2015Julian Gutierrez
*Final call for papers: SR 2015, Oxford, Sept 21-22, UK
26 Jun 03:28 2015Michael Barr
*Updated URL
25 Jun 14:34 2015Uwe Egbert Wolter
*Categories with hyperedges?
30 Jun 22:27 2015Joachim Kock
**Categories with hyperedges?
23 Jun 18:45 2015Michael Barr
*Annivsrsary of Jim Lambek's death
20 Jun 03:24 2015Olivia Caramello
*"Topos à l'IHES" - first announcement
13 Jun 20:30 2015pjf
*Another great Cheng review: NYTimes
11 Jun 14:30 2015Jiří Rosický
*positions
9 Jun 08:13 2015David Roberts
*On the issue of Replacement
11 Jun 04:44 2015Fred E.J. Linton
**On the issue of Replacement
8 Jun 20:54 2015Michael Winter
*FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)
8 Jun 15:53 2015Ralph Matthes
*FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'1
7 Jun 23:11 2015Fred E.J. Linton
*On "Degrees of Truth" (PDF on the web)
7 Jun 13:59 2015Dirk Hofmann
*CT2015: Information before arrival
7 Jun 04:01 2015Mike Stay
*2-cells in bicategories as bivectors
4 Jun 16:11 2015Peter Johnstone
*worth looking at
2 Jun 16:25 2015Chris Heunen
*QPL 2015: Call for participation
31 May 17:18 2015Eduardo J. Dubuc
*3 tensors in a 2-category ?
29 May 12:55 2015Anuj Dawar
*British Logic Colloquium 2015
29 May 11:48 2015list-announcer
*New Doctoral Program on Logical Methods in Computer Science (LogiCS)
26 May 04:45 2015Linton, Fred
*John Nash (†)
25 May 12:55 2015Fernando Muro
*'Dérivateurs à Barcelone' 2nd announcement
19 May 15:14 2015fabio.zanasi
*MFPS XXXI/CALCO 2015 : Call for Participation
13 May 22:56 2015Philip Mulry
*FMCS 2015 - Final Announcement
11 May 20:00 2015S B Cooper
*CiE 2015 in Bucharest - Call for Participation
8 May 14:24 2015Fernando Muro
*'Dérivateurs à Barcelone’ conference announcement
8 May 09:16 2015Alex Simpson
*PhD position available
2 May 21:32 2015Zhen Lin Low
*Are Joyal--Tierney fibrations exponentiable?
1 May 22:57 2015Tarmo Uustalu
*TYPES 2015 call for participation
1 May 15:04 2015Zhen Lin Low
*Are Joyal--Tierney fibrations exponentiable?
2 May 10:50 2015Thomas Streicher
**Are Joyal--Tierney fibrations exponentiable?
30 Apr 16:13 2015Ralph Matthes
*FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 wor
28 Apr 18:57 2015Dirk Hofmann
*CT 2015 Special Lecture
22 Apr 14:50 2015Jeremy Gibbons
*Associate Professorship in Data Science at Oxford (Continuing Educatio
22 Apr 11:59 2015RONALD BROWN
*Philip J Higgins
22 Apr 20:57 2015Linton, Fred
**Philip J Higgins
23 Apr 04:14 2015Eduardo J. Dubuc
***Philip J Higgins
20 Apr 08:04 2015Helle Hvid Hansen
*ALCOP 2015 -- Call for participation
19 Apr 21:46 2015Peter Selinger
*Postdoctoral fellowship at Dalhousie with 50% outreach, 50% research
18 Apr 17:45 2015Joost Vercruysse
*New trends in Hopf algebras and tensor categories
17 Apr 14:24 2015Jiri Adamek
*A preprint on locally presentable categories available
17 Apr 09:45 2015Tobias Philipp
*The European Master's Program in Computational Logic: Application unti
16 Apr 17:27 2015Philippe Malbos
*Conference on Homotopy in Concurrency and Rewriting
16 Apr 12:49 2015Giuseppe Metere
*CatAlg2015 - 3rd Workshop in Categorical Algebra *** Second Announceme
15 Apr 20:02 2015Michael Winter
*2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
13 Apr 14:17 2015Jorge Picado
*3 PostDoc research positions in Coimbra
13 Apr 11:43 2015Nicola Gambino
*Lectureship in Pure Mathematics at the University of Leeds
9 Apr 16:58 2015fabio.zanasi
*CALCO Early Ideas 2015 : Call for Contributions
1 Apr 05:45 2015Robert Seely
*Tribute essay honouring Jim Lambek
30 Mar 20:56 2015Phil Mulry
*FMCS 2015 - Second Announcement
30 Mar 16:59 2015Ronnie Brown
*cubical homotopy
26 Mar 13:45 2015Michael Barr
*coequalizers in the category of algebras for the double powerset tripl
27 Mar 17:30 2015Fred E.J. Linton
**coequalizers in the category of algebras for the double powerset tripl
26 Mar 02:27 2015Richard Garner
*Tensor product of left exact morphisms
26 Mar 16:00 2015Joyal, André
**Tensor product of left exact morphisms
27 Mar 00:08 2015Richard Garner
**Tensor product of left exact morphisms