Call for CAV Workshop Proposals: July 17-18, 2016 Toronto, Canada
2015-11-02 11:35 UTC
WRLA 2016: 1st Call for Papers
2015-10-28 15:49 UTC
not(CH) and cardinal inequality in the absence of LEM
2015-10-28 11:25 UTC
not(CH) and cardinal inequality in the absence of LEM
2015-10-28 7:40 UTC
CfP: COORDINATION 2016
2015-10-22 9:26 UTC
Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
2015-10-18 14:39 UTC
CMCS 2016 : Second Call for Papers
2015-10-15 18:33 UTC
terminology of (co)algebras
2015-10-09 18:06 UTC (2+ messages)
IWIL-11 in Fiji, extended deadline
2015-10-06 14:21 UTC
Decision-making and Category theory
2015-10-06 10:13 UTC (2+ messages)
Announcement conference Stef Caenepeel 60
2015-10-01 14:35 UTC
Faculty position in PL/verification/theorem-proving at Cambridge
2015-10-01 14:17 UTC
Octoberfest Second Announcement
2015-10-01 14:04 UTC
type theory postdoc at Dalhousie University
2015-10-01 1:20 UTC
Intuitionistic Logic for Children, or: Planar Heyting Algebras for Children
2015-09-30 1:08 UTC
Postdoc position at the ILLC
2015-09-29 17:31 UTC
"Topos a l'IHES" - second announcement
2015-09-28 17:45 UTC
ETAPS 2016 final call for papers
2015-09-28 10:03 UTC
Latest version of diagxy
2015-09-27 16:55 UTC
Spelling of "equaliser"
2015-09-26 23:29 UTC
CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
2015-09-23 9:39 UTC
Computability and Complexity of Categorical Structures
2015-09-22 9:32 UTC (5+ messages)
CMCS 2016 : First Call for Papers
2015-09-18 14:10 UTC
Eugenia Cheng in the (U of C) news
2015-09-04 13:07 UTC
ETAPS 2016 2nd call for papers
2015-09-03 6:33 UTC
2nd CALL FOR PARTICIPATION (RAMiCS 2015)
2015-09-02 18:40 UTC
Octoberfest Second Announcement
2015-09-02 2:33 UTC
A tribute to Rainer Vogt
2015-09-01 7:08 UTC
Chen review
2015-09-01 1:46 UTC (2+ messages)
coherence for symmetric monoidal and (co)affine categories
2015-08-24 3:11 UTC (3+ messages)
categories of models of cartesian PROPs
2015-08-23 14:09 UTC (6+ messages)
categories of models of cartesian PROPs
2015-08-19 19:31 UTC
ETAPS 2016 call for papers
2015-08-17 13:39 UTC
WS-FM/BEAT and FOCLASA join Call for Participation
2015-08-14 18:27 UTC
HSCC 2016: Call for Papers
2015-08-13 6:54 UTC
Current Issues in the Philosophy of Practice of Mathematics & Informatics
2015-08-11 12:20 UTC (4+ messages)
Current Issues in the Philosophy of Practice of Mathematics & Informatics
2015-08-09 2:10 UTC
Current Issues in the Philosophy of Practice of Mathematics & Informatics
2015-08-04 15:45 UTC (10+ messages)
Jobs at the University of Leeds
2015-08-04 13:46 UTC
Current Issues in the Philosophy and Practice of Mathematics & Informatics
2015-07-30 15:28 UTC
CT2015 slides and pictures
2015-07-28 16:07 UTC
'Dérivateurs à Barcelone' final announcement
2015-07-23 17:09 UTC
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
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).