Schreier theory
2005-11-17 14:32 UTC
Ancient history
2005-11-17 4:26 UTC
distributors
2005-11-17 3:42 UTC
First Announcement and Call for Papers for MFPS 22
2005-11-15 23:33 UTC
Question on rewriting and program specification
2005-11-14 22:15 UTC (2+ messages)
` Computer Algebra weaknesses
Schreier theory
2005-11-14 21:19 UTC
CiE06: 2nd Call for Papers
2005-11-14 12:11 UTC
Question on rewriting and program specification
2005-11-13 3:23 UTC (2+ messages)
Temporary job in Glasgow
2005-11-08 14:30 UTC
RTA'06: 1st Call for Papers
2005-11-08 12:47 UTC
job: post-doctoral positions at EPFL
2005-11-07 9:14 UTC
Seeking Osvaldo Acuna-Ortega
2005-11-05 2:34 UTC
CSL'06 CALL FOR PAPERS
2005-11-04 13:31 UTC
Ackermann Award
2005-11-04 12:22 UTC
CfP: Applied Semantics, Special Issue of J of TCS
2005-11-03 20:19 UTC
Two topos questions
2005-11-03 16:18 UTC
Two topos questions
2005-11-02 21:22 UTC (2+ messages)
2007 Fields program: postdoctoral positions
2005-11-01 21:43 UTC
Free abelian stuff
2005-11-01 19:37 UTC
weak multiple categories
2005-11-01 12:47 UTC
Generalizing bicategories
2005-10-31 1:27 UTC
abelian stuff
2005-10-30 13:59 UTC
weak double categories?
2005-10-28 21:07 UTC
FM'06 Announcement and Call for Submissions
2005-10-28 16:00 UTC
weak double categories?
2005-10-28 11:32 UTC (4+ messages)
weak double categories?
2005-10-28 0:13 UTC
Coalgebras Conference in Cairo
2005-10-27 11:02 UTC
Journal "Logical Methods in CS"
2005-10-25 12:19 UTC
FM'06: CFP
2005-10-21 7:26 UTC
Ottawa weather
2005-10-20 14:52 UTC
Research position in Coalgebras and Formal Verification at Southampton
2005-10-18 15:30 UTC
GEOMETRY OF COMPUTATION 2006 (Geocal06)
2005-10-15 6:10 UTC
Octoberfest schedule
2005-10-11 15:30 UTC
CMCS 2006
2005-10-11 8:29 UTC
Phreilambud at Bowdoin 1969
2005-10-10 11:42 UTC
preserving homology
2005-10-06 15:56 UTC
New and newish Bangor preprints
2005-10-05 10:14 UTC
Job: Postdoc (two years)
2005-10-05 10:12 UTC (2+ messages)
` PhD Studentship available
Phreilambud at Bowdoin 1969
2005-10-04 11:42 UTC (5+ messages)
FACS'05: Call for Participation
2005-10-04 9:05 UTC
Phreilambud at Bowdoin 1969
2005-10-03 15:58 UTC
Name of concept?
2005-10-03 15:15 UTC
CSL'06 workshops and Ackermann Award
2005-10-03 14:48 UTC
Name of concept?
2005-09-30 18:37 UTC (2+ messages)
ENTCS
2005-09-28 6:21 UTC
Union College Conference
2005-09-27 12:49 UTC
ENTCS
2005-09-27 9:42 UTC
Computational category theory paper - request for comments
2005-09-26 19:40 UTC
Announcing www.entcs.org
2005-09-24 21:37 UTC
lax crossed modules
2005-09-21 18:42 UTC
Bill on John (and his adequate subcats)
2005-09-21 17:38 UTC
lax crossed modules
2005-09-21 17:06 UTC (3+ messages)
Conference Charles Ehresmann: 100 ans
2005-09-20 17:26 UTC
Question re lax crossed modules
2005-09-20 14:13 UTC (3+ messages)
More fancies on lax crossed modules and cubical ideas
2005-09-20 10:51 UTC
Final Octoberfest Announcement
2005-09-19 18:33 UTC
Ronnie in the news
2005-09-17 14:30 UTC
stable flatness and exponentiation
2005-09-16 23:08 UTC (2+ messages)
John Isbell Memorial
2005-09-12 19:37 UTC
Noether and fast thinking
2005-09-08 11:52 UTC
Memorial service for John
2005-09-08 4:44 UTC
News from Tulane?
2005-09-07 23:38 UTC (2+ messages)
Follow-ups to [HP89]?
2005-09-07 23:13 UTC
Memorial service for John
2005-09-06 20:21 UTC
CiE 2006, Call for Papers
2005-09-05 19:44 UTC
Eighth International Symposium on Functional and Logic Programming
2005-09-05 14:53 UTC
Preprint: Information integration in institutions
2005-09-01 17:56 UTC
Preprint: A simple description of Thompson's group F
2005-09-01 16:17 UTC
Preprint: A simple description of Thompson's group F
2005-09-01 11:53 UTC
Preprint: A simple description of Thompson's group F
2005-08-31 13:37 UTC
Topology and Concurrency Workshop in Aalborg
2005-08-22 19:30 UTC
New Book about Category Theory and Geometry
2005-08-22 13:44 UTC
Second Announcement-Octoberfest '05
2005-08-19 16:43 UTC
Paper available
2005-08-17 22:32 UTC
Ronnie in the news
2005-08-17 11:52 UTC
Research positions in Mobility and Security at Edinburgh
2005-08-15 16:47 UTC
position available
2005-08-15 15:40 UTC
CFP WRLA06
2005-08-12 23:13 UTC
Information and Computation - Open-Access Experiment
2005-08-12 17:01 UTC
John Isbell has died
2005-08-10 17:03 UTC
A representation theorem for Geometric Morphism
2005-08-09 13:29 UTC
CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis
2005-08-09 10:33 UTC
Application
2005-08-08 23:52 UTC
The Mac Lane obit by Kutateladze
2005-08-01 21:27 UTC
Formal Methods 2006
2005-08-01 16:19 UTC
Preprint: Absolute lax 2-categories
2005-08-01 14:33 UTC
Limit of finite sets
2004-07-31 16:09 UTC (5+ messages)
limits of finite sets
2004-07-31 12:02 UTC
Book: Higher Operads, Higher Categories
2004-07-30 0:35 UTC
Whitehead's problem
2004-07-29 10:15 UTC (2+ messages)
Proceedings, Fields Inst Meeting Dept 2002
2004-07-27 22:16 UTC
SOS2004: Call for Participation
2004-07-27 10:18 UTC
Proof nets
2004-07-19 12:05 UTC
relationship between existential/universal quantifiers and adjoints??
2004-07-15 16:44 UTC
algebraic set theory site
2004-07-14 17:45 UTC
Roy
2004-07-11 19:26 UTC
RTA'05: call for papers
2004-07-11 9:32 UTC
Grothendieck's writings
2004-07-09 18:44 UTC (3+ messages)
Domains VII (call for participation)
2004-07-09 8:43 UTC
Grothendieck Bio
2004-07-07 20:48 UTC (2+ messages)
Universal Logic 05
2004-07-06 17:54 UTC
ICGT 2004: call for participation
2004-07-05 16:20 UTC
New Journal
2004-07-05 10:24 UTC
Dinatural transformations
2004-07-05 6:35 UTC
Quick surveys of categorical logic
2004-07-03 21:29 UTC (2+ messages)
Questions on dinatural transformations
2004-07-03 0:20 UTC (2+ messages)
Grothendieck bio?
2004-07-02 13:32 UTC (5+ messages)
Questions on dinatural transformations
2004-07-01 1:15 UTC (2+ messages)
Pullback & coproduct of toposes
2004-06-29 17:01 UTC (3+ messages)
preprint: Filtered colimits in the effective topos
2004-06-29 15:52 UTC
preprint: Neural Networks, Knowledge and Cognition
2004-06-26 0:15 UTC
CMCIM 2004 Workshop: Final Call for (Short) Papers and Participation
2004-06-24 13:55 UTC
CTCS '04: Accepted papers and Final Call for Participation
2004-06-24 8:36 UTC
interruption
2004-06-16 21:10 UTC
LICS 2004 - Call for Participation
2004-06-10 13:05 UTC
New OUP Monograph: Reductive Logic and Proof-search
2004-06-08 15:34 UTC
\phi for the golden ratio?
2004-06-06 12:30 UTC (3+ messages)
preprint: The multitopic omega-category of all multitopic omega-categories (revised)
2004-06-06 2:51 UTC
synthetic topology
2004-06-04 12:57 UTC
TLCA 05 Call for Papers
2004-06-04 9:23 UTC
UNILOG'05 - Montreux
2004-06-03 12:15 UTC
preprint on behavioural covarieties available
2004-06-02 21:16 UTC
Nonabelian algebraic topology
2004-06-01 10:57 UTC
\phi for the golden ratio?
2004-06-01 7:21 UTC
Announcing two abstracts
2004-05-31 17:37 UTC
comparing cotriples via an adjoint pair
2004-05-31 13:52 UTC
Call for Participation: Workshop on Quantum Programming Languages
2004-05-29 16:21 UTC
CT04 Abstracts and Early Registration
2004-05-27 5:25 UTC
CFP: CMCIM 2004, WORKSHOP ON CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION AND MOBILITY
2004-05-25 16:33 UTC
CF Participation: CTCS Conference and Summer School
2004-05-25 16:11 UTC
MPC2004: Call for participation
2004-05-24 13:21 UTC
comparing cotriples via an adjoint pair
2004-05-24 9:04 UTC (5+ messages)
International Masters Program in COMPUTATIONAL LOGIC
2004-05-24 7:09 UTC
existence of initial algebras
2004-05-21 8:23 UTC (2+ messages)
parameterised accessiblity
2004-05-21 8:23 UTC
Preprint: The shape of a category up to directed homotopy
2004-05-20 13:03 UTC
the graph of an adjunction
2004-05-18 14:20 UTC
jobs: Professorships, Readerships, Lectureships, Tutorships
2004-05-17 13:34 UTC
UNIF 2004 workshop @ IJCAR : extended deadline
2004-05-17 9:37 UTC
SOS Workshop - final CfP
2004-05-17 9:36 UTC
Error in "Omega Categories I"
2004-05-15 17:34 UTC
CFP: Logic, Games and Philosophy: Foundational Perspectives
2004-05-14 10:14 UTC
FMCS 2004
2004-05-13 0:12 UTC
note, review, preprint
2004-05-11 18:09 UTC
book: Mal'cev, Protomodular, Homological and Semi-Abelian Categories
2004-05-11 16:45 UTC
Naive question: game semantics vs game theory
2004-05-10 13:00 UTC (3+ messages)
Naive question: game semantics vs game theory
2004-05-10 12:16 UTC
jobs: 4 LECTURERS IN COMPUTER SCIENCE
2004-05-05 15:41 UTC
Arithmetic Universes and Abstract Stone Duality
2004-05-03 22:11 UTC
Categories: Re: Extensions of Z+Z by Z
2004-04-30 21:37 UTC
A situation in search of terminology
2004-04-29 14:02 UTC
Modeling infinitesimals with 2x2 matrices
2004-04-29 0:54 UTC
Extensions of Z+Z
2004-04-29 0:18 UTC
CoLoPS04: Call for Papers
2004-04-28 14:48 UTC
AMAST 04: Call for Participation
2004-04-28 14:07 UTC
Extensions of Z+Z by Z
2004-04-28 6:27 UTC (2+ messages)
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).