Foundational Methods in Computer Science: A workshop on applications of categories in computer science 1992 May 30-31 Sloan Hall School of Electrical Engineering and Computer Science Washington State University, Pullman WA 99164-2752 The workshop was organized by David B. Benson with assistance from Purandar Bhaduri. Robin Cockett and Dwight Spencer helped set the workshop scope and atmosphere. Notably, the workshop was almost entirely organized via email. Essentially only the preregistration fees passed through the postal services. The invited hour speakers were Robin Cockett, Steve Bloom, Ernie Manes, and Bob Walters. The workshop was preceeded by a one day introduction to categories. A majority of the workshop participants attended these tutorials. The workshop was informal, even casual. Everyone seemed to enjoy and profit from this organization of a workshop around an idea and style which has many applications. In keeping with the spirit of sharing the latest scientific and technical information, there will be no workshop proceedings. We expect many of the presentations to develop into monographs and journal papers. Scientific program ------------------ Friday, 1992 May 29 0900-1130 Introduction to categories for computer science (D. B. Benson) 1300-1430 Introduction to monads (E. G. Manes) 1530-1700 Introduction to categorical logic (P. Bhaduri) Saturday, 1992 May 30 0900-1000 Robin Cockett: Distributive Matters, Data, Charity and Programming 1020-1040 Tom Fukushima Monads in Charity 1040-1100 Dick Kieburtz Involution and Duality 1120-1140 Jim Hook Program Development inspired by monads 1140-1200 Juergen Koslowski Computational monads in programming languages 1400-1500 Steve Bloom: Iteration Theories and Initiality 1520-1540 Francoise Bellegarde ASTRE: Program transformation and rewriting 1540-1600 Purandar Bhaduri Functorial view of concurrency 1600-1620 Mike Levy (for Bill Wadge) Monads and intensionality 1620-1640 Rakesh Dubey On a general definition of safety and liveness Sunday, 1992 May 31 0900-1000 Ernie Manes: Boolean categories 1020-1040 John MacDonald Soft Adjunction I, Introduction 1040-1100 Art Stone Soft Adjunction II, Examples 1300-1400 Bob Walters: An imperative language based on distributive categories 1420-1440 Carolyn Brown A categorical approach to concurrency 1440-1500 Wafaa Khalil A universal IMP(G) program 1500-1520 Eric Wagner About and around distributive categories Participants (27) ------------ Karl Abrahamson <karl@eecs.wsu.edu> Francoise Bellegarde <bellegar@cs.wwu.edu> David B. Benson <dbenson@eecs.wsu.edu> Purandar Bhaduri <pbhaduri@eecs.wsu.edu> Steve Bloom <bloom@sparc1.stevens-tech.edu> Carolyn Brown <cbrown@cs.chalmers.se> Robin Cockett <robin@cpsc.ucalgary.ca> Rakesh Dubey <rdubey@eecs.wsu.edu> Tom Fukushima <fukushim@cpsc.ucalgary.ca> Mike Herman James Hook <hook@cse.ogi.edu> Wafaa Khalil <moynham_w@maths.su.oz.at> Dick Kieburtz <dick@aquila.cse.ogi.edu> J"urgen Koslowski <koslowj@cis.ksu.edu> Mike Levy <michael_levy@csr.uvic.ca> John C. MacDonald <macstone@bcu.ubc.ca> Ernest G. Manes <manes@math.umass.edu> Neal Nelson <nealn@cse.ogi.edu> Raja Nagarajan <raja@cpsc.ucalgary.ca> Tom Rigles <TRIGLES%ewuvms.BITNET@CORNELLC.cit.cornell.edu> Marc Schroeder Tim Sheard <sheard@cse.ogi.edu> Dwight L. Spencer <dwights@cse.ogi.edu> Art Stone <macstone@bcu.ubc.ca> Eric Wagner <wagner@watson.ibm.com> Bob Walters <walters_b@maths.su.oz.au> Barry Yee ftp sites --------- Here are ftp sites at which preprints of presented or related papers may be obtained. maths.su.oz.au anonymous login your email address as password directory sydcat cpsc.ucalgary.ca anonymous login ident as password directories: pub/charity for the charity system pub/charity/PAPERS for papers related to charity ftp.eecs.wsu.edu anonymous login your email address as password directory pub/papers -- submitted by David B. Benson School of Electrical Engineering and Computer Science Washington State University Pullman WA 99164-2752 ==============================================================================