8 Feb 08:58 2016Alessio Guglielmi
*PhD positions from October 2016 at the University of Bath
7 Feb 15:34 2016Chris Kapulkin
*Workshop on Homotopy Type Theory and Univalent Foundations, Fields Ins
5 Feb 16:27 2016Clemens Kupke
*Post-doc and PhD position in Coalgebra for Data and Games @ the MSP gr
5 Feb 13:00 2016Dimitrios Kartsaklis
*2nd CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physi
2 Feb 06:10 2016Patrik Eklund
*Categories in real world applications
2 Feb 18:21 2016Giorgio Mossa
**Categories in real world applications
2 Feb 19:45 2016Bob Coecke
**Categories in real world applications
2 Feb 22:55 2016Andree EHRESMANN
**Categories in real world applications
3 Feb 10:49 2016Joyal, André
**Categories in real world applications
1 Feb 08:57 2016John MacDonald
*FMCS2016 Vancouver, Canada. First Announcement
29 Jan 11:34 2016list-announcer
*Funded Doctoral Positions in Computer Science in Austria (LogiCS)
22 Jan 23:45 2016European Association of Comput
*Call for Nominations: The 2016 Alonzo Church Award for Outstanding Con
22 Jan 18:54 2016European Association of Comput
*Call for papers: CSL 2016
22 Jan 15:28 2016Mojgan Mahmoudi
*Prof Lawvere recent paper
22 Jan 06:21 2016hassei
*FSCD'16 Final Call for Papers
19 Jan 22:30 2016Jürgen Koslowski
*PSSL99, aka Jirkafest, 2.1st announcement and correction
18 Jan 14:30 2016Marco Grandis
*Preprint: Adjoints for multiple categories
18 Jan 14:37 2016Jürgen Koslowski
*PSSL 99, a.k.a. Jirkafest, 2nd announcement
16 Jan 21:30 2016Jean-Marc Talbot
*CSL 2016 - 1st CFP
16 Jan 18:45 2016Todd Wilson
*Formalizing topos-theoretic arguments in Lean
19 Jan 04:36 2016Toby Bartels
**Formalizing topos-theoretic arguments in Lean
15 Jan 15:28 2016Nicola Gambino
*Logic Colloquium 2016
14 Jan 13:36 2016Peter Johnstone
*PSSL 100, 21-22 May 2016
12 Jan 12:28 2016Robert Atkey
*MSFP 2016: Final Call for Papers
7 Jan 16:09 2016Paul B Levy
*two categories of interest
19 Jan 03:51 2016Richard Garner
**two categories of interest
5 Jan 00:13 2016John Baez
*The PROP for commutative monoids
9 Jan 14:34 2016Marco Grandis
**The PROP for commutative monoids
3 Jan 04:24 2016Dan Christensen
*postdoctoral positions at U. Western Ontario
31 Dec 12:05 2015Vladimir Voevodsky
*a paper announcement
30 Dec 13:49 2015Bob Rosebrugh
*Review of the book: Mathematics Without Apologies, NY Review
20 Dec 19:40 2015fabio.zanasi
*CMCS 2016 : Last Call for Papers
20 Dec 16:33 2015Peter Johnstone
*PSSL 100
20 Dec 09:48 2015Aleks Kissinger
*Indiscrete objects in a functor category
19 Dec 11:48 2015Aleks Kissinger
*Indiscrete objects in a functor category
20 Dec 16:25 2015Peter Johnstone
**Indiscrete objects in a functor category
18 Dec 13:15 2015Mehrnoosh Sadrzadeh
*CFP for Workshop on Semantic Spaces at the Intersection of NLP, Physic
17 Dec 21:19 2015David Roberts
*Rolland's MSc thesis
13 Dec 21:57 2015Oosten
*Reminder: 98th PSSL, January 8--10, Doorn, the Netherlands
12 Dec 14:06 2015Chris Heunen
*QPL 2016: Call for papers
8 Dec 14:24 2015Robert Atkey
*MSFP 2016: Call for Papers
8 Dec 09:48 2015Dorel Lucanu
*WRLA 2016: 2nd Call for Papers (including invited speakers)
8 Dec 02:58 2015Richard Garner
*Postdoctoral positions in Sydney
7 Dec 18:01 2015Erika Abraham
*3rd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjav
7 Dec 17:39 2015Andrej Bauer
*Postdoc position at the University of Ljubljana
7 Dec 14:37 2015Uwe Egbert Wolter
*Variable sets
6 Dec 09:34 2015Jiří Rosický
*research positions
6 Dec 00:47 2015Jamie Vicary
*Globular
3 Dec 18:17 2015Ralph Matthes
*Reminder - Thematic trimester CIPPMI “Current Issues in the Philosop
30 Nov 18:53 2015Paul B Levy
*Midlands Graduate School Christmas Seminar
28 Nov 04:14 2015Paoli, Simona (Dr.
*YaMCATS 5 University of Sheffield 11 Dec 2015
27 Nov 13:58 2015Jürgen Koslowski
*PSSL 99, Jirkafest, first announcement
22 Nov 13:02 2015Jeremy Gibbons
*SIGPLAN John C Reynolds Doctoral Dissertation Award
22 Nov 01:56 2015John Baez
*Unexampled richness
18 Nov 23:18 2015Michael Barr
*Springer violates copyright!
18 Nov 14:51 2015Vladimir Voevodsky
*a question
19 Nov 14:09 2015Marco Grandis
**a question
18 Nov 13:47 2015Oosten, J. van
*98th PSSL -- first announcement
15 Nov 03:23 2015pjf
*2 is an unexampled even prime
21 Nov 03:02 2015Vaughan Pratt
**2 is an unexampled even prime
13 Nov 23:00 2015pjf
*See the Colbert interview of Cheng
14 Nov 23:45 2015Jorge Picado
*PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
13 Nov 23:12 2015pjf
*Jim Holt on categories
13 Nov 19:51 2015Dan Christensen
*fully funded graduate positions in Math at UWO
11 Nov 16:21 2015Sam Staton
*LICS 2016 - Call for Workshop Proposals
7 Nov 16:41 2015Peter LeFanu Lumsdaine
*Workshop on Categorical Logic, Dec 3–4, Stockholm
4 Nov 14:51 2015Thomas Streicher
*PhDs in Logic VIII, Darmstadt May 9-11, 2016
3 Nov 21:26 2015pjf
*WHOOPS: CORRECTION!
3 Nov 15:26 2015pjf
*Eugenia Cheng on the Late Show!
28 Oct 16:49 2015Dorel Lucanu
*WRLA 2016: 1st Call for Papers
28 Oct 08:40 2015David Roberts
*not(CH) and cardinal inequality in the absence of LEM
28 Oct 12:25 2015David Roberts
**not(CH) and cardinal inequality in the absence of LEM
18 Oct 16:39 2015Chris Kapulkin
*Workshop on Homotopy Type Theory and Univalent Foundations, Fields Ins
15 Oct 20:33 2015fabio.zanasi
*CMCS 2016 : Second Call for Papers
9 Oct 15:27 2015Jiri Adamek
*terminology of (co)algebras
9 Oct 20:06 2015Michael Barr
**terminology of (co)algebras
6 Oct 16:21 2015Geoff Sutcliffe
*IWIL-11 in Fiji, extended deadline
5 Oct 05:31 2015Venkata Rayudu Posina
*Decision-making and Category theory
6 Oct 12:13 2015Andree EHRESMANN
**Decision-making and Category theory
1 Oct 16:35 2015Joost Vercruysse
*Announcement conference Stef Caenepeel 60
1 Oct 16:17 2015Marcelo Fiore
*Faculty position in PL/verification/theorem-proving at Cambridge.
1 Oct 03:20 2015Peter Selinger
*type theory postdoc at Dalhousie University
30 Sep 03:08 2015Eduardo Ochs
*Intuitionistic Logic for Children, or: Planar Heyting Algebras for Chi
29 Sep 19:31 2015Benno van den Berg
*Postdoc position at the ILLC
28 Sep 19:45 2015Olivia Caramello
*"Topos a l'IHES" - second announcement
28 Sep 12:03 2015Tarmo Uustalu
*ETAPS 2016 final call for papers
27 Sep 18:55 2015Michael Barr
*Latest version of diagxy
27 Sep 01:29 2015Toby Bartels
*Spelling of "equaliser"
23 Sep 11:39 2015Marieke Huisman
*CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
22 Sep 11:32 2015Steve Vickers
*Computability and Complexity of Categorical Structures
21 Sep 15:42 2015Noson S. Yanofsky
*Computability and Complexity of Categorical Structures
18 Sep 17:30 2015Noson S. Yanofsky
*Computability and Complexity of Categorical Structures
21 Sep 03:55 2015David Roberts
**Computability and Complexity of Categorical Structures
21 Sep 12:10 2015Steve Vickers
**Computability and Complexity of Categorical Structures
18 Sep 16:10 2015fabio.zanasi
*CMCS 2016 : First Call for Papers
4 Sep 15:07 2015pjf
*Eugenia Cheng in the (U of C) news
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