Tutorials, Public Courses, Seminars

• Constraint Directed Reasoning (4 hours) at the International Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, Michigan, August 1989. Co-taught with Dr. Mark Fox, Director, Robotics Institute, Carnegie Mellon U., Pittsburgh, PA.

• Constraint Reasoning: Theory and Applications (4 hours) at the National Conf. on Artificial Intelligence (AAAI-90), Boston, Massachusetts, August 1990. Co-taught with Dr. Sanjay Mittal, Xerox Corp., Palo Alto, CA.

• Constraint Based Reasoning: Theory and Applications (3 hours) at the IEEE Conf. on AI Applications (IEEE CAIA-91), Miami Beach, Florida, February 1991. Co-taught with Dr. Sanjay Mittal, Xerox Corp., Palo Alto, CA.

• Artificial Intelligence in Engineering Design (4 hours) at the International Joint Conf. on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991. Co-taught with Dr. Alan Ward, Dept. Mechanical Engineering and Applied Mechanics, U. of Michigan, Ann Arbor, MI.

• Constraint Directed Reasoning (4 hours) at the National Conf. on Artificial Intelligence (AAAI-92), San Jose, California, July 1992. Co-taught with Dr. Navin Chandra, Robotics Institute, Carnegie Mellon U., Pittsburgh, PA.

• Co-organized the workshop Applications of Relational Interval Arithmetic at Bell Northern Research, Ottawa, Canada, August 18, 1993.

• Artificial Intelligence in Engineering Design (2 hours) at the National Design Engineering Conference, Chicago, Illinois, March 1994. Co-taught with Dr. Navin Chandra, Robotics Institute, Carnegie Mellon U., Pittsburgh, PA.

• Artificial Intelligence in Engineering Design (2 hours) at the ORSA/TIMS (Operations Research Society of America/The Institute of Management Sciences) Conference, Detroit, October 1994.

• Artificial Intelligence in Engineering Design and Manufacturing (3 hours) at the AutoFact-94 Conference, Detroit, November 1994. Co-taught with Dr. Paul Nielsen, Dept. Electrical Engineering and Computer Science, U. of Michigan, Ann Arbor, MI.

• Knowledge-Based CAD/CAM, a 2-day course sponsored by the Soc. Automotive Engineers (SAE):

• July 16-17, 1996, SAE Professional Engineering Education Center, Troy, Michigan.

• Sept. 5-6, 1996, SAE Professional Engineering Education Center, Troy, Michigan.

• Dec. 11-12, 1996, Hyatt Regency Hotel, Dearborn, Michigan.

• April 3-4, 1997, SAE Professional Engineering Education Center, Troy, Michigan.

• Dec. 4-5, 1997, SAE Professional Engineering Education Center, Troy, Michigan.

• Organized the 2-day seminar Knowledge-Based Engineering in the Automotive Industry, sponsored by the Soc. Automotive Engineers (SAE). Ritz-Carlton Hotel, Dearborn, MI. Sept. 1996.

• Applications of Artificial Intelligence in Design and Manufacturing (3 hours) at the AutoFact-96 Conference, Detroit, November 1996.

• Innovative Engineering: Structured Approaches to Creative Problem Solving, a 2-day course sponsored by the American Soc. Mechanical Engineers (ASME):

• May 19-20, 1997, Doubletree Hotel, Pittsburgh, PA.

• Sept. 22-23, 1997, The Providence Biltmore Hotel, Providence, RI.

• Knowledge-Based Engineering in the Automotive Industry (5 hours), sponsored by Hewlett Packard, in conjunction with the China Auto Show, Beijing, July 9, 1997. Co-taught with Kas Kasravi, Senior Knowledge-Engineer, Electronic Data Systems.

• Organized the 2-day seminar Virtual Manufacturing and Knowledge-Based Design, sponsored by the Soc. Automotive Engineers (SAE). Dearborn Inn, Dearborn, MI. Nov. 10-11, 1997.

Invited Lectures, Papers Presented, Conference Sessions Chaired

• Presented paper: Nadel B. A., "The complexity of constraint satisfaction in Prolog", Proc. Workshop on Constraint Processing at the International Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, MI, August 1989.

• Presented paper: Nadel B. A. and Lin J., "Automobile transmission design as a constraint satisfaction problem: a collaborative research project with Ford Motor Co.", Proc. Workshop on Constraint Directed Reasoning at the National Conf. on Artificial Intelligence (AAAI-90), Boston, Massachusetts, August 1990.

• Invited Lecture Knowledge Based Engineering in Automobile Transmission Design, presented at:

• the Metropolitan Detroit chapter of the Association for Computing Machinery, Nov. 1990.

• Association for Computing Machinery Special Interest Group in Artificial Intelligence, Detroit Chapter, March 1991.

• General Motors Technical Center, Warren, Michigan, March 1991.

• U.S. Tank Command, Warren, Michigan, October 1992.

• Computer Science Dept., U. Western Ontario, London, Ontario, November 1992.

• EASi Engineering, Southfield, MI, March 1993.

• Computer Science Dept., Ben Gurion University, Israel, July 27, 1994.

• ORSA/TIMS (Operations Research Society of America/The Institute of Management Sciences) Conference, Detroit, October 1994.

• Progress Report to Ford Motor Co. Advanced Transmission Design Dept., Livonia, Michigan, presented (i) Dec. 1991, (ii) July 1992, (iii) March 1993 and (iv) January 1994.

• Chrysler Technical Center, Auburn Hills, Michigan, January, 1996.

• Inventors Assoc. of Metropolitan Detroit, February, 1996.

• Presented paper: Nadel B. A. and Lin J., "Automobile transmission design: a constraint satisfaction formulation and Prolog implementation'', Proc. Workshop on Artificial Intelligence in Design at the International Joint Conf. on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991, pp. 207-226.

• Invited Lecture New AI Languages and their use in Engineering Design, at the Southeast Michigan chapter of the ACM Special Interest Group on Artificial Intelligence, July 22, 1993.

• Chairman of the technical session "Advances in Expert Systems" at the AutoFact-93 Conference, Chicago, November 1993.

• Guest lecturer at the Bar-Ilan Workshop and Seminar on Applied Constraint Reasoning, Bar-Ilan University, Ramat-Gan, Israel, July 20-21, 1994.

• Invited Lecture Creativity in Engineering, at the Southeast Michigan chapter of the ACM Special Interest Group on Artificial Intelligence, Nov. 21, 1996.

• Invited Lecture Starting an Artificial Intelligence-Based Company, at the Southeast Michigan chapter of the ACM Special Interest Group on Artificial Intelligence, Feb. 19, 1997.

• Chairman and speaker at the 1/2-day session "Knowledge-Based Engineering" at the AutoFact-97 Conference, Detroit, November 1997.

• Invited Lecture Creativity for Engineers, presented at:

• the Greater Detroit chapter of APICS, the Educational Society for Resource Management, Dec. 1997.

Other

• Conducted seminars in Artificial Intelligence and Expert Systems throughout the United States and Canada for "Learning Tree International", an international computer education company based in Washington, D.C.