SFM-15:MP school on multicore programming -- last call for participation
2015-03-05 13:06 UTC
Category without objects
2015-03-05 11:49 UTC
Formal Methods in Computer-Aided Design (FMCAD), 2015 - First Call for Papers
2015-03-01 23:05 UTC
TYPES 2015 final call for contributions
2015-02-27 17:33 UTC
TACL 2015 - Deadline extension for submissions
2015-02-27 17:33 UTC
Publication: Pitts monads and a lax descent theorem
2015-02-26 18:39 UTC
A paper by MacLane
2015-02-26 15:32 UTC
Preprint: Limits in multiple categories
2015-02-26 8:29 UTC
ETAPS 2016 call for satellite events
2015-02-25 19:12 UTC
LPAR-20 Call for Workshops
2015-02-23 13:04 UTC
Fwd: Young Topologists' Meeting 2015
2015-02-23 10:17 UTC (2+ messages)
` "
Young Topologists' Meeting 2015
2015-02-23 10:17 UTC
OPLSS 2015
2015-02-20 22:15 UTC
A HoTT-Date with Thorsten Altenkirch
2015-02-20 18:02 UTC
A HoTT-Date with Thorsten Altenkirch
2015-02-20 18:02 UTC
Postdoc and PhD positions in Aarhus
2015-02-20 14:49 UTC
Post-doc in Japan: JSPS Postdoctoral Fellowship
2015-02-19 4:57 UTC
Post-doc in Japan: JSPS Postdoctoral Fellowship
2015-02-19 4:57 UTC
CALL FOR PhD/MSc Contributions (RAMiCS 2015)
2015-02-18 14:02 UTC
CT 2015 (third announcement)
2015-02-14 22:07 UTC
Colloque
2015-02-14 13:50 UTC
ETAPS 2015 call for participation
2015-02-13 20:12 UTC
TYPES 2015 2nd call for contributions
2015-02-13 17:42 UTC
CAMGSD Postdoctoral positions for 2015/2016
2015-02-11 10:44 UTC
PhDs in Logic VII -- May 14-16, 2015 -- Deadline extension and final call for abstracts
2015-02-10 22:39 UTC
PhD opportunities in the Computer Science theory group at Birmingham
2015-02-07 15:47 UTC
PhD opportunities in the Computer Science theory group at Birmingham
2015-02-07 15:47 UTC
MeMo 2015 - 1st CfP
2015-02-07 9:28 UTC
Our friend Bob Walters
2015-02-03 17:57 UTC (5+ messages)
Our friend Bob Walters
2015-02-02 10:04 UTC
Category Theory for the Sciences
2015-02-02 8:40 UTC (9+ messages)
Category Theory for the Sciences
2015-02-01 22:10 UTC (2+ messages)
Our friend Bob Walters
2015-02-01 17:58 UTC
Our friend Bob Walters
2015-02-01 1:35 UTC
Category Theory for the Sciences
2015-01-30 20:38 UTC
Preprint: An introduction to multiple categories
2015-01-28 18:59 UTC
Ackermann Award 2015
2015-01-27 15:23 UTC
International Workshop on All-Web real-time Systems
2015-01-27 10:59 UTC
CfP: Refinement Workshop 2011 Limerick 20 Jun, submissions 21 Mar
2015-01-27 9:45 UTC (3+ messages)
` CfP: Refinement Workshop: Turku (submissions 21 March)
` CfP: Refinement Workshop: Oslo at FM (submissions 21->28 March)
Postdoc Position Available
2015-01-23 13:26 UTC
Post doc available at the IT University of Copenhagen
2015-01-22 7:41 UTC
Post doc available at the IT University of Copenhagen
2015-01-22 7:41 UTC
FMCS2015 - First Announcement (fwd)
2015-01-22 0:21 UTC
CatAlg2015 - 3rd Workshop in Categorical Algebra *** First Announcement ***
2015-01-19 15:18 UTC
Special volume in memory of Reinhard Boerger
2015-01-18 1:15 UTC
fully funded graduate positions in math at UWO
2015-01-16 18:33 UTC
Final CfP: GaLoP 2015
2015-01-16 16:09 UTC
Final CfP: GaLoP 2015
2015-01-16 16:09 UTC
Open PhD position at TU Wien
2015-01-15 13:02 UTC
PhD position
2015-01-14 20:16 UTC
TYPES 2015 call for contributions
2015-01-14 17:43 UTC
3rd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
2015-01-12 17:23 UTC
position in Brussels
2015-01-09 9:38 UTC
CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015
2015-01-08 17:48 UTC
Semi-strict n-categories
2015-01-07 23:19 UTC
NLCS '15 Call for Papers
2015-01-07 20:32 UTC
Semistrict n-categories
2015-01-06 11:10 UTC
Cohesion and the category of categories
2015-01-06 7:17 UTC
a call for examples
2015-01-05 4:12 UTC (2+ messages)
a call for examples
2015-01-02 9:04 UTC (2+ messages)
Fwd: Internalizing n-cells to (n-1)-cells
2014-12-30 10:47 UTC (2+ messages)
` "
FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo)
2014-12-28 8:51 UTC
*** Preliminary Announcement *** CatAlg2015 - Workshop in Categorical Algebra
2014-12-23 17:12 UTC
GaLoP 2015: Workshop on Games for Logic and Programming Languages
2014-12-22 17:57 UTC
Call for Abstracts (PhDs in Logic VII)
2014-12-22 14:06 UTC
TACL2015 call for extended abstracts
2014-12-17 9:16 UTC
Nominations for John C Reynolds Distinguished Dissertation Award
2014-12-16 11:10 UTC
BOUNCE categories@mta.ca: Approval required: (fwd)
2014-12-16 3:13 UTC
New Editorial Board of the "Cahiers"
2014-12-15 20:23 UTC
Achieving "neither P nor not P"
2014-12-15 18:00 UTC (4+ messages)
postdoctoral positions at U. Western Ontario
2014-12-15 15:14 UTC
Open problems
2014-12-14 23:35 UTC (3+ messages)
LICS 2015 - Last Call for Papers
2014-12-14 22:52 UTC
Achieving "neither P nor not P"
2014-12-14 20:08 UTC
3.5-year PhD positions from October 2015 at the University of Bath
2014-12-14 16:47 UTC
Applications of (higher) category theory to computer science
2014-12-13 21:37 UTC
Applications of (higher) category theory to computer science
2014-12-13 21:07 UTC (7+ messages)
research positions
2014-12-13 9:02 UTC
CfP: ESSLLI Student Session 2015, Barcelona, August 3-14 2015
2014-12-11 13:21 UTC
2 Postdocs in HoTT
2014-12-04 12:05 UTC
postdoc position in Vienna
2014-12-03 11:10 UTC
QPL 2015: Call for papers
2014-12-03 10:16 UTC
The European Master's Program in Computational Logic
2014-12-03 9:14 UTC
Fwd: Young Topologists' Meeting 2015
2014-12-02 14:35 UTC
GTA positions available (funded PhD)
2014-12-01 11:15 UTC
PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
2014-11-30 18:21 UTC
CT 2015 (Second announcement)
2014-11-29 12:52 UTC
Simplified definition of scheme proposed by Grothendieck
2014-11-28 23:53 UTC
Simplified definition of scheme proposed by Grothendieck
2014-11-28 13:53 UTC
JHRS Volume dedicated to Ronald Brown
2014-11-28 7:25 UTC
Simplified definition of scheme proposed by Grothendieck
2014-11-28 6:34 UTC
Well-kept secret redux
2014-11-26 16:57 UTC (2+ messages)
Doctoral Program on Logical Methods in Computer Science (LogiCS)
2014-11-26 13:20 UTC
CALCO 2015: First Call for Papers
2014-11-25 9:20 UTC
2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
2014-11-24 15:36 UTC
Grothendieck, Topos theory, and the Lawvere element
2014-11-21 4:33 UTC
15 funded PhD positions
2014-11-20 13:49 UTC
Contact with Grothendieck
2014-11-18 10:32 UTC (2+ messages)
Alexandre Grothendieck
2014-11-18 2:54 UTC
Alexandre Grothendieck
2014-11-18 0:12 UTC
Alexandre Grothendieck
2014-11-14 16:39 UTC (4+ messages)
` "
Category-theory interactive demonstrations on the Web
2014-11-14 16:24 UTC
Grothendieck
2014-11-14 2:50 UTC
Request for a reference
2014-11-13 21:07 UTC (2+ messages)
First YaMCATS meeting: December 18, Leicester (UK)
2014-11-13 16:01 UTC
NNOs in different toposes "the same"?
2014-11-12 11:37 UTC (4+ messages)
Research fellowship at Edinburgh
2014-11-10 19:49 UTC
Journal of K-Theory effectively defunct
2014-11-06 1:51 UTC
jobs at Macquarie
2014-11-05 22:27 UTC
[TYPES] origin of the term "hom-set"?
2014-11-05 18:27 UTC
Tenure Track Position at Denison University
2014-11-05 12:24 UTC
jobs at Macquarie
2014-11-03 5:38 UTC
Limit-sketchability
2014-10-27 11:22 UTC (2+ messages)
Double Dualization: Functions on vs. Figures in
2014-10-27 4:37 UTC
Workshop in Category Theory and Algebraic Topology
2014-10-23 12:18 UTC
non-unital monads
2014-10-20 23:22 UTC (5+ messages)
CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
2014-10-20 19:19 UTC
non-unital monads
2014-10-20 18:22 UTC
non-unital monads
2014-10-19 21:28 UTC
Journal pricing
2014-10-19 11:40 UTC
TLCA: 1st CALL for PAPERS
2014-10-16 6:06 UTC
PSSL97 - First announcement
2014-10-14 12:18 UTC
Announcement: Topology, Algebra, and Categories in Logic (TACL2015)
2014-10-12 10:18 UTC
LICS 2015 - First Call for Papers
2014-10-11 11:02 UTC
Coherence for tricategories
2014-10-10 17:55 UTC
Mathematics of Program Construction (MPC 2015): first call for papers
2014-10-10 13:57 UTC
a note on sources of my text of fibered categories
2014-10-03 21:27 UTC (2+ messages)
Reference search: new categories by replacing morphisms with diagrams
2014-09-26 21:14 UTC (4+ messages)
Soundness of commutative diagram proofs
2014-09-26 1:29 UTC (3+ messages)
Dietmar Schumacher
2014-09-25 18:00 UTC
5Yr Fellowships
2014-09-25 15:15 UTC
tenure(track) position in Nijmegen, The Netherlands
2014-09-24 10:59 UTC
K-Theory Foundation
2014-09-23 20:39 UTC
Dietmar Schumacher
2014-09-23 1:23 UTC
Dietmar Schumacher
2014-09-23 1:14 UTC (5+ messages)
SERA 2015 - CFP
2014-09-22 20:34 UTC
CSR 2015: First Call for Papers
2014-09-18 10:59 UTC
papers on colimits of monads available
2014-09-17 12:59 UTC
looking for a reference
2014-09-14 19:10 UTC
looking for a reference
2014-09-14 14:41 UTC (2+ messages)
` "
ATVA 2014: Call for Participation
2014-09-10 21:42 UTC
CT2015
2014-09-10 8:40 UTC
INFORMATIK 2014
2014-09-08 10:54 UTC
Is the category of group actions LCCC?
2014-09-06 7:47 UTC
Is the category of group actions LCCC?
2014-09-05 18:33 UTC (6+ messages)
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).