second call for papers
2008-02-06 9:59 UTC
CFP: 5th Workshop on Model Checking and AI
2008-02-05 17:11 UTC
Colloquium Logicum 2008, September 10-12
2008-02-04 16:02 UTC
GaLoP 2008 : Submission Deadline Extended
2008-02-04 10:31 UTC
Saunders and Alex'spicture
2008-02-04 6:00 UTC
Alex
2008-02-03 18:17 UTC
Alex
2008-02-03 16:16 UTC
Alex Heller
2008-02-03 2:15 UTC
Alex
2008-02-02 18:17 UTC
Midlands Graduate School in the Foundations of Computing Science 14-18 April 2008
2008-02-02 16:52 UTC
cogenerator of k-spaces
2008-02-02 2:37 UTC
Alex Heller
2008-02-02 0:42 UTC
Alex Heller
2008-02-01 21:39 UTC
Alex Heller
2008-02-01 20:28 UTC
cogenerator of k-spaces
2008-02-01 13:27 UTC
closed monoidal structure in topological categories
2008-01-30 19:06 UTC
closed monoidal structure in topological categories
2008-01-30 8:18 UTC
reference needed please
2008-01-29 18:36 UTC
reference needed please
2008-01-29 15:25 UTC
6th International Summer School in Formal Languages andApplications
2008-01-26 19:30 UTC
LFM 2008 Call for Abstracts and Invitation to Register
2008-01-24 22:01 UTC
Lectureships available
2008-01-24 21:47 UTC
CSL 2008 - first call for papers
2008-01-22 10:42 UTC
Volume dedicated to Walter Tholen's 60th
2008-01-21 10:08 UTC
Post-Doc Position in Verifiable Model Transformations for SOA Engineering
2008-01-19 10:42 UTC
Call for contributions: QUANTUM PHYSICS AND LOGIC (QPL'08) & DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM'08)
2008-01-18 16:42 UTC
WoLLIC 2008 - Call for Papers
2008-01-18 13:50 UTC
Workshop DOMAINS IX
2008-01-18 8:34 UTC
Volume dedicated to J Adamek
2008-01-17 18:22 UTC
CT08 - Second Announcement
2008-01-17 14:13 UTC
Lifting of connected geometric morphism from tripos to topos
2008-01-17 8:54 UTC
CMCS 2008: Extended deadline
2008-01-15 16:45 UTC
Postdoc At U. Ottawa
2008-01-15 16:26 UTC
RTA'08: Call For Papers
2008-01-14 20:26 UTC
GLOBAN 2008 Summer School Announcement
2008-01-14 14:08 UTC
LICS Newsletter 113
2008-01-14 12:00 UTC
Postdoc Opening, Nancy (France)
2008-01-11 15:29 UTC
MSFP call for papers
2008-01-11 11:13 UTC
Inverse and orthodox categories
2008-01-11 8:46 UTC
PhD Program in Mathematics - U Coimbra / U Porto
2008-01-10 11:27 UTC
Cartesian closed without products
2008-01-09 2:29 UTC
Cartesian closed without products
2008-01-09 1:36 UTC
Cartesian closed without products
2008-01-08 21:29 UTC
Cartesian closed without products
2008-01-07 21:35 UTC
MSc Opportunities
2008-01-07 18:11 UTC
CMCS 2008: Final call for papers
2008-01-07 17:20 UTC
Cartesian closed without products
2008-01-07 14:09 UTC
pssl87 - second announcement
2008-01-07 13:34 UTC
Cartesian closed without products
2008-01-07 11:08 UTC
WADT 2008 - Call for Papers
2008-01-06 17:41 UTC
Invitation to- "Interactions of Algebraic & Coalgebraic Structures"
2008-01-04 12:29 UTC
preprint: 2-filteredness and the point of every Galois topos
2008-01-03 17:31 UTC
ICLP'08 CALL FOR PAPERS
2008-01-02 22:00 UTC
Postdoc: Coalgebraic Logics at Imperial
2008-01-02 13:49 UTC
heroprichten
2007-12-31 8:13 UTC
heroprichten
2007-12-30 11:02 UTC
LICS 2008 - Revised Submission Deadlines
2007-12-30 10:22 UTC
CiE08 - Final Call for Papers
2007-12-21 11:13 UTC
On defining *-autonomous categories
2007-12-19 12:04 UTC
CFP ICGT'08: The 4th Intl. Conference on Graph Transformation, 7 - 13 Sept 2008, Leicester (UK)
2007-12-19 10:52 UTC
A meeting in honour of Bill Lawvere, Como, 10 January 2008 - for the categories list
2007-12-19 6:32 UTC
list interruption
2007-12-19 2:02 UTC
Question for catbul on practical use of the language of monoidal categories
2007-12-18 22:58 UTC
On defining *-autonomous categories
2007-12-18 14:27 UTC
On defining *-autonomous categories
2007-12-18 13:08 UTC
GALOP III @ ETAPS 2008 : Call For Papers/Abstracts
2007-12-18 11:40 UTC
On defining *-autonomous categories
2007-12-17 18:29 UTC
Exam practices
2007-12-17 15:00 UTC
FMCS 2008: May 30 - June 1, Halifax
2007-12-17 4:31 UTC
On defining *-autonomous categories
2007-12-17 2:45 UTC
print Clones and Genoids in Lambda Calculus and First Order Logic
2007-12-15 8:51 UTC
2nd CfP: 3WFTop proceedings
2007-12-14 14:19 UTC
Job: Lectureship in Computer Science at Liverpool [Logic and Computation]
2007-12-13 15:20 UTC
Jobs in Glasgow
2007-12-13 12:45 UTC
Internal iteration
2007-12-11 15:56 UTC
Journal of K-Theory
2007-12-11 11:13 UTC
Internal iteration
2007-12-10 15:52 UTC
new website: clones and genoids
2007-12-10 10:35 UTC
Modal Fixpoint Logics, Amsterdam March 25-27, 2008
2007-12-06 19:34 UTC
research positions
2007-12-06 12:02 UTC
For information:
2007-12-06 11:10 UTC
Postodoc program in Paris (Foundation SMP)
2007-12-06 8:30 UTC
LICS Newsletter 112
2007-12-05 15:40 UTC
ICALP 2008: Second Call for Papers
2007-12-05 10:18 UTC
CFP: Theme Issue on Interactions of Algebraic & Coalgebraic Structures
2007-12-01 3:35 UTC
positions in Louvain-la-Neuve
2007-11-29 17:51 UTC
countable Heyting algebras (third try)
2007-11-29 5:01 UTC
countable Heyting algebras
2007-11-26 18:09 UTC
HOCAT 2008
2007-11-26 14:58 UTC
countable Heyting algebras
2007-11-26 6:03 UTC
SCORE: Student COntest in SoftwaRe Engineering (ICSE 2009)
2007-11-23 16:37 UTC
address change
2007-11-21 21:52 UTC
when are Lindenbaum-Tarski algebras complete?
2007-11-21 21:30 UTC
when are Lindenbaum-Tarski algebras complete?
2007-11-21 14:33 UTC
Complete Heyting algebras
2007-11-20 17:08 UTC
Complete Heyting algebras
2007-11-20 14:57 UTC
Complete Heyting algebras
2007-11-20 12:10 UTC
CiE08 - 2nd Call for Papers
2007-11-19 8:04 UTC
morphisms between (particular) hyperdoctrines
2007-11-17 13:35 UTC
Categories in thermodynamics
2007-11-16 16:17 UTC
CT2007 Proceedings
2007-11-16 5:49 UTC
WoLLIC 2008 - Call for Papers
2007-11-15 1:25 UTC
Postdoc positions in Lausanne
2007-11-14 16:02 UTC
First answers
2007-11-13 7:49 UTC
Postdoc positions at Dalhousie
2007-11-12 21:10 UTC
A Position in Theoretical Computer Science in Braunschweig
2007-11-12 14:34 UTC
Droit de reponse
2007-11-11 4:43 UTC
Category Theory papers
2007-11-10 20:46 UTC
References
2007-11-10 15:33 UTC
Monadicity and Descent
2007-11-10 7:22 UTC
References
2007-11-09 18:39 UTC (2+ messages)
References
2007-11-09 18:07 UTC
International Category Theory Conference 2008
2007-11-08 15:14 UTC
The Bulletin of the EATCS goes Open Access
2007-11-08 2:16 UTC
Comma categories
2007-11-08 1:32 UTC
Comma categories
2007-11-08 0:05 UTC
Preprint: Homotopical equivalence of combinatorial and categorical semantics of process algebra
2007-11-07 10:51 UTC
Postdoctoral Position in Quantum Computing / Theoretical Computer Science
2007-11-06 13:13 UTC
Functor derivatives - a question and a result
2007-11-06 11:38 UTC (2+ messages)
Paper announcement: Categorical Models of Classical Logic and GoI
2007-11-06 10:49 UTC
Beck's 1967 Descent Talk
2007-11-06 2:56 UTC
on the history of the Beck-Chevalley condition
2007-11-05 21:04 UTC
Beck, Benabou-Roubaud, etc
2007-11-05 20:49 UTC
References
2007-11-05 13:33 UTC
Comma categories
2007-11-05 12:21 UTC
Partial response to Jean Benabou
2007-11-04 22:12 UTC
Partial respponse to Jean Benabou
2007-11-04 16:16 UTC
Reply to Jean Benabou
2007-11-04 10:32 UTC
References
2007-11-03 23:37 UTC
Apropos a couple of current topics
2007-11-03 16:40 UTC
Apropos a couple of current topics
2007-11-03 9:03 UTC
References
2007-11-03 0:30 UTC
TYPES small workshop on Effects and Type Theory
2007-11-02 17:37 UTC
Comma categories
2007-11-02 16:12 UTC
CMCS 2008: First call for papers
2007-11-02 15:26 UTC
References
2007-11-02 1:55 UTC
DVI, PDF and TAC
2007-11-02 0:56 UTC
Surjective equivalences (Was: Historical terminology,.. and a few other things.)
2007-11-01 16:47 UTC
Diplay Formats
2007-11-01 15:35 UTC
DVI, PDF and TAC
2007-11-01 12:57 UTC
Historical terminology,.. and a few other things
2007-10-31 22:53 UTC
More on Adobe reader 8
2007-10-31 21:35 UTC
Comma categories
2007-10-31 15:20 UTC
More on Adobe reader 8
2007-10-31 12:53 UTC
Warning about Adobe 8
2007-10-30 9:10 UTC
Historical terminology,.. and a few other things
2007-10-30 9:02 UTC
Warning about Adobe 8
2007-10-30 7:58 UTC
Warning about Adobe 8
2007-10-30 3:04 UTC
Warning about Adobe 8
2007-10-29 12:35 UTC
Warning about Adobe 8
2007-10-29 12:20 UTC
Warning about Adobe 8
2007-10-29 7:05 UTC
Warning about Adobe 8
2007-10-29 0:26 UTC
Warning about Adobe 8
2007-10-29 0:13 UTC
Warning about Adobe 8
2007-10-28 13:06 UTC
CSR 2008: First Call for Papers
2007-10-27 12:18 UTC
email address
2007-10-25 16:11 UTC
Max Kelly Conference: in addition to SECOND ANNOUNCEMENT
2007-10-24 20:28 UTC
MFPS 24 First Call for Papers
2007-10-24 17:03 UTC
Assoc. Prof. position at IT University of Copenhagen
2007-10-23 9:32 UTC
Max Kelly Conference in Cape Town: SECOND ANNOUNCEMENT
2007-10-19 23:49 UTC
[cmath] Homotopy Theory Postdoctoral Fellowship - University of Western Ontario, Department of Mathematics (fwd)
2007-10-18 15:32 UTC
Advanced Course on Simplicial Methods in Higher Categories
2007-10-17 17:11 UTC
Benford's Law
2007-10-17 12:08 UTC
CT07, thanks for your help!
2007-10-17 9:44 UTC
Benford's law
2007-10-17 2:51 UTC
Benford's Law
2007-10-16 17:07 UTC
CT07, please help identifying more participants!
2007-10-16 11:56 UTC
connectedness fibrationally
2007-10-16 10:59 UTC
week257
2007-10-16 0:07 UTC
connectedness
2007-10-15 13:29 UTC
week257
2007-10-15 3:07 UTC
connectedness
2007-10-14 23:56 UTC
connectedness
2007-10-14 23:44 UTC
Preprint: Homotopical interpretation of globular complex by multipointed d-space
2007-10-14 17:59 UTC
[fomi2008] FOMI 2008 - First Announcement and Call for Papers
2007-10-12 14:02 UTC
connectedness
2007-10-12 13:53 UTC
PSSL 87 in Patras - Honouring A. Kock, on the occasion of his 70th birthday
2007-10-12 8:06 UTC
"role" vs. "r\^ole"
2007-10-12 4:37 UTC
"role" vs. "r\^ole"
2007-10-12 4:30 UTC
"role" vs. "r\^ole"
2007-10-12 0:43 UTC
What is the right abstract definition of "connected"?
2007-10-11 23:05 UTC
CFP: TAP 2008 - The Second International Conference on Tests and Proof
2007-10-11 22:35 UTC
What is the right abstract definition of "connected"?
2007-10-11 18:48 UTC
"role" vs. "r\^ole"
2007-10-11 3:43 UTC
"role" vs. "r\^ole"
2007-10-11 3:04 UTC
"role" vs. "r\^ole"
2007-10-11 2:04 UTC
What is the right abstract definition of "connected"?
2007-10-10 22:08 UTC
Re: "role" vs. "r\^ole"
2007-10-10 21:39 UTC
"role" vs. "r\^ole"
2007-10-10 21:11 UTC
What is the right abstract definition of "connected"?
2007-10-10 20:43 UTC
Does Bind beat Kleisli in Hilbert space?
2007-10-10 17:36 UTC
errata
2007-10-10 13:58 UTC
What is the right abstract definition of "connected"?
2007-10-10 12:00 UTC
"role" vs. "r\^ole"
2007-10-10 9:17 UTC
"role" vs. "r\^ole"
2007-10-10 8:27 UTC
"role" vs. "r\^ole"
2007-10-10 6:34 UTC
"role" vs. "r\^ole"
2007-10-10 4:42 UTC
"role" vs. "r\^ole"
2007-10-10 1:31 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).