Alternative closed structure on Cat
2012-07-06 9:13 UTC (5+ messages)
discrete vector fields (R. Forman) and markings on cell complexes (D.W. Jones)
2012-07-06 6:52 UTC
discrete vector fields (R. Forman) and markings on cell complexes (D.W. Jones)
2012-07-06 6:52 UTC
15th Wessex theory seminar on 19 July in Birmingham
2012-07-05 11:24 UTC
ICFP 2012: Call for participation
2012-07-02 11:45 UTC
Computing with lambda-terms: a Festschrift dedicated to Corrado Bohm
2012-06-29 13:46 UTC
internal functional relations versus arrows
2012-06-28 19:59 UTC
a note by Misha Gromov on category theory
2012-06-28 13:10 UTC
Coproducts of monads
2012-06-27 7:43 UTC
advertising a postdoc at CS in Oxford
2012-06-26 19:26 UTC
The method of mathematics
2012-06-26 9:10 UTC (2+ messages)
have you seen this structure before?
2012-06-25 21:50 UTC
The method of mathematics
2012-06-25 19:06 UTC
A book on Homological Algebra
2012-06-25 7:29 UTC
ICFP Student Research Competition
2012-06-25 7:11 UTC
Two questions
2012-06-25 3:00 UTC
Two_questions
2012-06-25 1:34 UTC
Two_questions
2012-06-24 16:37 UTC
Two questions
2012-06-23 15:40 UTC (2+ messages)
` Two_questions
Appreciations for the family of J.-L. Loday
2012-06-22 16:24 UTC
Two questions
2012-06-22 7:19 UTC (5+ messages)
` regular monos of groups
Explnation (or lack of) for Mamuka Jibladze's disappearance
2012-06-21 11:58 UTC
Brian
2012-06-21 11:17 UTC
Post-doctoral position at University of Cambridge
2012-06-20 9:57 UTC
Mamuka Jibladze has returned home
2012-06-19 8:10 UTC
Maia Miminoshvili Talked to Mamuka Jibladze Fifteen Minutes before His Disappearance
2012-06-18 15:09 UTC
LICS 2012 - Last Call for Participation
2012-06-17 20:43 UTC
Working link about Mamuka Jibladze
2012-06-16 15:24 UTC
Brian Day
2012-06-16 2:53 UTC
Mamuka Jibladze
2012-06-15 19:56 UTC
History of f o g
2012-06-15 15:52 UTC
Bourbaki & category theory
2012-06-14 15:57 UTC (2+ messages)
Pierre Damphousse
2012-06-11 18:17 UTC
FMCS 2012, June 14-17, program and abstracts
2012-06-08 15:32 UTC
12-months post-doc position
2012-06-08 15:27 UTC
J.L. Loday
2012-06-08 14:35 UTC
Octoberfest 2012 (0th announcement)
2012-06-07 13:16 UTC
Lectureship within the MSP group, Strathclyde
2012-06-07 10:34 UTC
R.i.P., F. Hirzebruch
2012-06-01 23:43 UTC
Participation, registration, and programme: 4WFTop and HDACT, June 15-20 2012, Ljubljana
2012-05-31 7:43 UTC
Participation, registration, and programme: 4WFTop and HDACT, June 15-20 2012, Ljubljana
2012-05-31 7:43 UTC
The Idea of Structure as Data and Conditions
2012-05-30 6:26 UTC (9+ messages)
The Idea of Structure as Data and Conditions
2012-05-29 13:28 UTC (2+ messages)
Mac Lane's Idea of Structure versus Weil's
2012-05-27 22:15 UTC (2+ messages)
Bourbaki & category theory
2012-05-27 19:44 UTC (16+ messages)
` Bourbaki, Ehresmann & species of structures
` Bourbaki and category theory again
"Generic figures and their glueings" book ..... please help
2012-05-26 1:44 UTC
MPC2012 Call for Participation
2012-05-23 21:35 UTC
Derived cotriples
2012-05-22 22:35 UTC (5+ messages)
Wessex Theory Seminar, Bath, 23rd May
2012-05-21 12:09 UTC (2+ messages)
Hermann Weyl
2012-05-20 16:16 UTC (2+ messages)
1st CFP: FTSCS 2012 - 1st International Workshop on Formal Techniques for Safety-Critical Systems
2012-05-18 7:13 UTC
Workshop "Réalisabilité in Chambéry #5"
2012-05-16 12:43 UTC
MFPS 28: Programme and Call for Participation
2012-05-14 15:52 UTC
Publisher including adware with "free sample" PDFs?
2012-05-11 18:20 UTC
almost bi-monoidal categories
2012-05-11 6:38 UTC (2+ messages)
FMCS 2012: June 14-17, Halifax (third announcement)
2012-05-08 13:03 UTC
Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012
2012-05-06 13:47 UTC
Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012
2012-05-06 13:47 UTC
MacLane at Colloque Henri Poincare
2012-04-25 5:19 UTC
*Deadline extended (30th April)* CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-04-24 1:36 UTC
Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012
2012-04-23 12:30 UTC
Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012
2012-04-23 12:30 UTC
PhD studentship available
2012-04-23 9:51 UTC
Reminder: Workshop on Category Theory
2012-04-21 12:09 UTC
Postdoc position in proof theory in Marseille, IML
2012-04-20 12:06 UTC
Call for participation iFM & ABZ 2012 - program available
2012-04-19 9:28 UTC
Australian Category Seminar webpages
2012-04-19 0:19 UTC
University of Bath Prize Fellow
2012-04-16 17:38 UTC
orthogonal factorization systems
2012-04-14 22:27 UTC (2+ messages)
Date for Oktoberfest
2012-04-13 10:59 UTC
Dates for Oktoberfest
2012-04-12 14:19 UTC
Oktoberfest
2012-04-11 13:59 UTC
news on the boycott
2012-04-09 23:46 UTC
*Deadline Extended* CFP : ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-04-09 11:35 UTC
Call for Papera - Automated Theory Exploration (ATx)
2012-04-07 13:32 UTC
Call for papers (deadline change): LFMTP'12 (colocated with ICFP'12)
2012-04-02 14:34 UTC
CFP: 6th Scottish Category Theory seminar
2012-03-31 10:26 UTC
Plug for "Topology and Groupoids"
2012-03-30 14:35 UTC
Workshop on Higher Dimensional Algebras, Categories and Types
2012-03-30 8:23 UTC
announcement: research positions
2012-03-28 8:37 UTC
PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg
2012-03-27 20:25 UTC
FMCS 2012: correction of accommodations info
2012-03-27 15:04 UTC
2-categorical monad functor lifting
2012-03-26 16:05 UTC (2+ messages)
MFCS 2012: Call for papers
2012-03-20 23:41 UTC
CFP: HOR 2012 - extended deadline: March 26, 2012
2012-03-19 14:19 UTC
Q.: "David Publications" e-Journal?
2012-03-18 4:03 UTC
book "Generic figures and their glueings" by Marie La Palme Reyes, et. al
2012-03-15 3:39 UTC
Last CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-03-14 13:29 UTC
"Generic figures and their glueings" authors' email addrs
2012-03-11 0:12 UTC
FMCS 2012: June 14-17, Halifax (second announcement)
2012-03-09 16:29 UTC
Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP
2012-03-09 8:00 UTC
SFM-12:MDE in Bertinoro -- last call for participation
2012-03-08 17:13 UTC
call for feedback
2012-03-07 10:19 UTC
PhD position available
2012-03-07 9:09 UTC
6th ScotCats
2012-03-06 15:16 UTC
Journal advice
2012-03-05 23:25 UTC
AiML 2012: final CfP, with a special session "Modalities for Types"
2012-03-02 15:14 UTC
Different ftp address
2012-03-02 2:12 UTC
April mini-school in Swansea
2012-02-29 8:42 UTC
Student funding for Milner Symposium, Edinburgh, 16-18 April 2012
2012-02-28 16:10 UTC
Galois categories in Johnstone's 'Topos Theory'
2012-02-27 21:38 UTC
On pricing, access, and the RWA (fwd)
2012-02-27 17:45 UTC
PSSL93: Third Announcement
2012-02-27 12:26 UTC
Galois categories in Johnstone's 'Topos Theory'
2012-02-27 1:45 UTC
when is Lex[A,V] abelian?
2012-02-25 5:09 UTC
ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012
2012-02-22 23:54 UTC
Elsevier
2012-02-22 19:19 UTC
CMCS 2012: Final Call for Short Contributions
2012-02-22 13:41 UTC
when is Lex[A,V] abelian?
2012-02-22 11:31 UTC
First announcement: Higher Algebraic and Geometric Structures in Representation Theory
2012-02-21 20:12 UTC
Call for papers: special issue of MSCS
2012-02-21 15:23 UTC
Workshop on Category Theory
2012-02-21 9:03 UTC
publishers sue ETH
2012-02-20 19:00 UTC
The Turing Centenary Conference, Manchester, June 22-25
2012-02-20 0:21 UTC
The "Cost of Knowledge" campaign by Gowers, et al
2012-02-17 19:35 UTC
1st CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-02-17 7:01 UTC
EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
2012-02-14 15:31 UTC (2+ messages)
` Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
CfP Special Issue on Automated Verification of Critical Systems
2012-02-13 19:14 UTC
SFM-12:MDE in Bertinoro -- second call for participation
2012-02-13 10:13 UTC
CFP: First IFCoLog-CIE Student Session
2012-02-12 12:47 UTC
Pullbacks of a family of arrows
2012-02-09 15:02 UTC (2+ messages)
Gowers petition against Elsevier
2012-02-09 2:15 UTC (9+ messages)
` discussing journals
` the IMU president signed
Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK
2012-02-08 15:30 UTC
Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)
2012-02-06 15:28 UTC
Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)
2012-02-06 15:28 UTC
about to go up in smoke?
2012-02-05 21:43 UTC
CMCS 2012: Call for Participation and Short Contributions
2012-02-04 12:52 UTC
question about discrete op-fibrations
2012-02-03 14:07 UTC (5+ messages)
the cost of knowledge
2012-01-30 23:14 UTC (6+ messages)
` "
cost of knowledge
2012-01-30 20:07 UTC
Good identity
2012-01-28 2:11 UTC (2+ messages)
product functor, abstractly
2012-01-27 15:58 UTC (2+ messages)
An introduction to forms
2012-01-26 17:17 UTC
Strict, skeletal version of Ab
2012-01-26 15:17 UTC
MSFP 2012 call for participation
2012-01-26 14:38 UTC
[PT] MSFP 2012 call for participation
2012-01-26 14:38 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).