(This mail has been sent to category theorists visiting Louvain-La-Neuve in April this year, participants of the "Workshop on categorical methods in algebra and topology" in Nassogne, organized last year by F. Borceux, and participants of the recent "PSSL 71" at Louvain-La-Neuve --- please feel free to forward it to anyone that might be interested.) The research unit Foundations of Exact Sciences of the Free University of Brussels, active in axiomatic quantum theory/logic, organizes its annual workshop on "Operational Quantum Logic" the week of April 10-14. This year's main theme will be the role of quantales in, and categorical aspects of quantum logic. Motivated by the large number of visiting category theorists in Louvain-La-Neuve and workshop participants in Brussels in that period, and the non-empty intersection of their research domains, we have, after consulting Francis Borceux, decided to organize a "Category Theory Symposium" in Brussels, the weekend of April 8-9, 2000 as a satellite of our workshop on quantum logic. The style of the meeting will be essentially inspired by the PSSL meetings, although we don't use that name since there has been an earlier announcement of a "PSSL" in Braunschweig taking place later in April. We would very much appreciate your participation in the "Category theory symposium", convinced as we are of the benefit of interaction between the researchers of our respective domains! As location for the "Category theory symposium" we have chosen for the homebase of an artists-collective, which is a actually a 'swimming pool with no water' in Vorst (Fôret), Brussels - the artists are looking forward to the encounter with mathematicians and are (allready now) showing signs of inspiration. As provisional program we propose the following: - Saturday (April 8): 9.30h Welcome in Vorst (FÂret), Brussels; 10.00h Start lectures; 13.00h Lunch offered by us; 14.30h Some more lectures; 19.30h Dinner offered by us. - Sunday (April 9): 10.00h Lectures; 13.00h Lunch, outing and tourism in Brussels. Please let us know if you are interested in: attending and/or giving a talk at the "Category Theory Symposium" (or if you might want to participate in the workshop on "Operational Quantum Logic: quantum logic/quantales/categories'', the week after), by mailing to any of the following: - The organizers: Bob Coecke; bocoecke@vub.ac.be Steven Sourbron; ssourbro@vub.ac.be Frank Valckenborgh; fvalcken@vub.ac.be - Their "partner in crime" in Louvain-La-Neuve: Isar Stubbe; i.stubbe@agel.ucl.ac.be This meeting and the quantum logic/quantale workshop is supported by FWO Research Network WO.011.96N: fundamentele methodes en thechnieken in de wiskunde. --- Bob Coecke, Foundations of Exact Sciences (FUND), Department of Mathematics, Free University of Brussels, Tel: ++32/2/629.34.99; Fax: ++32/2/629.34.95 http://www.vub.ac.be/CLEA/BobCoecke.html