Sad news
2001-06-29 22:28 UTC
Sad news
2001-06-29 14:55 UTC
TACS2001 PRELIMINARY PROGRAM AND REGISTRATION INFORMATION
2001-06-29 11:30 UTC
STACS 2002 -- 2nd Call for papers
2001-06-29 7:53 UTC
Call-By-Push-Value thesis available
2001-06-26 17:03 UTC
Take that, Martin Hyland!
2001-06-18 19:30 UTC
Take that, Martin Hyland!
2001-06-18 15:07 UTC (2+ messages)
Working Conference on Generic Programming: first call for papers
2001-06-18 11:17 UTC
Union College Conference
2001-06-15 14:33 UTC
LACL 2001: Last Call for Participation - Program
2001-06-15 13:20 UTC
jobs: Postdoc Positions in Amsterdam
2001-06-14 21:23 UTC
preprint: Propositions as [Types]
2001-06-14 21:22 UTC
Abstract Stone Duality update
2001-06-14 16:54 UTC
Call for Submissions M4M-2
2001-06-14 11:05 UTC
J. Lambek Notes
2001-06-14 5:11 UTC
preprint: The stack quotient of a groupoid
2001-06-12 20:31 UTC
paperback announcement: Categorical Logic and Type Theory
2001-06-12 13:22 UTC
omega-completions
2001-06-12 1:42 UTC
symmetry vs. duality
2001-06-11 16:50 UTC
CFP ESSLLI02 (Trento, Italy)
2001-06-11 8:40 UTC
iteration vs. recursion
2001-06-08 15:07 UTC
cfp: CATS 2002 CFP
2001-06-08 14:21 UTC
Pro C
2001-06-08 12:37 UTC
iteration vs. recursion
2001-06-07 14:55 UTC
Announcing new list: The Xy-pic discussion list
2001-06-07 7:42 UTC
co-iteration?
2001-06-07 7:10 UTC (3+ messages)
co-iteration?
2001-06-07 1:37 UTC
cfp: FMOODS 2002
2001-06-05 14:18 UTC
journal boycott
2001-06-04 18:59 UTC (3+ messages)
` About a journal policy: "Cahiers de Top. et Geom. Diff. Categoriques"
graph term rewriting
2001-06-04 12:23 UTC (3+ messages)
Pro C
2001-06-01 13:23 UTC
Pro C
2001-06-01 8:48 UTC (4+ messages)
journal boycott
2001-06-01 0:44 UTC (2+ messages)
` journal boycott: last item
job: Postdoc Positions at the CLIP group
2001-05-31 14:11 UTC
Weighted Automata: Workshop Announcement
2001-05-31 13:28 UTC
ETAPS 2002, FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
2001-05-31 13:10 UTC
correction
2001-05-30 15:01 UTC
Journal boycott
2001-05-30 14:29 UTC
preprint: Constructive Galois Toposes /email address
2001-05-30 0:22 UTC
Journal boycott
2001-05-28 20:35 UTC
Theory of computing text as categories
2001-05-28 13:20 UTC
Concoord 2001: Call for Participation
2001-05-26 10:22 UTC
CSL 2001 -- CALL FOR PARTICIPATION
2001-05-25 14:24 UTC
connected functors and pseudoepis
2001-05-25 10:34 UTC
Intervals as a Model of Real Type
2001-05-24 13:13 UTC
Our Advertisement
2001-05-23 8:09 UTC
diagxy
2001-05-22 11:36 UTC
preprint: Characterization of stacks of principal fibre bundles
2001-05-21 12:44 UTC
Structure Preserving: Definition?
2001-05-21 2:21 UTC (3+ messages)
Wells's reply
2001-05-19 12:07 UTC
Chair of Mathematics
2001-05-19 8:28 UTC
An application
2001-05-17 1:43 UTC
Limits
2001-05-16 22:46 UTC
preprint: Left-determined model categories and universal homotopy theories
2001-05-15 11:59 UTC
preprint: Ordered PCA's and Realizability Toposes
2001-05-15 11:08 UTC
question about enriched category theory
2001-05-11 17:13 UTC
STACS 2002 Call for papers
2001-05-10 17:22 UTC
Paris seminar
2001-05-10 17:04 UTC
Limits
2001-05-10 2:18 UTC (2+ messages)
Idempotent monoidal monads
2001-05-09 22:12 UTC
Final version of diagxy
2001-05-08 13:45 UTC
LACL 2001 - Call for Participation
2001-05-07 14:54 UTC
connected functors
2001-05-07 12:36 UTC
preprint : Investigating The Algebraic Structure of Dihomotopy Types
2001-05-07 10:37 UTC
Please help set up course
2001-05-07 4:16 UTC
75 PSSL
2001-05-06 23:05 UTC
Limits
2001-05-06 0:26 UTC (2+ messages)
Limits
2001-05-05 18:58 UTC (2+ messages)
diaxydoc.tex
2001-05-04 14:49 UTC
Please help set up course
2001-05-04 13:26 UTC
pullbacks of local operators
2001-05-04 9:21 UTC
Limits
2001-05-03 23:15 UTC (4+ messages)
diaxydoc.tex
2001-05-02 10:37 UTC
diagxy.tex, final version
2001-05-02 10:34 UTC
Abelian Topological Groups
2001-05-02 10:11 UTC (2+ messages)
Foundational Methods in Computer Science Workshop (FMCS'01)
2001-05-01 23:14 UTC
2001 Haskell Workshop: final call for papers
2001-05-01 16:47 UTC
Syntax question on diagxy
2001-04-29 0:26 UTC
GETCO 2001 : 2nd Call for papers
2001-04-27 7:27 UTC
Extension of natural transformations
2001-04-27 6:48 UTC
Stanford conference, July 30 - August 3
2001-04-27 0:31 UTC
Kleisli and colimits
2001-04-25 16:04 UTC (2+ messages)
preprint: Some differential equations in Synthetic Differential Geometry
2001-04-24 21:26 UTC
Hausdorff's book
2001-04-23 14:10 UTC
diaxydoc.tex
2001-04-22 12:38 UTC
diagxy.tex
2001-04-22 12:37 UTC
groupoids
2001-04-20 12:13 UTC
Category Theory and Hereditarily-Finite Sets
2001-04-19 21:19 UTC (2+ messages)
Category Theory and Hereditarily-Finite Sets
2001-04-18 23:50 UTC
ECT and computer science
2001-04-17 13:55 UTC
job: positions at the Technical University of Denmark
2001-04-17 8:50 UTC
Foundational Methods in Computer Science Workshop (FMCS'01)
2001-04-16 21:27 UTC
documentation for new diagram package
2001-04-13 17:24 UTC
Beta version of new diagram package
2001-04-13 17:17 UTC
A universal characterization of the unit interval
2001-04-10 14:28 UTC
Terminology
2001-04-09 11:06 UTC
strict n-categories, equivalences
2001-04-05 20:33 UTC
jobs: 13 positions at IT University of Copenhagen
2001-04-05 20:03 UTC
Looking for adjoints
2001-04-05 2:59 UTC (4+ messages)
job: @ Liverpool: Agent Communication Languages & Protocols
2001-04-04 15:08 UTC
Probability Theory
2001-04-03 8:29 UTC (2+ messages)
Looking for adjoints
2001-04-02 21:47 UTC
Probability Theory
2001-04-02 18:42 UTC
Co-operation with ASRIOS-Georgia
2001-03-31 16:06 UTC
TACS 2001 -- extended deadline
2001-03-30 15:38 UTC
Looking for adjoints
2001-03-28 23:31 UTC
jobs: Open positions at IT-C
2001-03-27 11:37 UTC
PhD studentships at the LFCS, U. of Edinburgh
2001-03-26 17:23 UTC
A. Carboni - eaddress
2001-03-23 18:05 UTC
preprint: The logic of linear functors
2001-03-20 22:20 UTC
IJCAR 2001 - Deadlines reminder + List of accepted papers
2001-03-20 12:44 UTC
LAST CFP: FORMAL STRUCTURES IN COMPUTER SCIENCE
2001-03-19 9:51 UTC
Call for papers GETCO 2001
2001-03-16 18:27 UTC
Warning in diagram
2001-03-15 15:53 UTC
question about symmetric monoidal categories
2001-03-15 4:55 UTC
TACS 2001 -- call for papers
2001-03-15 3:51 UTC
CFP: SAIG'01
2001-03-13 16:39 UTC
Apery and categories
2001-03-13 15:39 UTC
How do Cross-Category Results Relate to Category Theory? - Doctorow
2001-03-11 22:14 UTC
ConCoord: Concurrency and Coordination
2001-03-10 18:33 UTC
Paper
2001-03-08 19:08 UTC
Some pdf files
2001-03-07 23:44 UTC
CFP -- JOURNAL OF FUNCTIONAL PROGRAMMING
2001-03-07 11:42 UTC
TLCA 2001 -- grants for participants
2001-03-06 18:32 UTC
Call for Papers Argentinean Workshop in Theoretical Computer Science
2001-03-06 1:16 UTC
TLCA2001 call for participation
2001-03-03 12:54 UTC
preprint : The branching nerve of HDA and the Kan condition
2001-03-01 14:00 UTC
2nd announcement: meeting at Stanford
2001-02-28 15:37 UTC
connectedness/intuitionistic logic
2001-02-27 22:31 UTC
CALL FOR REGISTRATION: ESSLLI 2001 (Helsinki, Finland)
2001-02-27 12:46 UTC
job: Postdoc available
2001-02-27 8:37 UTC
Mike Healy's question about AI and math
2001-02-26 1:09 UTC
job: Research job in model checking application
2001-02-22 2:06 UTC
Book Announcement: Galois Theories
2001-02-21 8:48 UTC
Jon Beck's thesis
2001-02-20 15:58 UTC
toposes vs. sets - another aspect
2001-02-19 15:46 UTC
statecharts and categories
2001-02-19 11:49 UTC (2+ messages)
Inevitability of ordering products
2001-02-18 23:38 UTC (6+ messages)
` Unlabeled graphs
field and Galois theory
2001-02-16 18:27 UTC
Which is the simplest example?
2001-02-16 18:18 UTC (2+ messages)
job: Research studentships available at Birmingham
2001-02-16 17:30 UTC
job: Postdoctoral Position
2001-02-16 13:11 UTC
Question from Erdal Ulualan
2001-02-15 20:16 UTC
queries
2001-02-15 16:11 UTC
Tragic news of Japie Vermeulen
2001-02-14 15:53 UTC
Singleton as arbitrary
2001-02-14 8:31 UTC
Why binary products are ordered
2001-02-13 18:17 UTC (10+ messages)
` Singleton as arbitrary
2nd CFP: WS on Implicit Computational Complexity
2001-02-13 11:17 UTC
Inevitability of ordering products
2001-02-13 0:39 UTC (2+ messages)
TACS 2001 -- call for papers
2001-02-10 16:20 UTC
technical question about omega-categories
2001-02-09 18:36 UTC
reference: normal categorical subgroup?
2001-02-09 11:02 UTC
field and Galois theory
2001-02-09 11:02 UTC
Robin Milner
2001-02-08 13:29 UTC
New PhD Positions in Computing Science, Gothenburg, Sweden
2001-02-07 16:07 UTC
field and Galois theory
2001-02-07 10:07 UTC
complete atomic Boolean algebras
2001-02-06 13:21 UTC
preprint: Quantisation of Spaces
2001-02-05 23:30 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).