Forwarded message from [hmchung(a)CSULB.EDU (H.M.Chung)] sent originally on Wed, 22 Dec 1999 19:17:45 -0800:
: Association for Information Systems
: 2000 Americas Conference on Information Systems (AMCIS 2000)
: August 10-13th, 2000, Long Beach, California
:
: Call for
: Mini-Track Proposals, Papers, Panels, Workshops, Tutorials, and
: Demonstrations
:
: The Association for Information Systems (AIS) is a professional
: organization whose mission is to advance knowledge of how the use of
: information technology can lead to improved organizational performance
: and individual quality of life. The AIS invites scholars and
: practitioners worldwide to participate in the program for the 2000
: Americas Conference on Information Systems (AMCIS 2000). The conference
: will cover the latest and important issues in Information Systems and to
: serve the research and teaching interests of the IS community.
:
: To facilitate the organization of topics and events at the conference,
: submissions will be accepted in three separate major tracks: Technology,
: Organization, and Learning. Each track will include the sessions on
: completed research and research-in-progress. Best papers will receive
: awards at the conference.
:
: Continuing a trend from prior conferences, each major track is organized
: as several mini-tracks. Mini-tracks represent an opportunity for
: researchers and practitioners to focus on well-defined topics of
: specific interest, and foster cohesive and interactive sessions. The
: list of currently accepted mini-tracks will be available at the
: conference web site, http://www.csulb.edu/conference/ais2000. Proposals
: for additional innovative mini-tracks are actively sought. Mini-track
: chairs will send messages about their topics on ISWORLD.
:
: Papers can be submitted directly to the mini-track chairs. Papers that
: do not fit into an existing mini-track can be submitted directly to the
: program chair at amcis2000(a)csulb.edu. The deadline for submitting
: papers is March 15th, 2000.
:
: In addition to research papers, the Conference seeks proposals for
: panels, curriculum development sessions, professional development
: sessions, tutorials, workshops, and technology demonstrations.
:
: A number of specialized events are planned as integral part of the
: conference, including Chief Information Officer Forum, MIS Camp, IS
: Journal Connection, Doctoral Consortium, IS Trivia Bowl, and Job
: Placement Service, among others will be offered.
:
: Conference Details are available at the AMCIS 2000 web site at
: http://www.csulb.edu/conference/ais2000 (See Call for Papers).
:
: Thank you and see you in Long Beach.
:
: General Chair Honorary Chair Program Chair
: K. Michael Goul Paul Gray H. Mihael Chung
:
: ***********************************************
: H. Michael Chung
: Department of Information Systems
: and
: Center for Information Systems Technologies (CIST)
: College of Business Administration
: California State University, Long Beach (CSULB)
: Long Beach, CA 90840-8506
: USA
:
: TEL (562) 985-7691
: FAX (562) 985-5543
: EMAIL hmchung(a)csulb.edu
: ***********************************************
:
: ===== Start of ISWorld List Footer =====
: ISWorld list is a service of the Association for Information Systems (AIS)
: (http://www.aisnet.org) hosted at University College Dublin. For archives,
: subscribing, or posting "norms" see http://www.isworld.org/isworldlist
: ===== End of ISWorld List Footer =====
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [Rose.Dieng(a)sophia.inria.fr] sent originally on Thu, 23 Dec 1999 14:28:41 +0100 (MET):
: Please accept our apologies if you receive multiple copies of this call.
: Please post forward to all your interested colleagues.
:
: - -------------------------------------------------------------------
:
: The URL is http://www.inria.fr/acacia/ekaw2000
:
: - -------------------------------------------------------------------
:
: CALL FOR PAPER for EKAW'2000
: 12th International Conference on Knowledge Engineering and Knowledge
: Management,
: Juan-les-Pins, French Riviera, October 2-6, 2000.
:
: EKAW'2000 (12th International Conference on Knowledge Engineering and
: Knowledge Management) aims at gathering researchers working on any area
: concerning methods, techniques and tools for the construction and the
: exploitation of knowledge-intensive systems and for knowledge management.
:
: Papers are welcome on the following topics (not exclusive):
:
: Languages and frameworks for knowledge engineering and knowledge
: management.
: Tools and techniques for knowledge engineering and knowledge management.
: Acquiring knowledge through machine learning, data-mining and knowledge
: discovery in databases.
: Knowledge management, enterprise modeling and corporate memories.
: Methods and techniques for reuse of knowledge and knowledge models, in
: particular related to the construction, use, and maintenance of supporting
: libraries of problem-solving methods and ontologies.
: Terminology, ontologies and knowledge acquisition from texts
: Knowledge engineering and knowledge management over the Internet.
: Exploitation of Intranet for knowledge engineering and knowledge
: management
: Integration of knowledge from different groups in an organization
: Knowledge sharing between different groups in an organization (possibly
: via Internet/Intranet)
: Cooperative (possibly WWW-based) building, adaptation and evolution of
: a corporate memory
: WWW-based repositories for sharable ontologies and reusable
: problem-solving methods
: WWW-based terminology servers
: Agent-oriented approaches to knowledge engineering and management.
: Use of knowledge engineering approaches for intelligent information
: integration, knowledge retrieval and meta-content descriptions.
: Evaluation of methods, techniques and tools for knowledge engineering
: and knowledge management.
:
: Submission Procedure
:
: Authors should submit by March 15, 2000, a full paper electronically either as
: a postscript, html or pdf file by emailing the corresponding URL. In addition,
: authors should submit an ascii version of their title page by email.
: Submission address : ekaw2000(a)sophia.inria.fr.
:
: Submission Format
:
: The first page of submitted papers should include: title, author names,
: affiliations, postal addresses, electronic mail addresses, telephone and fax
: numbers for all authors, and a brief abstract. All correspondence will be sent
: to the author designed as contact person in the electronic title page.
:
: Submissions should not exceed 6000 words and should be printed on A4 paper
: with at least 1 inch margins on all sides. Notice that authors using
: LaTeX may already use the Springer style files.
:
: International Program Committee of EKAW'2000
:
: Chairs and main organizers
:
: Rose DIENG, INRIA-Sophia-Antipolis (F)
: Rose.Dieng(a)sophia.inria.fr
: Olivier CORBY, INRIA-Sophia-Antipolis (F)
:
: Program Committee
:
: Stuart AITKEN, University of Glasgow (UK)
: Hans AKKERMANS, University of Twente (NL)
: Nathalie AUSSENAC, IRIT- CNRS Toulouse (F)
: Richard BENJAMINS, University of Amsterdam (NL)
: Jeff BRADSHAW , Boeing Corp. (USA)
: Joost BREUKER, University of Amsterdam (NL)
: John DOMINGUE, Open University (UK)
: Dieter FENSEL, Free University of Amsterdam (NL)
: Jean-Gabriel GANASCIA, LAFORIA-University Paris VI (F)
: Yolanda GIL, ISI, University of Southern California (USA)
: Asuncion GOMEZ-PEREZ, Universidad Politecnica de Madrid (ES)
: Nicola GUARINO, National Research Council (I)
: Udo HAHN, University of Freiburg (G)
: Frank van HARMELEN, Free University Amsterdam (NL)
: Rob KREMER, University of Calgary (CA)
: Franck MAURER, University of Calgary (CA)
: Riichiro MIZOGUCHI, Osaka University (JP)
: Martin MOLINA, Technical University of Madrid (ES)
: Enrico MOTTA, Open University (UK)
: Mark MUSEN, Stanford University (USA)
: Enric PLAZA I CERVERA , Spanish Scientific Research Council, CSIC (ES)
: Ulrich REIMER, Swiss Life (CH)
: Chantal REYNAUD, University of Nanterre, University of Paris-Sud (F)
: François ROUSSELOT, LIIA-ENSAIS, University of Strasbourg (F)
: Marie-Christine ROUSSET, University of Paris-Sud (F)
: Franz SCHMALHOFER, DFKI, Kaiserslautern (G)
: Guus SCHREIBER, University of Amsterdam (NL)
: Nigel SHADBOLT, University of Southampton (UK)
: Derek SLEEMAN, University of Aberdeen (UK)
: Rudi STUDER, University of Karlsruhe (G)
: Jan TREUR, Free University Amsterdam (NL)
: Andre VALENTE, ISI, University of Southern California (USA)
: Thomas WETTER, University of Heidelberg (G)
:
: Organization committee
:
: Olivier CORBY, INRIA-Sophia-Antipolis, F
: Rose DIENG, INRIA-Sophia-Antipolis, F
: Monique SIMONETTI, INRIA-Sophia-Antipolis, F
:
: Important dates
:
: Submission deadline: March 15, 2000
: Notification of acceptance: May 1, 2000
: Camera ready copy and author registration: June 15, 2000
: Conference: October 2-6, 2000
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [plb(a)cs.cmu.edu (Peter Brusilovsky)] sent originally on Mon, 20 Dec 1999 00:44:28 -0500:
: For those interested in a special issue of NRHM on aaptive
: hypermedia: the published now has a page with information about the
: joirnal and the subscription.
:
: http://www.taylorgraham.com/journals/nrhyp.html
:
: The original posting about the special issue is enclosed.
:
: P.B.
:
: ---------------------
: The special issue of The New Review of Hypermedia and Multimedia on
: Adaptive Hypermedia is published. It turned out to be a really great
: collection of papers. A number of nice systems previously known from
: small workshop papers are now described in full details. Do not miss
: it!
:
: Below is the information about the special issue and the subscription
: information. As you will see, it's actually a double special issue
: with two key topics. However, all papers except last three are 100%
: adaptive hypermedia.
:
: If you have no chances to get this nice journal, you could try to get
: some papers from their authors.
:
: Regards,
:
: Peter Brusilovsky
:
: THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA, Volume 4, 1998.
:
: Adaptivity and user modelling in hypermedia systems
: Guest Editors: Peter Brusilovsky and Maria Milosavljevic
:
: Hypermedia for museums and cultural heritage
: Editors: Douglas Tudhope and Daniel Cunliffe
:
: Conversation in the museum: experiments in dynamic hypermedia with the
: intelligent labelling explorer
: Jon Oberlander, Mick O'Donnell, Chris Mellish, and Alistair Knott
:
: Hypernavigation in the physical space: adapting presentations to the user
: and to the situational context (Technical Note)
: Elena Not, Daniela Petrelli, Marcello Sarini, Olivieri Stock, Carlo
: Strapparava and Massimo Zancanaro
:
: Con-textual navigation support
: Sabine Geldof
:
: The dynamic generation of hypertext presentations of medical guidelines
: Berardina De Carolis, Fiorella de Rosis, Chiara Andreoli, Vincenzo Cavallo and
: M. Luisa De Cicco
:
: Toward an adaptive WWW: a case study in customised hypermedia
: Kathryn F. Gates, Pamela B. Lawhead and Dawn E. Wilkins
:
: AHA! An open Adaptive Hypermedia Architecture
: Paul DE Bra and Licia Calvi
:
: ACE - Adaptive Courseware Environment
: Marcus Specht and Reinhard Oppermann
:
: Adaptable and adaptive information provision for all users, including
: disabled and elderly people
: Josef Fink, Alfred Kobsa and Andreas Nill
:
: A system to restructure hypertext networks into valid user models
: Johan Bollen and Francis Heylighen
:
: On the subject of Intellectual Property Rights (IPR), including copyright -
: a help and a hindrance to cultural heritage?
: Jeremy Rees
:
: Aquarelle to Z39.50: the A to Z of access to cultural heritage
: information (Technical Note)
: David Dawson
:
: SCRAN and its users (Technical Note)
: Ian O. Morrison
:
: ______________________________________________________________________________
:
: The New Review of Hypermedia and Multimedia is published annually. Price of
: Volume 4, 1998, to include postage and handling: 70.00(sterling)/US$130.00
: (US dollars).
: Copies are sent by airmail. Order from: Taylor Graham Publishing, 500
: Chesham House, 150 Regent St, London W1R 5FA, UK. Back issues are
: available. For details, go to: http://www.comp.glam.ac.uk/~NRHM
:
: ______________________________________________________________________________
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [schmidt(a)cis.ksu.edu] sent originally on Mon, 20 Dec 1999 18:32:02 +0800 (GMT-8):
: *****************************************************************
: * *
: * Second Call For Papers *
: * *
: * INTERNATIONAL STATIC ANALYSIS SYMPOSIUM (SAS2000) *
: * *
: * Co-located with and immediately following LICS2000 *
: * *
: * University of California, Santa Barbara *
: * 29 June-1 July, 2000 *
: * *
: * http://www.cis.ksu.edu/santos/sas/ *
: * *
: *****************************************************************
:
: Static Analysis is increasingly recognized as a fundamental
: technique for high performance implementations and verification
: systems of high-level programming languages. The series of
: Static Analysis Symposia has served as the primary venue for
: presentation of advances in the area. Previous symposia were
: held in Venice, Pisa, Paris, Aachen, Glasgow, and Namur.
:
: The Seventh International Static Analysis Symposium (SAS2000)
: will be at the same location as and immediately following the
: IEEE Logic in Computer Science Conference (LICS2000; see
: http://www.cs.bell-labs.com/who/libkin/lics/). Both LICS and SAS
: will be held at the Conference Center of the University of
: California, Santa Barbara, which is situated on the beaches of
: the Pacific Ocean (http://www.ucsb.edu/).
:
: The technical program for SAS2000 will consist of invited
: lectures, presentations of refereed papers, and software
: demonstrations. The invited speakers are
: Matthias Felleisen (Rice University, USA)
: Daniel Jackson (MIT, USA)
: Andreas Podelski (Max-Planck, Germany).
:
: Contributions are welcome on all aspects of Static Analysis,
: including, but not limited to:
: abstract interpretation data flow analysis
: complexity analysis theoretical frameworks
: optimizing compilers verification Systems
: program specialization type inference
: model checking abstract domains.
:
: Submissions can address any programming paradigm, including
: concurrent, constraint, functional, imperative, logic and
: object-oriented programming. Survey papers that present some
: aspect of the above topics with a new coherence are also welcome.
:
: Submitted papers must not substantially overlap with papers that
: have been published or that are simultaneously submitted to a
: journal or a conference with a refereed proceedings.
:
: Submitted papers must be written in English and print on USA
: 8.5x11-inch paper. Papers should be at most 15 pages excluding
: the bibliography and well-marked appendices, and at most 25 pages
: total. Papers should use at least an 11-point font, single
: column format, and reasonable margins on 8.5x11-inch paper.
: Program committee members are not required to read any
: appendices, and so a paper should be intelligible without them.
:
: Submitted papers must on the first page contain an abstract
: and postal and electronic mailing addresses for at least one of
: the authors. Submissions should arrive by January 15, 2000.
: All submissions must be done electronically; details for
: electronic submission will be posted at the conference's web page,
: http://www.cis.ksu.edu/santos/sas/.
:
: Authors will be notified of the acceptance or rejection of their
: papers by March 13, 2000. Final versions of the accepted papers
: must be received in camera-ready form by April 10, 2000. The
: proceedings will be published by Springer-Verlag in the series
: Lecture Notes in Computer Science. Authors of accepted papers
: should read the LNCS Authors Instructions at
: http://www.springer.de/comp/lncs/authors.html
:
: Regularly updated information about SAS2000 can be found at this
: URL: http://www.cis.ksu.edu/santos/sas/
:
: Important Dates:
:
: Submission: January 15, 2000.
: Notification: March 13, 2000.
: Final Version: April 10, 2000.
:
: General Chair:
:
: David Schmidt
: Computing and Information Sciences Dept.
: Kansas State University
: Manhattan, KS 66506, USA
: +1-785-532-6350
: schmidt(a)cis.ksu.edu
:
: Program Chair:
:
: Jens Palsberg
: Purdue University
: Dept of Computer Science
: W Lafayette, IN 47907, USA
: +1-765-494-6012
: palsberg(a)cs.purdue.edu
:
: Program Committee:
:
: Patrick Cousot (Ecole Normale Superieure, Paris)
: Gilberto File (Padova University, Italy)
: Roberto Giacobazzi (Universita di Verona, Italy)
: C. Barry Jay (University of Technology, Sydney)
: Thomas Jensen (IRISA/CNRS, France)
: Neil D. Jones (DIKU, Denmark)
: Jens Palsberg (Purdue University, USA)
: David Sands (Chalmers University of Technology and Goteborg University)
: David Schmidt (Kansas State University, USA)
: Scott Smith (The Johns Hopkins University, USA)
: Bernhard Steffen (University of Dortmund, Germany)
: Pascal Van Hentenryck (Brown University, USA and Univ. Catholique de Louvain)
: Joe Wells (Heriot-Watt University, Scotland)
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [havelund(a)ptolemy.arc.nasa.gov] sent originally on Mon, 20 Dec 1999 18:41:46 +0800 (GMT-8):
: =====================================
: *** Apologies for multiple copies ***
: =====================================
:
: Preliminary Call for Papers and Other Contributions
:
: SPIN'2000
:
: The 7th International SPIN Workshop on
: Model Checking of Software
:
: Stanford University
: California, USA
:
: August 30-31, September 1
: Year 2000
:
: http://ase.arc.nasa.gov/spin2000
:
: Objectives
: ==========
:
: The SPIN workshop is a forum for researchers interested in the broad
: subject of model checking technologies for analysis and verification
: of asynchronous concurrent/distributed systems. Within the last couple
: of years, a renewed interest in program verification has emerged, and
: this year's workshop has a special emphasis on this subject. Several
: attempts have recently been made to use SPIN for model checking
: various programming languages, amongst them C, and object oriented
: languages such as C++ and Java. Even a mainly graphical design
: language such as UML raises the issue of program verification since
: UML designs can contain code fragments, and can evolve into fully
: fledged programs.
:
: This new trend brings new challenges into focus, such as dealing with
: object oriented dynamic memory allocation and garbage collection,
: program libraries, and, last but not least, an increased state space
: to explore. These problems require new approaches, amongst them
: perhaps the most challenging being how to deal with really big state
: spaces. Techniques to deal with this include for example static
: analysis, abstraction, guided search, and intelligent testing
: techniques in between complete state space exploration such as model
: checking on the one hand, and partial search, such as simulation on
: the other.
:
: Submissions (theoretical as well as practical) addressing software
: verification are encouraged, but this is absolutely not a requirement.
: Contributions do not have to build on SPIN, and can describe similar
: or comparable technologies.
:
: Co-located with FMOODS
: ======================
:
: The workshop takes place in the week before the FMOODS conference:
: IFIP TC6/WG6.1 Third International Conference on Formal Methods for
: Open Object-Based Distributed Systems, which occurs September 6-8 at the
: same place. See: http://www.ics.uci.edu/~fmds2000.
:
: Solicited Contributions
: =======================
:
: Papers
: ------
:
: Papers must describe original work that is not submitted or accepted
: for publication elsewhere. Topics of interest include, but are not
: limited to, the following:
:
: - Algorithms
: - Storage methods
: - Temporal logic
: - Extensions of model checking languages and tools
: - Analysis and verification of software
: - Abstraction
: - Static analysis
: - Guided model checking
: - Automated testing
: - Relationship between model checking and testing
: - Relationship between model checking and other formal methods
: - Environment generation
: - Modularity, hierarchy, object orientation and refinement
: - Methodologies for model checking designs versus programs
: - Significant or unusual practical applications of model checking
: - Corporate impact and benefits of model checking techniques
: - Analyses and comparative studies of model checking tools
: - Real-time
:
: Tutorials and short courses
: ---------------------------
:
: Proposals should consist of an abstract of at least one page, to be
: published. Longer papers are allowed.
:
: Tool Demonstrations
: -------------------
:
: The workshop will allow presentations of tools as part of the
: sessions. Submissions of proposals should consist of a short paper up
: to 4 pages which will be published if accepted. As informal
: information for the purpose of evaluation it is in addition allowed
: that a more detailed description of the tool and its capabilities be
: sent. This will not be published, and can hence be rather informal;
: for example, an already existing manual.
:
: Invited Speakers
: ================
:
: A collection of invited speakers will give presentations. These are still to
: be announced.
:
: Important Dates
: ===============
:
: May 1, 2000 : Deadline for submission of contributions
: June 5, 2000 : Notification of acceptance
: June 26, 2000 : Camera-ready copy (postscript) for proceedings due
:
: Submissions and Publication
: ===========================
:
: Papers, no longer than 20 pages, can be submitted by email in
: postscript format to:
:
: havelund(a)ptolemy.arc.nasa.gov
:
: It is intended to publish selected papers, edited tutorial materials
: and tool descriptions as proceedings in a volume of Springer-Verlag's
: Lecture Notes in Computer Science series. Therefore final camera-ready
: copies (and not necessarily first submissions) will be required in
: LNCS format, see http://www.springer.de/comp/lncs/Authors.html.
:
: Workshop Organization
: =====================
:
: Klaus Havelund (NASA Ames Research Center,RECOM) havelund(a)ptolemy.arc.nasa.gov
: Gerard Holzmann (Bell Labs) gerard(a)research.bell-labs.com
: John Penix (NASA Ames Research Center) jpenix(a)ptolemy.arc.nasa.gov
: Willem Visser (NASA Ames Research Center,RIACS) wvisser(a)ptolemy.arc.nasa.gov
:
: Program Committee
: =================
:
: - Dennis Dams (Eindhoven University, Holland)
: - David Dill (Stanford University, USA)
: - Orna Grumberg (The Technion, Israel)
: - John Hatcliff (Kansas State University, USA)
: - Bengt Jonsson (Uppsala University, Sweden)
: - Kim Larsen (Aalborg University, Denmark)
: - Stefan Leue (University of Waterloo, Canada)
: - Doron Peled (Bell Labs/CMU, USA)
: - Natarajan Shankar (SRI, USA)
: - Moshe Y. Vardi (Rice University, USA)
: - Pierre Wolper (Universite de Liege, Belgium)
:
: Electronic Information
: ======================
:
: Workshop email address : havelund(a)ptolemy.arc.nasa.gov
: Workshop homepage : http://ase.arc.nasa.gov/spin2000
: NASA Ames homepage : http://ase.arc.nasa.gov
: SPIN homepage : http://netlib.bell-labs.com/netlib/spin/whatispin.html
: (includes information about previous workshops)
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [Jim.Woodcock(a)comlab.ox.ac.uk] sent originally on Mon, 20 Dec 1999 18:46:02 +0800 (GMT-8):
: Dear colleague,
:
: Please find attached a copy of the call for papers for a conference in
: Tokyo. I hope that you might find it interesting.
:
: I apologise if you receive this message more than once.
:
: Best regards,
:
: Jim Woodcock
:
: -----------------------------------------------------------
: SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF
: COMPLEX COMPUTER SYSTEMS (ICECCS 2000)
:
: Boissonade Tower, Ichigaya Campus, Hosei University, Tokyo, Japan
: September 11-15, 2000
:
: Sponsored by: IEEE Computer Society and the IEEE Technical Committee on
: Complexity in Computing
:
: In cooperation with: Information Processing Society of Japan
: Institute of Electronics, Information and Communication
: Engineers of Japan (IEICE)
: Software Engineering Association of Japan
:
: Supported by: IEICE Communications Society Technical Committee on
: Network Revolution and Software (approval pending)
:
: Invited speakers: John A. McDermid, University of York, UK
: Tosiyasu L. Kunii, Hosei University, Japan
: David Notkin, University of Washington, USA
:
: DESCRIPTION: IEEE Computer Society's Sixth International Conference on
: the Engineering of Complex Computer Systems (ICECCS 2000) is to be held in
: Boissonade Tower, Ichigaya Campus, Hosei University, Tokyo, Japan.
:
: SCOPE: Complex computer systems are common in many sectors, such as
: manufacturing, communications, defense, transportation, aerospace,
: hazardous environments, energy, and health care. These systems are
: frequently distributed over heterogeneous networks, and are driven by many
: diverse requirements on performance, real-time behavior, fault tolerance,
: security, adaptability, development time and cost, long life concerns, and
: other areas. Such requirements frequently conflict, and their satisfaction
: therefore requires managing the trade-off among them during system
: development and throughout the entire system life.
:
: The goal of this conference is to bring together industrial, academic, and
: government experts, from a variety of user domains and software disciplines,
: to determine how the disciplines' problems and solution techniques interact
: within the whole system. Researchers, practitioners, tool developers and
: users, and technology transition experts are all welcome. The scope of
: interest includes long-term research issues, near-term complex system
: requirements and promising tools, existing complex systems, and
: commercially available tools.
:
: TOPIC AREAS:
:
: Papers are solicited in all areas related to complex computer-based
: systems, including the causes of complexity and means of avoiding,
: controlling, or coping with complexity. Topic areas include, but are not
: limited to:
: - - System and Software Architecture and Systems Engineering
: - - Tools, Environments, and Languages for Complex Systems
: - - Complex Data Management, including Distributed, Real-Time, and Mobile
: Databases
: - - Formal Methods and Approaches to Achieving Dependability in Complex
: Systems
: - - Integration of Heterogeneous Technologies
: - - Software and System Development Processes for Complex Systems
: - - Human Factors and Collaborative ("Groupware") Aspects
: - - Interoperability and Standardization
: - - System and Software Safety and Security
:
: SESSION ORGANIZATION: Different kinds of contributions are sought,
: including research papers, lessons learned, status reports, and discussion
: of practical problems faced by industry and user domains. The ultimate goal
: is to build a rich and comprehensive conference program that can fit the
: interests and needs of different classes of attendees: professionals,
: researchers, managers, and students. A program goal is to organize several
: sessions that include both academic and industrial papers on a given topic
: and culminate panels to discuss relationships between industrial
: and academic research.
:
: PAPER SUBMISSIONS: Papers are divided into two categories: Technical
: Papers and Industrial Experience Reports. The papers submitted to both
: categories will be reviewed by program committee members, and papers accepted
: in either category will be published in the conference proceedings. Technical
: papers should describe original research, and industrial experience reports
: should describe practical projects carried out in industry, and
: reflect on the lessons learnt from them. Submitted manuscripts should be in
: English and no longer than 5000 words or 20 double-spaced pages. Each
: submission should include submission category, a cover page containing title,
: all authors' names, affiliations, and complete mail and electronic mail
: addresses, together with a maximum 200 word abstract and keyword list.
:
: Authors of accepted papers must sign a copyright release form. IEEE
: Computer Society Press will publish the proceedings. Final versions of
: accepted papers will be limited to 11 pages in the IEEE proceedings format
: described at http://computer.org/cspress/instruct.htm.
:
: SUBMISSION FORM: Electronic submission is encouraged, but hardcopy
: submissions will also be accepted. Electronic submissions may be in PDF or
: portable PostScript only; word processor files will not be accepted.
: If the authors are not able to submit electronically, 6 paper copies may be
: submitted. All submissions, electronic or paper, are to be submitted to
: the Publication Chair:
:
: Masahiro Yamamoto
: The Faculty of Intercultural Communication, Hosei University
: 2-17-1 Fujimi-cho Chiyoda-Ku, Tokyo, 102-8160, Japan
: Email: yamamoto(a)i.hosei.ac.jp
:
: PANEL PROPOSALS: Panel proposals (maximum 2 pages) should describe the
: topic and format, and include a list of panelists who have agreed to
: participate if the panel is accepted. Panel proposals should be submitted
: by electronic mail to yamamoto(a)i.hosei.ac.jp.
:
: SPECIAL SESSIONS: Special sessions on various focused topics will be
: organized at ICECCS 2000. If you are interested in organizing a special
: session please send a proposal including an outline of a topic, number of
: papers, etc. to SPECIAL SESSION CHAIR. All papers
: related to your session will be sent to you after due date for
: submission. You will be responsible for selecting the papers based on
: three independent reviews and chairing special session at ICECCS 2000.
: 2 page abstracts of the accepted papers will be included in the conference
: proceedings. The Network Software Workshop will be planned as a
: special session of ICECCS 2000. The proceedings of the Network Software
: Workshop will be freely distributed to all participants of ICECCS 2000.
: The details of this workshop can be seen in
: http://www.ieice.or.jp/cs/nswj.
:
: POSTER PRESENTATIONS: Poster presentations are encouraged for people who
: wish to receive peer feedback, and practical examples of applied research are
: particularly welcome. Papers are sent to EXHIBITS CHAIR. Poster sessions
: will allow the presentation and discussion of respective papers. 2
: page abstracts of the selected papers will also be included in the conference
: proceedings.
:
: INDUSTRIAL EXHIBITS: ICECCS 2000 will provide industrial exhibitors an
: opportunity to present their state-of-the-art systems, development tools,
: and applications. This opportunity will also allow exhibitors to exchange
: ideas with leading researchers from all around the world, and to make new
: contacts for future interactions or consulting. Proposals for exhibits are
: sent to EXHIBITS CHAIR.
:
: TUTORIALS: Proposals should be submitted to TUTORIAL CHAIR.
:
: IMPORTANT DATES (In the year 2000):
:
: January 31 - Deadline for submission of special session proposals.
: March 27 - Deadline for submission of papers, panel proposals, and tutorial
: proposals.
: May 10 - Deadline for submission of proposals for exhibits.
: May 31 - Notification of acceptance or rejection.
: June 30 - Deadline for receipt of accepted papers in final, camera-ready
: form.
:
: The ICECCS conference series can be monitored via WWW at
: http://www.polimi.it/iceccs2000 or http://www.cs.uoregon.edu/iceccs2000 or
: on the IEEE Computer Society home page at http://www.computer.org.
:
: ICECCS 2000 CONFERENCE ORGANIZING COMMITTEE:
:
: General Chair:
: Kenji Ohmori
: Faculty of Information Sciences, Hosei University
: 3-7-2 Kajino-cho Koganei-shi, Tokyo 184, Japan
: Email: ohmori(a)k.hosei.ac.jp
: Phone: +81-423-87-6349
: Fax: +81-423-87-6126
:
: Vice Chair:
: Mike Hinchey
: University of Nebraska-Omaha
: Department of Computer Science
: College of Information Science & Technology
: 6001 Dodge Street, Omaha, NE 68182-0500, USA
: E-mail: Michael_Hinchey/IST/UNO/UNEBR(a)unomail.unomaha.edu
:
: Program Chairs
:
: Shaoying Liu
: Department of Computer Science
: Faculty of Information Sciences
: Hiroshima City University
: 4-1, 3-chome, Ozuka-higashi, Asaminami-Ku
: Hiroshima 731-3194, Japan
: Phone: 81-82-830-1613
: Fax: 81-82-830-1613
: Email: shaoying(a)cs.hiroshima-cu.ac.jp
:
: Jim Woodcock
: Oxford University Software Engineering Centre
: Computing Laboratory
: Wolfson Building, Parks Road
: Oxford OX1 3QD, U.K.
: Fax: +44 (0) 1865 273839
: Tel: +44 (0) 1865 283514
: E-mail: Jim.Woodcock(a)comlab.ox.ac.uk
:
: Alexander D. Stoyen
: University of Nebraska-Omaha
: Department of Computer Science
: College of Information Science & Technology
: 6001 Dodge Street, Omaha, NE 68182-0500, USA
: Tel: +1-402-554-2423 (department)
: Fax: +1-402-554-2975
: Email: Alex_Stoyen/IST/UNO/UNEBR(a)unomail.unomaha.edu
:
: Publication and Publicity Chairs
:
: Masahiro Yamamoto
: The Faculty of Intercultural Communication, Hosei University
: 2-17-1 Fujimi-cho Chiyoda-Ku, Tokyo, 102-8160, Japan
: Email: yamamoto(a)i.hosei.ac.jp
:
: Luciano Baresi
: Politecnico di Milano, Italy
: Email: baresi(a)elet.polimi.it
:
: Tutorials Chair
:
: Yoshiaki Kakuda
: Faculty of Information Sciences
: Hiroshima City University
: 4-1, 3-chome, Ozuka-higashi, Asaminami-Ku
: Hiroshima 731-3194, Japan
: Email: kakuda(a)ce.hiroshima-cu.ac.jp
:
: Exhibits Chair
:
: Toshiyuki Nakata
: NEC Corporation
: 4-1-1 Miyazaki, Miyamaeku
: Kawasaki, Kanagawa, Japan
: Email: nakata(a)csl.cl.nec.co.jp
:
: Local Arrangement
:
: Chair:
:
: Masahiro Yamamoto, Hosei University, Japan
:
: Members:
:
: Hiromu Hayashi, Fujitsu Laboratories LTD., Japan
: Shinichi Honiden, Toshiba Corporation, Japan
: Sachiko Kawachiya, Hosei University, Japan
: Toshiyuki Nakata, NEC Corporation, Japan
: Yoshiaki Ohshima, Hosei University, Japan
: Akinao Soneoka, NTT DATA Corporation, Japan
: Kenji Suzuki, KDD R&D Laboratories Inc., Japan
:
: Special Session Chair
:
: Tetsuo Tamai
: College of Arts and Sciences
: University of Tokyo
: 3-8-1 Komaba, Meguro-ku, Tokyo, Japan
: Email: tamai(a)graco.c.u-tokyo.ac.jp
:
: Steering Committee Chair:
:
: Alexander D. Stoyen
: University of Nebraska-Omaha
: College of Information Science & Technology
: 6001 Dodge Street, Omaha, NE 68182-0500, USA
:
: Program Committee
:
: Kiyoshi Agusa, Nagoya University, Japan
:
: Sten F. Andler, University of Skovde, Sweden
:
: Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics,
: China
:
: Ana Cavalcanti, Federal University of Pernambuco, Brazil
:
: Jingde Cheng, Saitama University, Japan
:
: Dan Craigen, ORA, Canada
:
: Jin Song Dong, National University of Singapore
:
: John Fitzgerald, University of Newcastle upon Tyne, UK
:
: Hassan Gomaa, George Mason University, USA
:
: John Harauz, Ontario Power Generation Inc., Canada
:
: Chris Ho-Stuart, Queensland University of Technology, Australia
:
: Yoshiaki Kakuda, Hiroshima City University, Japan
:
: Jun Matsuda, ATR Adaptive Communications Research Laboratories, Japan
:
: Joseph Ng, Hong Kong Baptist University, China
:
: Hideo¡¡Miyahara, Osaka University, Japan
:
: Koichiro Ochimizu, JAIST, Japan
:
: Takahiko Ogino, Railway Technical Research Institute, Japan
:
: Kazuo Iwano, IBM Tokyo Research Laboratory, Japan
:
: Tomase Janowski, UNU/IIST, Macau
:
: Kung-Kiu Lau, University of Manchester, UK
:
: Peter Lindsay, University of Queensland, Australia
:
: Tadashi Ohta, Soka University, Japan
:
: Mauro Pezze, Politecnico di Milano, Italy
:
: Jonas Mellin, University of Skovde, Sweden
:
: Huaikou Miao, Shanghai University, China
:
: Jeff Offutt, George Mason University, USA
:
: Alessandro Orso, Politecnico di Milano, Italy
:
: Peter T. Poon, Jet Propulsion Laboratory, USA
:
: Juan Antonio de la Puente, Universidad Politecnica de Madrid, Spain
:
: Jose Salinas, Texas A&M University, USA
:
: Jean-Jacques Schwarz, University of Lyon, France
:
: Etsuya Shibayama, Tokyo Institute of Technology, Japan
:
: Timothy K. Shih, Tamkang University, Taiwan
:
: Jacques Skubich, Institut National des Sciences Appliquees, France
:
: Yasuhiro Sugiyama, Nihon University, Japan
:
: Ichiro Suzuki, University of Wisconsin-Milwaukee, USA
:
: Tetsuo Tamai, Tokyo University, Japan
:
: Yuzuru Tanaka, Hokkaido University, Japan
:
: Kenji Toda, Electrotechnical Laboratory, Japan
:
: Kazunori Ueda, Waseda University, Japan
:
: Xuequn Wu, DeTeCSM, Germany
:
: Yoshinori Yamaguchi, Tsukuba University, Japan
:
: Naoki Yonezaki, Tokyo Institute of Technology, Japan
:
: Michal Young, University of Oregon, USA
:
: Toshitsugu Yuba, University of Electro-Communications, Japan
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [henz(a)comp.nus.edu.sg] sent originally on Mon, 20 Dec 1999 19:06:37 +0800 (GMT-8):
: Sixth International Conference on
: Principles and Practice of Constraint Programming
:
: September 18-22, 2000, Singapore
:
: http://www.comp.nus.edu.sg/~cp2000
:
: CALL FOR PAPERS
:
: 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. We
: also solicit papers from any domain employing constraints, including:
: computational linguistics, configuration, decision support, design,
: diagnosis, graphics, hardware verification, molecular biology,
: planning, qualitative reasoning, real-time systems, resource
: allocation, robotics, scheduling, software engineering, temporal
: reasoning, vision, visualization, user interfaces. Papers that bridge
: disciplines or combine theory and practice are especially welcome.
:
: Important dates
:
: Submissions of abstracts: March 11, 2000
: Submissions of papers: March 15, 2000
: Notification of acceptance: May 15, 2000
: Camera-ready papers due: June 30, 2000
:
: Submissions
:
: Papers must be original and not submitted for publication elsewhere.
: Research papers can be up to 15 proceedings pages, and poster papers
: can be up to 5 pages. Submission should be done by sending two emails
: to cp2000(a)ics.uci.edu
:
: The first email (to be received by March 11) should have the subject
: "CP2000 Abstract: " followed by the paper title. The body of this
: first email should contain the title, authors and a short abstract of
: the paper, all in plain text. The second email (by March 15) should
: have subject "CP2000 Paper: " followed by the paper title. The body
: of this second email should contain a postscript file. All authors
: must be prepared to send a hardcopy by fast airmail upon request.
:
: For authors who are unable to submit electronically, five paper copies
: can be mailed to the program chair, to arrive on or before the
: submission deadline.
:
: Publication
:
: The proceedings will be published by Springer Verlag in the Lecture
: Notes in Computer Science series. A special issue of the Constraints
: journal (Kluwer Academic Publishers) is planned, based on selected
: papers.
:
: Workshops and Tutorials
:
: Workshops and tutorials are planned for Friday, September 22, 2000.
: Workshop and tutorial proposals can be submitted to the workshop chair
: (to be announced) by approximately February 15, 2000. Details will be
: available soon.
:
: Conference Chair
:
: Roland Yap
: School of Computing
: National University of Singapore
: S16, Level 5, 3 Science Drive 2
: Singapore 117543, Republic of Singapore
: Phone: +65 874-2972
: Fax: +65 779-4580
: ryap(a)comp.nus.edu.sg
:
: Program Chair
:
: Rina Dechter
: Information and Computer Science
: University of California, Irvine, USA
: Phone: +1 (949) 824-6556
: Fax: +1 (949) 824-4056
: dechter(a)ics.uci.edu
: cp2000(a)ics.uci.edu
:
: Program Committee
:
: To Be Announced
:
: Workshop Chair
:
: To Be Announced
:
: Organizing Committee
:
: A. Borning (Univ. of Washington),
: A. Brodsky (George Mason University),
: J. Cohen (Brandeis Univ.),
: A. Colmerauer (Univ. of Marseille),
: E. Freuder, chair (Univ. of New Hampshire),
: H. Gallaire (Xerox),
: J. Jaffar (National University of Singapore),
: J.-P. Jouannaud (Univ. of Paris Sud),
: J.-L. Lassez (New Mexico Tech),
: M. Maher (Griffith University),
: U. Montanari (Univ. of Pisa),
: A. Nerode (Cornell Univ.),
: J.-F. Puget (ILOG),
: F. Rossi (University of Padova),
: V. Saraswat (AT&T Research),
: G. Smolka (DFKI and Univ. Saarlandes),
: R. Wachter (Office of Naval Research)
:
: Publicity Chair
:
: Martin Henz
: School of Computing
: National University of Singapore
: S16 Level 5, 3 Science Drive 2
: Singapore 117543, Republic of Singapore
: Phone: +65 874-6632, Fax: +65 779-4580
: henz(a)comp.nus.edu.sg
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [s.murugesan(a)UWS.EDU.AU (San Murugesan)] sent originally on Tue, 21 Dec 1999 16:51:25 +1100:
: *********************************************************************************
:
: Call for Papers
:
: Second ICSE Workshop on Web Engineering
:
: http://fistserv.macarthur.uws.edu.au/ICSE2000-WebE
:
: (Held in conjunction with the International Conference on Software
: Engineering)
:
: 4 and 5 June 2000; Limerick, Ireland
:
: This Workshop is in response to the increasing need to systematise the
: current ad hoc approaches to creating and maintaining Web-based
: applications. It focuses on successful development of large, complex
: Web-based systems and provides a mix of academic research and experience
:
: of industry practitioners to address the major problems in building and
: maintaining such systems.
:
: It builds upon the previous one at the ICSE99 and incorporates the best
: practices from Software Engineering and other disciplines which impact
: upon Web-based application development.
:
: The Workshop covers processes, methodologies, system design, lifecycle
: and management of large Web-based systems and educational and research
: issues. Further, it would review ongoing work in this area, discuss case
:
: studies and best practices, and pave directions further work.
:
: For further details, please visit:
: http://fistserv.macarthur.uws.edu.au/ICSE2000-WebE
:
: Deadline for Submission of papers/panel proposals: 1 February 2000
:
: Co-chairs:
: San Murugesan and Yogesh Deshpande
: Dept of Computing and Information Systems
: University of Western Sydney Macarthur
: Campbelltown NSW 2560, Australia
: s.murugesan(a)uws.edu.au
: y.deshpande(a)uws.edu.au
:
: **************************************************************
:
: ===== Start of ISWorld List Footer =====
: ISWorld list is a service of the Association for Information Systems (AIS)
: (http://www.aisnet.org) hosted at University College Dublin. For archives,
: subscribing, or posting "norms" see http://www.isworld.org/isworldlist
: ===== End of ISWorld List Footer =====
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [wi2-office(a)wirtschaft.tu-ilmenau.de (Stefan Kirn)] sent originally on Tue, 21 Dec 1999 11:18:21 +0100:
: --ÿÿÿÿ_-1266346530ÿmaÿÿÿÿ
: Content-Type: text/plain; charsetÿso-8859-1"
: Content-Transfer-Encoding: quoted-printable
:
: Call for Papers
:
: First International Workshop on
:
: "AGENT-ORIENTED SOFTWARE MANAGEMENT (AOSM)"
:
: http://www.wirtschaft.tu-ilmenau.de/wi/wi2/ECAI2000-AOSM/
:
: To be held as part of the 14th European Conference on Artificial
: Intelligence (ECAI 2000) August 20th-25th, 2000, Berlin / Germany
:
: Overview
: The workshop "Agent-oriented Software Management (AOSM)" is a one-day
: event at ECAI' 2000 in Berlin, featuring all issues of design and
: implementation, integration, test, and maintenance of agent oriented
: software systems.
:
: Technical Description
: Until now, research in agents, and multiagent systems has led to many
: useful results for the design of agent-based software systems. Well-
: known examples are modelling schemes, architectures, coordination
: languages, communication languages, standardisation, etc. Agent
: technology is thus well on the way to become an important new approach
: for the future design of large scale, distributed software systems.
:
: However, a breakthrough of agents can only be achieved if we also
: learn to efficiently engineer, test, and maintain agent-based systems.
: This requires a broad, in-depth discussion in agent-oriented software
: engineering, wich addresses all phases in the software life cycle
: from early design to implementation, system integration, test, and
: maintenance.
:
: The workshop thus aims to stimulate the discussion on all aspects of
: agent-oriented software management, including agent-oriented software
: engineering. Of particular interest are case studies in engineering,
: test and maintenance of multiagent systems, reports on experiences in
: the development of agent-based systems, and descriptions of work on
: the development / use of MAS design methodologies. The workshop shall
: provide a forum for researchers and practioners to exchange their
: experiences from different related fields such as multiagent systems
: engineering, software engineering, software management, knowledge
: engineering, and advanced information systems engineering. In this
: context, contributions are solicited to the following topics:
:
: - theoretical and methodological foundations of agent-oriented
: software management, and agent-oriented software engineering
: - methodologies for agent-oriented software development
: - methodologies, languages, and tools for all phases of the software
: management life cycle
: - software metrics for agent-based systems
: - teaching of agent-oriented software development
: - experiences in designing agent-based systems
: - case studies
: - issues of security, robustness, reliability, scalability, and
: accountability of agent-oriented software systems
: - integration management, i.e. the integration of agent-based systems
: with legacy systems
: - configuration management
: - test of agent-based software systems
: - software maintenance
: - evaluation of agent-based software architectures, languages, etc.
: - agent-oriented software engineering vs. traditional knowledge
: engineering
: - agent-oriented software engineering vs. traditional software
: engineering
: - standardisation: design tools, design methodologies, specification
: and implementation languages, verification methods, test cases, etc.
:
: Submission Details:
: Papers are solicited from 6 to 10 pages (A4 or 8.5x11 inches). Each
: paper should contain on its first page the title, the names/
: affiliations incl. email of each author, the name of the responsible
: author, an abstract, and a table of contents.
:
: Please note that only electronic submissions are accepted. Strongly
: preferred file format is Adobe Portable Document Format (pdf). All
: submissions should be send electronically to the contact person
: mentioned below.
:
: Accepted papers will be published in the ECAI´2000 Workshop notes.
:
: Depending on the quality of the material possibilities for follow-up
: publication in an international journal will be considered.
:
: Important Dates:
: Title & Abstract: February 15th, 2000
: Full paper due: March 31st, 2000
: Notification: May 2nd, 2000
: Camera Ready Copy: May 31st, 2000
:
: Contact Person
: Stefan Kirn
: Technical University Ilmenau, Institute of Information Systems
: D-98684 Ilmenau, Germany.
: Email: wi2-office(a)Wirtschaft.TU-Ilmenau.DE
: Phone.: +49-3677-69-4047
: Fax: +49-3677-69-4219
:
: Workshop Organizing Committee / Program Committe
: - Hans-Dieter Burkhardt Berlin/Germany
: - Cristiano Castelfranchi Rome/Italy
: - Stefan Kirn, Ilmenau/Germany (main organizer)
: - Brian Lees Paisley/UK
: - Julian Newman Glasgow/UK
: - Mike Papazoglou Tilburg/The Netherlands
: - Mark Klein MIT/Boston
: - Yves Lespérance York/Canada
: - Eric Yu Toronto/Canada
:
: --------------------------------------------------------------------------
: Univ.-Prof. Dr. Stefan Kirn
: Technische Universitaet Ilmenau Tel. (Sekr.): 03677/69-4047
: Institut fuer Wirtschaftsinformatik Tel. (Buero): 03677/69-4043
: Oeconomicum Fax: 03677/69-4219
: Postfach 0565
: D-98684 Ilmenau
:
: WWW: http://www.wirtschaft.tu-ilmenau.de/wi/wi2/home.htm
: Email: wi2-office(a)wirtschaft.tu-ilmenau.de
:
: Neues DFG-Schwerpunktprogramm:
: http://www.wirtschaft.tu-ilmenau.de/wi/wi2/SPP-Agenten/
:
: Die KI-Zeitschrift im Internet: http://www.kuenstliche-intelligenz.de
: --------------------------------------------------------------------------
:
: --ÿÿÿÿ_-1266346530ÿmaÿÿÿÿ
: Content-Type: text/enriched; charsetÿso-8859-1"
: Content-Transfer-Encoding: quoted-printable
:
: Call for Papers
:
: First International Workshop on
:
: <bold><bigger>"AGENT-ORIENTED SOFTWARE MANAGEMENT (AOSM)"
:
: </bigger></bold>http://www.wirtschaft.tu-ilmenau.de/wi/wi2/ECAI2000-AOSM/
:
: To be held as part of the 14th European Conference on Artificial
:
: Intelligence (ECAI 2000) August 20th-25th, 2000, Berlin / Germany
:
: <bold>Overview
:
: </bold>The workshop "Agent-oriented Software Management (AOSM)" is a
: one-day
:
: event at ECAI' 2000 in Berlin, featuring all issues of design and
:
: implementation, integration, test, and maintenance of agent oriented
:
: software systems.
:
: <bold>Technical Description
:
: </bold>Until now, research in agents, and multiagent systems has led to
: many
:
: useful results for the design of agent-based software systems. Well-
:
: known examples are modelling schemes, architectures, coordination
:
: languages, communication languages, standardisation, etc. Agent
:
: technology is thus well on the way to become an important new approach
:
: for the future design of large scale, distributed software systems.
:
: However, a breakthrough of agents can only be achieved if we also
:
: learn to efficiently engineer, test, and maintain agent-based systems.
:
: This requires a broad, in-depth discussion in agent-oriented software
:
: engineering, wich addresses all phases in the software life cycle
:
: from early design to implementation, system integration, test, and
:
: maintenance.
:
: The workshop thus aims to stimulate the discussion on all aspects of
:
: agent-oriented software management, including agent-oriented software
:
: engineering. Of particular interest are case studies in engineering,
:
: test and maintenance of multiagent systems, reports on experiences in
:
: the development of agent-based systems, and descriptions of work on
:
: the development / use of MAS design methodologies. The workshop shall
:
: provide a forum for researchers and practioners to exchange their
:
: experiences from different related fields such as multiagent systems
:
: engineering, software engineering, software management, knowledge
:
: engineering, and advanced information systems engineering. In this
:
: context, contributions are solicited to the following topics:
:
: <smaller><smaller>- </smaller></smaller>theoretical and methodological
: foundations of agent-oriented
:
: software management, and agent-oriented software engineering
:
: <smaller><smaller>- </smaller></smaller>methodologies for
: agent-oriented software development
:
: <smaller><smaller>- </smaller></smaller>methodologies, languages, and
: tools for all phases of the software
:
: management life cycle
:
: <smaller><smaller>- </smaller></smaller> software metrics for
: agent-based systems
:
: <smaller><smaller>- </smaller></smaller> teaching of agent-oriented
: software development
:
: <smaller><smaller>- </smaller></smaller> experiences in designing
: agent-based systems
:
: <smaller><smaller>- </smaller></smaller> case studies
:
: <smaller><smaller>- </smaller></smaller> issues of security,
: robustness, reliability, scalability, and
:
: accountability of agent-oriented software systems
:
: <smaller><smaller>- </smaller></smaller>integration management, i.e.
: the integration of agent-based systems
:
: with legacy systems
:
: <smaller><smaller>- </smaller></smaller> configuration management
:
: <smaller><smaller>- </smaller></smaller> test of agent-based software
: systems
:
: <smaller><smaller>- </smaller></smaller> software maintenance
:
: <smaller><smaller>- </smaller></smaller> evaluation of agent-based
: software architectures, languages, etc.
:
: <smaller><smaller>- </smaller></smaller> agent-oriented software
: engineering vs. traditional knowledge
:
: engineering
:
: <smaller><smaller>- </smaller></smaller> agent-oriented software
: engineering vs. traditional software
:
: engineering
:
: <smaller><smaller>- </smaller></smaller> standardisation: design tools,
: design methodologies, specification
:
: and implementation languages, verification methods, test cases, etc.
:
: <bold>Submission Details:
:
: </bold>Papers are solicited from 6 to 10 pages (A4 or 8.5x11 inches).
: Each
:
: paper should contain on its first page the title, the names/
:
: affiliations incl. email of each author, the name of the responsible
:
: author, an abstract, and a table of contents.
:
: Please note that only electronic submissions are accepted. Strongly
:
: preferred file format is Adobe Portable Document Format (pdf). All
:
: submissions should be send electronically to the contact person
:
: mentioned below.
:
: Accepted papers will be published in the ECAI´2000 Workshop notes.
:
: Depending on the quality of the material possibilities for follow-up
:
: publication in an international journal will be considered.
:
: <bold>Important Dates:
:
: </bold>Title & Abstract: February 15th, 2000
:
: Full paper due: March 31st, 2000
:
: Notification: May 2nd, 2000
:
: Camera Ready Copy: May 31st, 2000
:
: <bold>Contact Person
:
: </bold>Stefan Kirn
:
: Technical University Ilmenau, Institute of Information Systems
:
: D-98684 Ilmenau, Germany.
:
: Email: wi2-office(a)Wirtschaft.TU-Ilmenau.DE
:
: Phone.: +49-3677-69-4047
:
: Fax: +49-3677-69-4219
:
: <bold>Workshop Organizing Committee / Program Committe
:
: </bold><smaller><smaller>- </smaller></smaller>Hans-Dieter Burkhardt
: Berlin/Germany
:
: <smaller><smaller>- </smaller></smaller>Cristiano Castelfranchi
: Rome/Italy
:
: <smaller><smaller>- </smaller></smaller>Stefan Kirn, Ilmenau/Germany
: (main organizer)
:
: <smaller><smaller>- </smaller></smaller>Brian Lees Paisley/UK
:
: <smaller><smaller>- </smaller></smaller>Julian Newman Glasgow/UK
:
: <smaller><smaller>- </smaller></smaller>Mike Papazoglou Tilburg/The
: Netherlands
:
: <smaller><smaller>- </smaller></smaller>Mark Klein MIT/Boston
:
: <smaller><smaller>- </smaller></smaller>Yves Lespérance York/Canada
:
: <smaller><smaller>- </smaller></smaller>Eric Yu Toronto/Canada
:
: --------------------------------------------------------------------------
:
: Univ.-Prof. Dr. Stefan Kirn
:
: Technische Universitaet Ilmenau Tel. (Sekr.): 03677/69-4047
:
: Institut fuer Wirtschaftsinformatik Tel. (Buero): 03677/69-4043 :
:
: Oeconomicum Fax: 03677/69-4219
:
: Postfach 0565
:
: D-98684 Ilmenau
:
: WWW: http://www.wirtschaft.tu-ilmenau.de/wi/wi2/home.htmÿ
0
:
: Email: wi2-office(a)wirtschaft.tu-ilmenau.de
:
: Neues DFG-Schwerpunktprogramm:
:
: http://www.wirtschaft.tu-ilmenau.de/wi/wi2/SPP-Agenten/
:
: Die KI-Zeitschrift im Internet: http://www.kuenstliche-intelligenz.de
:
: --------------------------------------------------------------------------
:
: --ÿÿÿÿ_-1266346530ÿmaÿÿÿÿ--
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [dday(a)TOWSON.EDU (Donald L. Day)] sent originally on Tue, 21 Dec 1999 11:28:27 -0800:
: CALL FOR PARTICIPATION
: Second International Workshop on Internationalisation of Products and
: Systems (IWIPS2000)
: 13-15 July 2000, Baltimore, Maryland, USA
:
: (Please forward to interested colleagues)
:
: · PRODUCT DEVELOPERS AND MANAGERS
: · RESEARCHERS
: · ACADEMICS
: · HUMAN FACTORS AND HCI SPECIALISTS
:
: You are invited to attend the Second International Workshop on
: Internationalisation of Products and Systems (IWIPS2000), on the Inner
: Harbor in Baltimore, Maryland. Plan now to come during 13-15 July 2000
: to network with colleagues about globalisation and localisation in
: industry, government, and academia.
:
: Paper sessions, an internationalisation tutorial, breakout forums, and a
: research-in-progress briefing will be accompanied by invited speakers
: from across the spectrum of globalisation and localisation. Each day
: will begin with Continental breakfast, followed by single-track sessions
: highlighting problems faced by those responsible for the design and
: development of products and systems for global markets. During breaks,
: at the opening reception, and at the harbourside dinner, you will be
: able to network with a wide variety of professionals in the field, from
: across the world.
:
: Details of the 1999 workshop may be seen at http://webctr.net/IWIPS99/.
:
: The Call for Papers and Preliminary Schedule are available from Donald
: Day, chair of the local organising committee (d.day(a)acm.org).
: Submissions are due February 1, 2000, via e-mail attachment to Elisa
: delGaldo (Elisa_delgaldo(a)ctp.com), chair of the international program
: committee.
:
: ===== Start of ISWorld List Footer =====
: ISWorld list is a service of the Association for Information Systems (AIS)
: (http://www.aisnet.org) hosted at University College Dublin. For archives,
: subscribing, or posting "norms" see http://www.isworld.org/isworldlist
: ===== End of ISWorld List Footer =====
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html