The Honeywell Technology Center Automated Reasoning Group would welcome a chance to talk with job applicants this week at the AAAI conference in Madison, WI. The group works in scheduling, planning, reactive systems, verification, uncertain reasoning, agent-based systems, and data mining. Contact Robert Goldman, David Musliner, Mark Boddy, or John Beane at or (612) 951-7334. [22Jul98.]

Michael Fehling is seeking an MS/PhD senior research computer scientist for his Synergia LLC (Redwood City, CA), to develop tools for simulation-based modeling and analysis of organizational practices. Synergia is a consulting/technology company in organizational analysis/design and facilitation of decision making and collaborative work. It's clients are in high-technology products, health care, management consulting, community development, and disaster relief. See CCJ 8.23 for the full ad. [, 23Jul98.]

Marcus Zillman has posted papers to his BotSpot website about the VIRT "universal programming language," with applications in theorem proving and simulation of dynamic data structures. . [, 24Jul98.]

Harlequin (Cambridge, MA) -- with one of our group memberships -- has released the Harlequin Dylan object-oriented programming language and development environment in a $249 Windows professional edition a free personal edition. An enterprise edition is also planned, with links to CORBA and distributed computing technologies. Dylan was developed by Apple Computer, Harlequin, and others over eight years, and is a small, elegant, compiled language said to extend the benefits of Smalltalk, C++, and Java. Features include memory management, multiple inheritance, multimethods, a powerful module system, late binding of types, and selective sealing. . See CRS 8.23 for the full announcement. [Business Wire, 08Jul98. Bill Park.] (Bill says this is the language that *should* have been used to implement the Newton OS.)

-- Ken