The following is a preliminary notice of the 1993 Workshop in Categories, Computing and Combinatorics, for your interest: *************************************************************** 3C WORKSHOP 93 CATEGORIES, COMPUTING AND COMBINATORICS September 1-3, 1993 School of Computer Science and Engineering University of New South Wales * Preliminary announcement and call for participation * This is the second in a series of _informal_ workshops exploring the connections between category theory, logic theoretical computer science and algebraic combinatorics. It will provide a forum at which experts and interested workers from outside the field can exchange ideas. The scope of the workshop has been significantly widened. There will be talks in the following general areas: 1. Categorical logic and categorical models of computation (e.g. imperative programming, distributed computing) 2. The role of category theory in computer system design (e.g. object-oriented design, information systems and database theory, design process automation) 3. Applications of category theory to combinatorics and combinatorial topology 4. Algebraic combinatorics and coding theory Our emphasis will be on the connections between different strands of research, and on new ways of thinking about old problems. We hope to promote cross-fertilisation between areas. There will be a series of tutorials on each of these areas during the afternoon of Wednesday, September 1; these will assume only a passing acquaintance with category theory and/or combinatorics. They are meant to provide a suitable background for the more specialised talks on Thursday and Friday. We expect a number of international visitors to be participating: these will include Takayuki Hibi (Hokkaido; algebraic combinatorics) and Patrick Sol\'e (Nice; coding theory). Arrangements for other visitors have not yet been finalised, but they _tentatively_ include Nicoletta Sabadini (Milan), Lin Ying Ming (Szechuan), Eric Wagner (IBM Yorktown Heights) and Rod Burstall (Edinburgh). Anyone is welcome to participate. We intend the talks to be accessible to people without an extensive background in category theory and/or combinatorics; one of our major goals is to make the most recent ideas and results in these areas available to a wider community. In particular we would hope to have a number of industrial participants, as we did last year. Research students are also especially welcome. The programme will be finalised in August. Prospective speakers should contact Amitavo Islam as soon as possible. A limited amount of financial assistance is available to assist speakers travelling from interstate. Organisers: Wesley Phoa (UNSW) general organiser Karl Wehrhahn (Sydney) combinatorics Dominic Verity (Macquarie) category theory Amitavo Islam (Sydney) administration Linda Milne (UNSW) UNSW arrangements This workshop is being run in conjunction with the Software Engineering Research Group (UNSW), the Sydney Category Group, the CATACOMB Group (Sydney) and the Theory Group (Macquarie). - ------------------------------------------------------------- 3C WORKSHOP 1993 -- REGISTRATION FORM Name: _______________________________________________________ Physical address: ___________________________________________ _______________________________________________________ _______________________________________________________ ______________________________ Phone: _________________ Email address: ______________________________________________ I plan to attend the Wednesday tutorials [ ] I would like a delicious and exciting lunch on Thursday ($7) [ ] Friday ($7) [ ] Please attempt to arrange accommodation for me [ ] (Accommodation and lunch arrangements are very tentative at the moment; please do not send any payment yet. We only need an indication of numbers at this stage.) I would like to give a talk entitled ______________________________________________________ (Please contact Amitavo Islam separately; you should be prepared to provide copies of your slides, or a paper, for an informal proceedings volume to be distributed to participants.) (Speakers will get a free lunch.) Send this registration form to wes@cs.unsw.oz.au or Wesley Phoa School of Computer Science and Engineering University of NSW Kensington NSW 2033 ************************************************************************ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++