From kock@iesd.auc.dk Mon Feb 27 02:37:06 1995 Received: from fyvie.cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Feb 95 02:36:59 -0600; AA05101 Received: from iesd.auc.dk by fyvie.cs.wisc.edu; Mon, 27 Feb 95 02:36:46 -0600 Received: from sigma.iesd.auc.dk (kock@sigma.iesd.auc.dk [130.225.48.176]) by iesd.auc.dk (8.6.5/8.6.5) with ESMTP id JAA22002; Mon, 27 Feb 1995 09:36:28 +0100 From: Uffe Kock Wiil Received: from localhost (kock@localhost) by sigma.iesd.auc.dk (8.6.5/8.6.5) id JAA07460; Mon, 27 Feb 1995 09:36:24 +0100 Date: Mon, 27 Feb 1995 09:36:24 +0100 Message-Id: <199502270836.JAA07460@sigma.iesd.auc.dk> To: dbworld@fyvie.cs.wisc.edu Subject: CFP: International Workshop on Temporal Databases (VLDB'95) Cc: kock@iesd.auc.dk X-Sun-Charset: US-ASCII A Postscript version of this call for papers may be obtained via anonymous ftp from ftp.iesd.auc.dk where it is located in the directory pub/conferences/TempDB95. *Final Call For Papers* INTERNATIONAL WORKSHOP ON TEMPORAL DATABASES In cooperation with The VLDB Endowment, Inc. Zurich, SWITZERLAND -- September 17-18, 1995 Supported by ARPA/NSF, Aalborg University and ETH Zurich The International Workshop on Temporal Databases will bring together leading researchers and developers in the field of temporal databases to discuss the state-of-the-art in research, applications and standards in the area, and to start setting future research directions. The workshop comes at a time when recent, significant advances in this field are poised to have a major impact on the commercial database products of the near future, and is intended to serve as a forum for disseminating research and experience in this rapidly advancing area. Since the workshop will be held in cooperation with The VLDB Endowment, Inc. and immediately following VLDB'95 in Zurich, participants will be able to maximize their interchange of experiences and knowledge among researchers and practitioners across the entire field of database research and development. SCOPE ----- The primary focus of the workshop is on new and original research results in the areas of theoretical foundations, design, implementation, and applications of temporal databases, as well as experience reports from application specialists and the commercial community that describe lessons learned in the development, operation, and maintenance of actual temporal database systems in practical and innovative applications. The goal is to exchange research ideas and results which will not only contribute to the academic arena, but will also benefit the commercial community in the near future and encourage a dialog between practitioners and researchers. Suggested topics include, but are not limited to, the following as they relate to temporal databases: o Temporal Data Models, including o Distributed Temporal Databases Valid-Time, Transaction-Time, o Query Optimization Techniques and Bitemporal Models o Integration with Existing o Semantics of Temporal Data Commercial Products o Temporal Query Languages o Critical Evaluation of o Spatio-Temporal Data Models TSQL2/TSQL3 Proposals and Languages o Simulation and Modeling o Temporally Active Data Models o Knowledge-Based Systems o Rule Processing in Temporally o Decision Support Active Databases o Knowledge Discovery o Temporal Database Design o Novel Applications in Business, o Real-time Databases Scientific, Medical, and Legal o Concurrency Control and Recovery Domains o Reasoning with Temporal o Requirements Analysis for Information Temporal Database Applications o Imprecise Temporal Information o Reports on Experience with Real Applications WORKSHOP FORMAT --------------- The workshop will be organized in a manner designed to maximize the opportunity for interaction and exchange among the participants. It will consist of paper presentations and panels on recent developments and emerging trends, with ample time allocated for group discussions. This format should provide a forum for collaborations to develop among members of the international community of temporal database researchers and practitioners. Attendance will be limited. SUBMISSION ---------- Authors are invited to submit original research contributions or experience reports in English. Papers should be double-spaced and no longer than 8,000 words (roughly twenty pages). Submissions will be ``double-blind'' reviewed, i.e., anonymously, and should therefore include a separate title page with each author's full name, affiliation, complete address where you can be reached the week of May 15, 1995, telephone number, internet address and, if available, fax number. Notification and reviews will be communicated via email. Submitters should indicate in a cover letter their willingness to attend the workshop and present their paper. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality and relevance. Accepted papers will be presented at the Workshop and included in the proceedings, which will appear as a book in the Workshops in Computing series published by Springer-Verlag in collaboration with the British Computer Society. Proposals for panels that examine emerging, innovative, or otherwise provocative temporal database issues are encouraged as well. Panel proposals should include a 1-2 page summary of the topic and the names and affiliations of 3-4 panelists who have made a commitment to participate. A mix of industry and academic panel members is recommended. Five copies of a technical paper or panel proposal should be submitted by Monday, March 20, 1995 to the program chair. James Clifford, Program Chair International Workshop on Temporal Databases Department of Information Systems Leonard N. Stern School of Business New York University 44 West 4th Street, Suite 9-74 New York, NY 10012-1126 USA E-mail: jclifford@stern.nyu.edu Tel: (212) 998-0803 Fax: (212) 995-4228 We encourage submission of papers from both the academic and industrial spheres. IMPORTANT DATES --------------- Paper and proposal submission: March 20, 1995 (FIRM DEADLINE) Notification of invitation: May 15, 1995 Camera-ready copy due: June 12, 1995 Workshop: September 17-18, 1995 For further information, or in case of questions, please contact the General Chair: Christian S. Jensen E-mail: csj@iesd.auc.dk Program Chair: James Clifford, New York University, USA Steering Committee: Arie Segev (Chair), UC Berkeley & Lawrence Berkeley Lab, USA James Clifford, New York University, USA Christian S. Jensen, Aalborg University, DENMARK Tamer Ozsu, University of Alberta, CANADA Barbara Pernici, Politecnico di Milano, ITALY Niki Pissinou, University of Southwestern Louisiana, USA Richard T. Snodgrass, University of Arizona, USA Program Committee : Gad Ariav, Tel Aviv University, ISRAEL Jan Chomicki, Kansas State University, USA Albert Croker, Bernard M. Baruch College, CUNY, USA Ramez Elmasri, University of Texas, Arlington, USA Opher Etzion, Technion, ISRAEL Shashi K. Gadia, Iowa State University, USA Fabio Grandi, Universita di Bologna, ITALY Matthias Jarke, University of Aachen, GERMANY Wolfgang Kafer, Daimler Benz, GERMANY T. Y. Cliff Leung, IBM Santa Teresa Lab, USA David Lomet, DEC Cambridge Research Lab, USA Nikos A. Lorentzos, Agricultural Univ. of Athens, GREECE Inderpal Singh Mumick, Bell Laboratories, AT&T, USA Beng-Chin Ooi, National University of Singapore, SINGAPORE John F. Roddick, University of South Australia, AUSTRALIA Colette Rolland, Universite de Paris 1, FRANCE Ellen Rose, Massey University, NEW ZEALAND N. L. Sarda, Indian Institute of Technology, Bombay, INDIA Edward Sciore, Boston College, USA Abdullah Uz Tansel, Bernard M. Baruch College, CUNY, USA Babis Theodoulidis, University of Manchester, ENGLAND Vassilis J. Tsotras, Polytechnic University, USA Alexander Tuzhilin, New York University, USA Finance Chair: Marianne Baudinet, University of Brussels, BELGIUM Registration Chair: Andreas Steiner, ETH-Zurich, SWITZERLAND Publicity Chair: Uffe K. Wiil, Aalborg University, DENMARK Local Arrangements Chair: Robert Marti, ETH-Zurich, SWITZERLAND Publications Chair: Alexander Tuzhilin, New York University, USA /---------------------------------------------------------------\ | Uffe Kock Wiil, Assistant Professor | | Programming Systems Lab, Department of Computer Science | | Aalborg University, Fr. Bajers Vej 7E, 9220 Aalborg, DENMARK | | Email: kock@iesd.auc.dk, Phone: +45 98158522, Fax: +45 98158129 | \---------------------------------------------------------------/ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From csasi@comp.polyu.edu.hk Mon Feb 27 07:48:00 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Feb 95 07:47:56 -0600; AA06267 Received: from [158.132.25.2] by cs.wisc.edu; Mon, 27 Feb 95 07:47:48 -0600 Received: from csun33.comp.polyu.edu.hk by comp.polyu.edu.hk (4.1/SMI-4.1) id AA24444; Mon, 27 Feb 95 21:51:47 HKT Date: Mon, 27 Feb 95 21:51:47 HKT From: csasi@comp.polyu.edu.hk (Antonio Si (COMP staff)) Message-Id: <9502271351.AA24444@comp.polyu.edu.hk> To: dbworld Subject: Research Assistant position available in Hong Kong Cc: cshleong@comp.polyu.edu.hk Research Assistant position in Mobile Databases The Hong Kong Polytechnic University, Hong Kong ----------------------------------------------- We have a research assistantship position on a mobile database project. The salary is expected to be around HK$12,760 p.m. (US$1 = app. HK$7.8). There is also an opportunity for the work to become a MPhil or Ph.D. dissertation. The departmental computing facilities include 3 Sun SparcServer 670MP, numerous SGI Indies equipped with video cameras, Sun Sparc 5's, 10's, and 20's, PC's, colour PS printers, and varieties of multimedia equipments. Currently, we also received grants for wireless computer peripherals. Applicants are expected to have at least a Bachelor degree in computer science or a closely related area. A mimimum G.P.A. of 3.3 on all computer science and related classes is required (or an upper second class honour), but a G.P.A. of 3.5 or above (a first class honour) is preferable. Please send enquires and application to Dr. Hong-Va Leong or Dr. Antonio Si Department of Computing The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong Tel: (852) 2766-7243, (852) 2766-7279 FAX: (852) 2774-0842 or via email to: cshleong@comp.polyu.edu.hk or csasi@comp.polyu.edu.hk ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From hendrik@goliat.upc.es Mon Feb 27 11:17:34 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Feb 95 11:17:29 -0600; AA09159 Received: from goliat.upc.es by cs.wisc.edu; Mon, 27 Feb 95 11:17:18 -0600 Received: by goliat.upc.es (4.1/SMI-4.1) id AA23621; Mon, 27 Feb 95 18:12:39 +0100 Date: Mon, 27 Feb 95 18:12:39 +0100 From: hendrik@goliat.upc.es (Hendrik Decker (Professor Visitant) R. Ernest) Message-Id: <9502271712.AA23621@goliat.upc.es> To: dbworld Subject: Abduction in Deductive Databases and Knowledge-based Systems \documentstyle{article} \addtolength{\topmargin}{-22mm} \addtolength{\textwidth}{56mm} \addtolength{\textheight}{70mm} \addtolength{\oddsidemargin}{-30mm} \addtolength{\evensidemargin}{-30mm} \parindent0pt \newcommand{\fns}{\footnotesize} \begin{document} \pagestyle{empty} \begin{center} {\large Announcement and Call For Papers } \vspace{5mm} {\large ICLP'95--Workshop on } \vspace{2mm} \\ {\Large\bf Abduction in Deductive Databases and Knowledge-based Systems } \vspace{5mm} {\large Shonan Village Center, Kanagawa, Japan, June 17 -- 18, 1995 } \end{center} \vspace{8.7mm} \begin{minipage}[t]{6.1cm} {\small {\normalsize\bf Organizers} \vspace{2mm} \\ Hendrik Decker \ {\fns\it UPC Barcelona, Spain} \\ Antonis Kakas \ {\fns\it Univ. Cyprus, Cyprus} \\ Chiaki Sakama \ {\fns\it ASTEM Kyoto, Japan} \\ Toni Urpi \ {\fns\it UPC Barcelona, Spain} \vspace{8.7mm} {\normalsize\bf Program Committee} \vspace{2mm} \\ Hendrik Decker \ {\fns\it UPC Barcelona, Spain} \\ Robert Demolombe \ {\fns\it CERT Toulouse, France} \\ Oskar Dressler \ {\fns\it Siemens M\"unchen, Germany} \\ Phan Minh Dung \ {\fns\it AIT Bangkok, Thailand} \\ Antonis Kakas \ {\fns\it Univ. Cyprus, Cyprus} \\ Vladimir Lifschitz \ {\fns\it Univ. Texas Austin, USA} \\ Luis Pereira\ {\fns\it UniNova Lisboa, Portugal} \\ Chiaki Sakama \ {\fns\it ASTEM Kyoto, Japan} \vspace{8.7mm} {\normalsize\bf Invited Speaker} \vspace{2mm} \\ Robert A. Kowalski \\ {\fns\it Imperial College London, UK} \vspace{8.7mm} {\normalsize\bf Dates} \vspace{2mm} \\ {\it Submission due } {\bf 6 April 1995} \\ {\it Notification } {\bf 29 April 1995} \\ {\it Final version due } {\bf 22 May 1995} \vspace{8.7mm} {\normalsize\bf Submissions and Information} \vspace{2mm} \\ Hendrik Decker \vspace{2mm} {\it until 30 April 1995: } \vspace{0.6mm} LSI, UPC, Pau Gargallo 5, \\ E-08028 Barcelona \\ tel.: + 34 3 401 7003 \\ email: hendrik@goliat.upc.es \vspace{2mm} {\it from 1 May 1995: } \vspace{0.6mm} Siemens ZFE T SN 3, \\ D-81730 M\"unchen \\ tel.: + 49 89 636 47 533 \\ email: hendrik@zfe.siemens.de \vspace*{8.9mm} {\normalsize\bf World--Wide--Web} \vspace{2mm} {\fns For latest information see the www page: \\ {\it http://www-lsi.upc.es/www/dept/activ/iclp/} } } \end{minipage} \hfill \rule[-19.8cm]{0.1mm}{20.0cm} \hfill \begin{minipage}[t]{10.9cm} \small The workshop is a one-day meeting after the International Conference on Logic Programming, June 13 - 16, 1995. Workshops will be held on June 17 and (possibly) 18. \vspace{4mm} Besides deduction and induction, abduction has been identified by C.S. Peirce as one of three basic principles of formal reasoning. In a theory {\it T}, a set {\it E} of sentences is an {\it abductive explanation} of an observtion {\it A} if the union of {\it T} and {\it E} is consistent and entails {\it A} as a logical consequence. >From a causal rule {\it A}$\leftarrow${\it B} and the knowledge of {\it B}, deduction infers {\it A}. >From {\it A}$\leftarrow${\it B}, abduction generates the hypothesis {\it B} to explain {\it A}. Also induction generates hypotheses, but does not generate explanations. Deduction can simulate abduction. Hence, existing deductive logic programming procedures can be used to implement abductive reasoning. Among various phases of knowledge processing in deductive databases, knowledge acquisition and knowledge mining tend to be inductive, knowledge assimilation tends to be abductive and query answering tends to be deductive. Other applications of abduction are listed below. \vspace{4mm} The workshop is the second of its kind. (The first, on Abduction in Logic Programming, was held at ICLP'93 in Budapest, Hungary.) It is intended to enable a partial survey of activities in the field, and bring together researchers and developers interested in applications of abductive reasoning in deductive databases and knowledge-based systems. The workshop aims at providing a forum for exchange and cross-fertilization of abductive approaches in various applications. Suggested topics include, but are not limited to: \vspace{4.0mm} \begin{itemize} \parsep0ex \leftmargin0ex \item theory and its import to applications \item procedures and implementation \item applications to \begin{itemize} \item knowledge assimilation \item view updating, active rules \item integrity maintenance \item intensional query answering \item incomplete and negative information \item exceptions \item diagnosis \item planning, belief revision \item truth maintenance \item hypotheses, defaults \end{itemize} \end{itemize} \vspace{5.0mm} Authors are invited to send a full paper or an extended abstract (incl. title page with up to 500 words abstract and address/tel/fax/email of main author) to the address below. Email submissions in LaTeX or postscript format are strongly encouraged. Surface mail submissions must contain 4 hardcopies. For a book to eventually come out of the workshop, all attendees will be invited to submit a paper. The book is supposed to include extensively refereed full versions of accepted workshop papers. \end{minipage} \end{document} ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From ted@cis.ufl.edu Mon Feb 27 11:58:14 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Feb 95 11:58:06 -0600; AA10081 From: ted@cis.ufl.edu Received: from squall.cis.ufl.edu by cs.wisc.edu; Mon, 27 Feb 95 11:58:01 -0600 Received: by squall.cis.ufl.edu (8.6.7/cis.ufl.edu) id MAA08993; Mon, 27 Feb 1995 12:57:58 -0500 Date: Mon, 27 Feb 1995 12:57:58 -0500 Message-Id: <199502271757.MAA08993@squall.cis.ufl.edu> To: dbworld Hello, I would like to advertise a postdoc position. We would like to recruit at least one database specialist for the project. See also our WWW page: http://www.nile.utexas.edu/NC/ Theodore Johnson ted@cis.ufl.edu RESEARCH ASSOCIATE IN COMPUTER SCIENCE OR HIGH ENERGY PHYSICS CORNELL UNIVERSITY UNIVERSITY OF FLORIDA Cornell University, the University of Florida, the University of Texas at Austin, and the University of California at San Diego are collaborating in a "Distributed Computing and Databases for High Energy Physics" project, funded by a National Challenge award from the NSF. Cornell and Florida anticipate openings for persons with appropriate computer experience and a Ph.D. degree in either Computer Science or High Energy Physics. Individuals with a Masters degree in either field and comparable experience will also be considered for a Florida position. The project is associated with the CLEO experiment at the Cornell Electron Storage Ring. The goals of the project include the development of a fault-tolerant, wide-area, distributed computing and database system, supporting arrays of processors. This distributed system will be used by the CLEO collaboration and will serve as a model for addressing the computational requirements of other scientific and engineering projects whose problems can be organized as a sequence of independent events. Initially, the fault-tolerant management system will be based on the ISIS Toolkit and the wide-area networking will be based on ATM technology. Facility with UNIX and substantial experience in implementing software in two or more of the following areas of computing are essential: distributed and concurrent programming (especially fault-tolerant distributed applications), large networks of processors, networks, performance testing, client-server programming, scientific applications, and distributed databases. Experience with toolkits for building distributed fault-tolerant computer systems is particularly valuable. These are annual appointments with the expectation of renewal, subject to mutual satisfaction and the availability of funds under our five-year NSF grant. Candidates interested in working at Cornell and/or Florida should apply to Prof. David G. Cassel, Newman Laboratory, Cornell University, Ithaca, NY 14853-5001. Electronic mail inquiries can be sent to search@lns62.lns.cornell.edu. Candidates interested in working only at Florida should apply to Prof. Theodore Johnson, Computer and Information Science department, 301 CSE, University of Florida, Gainesville, FL 32611-2024. Electronic mail inquiries can be sent to ted@cis.ufl.edu. Applications should include a CV, a description of relevant computing experience, and the names and addresses of at least two potential referees. Cornell University and the University of Florida are equal-opportunity/affirmative-action employers. Further information is available from the URL: http://www.nile.utexas.edu/ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From GeneP@ccsdsmtp.columbiasc.ATTGIS.COM Mon Feb 27 21:40:00 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Feb 95 21:39:54 -0600; AA20043 Received: from h192-127-251-16.ATTGIS.COM by cs.wisc.edu; Mon, 27 Feb 95 21:39:50 -0600 Received: from ncrcae by ncrhub1.ATTGIS.COM id ab05051; 27 Feb 95 18:27 EST Received: by ncrcae.ColumbiaSC.NCR.COM; 27 Feb 95 18:27:56 EST Received: by ccsdsmtp.ColumbiaSC.ATTGIS.COM with Microsoft Mail id <2F528B5D@ccsdsmtp.ColumbiaSC.ATTGIS.COM>; Mon, 27 Feb 95 18:33:01 PST From: Pierce Gene To: patterns@cs.uiuc.edu, dbworld, sting@dxcern.cern.ch, agents@eng.sun.com, rmarcus , bomsig@omg.org, orb@omg.org Subject: RE: OOPSLA Workshops Final Call Date: Mon, 27 Feb 95 18:32:00 PST Message-Id: <2F528B5D@ccsdsmtp.ColumbiaSC.ATTGIS.COM> Encoding: 57 TEXT X-Mailer: Microsoft Mail V3.0 Could someone please provide more information on what is meant by workflow frameworks ? Thanks Gene Pierce AT&T ---------- From: rmarcus To: eng.sun.com!agents; omg.org!bomsig; cs.wisc.edu!dbworld; omg.org!orb; cs.uiuc.edu!patterns; dxcern.cern.ch!sting Subject: OOPSLA Workshops Final Call Date: Fri, Feb 24, 1995 11:33AM OOPSLA WORKSHOPS FINAL OPPORTUNITY I want to encourage interested parties to submit OOPSLA workshop proposals before March 1 in the areas of: Agents and Objects Scripting Languages and Object Technology Object Extensions to the World Wide Web Reliable and Scalable Distributed Object Computing Workflow Frameworks Legacy Systems and Object Technology Semantic Integration and Object Technology For an example of a proposal check out: URL= http://www.ccs.neu.edu/research/demeter/adaptable-systems/ I am hoping to have all the workshops proposals available on Web pages. It is a good way to publicize your workshop and related activities through links. I can help you find co-organizers and participants in the above areas! Let me know if you need more information. Bob Marcus rmarcus@atc.boeing.com ------------------------------------------------------------------- REQUIREMENTS FOR PROPOSALS Proposals should be up to two pages in length and include a description of the themes, problems to be addressed, proposed agenda and references to other papers, workshops and forums if appropriate. The proposal should include names, affiliations, addresses, phone, fax, and e-mail addresses of all prospectives co-organizers, indicating a primary contact. I can send you more information if you need it, but an old OOPSLA program can also provide good proposal models. Your workshop proposal should be SUBMITTED BEFORE MARCH 1 to rmarcus@atc.boeing.com. OOPSLA=Object-oriented Programming Systems Languages and Applications OOPSLA will be held in Austin, Texas from October 15-19. ------------------------------------------------------------------- ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From seipel@sunflower.informatik.uni-tuebingen.de Tue Feb 28 06:46:37 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Feb 95 06:46:34 -0600; AA21144 Received: from mailserv.uni-tuebingen.de by cs.wisc.edu; Tue, 28 Feb 95 06:46:12 -0600 Received: from sunflower.informatik.uni-tuebingen.de by mailserv.uni-tuebingen.de with SMTP (PP); Tue, 28 Feb 1995 13:45:59 +0000 Received: by sunflower.informatik.uni-tuebingen.de (4.1/SMI-4.1 (WSI-guentzer)) ; Tue, 28 Feb 95 13:45:59 +0100 Date: Tue, 28 Feb 95 13:45:59 +0100 From: seipel@sunflower.informatik.uni-tuebingen.de (Dietmar Seipel) Message-Id: <9502281245.AA21925@sunflower.informatik.uni-tuebingen.de> To: dbworld Subject: Workshop on "Logic Programming and Nonmonotonic Reasoning in Knowledge Bases" ********************* Call For Papers ******************************** Workshop on "Logic Programming and Nonmonotonic Reasoning in Knowledge Bases" in conjunction with the 19th German Annual Conference on Artificial Intelligence KI'95 September 11-13, 1995, Universitaet Bielefeld New perspectives for knowledge bases arise from incorporating in- complete knowledge (e.g. represented by disjunctive facts and rules), nonmonotonic reasoning (e.g. using closed-world-assumptions or well- founded semantics), object-orientation, non-determinism, etc. Concepts of logic programming and nonmonotonic reasoning increase the expressive power of declarative query languages. This allows for the adequate treatment of new application domains, such as uncertain reasoning, spatial databases and diagonstic systems. Deduction in large knowledge bases is very complex. Currently there is some number of projects for the development of inference engines for nonmonotonic reasoning with logic programs based on techniques like hyperresolution and model generation. The workshop will be held on September 11, 1995 (afternoon) and September 12, 1995 (morning). It is intended to attract research- ers from the areas of databases and knowledge bases, as well as from logic programming, automated deduction and nonmonotonic rea- soning. A major goal is the development of new concepts in the contact area of these related fields. Suggested topics for submis- sions include, but are not limited to: - incomplete and uncertain knowledge, disjunction - automated deduction, theorem proving - nonmonotonic reasoning, closed-world-assumptions - non-determinism, object-orientation - optimization and evaluation of logic programs - implementations and applications Extended abstracts of 6 to 10 pages in English are welcome. The papers should be submitted to one of the organizers by April 18, 1995. Submission by e-mail in TeX/LaTeX format is encouraged. Notification of acceptance will be no later than May 31, 1995. The final, camera-ready versions of the accepted abstracts must be received by the organizers by June 30, 1995. The organizers of the workshop are: - Ulrich Furbach and Juergen Dix Universitaet Koblenz-Landau, Rheinau 1, 56075 Koblenz E-Mail: {uli,dix}@informatik.uni-koblenz.de Tel.: +49 261 9119 433, +49 261 9119 420 Fax.: +49 261 9119 496 - Dietmar Seipel Universitaet Tuebingen, Sand 13, 72076 Tuebingen E-Mail: seipel@informatik.uni-tuebingen.de Tel.: +49 7071 29 5993 Fax.: +49 7071 29 5958 The following program committe supports the organizers for evaluating the submissions: - Stefan Brass (Universitaet Hannover) - Francois Bry (Universitaet Muenchen) - Ulrich Geske (GMD Berlin) - Ulrich Guentzer (Universitaet Tuebingen) Further information about the workshop will be available by ftp and world-wide-web under ftp.informatik.uni-tuebingen.de (directory /pub/ki95) http://sunwww.informatik.uni-tuebingen.de:8080/ki/ki95.html ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From Said.Assar@galaxie.int-evry.fr Tue Feb 28 09:43:53 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Feb 95 09:43:47 -0600; AA24933 Received: from galaxie.int-evry.fr by cs.wisc.edu; Tue, 28 Feb 95 09:43:32 -0600 Received: from arctique.int-evry.fr (arctique.int-evry.fr [157.159.11.4]) by galaxie.int-evry.fr (8.6.4/8.6.4) with ESMTP id QAA19963 for ; Tue, 28 Feb 1995 16:41:35 +0100 From: Said ASSAR Received: from localhost (assar@localhost) by arctique.int-evry.fr (8.6.4/8.6.4) id QAA11816 for dbworld@cs.wisc.edu; Tue, 28 Feb 1995 16:47:10 +0100 Date: Tue, 28 Feb 1995 16:47:10 +0100 Message-Id: <199502281547.QAA11816@arctique.int-evry.fr> To: dbworld Subject: Doctoral Consortium 95 CALL FOR CONTRIBUTION AND PARTICIPATION (please feel free to communicate this call ) ( to whom might be interested ) ( and, SORRY IF YOU ALREADY GOT THIS MESSAGE ) --------------------------------------------------------- 2nd Doctoral Consortium on Advanced Information Systems Engineering 12-13 June 1995, Jyvaskyla, Finland. (-: THE DEADLINE IS EXTENDED TILL :-) (-: March 15th 1995 :-) DESCRIPTION The Doctoral Consortium Workshop brings together PhD students within the information systems engineering field. Its intention is to give them the oppurtunity to present their research, to discuss it with other doctoral students and to get a feed-back about their work. During the Consortium, an expert panel consisting of two (or three) prominent professors whithin the field of Information Systems Engineering will act as a catalyst for the discussions. The consortium will be held in connection with the CAiSE*95 conference in Jyvaskyla. It will be part of the Workshop programme of the CAiSE*95 conference. The two first days of the conference have been reserved for the consortium and the other workshops (i.e., on 12th and 13th June, 1995). THEMES The Doctoral Consortium is open for contributions in line with the CAiSE*95 conference : - AI supported ISE - Business process reengineering - CASE and Meta-CASE - Cognitive aspects of the design process - Dynamic modelling - Entreprise modelling - GIS and groupware design - Information management and planning - Knowledge acquisition - Maintenance and reverse engineering - Method engineering - Multi-media information systems - Object-oriented analysis and design - Object-oriented database design - Prototyping - Quality management - Requirement engineering - Reuse - Software process modelling and support - Temporal information systems - User interface design - Workflow management SUBMISSIONS : To apply for participating at the consortium, you must provide 5 copies of an abstract of your doctoral work. The abstract should : 1- state clearly since when the research began, if it's a full time or part time work, and how the research work is financed; 2- identify clearly the research question; 3- outline the hard problems in the field of research and the current solutions (if any) with the help of 4 to 5 known references; 4- present the preliminary ideas and state clearly the proposed approach; 5- present the contributions of the applicant and the results of the work (if any). The length of the abstract should not exceed two pages. Submissions will be selected based on the topic, quality, and interest of the two-pages abstract they submit. Admission is limited to 20 students. MONEY GRANTS : CAiSE conferences are selected as one of the "EuroConferences". Therefore the inhabitants of EC member countries (Norway included), can apply for a limited number of grants from the European Union. More details plus an application form will appear in the conference Call For Participation. IMPORTANT DATES Submission deadline(camera ready format): March 15th 1995 Notification of acceptance : April 15th 1995 CONTACT ADDRESS Said ASSAR Departement des Systemes d'Information Institut National des Telecommunications 9, rue Charles Fourier 91011 EVRY - FRANCE phone : +33 1 60 76 44 88 fax : +33 1 60 76 44 93 E-mail : assar@galaxie.int-evry.fr For more information about the CAiSE*95 conference itself, contact : E-mail : caise95@jyu.fi World Wide Web (WWW) : http://www.jyu.fi/~mor/ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help -------------------------------------------------------------------------------