24 Apr 19:52 2014Paul-Andre Mellies
*trimester at IHP -- talks of the first week available online
24 Apr 14:28 2014Mehrnoosh Sadrzadeh
*Workshop on Algebra and Coalgebra meet Proof Theory - Call for Partici
20 Apr 14:24 2014Michael Barr
*Question on factorization systems
21 Apr 08:23 2014Till Mossakowski
**Question on factorization systems
21 Apr 14:32 2014Till Mossakowski
***Question on factorization systems
21 Apr 09:20 2014Richard Garner
**Question on factorization systems
21 Apr 14:44 2014tholen
**Question on factorization systems
16 Apr 10:05 2014Paul-Andre Mellies
*IHP thematic trimester -- Kick-off meeting -- Tuesday April 22
16 Apr 08:51 2014Vasili I. Galchin
*Poset adjoints
17 Apr 07:26 2014Fred E.J. Linton
**Poset adjoints
17 Apr 17:36 2014Harley D. Eades III
**Poset adjoints
11 Apr 19:25 2014Geoffrey Cruttwell
*Job posting at Mt. Allison university
11 Apr 17:14 2014Henning Basold
*Workshop Fibrations in Computing 2014 (Fibs'14)
9 Apr 10:44 2014Roy Crole
*Teaching Lectureship in Computer Science at Leicester UK
8 Apr 18:19 2014Uday S Reddy
*Logical relations and parametricity (Reynolds memorial paper)
8 Apr 10:30 2014Nicola Gambino
*Lectureship in Pure Mathematics at Leeds
7 Apr 03:49 2014dusko pavlovic
*positions at University of Hawaii
30 Mar 20:10 2014Emily Riehl
*Kan Extension Seminar talks at CT2014
27 Mar 00:08 2014Jamie Vicary
*Spring School on Quantum Structures in Physics and Computer Science,
27 Mar 00:07 2014Jamie Vicary
*A Conference in Honour of Prakash Panangaden on the Occasion of his 60
25 Mar 02:03 2014Steve Lack
*Ulmer preprint
27 Mar 00:21 2014David Roberts
**Ulmer preprint
2 Apr 12:57 2014Anders Kock
***Ulmer preprint
20 Mar 17:30 2014Ichiro Hasuo
*QPL 2014: 2nd Call for Papers
18 Mar 23:36 2014Paul Levy
*Midlands Graduate School in Foundations of Computing Science - last ch
18 Mar 11:11 2014Dr Julia Goedecke
*CT14: Registration open
17 Mar 02:06 2014Tom Leinster
*Non-properties of the Scott topology
17 Mar 15:56 2014pjf
**Non-properties of the Scott topology
9 Mar 19:45 2014Edward A. Hirsch
*CSR 2014: Call for Participation
8 Mar 16:30 2014Alexandra Silva
*CMCS 2014: call for participation
7 Mar 18:12 2014George Janelidze
*Marco Grandis Volume of TMJ
4 Mar 21:14 2014Eugenio Moggi
*Correctness by Construction, Genoa, Italy, 24-27 March 2014
4 Mar 04:23 2014Fred Linton
*Dover Publications and Toposes
5 Mar 12:35 2014Prof. Peter Johnstone
**Dover Publications and Toposes
3 Mar 23:24 2014Robin Cockett
*FMCS 2014 June 5th - 8th at the Kananaskis Field station
3 Mar 21:29 2014Maria Manuel Clementino
*Special Volume in honour of Manuela Sobral
3 Mar 16:15 2014Ross Duncan
*Funded PhD position Category theory and Quantum Computing at Strathcly
2 Mar 09:49 2014Patrik Eklund
*Towards not mixing signatures in ...
2 Mar 05:43 2014Fred Linton
*Q.: any categorical Halifax AMS Oct 18-19 plans?
27 Feb 19:55 2014Colin McLarty
*Seeking an Eilenberg quote
1 Mar 20:33 2014Fred Linton
**Seeking an Eilenberg quote
26 Feb 00:10 2014Ichiro Hasuo
*Post-doc in Japan: JSPS Postdoctoral Fellowship
24 Feb 23:36 2014Uwe.Wolter
*Limits and colimits in Rel?
25 Feb 15:41 2014Koslowski
**Limits and colimits in Rel?
26 Feb 07:43 2014Fred Linton
**Limits and colimits in Rel?
26 Feb 12:56 2014Prof. Peter Johnstone
**Limits and colimits in Rel?
27 Feb 02:25 2014Fred E.J. Linton
**Limits and colimits in Rel?
27 Feb 10:56 2014Marco Grandis
**Limits and colimits in Rel?
24 Feb 12:49 2014Timothy Porter
*old aliases!
24 Feb 12:44 2014Jiri Rosicky
*research positions
24 Feb 09:34 2014mfcs2014
*MFCS 2014: Call for Papers
19 Feb 12:52 2014Tim Van der Linden
*Seminaire Itinerant de Categories in Louvain-la-Neuve on May 17
19 Feb 08:29 2014Vasili I. Galchin
*P.J. Higgins' "Categories and Groupoids" question ....
19 Feb 14:08 2014Steve Vickers
**P.J. Higgins' "Categories and Groupoids" question ....
20 Feb 18:46 2014Luiz Henrique
**P.J. Higgins' "Categories and Groupoids" question ....
18 Feb 15:58 2014Alexandra Silva
*CMCS 2014: call for short contributions and participation
18 Feb 10:52 2014bourkej
*PSSL95 - Second announcement
15 Feb 15:06 2014Ichiro Hasuo
*QPL 2014: Call for Papers
15 Feb 00:13 2014Lionel Vaux
*Position announcement in Aix-Marseille university
11 Feb 11:27 2014Paolo Baldan
*CONCUR 2014: Call for Papers
10 Feb 11:54 2014Giuseppe Metere
*96th PSSL, October 11th-12th 2014, Palermo
9 Feb 15:29 2014Marino Gran
*Summer school in Lausanne
9 Feb 03:09 2014Fred E.J. Linton
*minor web page update
7 Feb 19:50 2014Paul B Levy
*Call for participation, Mathematically Structured Functional Programmi
7 Feb 00:45 2014Tarmo Uustalu
*ETAPS 2014 call for participation
6 Feb 18:00 2014Roy Crole
*Midlands Graduate School 2014, Nottingham, UK
6 Feb 01:04 2014Jorge Picado
*PhD Program in Mathematics UC|UP
5 Feb 17:05 2014claudio pisani
*preprint available
4 Feb 09:38 2014Pedro Resende
*Functoriality of groupoid quantales
4 Feb 02:43 2014Bob Rosebrugh
*TAC change/categories policy
3 Feb 02:51 2014Vasili I. Galchin
*Martin-Lof type theory gentle introduction please
4 Feb 05:46 2014Patrik Eklund
**Martin-Lof type theory gentle introduction please
6 Feb 13:49 2014Yoshiki Kinoshita (nifty
**Martin-Lof type theory gentle introduction please
7 Feb 15:34 2014matias
**Martin-Lof type theory gentle introduction please
9 Feb 19:16 2014Mike Stay
***Martin-Lof type theory gentle introduction please
11 Feb 20:08 2014Urs Schreiber
**Martin-Lof type theory gentle introduction please
30 Jan 17:35 2014Eugenio Moggi
*Correctness by Construction, Genoa, Italy, 24-27 March 2014
27 Jan 16:23 2014Pierre-Louis Curien
*postdoc offer in Paris
24 Jan 17:25 2014Thomas Nikolaus
*Postdoc and PhD Positions at Regensburg
21 Jan 17:29 2014David CHEMOUIL
*postdoc position in Toulouse on lightweight formal architecture specif
20 Jan 04:54 2014Maria Emilia Maietti
*1 year post-doctoral fellowship in Padova
19 Jan 18:27 2014Jason Gross
*Fwd: Formalizations of category theory in proof assistants?
16 Jan 20:02 2014bourkej
*PSSL 95 - First announcement
14 Jan 01:35 2014Harley Eades
*Cartesian closed 2-categories
11 Jan 17:21 2014Michael Mislove
*MFPS XXX First Call for Papers
11 Jan 00:55 2014David Naumann
*UTP-2014 Unifying Theories of Programming - call for papers
9 Jan 14:37 2014Bertram Fronhöfer
*DEADLINE: January 31, 2014
9 Jan 14:17 2014Nick Gurski
*Lectureships in Sheffield
8 Jan 23:31 2014Alexandra Silva
*CMCS 2014: Deadline extension 15 Jan 2014
8 Jan 11:40 2014Andrzej Murawski
*CSL-LICS 2014 - Last Call for Papers
8 Jan 09:46 2014Julia Goedecke
*CT2014: Abstract submission is open
8 Jan 02:39 2014David Van Horn
*ICFP 2014: Call for papers
5 Jan 17:02 2014Colin McLarty
*Seeking a quote about 1930s algebraic topology
7 Jan 17:19 2014Johannes Huebschmann
**Seeking a quote about 1930s algebraic topology
9 Jan 03:02 2014Tadeusz Litak
**Seeking a quote about 1930s algebraic topology
4 Jan 21:48 2014Mike Stay
*Evaluation of source code, category theoretically?
4 Jan 21:16 2014Rory Lucyshyn-Wright
*Preprint: Enriched factorization systems
2 Jan 19:05 2014Mike Stay
*Evaluation of source code, category theoretically?
3 Jan 18:46 2014Greg Meredith
**Evaluation of source code, category theoretically?
24 Jan 00:30 2014dusko pavlovic
**Evaluation of source code, category theoretically?