LDL'2001
Fourth IEEE OREGON SYMPOSIUM ON
LOGIC, DESIGN AND LEARNING

CALL FOR PAPERS

PORTLAND, OREGON, USA
AUGUST 31 - SEPTEMBER 1, 2001

LOGIC DESIGN AND SWITCHING THEORY OUTSIDE CIRCUIT DESIGN
LOGIC IN IMAGE PROCESSSING
LOGIC IN PATTERN RECOGNITION, MACHINE LEARNING AND DATA MINING
DECISION DIAGRAMS IN NEW APPLICATIONS SUCH AS COMPUTER VISION
OTHER NEW REPRESENTATIONS OF KNOWLEDGE
LOGIC SYNTHESIS FOR REVERSIBLE AND QUANTUM COMPUTING
FORMAL VERIFICATION, FAULT DETECTION, DIAGNOSIS AND SELF-REPAIR IN COMPLETE SYSTEMS (MECHANICS, ROBOTICS, ETC.)
LOGIC, ALGEBRAIC AND FORMAL ASPECTS OF DESIGN AND LEARNING
FUZZY AND MULTI-VALUED LOGIC FOR ROBOTICS
ROUGH SETS
ARTIFICIAL INTELLIGENT SYSTEMS
NEW APPROACHES TO LOGIC SYNTHESIS
INFORMATION THEORY AND LOGIC SYNTHESIS
DECOMPOSITION OF LOGIC SYSTEMS
SOLVING LOGIC EQUATIONS
KNOWLEDGE DISCOVERY IN DATA BASES
CONSTRUCTIVE INDUCTION
AUTOMATED DEDUCTION
PRACTICAL APPLICATIONS OF LINEARLY INDEPENDENT LOGIC
AND SPECTRAL METHODS
LEARNING ROBOTS
CONSTRAINT BASED METHODS
EVOLVABLE HARDWARE AND EVOLUTIONARY COMPUTING
RELATIONS OF DESIGN AND LEARNING
REHABILITATIVE ROBOTICS
BIOLOGICALLY MOTIVATED INTELLIGENT SYSTEMS
INTELLIGENT ROBOTS FOR ENTERTAINMENT AND EDUCATION
ROBOTIC AND INTERNET THEATRES
ELECTRIC HORSE AND WALKING ROBOTS
PHILOSOPHICAL AND MORAL ASPECTS OF
INTELLIGENT AND SPIRITUAL ROBOTS


Our special interest is in practical applications of logic synthesis and constraint-based methods outside circuit design and design automation, and especially to build intelligent robots and systems.

The goal of the symposium is to investigate synergies of logic synthesis and areas outside traditional circuit design, rather than well-established CMOS design techniques.

There will be special sessions related to challenges of new technologies, industry versus academia, tough open research problems, and discussions in which the top experts will participate and exchange very controversial opinions.

Prof. Hugo DeGaris, inventor of Evolvable Hardware and Dr. Andrzej Buller who works on brain modelling using Cellular Automata, will organize the special session about ``Spiritual Robots'' and ``The Artilect Problem''.

A group of Portland inventors will present their "Electric Horse" walking robot and will discuss the challenges.

There will be presentations of research on biologically-motivated hardware, Artificial Neural Nets and Evolutionary algorithms from leading world researchers.

Traditionally, an exhibition of intelligent toys and learning systems including robots will accompany this symposium.

Authors are requested to submit 5 copies (in English) of their double-space typed manuscript on 8.5 by 11 inch or A4 paper by February 1, 2001. Each paper should be no longer than 20 pages and should include a 50-100 word abstract. Papers should be sent to the Program Chair.


Authors will be notified by April 2, 2001. Photo-ready copies of accepted papers are due by May 1, 2001.

There will be proceedings published and all papers will be also available on the Symposium WWW Page. Public-Domain software will be distributed. There is an oportunity to purchase inexpensive robot kits and assemble them by participants for software-hardware competitions.

For all additional information contact Symposium Chair.


ORGANIZING COMMITTEE:


Andrzej Buller, Brain Builder Group, ATR, Japan.

Malgorzata Chrzanowska-Jeske, Portland State University.

Hugo De Garis, STARLAB, Belgium.

Garrison Greenwood, Portland State University.

Yutaka Hata,
Dept. of Comp. Engineering, Himeji Inst. of Technology, Japan.

Lech Jozwiak, Department of Electronics,
Technical University of Eindhoven, The Netherlands.

Pawel Kerntopf, Department of Electronics, Institute of Computer Science, Technical University of Warsaw, Warsaw, Poland.

Alan Mishchenko, Program Chair
Department of Electrical and Computer Engineering,
Portland State University, Portland, OR, USA.

Marek Perkowski, Symposium Chair
Department of Electrical and Computer Engineering,
Portland State University, USA WWW Page


Bruce Schafer, Oregon College of Engineering and Computer Sciencej

Bernd Steinbach, Technical University of Freiberg, Germany.

Xiaoyu Song, Portland State University.

Svetlana N. Yanushkevich,
Inst. of Comp. Sci. and Inf. Syst.
Tech. University of Szczecin, Poland

Martin Zwick, Systems Science, Portland State University, Portland, Oregon, USA.