27 Feb 18:33 2015Tarmo Uustalu
*TYPES 2015 final call for contributions
27 Feb 18:33 2015Luca Spada
*TACL 2015 - Deadline extension for submissions
26 Feb 16:32 2015Jean-Pierre Marquis
*A paper by MacLane
26 Feb 09:29 2015Marco Grandis
*Preprint: Limits in multiple categories
25 Feb 20:12 2015Tarmo Uustalu
*ETAPS 2016 call for satellite events
23 Feb 14:04 2015Geoff Sutcliffe
*LPAR-20 Call for Workshops
23 Feb 11:17 2015Zaganidis Dimitri
*Young Topologists' Meeting 2015
20 Feb 23:15 2015Prof Robert Harper
*OPLSS 2015
20 Feb 19:02 2015Neil Ghani
*A HoTT-Date with Thorsten Altenkirch
20 Feb 15:49 2015Lars Birkedal
*Postdoc and PhD positions in Aarhus
19 Feb 05:57 2015Ichiro Hasuo
*Post-doc in Japan: JSPS Postdoctoral Fellowship
18 Feb 15:02 2015Michael Winter
*CALL FOR PhD/MSc Contributions (RAMiCS 2015)
14 Feb 23:07 2015Dirk Hofmann
*CT 2015 (third announcement)
14 Feb 14:50 2015Jean-Pierre.Marquis
*Colloque
13 Feb 21:12 2015Tarmo Uustalu
*ETAPS 2015 call for participation
13 Feb 18:42 2015Tarmo Uustalu
*TYPES 2015 2nd call for contributions
11 Feb 11:44 2015Pedro Resende
*CAMGSD Postdoctoral positions for 2015/2016
7 Feb 16:47 2015Paul B Levy
*PhD opportunities in the Computer Science theory group at Birmingham
31 Jan 16:11 2015wlawvere
*Our friend Bob Walters
31 Jan 23:29 2015Ross Street
**Our friend Bob Walters
1 Feb 02:35 2015Fred E.J. Linton
**Our friend Bob Walters
1 Feb 11:07 2015Giuseppe Rosolini
**Our friend Bob Walters
1 Feb 16:47 2015Joyal, André
***Our friend Bob Walters
2 Feb 11:04 2015Marco Grandis
**Our friend Bob Walters
3 Feb 18:57 2015Matias M
**Our friend Bob Walters
29 Jan 14:53 2015Harley Eades III
*Category Theory for the Sciences
29 Jan 01:59 2015Michael Barr
*Category Theory for the Sciences
29 Jan 14:30 2015Marco Benini
**Category Theory for the Sciences
29 Jan 15:59 2015Charles Wells
**Category Theory for the Sciences
29 Jan 16:47 2015Garraway, Dale
**Category Theory for the Sciences
30 Jan 03:22 2015majordomo
**Category Theory for the Sciences
30 Jan 12:41 2015Ronnie Brown
**Category Theory for the Sciences
30 Jan 20:03 2015Fred E.J. Linton
**Category Theory for the Sciences
1 Feb 23:10 2015Vaughan Pratt
***Category Theory for the Sciences
30 Jan 21:32 2015Patrik Eklund
**Category Theory for the Sciences
30 Jan 21:38 2015Fred E.J. Linton
**Category Theory for the Sciences
2 Feb 09:40 2015Andree Ehresmann
**Category Theory for the Sciences
28 Jan 19:59 2015Marco Grandis
*Preprint: An introduction to multiple categories
27 Jan 16:23 2015European Association of Comput
*Ackermann Award 2015
23 Jan 14:26 2015Patricia Johann
*Postdoc Position Available
22 Jan 08:41 2015Rasmus Ejlers Møgelberg
*Post doc available at the IT University of Copenhagen
22 Jan 01:21 2015Philip Mulry
*FMCS2015 - First Announcement (fwd)
19 Jan 16:18 2015Giuseppe Metere
*CatAlg2015 - 3rd Workshop in Categorical Algebra *** First Announcemen
16 Jan 17:09 2015Pierre Clairambault
*Final CfP: GaLoP 2015
16 Jan 19:33 2015Dan Christensen
*fully funded graduate positions in math at UWO
12 Jan 18:23 2015Michael Winter
*3rd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS
8 Jan 18:48 2015S B Cooper
*CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 2
8 Jan 00:19 2015Mark Weber
*Semi-strict n-categories
6 Jan 08:17 2015Venkata Rayudu Posina
*Cohesion and the category of categories
6 Jan 12:10 2015Jamie Vicary
*Semistrict n-categories
29 Dec 00:36 2014Mike Stay
*Fwd: Internalizing n-cells to (n-1)-cells
30 Dec 11:47 2014Ronnie Brown
**Internalizing n-cells to (n-1)-cells
28 Dec 22:52 2014Emily Riehl
*a call for examples
1 Jan 18:47 2015Ronnie Brown
**a call for examples
5 Jan 05:12 2015Ross Street
***a call for examples
2 Jan 10:04 2015Richard Garner
**a call for examples
28 Dec 09:51 2014Martin Steffen
*FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods
23 Dec 18:12 2014Giuseppe Metere
**** Preliminary Announcement *** CatAlg2015 - Workshop in Categorical
22 Dec 18:57 2014Pierre Clairambault
*GaLoP 2015: Workshop on Games for Logic and Programming Languages
17 Dec 10:16 2014Luca Spada
*TACL2015 call for extended abstracts
16 Dec 12:10 2014Jeremy Gibbons
*Nominations for John C Reynolds Distinguished Dissertation Award
15 Dec 21:23 2014Marino Gran
*New Editorial Board of the "Cahiers"
15 Dec 16:14 2014Dan Christensen
*postdoctoral positions at U. Western Ontario
16 Dec 04:13 2014Bob Rosebrugh
*BOUNCE categories@mta.ca: Approval required: (fwd)
14 Dec 17:47 2014Alessio Guglielmi
*3.5-year PhD positions from October 2015 at the University of Bath
13 Dec 10:19 2014Fred E.J. Linton
*Achieving "neither P nor not P"
14 Dec 00:57 2014Vaughan Pratt
**Achieving "neither P nor not P"
14 Dec 21:08 2014Fred E.J. Linton
**Achieving "neither P nor not P"
15 Dec 11:03 2014Steve Vickers
**Achieving "neither P nor not P"
15 Dec 19:00 2014Vaughan Pratt
***Achieving "neither P nor not P"
13 Dec 10:02 2014Jiří Rosický
*research positions
12 Dec 22:56 2014Harley Eades III
*Open problems
14 Dec 19:12 2014Vaughan Pratt
**Open problems
15 Dec 00:35 2014Michael Barr
***Open problems
11 Dec 23:12 2014Dee Roytenberg
*Applications of (higher) category theory to computer science
11 Dec 14:38 2014Dee Roytenberg
*Applications of (higher) category theory to computer science
11 Dec 15:47 2014Harley Eades III
**Applications of (higher) category theory to computer science
11 Dec 16:45 2014Kyle Marek-Spartz
**Applications of (higher) category theory to computer science
12 Dec 05:05 2014Linton, Fred
**Applications of (higher) category theory to computer science
12 Dec 19:04 2014Kyle Marek-Spartz
***Applications of (higher) category theory to computer science
13 Dec 22:07 2014Urs Schreiber
**Applications of (higher) category theory to computer science
13 Dec 22:37 2014Fred E.J. Linton
**Applications of (higher) category theory to computer science
4 Dec 13:05 2014Neil Ghani
*2 Postdocs in HoTT
3 Dec 12:10 2014Nils Carqueville
*postdoc position in Vienna
3 Dec 11:16 2014Chris Heunen
*QPL 2015: Call for papers
3 Dec 10:14 2014Tobias Philipp
*The European Master's Program in Computational Logic
2 Dec 15:35 2014Dimitri Zaganidis
*Fwd: Young Topologists' Meeting 2015
1 Dec 12:15 2014Reiko Heckel
*GTA positions available (funded PhD)
30 Nov 19:21 2014Jorge Picado
*PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
29 Nov 13:52 2014Dirk Hofmann
*CT 2015 (Second announcement)
29 Nov 00:53 2014David Roberts
*Simplified definition of scheme proposed by Grothendieck
28 Nov 08:25 2014George Janelidze
*JHRS Volume dedicated to Ronald Brown
28 Nov 07:34 2014David Roberts
*Simplified definition of scheme proposed by Grothendieck
28 Nov 14:53 2014Venkata Rayudu Posina
**Simplified definition of scheme proposed by Grothendieck
26 Nov 14:20 2014list-announcer
*Doctoral Program on Logical Methods in Computer Science (LogiCS)
26 Nov 01:02 2014David Roberts
*Well-kept secret redux
26 Nov 17:57 2014Joyal, André
**Well-kept secret redux
25 Nov 10:20 2014Zanasi Fabio
*CALCO 2015: First Call for Papers
24 Nov 16:36 2014Michael Winter
*2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS
21 Nov 05:33 2014Venkata Rayudu Posina
*Grothendieck, Topos theory, and the Lawvere element