From Philippe.Jorrand@imag.fr Thu Jan 6 18:36:44 EST 1994 Article: 20125 of comp.ai Xref: glinda.oz.cs.cmu.edu comp.ai:20125 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!news.imag.fr!cosmos.imag.fr!mac_lifia1-2.imag.fr!user From: Philippe.Jorrand@imag.fr (Philippe Jorrand) Subject: CFP AIMSA'94 - Sofia, Bulgaria, Sept. 21-24, 1994 Message-ID: Followup-To: comp.ai Sender: news@imag.fr Nntp-Posting-Host: mac_lifia1-2.imag.fr Organization: Institut IMAG - LIFIA - Grenoble - France Date: Thu, 6 Jan 1994 09:43:44 GMT Lines: 186 ------------------------------------------------------------------------------- ----------------------------------------- C A L L F O R P A P E R S ----------------------------------------- A I M S A '94 ------------- 6th International Conference on Artificial Intelligence : Methodology, Systems, Applications Sofia, Bulgaria, September 21-24, 1994 -------------------------------------- Since the first AIMSA in 1984, the AIMSA conferences take place in Bulgaria. They are biennial forums for presentation of AI research and development, with a now well established tradition of international scientific exchange between Central and Oriental Europe and the rest of the world. AIMSA'94 is sponsored by ECCAI, European Coordinating Committee for Artificial Intelligence AIMSA'94 will be preceeded by a Summer School on AI organized by Tempus Joint European Project 1728, with the support of Tempus Joint European Project 1497. --------------------------------------- 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 progamming, 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, 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 submissions 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 papers ------------------- 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 -------------------- „ February 28, 1994 : Deadline for submissions „ April 15, 1994 : Notification of acceptance „ May 15, 1994 : Deadline for final papers Four copies of submitted papers must be sent to : Philippe Jorrand - AIMSA'94 Program Chair Institut IMAG - LIFIA 46, avenue FŽlix Viallet 38000 GRENOBLE - France For further information concerning submission : Email : Philippe.Jorrand@imag.fr Fax : +33 76 57 46 02 Phone : +33 76 57 46 47 Program committee ----------------- Peter Braspenning (The Netherlands) Benedict du Boulay (United Kingdom) Jacques Cohen (USA) Christo Dichev (Ireland) Danail Dochev (Bulgaria) Luis Farinas del Cerro (France) Les Gasser (USA) Malik Ghallab (France) Eva Hajicova (Czech Republic) Steffen Hšlldobler (Germany) Philippe Jorrand, Program Chair (France) Alberto Martelli (Italy) Pedro Meseguer (Spain) Peter Mikulecky (Czech Republic) Ewa Orlowska (Poland) Ivan Popchev (Bulgaria) Franois Rechenmann (France) Vassil Sgurev (Bulgaria) Tibor Vamos (Hungary) Organization ------------ AIMSA'94 is organized by : „ Bulgarian Artificial Intelligence Association „ Institute of Informatics, Bulgarian Academy of Sciences „ Foundation "Eureka" „ Union of Bulgarian Mathematicians with the support of the Bulgarian Society for Cognitive Science and of the Bulgarian Association for Pattern Recognition. Local arrangements ------------------ Organizing committee : Vassil Sgurev, Chairman Danail Dochev, Secretary For further information concerning arrangements and for details about the Summer School on AI preceeding AIMSA'94, write to : Danail Dochev - AIMSA'94 Institute of Informatics - BAS Bl. 29A, Acad. G. Bonchev St. 1113 SOFIA - Bulgaria Email : ari@iinf.bg Fax : +359 2 720 166 Phone : +359 2 707 58 ------------------------------------------------------------------------------- Article 20832 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.ai:20832 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!news.mic.ucla.edu!library.ucla.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!zaphod.crihan.fr!jussieu.fr!univ-lyon1.fr!news.imag.fr!cosmos.imag.fr!mac_lifia1-1.imag.fr!user From: Philippe.Jorrand@imag.fr (Philippe Jorrand) Subject: AIMSA'94 : submission deadline 21 MARCH 1994 Message-ID: Followup-To: comp.ai Sender: news@imag.fr Nntp-Posting-Host: mac_lifia1-1.imag.fr Organization: Institut IMAG - LIFIA - Grenoble - France Date: Fri, 25 Feb 1994 10:45:27 GMT Lines: 179 ---------------------------------------------- THE DEADLINE FOR SUBMITTING PAPERS TO AIMSA'94 HAS BEEN EXTENDED TO 21 MARCH 1994 ---------------------------------------------- ----------------------------- C A L L F O R P A P E R S ----------------------------- A I M S A '94 ------------- 6th International Conference on Artificial Intelligence : Methodology, Systems, Applications Sofia, Bulgaria, September 21-24, 1994 -------------------------------------- Since the first AIMSA in 1984, the AIMSA conferences take place in Bulgaria. They are biennial forums for presentation of AI research and development, with a now well established tradition of international scientific exchange between Central and Oriental Europe and the rest of the world. AIMSA'94 is sponsored by ECCAI, European Coordinating Committee for Artificial Intelligence AIMSA'94 will be preceeded by a Summer School on AI organized by Tempus Joint European Project 1728, with the support of Tempus Joint European Project 1497. ----------------------------------------------------------------- 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 progamming, 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, 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 submissions 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 papers ------------------- 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 21, 1994 : Deadline for submissions - April 22, 1994 : Notification of acceptance - May 20, 1994 : Deadline for final papers Four copies of submitted papers must be sent to : Philippe Jorrand - AIMSA'94 Program Chair Institut IMAG - LIFIA 46, avenue FŽlix Viallet 38000 GRENOBLE - France For further information concerning submission : Email : Philippe.Jorrand@imag.fr Fax : +33 76 57 46 02 Phone : +33 76 57 46 47 Program committee ----------------- Peter Braspenning (The Netherlands) Benedict du Boulay (United Kingdom) Jacques Cohen (USA) Christo Dichev (Ireland) Danail Dochev (Bulgaria) Luis Farinas del Cerro (France) Les Gasser (USA) Malik Ghallab (France) Eva Hajicova (Czech Republic) Steffen Hšlldobler (Germany) Philippe Jorrand, Program Chair (France) Alberto Martelli (Italy) Pedro Meseguer (Spain) Peter Mikulecky (Czech Republic) Ewa Orlowska (Poland) Ivan Popchev (Bulgaria) Franois Rechenmann (France) Vassil Sgurev (Bulgaria) Tibor Vamos (Hungary) Organization ------------ AIMSA'94 is organized by : - Bulgarian Artificial Intelligence Association - Institute of Informatics, Bulgarian Academy of Sciences - Foundation "Eureka" - Union of Bulgarian Mathematicians with the support of the Bulgarian Society for Cognitive Science and of the Bulgarian Association for Pattern Recognition. Local arrangements ------------------ Organizing committee : Vassil Sgurev, Chairman Danail Dochev, Secretary For further information concerning arrangements and for details about the Summer School on AI preceeding AIMSA'94, write to : Danail Dochev - AIMSA'94 Institute of Informatics - BAS Bl. 29A, Acad. G. Bonchev St. 1113 SOFIA - Bulgaria Email : ari@iinf.bg Fax : +359 2 720 166 Phone : +359 2 707 58 -----------------------------------------------------------------------