****************************************************************************** ** 3C WORKSHOP 93 CATEGORIES, COMPUTING AND COMBINATORICS September 1-3, 1993 School of Computer Science and Engineering University of New South Wales * Second announcement and Programme * 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 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). 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). ****************************************************************** WORKSHOP ON CATEGORIES, COMPUTING AND COMBINATORICS School of Computer Science and Engineering University of New South Wales Meeting Room 1, Samuels Building September 1-3, 1993 TENTATIVE PROGRAMME WEDNESDAY, September 1 -- tutorials 1:00 "Combinatorial Species" (Bill Unger) 2:00 "Ehrhart Polynomials" (Takayuki Hibi) 3:00 [coffee] 3:30 "Natural transformations and coherence" (Nick Verne) 4:30 "Exactness for datatypes" (Barry Jay) THURSDAY, September 2 9:00 "Graphs, Hall Algebras and quantum groups" (Jie Du) 9:55 [coffee] 10:15 "Toric varieties in combinatorics" (Vladimir Popov) 11:15 "Cyclotomic identities in combinatorics" (Adrian Nelson) 12:10 [lunch] 1:30 "Insight into information system structures using category theory" (Kit Dampney and Mike Johnson) 2:30 "Consistency for SML: an operational perspective" (Ed Kazmierczak) 3:25 [coffee] 3:45 "A categorical description and justification for a synthesizer" (Trudy Weibel) 4:45 "The programming language dr" (Desmond Fearnley-Sander) FRIDAY, 3 September 9:00 "Rewrite systems and 2-categories" (Ross Street) 9:55 [coffee] 10:15 "Distributive categories and parallel computation" (Henry Weld, Bob Walters and Nicoletta Sabadini) 11:15 "Categorical term rewriting" (Barry Jay) 12:10 [lunch] 1:30 "There is an anti-intuitionistic co-implication operator in Set^op" (La Monte Yarroll) 2:30 "Survey of Face Vectors and Ehrhart polynomials of convex polytopes" (Takayuki Hibi) 3:25 [coffee] 3:45 "Survey of Fibonacci lattices" (Rowan Kemp) 4:45 "Categories, dependent types and donkey sentences" (Wesley Phoa) ****************************************************************************** ****** This letter was sent to us by Karl Wehrhahn whose e-mail address is: wehrhahn_k@maths.su.oz.au It has been forwarded by Helen Gustafson, CMSA Membership Secretary +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++