E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) (05/04/87)
AI at Upcoming Conferences Expert Systems and the Leading Edge in Production Planning and Control May 10-13, Charleston, South Carolina Keynote Addresses "Managing Knowledge for Production Planning" Thomas Kehler, Chairman, Intellicorp "Integration of Manufacturing Policy and Corporate Strategy with the Aid of Decision Support Systems" Gabriel Bitran, Professor of Management, Sloan School of Management, Massachusetts Institutes of Technology May 11 Tutorial I-- Production Planning and Control William Berry, University of Iowa Lee Krajewski, Ohio State University Tutorial II _ Knowledge-based Expert Systems: Theory and Practice Mark Fox, Director, Intelligent Systems Laboratory, Carnegie Mellon University May 12 Keynote Address Tracy O'Rouke, President, The Allen Bradley Company JIT - Then AI James Butcher, Materials Control Manager, 3M Corporation Design of Flexible Manufacturing Systems Kathy Stecke, Operations Management, University of Michigan Factor Representaiton and Design Ed Fisher, Department of Industrial Engineering, North Carolina State U. Exploiting Group Technology in Expert Process Designers Bruce Johnson, Partner in Charge of Ai, Arthur Anderson Knowledge-based and Collaborative Design Tools Sanjay Mittal, Xerox University An Intelligent Decision Support System for Integrated Distribution Planning Darwin Klingman and Nancy Phillips, MIS and Information Systems, University of Texas-Austin Knowledge-based Simulation and Manufacturing John Kuntz, Senior Knowledge Systems Engineer, Intellicorp Panel Discussion: Integrating Planning Frontiers Ed Davis, University of Virginia, Jim L. Goedhart, GE Calma Integration of People, Automation and Computers in Job-Shop Electronics John Lorei, Manager, Computer INtegrated Manufacturing Rockwell International Manufacturing Planning Systems for the 1990s Thomas Vollman, Department of Operations Management, Boston University Merrill Ebner, Department of Manufacturing Engineering, Boston University Artificially Intelligent Tools for Manufacturing Process Planners Karl Kempf, Senior Computer Scientist, FMC Panel Discussions: Workshops in Aerospace Applications for AI, Textile Technology, Scheduling Applications, Flexible Manufacturing Systems, Product Design Systems, Advanced Automation (AI and OR) May 13 Keynote: Rapid Prototyping for Expert Systems Brian Gaines, Department of Computer Science, University of Calgary Production Control Issues and Challenges Steve Melnyk, Management, Michigan State University FMS Producitoon Planning and Control Problems Kathy STecke, University of Michigan From the ARMF to the Factory of the Future: AI Tools in Process and Production Planning and Control Dennis Swyt, Deputy Director, National Bureau of STandards Using Knowledge Technology to Gain a Competitive Advantage in Manufacturing Neil Cahill, Vice President, Manufacturing Technology, Institute of Textile Technology Knowlege-Based Process Management Applications Michael Fehling, Principal Scientist, Rockwell Science Center Panel Discussion Scheduling Research: Past, Present, Future William L. Maxwell, Cornell University KNowledge-Based Scheduling Systems Jack Kanet, Clemson University Knoweldge-Based Scheduling and Resource Allocation in the CAMPS Architecture Richard Brown, MITRE Corporatio/n A Knowledge Based Framework for Reactive Management of Factory Schedules Steve Smith, Intelligent Systems Lab, Carnegie Mellon University Panel Discussion Closing Session %^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^%^ ICALP 87, July 13-17, 1987, Karlsruhe, West Germany July 13 Invited Lecture, Recent Developments in the Theory of Learning, L. Valiant, Harvard University Probability and Plurality for Aggregations of Learning Machines, L. Pitt (University of Illinois), C. H. Smith (University of Maryland) Inverse Image Analyse P. Dybjer, University of Goteborg A Unification Algorithm for Confluent Theories S. Holldobler, Universitat der Bundeswehr, Munchen On the Knuth Bendix Completion for Concurrent Processes V. Diekert, Technische Universitat Munchen On Word Problems in Equational Theories J. Hsiang, State University of New York, M. Rusinowitch, CRIN, Vandoeuvre-les- Nancy Semantics for nondeterministic, Asynchronous Broadcast Networks R. K. Shyamasundar, K. T. Narayana, T. Pitassi, Pennsylvania State University Another Look at Abstraction in Process Algebra J. C. M. Baeten, University of Amsterdam, R. J. van Glabeek, Centre of Mathematics and Computer Science, Amsterdam July 14 Computation Tree Logic CTL* and Path Quantifiers in the MOnadic Theory of the Binary Tree, T. Hafer, W. Thomas, RWTH Aachen Modelchecking of CTL Formulae under Liveness Assumptions B. Josko, RWTH Aachen A Model Logic for a Subclass of Event Structures K. Lodaya, Tata Institute of Fundamental Research Bombay P. S. Thiagarajan, Aarhus University Term Matching on Parallel Computers R. Ramesh, R. M. Verma, T. Krishnaprasad, I. V. Ramakrishnan, SUNY, New York July 17 Invited Lecture: The Geometry of Robot Motion Planning J. Schwartz, New York University Nancy Phillips, Associate Profesor, Department of MIS