CALL FOR PAPERS: THIRD OREGON SYMPOSIUM ON LOGIC, DESIGN AND LEARNING
PORTLAND STATE UNIVERSITY
DEPARTMENT OF ELECTRICAL
AND COMPUTER ENGINEERING
The third Oregon symposium will be organized in Portland, Oregon, on May 22, 2000.
This year, the Symposium is associated with the
30-th International Symposium on Multiple-Valued Logic and the 9-th Ultra-Large-Scale Integrated Circuit
Symposium, which has been traditionally organized by researchers from Japan and Europe.
The whole sequence of conferences starts at May 22nd and terminates at May 26th.
Please submitt papers and tutorials to Alan Mishchenko at: email@example.com
Papers may be submitted in HTML, POWERPOINT or Postscript by email.
Deadline for submitting a paper or a tutorial: EXTENDED
Notification of acceptance: May 12.
Both bounded volume of Symposium Proceedings and the WWW version will be published.
See ISMVL 2000 WWW page for more information.
The papers will be solicited in the following areas:
LOGIC IN IMAGE PROCESSSING,
LOGIC IN PATTERN RECOGNITION, MACHINE LEARNING AND DATA MINING,
LOGIC SYNTHESIS FOR QUANTUM LOGIC,
NEW APPROACHES TO LOGIC SYNTHESIS,
INFORMATION THEORY AND LOGIC SYNTHESIS,
LOGIC AND DATA MINING,
DECOMPOSITION OF LOGIC SYSTEMS,
SOLVING LOGIC EQUATIONS,
LOGIC AND PATTERN RECOGNITION,
KNOWLEDGE DISCOVERY IN DATA BASES,
PRACTICAL APPLICATIONS OF LINEARLY INDEPENDENT LOGIC AND SPECTRAL METHODS.
LOGIC VERSUS DESIGN.
LOGIC VERSUS MACHINE LEARNING.
RELATIONS OF DESIGN AND LEARNING.
Our special interest is in
applications of logic synthesis and constraint-based methods outside circuit design
and design automation.
ALAN MISHCHENKO SYMPOSIUM CHAIR.