CALL FOR PAPERS AIMSA'96 7th International Conference on Artificial Intelligence: Methodology, Systems, Applications Sozopol, Bulgaria, September 18-20, 1996 The AIMSA conference series has provided a biennial forum for presentation of AI research and development since 1984. The conferences, which are held in Bulgaria, cover the full range of AI, and are noted for their well established tradition of international scientific exchange between Central and Eastern Europe and the rest of the world. AIMSA'96 is sponsored by ECCAI, European Coordinating Committee for Artificial Intelligence. Topics of interest * Automated reasoning: theorem proving, reasoning about action and change, reasoning about time and space, constraint satisfaction, reasoning on uncertainty and with fuzzy sets, analogy and induction, machine learning. * Logics for AI: logics for knowledge, belief and intention, multi-valued logics, modal and temporal logics, epistemic logics, fuzzy logics. * Languages, structures and algorithms for AI: logic programming, inductive logic programming, constraint programming, multi-agent systems, connectionist systems, genetic algorithms, parallel processing for AI. * Knowledge-based systems: languages and systems for representing knowledge, object-based knowledge representation systems, knowledge acquisition, validation of knowledge-based systems. * Natural language processing: syntax, semantics, discourse, speech recognition and understanding, natural language generation, natural language front ends. * Perception and action: computer vision, object recognition, stereo vision, active vision, robotics systems, robot programming, robot motion planning, mobile robotics, behavior-based reactive robots. * Principles of AI applications: AI for decision systems, AI in education, AI in engineering design, AI in manufacturing control, AI in medicine, AI in molecular biology, AI in environmental sciences. Format of papers Papers should be written in English and be printed on one side of A4 paper (21cm x 29.7cm), using high quality printers. Format should be single-spaced, with no more than 50 lines per page, 3cm margins and 12 point type. Minimum length is 2500 words (about 5 pages single-spaced) and maximum 5000 words (10 pages), including figures, tables, diagrams. Electronic or fax submission will not be considered. Each paper should start with: * Title of the paper (with 18 point type), * Names and institutions of all authors, * Postal and email address of one of the authors (to whom mail from the program committee will be sent), * An abstract of 100-150 words. Selection of paper Each paper will be reviewed by several referees. Selection criteria include accuracy and originality of ideas, clarity and significance of results, quality of presentation. Authors of accepted papers will be asked to prepare final versions for the proceedings and are expected to present their papers at the conference. Best paper award The program committee will select one paper of exceptional quality among the accepted papers. The authors will receive the best paper award during the conference. Submission of papers * March 03, 1996: Deadline for submissions * April 22, 1996: Notification of acceptance * May 20, 1996: Deadline for final papers Four copies of submitted papers must be sent to: Allan Ramsay - AIMSA'96 Program Chair Department of Language and Linguistics UMIST PO BOX 88, Manchester M60 1QD United Kingdom For further information concerning submission: Email: allan@ccl.umist.ac.uk Fax: (44) (0) 161 200 3099 Phone: (44) (0) 161 200 3108 (direct) (44) (0) 161 2036 3311 (switch) Program committee Benedict du Boulay (UK) Peter Braspenning (The Netherlands) Ivan Bratko (Slovenia) Peter Brusilovsky (Russia) Christo Dichev (Bulgaria) Danail Dochev (Bulgaria) Altay Guvenir (Turkey) Steffen Holldobler (Germany) Philippe Jorrand (France) Vladimir Marik (Czech Republic) Alberto Martelli (Italy) Pedro Meseguer (Spain) Ewa Orlowska (Poland) Ivan Plander (Slovakia) Allan Ramsay (UK, programme chair) Ronan Reilly (Ireland) Vassil Sgurev (Bulgaria) Mark Stickel (USA) Dan Tufis (Romania) Dimitar Vakarelov (Bulgaria) Tibor Vamos (Hungary) David Young (UK) Organization AIMSA'96 is organized by: * Bulgarian Artificial Intelligence Association * Institute for Information Technologies * Union of Bulgarian Mathematicians with the support of the Bulgarian Society for Cognitive Science and of the Bulgarian Association for Pattern Recognition. Local arrangements For further information write to: Christo Dichev - AIMSA'96, Institute for Information Technologies Bl. 29A, Acad. G. Bonchev St. 1113 SOFIA - BULGARIA Email: cdichev@iinf.bg Fax: +359 2 720 166 Phone: +359 2 707 586 Joint Event: JCKBSE'96 Second Joint Conference on Knowledge-Based Software Engineering Sozopol, Bulgaria, September 21-22, 1996