list interruption
2008-07-23 11:03 UTC
PhD Positions in Secure Software and Languages
2008-07-22 15:08 UTC
products preserve epis of locales
2008-07-22 13:35 UTC
3rd Edition of "Computability: Computable Functions, Logic, and the Foundations of Mathematics" (Epstein & Carnielli)
2008-07-21 23:44 UTC
Martin Hyland and Peter Johnstone birthday PSSL
2008-07-19 17:55 UTC
Categories in Algebra, Geometry and Logic: First Announcement
2008-07-18 16:01 UTC
New Book: Jaap van Oosten - Realizability
2008-07-18 14:31 UTC
CSL 2008: Call for Participation
2008-07-18 14:09 UTC
DOMAINS IX [ Call for Participation ]
2008-07-17 19:19 UTC
Query
2008-07-17 8:35 UTC
A question about filter-powers (and infinitesimals)
2008-07-14 2:05 UTC
New Research Positions
2008-07-10 16:01 UTC
HB, and "Thank you"
2008-07-09 13:21 UTC
abstract combinatory logic?
2008-07-07 21:35 UTC
Lectureship at Nottingham
2008-07-04 18:29 UTC
Three papers
2008-07-04 13:19 UTC
Full_professor_position
2008-07-03 7:53 UTC
New technical report available
2008-07-02 0:16 UTC
Preprint : Combinatorics of labelling in higher dimensional automata
2008-07-01 12:49 UTC
Abstract Stone Duality - introduction/survey papers
2008-07-01 9:36 UTC
ESSLLI 2009 Call for Proposals
2008-06-25 11:45 UTC
Conference: Cats3, Pisa, September 1-5
2008-06-24 14:58 UTC
PhD position at University of Strathclyde, Glasgow
2008-06-19 19:51 UTC
Collogicum Logicum 2008, Darmstadt (Germany), 10-12 September 2008
2008-06-19 9:54 UTC
research positions
2008-06-18 10:55 UTC
CFP: 12th International Conference on Database Theory (ICDT 2009)
2008-06-18 0:45 UTC
Octoberfest 2008 in Montreal
2008-06-15 18:04 UTC
Call for Participation: Conferences on Intelligent Computer Mathematics
2008-06-13 18:09 UTC
PhD positions and Post Doc position at CEOL
2008-06-13 14:20 UTC
AiML 2008: Registration now open
2008-06-11 12:44 UTC
injective modules over a Lie groupoid
2008-06-10 20:20 UTC
General notions of equivalence and exactness
2008-06-05 18:54 UTC
Max Kelly Volume of "Applied Categorical Structures" submission deadline
2008-06-03 18:42 UTC
Mal'cev allegories
2008-05-30 18:34 UTC
General notions of equivalence and exactness
2008-05-29 13:24 UTC
General notions of equivalence and exactness (fwd)
2008-05-29 13:16 UTC
General notions of equivalence and exactness
2008-05-29 12:43 UTC
Funded PhD Student (GTA) positions
2008-05-29 9:33 UTC
General notions of equivalence and exactness
2008-05-29 9:01 UTC
Post doc grants
2008-05-27 18:39 UTC
Post doc position
2008-05-27 8:01 UTC
ICLP'08 CALL FOR PAPERS
2008-05-26 15:29 UTC
Workshop on Deep Inference, Nancy
2008-05-25 19:27 UTC
A small cartesian closed concrete category
2008-05-25 15:50 UTC
Cahiers are online
2008-05-25 15:10 UTC
Cahiers are online
2008-05-25 7:54 UTC
MSFP 2008: call for participation
2008-05-24 16:23 UTC
discussion on Replacement at CT08
2008-05-23 21:05 UTC
LICS 2008 Call for Participation
2008-05-22 20:49 UTC
A small cartesian closed concrete category
2008-05-22 16:27 UTC
FMCS 2008, Halifax, weekend *after* next
2008-05-17 2:22 UTC
Has anyone seen this condition?
2008-05-16 21:04 UTC
FMCS 2008, Halifax, next weekend
2008-05-16 21:02 UTC
A small cartesian closed concrete category
2008-05-16 20:57 UTC
post doc
2008-05-16 12:00 UTC
Workshop Domains IX [ Call for Abstracts ]
2008-05-15 11:00 UTC
Equalisers of powers - correction
2008-05-14 19:52 UTC
Equalisers of power
2008-05-13 8:20 UTC
Further to my question on adjoints
2008-05-12 23:43 UTC
Further to my question on adjoints
2008-05-12 22:38 UTC
Further to my question on adjoints
2008-05-12 19:27 UTC
Further to my question on adjoints
2008-05-12 18:42 UTC
Further to my question on adjoints
2008-05-12 15:51 UTC
Further to my question on adjoints
2008-05-12 15:43 UTC
Further to my question on adjoints
2008-05-12 12:34 UTC
FW: Hyperalgebras
2008-05-10 17:01 UTC
ICLP'08 CALL FOR APPLICATION PAPERS
2008-05-09 14:16 UTC
IEEE CSF 2008 call for participation
2008-05-09 11:48 UTC
Postdoc position at University of Savoy
2008-05-09 8:32 UTC
Second Call for Papers: ATMCS III, Paris France July 7-11, 2008
2008-05-07 11:42 UTC
Strictifying monoidal functors
2008-05-07 6:59 UTC
Workshop on Categorical Groups, second announcement
2008-05-06 17:44 UTC
ICLP'08 CALL FOR PAPERS
2008-05-05 14:27 UTC
Computability in Europe 2008 - early registration reminder
2008-05-03 20:42 UTC
WoLLIC 2008 - Call for Participation
2008-04-27 15:49 UTC
Finite categories and filtered colimits,
2008-04-23 13:28 UTC
Finite categories and filtered colimits,
2008-04-21 19:04 UTC
UTP'08 (revised call for papers)
2008-04-21 9:44 UTC
EXPRESS'08: preliminary call for papers
2008-04-19 21:58 UTC
Pregroups seminar, 5 May 2008, Quebec city
2008-04-18 18:23 UTC
MFPS 24 Second Call for Participation
2008-04-16 19:36 UTC
Equational correspondence and equational embedding
2008-04-15 15:53 UTC
Equational correspondence and equational embedding
2008-04-15 15:16 UTC
Equational correspondence and equational embedding
2008-04-15 14:06 UTC
Equational correspondence and equational embedding
2008-04-15 12:07 UTC
Research Associate in Semantics of Computation
2008-04-15 9:39 UTC
[ICGT'08 Doctoral Symposium] Call for Abstract Submissions
2008-04-15 8:21 UTC
[MPC'08] First call for participation
2008-04-14 8:14 UTC
First Call for Participation TFP 2008, The Netherlands
2008-04-10 19:04 UTC
Dedekind cuts
2008-04-07 16:10 UTC
symmetric monoidal closed bicategory definition?
2008-04-07 4:19 UTC
MFPS 24 Call for Participation
2008-04-07 2:53 UTC
symmetric monoidal closed bicategory definition?
2008-04-03 20:45 UTC
AJSE-Gentle Reminder
2008-04-02 19:19 UTC
exploiting similarities and analogies
2008-04-02 18:59 UTC
CT08 - Registration and accommodation deadlines
2008-04-02 15:44 UTC
The Rankin Lectures 2008
2008-04-02 15:39 UTC
LICS Newsletter 115
2008-04-02 10:38 UTC
exploiting similarities and analogies
2008-04-01 5:50 UTC
exploiting similarities and analogies
2008-03-31 19:51 UTC
FMCS 2008, Halifax - please register!
2008-03-28 20:31 UTC
MSFP second call for papers
2008-03-22 11:09 UTC
E. W. Beth Dissertation Prize: 2008 call for submissions
2008-03-21 14:21 UTC
Submission deadline March 31 for QUANTUM PHYSICS AND LOGIC & DEVELOPMENTS IN COMPUTATIONAL MODELS, Reykjavik, Iceland, July 12-13, 2008
2008-03-20 16:20 UTC
a tentative answer to Paul
2008-03-20 13:22 UTC
Fundamenta Informaticae / Special issue / Machines, Computations and Universality
2008-03-20 10:07 UTC
[gratra] ICGT 2008 - Call for Papers
2008-03-20 9:13 UTC
A question on adjoints
2008-03-19 23:41 UTC
A question on adjoints
2008-03-19 18:43 UTC
categorical formulations of Replacement
2008-03-19 13:02 UTC
categorical formulations of Replacement
2008-03-19 11:54 UTC
A question on adjoints
2008-03-19 5:43 UTC
question to Colin about uniqueness in his Replacement axiom
2008-03-18 22:28 UTC
The internal logic of a topos
2008-03-18 18:19 UTC
A question on adjoints
2008-03-18 18:11 UTC
CSL 2008 - Last CfP - Deadline is March 28th
2008-03-18 15:18 UTC
question to Colin about uniqueness in his Replacement axiom
2008-03-18 11:50 UTC
internal versus external
2008-03-18 1:14 UTC (2+ messages)
Max Kelly Volume of APCS
2008-03-17 21:11 UTC
trying to answer some of Paul's questions
2008-03-17 15:17 UTC
The internal logic of a topos
2008-03-17 14:40 UTC
The Category of Semimodules over Semirings
2008-03-17 11:36 UTC
LICS Newsletter 114
2008-03-17 10:43 UTC
HOCAT 2008
2008-03-17 10:22 UTC
Workshop on Categorical Groups
2008-03-17 10:05 UTC
First announcement of ATMCS III conference in Paris, France and Call for Papers
2008-03-17 9:01 UTC
mathematical articles in online encyclopedias
2008-03-17 8:22 UTC
The internal logic of a topos
2008-03-17 6:36 UTC
The Category of Semimodules over Semirings
2008-03-17 2:25 UTC
The Category of Semimodules over Semirings
2008-03-16 17:43 UTC
replacement and iterated powersets
2008-03-16 16:25 UTC
replacement and the gluing construction
2008-03-16 15:46 UTC
The Category of Semimodules over Semirings
2008-03-16 14:49 UTC
The Category of Semimodules over Semirings
2008-03-16 1:32 UTC
replacing set theory
2008-03-15 21:15 UTC
I was partly wrong
2008-03-15 4:49 UTC
I was partly wrong
2008-03-14 18:26 UTC
categorical formulations of Replacement
2008-03-14 16:02 UTC
categorical formulations of Replacement
2008-03-14 15:56 UTC
the axiom scheme of replacement in category theory
2008-03-14 15:13 UTC
old stuff available on net
2008-03-14 14:26 UTC
categorical formulations of Replacement
2008-03-14 13:52 UTC
categorical formulations of Replacement
2008-03-14 2:34 UTC
replacing set theory
2008-03-13 21:38 UTC
mathematical articles in online encyclopedias
2008-03-13 16:31 UTC
Correction: Lectureship at Sussex
2008-03-13 15:40 UTC
replacing set theory
2008-03-13 13:52 UTC
replacing set theory
2008-03-13 3:37 UTC
Lectureship at Sussex
2008-03-12 15:18 UTC
Heyting algebras and Wikipedia
2008-03-12 13:33 UTC
Heyting algebras and Wikipedia
2008-03-12 8:58 UTC
Heyting algebras and Wikipedia
2008-03-11 7:33 UTC
MFPS Deadline This Friday
2008-03-10 22:52 UTC
Heyting algebras and Wikipedia
2008-03-10 10:42 UTC
PPDP 2008 - 2nd Call for Papers
2008-03-10 9:14 UTC
Heyting algebras and Wikipedia
2008-03-09 13:43 UTC
replacing set theory
2008-03-08 20:45 UTC
replacing set theory
2008-03-08 2:42 UTC
replacing set theory
2008-03-08 0:09 UTC
Heyting algebras and Wikipedia
2008-03-08 0:07 UTC
replacing set theory
2008-03-07 23:51 UTC
Categorial foundations
2008-03-07 22:39 UTC
replacing set theory
2008-03-07 20:52 UTC
How to motivate a student of functional analysis
2008-03-07 19:37 UTC
Categorial foundations
2008-03-07 19:07 UTC
How to motivate a student of functional analysis
2008-03-07 10:31 UTC
Heyting algebras and Wikipedia
2008-03-07 9:25 UTC
How to motivate a student of functional analysis
2008-03-07 8:57 UTC
Categorial foundations (Was: Heyting algebras and Wikipedia)
2008-03-07 7:04 UTC
Heyting algebras and Wikipedia
2008-03-07 4:59 UTC
replacing set theory
2008-03-07 4:18 UTC
How to motivate a student of functional analysis
2008-03-06 20:30 UTC
graphics and dvi
2008-03-06 17:41 UTC
How to motivate a student of functional analysis
2008-03-06 17:35 UTC
Re: Heyting algebras and Wikipedia
2008-03-06 16:01 UTC
How to motivate a student of functional analysis
2008-03-06 15:15 UTC
How to motivate a student of functional analysis
2008-03-06 14:19 UTC
How to motivate me to become a student of functional analysis
2008-03-06 14:10 UTC
CiE 2008 - grants
2008-03-06 12:12 UTC
CiE 2008 - accepted papers, informal presentations, participation
2008-03-06 11:15 UTC
Call for participation: workshop on MODAL FIXPOINT LOGICS, Amsterdam, March 25-27 2008
2008-03-06 10:35 UTC
Heyting algebras and Wikipedia
2008-03-06 5:15 UTC
How to motivate a student of functional analysis
2008-03-06 2:37 UTC
How to motivate a student of functional analysis
2008-03-06 1:22 UTC
graphics and dvi
2008-03-05 22:53 UTC
How to motivate a student of functional analysis
2008-03-05 20:40 UTC
How to motivate a student of functional analysis
2008-03-05 19:30 UTC
categories and Wikipedia
2008-03-05 18:44 UTC
Re^3: A small cartesian closed concrete category
2008-03-05 18:13 UTC
Minimal abelian subcategory (corrected)
2008-03-05 17:31 UTC
Minimal abelian subcategory (corrected)
2008-03-05 16:52 UTC
How to motivate a student of functional analysis
2008-03-05 16:42 UTC
Heyting algebras and Wikipedia
2008-03-05 16:21 UTC
How to motivate a student of functional analysis
2008-03-05 15:25 UTC
Postdoctoral research position in Theoretical Computer Science, Marseilles University
2008-03-05 15:10 UTC
Heyting algebras and Wikipedia
2008-03-05 14:24 UTC
How to motivate a student of functional analysis
2008-03-05 13:38 UTC
Minimal abelian subcategory (corrected)
2008-03-05 11:22 UTC
Minimal abelian subcategory (corrected)
2008-03-05 10:34 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).