CALL FOR PARTICIPATION (RAMiCS 2015)
2015-07-23 14:03 UTC
Correction: Steve's legacy
2015-07-22 2:29 UTC
The Legacy of Steve Schanuel!
2015-07-21 15:38 UTC
PhD Position in Verified Voting at ANU
2015-07-20 7:38 UTC
Octoberfest
2015-07-19 20:44 UTC
Workshop in Category Theory and Algebraic Topology
2015-07-14 7:59 UTC
postdoc in Seville
2015-07-06 14:03 UTC
Spivak's MIT Press Categories book: brief review
2015-07-03 2:20 UTC
Categories with hyperedges?
2015-06-30 20:27 UTC (2+ messages)
Math ML in recent headlines
2015-06-29 0:46 UTC (2+ messages)
Final call for papers: SR 2015, Oxford, Sept 21-22, UK
2015-06-26 9:23 UTC
Updated URL
2015-06-26 1:28 UTC
Annivsrsary of Jim Lambek's death
2015-06-23 16:45 UTC
"Topos à l'IHES" - first announcement
2015-06-20 1:24 UTC
Another great Cheng review: NYTimes
2015-06-13 18:30 UTC
positions
2015-06-11 12:30 UTC
On the issue of Replacement
2015-06-11 2:44 UTC
On the issue of Replacement
2015-06-09 6:13 UTC
FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)
2015-06-08 18:54 UTC
FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
2015-06-08 13:53 UTC
On "Degrees of Truth" (PDF on the web)
2015-06-07 21:11 UTC
CT2015: Information before arrival
2015-06-07 11:59 UTC
2-cells in bicategories as bivectors
2015-06-07 2:01 UTC
YaMCATS 4 University of Leicester 22 June 2015
2015-06-05 13:41 UTC
worth looking at
2015-06-04 14:11 UTC
QPL 2015: Call for participation
2015-06-02 14:25 UTC
3 tensors in a 2-category ?
2015-05-31 15:18 UTC
British Logic Colloquium 2015
2015-05-29 10:55 UTC
New Doctoral Program on Logical Methods in Computer Science (LogiCS)
2015-05-29 9:48 UTC
John Nash (†)
2015-05-26 2:45 UTC
'Dérivateurs à Barcelone' 2nd announcement
2015-05-25 10:55 UTC
ICALP/LICS 2015: Call for Participation
2015-05-22 8:22 UTC
MFPS XXXI/CALCO 2015 : Call for Participation
2015-05-19 13:14 UTC
FMCS 2015 - Final Announcement
2015-05-13 20:56 UTC
CiE 2015 in Bucharest - Call for Participation
2015-05-11 18:00 UTC
'Dérivateurs à Barcelone’ conference announcement
2015-05-08 12:24 UTC
PhD position available
2015-05-08 7:16 UTC
Are Joyal--Tierney fibrations exponentiable?
2015-05-02 19:32 UTC (3+ messages)
TYPES 2015 call for participation
2015-05-01 20:57 UTC
FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
2015-04-30 14:13 UTC
CT 2015 Special Lecture
2015-04-28 16:57 UTC
Philip J Higgins
2015-04-23 2:14 UTC (3+ messages)
Associate Professorship in Data Science at Oxford (Continuing Education)
2015-04-22 12:50 UTC
ALCOP 2015 -- Call for participation
2015-04-20 6:04 UTC
Postdoctoral fellowship at Dalhousie with 50% outreach, 50% research
2015-04-19 19:46 UTC
New trends in Hopf algebras and tensor categories
2015-04-18 15:45 UTC
YaMCATS 3 University of Leeds 7 May 2015
2015-04-17 14:35 UTC
A preprint on locally presentable categories available
2015-04-17 12:24 UTC
The European Master's Program in Computational Logic: Application until 31 May 2015
2015-04-17 7:45 UTC
Conference on Homotopy in Concurrency and Rewriting
2015-04-16 15:27 UTC
CatAlg2015 - 3rd Workshop in Categorical Algebra *** Second Announcement ***
2015-04-16 10:49 UTC
2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
2015-04-15 18:02 UTC
3 PostDoc research positions in Coimbra
2015-04-13 12:17 UTC
Lectureship in Pure Mathematics at the University of Leeds
2015-04-13 9:43 UTC
QPL 2015: Last call for papers
2015-04-09 15:03 UTC
CALCO Early Ideas 2015 : Call for Contributions
2015-04-09 14:58 UTC
Tribute essay honouring Jim Lambek
2015-04-01 3:45 UTC
coequalizers in the category of algebras for the double powerset triple
2015-03-31 13:47 UTC (2+ messages)
` coequalizers in the category of algebras for the double power locale triple
FMCS 2015 - Second Announcement
2015-03-30 18:56 UTC
cubical homotopy
2015-03-30 14:59 UTC
Tensor product of left exact morphisms
2015-03-28 8:40 UTC (5+ messages)
MeMo 2015 - Last Call for Papers - new deadlines
2015-03-26 14:10 UTC
coequalizers in the category of algebras for the double powerset triple
2015-03-26 12:45 UTC
CT 2015 (abstract submission)
2015-03-25 13:22 UTC
Question about coequalizers in the category of algebras of the double power locale monad
2015-03-25 8:16 UTC (2+ messages)
Workshop in category theory and algebraic topology (UCL): 2nd announcement
2015-03-19 7:39 UTC
Partial functors
2015-03-18 21:36 UTC (8+ messages)
Ackermann Award 2015
2015-03-18 16:29 UTC
Partial functors
2015-03-18 7:03 UTC
A coherence theorem question
2015-03-17 21:18 UTC (2+ messages)
Horst Herrlich
2015-03-17 12:41 UTC (2+ messages)
Easik 3.0: (correction)
2015-03-16 16:25 UTC
Partial functor
2015-03-16 15:29 UTC (4+ messages)
` "
Partial functor
2015-03-16 13:46 UTC
CALL FOR PhD/MSc Contributions (RAMiCS 2015)
2015-03-16 13:07 UTC
TYPES 2015 submission deadline extended
2015-03-15 21:16 UTC
Category without objects
2015-03-15 15:34 UTC (14+ messages)
influence of groupoids on the category definition
2015-03-15 11:54 UTC
influence of groupoids on the category definition
2015-03-15 11:54 UTC
Horst Herrlich
2015-03-15 8:02 UTC (2+ messages)
Horst Herrlich
2015-03-15 4:09 UTC
GaLoP 2015: Call for Participation
2015-03-13 15:08 UTC
CT2015
2015-03-12 17:04 UTC
Easik 3.0: categorical database design and manipulation
2015-03-12 0:45 UTC
groupoids and categories
2015-03-09 15:51 UTC
YaMCATS 2 University of Sheffield 19 March 2015
2015-03-09 10:11 UTC
CALCO 2015 : Last Call for Papers
2015-03-09 10:04 UTC
ETAPS 2015 final call for participation
2015-03-07 23:03 UTC
SFM-15:MP school on multicore programming -- last call for participation
2015-03-05 13:06 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
Young Topologists' Meeting 2015
2015-02-23 10:17 UTC
Fwd: Young Topologists' Meeting 2015
2015-02-23 10:17 UTC (2+ messages)
` "
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)
` "
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).