Ottawa Summer School + Workshops: Call for Participation
2003-04-15 3:24 UTC
LICS 2003 - Call for Participation
2003-04-11 4:28 UTC
preprint: a paper on *-autonomous categories and linear logic
2003-04-10 2:32 UTC
preprint : Homotopy branching space and weak dihomotopy
2003-04-09 5:25 UTC
Proof Theory, Computation and Complexity - Announcement
2003-04-08 16:56 UTC
change of address
2003-04-07 9:49 UTC
Models for infinitesimal analysis
2003-04-04 19:02 UTC
FMCO 2003: Call for Participation
2003-04-03 11:54 UTC
cfp: FGC: Foundations of Global Computing
2003-04-02 9:09 UTC
Vietnamese Mathematician
2003-03-31 20:11 UTC
Grothendieck's 1973 Buffalo Colloquium
2003-03-31 2:22 UTC (2+ messages)
NASSLLI 2003. Registration is open now
2003-03-30 17:19 UTC
categorist makes good?
2003-03-28 20:48 UTC
CONCUR 2003 - Call for papers - Marseille, France
2003-03-25 17:16 UTC
Peripatetic Seminar on Sheaves and Logic
2003-03-24 10:38 UTC
Prime Ideal Theorem implies Excluded Middle?
2003-03-22 21:33 UTC (2+ messages)
Alexandrov topology and Scott topology
2003-03-20 4:26 UTC
list accepted papers for ICALP 2003
2003-03-19 13:36 UTC
MFPS Call for participation
2003-03-17 14:46 UTC
jobs: Postdoc & PhD positions in Datatype-Generic programming
2003-03-10 15:02 UTC
Sets for Mathematics, new book available
2003-03-10 2:00 UTC
BCTCS 19
2003-03-06 14:41 UTC
W-types in toposes
2003-03-04 16:44 UTC
projective algebras
2003-03-04 1:49 UTC (6+ messages)
` Inductive datatypes in toposes
master class in noncommutative geometry
2003-03-03 15:00 UTC
Preprint: Adjoints for double categories
2003-02-28 10:29 UTC
Lectureship positions
2003-02-27 17:58 UTC
Topos: IL theorem prover
2003-02-27 0:40 UTC
CFP: INT'L CONF ON ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS
2003-02-26 20:04 UTC
Lamarche casuistries paper
2003-02-26 9:12 UTC
Workshop on categorical methods for concurrency
2003-02-24 16:36 UTC
LICS 2003 Call for Short Presentations
2003-02-24 2:41 UTC
Realizability and Partial Combinatory Algebras
2003-02-21 15:03 UTC (2+ messages)
Category of directed multigraphs with loops
2003-02-21 14:35 UTC (2+ messages)
job: ra position in Leicester
2003-02-21 14:34 UTC
More Topos questions ala "Conceptual Mathematics"
2003-02-21 0:57 UTC (3+ messages)
problem with "thunking"
2003-02-20 18:40 UTC
preservation of exponentials
2003-02-20 16:59 UTC (2+ messages)
Slightly cheaper elephants?
2003-02-19 11:29 UTC
Realizability and Partial Combinatory Algebras
2003-02-18 18:34 UTC (2+ messages)
announcement: conference for Andre Joyal
2003-02-17 19:52 UTC
FCT'2003 - Deadline extended to February 27
2003-02-17 15:34 UTC
Realizibility and Partial Combinatory Algebras
2003-02-17 15:27 UTC (6+ messages)
` Realizability "
Slightly cheaper elephants?
2003-02-16 6:16 UTC
AMiLP-3: 1st Announcement and Call for Papers
2003-02-15 5:52 UTC
Topos ... working through a concrete example ... irreflexive graphs
2003-02-15 1:34 UTC
2 Research Fellow/Postdoc positions, Ottawa
2003-02-14 17:04 UTC
CFP: WAIT 2003
2003-02-14 15:48 UTC
Category of Heyting Algebras
2003-02-14 3:32 UTC (5+ messages)
Beth Dissertation Prize 2003: Call for Nominations
2003-02-13 13:12 UTC
Slightly cheaper elephants?
2003-02-12 21:22 UTC (2+ messages)
Oops
2003-02-12 19:49 UTC
Realizibility and Partial Combinatory Algebras
2003-02-12 19:28 UTC (6+ messages)
FMCS 2003: preliminary announcement (call for abstracts and participation)
2003-02-11 21:34 UTC
CFP for RULE 2003
2003-02-11 16:19 UTC
Preprint: JORDAN-HOLDER, MODULARITY AND DISTRIBUTIVITY IN NON-COMMUTATIVE ALGEBRA
2003-02-11 15:54 UTC
Topological spaces are ? frames
2003-02-11 11:44 UTC (2+ messages)
Weak choice principles
2003-02-10 2:45 UTC
Cauchy completeness of Cauchy reals
2003-02-05 20:56 UTC (5+ messages)
Generalization of Browder's F.P. Theorem?
2003-02-05 16:06 UTC (19+ messages)
` Cauchy completeness of Cauchy reals
` Category Theory in Biology
Mentamatics: Books and Stories, a movie book by Ellis D. Cooper
2003-02-04 19:48 UTC
"Vicious Circles" by Barwise and Moss
2003-02-03 20:49 UTC
Ph.D. scholarships at the IT University of Copenhagen
2003-02-03 8:45 UTC
Chair of Theoretical Computer Science
2003-01-31 13:18 UTC
Fields Institute Summer School in Logic & Theoretical CS
2003-01-31 3:54 UTC
Proof Theory List
2003-01-30 13:33 UTC
CFP: FICS 03
2003-01-30 11:34 UTC
Cauchy completeness of Cauchy reals
2003-01-28 9:44 UTC
Two questions on the real numbers
2003-01-28 5:28 UTC
Cauchy completeness of Cauchy reals
2003-01-28 1:50 UTC (2+ messages)
What does it take to identify the field and the continuum of reals?
2003-01-27 11:50 UTC (3+ messages)
(pre-)Sheaves
2003-01-25 17:59 UTC (2+ messages)
Cauchy completeness
2003-01-25 7:06 UTC
Category theory and biological systems
2003-01-24 19:49 UTC
TAC Special Volume
2003-01-24 19:23 UTC
[ESSLLI03] 1st Call
2003-01-24 12:49 UTC
Cauchy completions
2003-01-24 2:25 UTC (2+ messages)
Generalization of Browder's F.P. Theorem?
2003-01-18 12:39 UTC (2+ messages)
job: Dorothean Professor in CS at U Vermont (Applications by 1/20/03)
2003-01-16 19:17 UTC
ETAPS 2003 - call for participation
2003-01-14 15:31 UTC
thoughts arising from a letter of Lawvere
2003-01-14 0:30 UTC (4+ messages)
NASSLLI-2003. Student Session Call for Papers
2003-01-14 0:04 UTC
2-category of internal categories
2003-01-14 0:02 UTC
In answer to John Baez
2003-01-13 18:22 UTC
jobs: CS Theory positions
2003-01-12 20:46 UTC
Recoltes et Semailles
2003-01-11 20:20 UTC (2+ messages)
RTA'03: last call for papers
2003-01-10 21:29 UTC
TAC Contents: Volume 10
2003-01-10 19:25 UTC
Benabou manuscript
2003-01-10 9:24 UTC
Naturality of a Change of Base Result
2003-01-09 14:39 UTC
hereditarily finite sets
2003-01-09 14:28 UTC
2-category of internal categories
2003-01-09 4:03 UTC
Reference wanted
2003-01-08 22:52 UTC
Category and Scheduling Theory
2003-01-08 19:57 UTC (2+ messages)
Field's Institute Summer School in Logic & Theoretical CS
2003-01-07 20:08 UTC
Hereditarily finite sets
2003-01-07 2:28 UTC
BRICS PhD grants and Marie Curie fellowships
2003-01-06 15:14 UTC
CfP: ESSLLI'03 Student Session
2003-01-06 14:33 UTC
NASSLLI-2003 ANNOUNCEMENT
2003-01-04 23:34 UTC
Benabou manuscript
2003-01-01 17:14 UTC
Two categories or 2-categories?
2001-12-31 16:47 UTC (2+ messages)
` Two categories or 2-categories
Natural disasters
2001-12-31 16:08 UTC (2+ messages)
New address: RFC Walters
2001-12-31 8:31 UTC
Enriched locally presentable categories
2001-12-31 8:30 UTC
Two categories or 2-categories?
2001-12-26 14:06 UTC
Enriched locally presentable categories
2001-12-26 12:18 UTC
CFP: AMAST'2002
2001-12-21 15:38 UTC
language and thinking
2001-12-21 10:05 UTC
language and thinking
2001-12-20 20:17 UTC
CFP: HyLo@LICS
2001-12-19 12:58 UTC
job: faculty position in logic
2001-12-17 22:26 UTC
multigaphs/categories and constructivism
2001-12-17 22:11 UTC
preprint: Multiple the equivalence of a globular anda cubical approach
2001-12-17 14:57 UTC
CFP: CMCS 02 2nd Call For Papers
2001-12-17 14:04 UTC
Ottawa Logic Group invites graduate student applications
2001-12-16 22:06 UTC
infinite trees
2001-12-14 11:29 UTC
CFP : ASIA-PEPM 2002
2001-12-12 11:38 UTC
Do catgory theorists like philosophy?
2001-12-11 5:07 UTC
Defining monoids
2001-12-10 1:35 UTC (2+ messages)
Constructive finiteness
2001-12-09 15:20 UTC
Two constructivity questions
2001-12-09 10:35 UTC (3+ messages)
CFP: Workshop Domains VI
2001-12-07 15:20 UTC
2WFTop: information update
2001-12-07 11:30 UTC
Preprint: Directed homotopy theory, II. Homotopy constructs,
2001-12-07 10:43 UTC
Why exact categories? history
2001-12-07 10:09 UTC
Two Days
2001-12-06 22:43 UTC (2+ messages)
Positions in Paris 7 University
2001-12-06 16:35 UTC
Reference wanted
2001-12-06 14:00 UTC
the walking adjunction and biadjunction
2001-12-06 8:23 UTC (2+ messages)
` Sketches and ideas (Was: the walking adjunction and biadjunction)
Sketches
2001-12-05 20:52 UTC
Sketches and Platonic Ideas
2001-12-05 13:59 UTC
Sketches and Platonic Ideas
2001-12-05 3:36 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).