STACS'99: Call for Papers
1998-09-03 7:47 UTC
LPNMR'99 Call for Papers
1998-09-02 20:49 UTC
Call for Papers
1998-08-28 17:50 UTC
Looking for a post-doc
1998-08-24 15:28 UTC
MFPS Call for Papers
1998-08-18 20:37 UTC
the lanl e-print server
1998-08-10 15:41 UTC
New Preprint (revised)
1998-08-07 8:44 UTC
Injectives via KZ-monads
1998-08-04 17:01 UTC
New Preprint
1998-08-03 18:01 UTC
The Logic of Bunched Implications
1998-08-03 13:18 UTC
Lectureships at Queen Mary and Westfield
1998-07-30 14:32 UTC
FM'99 World Congress on Formal methods, 20-24 Sept. 1999, Toulouse, France
1998-07-22 12:27 UTC
preprint available
1998-07-21 17:55 UTC (3+ messages)
` withdrawal of preprint
` revised preprint available
java Workshop Reminder
1998-07-21 17:45 UTC
Answers
1998-07-20 17:20 UTC
Alfred Sober - some recollections
1998-07-20 16:09 UTC
2 Barr questions
1998-07-20 11:44 UTC
DMTCS99+CATS99 final call
1998-07-20 1:27 UTC
More algebraic topology
1998-07-19 1:32 UTC (2+ messages)
duality question: alg. topology
1998-07-17 23:16 UTC
abstract algebraic geometry
1998-07-17 19:28 UTC
Informal seminar: Trieste
1998-07-17 16:58 UTC (2+ messages)
` PSSL - Trieste - November 27-28
preliminary announcement
1998-07-17 11:41 UTC
BOUNCE categories@mta.ca: Approval required:
1998-07-17 11:33 UTC
BOUNCE categories@mta.ca: Approval required:
1998-07-17 9:09 UTC
Upper case and lower case
1998-07-17 9:09 UTC (2+ messages)
co-
1998-07-15 13:50 UTC
Hilbertraum
1998-07-15 9:25 UTC
Upper case and lower case
1998-07-14 14:10 UTC
Upper case and lower case
1998-07-14 0:48 UTC
Upper case and lower case
1998-07-13 20:34 UTC (2+ messages)
co-
1998-07-13 18:18 UTC (3+ messages)
` Upper case and lower case
abstract algebraic geometry
1998-07-13 18:10 UTC
p.s. Re: xxx preprint archive
1998-07-09 16:11 UTC
RA-position in Birmingham
1998-07-09 13:59 UTC
co-
1998-07-09 5:25 UTC (5+ messages)
` A sense in which C^op is complementary to C
co-
1998-07-09 4:04 UTC (2+ messages)
xxx preprint archive
1998-07-09 0:19 UTC
xxx preprint archive
1998-07-08 19:13 UTC (4+ messages)
CSL'99 First Call for Papers (Text and LaTex Versions)
1998-07-08 15:52 UTC
Lectureship in Birmingham
1998-07-08 14:06 UTC
co-
1998-07-08 11:10 UTC
Left and right
1998-07-07 12:09 UTC (2+ messages)
co etc
1998-07-07 12:07 UTC (2+ messages)
co-
1998-07-07 0:49 UTC
co-
1998-07-06 18:15 UTC
generalized computads
1998-07-06 6:49 UTC
co-
1998-07-05 21:24 UTC (13+ messages)
` co-
co-
1998-07-04 15:36 UTC
co-: P.S
1998-07-03 19:44 UTC
Barrfest proceedings
1998-07-02 18:42 UTC
PSSL 68
1998-07-02 13:39 UTC
Lectureship in Theoretical Computer Science
1998-06-29 12:31 UTC
WoLLIC'98 - Programme and CfP
1998-06-26 12:00 UTC
``cofinite sieves''
1998-06-26 9:03 UTC
change of e-mail address
1998-06-24 9:08 UTC
Marta Bunge's summer phone number
1998-06-22 18:55 UTC
Units in lax and oplax monoidal functors
1998-06-22 11:29 UTC
Units in lax and oplax monoidal functors
1998-06-21 23:42 UTC
Chu(Ab,circle) is abelian
1998-06-21 0:53 UTC (3+ messages)
Units in lax and oplax monoidal functors
1998-06-19 21:57 UTC
projective diagrams
1998-06-17 11:52 UTC
WD4: Extended Deadline
1998-06-15 12:06 UTC
new preprint
1998-06-15 9:23 UTC
Saint John weather
1998-06-11 20:03 UTC
Sammy
1998-06-10 21:49 UTC
AMAST'98 Last Call for Papers
1998-06-10 17:47 UTC
Formal Underpinnings of Java
1998-06-07 18:14 UTC
CONCUR'98: PROGRAMME and CALL for PARTICIPATION
1998-06-06 9:16 UTC
Higher-dimensional paper available
1998-06-05 14:48 UTC
CONFERENCE ANNOUNCEMENT
1998-06-04 11:23 UTC
Calculemus and Types 98: Call for Participation and Program
1998-06-02 9:17 UTC
Position at Galway
1998-06-01 10:48 UTC
Evolutive systems with memory
1998-05-27 15:08 UTC
Regular embedding
1998-05-26 18:03 UTC (2+ messages)
ICALP'98: 2nd Call for Participation
1998-05-25 15:10 UTC
(unknown)
1998-05-24 4:31 UTC
Regular embedding
1998-05-22 17:31 UTC
Regular embedding
1998-05-22 15:25 UTC (2+ messages)
"Practical Foundations of Mathematics"
1998-05-22 14:00 UTC
Regular embedding
1998-05-21 12:44 UTC
CONCUR '98: ACCEPTED PAPERS (and general infos)
1998-05-20 13:59 UTC
question about omega-category
1998-05-20 2:46 UTC
Who said: General Abstract Nonsense
1998-05-20 0:30 UTC
Nonsense
1998-05-20 0:16 UTC
Who said: General Abstract Nonsense
1998-05-19 22:43 UTC (3+ messages)
abstract algebraic geometry
1998-05-19 18:50 UTC
question about omega-category
1998-05-13 13:35 UTC
Multicategories
1998-05-12 19:40 UTC (2+ messages)
(unknown)
1998-05-12 15:09 UTC
PSSL 68
1998-05-12 10:56 UTC
the FISh language
1998-05-11 19:26 UTC
the FISh language
1998-05-11 12:27 UTC
more precisely
1998-05-07 19:25 UTC
ICALP'98: Call for Participation
1998-05-07 16:40 UTC
preprint available
1998-05-06 22:15 UTC
abstract algebraic geometry
1998-05-06 19:41 UTC
CADE-15 Workshop: Proof-search in type-theoretic languages
1998-05-05 13:26 UTC
Second Call for Papers
1998-04-30 7:56 UTC
Deadline reminder: CMS Category Theory Session
1998-04-28 17:39 UTC
abstract algebraic geometry
1998-04-28 13:46 UTC (2+ messages)
` Book available by ftp
CATS'99 + DMTCS'99 call for papers
1998-04-27 22:17 UTC
PSSL 67
1998-04-27 12:26 UTC
Pre-prints available
1998-04-25 13:03 UTC
Last call for participation: MPC'98
1998-04-24 15:49 UTC
AMS Announcement
1998-04-23 2:20 UTC
IPL (FINAL) Call For Participation
1998-04-20 15:58 UTC
ICCL (FINAL) Call For Participation
1998-04-20 15:57 UTC
PSSL 67
1998-04-20 10:12 UTC
Reminder: ICM'98 early registration deadline is May 1!
1998-04-17 16:27 UTC
Interesting comment
1998-04-12 12:50 UTC
My posting
1998-04-06 19:07 UTC
Pure Mathematics Lectureships
1998-04-06 9:43 UTC
AWOCA'98
1998-04-06 8:22 UTC
Naturality Squares and Pullbacks
1998-04-06 3:15 UTC (3+ messages)
Neil Ghani's question
1998-04-06 2:06 UTC
new address
1998-04-05 5:16 UTC
IPL Call For Participation (one week until hotel deadline)
1998-04-04 22:09 UTC
ICCL Call For Participation (one week until hotel deadline)
1998-04-04 22:09 UTC
a fantastic simplification of our subject
1998-04-04 15:42 UTC
Neil Ghani's question
1998-04-04 14:57 UTC (2+ messages)
WoLLIC'98 - Deadline Extended
1998-03-31 21:36 UTC
TLCA99
1998-03-31 10:20 UTC
AMAST'98 first CFP
1998-03-27 16:19 UTC
tensor product of categories
1998-03-26 4:27 UTC
CFP: Applied Category Theory - Belgium 1998
1998-03-25 18:30 UTC
Naturality Squares and Pullbacks
1998-03-25 7:23 UTC
FMCS '98: Call for Participation
1998-03-24 21:40 UTC
tensor product of categories
1998-03-24 20:25 UTC
IPL Call For Participation
1998-03-23 22:57 UTC
SECOND ANNOUNCEMENT: WORKSHOP
1998-03-23 12:28 UTC
Teaching Category Theory on-line resources
1998-03-20 23:49 UTC
ICALP '98: List of Accepted Papers
1998-03-17 14:19 UTC
ICCL'98 Call For Participation
1998-03-12 16:27 UTC
Call for participation: MPC'98
1998-03-12 13:24 UTC
Bill Fest (fwd)
1998-03-12 4:05 UTC
5th WoLLIC'98 - 3rd Call
1998-03-11 14:06 UTC
PSSL'66
1998-03-10 18:08 UTC
Memorial article
1998-03-06 16:23 UTC (2+ messages)
ANNOUNCING: Xy-pic version 3.6 released!
1998-03-06 5:02 UTC
Uday's question
1998-03-04 16:43 UTC
Master Class in Logic - Reminder
1998-03-04 12:28 UTC
Reddy's question
1998-03-04 4:59 UTC
Reddy's question
1998-03-03 12:32 UTC
Quantifiers for monoids
1998-03-02 11:16 UTC (2+ messages)
Paper on Feedback announced
1998-02-28 16:41 UTC
Paper available
1998-02-27 14:33 UTC
CONCUR98: final CFP (EXTENDED deadline)
1998-02-26 15:59 UTC
new paper: A Relevant Analysis of Natural Deduction
1998-02-24 14:18 UTC
email address
1998-02-17 4:27 UTC
CATEGORY THEORY WORKSHOP
1998-02-16 19:23 UTC
CATEGORY THEORY SYMPOSIUM
1998-02-16 19:21 UTC
CATS Are primes ever generators?
1998-02-15 23:26 UTC (2+ messages)
CATS Re: Categorical model for Floyd-Hoare logic?
1998-02-15 23:21 UTC (2+ messages)
correction
1998-02-15 18:05 UTC
Categorical model for Floyd-Hoare logic?
1998-02-15 14:48 UTC
(unknown)
1998-02-15 11:43 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).