MFPS Call for Participation
2010-03-16 16:00 UTC
SFM-10:QAPL school -- last call for participation
2010-03-16 10:28 UTC
equality is beautiful
2010-03-16 8:03 UTC (4+ messages)
information on the next SIC in Paris
2010-03-12 12:31 UTC (4+ messages)
LECTURESHIPS IN (THEORETICAL) COMPUTER SCIENCE
2010-03-12 8:50 UTC
LECTURESHIPS IN (THEORETICAL) COMPUTER SCIENCE
2010-03-12 8:50 UTC
LOLA 2010 -- call for contributed talks
2010-03-11 17:56 UTC
LFMTP 2010 at FLoC: Call for Papers (CORRECT DATES)
2010-03-11 8:44 UTC
zigzag category
2010-03-10 17:16 UTC (2+ messages)
Opposite of objects in a bicategory?
2010-03-10 16:44 UTC (4+ messages)
Mathematics via Distance Drawing
2010-03-10 13:04 UTC
Mathematics via Distance Drawing
2010-03-10 11:57 UTC
ICTAC 2010: deadline extension
2010-03-09 15:59 UTC
Proof Systems for Program Logics 2010: call for talks
2010-03-09 15:47 UTC
Mathematics via Distance Drawing
2010-03-09 15:03 UTC (2+ messages)
Composing modifications
2010-03-08 3:46 UTC (2+ messages)
Call For Participation MFPS XXVI
2010-03-07 21:34 UTC
2nd Call for Papers: LoCoCO 2010
2010-03-05 17:06 UTC
Composing modifications
2010-03-05 15:59 UTC (8+ messages)
Relocating some old notes
2010-03-05 5:38 UTC
Fields Workshop Announcement
2010-03-02 16:18 UTC
PSA: Web pages relocating
2010-03-01 23:58 UTC
abstraction of notation from sets
2010-02-28 21:30 UTC (9+ messages)
PhD position in ICT on Formal Verification via SMT available in Trento
2010-02-26 21:10 UTC
Grothendieck and SGA
2010-02-25 21:58 UTC (3+ messages)
abstraction of notation from sets
2010-02-25 19:23 UTC (2+ messages)
FICS 2010 -- call for papers
2010-02-25 9:30 UTC
ICFP 2010: Second call for papers
2010-02-24 20:09 UTC
[PT] CFP: NASSLLI 2010 Student Session
2010-02-24 19:30 UTC
Call for Papers - AMAST 2010
2010-02-23 19:00 UTC
SFM-10:QAPL school -- 2nd call for participation
2010-02-19 12:51 UTC
CMCS 2010: Call for Short Submissions & Call for Participation
2010-02-16 17:03 UTC
[PT] CFP Types postproceedings
2010-02-16 15:09 UTC
CFP Types postproceedings
2010-02-16 15:09 UTC
PSSL90, second announcement
2010-02-16 14:38 UTC
Publication of writings by Alexander Grrothendieck
2010-02-15 15:08 UTC (6+ messages)
` Publication of writings by Alexander Grothendieck
GCVS 2010: Workshop on the Grand Challenge in Verified Software
2010-02-15 9:40 UTC
Logical consequences of descent theory
2010-02-13 17:40 UTC (6+ messages)
NASSLLI 2010: CALL FOR PARTICIPATION
2010-02-11 0:14 UTC
Question about coalgebras
2010-02-10 18:49 UTC
Grothendieck and SGA
2010-02-10 1:02 UTC (2+ messages)
CFP: 7th workshop on QUANTUM PHYSICS AND LOGIC (QPL), Oxford University, May 29-30, 2010
2010-02-09 15:17 UTC
CFP: 7th workshop on QUANTUM PHYSICS AND LOGIC (QPL), Oxford University, May 29-30, 2010
2010-02-09 15:17 UTC
Post-doc positions at CMUC, Coimbra
2010-02-08 16:37 UTC
Question on terminology
2010-02-06 0:21 UTC (3+ messages)
EPEW 2010 -- preliminary call for papers
2010-02-05 18:14 UTC
MFPS Last Call
2010-02-04 21:41 UTC
call for papers: IFIP-TCS 2010
2010-02-02 17:45 UTC
Ph.D. positions at the IT University of Copenhagen
2010-02-02 12:36 UTC
Ph.D. positions at the IT University of Copenhagen
2010-02-02 12:36 UTC
PhD Position
2010-01-27 18:13 UTC
Second Call for Papers for the Brazilian Symposium on Formal Methods - SBMF 2010
2010-01-27 12:45 UTC
Government of Canada Post-Doctoral Research Fellowships (fwd)
2010-01-27 0:17 UTC
6th Workshop on Categories, Logic and Foundations of Physics, Oxford, 9th March 2010
2010-01-25 14:39 UTC
Category Theory 2010
2010-01-25 9:26 UTC
call for participation: midlands graduate school in the foundations of computing science
2010-01-21 11:23 UTC
the definition of "evil"
2010-01-20 5:52 UTC (28+ messages)
` dagger not evil
` equality is beautiful
` A challenge to all
` equality
` dagger not evil (2)
forms
2010-01-19 19:27 UTC
equality
2010-01-19 4:48 UTC
PhD studies in Computer Science at Bath
2010-01-18 13:30 UTC
PhD studies in Computer Science at Bath
2010-01-18 13:30 UTC
Spring School in Generic and Indexed Programming
2010-01-16 17:21 UTC
Examples for the Yoneda lemma
2010-01-15 13:01 UTC (6+ messages)
The notion of "model of a category"
2010-01-15 10:44 UTC
forms
2010-01-15 2:51 UTC
forms
2010-01-14 17:15 UTC (3+ messages)
Commuting diagrams in a bicategory
2010-01-13 17:12 UTC (2+ messages)
SFM-10:QAPL school: 1st call for participation (Bertinoro, 21-26 June 2010)
2010-01-13 16:30 UTC
Website move + Maths question
2010-01-13 13:16 UTC
Advances in Modal Logic 2010: Second Call for Papers
2010-01-13 6:22 UTC
dagger, involutive and pivotal categories
2010-01-12 10:13 UTC
categories are beautiful
2010-01-12 7:26 UTC (2+ messages)
small2
2010-01-10 20:08 UTC
ICTAC 2010: call for papers
2010-01-10 12:53 UTC
small is beautiful
2010-01-09 21:05 UTC (2+ messages)
Small is beautiful
2010-01-08 21:56 UTC (5+ messages)
` evil
Super comma category
2010-01-08 16:13 UTC (2+ messages)
Small is beautiful
2010-01-08 13:29 UTC (9+ messages)
` Small2
evil
2010-01-06 18:43 UTC (2+ messages)
Information
2010-01-06 9:19 UTC
announcement
2010-01-06 8:13 UTC
AMAST Call for Papers (and apology!)
2010-01-05 18:29 UTC
CSL 2010: First Call for Papers
2010-01-05 13:01 UTC
RTA 2nd CFP (July 11 - July 13, 2010, Edinburgh)
2010-01-05 8:52 UTC
the definition of "evil"
2010-01-05 3:16 UTC
Call for Papers - MFPS 26
2010-01-04 20:05 UTC
publication
2010-01-04 16:56 UTC
A well kept secret (A Correction)
2010-01-04 9:13 UTC
Quantum computation and categories
2010-01-04 8:12 UTC (3+ messages)
bigroupoid valued functors
2010-01-04 0:39 UTC
classical_small_vs_large
2010-01-03 16:44 UTC
evil (fwd) Re: Quantum computation and categories
2010-01-03 10:01 UTC (4+ messages)
` in defense of evil
Quantum computation and categories
2010-01-01 19:06 UTC (2+ messages)
Quantum computation and categories
2010-01-01 4:44 UTC
Between Cape Town and Genova
2009-12-31 18:57 UTC
evil (fwd)
2009-12-31 15:21 UTC
Quantum computation and categories
2009-12-31 1:54 UTC (2+ messages)
` in defense of strictness
quantum groups in physics
2009-12-31 1:46 UTC (3+ messages)
A well kept secret?
2009-12-30 21:00 UTC (3+ messages)
` additions
PhD Studies in Mathematics at IST, Lisbon
2009-12-30 19:17 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).