announcement
2013-05-03 5:22 UTC
Terminology: Remarks
2013-05-03 4:53 UTC (5+ messages)
LICS 2013 - Call for Participation
2013-05-02 23:25 UTC
CT2013 abstracts
2013-05-02 6:31 UTC
Terminology
2013-05-02 3:57 UTC
Terminology
2013-05-02 3:57 UTC
CT2013 abstracts
2013-05-01 20:29 UTC
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open
2013-04-30 13:28 UTC
FMICS 2013 Deadline extended to May 10
2013-04-30 12:28 UTC
Terminology
2013-04-30 1:20 UTC
Terminology
2013-04-30 0:58 UTC (8+ messages)
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open
2013-04-29 20:32 UTC
categories of Categories
2013-04-28 8:31 UTC
Special Volume in honour of Rene Guitart - extended deadline
2013-04-28 8:04 UTC
Name for a concept?
2013-04-27 13:58 UTC
correction
2013-04-26 15:40 UTC
Name for a concept?
2013-04-26 14:07 UTC (9+ messages)
Conference in honour of Georges Maltsiniotis
2013-04-24 9:09 UTC
FMCS 2013: May 31st - June 3rd (Second Announcement)
2013-04-23 18:36 UTC
Summer School in Louvain-la-Neuve: second announcement
2013-04-23 16:39 UTC
CADE-24 Call for Participation
2013-04-19 15:25 UTC
RA Position available
2013-04-16 21:06 UTC
ESSLLI 2014 Call for Proposals
2013-04-14 11:54 UTC
Foundations of Health Information Engineering and Systems (FHIES 2013) - final call for papers
2013-04-12 18:38 UTC
Firefox built-in browser PDF viewer
2013-04-11 23:58 UTC
PhD opportunities in the Computer Science theory group at Birmingham
2013-04-11 15:45 UTC
New preprint on multicategories
2013-04-11 5:33 UTC
Conference in Memory of Aurelio Carboni - First Announcement
2013-04-09 12:36 UTC
CALCO Tools 2013: Deadline Extension
2013-04-08 11:46 UTC
Reference: equivalences can be made into adjunctions
2013-04-08 10:09 UTC (3+ messages)
Announcement -- special session on higher categories
2013-04-05 14:09 UTC
CT2013
2013-04-05 3:00 UTC
Workshop on Category-Theoretic Foundations of Mathematics
2013-04-04 22:16 UTC
Contacts towards funding category-theory demonstrations
2013-04-04 11:19 UTC
Lawvere-fest 2013
2013-04-03 14:35 UTC
LICS 2013 - Call for Short Presentations
2013-04-01 22:41 UTC
Call for participation: Samson@60 - Oxford, 28-30 May 2013
2013-03-31 11:58 UTC
CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013
2013-03-29 16:10 UTC
Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participation
2013-03-29 16:03 UTC
CALL FOR PAPERS: CALCO Tools 2013
2013-03-26 11:35 UTC
CFP: Methods for Modalities 2013
2013-03-24 14:02 UTC
Seminaire Itinerant de Categories
2013-03-22 15:41 UTC
Ackermann Award 2013 - Call for Nominations
2013-03-22 14:05 UTC
Question on (co)monoids
2013-03-21 17:21 UTC (3+ messages)
Types Meeting 2013 in Toulouse, 22 - 26 April: call for participation
2013-03-18 17:46 UTC
PhD Research Project: Efficient and Natural Proof Systems
2013-03-18 17:35 UTC
Call for papers: Quantum Physics and Logic, JULY 2013, Barcelona
2013-03-18 12:59 UTC
looking for phd program
2013-03-18 10:25 UTC
ICFP 2013, 2nd call for papers
2013-03-14 22:10 UTC
PSSL 94 and British Mathematical Colloquium: talk schedule
2013-03-13 17:44 UTC
A second book on homological algebra
2013-03-12 20:06 UTC
An old paper on 'cohesive categories'
2013-03-11 17:00 UTC
ACCAT 2013: final call for participation and invitation to discussion
2013-03-06 18:59 UTC
Research Assistantship at Oxford on Bidirectional Transformations
2013-03-05 3:11 UTC
BCTCS 2013: call for participation. More student bursaries now available!
2013-02-27 11:36 UTC
BCTCS 2013: call for participation. More student bursaries now available!
2013-02-27 11:36 UTC
[ETAPS 2013] Final Call for Participation
2013-02-26 19:06 UTC
CALCO 2013: Deadline Extension
2013-02-25 17:43 UTC
Ackermann Award 2013 - Call for Nominations
2013-02-25 16:40 UTC
Postdoc positions at UNAM
2013-02-22 22:59 UTC
Final announcement (with programme): Workshop on Algebra, Coalgebra and Topology
2013-02-22 19:01 UTC
Types Meeting 2013 in Toulouse, 23 - 26 April: last call for contributions
2013-02-21 17:05 UTC
Workshop on Opetopes in March 2013
2013-02-20 11:19 UTC
Adjoints for symmetric cubical categories (On weak cubical categories, III)
2013-02-20 10:00 UTC
CFP- Method for Modalities 8
2013-02-15 16:41 UTC
Categories in developmental psychology!
2013-02-15 8:55 UTC (4+ messages)
Loday Memorial Conference - Strasbourg (September 4-6, 2013)
2013-02-12 18:27 UTC
Samuel Eilenberg Centenary Conference
2013-02-11 21:36 UTC
Fwd: Call for papers, 2nd Conf History & Philosophy of Computing, ENS Paris, oct 2013
2013-02-11 21:23 UTC
SFM-13:DS school in Bertinoro - second call for participation
2013-02-11 18:36 UTC
Foundations of Health Information Engineering and Systems (FHIES 2013) - call for papers
2013-02-11 17:59 UTC
ICFP 2013: Call for papers
2013-02-11 10:32 UTC
Workshop on Algebra, Coalgebra and Topology: 1 March in Bath
2013-02-09 8:24 UTC
[ETAPS 2013] Second Call for Participation
2013-02-08 10:42 UTC
This Friday: Scottish Category Theory Seminar
2013-02-05 16:41 UTC
website of the IHP trimester "Semantics of proofs and certified mathematics"
2013-02-04 12:45 UTC
Deligne on Grothendieck
2013-02-01 4:05 UTC (4+ messages)
Deligne on Grothendieck
2013-02-01 1:53 UTC
Ph.D. position in Mathematical Foundations of Computation in Bath
2013-01-31 21:31 UTC
Types Meeting 2013 in Toulouse, 23 - 26 April: second call for contributions
2013-01-31 16:09 UTC
The Diagrammatic Future of Mathematics
2013-01-30 14:09 UTC
CfP: Refinement Workshop 2011 Limerick 20 Jun, submissions 21 Mar
2013-01-30 12:37 UTC (2+ messages)
` CfP: Refinement Workshop: Turku (submissions 21 March)
PhD Scholarships
2013-01-30 2:57 UTC
7th Scottish Category Theory Seminar
2013-01-29 19:20 UTC
Postdoc positions in SAT/SMT-based Verification available in Trento
2013-01-29 17:54 UTC
FMCS 2013: May 31st - June 3rd
2013-01-25 20:05 UTC
CT2013: Call for talks
2013-01-20 23:08 UTC
British Colloquium for Theoretical Computer Science: first call for participation
2013-01-20 16:14 UTC
British Colloquium for Theoretical Computer Science: first call for participation
2013-01-20 16:14 UTC
Call for Registration: MGS Spring School
2013-01-18 18:02 UTC
PSSL94 and British Mathematical Colloquium: Registration
2013-01-17 14:50 UTC
Conference Announcement: North American ASL
2013-01-14 3:07 UTC
ETAPS 2013 Call for Participation
2013-01-10 20:04 UTC
Fwd: course of Olivia Caramelo
2013-01-10 15:42 UTC
Post-doc in Bath on the semantics of a bureaucracy-free formalism
2013-01-09 17:18 UTC
A new preprint: "Compact closed bicategories"
2013-01-08 17:09 UTC
SFM-13:DS school in Bertinoro - first call for participation
2013-01-08 15:43 UTC
Splitting epis by wishful thinking
2013-01-04 21:50 UTC
Splitting epis by wishful thinking
2013-01-04 15:22 UTC (4+ messages)
orbifiber bundle and representation of 2-group
2013-01-04 14:41 UTC (2+ messages)
Preprint: "Topological Galois Theory"
2013-01-03 19:05 UTC
CALCO 2013: Second Call for Papers
2013-01-02 17:46 UTC
Mock Theta Functions in the news
2012-12-28 21:38 UTC
A new preprint "Non-pointed exactness, radicals, closure operators"
2012-12-27 19:19 UTC
Types Meeting 2013 in Toulouse, 23 - 26 April: first call for contributions
2012-12-27 12:23 UTC
CiE 2013 in Milan - Special Awards and Call for Papers
2012-12-23 21:44 UTC
TAMC 2013 in Hong Kong: Second Call for Papers
2012-12-23 20:16 UTC
CT2013
2012-12-22 21:46 UTC
Fwd: Two GTA posts advertised
2012-12-21 10:04 UTC
Lectureship in Computer Science
2012-12-20 21:29 UTC
2 PhD positions in Leicester
2012-12-20 21:08 UTC
Spring School MGS 2013
2012-12-20 20:54 UTC
Experience with a free electronic journal
2012-12-20 18:27 UTC
TACL 2013, first call for abstracts
2012-12-19 17:31 UTC
Fibred toposes
2012-12-19 15:44 UTC (5+ messages)
Workshop on Category-Theoretic Foundations of Mathematics
2012-12-18 16:18 UTC
Special issue of MSCS: extended deadline
2012-12-16 10:08 UTC
Aurelio
2012-12-16 9:37 UTC (2+ messages)
Workshop on Categorical Methods in Non Abelian Algebra
2012-12-14 10:29 UTC
Aurelio Carboni
2012-12-14 8:40 UTC
Aurelio Carboni
2012-12-13 19:54 UTC
Aurelio Carboni
2012-12-13 10:17 UTC
Aurelio Carboni
2012-12-13 9:07 UTC (7+ messages)
job at macquarie
2012-12-13 5:16 UTC
Aurelio
2012-12-13 2:23 UTC
Aurelio
2012-12-12 15:40 UTC
Aurelio
2012-12-12 15:23 UTC
Aurelio Carboni
2012-12-12 13:45 UTC
Aurelio Carboni
2012-12-12 4:33 UTC
Conference announcement: "Type Theory, Homotopy Theory and Univalent Foundations"
2012-12-10 11:08 UTC
Postdocs in Edinburgh
2012-12-07 13:05 UTC
MFPS XXIX Preliminary Announcement
2012-12-05 22:13 UTC
Conference in honour of Georges Maltsiniotis
2012-12-05 10:26 UTC
Positions at UNAM
2012-12-04 23:35 UTC
CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013
2012-11-29 22:29 UTC
PhD opportunities in the Computer Science theory group at Birmingham
2012-11-27 18:29 UTC
Spinoza Award
2012-11-27 14:16 UTC (2+ messages)
10th Annual Conference on Theory and Applications of Models of Computation (TAMC13)
2012-11-26 23:24 UTC
Distributive lattices and coherence in homological algebra
2012-11-21 8:37 UTC
Body of mathematical concepts
2012-11-16 6:49 UTC
An important 3 months event in 2014 and two close deadlines
2012-11-15 14:19 UTC
Summer School in Louvain-la-Neuve
2012-11-13 16:00 UTC
post-doctoral positions in Warsaw
2012-11-07 18:00 UTC
ICFP 2013: Call for workshops and co-located events
2012-10-29 22:03 UTC
Montague Grammar
2012-10-26 19:53 UTC
Updated abstracts
2012-10-25 23:40 UTC
presets and monoids
2012-10-25 2:59 UTC
presets and monoids
2012-10-24 6:31 UTC
Radu Diaconescu
2012-10-24 1:44 UTC (2+ messages)
` RE : categories: "
Samuel Eilenberg Centenary Conference
2012-10-23 13:38 UTC
Octoberfest
2012-10-22 22:03 UTC
Extended Deadline for Paper Submission
2012-10-22 21:07 UTC
Revised abstracts and timetable
2012-10-22 17:35 UTC
Abstracts and tentative timetable
2012-10-22 13:09 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).