From raghu@cs.wisc.edu Sun Feb 23 16:48:33 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id QAA07979 for ; Sun, 23 Feb 1997 16:48:15 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id QAA06487 for dbworld; Sun, 23 Feb 1997 16:48:14 -0600 (CST) Date: Sun, 23 Feb 1997 16:48:14 -0600 (CST) From: Juliana Freire Message-Id: <199702232248.QAA06487@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu ---------------------------------------------------------------------------- CALL FOR ABSTRACTS First International Workshop on Tabling in Logic Programming (An ICLP'97 Post-conference Workshop) Leuven, Belgium, July 11/12, 1997. ---------------------------------------------------------------------------- Tabling in logic programming is becoming a promising research area. It has proven to be a powerful paradigm with diverse applications, including non-monotonic reasoning, deductive databases and program analysis. During the past few years a significant body of both theoretical and practical knowledge has been accumulated, so much so that we now have a better understanding of tabling and its capabilities. This workshop will serve as a forum for disseminating research and experience in this rapidly advancing area. This workshop aims to bring together researchers and developers to discuss not only the results achieved, but also ongoing research and future directions. Topics of interest include (but are not limited to) the following: * Foundations and principles * Systems: implementations and experiences * Applications * Programming techniques * Constraints * Abstract interpretation * Parallel and distributed computing * Non-monotonic reasoning * Deductive databases * DDB constraints Workshop Format: The workshop is organized under the auspices of the Interational Conference on Logic Programming, at Leuven, Belgium. The conference runs from July 8th through 12th. The workshop will be scheduled on a half-day session following ICLP'97, on July 11th or 12th. The program will consist of short, informal presentations of works-in-progress and position papers on tabling and applications, and a panel discussion on ``Programming with Tables''. Submissions: Short abstracts (in English, less than 5 pages) describing works in progress or position papers are welcome on any of the above topics or related issues. Authors are invited to send their abstracts by e-mail (in ASCII or uuencoded, compressed PostScript) to iwtlp@cs.sunysb.edu by April 18, 1997. Notification of acceptance will be sent by May 8, 1997. Final versions of the accepted papers must be received by June 9, 1997 for inclusion in the workshop proceedings. Organizers: Juliana Freire (Stony Brook) C.R. Ramakrishnan (Stony Brook) Program Committee: Roland Bol (Uppsala) Weidong Chen (SMU) Michael Codish (Ben Gurion) Lars Degerstedt (SoftLab) Bart Demoen (Leuven) Juliana Freire (Stony Brook) Burkhard Freitag (Passau) Bharat Jayaraman (Buffalo) Rui Marques (Lisbon) Ulf Nilsson (Linkoeping) Luis Pereira (Lisbon) C.R. Ramakrishnan (Stony Brook) Konstantinos Sagonas (Leuven) Divesh Srivastava (AT&T) David Toman (Toronto) David Warren (Stony Brook) Important dates: Submission: April 18, 1997 Notification: May 8, 1997 Final version: June 9, 1997 Contact Information: http://www.cs.sunysb.edu/~iwtlp Email: iwtlp@cs.sunysb.edu Phone: +1 516 632 8218 Fax: +1 516 632 8334 ---------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Tue Feb 25 09:00:22 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id JAA07462 for ; Tue, 25 Feb 1997 09:00:12 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id JAA09033 for dbworld; Tue, 25 Feb 1997 09:00:12 -0600 (CST) Date: Tue, 25 Feb 1997 09:00:12 -0600 (CST) From: Lars Wolf Message-Id: <199702251500.JAA09033@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu **************************************************** *** Please note the new deadline for submissions *** **************************************************** Since we have have received many requests to extend the submission deadline for the IDMS'97 workshop (originally March 1, 1997), we decided to extend the deadline by one week to March 8. [Apology if you receive multiple copies of CFP.] ============================================================================== ********************* * Deadline Extended * ********************* CALL FOR PAPERS European Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'97) 10. - 12. September 1997 Darmstadt, Germany In Cooperation with ACM SIGMM Gesellschaft fuer Informatik GMD IEEE Computer Society VDE ITG This Fourth International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services follows the successful IDMS workshop held 1996 in Berlin. The purpose of this workshop is to provide a forum for the presentation, exploration, and discussion of technologies and their advancements in the broad field of interactive distributed multimedia systems -- from basic system technologies such as networking and operating system support to all kinds of multimedia applications. Furthermore, we are also looking for work from related areas, including digital library, mobile communication, VR, and software agents. Case studies and papers describing experimental work are especially welcome. Relevant topics include, but are not limited to * High-speed and multimedia networks * ATM networks and applications * Mobile multimedia systems * Multimedia communication protocols * Compression algorithms * Quality of service and media scaling * Resource management * Multimedia operating systems * Synchronization * Multimedia database and storage * Video-on-demand systems, components and architectures * Multimedia programming languages, abstractions & APIs * Development tools for distributed multimedia applications * Multimedia-specific intelligent agents * Multimedia/hypermedia applications and tools, production and authoring * Conferencing * Computer supported collaborative work * Digital libraries * Interactive television * Virtual reality systems IDMS'97 will consist of one day of tutorials and two days of technical presentations in an envisaged single-track. System and tool demonstrations will be possible throughout the workshop. In order to keep the flavor of a "workshop", participation will be restricted to about 100 participants. The proceedings of the workshop will be published in the Springer LNCS series and will be available during the workshop. Selected papers will be forwarded to a special issue of the "Computer Communications" Journal. Information for Authors ======================= The working language of the workshop is English. The submission process of papers will be handled electronically. Detailed description of the electronic submission procedures are available in the IDMS'97 web page http://www.th-darmstadt.de/idms97/ Authors without web access may send mail to idms97@kom.th-darmstadt.de requesting electronic submission information. Authors unable to submit electronically are invited to send 5 copies of their full paper to the program chair: Lars C. Wolf Dept. of Electrical Engineering & Information Technology Darmstadt University of Technology Merckstr. 25, D-64283 Darmstadt, Germany Manuscripts ----------- Submitted manuscripts must describe original work (not submitted or published elsewhere). The manuscripts must be no longer than 5000 words (including references, tables, etc.), be typed double-spaced, contain an abstract of approximately 300 words, and include title, authors and affiliations. The author who serves as contact person must be marked appropriately. Panels ------ Suggestions for panels which present innovative, controversial, or otherwise interesting ideas are welcome. Send a panel proposal of at most 3 pages including a biographical sketch of the panelist to the general chair. Important Dates =============== Submissions due: 01. March 1997 (extended to 08. March 1997) Notification of acceptance: 15. May 1997 Camera-ready version due: 15. June 1997 General Chair ============= Ralf Steinmetz, Darmstadt U., Germany Email: Ralf.Steinmetz@kom.th-darmstadt.de Dept. of Electrical Engineering and Information Technology Darmstadt University of Technology Merckstr. 25, D-64283 Darmstadt, Germany Fax: +49 6151 166152 Program Committee ================= B. Butscher, DeTeBerkom, Germany A. Danthine, U. Liege, Belgium L. Delgrossi, Andersen Consulting, France J. Eberspaecher, TU Munich, Germany W. Effelsberg, U. Mannheim, Germany J. Encarnacao, FhG-IGD, Germany D. Ferrari, U. Cattolica, Italy B. Furht, Florida Atlantic U., USA N. Georganas, U. Ottawa, Canada W. Hall, U. Southampton, UK R.G. Herrtwich, RWE, Germany A. Hopper, U. Cambridge / ORL, UK J.P. Hubaux, EPFL, Switzerland D. Hutchison, Lancaster U., UK Y. Ip, Siemens AG, Germany W. Kalfa, TU Chemnitz, Germany T.D.C. Little, Boston U., USA F. Mattern, Darmstadt U., Germany E. Moeller, GMD FOKUS, Germany K. Nahrstedt, U. Illinois, USA E. Neuhold, GMD IPSI, Germany S. Pink, SICS, Sweden T. Plagemann, UNIK, Norway R. Popescu-Zeletin, TU Berlin, Germany V. Rangan, U. California, USA K. Rothermel, U. Stuttgart, Germany J. Schweitzer, Siemens AG, Germany H. Tokuda, Keio U., Japan F. Williams, Ericsson, Germany L. Wolf, Darmstadt U., Germany (Chair) General Information =================== For program information contact the Program Chair. For additional information see World-Wide Web: http://www.th-darmstadt.de/idms97 Local Organization ================== For any details on transportation, accomodation, or any other local arrangements please contact Martin Karsten Email: Martin.Karsten@kom.th-darmstadt.de (same address as general chair) ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Tue Feb 25 12:39:40 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id MAA13440 for ; Tue, 25 Feb 1997 12:39:35 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id MAA09463 for dbworld; Tue, 25 Feb 1997 12:39:34 -0600 (CST) Date: Tue, 25 Feb 1997 12:39:34 -0600 (CST) From: Prof Malcolm Atkinson Message-Id: <199702251839.MAA09463@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu The following message describes how you may gain access to an experimental platform providing orthogonal persistence for Java(TM) which is work we have reported elsewhere. Malcolm ============ Members of the Persistence and Distribution group in the Department of Computing Science at Glasgow University and the Forest group at Sun Microsystems Laboratories in Mountain View are collaborating in the development of orthogonal persistence for Java(tm). A preliminary version of their experimental platform is now available under licence to academic research groups for evaluation and research purposes. Further details can be found at http://www.sunlabs.com/research/forest/opj.main.html. Feedback is welcomed. It must be emphasised that this is an experimental platform built for research purposes and that there is no commitment to support for users of this software nor any kind of warranty regarding its quality. The present version is based on the Sun Microsystems(tm) JDK(tm) 1.0.2. A version based on JDK 1.1 will be available soon. A number of papers and other descriptions of the work can be found at the following web sites: http://www.sunlabs.com/research/forest and http://www.dcs.gla.ac.uk/pjava. You may also be interested in details of a forthcoming workshop on Persistence and Java, PJW2 (see http://www.sunlabs.com/research/forest/pjw2). Malcom Atkinson, Glasgow University Mick Jordan, Sun Microsystems Inc. Sun, Sun Microsystems, Java and JDK are trademarks or registered trademarks of Sun Microsystems Inc. in the United States and other countries. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Wed Feb 26 13:16:48 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id NAA17397 for ; Wed, 26 Feb 1997 13:16:40 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id NAA11004 for dbworld; Wed, 26 Feb 1997 13:16:40 -0600 (CST) Date: Wed, 26 Feb 1997 13:16:40 -0600 (CST) From: schewe@informatik.tu-clausthal.de Message-Id: <199702261916.NAA11004@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu submission deadline: April 1, 1997 for Seventh International Workshop on Foundations of Models and Languages for Data and Objects Distributed Databases Minsen, Germany, September 15 -- 19, 1997 organized by GI-Arbeitskreis ``Grundlagen von Informationssystemen (Foundations of Information Systems)'', supported by the European Association for Theoretical Computer Science (EATCS) This international workshop will be the seventh in a series focussing on foundations of models and languages for data and objects. The main principle of this workshop series is to concentrate on one selected topic and to offer the opportunity for in-depth exchange of ideas and experiences. In order to stimulate extensive discussions, the time for the presentation of a long (short) paper is 60 (30) minutes followed by about 30 (15) minutes of discussion. Furthermore, another participant will be asked in advance to prepare a response to the work presented. In addition to the talks, there will be working groups which concentrate on actual research topics and try to develop a common understanding of the problems involved. Due to the special character of the workshop, every participant is expected to stay for the complete duration of the workshop. The 1997 workshop will be held in Minsen, Germany, and focusses on Distributed Databases. Typical, but not exclusive topics of interest are: models and languages, fragmentation and allocation algorithms, transaction management, integrity maintenance, query optimization, optimized data and storage structures, replication, incomplete and uncertain information in distributed and federated databases Submission of Papers. Authors are cordially invited to submit four copies of their contribution (extended abstract) to the program committee chair by April 1, 1997. Papers should not exceed 10 pages (single-spaced, 12pt, US letter or A4 paper) for long presentations and 5 pages for short presentations and for working group proposals. Submissions have to be sent to (electronic submissions (PostScript, dvi) are accepted as well): Klaus-Dieter Schewe, Institut f\"ur Informatik, Technische Universit\"at Clausthal Erzstr. 1, 38678 Clausthal-Zellerfeld, Germany schewe@informatik.tu-clausthal.de The submissions will be judged not only for scientific quality but also for suitability as a basis for broader discussion. The proceedings will be published to be available at the workshop. Program Committee: Stefan Conrad (U Magdeburg, Germany), Hayan Hasse (ABB, Switzerland), Andreas Heuer (U Rostock, Germany), Stephen J. Hegner (U Vermont, USA), Hans--Joachim Klein (U Kiel, Germany), Winfried Lamersdorf (U Hamburg, Germany), Maria Orlowska (U Queensland, Australia), Torsten Polle (U Dortmund, Germany), Torsten Ripke (TU Clausthal, Germany), Gunter Saake (U Magdeburg, Germany), Klaus--Dieter Schewe (TU Clausthal, Germany, chair), Marc Scholl (U Konstanz, Germany), Kasimierz Subieta (U Warsaw, Poland), Markus Tresch (ETH Zurich, Switzerland) Organization: Thomas Feyer, Alexander Kuckelberg, Torsten Ripke (chair), Klaus-Dieter Schewe (all TU Clausthal) Important Dates: Submission April 1, 1997 Notification of Acceptance/Rejection June 4, 1997 Camera--ready version July 14, 1997 Workshop September 15--19, 1997 An up-to-date version of this CfP and further information is available at http://www.in.tu-clausthal.de/~ripke/workshop97.html A postscript version of this CfP is available via anonymous ftp from ftp.tu-clausthal.de/pub/institute/ifi/schewe/cfp.ps ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Wed Feb 26 13:21:07 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id NAA17536 for ; Wed, 26 Feb 1997 13:20:58 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id NAA11035 for dbworld; Wed, 26 Feb 1997 13:20:57 -0600 (CST) Date: Wed, 26 Feb 1997 13:20:57 -0600 (CST) From: Andreas Podelski Message-Id: <199702261920.NAA11035@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu We apologize for multiple copies. Note that we have made precise the paper submission guidelines. These are accessible via the CP97 web site http://www.mpi-sb.mpg.de/conferences/CP97/. CALL FOR PAPERS Third International Conference on Principles and Practice of Constraint Programming (CP97) Schloss Hagenberg, Austria, October 29 - November 1, 1997 Scope of the Conference Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The conference is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Contributions are welcome from any discipline concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. Contributions are welcome from any domain employing constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, program analysis, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, type inference, vision, visualization, user interfaces. Papers are especially welcome that bridge disciplines or combine theory and practice. Conference Venue CP97 will take place at Schloss Hagenberg, a medieval, renovated castle close to Linz, Austria, known as the site of the Research Institute for Symbolic Computation (RISC). Paper Submissions The submission deadline is April 15, 1997. Submission is by email (up to exceptions) according to the paper submission guidelines, which are accessible via the CP97 web site http://www.mpi-sb.mpg.de/conferences/CP97/. Decisions on acceptance will be sent by June 15, 1997. Some submissions not accepted as papers may be offered presentation as posters, with an extended abstract (2 pages) in the proceedings. Publication The proceedings will be published in the Springer LNCS series. Camera-ready copy will be due by July 15, 1996. The publication must not duplicate an earlier conference publication. Papers and posters must be presented at the conference by one of the authors. Authors of selected papers will be invited to submit revisions to a special issue of the CONSTRAINTS journal devoted to the conference. Call for Tutorials Several tutorials will be held during the conference. Proposals for two-hour tutorials should be sent to the Program Chair until May 15, 1997. Call for Workshop Proposals There will be workshops on the last day of the conference. Proposals for one-day or half-day workshops should be sent to the Workshop Chair as soon as possible but no later than May 15, 1997. Exhibition and Sponsors Companies, publishers, agencies or organizations interested in exhibition space, or in becoming conference sponsors, should contact the Conference Chair. Researchers interested in providing computer demonstrations should contact the Program Chair. Conference Organization Conference Chair: Bruno Buchberger (RISC) Bruno.Buchberger@risc.uni-linz.ac.at Program Chair: Gert Smolka (DFKI and Universitaet des Saarlandes) smolka@ps.uni-sb.de Program Committee: Franz Baader (RWTH Aachen) Frederic Benhamou (University of Orleans) Alex Brodsky (George Mason University) Yves Caseau (Bouygues) Hoon Hong (RISC) John Hooker (CMU) Joxan Jaffar (National University of Singapore) Claude Kirchner (INRIA Lorraine and CRIN) Michael Maher (Griffith University) Kim Marriott (Monash University) Dave McAllester (AT&T Research) Ken McAloon (Brooklyn College) Bernhard Nebel (University of Freiburg) Tobias Nipkow (TU Muenchen) Martin Odersky (TU Karlsruhe and University of South Australia) Catuscia Palamidessi (University of Genova) Andreas Podelski (Max-Planck-Institut fuer Informatik) Jean-Francois Puget (ILOG) Francesca Rossi (University of Pisa) Thomas Schiex (INRA) Bart Selman (AT&T Research) Gert Smolka (DFKI and Universitaet des Saarlandes) Peter J. Stuckey (University of Melbourne) Edward Tsang (University of Essex) Peter van Beek (University of Alberta) Mark Wallace (ICL/Imperial College) Publicity and Workshop Chair: Andreas Podelski (Max-Planck-Institut fuer Informatik) podelski@mpi-sb.mpg.de Organizing Committee: Alan Borning (University of Washington) Alain Colmerauer (University of Marseille) Eugene Freuder (University of New Hampshire) Jean-Pierre Jouannaud (University of Paris Sud) Jean-Louis Lassez (New Mexico Tech) Ugo Montanari (University of Pisa) Anil Nerode (Cornell University) Vijay Saraswat (AT&T Research) Pascal Van Hentenryck (Brown University) Ralph Wachter (Office of Naval Research) Important Dates April 15, 1997: Paper submission deadline May 15, 1997: Submission of tutorial and workshop proposals June 15, 1997: Acceptance notification July 15, 1996: Camera-ready copy due October 29-31, 1997: Main program of the conference November 1, 1997: Workshops Further Information Additional information will be posted, and will be available at the CP97 web site: http://www.mpi-sb.mpg.de/conferences/CP97/. ------------------------ Latex version -------------------------------- % text, latex, dvi and postscript versions are avaible also at the % CP97 web site http://www.mpi-sb.mpg.de/conferences/CP97/. \documentstyle{article} %[a4wide,german] \oddsidemargin 6pt \evensidemargin 6pt \marginparwidth 90pt \marginparsep 10pt \topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt \footskip 30pt \columnsep 10.5pt \columnseprule 0pt \addtolength{\oddsidemargin}{-2.0cm} \setlength{\textwidth}{18.7cm}%{18cm} \addtolength{\topmargin}{-1cm} \setlength{\textheight}{27cm} \pagestyle{empty} \begin{document} \begin{center} {\Large\sc CALL FOR PAPERS - CP97}\\[2.5ex] {\Large \bf Third International Conference on }\\[1.5ex] {\Large \bf Principles and Practice of Constraint Programming (CP97)}\\[1.5ex] {\large\bf Schloss\ Hagenberg, Austria, October 29 - November 1, 1997} \end{center} %\vspace*{0.15in} \vspace*{0.15in} \parbox[t]{7.3cm}{ %{5.3cm}{ %\parbox[t]{7.3cm}{ %{5.3cm}{ %\parbox[t]{8.2cm}{ %{5.3cm}{ \footnotesize \noindent {\bf Conference Chair:} \vspace*{0.05in} \begin{tabular}{l} Bruno Buchberger\\ RISC\\ A4232 Schloss Hagenberg, Austria\\ {Bruno.Buchberger@risc.uni-linz.ac.at}\\ \end{tabular} \vspace*{0.05in} % \vspace*{0.10in} \noindent {\bf Program Chair:} \vspace*{0.05in} \begin{tabular}{l} Gert Smolka\\ Programming Systems Lab\\ DFKI and Universit\"at des Saarlandes\\ Postfach 15 11 50, Geb\"aude 45\\ D-66041 Saarbr\"ucken, Germany\\ {smolka@ps.uni-sb.de} \end{tabular} \vspace*{0.05in} % \vspace*{0.10in} \noindent {\bf Program Committee:} \vspace*{0.05in} \begin{tabular}{l} Franz Baader (RWTH Aachen)\\ Fr{\'e}d{\'e}ric Benhamou (University of Orl{\'e}ans)\\ Alex Brodsky (George Mason University)\\ Yves Caseau (Bouygues)\\ Hoon Hong (RISC)\\ John Hooker (CMU)\\ Joxan Jaffar (National University of Singapore)\\ Claude Kirchner (INRIA Lorraine and CRIN)\\ Michael Maher (Griffith University)\\ Kim Marriott (Monash University)\\ Dave McAllester (AT\&T Research)\\ Ken McAloon (Brooklyn College)\\ Bernhard Nebel (University of Freiburg)\\ Tobias Nipkow (TU M\"unchen)\\ Martin Odersky (University of South Australia)\\ % TU Karlsruhe \&\ Cartuscia Palamidessi (University of Genova)\\ Andreas Podelski (Max-Planck-Inst.\ f\"ur Informatik)\\ Jean-Francois Puget (ILOG)\\ Francesca Rossi (University of Pisa)\\ Thomas Schiex (INRA)\\ Bart Selman (AT\&T Research)\\ Gert Smolka (DFKI \&\ Universit\"at des Saarlandes)\\ Peter J. Stuckey (University of Melbourne)\\ Edward Tsang (University of Essex)\\ Peter van Beek (University of Alberta)\\ Mark Wallace (ICL/Imperial College) \end{tabular} \vspace*{0.05in} % \vspace*{0.10in} \noindent {\bf Publicity and Workshop Chair:} \vspace*{0.05in} \begin{tabular}{l} Andreas Podelski\\ Max-Planck-Institut f\"ur Informatik\\ Im Stadtwald, D-66123 Saarbr\"ucken\\ {podelski@mpi-sb.mpg.de} \end{tabular} \vspace*{0.05in} % \vspace*{0.10in} \noindent {\bf Organizing Committee:} \vspace*{0.05in} \begin{tabular}{l} Alan Borning (University of Washington)\\ Alain Colmerauer (University of Marseille)\\ Eugene Freuder (University of New Hampshire)\\ Jean-Pierre Jouannaud (University of Paris Sud)\\ Jean-Louis Lassez (New Mexico Tech)\\ Ugo Montanari (University of Pisa)\\ Anil Nerode (Cornell University)\\ Vijay Saraswat (AT\&T Research)\\ Pascal Van Hentenryck (Brown University)\\ Ralph Wachter (Office of Naval Research) \\ \end{tabular} \vspace*{0.05in} %\vspace*{0.15in} \noindent {\bf Important dates:} \vspace*{0.05in} \begin{tabular}{ll} April 15, 1997 & Paper submissions\\ May 15, 1997 & Tutorial proposals\\ May 15, 1997 & Workshop proposals\\ June 15, 1997 & Acceptance notification\\ July 15, 1997 & Camera-ready copy due\\ October 29-31, 1997 & CP97 Main program\\ November 1, 1997 & Workshops \end{tabular} } %\end{parbox} \parbox[t]{5mm}{ % \rule[-20.7cm]{0.2mm}{21cm} \rule[-22.7cm]{0.2mm}{23cm} } %\end{parbox} %\begin{minipage}[t]{11.5cm}%{12.2cm} %\begin{minipage}[t]{10.5cm}%{12.2cm} \begin{minipage}[t]{10.0cm}%{12.2cm} \small %\parskip=4pt \noindent {\bf Scope of the conference:} Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The conference is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Contributions are welcome from any discipline concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. Contributions are welcome from any domain employing constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, program analysis, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, type inference, vision, visualization, user interfaces. Papers are especially welcome that bridge disciplines or combine theory and practice. \vspace*{0.16in} \noindent {\bf Conference venue:} CP97 will take place at Schloss\ Hagenberg, a medieval, renovated castle close to Linz, Austria, known as the site of the Research Institute for Symbolic Computation (RISC). \vspace*{0.16in} \noindent {\bf Paper submissions:} The submission deadline is April 15, 1997. Submission is by email (up to exceptions) according to the paper submission guidelines which are accessible via the CP97 web site \mbox{http://www.mpi-sb.mpg.de/conferences/CP97/}. Decisions on acceptance will be sent by June 15, 1997. Some submissions not accepted as papers may be offered presentation as posters, with an extended abstract (2 pages) in the proceedings. \vspace*{0.16in} \noindent {\bf Publication:} The proceedings will be published in the Springer LNCS series. Camera-ready copy will be due by July 15, 1997. The publication must not duplicate an earlier conference publication. Papers and posters must be presented at the conference by one of the authors. Authors of selected papers will be invited to submit revisions to a special issue of the {\small CONSTRAINTS} journal devoted to the conference. \vspace*{0.16in} {\bf Call for tutorials:} Several tutorials will be held during the conference. Proposals for two-hour tutorials should be sent to the Program Chair until May 15, 1997. \vspace*{0.16in} {\bf Call for workshop proposals:} There will be workshops on the last day of the conference. Proposals for one-day or half-day workshops should be sent to the Workshop Chair as soon as possible but no later than May 15, 1997. \vspace*{0.16in} {\bf Exhibition and sponsors:} Companies, publishers, agencies or organizations interested in exhibition space, or in becoming conference sponsors, should contact the Conference Chair. Researchers interested in providing computer demonstrations should contact the Program Chair. \vspace*{0.16in} \noindent {\bf Additional~information} will be posted, and will be available at the CP97 web site: \ http://www.mpi-sb.mpg.de/conferences/CP97/. \end{minipage} \pagebreak \begin{quote} \begin{center} {\Large\bf CP97 Paper Submission Guidelines} \end{center} \vspace*{0.16in} \noindent {\bf Format:} Papers should be written in 10-point font size with a text body of 12.2 x 19.3 cm. The page limit is 15 pages, including everything. \vspace*{0.16in} \noindent {\bf Submission:} The submission deadline is April 15, 1997. Submission is by email and must follow the following format: \begin{verbatim} To: cp97@ps.uni-sb.de Subject: submission <first author> <affiliation> <address> <email> <URL> % optional <second author> ... ... Corresponding: <corresponding author> Fax: <fax number of corresponding author> Abstract: <text of abstract> <paper in uuencoded compressed postscript> \end{verbatim} \noindent The first part of the message must be in plain text. The second part of the message must be uuencoded compressed postscript, which may be obtained with either of the following lines: \begin{verbatim} % gzip < paper.ps | uuencode paper.ps.gz > paper.uu % compress < paper.ps | uuencode paper.ps.Z > paper.uu \end{verbatim} \noindent Do not use attachments. \vspace*{0.16in} \noindent If submission by email is not possible, you may submit 6 copies of your paper by paper mail to the program chair. \vspace*{0.16in} \noindent {\bf Confirmation:} Paper submissions will be confirmed by email after we have succeeded printing the paper. We will try to do so within 48 hours. Please remain available until your submission has been confirmed, in case there are problems. \end{quote} \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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Wed Feb 26 15:36:21 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id PAA22292 for <dbworld@sea.cs.wisc.edu>; Wed, 26 Feb 1997 15:35:51 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id PAA11367 for dbworld; Wed, 26 Feb 1997 15:35:51 -0600 (CST) Date: Wed, 26 Feb 1997 15:35:51 -0600 (CST) From: olken@mh1.lbl.gov (Frank Olken) Message-Id: <199702262135.PAA11367@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu Joint Workshop on Metadata Registries Deadline Extended to March 14, 1997 PLEASE NOTE THAT THE DEADLINE FOR SUBMISSIONS HAS BEEN EXTENDED TO March 14, 1997. The Participation Intent Form is now available at the workshop homepage - given below. We are asking everyone planning to attend the workshop to fill out the form. This is to announce a workshop of invited participants on how to improve access to and sharing of data by harmonizing metadata standards and developing interoperable metadata registries accessible by the World Wide Web. A central goal of the workshop will be to develop detailed recommendations for registries of data element metadata and higher-level metadata (e.g., for schemas, models, and metamodels). The workshop will bring together researchers in formal methods (from the knowledge representation and database communities), and other researchers and practitioners from the database research, standards, metadata registry, middleware and database vendor, GIS, EDI, and digital library communities. Dates and Location: * July 8-11, 1997, Tuesday through Friday - 9:00 AM to 5:00 PM * Clark Kerr Campus Conference Center, University of California, Berkeley, California WWW Documents: * Preliminary Call for Participation http://www.lbl.gov/~olken/EPA/Workshop/call.html * Workshop Home Page http://www.lbl.gov/~olken/EPA/Workshop/index.html Key Dates: March 14, 1997 Papers/abstracts and Participation Intent Form due April 14, 1997 Program Committee Meeting (Berkeley, Calif.) April 18, 1997 Invitations issued June 8, 1997 Early registration fees due July 8-11, 1997 Workshop convenes =================================================================== ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Thu Feb 27 20:30:51 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id UAA21903 for <dbworld@sea.cs.wisc.edu>; Thu, 27 Feb 1997 20:30:45 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id UAA12920 for dbworld; Thu, 27 Feb 1997 20:30:44 -0600 (CST) Date: Thu, 27 Feb 1997 20:30:44 -0600 (CST) From: <gjohn@almaden.ibm.com> (George John) Message-Id: <199702280230.UAA12920@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu IBM DATA MINING ANALYST POSITIONS (please post/redistribute) Help! We're drowning in work! IBM needs 10 more analysts for its highly successful data mining group. Join our team of high-caliber PhD's in an exciting multi-faceted career in data mining: * Analyze data for customers using IBM's industry-leading data mining products * Interact directly with senior management at Fortune 500 companies * Teach data mining classes to our customers and develop course materials * Travel, see the world! (One member of our team just got back from Paris, another is heading to Australia for two weeks... these are not vacations, it's their job!) * Interact with researchers and product developers, discuss ideas for new data mining algorithms, new visualizations, and new features for our products * Assist sales reps in customer visits, be the "technical person" to answer hard questions * Work with the marketing group to help develop brochures, etc. * Attend trade shows and conferences, learn more about the industry and talk to customers * Use SQL/AWK/PERL/SAS to process data (ooh, the excitement!) The ideal candidate * has an excellent understanding of the data analysis process and has participated in several projects * is strongly technically proficient in at least some areas of data mining (background in statistics, machine learning, neural nets, or pattern recognition, or related), with a desire to learn more * has excellent communication and presentation skills * is a self-starter, good at quickly becoming a productive member of a team * is a fast learner, can quickly become an expert in a new industry and work with IBM consultants to productively apply data mining * has some unix skills, knows enough AWK and PERL to be self-sufficient in processing data * has a good sense of humor, fun to work with, enjoys taking co-workers out to dinner, insists on paying every time, etc... Positions are available for both senior applicants (professors, PhD's, MBA's, or 4+ years relevant business experience) and more junior members (MS, BS, less job experience). Salaries are competitive, and based on experience. The jobs are focused on business, but some amount of time spent on research may be negotiated. IBM's data mining group is growing quickly, and offers excellent career opportunities. For more information on data mining at IBM, see the webpage for IBM Global Business Intelligence Solutions (our parent organization) at http://www.ibm.com/bi Send resume to George H. John, gjohn@almaden.ibm.com. ASCII (plain text) via email is *strongly* preferred. Please put "DMJOBS-97:" then your name in the subject. Hardcopy may be sent to George H. John IBM Alamden Research Center 650 Harry Rd / D2 San Jose, CA 95120-6099 FAX: 408-927-2100 (put "Attn: George John" on cover sheet) IBM is an equal opportunity employer. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri Feb 28 21:19:07 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id VAA08957 for <dbworld@sea.cs.wisc.edu>; Fri, 28 Feb 1997 21:19:00 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id VAA13790 for dbworld; Fri, 28 Feb 1997 21:19:00 -0600 (CST) Date: Fri, 28 Feb 1997 21:19:00 -0600 (CST) From: DMKDPAR <dmkdpar@aig.jpl.nasa.gov> Message-Id: <199703010319.VAA13790@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu ============================================================================ CALL FOR PAPERS ============================================================================ DATA MINING AND KNOWLEDGE DISCOVERY Special Issue on Scalable High-Performance Computing for KDD Guest editors: Paul Stolorz and Ron Musick ========================================== http://www.research.microsoft.com/research/datamine/dmkdpar Traditional computational techniques and computer architectures are routinely overwhelmed by the sheer volume and complexity of information generated from data-gathering instruments, computational and experimental methodologies, and business operations. The fundamental problem of extracting knowledge and insight from massive databases and datasets is shared across a wide range of fields in business, academia and government. The new field of Data Mining and Knowledge Discovery in Databases (KDD) has arisen as an interdisciplinary response to this situation, merging ideas drawn from disciplines such as statistics, pattern recognition, machine learning, databases, visualization and high performance computing. This special issue of Data Mining and Knowledge Discovery is devoted to the challenge of applying data mining and knowledge discovery methods to large, complex datasets. Implementation of data mining ideas in high-performance computing environments is crucial for coping with large-scale data. In particular, parallel and distributed systems are needed to ensure system scalability as datasets grow inexorably in size and scope. These environments include dedicated massively parallel supercomputers, super-servers built from clusters of commodity workstations and high-speed network interfaces, and heterogeneous networks distributed over regional, national and global scales. High-performance and parallel computing holds the promise of scaling to large data sets, allowing the data mining component to search a much larger set of patterns and models than traditional computational platforms and algorithms would allow. In addition, it promises to render the KDD process much more interactive by allowing fast response times for difficult search and model fitting problems. Data Mining and Knowledge Discovery, published by Kluwer Academic publishers, is the flagship publication in the rapidly growing area of KDD. In this special issue we solicit the most dramatic new developments in high performance large-scale KDD applications, highlighting the promise of the technology and identifying the main challenges for the future. Technically innovative papers that describe new theoretical developments, or tackle the application of practical data mining approaches to real problems and datasets on parallel and distributed architectures, are solicited. Topics of interest include, but are not limited to, the intersection of KDD with the following fields: Parallel implementations of datamining & KDD methods: Classification and regression: e.g. decision trees, neural nets Pattern recognition Belief nets and other Bayesian approaches Genetic programming Association rules Statistical inference Similarity detection and measurement Clustering and density estimation Change-detection Text retrieval Content-based indexing Data visualization Trend Analysis Integration of KDD techniques with scalable I/O systems: Data warehouses & federated databases Parallel file systems High-performance network interfaces Intelligent data layout Out-of-core algorithms Parallel relational querying High performance storage systems Hierarchical and distributed storage Methods to control complexity: Random sampling Anytime algorithms applied to datamining techniques New complex data-type algorithms (eg. not based on feature vectors) Domain simplification techniques Inference error/confidence characterization Parallel, clustered and/or distributed applications: Datamining on commodity-based clusters and networks Web-oriented datamining Novel applications and case studies Knowledge discovery systems and tools SCOPE AND REVIEW CRITERIA Articles are solicited that deal with both theoretic and application- oriented approaches to handling the problems inherent in large-scale KDD. All submitted articles should be relevant to KDD, clearly indicating which aspect of large-scale KDD is being addressed. Papers should be clearly written and accessible to readers from several disciplines. A well-written, motivated introduction is especially important. Assumptions and limitations of the methods described must be discussed. Contributions must represent either a fundamental advance in algorithms and methods, or a novel application with clear roots in systematic principals. The scaling properties of algorithms and architectures with respect to problem size and complexity must be discussed, and where appropriate analysis of the throughput and latencies of the systems described. In addition to full-length papers (see below), short application summaries (1-3 pages) are also encouraged. All submissions will be reviewed on the basis of relevance, originality, significance, soundness and clarity. At least three referees will review each submission independently. Results of the review will be sent to the first author via email, unless otherwise requested. SUBMISSION INSTRUCTIONS Electronic submissions are STRONGLY ENCOURAGED. Postscript copies of papers may be emailed to dmkdpar@aig.jpl.nasa.gov. Latex style files and related instructions can be obtained at the web site http://www.research.microsoft.com/research/datamine. Submissions of full papers should be limited to at most 28 pages in 12pt font, 1.5 line-spacing. Electronic submissions will speed the review process significantly, however due to Kluwer requirements, authors must also submit hardcopy papers. All authors must submit (6) hardcopy papers as follows: five (5) hardcopies to: Ms. Karen Cullen, DATA MINING AND KNOWLEDGE DISCOVERY Editorial Office, Kluwer Academic Publishers, 101 Philip Drive, Norwell, MA 02061 phone 617-871-6600 fax 617-871-6528 email: kcullen@wkap.com one (1) hardcopy to: Dr Paul Stolorz Attn: DMKD Special Issue MS 525 3660 Jet Propulsion Laboratory 4800 Oak Grove Drive Pasadena CA 91109 USA In addition, an email message containing title, abstract, and keywords must be sent to dmkdpar@aig.jpl.nasa.gov and cc-ed to kcullen@wkap.com. Please use the electronic template available on the web. For those with no network access, please call Ms. Cullen with a request at 617-871-6600. The journal emphasizes fast dissemination of results and minimal backlogs in publication time. An electronic server will be made available by Kluwer containing accepted articles and will be accessible by subscribers to the journal. Authors are encouraged to make their data available via the journal web site, allowing papers to have an "electronic appendix" containing data and algorithms. =============== IMPORTANT DATES =============== ************************************** SUBMISSION DEADLINE: May 8, 1997 ACCEPTANCE NOTIFICATION: June 20, 1997 ************************************** Enquiries about the submission process and scope of the special issue may be sent to dmkdpar@aig.jpl.nasa.gov. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri Feb 28 21:20:34 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id VAA09021 for <dbworld@sea.cs.wisc.edu>; Fri, 28 Feb 1997 21:20:28 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id VAA13798 for dbworld; Fri, 28 Feb 1997 21:20:27 -0600 (CST) Date: Fri, 28 Feb 1997 21:20:27 -0600 (CST) From: "Teodor C. Przymusinski" <teodor@cs.ucr.edu> Message-Id: <199703010320.VAA13798@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS ILPS'97 Postconference Workshop LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION (LPKR'97) In conjunction with ILPS'97, Port Jefferson, N.Y., October 12-17, 1997 The development of machines that are able to reason and act intelligently is one of the most challenging and desirable tasks ever attempted by humanity. It is therefore not surprising that the investigation of techniques for representing and reasoning about knowledge has become an area of paramount importance to the whole field of Computer Science. Due to logic programming's declarative nature, and its amenability to implementation, it quickly became a prime candidate for a knowledge representation language. Impressive research progress of the past decade made the role of logic programming as a major knowledge representation tool even more apparent by establishing close relationships between logic programs, deductive databases and other non-monotonic reasoning formalisms. This impressive progress, coupled with the advent of low cost multiprocessor machines and significant advances in logic programming implementation techniques, now provides us with a great opportunity to bring to fruition computationally efficient implementations of extended logic programming and use it as a powerful knowledge representation tool. This is the third (after ICLP'94 and JICSLP'96) in a series of workshops which we are organizing in conjunction with Logic Programming conferences. However, as shown by the following list of suggested topics, its scope is significantly broader than the previous ones. The Program Committee will review extended abstracts rather than complete papers. They must be written in English, not to exceed 12 pages, and contain a cover page including a 200 word abstract with a list of keywords, postal and electronic addresses as well as phone and fax numbers of the contact author. LaTeX article-style (12pt) on 8.5'' x 11'' is appropriate (see http://www.springer.de/tex/help-tex.html for Guidelines in the LLNCS). Accepted papers must be presented at the workshop and are required to be withdrawn from other refereed conferences or workshops. Registration for the workshop will be handled by the organizers of ILPS'97 (see http://www.ida.liu.se/~ilps97/cfp.html). Send a compressed and uuencoded Postscript or DVI file with your submission by May 1, 1997} to each member of the organizing committee via e-mail (addresses are listed below). Authors will be notified of the acceptance or rejection of their papers by July 1, 1997. Final versions of the accepted papers must be received by August 15, 1997. The informal workshop proceedings will be available at the conference. We are planning to publish a regular Proceedings volume in the Springer LNAI-series. Besides extended versions of the accepted papers, workshop participants will be invited to submit additional papers for the Proceedings. All submitted papers will undergo a separate review process. ------------------------- DETAILED INFORMATION ---------------------------- PROGRAMME COMMITTEE: - Juergen Dix, University of Koblenz, Germany - Phan Minh Dung, Asian Institute of Technology, Bangkok, Thailand - Robert Kowalski, Imperial College, London, UK - Vladimir Lifschiz, University of Texas, USA - Jack Minker, University of Maryland, USA - Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal - Teodor Przymusinski, University of California, USA - Chiaki Sakama, Wakayama University, Japan - Mirek Truszczynski, University of Kentucky, USA - David Warren, SUNY at Stony Brook, USA ---------------------------------------------------------------------- SUGGESTED TOPICS: LP FUNCTIONALITIES: - abduction - communication - contradiction removal - declarative debugging - knowledge and belief revision - learning - reasoning about actions - updates LP INTEGRATIONS: - coupling knowledge sources - combining functionalities - logical agent architecture - multi-agents architecture LP LANGUAGE EXTENSIONS: - constructive default negation - disjunctive programs - default and epistemic extensions - metalevel programming - object-oriented programming - paraconsistency - reactive rules - strong and explicit negation LP APPLICATIONS TO KNOWLEDGE REPRESENTATION: - Heterogeneous databases - Model-based diagnosis - Modeling production systems - Planning - Reactive databases - Relations to non--monotonic formalisms - Software engineering LP IMPLEMENTATIONS: - Computational procedures - Implementations ---------------------------------------------------------------------- PAPER SUBMISSION: Send a compressed and uuencoded Postscript or DVI file to each member of the organizing committee: J. Dix <dix@informatik.uni-koblenz.de> L. Pereira <lmp@di.fct.unl.pt> T. Przymusinski <teodor@cs.ucr.edu> ---------------------------------------------------------------------- IMPORTANT DATES: Papers Due on: May 1, 1997 Author Notification: July 1, 1997 Final version Due on: August 15, 1997 ILPS'97-Conference: October 12-17, 1997 LPKR'97-Workshop: TBA ---------------------------- END --------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri Feb 28 21:25:40 1997 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id VAA09115 for <dbworld@sea.cs.wisc.edu>; Fri, 28 Feb 1997 21:25:32 -0600 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.7.6/8.7.3) id VAA13825 for dbworld; Fri, 28 Feb 1997 21:25:31 -0600 (CST) Date: Fri, 28 Feb 1997 21:25:31 -0600 (CST) From: Chandrabose ARAVINDAN <arvind@mailhost.uni-koblenz.de> Message-Id: <199703010325.VAA13825@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu ============================================================================ PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS International Workshop on Logic Programming and Multi-Agents sponsored by the EC activity KIT011-LPKRR and the CLN in conjunction with ICLP'97, Leuven, Belgium. July 8--12, 1997 ============================================================================ To understand the paradigm shift in computing from stand-alone computer systems to distributed systems based on the client-server architecture and the internet, new conceptual models for computing are needed. In particular, improved computational models of single agents and of multi-agents are necessary. We believe that computational logic and logic programming provide the useful conceptual and practical tools for developing and studying these models. The workshop will serve as a forum for disseminating research and experience in this important and fast advancing field. Topics of interest include but are not limited to: Interacting agents Meta logic programmming applied to multi agent programming Distributed reactive systems Cognitive robotics Applications: Integration of heterogeneous autonomous systems Software agents, agent oriented interface programming, real-time systems Relations between agent oriented programming and object-oriented programming Inductive logic programming for self-organizing agents The main focus of the workshop is on new and original research. But we also strongly encourage the submission of papers describing products and prototypes in development of multi-agent systems. 'Vision' papers discussing the potential of a marriage of computational logic, especially lp and multi-agents, are also welcome. We also would like to have panels to discuss issues in the potential application areas of multi-agents. ====================== WORKSHOP COORDINATORS: ====================== Phan Minh Dung (Thailand) Paolo Mancarella (Italy) ===================== ORGANIZING COMMITTEE: ===================== D. DeSchreye (Belgium) P.M. Dung (Thailand) T. Kakas (Cyprus) R. Kowalski (UK) P. Mancarella (Italy) ===================== PROGRAMME COMMITTEE : ===================== L. C. Aiello (Italy) L. DeRaedt (Belgium) D. DeSchreye (Belgium) P.M. Dung (Thailand) K. Fischer (Germany) M. Gelfond (USA) R. Kowalski (UK) T. Kakas (Cyprus) P. Mancarella (Italy) C. Palamidessi (Italy) L. M. Pereira (Portugal) D. Pearce (Germany) M. Shanahan (UK) Y. Shoham (USA) J. Siekmann (Germany) F. Toni (UK) G. Wagner (Germany) ================= IMPORTANT DATES : ================= Submission Deadline : May, 10, 1997 Notification : June, 10, 1997 Final Version ready : July, 1, 1997 Workshop : July, 12, 1997 ================= PAPER SUBMISSION: =================== A PostScript file not larger than 15 pages when printed, together with a separate PostScript file of the abstract not larger than 1 page, should be sent to: paolo@di.unipi.it ==================== FURTHER INFORMATION: ==================== Updated INFORMATION on the workshop is available at http://www.cs.kuleuven.ac.be/~iclp97/Multi ================ CONTACT ADDRESS: ================ Phan Minh Dung <dung@cs.ait.ac.th> Paolo Mancarella <paolo@di.unipi.it> ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------FOOTER-