Date: Tue 21 Jun 1988 17:47-EDT
From: AIList Moderator Nick Papadakis <AIList-REQUEST@AI.AI.MIT.EDU>
Reply-To: AIList@AI.AI.MIT.EDU
Us-Mail: MIT Mail Stop 38-390, Cambridge MA 02139
Phone: (617) 253-2737
Subject: AIList Digest V7 #40
To: AIList@AI.AI.MIT.EDU
Status: RO
AIList Digest Wednesday, 22 Jun 1988 Volume 7 : Issue 40
Today's Topics:
Queries:
Math/Science Education
Robotics mailing list - does there exist one?
Announcements:
IJCAI Computers & Thought and Research Excellence Awards
Philosophy & Computers Conference
master of engineering in ai program at k.u.leuven belgium
----------------------------------------------------------------------
Date: 19 Jun 88 16:05:30 GMT
From: mind!harnad@princeton.edu (Stevan Harnad)
Subject: Math/Science Education
For a colleague doing research on math/physics education (without
access to the net) I would be grateful for references on the following:
(1) Van Hiele Research
(2) Transfer of training between mathematical and scientific
instruction and application of mathematical knowledge, especially
applying general principles to particular problems.
Of interest is all work on psychological, computational or pedagical
aspects of this area of cognition.
--
Stevan Harnad ARPANET: harnad@mind.princeton.edu harnad@princeton.edu
harnad@confidence.princeton.edu srh@flash.bellcore.com harnad@mind.uucp
BITNET: harnad%mind.princeton.edu@pucc.bitnet UUCP: princeton!mind!harnad
CSNET: harnad%mind.princeton.edu@relay.cs.net
------------------------------
Date: Mon, 20 Jun 88 10:15:31 PDT
From: John B. Nagle <jbn@glacier.stanford.edu>
Subject: Robotics mailing list - does there exist one?
To the best of my knowledge, no one has yet established a robotics
mailing list. Is there one already in existence? If not, is there sufficient
interest to justify starting one?
John Nagle
------------------------------
Date: Mon, 20 Jun 88 08:38:32 EDT
From: walker@flash.bellcore.com (Don Walker)
Subject: IJCAI Computers & Thought and Research Excellence Awards
CALL FOR NOMINATIONS FOR IJCAI AWARDS
THE IJCAI AWARD FOR RESEARCH EXCELLENCE
The IJCAI Award for Research Excellence is given at an International
Joint Conference on Artificial Intelligence to a scientist who has
carried out a program of research of consistently high quality over a
period of years that has produced a number of substantial results. If
the research program has been carried out collaboratively the award may
be made jointly to the research team. The first recipient of this
award was John McCarthy in 1985.
The award carries with it a certificate and the sum of $1,000 plus
travel and living expenses for the IJCAI. The researcher(s) will be
invited to deliver an address on the nature and significance of the
results achieved and write a paper for the conference proceedings.
Primarily, however, the award carries the honour of having one's work
selected by one's peers as an exemplar of sustained research in the
maturing science of Artificial Intelligence.
We hereby call for nominations for The IJCAI Award for Research
Excellence to be made at IJCAI-89 in Detroit. The accompanying note on
Selection Procedures for IJCAI Awards provides the relevant details.
THE COMPUTERS AND THOUGHT AWARD
The Computers and Thought Lecture is given at each International Joint
Conference on Artificial Intelligence by an outstanding young scientist
in the field of artificial intelligence. The Award carries with it a
certificate and the sum of $1,000 plus travel and subsistence expenses
for the IJCAI. The Lecture is presented one evening during the
Conference, and the public is invited to attend. The Lecturer is
invited to publish the Lecture in the conference proceedings. The
Lectureship was established with royalties received from the book
Computers and Thought, edited by Feigenbaum and Feldman; it is
currently supported by income from IJCAI funds.
Past recipients of this honour have been Terry Winograd (1971),
Patrick Winston (1973), Chuck Rieger (1975), Douglas Lenat (1977),
David Marr (1979), Gerald Sussman (1981), Tom Mitchell (1983),
Hector Levesque (1985), and Johan de Kleer (1987).
Nominations are invited for The Computers and Thought Award to be made
at IJCAI-89 in Detroit. The note on Selection Procedures for IJCAI
Awards describes the nomination procedures to be followed.
SELECTION PROCEDURES FOR IJCAI AWARDS
Nominations for The Computers and Thought Award and The IJCAI Award for
Research Excellence are invited from everyone in the Artificial
Intelligence international community. The procedures are the same for
both awards.
There should be a nominator and a seconder, at least one of whom should
not be in the same institution as the nominee. The nominee must agree
to be nominated. There are no other restrictions on nominees,
nominators or seconders. The nominators should prepare a short
submission of less than 2,000 words, outlining the nominee's
qualifications with respect to the criteria for the particular award.
The award selection committee is the union of the Program, Conference
and Advisory Committees of the upcoming IJCAI and the Board of Trustees
of IJCAII, with nominees excluded. Nominations should be submitted
before December 1st, 1988 to the Conference Chair for IJCAI-89:
Wolfgang Bibel
IJCAI-89 Conference Chair
Department of Computer Science
University of British Columbia
Vancouver, CANADA V6T 1W5
Tel. +1-604-228-6281
Net: bibel@ubc.csnet
------------------------------
Date: Mon, 20 Jun 88 13:17:39 EDT
From: rapaport@cs.Buffalo.EDU (William J. Rapaport)
Subject: Philosophy & Computers Conference
Third Annual Conference on
PHILOSOPHY AND COMPUTERS
Darmouth College
August 24-27, 1988
Department of Philosophy at Dartmouth College
American Association of Philosophy Teachers
American Philosophical Association Committee on Computer Use in Philosophy
Keynote Address in Philosophy
JERRY FODOR
"Against Connectionism"
Keynote Address in Computing
JOHN KEMENY
"Computers Revolutionize the Classroom"
Many other papers on aspects of philosophy and computing as well as
demonstrations and discussions of the latest develpments in software
-------------------------------------------------------------------------
Registration Form for Conference on Philosophy and Computers
Name_____________________________________________ Phone______________________
Institution______________________________________ Department_________________
Address______________________________________________________________________
___$25 (___$20 for spouse) Registration & Banquet [___$35 after 8/1/88]
___$24 (___$14 for spouse) Housing 8/24/88
___$24 (___$14 for spouse) Housing 8/25/88
___$24 (___$14 for spouse) Housing 8/26/88
$_________ Total--Please make check payable to DARTMOUTH COLLEGE and send to:
Jim Moor, P&C Conference, Philosophy, Dartmouth College, Hanover, NH 03755
********** Reservations are due by August 7, 1988 **********
------------------------------
Date: Tue, 21 Jun 88 11:09:41 GMT
From: <prlb2!kulcs!kulesat!van_cleyn@uunet.UU.NET>
Subject: master of engineering in ai at k.u.leuven belgium
Annoucement of the program
MASTER OF ENGINEERING IN ARTIFICIAL INTELLIGENCE
________________________________________________
------------------------------------------------
at the Katholieke Universiteit LEUVEN, BELGIUM
----------------------------------------------------------------------
The PROGRAM
1. Mandatory Components
1.1 Introductory Courses -
Each course is taught during one semester, 1.5 hour a week.
In addition, 6 2.5 hour sessions accompany each course.
1. Fundamentals of AI (Y.D. Willems)
2. Cognitive Science (G. van Outryve d'Ydewalle)
3. Neural Computing (G. Orban)
1.2 Specialized Courses -
Each course is taught during one semester, 1.5 hour a week.
In addition, six 2.5 hour sessions accompany each course.
1. Logic as a Foundation for AI (Y.D. Willems, B. Demoen)
2. Programming Languages and Programming Methodologies
(K. De Vlaminck, J. Lewi)
3. Methodologies for Building Knowledge-based Systems (P. Suetens)
1.3 Seminar on AI (weekly 2.5 hour sessions) -
1.4 Thesis -
2 Optional Components
Each course is taught during one semester, 1.5 hour a week.
In addition, four 2.5 sessions accompany each course.
1. Robotics (J. De Schutter)
2. Computer Vision (P. Wambacq, P. Suetens)
3. Natural Language Processing (G. Adriaens)
4. Speech Processing (D. Van Compernolle)
5. Advanced Computer Architectures (L. Van Eycken, P. Wambacq)
6. Advanced Programming Languages for AI (J. Lewi, E. Steegmans)
7. Formal Reasoning and Proof Techniques for Software Systems
(J. Lewi)
8. Selected Topics in Logic Programming (M. Bruynooghe, Y.D. Willems)
9. Expert System Techniques for Control and Design in the Process
Industry (M. Rijckaert, W. Bogaerts)
10. Techniques for Solving Complex Conceptual Digital System Design
Problems (H. De Man)
11. Formal Reasoning and Proof Techniques for Digital System
Correctness Verification (H. De Man, L. Claesen)
12. Knowledge-based Techniques for Automated Analog System Design
(W. Sansen)
PRACTICAL INFORMATION
REQUIREMENTS
To receive the degree of Master of Engineering in Artificial Intelli-
gence the candidate has to attend the mandatory part of the program
and to select at least 7 optional courses. Except for the thesis and
the seminar on AI, all courses are taught during one semester,
1.5 hour a week. In addition, practical exercises illustrate the
theory. Six 2.5 hour sessions accompany each mandatory course, and
four 2.5 hour sessions each optional course. In both semesters weekly
seminars are provided to discuss new research activities, to invite
outside lecturers and to arrange visits to university labs and com-
panies. The student will be involved in an AI research project on
which he has to write a thesis. The work load of the thesis corre-
sponds to the work load of four optional courses.
The Coordinating Staff is aware of the fact that students may have
various educational backgrounds. Students are therefore allowed to
propose to the Coordinating Staff other coherent programs that meet
their goals and conform to the basic requirements. The candidate is
not expected to take courses if he has previously studied the
equivalent subject matter. If such courses are listed as mandatory,
they must be replaced with additional optional courses.
If the student can not meet the prerequisites of the program, he may
attend courses taught elsewhere at the K.U.Leuven. Then, in excep-
tional cases, these courses may be allowed to replace either mandatory
or optional courses of this program.
Exams will be administered at the end of the year, during the months
of June and July.
Students other than those preparing for the MEAI, can attend individ-
ual courses within the regulations of the university. Students who
are preparing a doctoral dissertation at the K.U.Leuven in the field
of Artificial Intelligence are encouraged to enroll for courses of
this program.
TIME SCHEDULE
The first semester lasts from early October until the end of January.
The Christmas holidays last two weeks. The second semester lasts from
early February until the end of May. Easter holidays last three weeks
of which normally one week before and two weeks after Easter.
K.U.LEUVEN
Town of LEUVEN
Leuven is a typical university town. Many attractive cafis and
restaurants add to the town's playful charm.
Leuven profits from the unique geo-political position Belgium occupies
on the Continent. It is close to Brussels which, with the
headquarters of several important European organizations, has become
the unofficial capital of Europe. On the crossroads between Germanic
and Romance languages, it has always operated as a mediator between
different cultures. The university still offers the possibility to
study approximately 20 languages, ranging from Dutch to Chinese.
Leuven has always been considered one of the leading intellectual
centers in the Low Countries.
Belgium is a wonderful base for trips throughout Europe : such places
as Paris, Grenoble, London, Geneva, Z|rich, Milan, Rome, Venice,
Munich, Cologne and Amsterdam are easily accessible. This broad
orientation strengthens the cosmopolitan character of K.U.Leuven and
fosters the international spirit required for an International Study
Program in Artificial Intelligence.
Campus Facilities
The organizing laboratories are situated on and in the neighbourhood
of the Arenberg Campus in Heverlee, within walking distance from the
Leuven City center. Near the laboratories there is a university
restaurant, a sports center and several student residences. They are
situated in the attractive park of Arenberg Castle.
The organizing laboratories have computer facilities and their own
topical libraries, to which the participants of the study program have
access. In each of these libraries computer terminals give access to
the LIBIS data bank which contains information on all books and
journals available inside the university.
The students' living quarters are nearly as important as the lecture
hall, the library or the laboratory. The inner city of Leuven offers
a variety of accomodations : dormitories, private homes and communal
houses. Facilities have been built near the new campus in Heverlee.
The newly restored 13th century Groot Begijnhof, in the center of the
city, attracts visitors from all over the world. It accommodates 700
students and assistants in a quiet 'old-world' environment yet with
all modern comforts.
Apart from scientific lectures given by specialists from Belgium and
abroad, the Katholieke Universiteit of Leuven also offers excellent
concerts and recitals given by world famous orchestras, ensembles and
soloists. Exhibitions present the most important of the modern
Flemish painters and sculptors.
APPLICATION AND REGISTRATION
Applicants must hold a bachelor's degree or its equivalent. This
degree should be obtained in the field of sciences or applied
sciences, including experience in computing concepts and practice.
An application form must be filled out, including a statement of the
individual's objectives; the applicant also has to explain how the
program and previous preparation meet these objectives. Foreign
students should register preferably before July 1, Belgian students
before September 1. Students who apply for a partial program, must
follow the same procedure. Admission to the program is normally
granted by the Coordinating Staff after consideration of the
information provided on the application form, the applicant's
educational and professional background and his motivation. Students
who apply before July 1, will be notified to their admission before
August 1. Those who apply after July 1, will be informed before
October 1.
Application forms can be obtained from :
Prof F. DELMARTINO
International Study Programs
Universiteitshal
Naamsestraat 22
B-3000 LEUVEN
Phone : (32) (16) 28.40.27
Telex : 257.15 kulbib b
Telefax : (32) (16) 28.40.14
------------------------------------------------------------------------------
Detailed information about the program can be obtained be sending
the message GET MASTER OF_AI (first line, first column) to the userid
LISTSERV@BLEKUL11.BITNET
------------------------------
End of AIList Digest
********************