wade@longs.LANCE.colostate.edu (wade troxell) (12/29/88)
Department of Mechanical Engineering Department of Artificial Intelligence Colorado State University University of Edinburgh Fort Collins, Colorado Edinburgh, Scotland First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly January 15-17, 1990 1992 Colorado State University University of Edinburgh Preliminary Announcement and CALL FOR ABSTRACTS This biennial workshop seeks to bring together international researchers work- ing on the general formulation of formal theories, abstractions, and models of the processes of engineering design, manufacturing, and assembly to (i) share and disseminate knowledge on the current state of research, and (ii) provide stimulus and cross-disciplinary fertilization for further research. This workshop will consider papers discussing theoretical contributions in eng- ineering design, manufacturing, and assembly including, but not limited, to: . formal methods/grammars for function, form, fabrication and assembly . domain independent complexity measures . formal verification methods and bases for correctness . abstraction calculi for innovation and creativity . theoretic models of design including design automata . manufacturing foundations including behavior-based formalisms . theoretic multi-level models and models for hierarchical decomposition Deadline for submission of a 400-500 word extended abstract of the intended pap- er is May 1, 1989. Authors will be notified of acceptance or rejection by July 3. Camera ready copies are due October 16, 1989. Accepted papers received by the due date will be available in a pre-published workshop proceedings. After the conference, papers so submitted will be formally reviewed for publication in either an edited book or a special issue of one of the Journals in engineering design. Authors should send three copies of their extended abstract to: Dr. Patrick Fitzhorn Design Automation Laboratory Department of Mechanical Engineering Colorado State University Fort Collins, Colorado 80523 USA ARPA Internet: patrick@longs.lance.colostate.edu UUCP : ...ncar!boulder!ccncsu!longs.lance.colostate.edu!patrick