1st CFP: FTSCS 2012 - 1st International Workshop on Formal Techniques for Safety-Critical Systems
2012-05-18 7:13 UTC
Workshop "Réalisabilité in Chambéry #5"
2012-05-16 12:43 UTC
MFPS 28: Programme and Call for Participation
2012-05-14 15:52 UTC
Publisher including adware with "free sample" PDFs?
2012-05-11 18:20 UTC
almost bi-monoidal categories
2012-05-11 6:38 UTC (2+ messages)
Wessex Theory Seminar, Bath, 23rd May
2012-05-10 11:29 UTC
FMCS 2012: June 14-17, Halifax (third announcement)
2012-05-08 13:03 UTC
Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012
2012-05-06 13:47 UTC
Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012
2012-05-06 13:47 UTC
MacLane at Colloque Henri Poincare
2012-04-25 5:19 UTC
*Deadline extended (30th April)* CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-04-24 1:36 UTC
Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012
2012-04-23 12:30 UTC
Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012
2012-04-23 12:30 UTC
PhD studentship available
2012-04-23 9:51 UTC
Reminder: Workshop on Category Theory
2012-04-21 12:09 UTC
Postdoc position in proof theory in Marseille, IML
2012-04-20 12:06 UTC
Call for participation iFM & ABZ 2012 - program available
2012-04-19 9:28 UTC
Australian Category Seminar webpages
2012-04-19 0:19 UTC
University of Bath Prize Fellow
2012-04-16 17:38 UTC
orthogonal factorization systems
2012-04-14 22:27 UTC (2+ messages)
Date for Oktoberfest
2012-04-13 10:59 UTC
Dates for Oktoberfest
2012-04-12 14:19 UTC
Oktoberfest
2012-04-11 13:59 UTC
news on the boycott
2012-04-09 23:46 UTC
*Deadline Extended* CFP : ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-04-09 11:35 UTC
Call for Papera - Automated Theory Exploration (ATx)
2012-04-07 13:32 UTC
Call for papers (deadline change): LFMTP'12 (colocated with ICFP'12)
2012-04-02 14:34 UTC
CFP: 6th Scottish Category Theory seminar
2012-03-31 10:26 UTC
Plug for "Topology and Groupoids"
2012-03-30 14:35 UTC
Workshop on Higher Dimensional Algebras, Categories and Types
2012-03-30 8:23 UTC
announcement: research positions
2012-03-28 8:37 UTC
PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg
2012-03-27 20:25 UTC
FMCS 2012: correction of accommodations info
2012-03-27 15:04 UTC
2-categorical monad functor lifting
2012-03-26 16:05 UTC (2+ messages)
MFCS 2012: Call for papers
2012-03-20 23:41 UTC
CFP: HOR 2012 - extended deadline: March 26, 2012
2012-03-19 14:19 UTC
Q.: "David Publications" e-Journal?
2012-03-18 4:03 UTC
book "Generic figures and their glueings" by Marie La Palme Reyes, et. al
2012-03-15 3:39 UTC
Last CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-03-14 13:29 UTC
"Generic figures and their glueings" authors' email addrs
2012-03-11 0:12 UTC
FMCS 2012: June 14-17, Halifax (second announcement)
2012-03-09 16:29 UTC
Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP
2012-03-09 8:00 UTC
SFM-12:MDE in Bertinoro -- last call for participation
2012-03-08 17:13 UTC
call for feedback
2012-03-07 10:19 UTC
PhD position available
2012-03-07 9:09 UTC
6th ScotCats
2012-03-06 15:16 UTC
Journal advice
2012-03-05 23:25 UTC
AiML 2012: final CfP, with a special session "Modalities for Types"
2012-03-02 15:14 UTC
Different ftp address
2012-03-02 2:12 UTC
April mini-school in Swansea
2012-02-29 8:42 UTC
Student funding for Milner Symposium, Edinburgh, 16-18 April 2012
2012-02-28 16:10 UTC
Galois categories in Johnstone's 'Topos Theory'
2012-02-27 21:38 UTC
On pricing, access, and the RWA (fwd)
2012-02-27 17:45 UTC
PSSL93: Third Announcement
2012-02-27 12:26 UTC
Galois categories in Johnstone's 'Topos Theory'
2012-02-27 1:45 UTC
when is Lex[A,V] abelian?
2012-02-25 5:09 UTC
ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012
2012-02-22 23:54 UTC
Elsevier
2012-02-22 19:19 UTC
CMCS 2012: Final Call for Short Contributions
2012-02-22 13:41 UTC
when is Lex[A,V] abelian?
2012-02-22 11:31 UTC
First announcement: Higher Algebraic and Geometric Structures in Representation Theory
2012-02-21 20:12 UTC
Call for papers: special issue of MSCS
2012-02-21 15:23 UTC
Workshop on Category Theory
2012-02-21 9:03 UTC
publishers sue ETH
2012-02-20 19:00 UTC
The Turing Centenary Conference, Manchester, June 22-25
2012-02-20 0:21 UTC
The "Cost of Knowledge" campaign by Gowers, et al
2012-02-17 19:35 UTC
1st CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
2012-02-17 7:01 UTC
EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
2012-02-14 15:31 UTC (2+ messages)
` Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
CfP Special Issue on Automated Verification of Critical Systems
2012-02-13 19:14 UTC
SFM-12:MDE in Bertinoro -- second call for participation
2012-02-13 10:13 UTC
CFP: First IFCoLog-CIE Student Session
2012-02-12 12:47 UTC
Pullbacks of a family of arrows
2012-02-09 15:02 UTC (2+ messages)
Gowers petition against Elsevier
2012-02-09 2:15 UTC (9+ messages)
` discussing journals
` the IMU president signed
Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK
2012-02-08 15:30 UTC
Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)
2012-02-06 15:28 UTC
Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)
2012-02-06 15:28 UTC
about to go up in smoke?
2012-02-05 21:43 UTC
CMCS 2012: Call for Participation and Short Contributions
2012-02-04 12:52 UTC
question about discrete op-fibrations
2012-02-03 14:07 UTC (5+ messages)
the cost of knowledge
2012-01-30 23:14 UTC (6+ messages)
` "
cost of knowledge
2012-01-30 20:07 UTC
Good identity
2012-01-28 2:11 UTC (2+ messages)
product functor, abstractly
2012-01-27 15:58 UTC (2+ messages)
An introduction to forms
2012-01-26 17:17 UTC
Strict, skeletal version of Ab
2012-01-26 15:17 UTC
MSFP 2012 call for participation
2012-01-26 14:38 UTC
[PT] MSFP 2012 call for participation
2012-01-26 14:38 UTC
product functor, abstractly
2012-01-21 18:56 UTC (3+ messages)
[PVS] IIP 2012: Call for Papers
2012-01-20 8:00 UTC
MFPS 28 Second Call for Papers
2012-01-19 18:42 UTC
MFPS 28 Second Call for Papers
2012-01-19 18:42 UTC
Turing Centenary Conference (CiE 2012) - Final submission arrangements
2012-01-19 11:29 UTC
ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
2012-01-19 9:20 UTC
ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
2012-01-19 9:20 UTC
two books on bisimulation and coinduction
2012-01-17 12:35 UTC
Milner Symposium, Edinburgh, 16-18 April 2012 - Call for Participation
2012-01-17 10:35 UTC
Description of the image of a faithful functor
2012-01-16 23:18 UTC
What about biproducts?
2012-01-16 19:52 UTC (3+ messages)
"Semi-additive" seems to be it
2012-01-16 9:41 UTC (8+ messages)
` What about biproducts?
FMCS 2012: June 14-17, Halifax (minor correction)
2012-01-11 20:49 UTC
FMCS 2012: June 14-17, Halifax
2012-01-11 17:52 UTC
PSSL93 second announcement
2012-01-11 13:59 UTC
SFM-12:MDE in Bertinoro -- first call for participation
2012-01-10 18:01 UTC
"Semi-additive" seems to be it
2012-01-08 21:14 UTC (3+ messages)
Name for not-quite-additive categories
2012-01-07 11:29 UTC (5+ messages)
Deadline Extension RTA 2012
2012-01-06 7:30 UTC
Preprint
2012-01-02 11:51 UTC
Dito Pataraia
2011-12-23 0:44 UTC
Wraith's "Algebraic Theories" Scan
2011-12-20 16:41 UTC
CT 2011 Proceedings
2011-12-18 19:46 UTC
CT 2011 Proceedings
2011-12-18 19:46 UTC
NASSLLI 2012 is Open for Registration!
2011-12-18 1:02 UTC
MSFP 2012 deadline extension
2011-12-17 19:06 UTC
[PT] MSFP 2012 deadline extension
2011-12-17 19:06 UTC
Postdoc position in Mathematical Logic at Stockholm University
2011-12-16 18:04 UTC
connected sites etc
2011-12-16 10:55 UTC
__?__
2011-12-16 8:56 UTC (4+ messages)
open position at Universite Libre de Bruxelles
2011-12-15 20:27 UTC
Looking for results on preservation of 2-coproducts
2011-12-15 17:00 UTC
change of address
2011-12-15 16:15 UTC
Mathematics of Program Construction: Second Call for Papers
2011-12-15 14:45 UTC
CMCS 2012: Final Call for Papers
2011-12-15 9:25 UTC
Preprint: Distributive laws for Lawvere theories
2011-12-15 8:30 UTC
Looking for results on preservation of 2-coproducts
2011-12-14 20:44 UTC
When does a Grothendieck topology induce a homotopy equivalence?
2011-12-12 20:19 UTC
2nd CfP ACCAT Workshop 2012
2011-12-12 10:26 UTC
New Editors for TAC
2011-12-09 13:35 UTC
permanent position at Onera
2011-12-08 8:25 UTC
Dualities arising via pairs of schizophrenic objects
2011-12-07 17:58 UTC (7+ messages)
skew-monoidal category?
2011-12-07 17:30 UTC
Dualities arising via pairs of schizophrenic objects
2011-12-07 13:39 UTC
skew-monoidal category?
2011-12-06 9:30 UTC (3+ messages)
Dualities arising via pairs of schizophrenic objects
2011-12-04 14:25 UTC (2+ messages)
Some papers
2011-12-03 10:22 UTC (2+ messages)
The category of categories as a 3-limit
2011-12-02 2:17 UTC (3+ messages)
FICS 2012, 2nd Call for papers
2011-12-01 15:24 UTC
MFPS 28 Call for Papers
2011-12-01 6:14 UTC (2+ messages)
` Interactive demonstrations of categorical constructions
'Directed Algebraic Topology', free online version
2011-11-29 10:10 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-28 17:04 UTC (3+ messages)
Ph.D. scholarship in Liverpool: motives and stable model categories
2011-11-28 15:00 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-28 14:00 UTC (2+ messages)
Lectureship in Foundations at Oxford
2011-11-27 23:13 UTC
monads on model categories
2011-11-27 19:45 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-27 15:43 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).