Date: Tue 21 Jun 1988 17:47-EDT From: AIList Moderator Nick Papadakis 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 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: 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 ********************