Dedekind v Cantor
2000-01-22 13:54 UTC
The LINEAR International Summer School
2000-01-21 11:54 UTC
Eudoxus and the real numbers
2000-01-21 2:35 UTC
Announcement: PhD-thesis
2000-01-20 21:32 UTC
Applied Semantics Summer School APPSEM'2000
2000-01-20 18:51 UTC
Reals a la Eudoxus (updated from re: Tate Reals)
2000-01-20 1:05 UTC (2+ messages)
preprint: A Basic Distributive Law
2000-01-19 23:30 UTC
Midpoint Algebras
2000-01-19 21:16 UTC
PhD in Informatics (AI, CS, CogSci) at Edinburgh
2000-01-19 20:40 UTC
MSc in Informatics (AI, CS, CogSci) at Edinburgh
2000-01-19 20:30 UTC
Real midpoints
2000-01-19 20:23 UTC (6+ messages)
thirding
2000-01-19 19:57 UTC
1 = 2?
2000-01-19 16:03 UTC
LICS Workshop on Chu Spaces and Applications 25th June 2000, CA
2000-01-18 20:11 UTC
Addendum
2000-01-18 19:47 UTC (5+ messages)
Addendum squared or cubed, depending on what you count
2000-01-18 15:14 UTC
deeper and deeper
2000-01-18 14:52 UTC
squares and cubes
2000-01-18 0:57 UTC (3+ messages)
squares and cubes
2000-01-14 21:32 UTC
FICS'2000 Call for Papers
2000-01-14 16:54 UTC
Preprint "The Syntax of Coherence"
2000-01-13 22:22 UTC
Workshop on Issues in the Theory of Security (WITS '00)
2000-01-13 17:59 UTC
Preprint: Elementary Axioms for Local Maps of Toposes
2000-01-12 15:19 UTC
Reals and rationals
2000-01-12 12:43 UTC
Tate reals
2000-01-11 23:53 UTC
URL for functorial lambda-calculus
2000-01-11 0:19 UTC
Call for Papers: Linz2000
2000-01-10 20:05 UTC
ICALP: dead line extended to january 24th
2000-01-10 9:35 UTC
functorial lambda calculus
2000-01-10 3:57 UTC
Diagrams on the WWW ?
2000-01-10 0:44 UTC
Diagrams on the WWW ?
2000-01-09 19:39 UTC
Diagrams on the WWW ?
2000-01-09 19:07 UTC
diagrams on the web
2000-01-09 13:01 UTC
Diagrams on the WWW ?
2000-01-08 22:38 UTC (2+ messages)
Reminder: ICALP call for paper
2000-01-07 14:57 UTC
CL2000: 3rd call for papers
2000-01-05 12:55 UTC
Announcement: EXTENDED DEADLINE FOR CMCS'2000
2000-01-05 12:21 UTC
Sir Tony
2000-01-04 22:09 UTC
Real interval halving
2000-01-04 20:18 UTC (7+ messages)
` Schanuel's reals
` A couple of Y2K glitches
two research positions
2000-01-04 1:24 UTC
Derivatives
2000-01-03 15:28 UTC
banach operations
2000-01-01 21:53 UTC
banach operations
2000-01-01 16:48 UTC
Pre-calculus
1999-12-31 22:54 UTC
Real coalgebra
1999-12-24 21:59 UTC (3+ messages)
` Real coalgebra -- replacing equations by geometry
Preprint: Proper maps of toposes
1999-12-21 13:18 UTC
3 JOBS AT SAARBR"UCKEN, please distribute
1999-12-21 11:15 UTC
Category-theoretic generalization of modular commutator
1999-12-21 6:01 UTC
CONCUR 2000: Call for Papers
1999-12-20 17:13 UTC
CfP: Wksp. on Graph Transformation and Visual Modeling Techniques
1999-12-19 17:23 UTC
Postgraduate Scholarships
1999-12-17 0:40 UTC
Retirement
1999-12-16 15:54 UTC
CTCS '99 Special Issue in TCS
1999-12-16 11:16 UTC
MFCSIT2000 -- First Call for Papers
1999-12-14 16:44 UTC
CFP: Journal of Theoretical Computer Science, Special Issue on "Dependable Computing"
1999-12-13 14:50 UTC
Cfp: Realizability Semantics and Applications (MSCS special issue)
1999-12-10 20:23 UTC
TPHOLs 2000 --- call for papers
1999-12-10 20:14 UTC
preprint: Combinatorics of branchings in higher dimensional automata
1999-12-10 10:30 UTC
1st CFP CALCULEMUS-2000
1999-12-08 15:27 UTC
Workshop on Algebraic K-theory, algebraic homotopy, and global actions
1999-12-03 16:54 UTC
The Lambek Festschrift: Theory and Applications of Categories
1999-12-01 15:45 UTC
CFP CT 2000
1999-11-30 16:18 UTC
Job Position at Milano University
1999-11-29 18:41 UTC
change of address
1999-11-29 15:13 UTC
New Lectureship and Readership Positions at Sheffield
1999-11-25 9:54 UTC
WoLLIC'2000
1999-11-18 11:33 UTC
function spaces
1999-11-18 9:15 UTC
Yet another new book (shameless commerce division, again)
1999-11-17 23:14 UTC
Yet another new book (shameless commerce division, again)
1999-11-16 23:50 UTC
FMOODS'2000 cfp
1999-11-16 17:49 UTC
BRICS Int. PhD School: Call for Admission and Grant Applications
1999-11-15 11:48 UTC
coherence => universality (preprint)
1999-11-14 21:49 UTC
Paper announcement
1999-11-12 14:05 UTC
CL2000: call for workshop proposals
1999-11-11 14:53 UTC
doctoral/postdoctoral grants
1999-11-11 7:52 UTC
Ugo Berni Canani
1999-11-10 16:20 UTC (2+ messages)
TCS2000
1999-11-10 2:25 UTC
Position available
1999-11-09 1:27 UTC
PSSL in Braunschweig
1999-11-08 15:25 UTC
categories and K-theory
1999-11-08 15:02 UTC
commutativity of addition
1999-11-07 12:49 UTC
Arithmetic query answer
1999-11-06 23:49 UTC
CMS Applied Logic, Announcement
1999-11-06 19:15 UTC
Arithmetic in CC cats, query
1999-11-06 1:41 UTC
SAS 2000: First Call for Papers
1999-11-05 20:56 UTC
PhD in Informatics (AI, CS, CogSci) at Edinburgh
1999-11-04 17:19 UTC
MSc in Informatics (AI, CS, CogSci) at Edinburgh
1999-11-04 17:10 UTC
Cat as a model category
1999-11-03 21:43 UTC
Cat as a model category
1999-11-03 15:23 UTC
ICALP'00:call for papers
1999-11-03 14:57 UTC
Research Associate Position at Leicester
1999-11-02 17:55 UTC
My ftp site
1999-11-02 16:01 UTC
Faculty Positions at Queen Mary College
1999-11-02 13:52 UTC
function spaces
1999-10-29 15:25 UTC
graph classifiers
1999-10-29 11:53 UTC (3+ messages)
COCOON 2000
1999-10-25 12:11 UTC
CP for CMCS'2000
1999-10-25 11:51 UTC
John Isbell's Progress
1999-10-22 22:31 UTC
CL2000: 2nd call for papers
1999-10-22 14:25 UTC
exponentials in Set^Set
1999-10-21 7:35 UTC
SUMMER SCHOOL ON MATHEMATICS OF PROGRAM CONSTRUCTION
1999-10-19 11:15 UTC
CATOP2000
1999-10-18 10:55 UTC
CatMAT2000
1999-10-18 9:38 UTC
Flogging picture books again
1999-10-14 22:57 UTC
Schedule for Octoberfest (16-17 October)
1999-10-14 16:44 UTC
71st PSSL
1999-10-14 11:16 UTC
De Morgan Workshop nov 16
1999-10-14 10:55 UTC
Workshop on Refinement and Abstraction
1999-10-14 0:58 UTC
LambekFestSchrift table of contents
1999-10-13 4:33 UTC
MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP
1999-10-12 21:10 UTC
preprint available
1999-10-12 13:18 UTC
Octoberfest - Categories in Montreal (2nd notice)
1999-10-08 0:35 UTC
PhD position
1999-10-06 14:08 UTC
Chair in Computer Science
1999-10-06 13:57 UTC
Steve Vickers has moved
1999-10-05 11:20 UTC
Cfp: Realizability Semantics and Applications (MSCS special issue)
1999-10-04 17:04 UTC
paper announcement
1999-10-01 18:30 UTC
CSL 2000, call for papers
1999-09-30 13:16 UTC
preprint: Simplicial toposes and combinatorial homotopy
1999-09-24 9:27 UTC
FOSSACS'2000: Call for papers
1999-09-23 13:09 UTC
URLs changing at McGill
1999-09-21 21:48 UTC
Last CFP: FroCoS'2000
1999-09-21 15:06 UTC
Web site for Octoberfest 99
1999-09-21 14:29 UTC
CADE-17 Call for Workshops and Tutorials
1999-09-21 11:16 UTC
PSSL71 web page
1999-09-21 9:48 UTC
CT'99 proceedings - deadline reminder
1999-09-20 21:49 UTC
Skeleton of a category
1999-09-20 17:44 UTC
Skeleton of a category
1999-09-20 17:06 UTC
second update
1999-09-19 22:26 UTC
call for papers: ASM2000, March 19th - 24th
1999-09-16 17:59 UTC
announcement update
1999-09-16 16:15 UTC
FMOODS 2000 CFP correction
1999-09-16 4:45 UTC
paper announcement
1999-09-15 23:02 UTC
FMOODS 2000 Preliminary Call for Papers
1999-09-15 19:53 UTC
John Isbell (fwd)
1999-09-08 17:10 UTC
John Isbell
1999-09-08 16:46 UTC
CfP: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GRATRA 2000)
1999-09-08 14:20 UTC
nonpareil dinats
1999-09-08 14:12 UTC
John Isbell
1999-09-07 17:50 UTC
PSSL 71: Second Announcement
1999-09-06 14:27 UTC
FroCoS'2000: Third Call for Papers
1999-09-03 15:53 UTC
MAC LANE FEST SCHEDULE
1999-09-02 1:28 UTC
PhD and Postdoc Positions in Software Technology (Utrecht University)
1999-08-31 10:57 UTC
looking for references
1999-08-28 3:34 UTC (2+ messages)
` Pseudo orbits
HTML at McGill Maths Dept
1999-08-24 22:23 UTC
Reminder notice: Category meeting, Montreal October 16th
1999-08-20 21:53 UTC
Research Positions in Computer Science
1999-08-17 8:12 UTC
Remember: CSL'99
1999-08-15 22:04 UTC
Generalized Subfunctors
1999-08-14 19:51 UTC
CADE-17 Preliminary Call For Papers
1999-08-12 18:59 UTC
TCS2000, call for papers
1999-08-12 4:56 UTC
WAIT99 (CFP - Preliminar)
1999-08-10 17:27 UTC
Replacement Position at Saint Mary's University
1999-08-09 18:33 UTC
monadic completion of adjunctions
1999-08-06 10:41 UTC
New mailing list for universal algebra
1999-08-06 3:02 UTC
CFP: Workshop on Real-Time Constraints (2nd Call)
1999-08-06 1:18 UTC
on the coexponential question
1999-08-05 12:52 UTC
universal property of tangent bundle
1999-08-02 10:22 UTC
Pre-print announcement
1999-08-01 11:55 UTC
Paper announcement
1999-07-31 4:45 UTC
New edition of "Category Theory for Computing Science"
1999-07-30 14:12 UTC
PSSL 71: First announcement
1999-07-28 12:37 UTC
Lectureship in Theoretical Computer Science in Birmingham
1999-07-27 17:56 UTC
CT 2000
1999-07-27 14:47 UTC
CTCS`99 Call for Participation
1999-07-26 16:09 UTC
co-exponential question
1999-07-23 19:40 UTC (2+ messages)
Cartesian Monads and Pullbacks
1999-07-23 9:28 UTC
Answer to Davilov
1999-07-21 15:58 UTC
Call for papers: Workshop on Generic Programming 2000
1999-07-21 12:45 UTC
Cartesian Monads and Pullbacks
1999-07-21 10:56 UTC
co-exponential question
1999-07-20 20:57 UTC (3+ messages)
Position
1999-07-20 12:18 UTC
looking for reference
1999-07-20 11:44 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).