Cfp February 2000

cfp@alice.wu.ac.at

1 participants
78 discussions

[forwarded] ADBIS-DASFAA 2000
by Gustaf Neumann 07 Feb '00

07 Feb '00

Forwarded message from [thalheim(a)INFORMATIK.TU-COTTBUS.DE (Bernhard Thalheim)] sent originally on Sun, 6 Feb 2000 06:37:19 +0100: : 2000 ADBIS-DASFAA - CALL FOR PAPERS : : 2000 ADBIS-DASFAA Symposium on Advances in Databases and Information Systems : : Enlarged Fourth East-European Conference on Advances in Databases and : Information Systems : : September 5 - 8, 2000, Prague, Czech Republic : ------------------------------------------------------------------------------ : http://www.ms.mff.cuni.cz/adbis2000/ : : In cooperation with ACM SIGMOD, Moscow ACM SIGMOD Chapter : The proceedings of the Symposium will be published by Springer-Verlag. : : IMPORTANT DATES : --------------- : Submission of electronic abstracts: March 17, 2000 : Paper submission: March 24, 2000 : Information to authors: May 5, 2000 : Submission of the final version: June 2, 2000 : : TOPICS OF INTEREST : ------------------ : Original papers (regular and short) dealing with both theory and practice : are solicited. The areas of interest include, but are not limited to, the : following: : data models and database design : database performance, query processing and optimization : data warehousing and warehouse DBMS : data mining : knowledge discovery and knowledge bases : IS and knowledge management, : text databases and semi-structured data : deductive and object-oriented databases : active databases : engineering and scientific databases : multimedia information systems : temporal and spatial databases : real-time database systems : database authorization and security : interfaces to databases and information systems : activity modeling, advanced transaction, and workflow management : interoperable, heterogeneous environments and systems : component-based information systems development : large area information systems on the Internet (based on WWW, CORBA, : Java : technologies) : parallel and distributed databases : mobile computing and databases : intelligent agents : multimedia databases : internet databases : new applications of information systems technology : Special sessions on "Mobile database technology" will be organized by : Sanjay Kumar Madria (email: skm(a)cs.purdue.edu) with a separate CfP. : : PAPER SUBMISSIONS : ----------------- : The symposium accepts two types of submissions - regular and shorts papers. : Please use the following format for your submissions: : - For regular papers, the text should not exceed 5,000 words (excluding : references). Top papers in this category will be recommended for a journal : publication. : - For short papers, the paper should not exceed 2,000 words (excluding : references). : - Include a cover page with title of paper as well as the authors' names, : affiliations, phones, faxes, and email addresses. : - The second page should begin with the title of the paper followed by an : abstract of no more than 150 words. The main text will follow the abstract. : Use 1.5 or double spacing (except for references), and fonts no smaller : than 11-point. : Only electronic submissions will be accepted. Send your submission : directly on the submission server : http://ADBIS-DASFAA-2000.Informatik.TU-Cottbus.DE/ : Accepted formats are PS files and files in PDF format. : Do not use MS Word for submission (different incompatible, unreadable : formats). : : CONFERENCE GENERAL CHAIR : ------------------------ : Jaroslav Pokorny, Charles University, Prague, Czech Republic : Email: pokorny(a)ksi.ms.mff.cuni.cz : : EUROPEAN COORDINATOR : -------------------- : Rainer Manthey, University of Bonn, Germany : : ASIAN COORDINATOR : ----------------- : Akifumi Makinouchi, Kyushu University, Japan : : PROGRAM COMMITTEE CO-CHAIRS : --------------------------- : Bernhard Thalheim Brandenburg University of Technology at Cottbus : thalheim(a)informatik.tu-cottbus.de : Julius Stuller Academy of Sciences of the Czech Republic : stuller(a)uivt.cas.cz : Yoshifumi Masunaga Ochanomizu University : masunaga(a)is.ocha.ac.jp : : PROGRAM COMMITTEE : ----------------- : Leopoldo Bertossi,Yuri Breitbart, Omran Bukhres, Albertas Caplinskas, : Wojciech Cellary, Arbee Chen, Jan Chomicki, Bogdan Czejdo, Johann Eder, : Remigijus Gustas, Tomas Hruska, Hannu Jaakkola, Leonid Kalinichenko, : Michal Kopecky, Wolfgang Klas, Dik-Lum Lee, Tok Wang Ling, : Pavol Navrat, Kai-Yui Ng, Nikolay Nikitchenko, Boris Novikov, : Yannis Manolopoulos, Tomaz Mohoric, Tadeusz Morzy, Maria Orlowska, : Seog Park, Oscar Pastor, Antonin Riha, Colette Rolland, : Ivan Rozman, Nand Lal Sarda, Klaus-Dieter Schewe, Kazimierz Subieta, : : Gottfried Vossen, Benkt Wangler, Tatjana Welzer, Viacheslav Wolfengagen, : Vladimir Zadorozhny, Alexander Zamulin : : ORGANIZING COMMITTEE CHAIR : -------------------------- : Jaroslav Pokorny, Martin Beran, Hana Bilkova, Leo Galambos, : Guenter Millahn, Lucie Vachova, Milena Zeithamlova : : STEERING COMMITTEE CHAIR : ----------------------- : Leonid Kalinichenko, Russian Academy of Sciences, Russia : : STEERING COMMITTEE MEMBERS : ------------------------- : Andras Benczur, Radu Bercaru , Albertas Caplinskas, Johann Eder, Janis : Eiduks, : Hele-Mai Haav , Mirjana Ivanovic, Mikhail Kogalovsky, Yannis Manopoulos, : Rainer Manthey, Tadeusz Morzy, Pavol Navrat, Boris Novikov ,Jaroslav Pokorny, : Anatoly Stogny, Tatjana Welzer ,Viacheslav Wolfengagen : : STUDENT INFORMATION : ------------------- : The best student papers will be awarded. : : ÿÿ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

1 0

[forwarded] Call for papers: Component Based Software Development
by Gustaf Neumann 07 Feb '00

07 Feb '00

Forwarded message from [ravit(a)RPI.EDU (T. Ravichandran)] sent originally on Sun, 6 Feb 2000 21:00:15 +0530: : <html> : <div align="center"> : Call for Papers : : </div> : Journal:  DATABASE for Advances in Information Systems : : Theme:  Component Based Software Development : : This special issue will focus on the latest research concerning : component-based software development. Component-based development (CBD) : has emerged as a new paradigm for software development which is expected : to improve software quality, development lead time and programmer : productivity. The basic idea underlying CBD is that software development : can be significantly improved if applications are quickly assembled from : prefabricated software components. A healthy market for software : components has emerged and an increasingly large collection of software : components is being made available though general, platform specific and : industry specific catalogues. While these developments are expected to : transform applications development from a craft activity to an industrial : process, research is needed to understand how such a transformation can : be effectively achieved and its implications. : : In this issue, we hope to publish papers that examine organizational, : technological and economic issues related to component-based software : development. A wide variety of research perspectives and research : approaches are encouraged. These include, but are not limited to: : conceptual papers that propose theories, experimental papers that are : theoretically motivated, yet whose findings have the potential to : interest practitioners; and field studies that develop new insights that : have the potential to change practice or lead to new theories. Research : focused on the development of tools and methods for CBD are also of : interest. We are particularly interested in papers that are novel and : present new ideas likely to provide directions for current research or : practice. : : Many specific topics are of interest for the special issue, : including: : : ·<x-tab>       </x-tab>Drivers : and benefits of CBD : ·<x-tab>       </x-tab>Economics : of component-based development : ·<x-tab>       </x-tab>Adoption, : use and impacts of CBD : ·<x-tab>       </x-tab>Organizational, : managerial and technological infrastructures for CBD : ·<x-tab>       </x-tab>Organizational : design for CBD : ·<x-tab>       </x-tab>Impact : of CBD on the software development process, process issues in using CBD : : ·<x-tab>       </x-tab>Impact : of CBD on the jobs of developers : ·<x-tab>       </x-tab>Supply : side issues, economics of CBD for component vendors, software licensing : and copyright issues, component pricing : ·<x-tab>       </x-tab>Component : design issues : ·<x-tab>       </x-tab>Methodologies : for component-based development : ·<x-tab>       </x-tab>Modeling : issues in component based development : : Instructions for submitting papers : : Submit an electronic copy of the paper to T. Ravichandran at : ravit(a)rpi.edu. : The paper should be prepared in accordance with the instructions to : authors listed in the front of each issue of DATABASE or in the journal's : web site: : <a href="http://www.cis.gsu.edu/~dbase/" eudora="autourl">http://www.cis.gsu.edu/~dbase/</a>. : We will accept only : electronic submissions in either MS Word or PDF formats. Each paper must : have a title page which includes the title, full names of all authors, : and their complete addresses including affiliation(s), telephone and fax : numbers(s), and e-mail address(es). The second page of the paper should : include the title, a 200-300 word abstract, and keywords, but should not : identify the author(s). : : Important dates : : August 15, 2000: Deadline for submission of papers. : November 15, 2000: Initial round of reviews returned to authors. : January 1, 2001: Deadline for resubmission of selected papers. : March 1, 2001: Authors notified of publication decisions. : April 1, 2001: Deadline for resubmission of accepted papers. : : : Guest Editor for the Special Issue : : T. Ravichandran : Assistant Professor : Lally School of Management & Technology : Rensselaer Polytechnic Institute : Troy, NY 12180 : Tel:  (518) 276 2035 : Fax: (518) 276 8661 : Email: ravit(a)rpi.edu : : </html> : : ===== 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

1 0

[forwarded] Final reminder (CFP for special issue of The Object)
by Gustaf Neumann 04 Feb '00

04 Feb '00

Forwarded message from [brian(a)socs.uts.edu.au] sent originally on Fri, 4 Feb 2000 10:29:46 +1100: : This is a multi-part message in MIME format. : --------------1CAF80A1002C8DAF0A247445 : Content-Type: text/plain; charset=us-ascii : Content-Transfer-Encoding: 7bit : : --------------1CAF80A1002C8DAF0A247445 : Content-Type: text/html; charset=iso-8859-1; : name="CFP.htm" : Content-Transfer-Encoding: 8bit : Content-Disposition: inline; : filename="CFP.htm" : --------------1CAF80A1002C8DAF0A247445-- : : ===== 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

1 0

[forwarded] CFP: Workshop on Mass Customization Management (MCM 2000)
by Gustaf Neumann 04 Feb '00

04 Feb '00

Forwarded message from [turowski(a)ITI.CS.UNI-MAGDEBURG.DE (Klaus Turowski)] sent originally on Fri, 4 Feb 2000 09:27:29 +0100: : 2. CALL FOR PAPERS : : Workshop on Mass Customization Management : (MCM 2000) : : December 12-15, 2000 : at the University of Wollongong (close to Sydney), Australia : : as part of : ISA'2000 : International ICSC Congress on : Intelligent Systems and Applications : IS'2000 : International Symposium on Industrial Systems : : WORKSHOP TOPICS : * Planning methods for mass customization : * Managing organic manufacturing organizations : * Agile manufacturing : * Engineering concepts and technologies : * Supply chain management and mass customization : * Production networks : * Product configuration : * Case studies : * Service individualization : * Mass customization concepts : : SUBMISSIONS : Prospective authors are requested to either send a draft paper (maximum 7 : pages) or an extended abstract for review. All submissions must be written : in English and must include the title of the workshop. Please refer to the : congress Web page : : http://www.icsc.ab.ca/isa2000.htm : : for further details. : : IMPORTANT DATES : Submission deadline: March 31, 2000 : Notification of Acceptance: May 31, 2000 : Delivery of Full Papers: July 30, 2000 : : WORKSHOP CHAIR AND ORGANIZATION : Prof. Dr. Claus Rautenstrauch & Dr. Klaus Turowski : Otto-von-Guericke-University Magdeburg : Business Information Systems : P.O. Box 4120, 39016 Magdeburg, Germany : Tel.: +49 (391) 67 1-83 86, Fax: -12 16 : URL: http://www-wi.cs.uni-magdeburg.de : E-Mail: rauten(a)iti.cs.uni-magdeburg.de : turowski(a)iti.cs.uni-magdeburg.de : : ÿÿ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

1 0

[forwarded] FMOODS'2000 cfp
by Gustaf Neumann 03 Feb '00

03 Feb '00

Forwarded message from [clt(a)Steam.Stanford.EDU] sent originally on Thu, 3 Feb 2000 15:46:47 +0800 (GMT-8): : The usual apologies for multiple copies : ============================================================================== : : Call for Papers : : FMOODS 2000 : : IFIP TC6/WG6.1 Fourth International Conference on : : Formal Methods for Open Object-Based Distributed Systems : : Stanford University , Stanford, California, USA : September 6-8, 2000 : : ------------------------------------------------------------------------ : : Electronic Information : : * The conference home page is found at http://www.ics.uci.edu/~fmds2000 : * Conference-related email should be addressed to : fmoods2000(a)cs.stanford.edu : * Information on the FMOODS series of conferences can be found at : http://www.cs.ukc.ac.uk/research/netdist/fmoods : : ------------------------------------------------------------------------ : : Important Dates : : 1st March 2000 Submission deadline : 30th April 2000Notification of acceptance : 23rd May 2000 Camera ready copy for participants proceedings due : : ------------------------------------------------------------------------ : : Co-located with SPIN'2000, 7th International SPIN Workshop on : Model Checking of Software, to be held at Stanford the previous week : August 30-31, September 1. See: : http://ase.arc.nasa.gov/spin2000 : : ------------------------------------------------------------------------ : : Objectives : : Object-based Distributed Computing is being established as the most : pertinent basis for the support of large, heterogeneous computing and : telecommunications systems. Indeed, several important international : organisations, such as ITU, ISO, OMG, TINA-C, etc. are defining similar : distributed object-based frameworks as a foundation for open distributed : computing. : : The advent of Open Object-based Distributed Systems - OODS - brings new : challenges and opportunities for the use and development of formal methods. : New architectures and system models are emerging (e.g., the enterprise, : information, computational and engineering viewpoints of the ITU-T/ISO/IEC : ODP Reference Model) which require formal notational support. Usual design : issues such as specification, verification, refinement, and testing need to : take into account new dimensions introduced by distribution and openness, : such as quality of service and dependability constraints, dynamic binding : and reconfiguration, consistency between multiple models and viewpoints, : etc. OODS is a challenging research context and a source of motivation for : semantical models of object-based systems and notations, for the evolution : of standardised formal description techniques, for the application and : assessment of logic based approaches, for better understanding and : information modeling of business requirements, and for the further : development and use of Object Oriented methodologies and tools. : : The objective of FMOODS is to provide an integrated forum for the : presentation of research in several related fields, and the exchange of : ideas and experiences in the topics concerned with the formal methods : support for Open Object-based Distributed Systems. : : Topics of interest include but are not limited to: : : * formal models for object-based distributed computing : * semantics of object-based distributed systems and programming languages : * formal techniques in object-based and object-oriented specification, : analysis and design : * refinement and transformation of specifications : * types, service types and subtyping : * interoperability and composability of distributed services : * object-based coordination languages : * object-based mobile languages : * efficient analysis techniques of specifications : * multiple viewpoint modelling and consistency between different models : * formal techniques in distributed systems verification and testing : * specification, verification and testing of quality of service : constraints : * formal methods and object life cycle : * beyond IDL: semantics based specification patterns : * formal models for measuring the quality of object-oriented requirement : or design specifications : * formal aspects of distributed real-time multimedia systems : * applications to telecommunications and related areas : : ------------------------------------------------------------------------ : : Invited Speakers: : : Jose Meseguer, SRI International : : and others to be announced : : ------------------------------------------------------------------------ : : Conference Organizers : : Carolyn Talcott(Chair) Scott Smith(PC Chair) : Tel: + 650 723-0936 Tel: + 410 516-5299 : Fax: + 650 725-7411 Fax: + 410 516-6134 : Stanford University The Johns Hopkins University : Stanford, CA, USA Balimore, MD, USA : clt(a)cs.stanford.edu scott(a)cs.jhu.edu : : Nalini Venkatasubramanian Sriram Sankar : Tel: + 949 824-5898 Tel: + 510 796-0915 : Fax: + 949 824-4056 Fax:+ 510 796-0916 : University of California at Irvine Metamata Inc. : Irvine, CA, USA Fremont, CA, USA : nalini(a)ics.uci.edu sriram.sankar(a)metamata.com : : Program Committee : : * Gul Agha (U. of Illinois, USA) : * Patrick Bellot (ENST, Paris, France) : * Lynne Blair (U. Lancaster, UK) : * Howard Bowman (UKC, Kent, UK) : * Paolo Ciancarini (U. Bologna, Italy) : * John Derrick (UKC, Kent, UK) : * Michel Diaz (LAAS-CNRS, Toulouse, France) : * Alessandro Fantechi (U. Firenze, Italy) : * Kathleen Fisher (ATT Research Labs, USA) : * Kokichi Futatsugi (Jaist, Ishikawa, Japan) : * Joseph Goguen (UC San Diego, USA) : * Roberto Gorrieri (U. Bologna, Italy) : * Guy Leduc (U. of Liege, Belgium) : * Luigi Logrippo (U of Ottawa, Canada) : * David Luckham (Stanford University, USA) : * Jan de Meer (GMD Fokus, Berlin, Germany) : * Elie Najm (ENST, Paris, France) : * Dusko Pavlovic (Kestrel Institute, USA) : * Omar Rafiq (U. of Pau, France) : * Arend Rensink (U. Twente, Netherlands) : * Sriram Sankar (Metamata Inc., USA) : * Gerd Schuermann (GMD Fokus, Berlin, Germany) : * Scott Smith (Johns Hopkins University, USA) : * Jean-Bernard Stefani (FT/CNET, Issy-les-Moulineaux, France) : * Carolyn Talcott (Stanford University, USA) : * Nalini Venkatasubramanian (UC Irvine, USA) : : Sponsors - IFIP : : ------------------------------------------------------------------------ : : Evaluation and Publication of Submitted Papers : : Submitted manuscripts will be evaluated and selected for presentation in the : conference. The proceedings of FMOODS '00 will be published by Kluwer, the : publishers of IFIP events. The proceedings will be made available at the : conference. : : Instructions to the Authors : : Authors are invited to submit full original research papers, up to 16 pages : (including bibliography), 12 point, single spaced, including an informative : abstract, names and affiliations of all authors, and a list of keywords : facilitating the assignment of papers to referees. : : Submission : : Paper submissions will be electronic via the web. Papers must be submitted : as postscript documents that are interpretable by Ghostscript. Details on : the submission process are to be found at http://www.ics.uci.edu/~fmds2000. : The package for electronic submission of papers will be available : approximately one month before the submission deadline. : : ------------------------------------------------------------------------ -- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html

1 0

[forwarded] Call for papers on KM and the Socio-Technical approach
by Gustaf Neumann 03 Feb '00

03 Feb '00

Forwarded message from [coakese(a)WESTMINSTER.AC.UK (elayne coakes)] sent originally on Thu, 3 Feb 2000 10:37:31 +0000: : Learning Organisations and Knowledge Management - a Socio-Technical : Perspective : : Call for Papers : : The Operational Research Society of the UK is organising a conference : (OR42) in September 2000 on the theme of 'Operational Research in the 21st : Century - Communication and Knowledge Management' : : We would welcome papers for the Information Systems stream 'Learning : Organisations and Knowledge Management - a Socio-Technical Perspective'. : Successful papers will also be considered for a book of the same title, or : a special journal edition. : : Knowledge Management has been a major topic for Management academics and : practitioners alike in the 1990s. : : A growing number of studies have called for a more holistic, systemic : approach to Knowledge. It is not simply a 'tool' or 'resource' so much as : a social construct. It is a reciprocal, interdependent process of learning : arising from knowledge transfer and information flow and communication - a : Socio-Technical perspective which amalgamates the 'dualism' of people and : technology. : : Full details of the call and suitable topics can be found at: : http://www.wmin.ac.uk/~coakese/knowledge/knowledge/or42 : : n Expressions of interest and 250 word abstracts should be sent in the : first instance, preferably by email, to Ms Valerie Martin by March 1st : 2000 at Westminster Business School : 35 Marylebone Road : London NW1 5LS : email: martinv(a)wmin.ac.uk : Tel: 020 7911 5000 : Fax: 020 7911 5839 : : n Further details of the conference can be found on the website : http://www.orsoc.org.uk/homelinks/or42_f.htm : : Further information can be obtained from Valerie Martin or : Elayne Coakes : Westminster Business School : email: coakese(a)wmin.ac.uk : phone: 0171 911 5000 x 3338 : : ÿÿ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

1 0

[forwarded] ETAPS 2000 - Call for Participation
by Gustaf Neumann 03 Feb '00

03 Feb '00

Forwarded message from [doris(a)cs.tu-berlin.de] sent originally on Thu, 3 Feb 2000 14:03:53 +0800 (GMT-8): : (Sorry, if you receive multiple copies of this Call. : Doris Faehndrich) : ----------------------------------------------------------------- : : ETAPS 2000 - EUROPEAN JOINT CONFERENCES ON : THEORY AND PRACTICE OF SOFTWARE : : Technical University of Berlin, March 25 - April 2, 2000 : : -------------------- CALL FOR PARTICIPATION ------------------------- : : Welcome to Berlin, welcome to ETAPS, the European Joint Conferences on : Theory and Practice of Software, the european forum for academic and : industrial researchers working on these topics! : For 9 days you will be able to choose between 5 conferences with more : than 120 regular papers and tool demonstrations covering a wide range : of topics from theory and practice, 7 invited lectures, 10 tutorials, : and 5 satellite events. : : -------------------------------------------------------------------- : Please, check for details : http://iks.cs.tu-berlin.de/etaps2000/ : : Use the option of online registration or one of the downloadable : registration forms! : -------------------------------------------------------------------- : EARLY REGISTRATION UNTIL FEBRUARY 29, 2000 : -------------------------------------------------------------------- : : Main Conferences, March 27 - March 31 : ------------------------------------- : CC 2000 International Conference on Compiler Construction : Chair: David Watt (University of Glasgow, UK) : : ESOP 2000 European Symposium on Programming : Chair: Gert Smolka (Saarland University, D) : : FASE 2000 Fundamental Approaches to Software Engineering : Chair: Tom Maibaum (King's College London, UK) : : FOSSACS 2000 Foundations of Software Science and Computation : Structures, Chair: Jerzy Tiuryn (University of Warsaw, PL) : : TACAS 2000 Tools and Algorithms for the Construction and Analysis : of Systems, Chair: Susanne Graf (VERIMAG, Grenoble, F) : : Invited Speakers : ---------------- : : Abbas Edalat (Imperial College, London, UK) : ``A Data Type for Computational Geometry and Solid Modelling'' : : David Harel (The Weizmann Institute of Science, Rehovot, IL) : ``From play-in scenarios to code: an achievable dream'' : : Martin Odersky (EPF Lausanne, CH) : ``Functional nets'' : : Richard Mark Soley (OMG Object Management Group, USA) : ``Memex isn't Enough'' : : Wladyslaw M. Turski (University of Warsaw, PL) : ``An essay on software engineering at the turn of century'' : : Reinhard Wilhelm (Saarland University, D) : ``Shape analysis'' : : Pierre Wolper (University of Liege, B) : ``On the representation of constraints by automata in the : verification of infinite systems'' : : Panel: ``Standard Components of the Shelf - : Do they carry and need a (Formal) Standard Semantics?'' : Chair: Herbert Weber (TU Berlin, D) : : Satellite Events : ---------------- : : GRATRA - Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation : Systems, Contact: Hartmut Ehrig (TU Berlin, D) : March 25 - March 27 : : Invited Lecture by Grzegorz Rozenberg (University of Leiden, NL) : ``DNA Computing in vivo and graph transformation'' : (open for all ETAPS participants) : : CMCS - Workshop on Coalgebraic Methods in Computer Science : Contact: Horst Reichel (TU Dresden, D) : March 25 - March 26 : : CBS - International Workshop on Communication-Based Systems : Contact: Guenter Hommel(TU Berlin, D) : March 31 - April 1 : : INT - Integration of Specification Techniques with Applications in : Engineering, Contact: Martin Grosse-Rhode(TU Berlin, D) : March 31 - April 1 : : CoFI - Common Framework Initiative for Algebraic Specification and : Development of Software : Contact: Don Sannella (University of Edinburgh, UK) : April 1 - April 2 : : Tutorials : --------- : : XML for Software Engineers : Andrea Zisman, Anthony Finkelstein (University College London, UK) : March 25, p.m., half-day : : A tutorial on Maude : Narciso Marti Oliet (Universidad Complutense, Madrid, E), : Jose Meseguer (SRI International, USA) : March 25, p.m., half-day : : Rigorous Requirements for Safety-Critical Systems: : Fundamentals and Applications of the SCR Method : Constance L. Heitmeyer (Naval Research Laboratory, USA) : March 26, full-day : : Multi-Paradigm Programming : Michael Hanus (RWTH Aachen, D) : March 26, a.m., half-day : : Query-based Automated Debugging : Mireille Ducasse (IRISA/INSA, F) : March 26, p.m., half-day : : The Unified Modelling Language : Perdita Stevens (University of Edinburgh, UK) : April 1, full-day : : Swinging Types : Peter Padawitz (University of Dortmund, D) : April 1, a.m., half-day : : Tables and computation : A.J.Wilder (University of Wales, UK) : April 1, p.m., half-day : : SDL 2000 : Joachim Fischer (HU Berlin, D), Andreas Prinz (Research Digital : Media Systems GmbH, D), Eckhardt Holz (HU Berlin, D) : April 2, full-day : : Software Metrology Basis : Hans-Ludwig Hausen (GMD Bonn, D) : April 2, a.m., half-day : : ------------------------------------------------------------------ : ETAPS Steering Committee : Don Sannella (Chairman, UK), Egidio Astesiano (I), Jan Bergstra (NL), : Pierpaolo Degano (I), Hartmut Ehrig (D), Jose Luiz Fiadeiro (P), : Marie-Claude Gaudel (F), Susanne Graf (F), Furio Honsell (I), : Heinrich Hussmann (D), Stefan Jaehnichen (D), Paul Klint (NL), : Tom Maibaum (UK), Tiziana Margaria (D), Ugo Montanari (I), : Hanne Riis Nielson (DK), Fernando Orejas (E), Andreas Podelski (D), : David Sands (S), Gert Smolka (D), Bernhard Steffen (D), : Wolfgang Thomas (D), Jerzy Tiuryn (PL), David Watt (UK), : Reinhard Wilhelm (D) : : Organizing Chairs: Bernd Mahr, Hartmut Ehrig, Peter Pepper, : Stefan Jaehnichen, Radu Popescu-Zeletin : : Conference Address: ETAPS 2000, TU Berlin, : Sekr. FR 6-10, : Franklinstr. 28/29, D-10587 Berlin : Germany : Tel: ++49 30 314 -73540, Fax: -73622 : Email: etaps2000(a)iks.cs.tu-berlin.de : http://iks.cs.tu-berlin.de/etaps2000/ : : Registration Address: BWO Marketing Service GmbH : Mohrenstr. 63-64 : D-10117 Berlin-Mitte : Germany : Fax: ++49 30 22 66 84-64 : Email: Etaps2000(a)BWO-Berlin.de : : -=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= : Doris Fähndrich: TU Berlin FB-13 Sekr. FR 5-6, Franklinstr. 28/29, : 10587 Berlin, Tel: 030/31473436 : -=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html

1 0

[forwarded] Final CFP: EMMSAD'00
by Gustaf Neumann 03 Feb '00

03 Feb '00

Forwarded message from [ksiau(a)UNLNOTES.UNL.EDU] sent originally on Wed, 2 Feb 2000 19:41:30 -0600: : CALL FOR PAPERS : : Fifth CAiSE/IFIP8.1 International Workshop on : Evaluation of Modeling Methods in Systems Analysis and Design : (EMMSAD'00) : : Stockholm, Sweden : June 5-6, 2000 : : Workshop Theme: : Methods and Methodologies for Scalable Enterprise Systems Development : : http://www.ait.unl.edu/doc2/faculty/siau/conference/EMMSAD00.htm : : Workshop Organizers: : : Dr. Keng Siau, University of Nebraska-Lincoln, USA (Chair) : Dr. Yair Wand, University of British Columbia, Canada : Dr. Andrew Gemino, Simon Fraser University, Canada : : Workshop Background: : : Modeling is an essential component of information systems analysis and design : (SA&D). New paradigms (e.g., OO) and new methods within a paradigm (e.g., UML) : are constantly being introduced. Some researchers call the field a : "methodological jungle." In addition, most modeling methods and methodologies : evolve from experience. A linkage to science is warranted. Scientific : approaches that are based on theoretical foundation and systematic empirical : evaluations would clearly benefit the field. : : The Workshop on Evaluation of Modeling Methods in Systems Analysis and Design : (EMMSAD'00) is dedicated to issues related to the development and evaluation of : modeling methods in SA&D. EMMSAD'00 is 5th in the workshop series that began in : 1996. EMMSAD workshops have been very successful in bringing together : researchers and practitioners in information systems, method engineering, : software engineering, database, and human computer interaction that are : interested in modeling methods and methodologies in systems analysis and design. : EMMSAD workshops provide a forum for researchers and practitioners in the area : to meet and exchange research ideas and results. : : EMMSAD'00 is an event jointly sponsored by the Conference on Advanced : Information Systems Engineering (CAiSE) and the International Federation for : Information Processing Working Group 8.1 (IFIP8.1). : : Theme and Topics for Workshop: : : The theme for EMMSAD'00 is "Methods and Methodologies for Scalable Enterprise : Systems Development." Information systems are no longer designed and developed : to support a single organization. New information systems will span different : organizations and geographical locations. Business-to-business transactions : will be the new wave in electronic commerce. To support such functions, : information systems need to be scalable. A new breed of information modeling : methods and methodologies needs to be engineered to support these new endeavors. : : EMMSAD'00 will provide a platform for researchers and practitioners to share and : discuss theories, research methodologies, and research findings. We welcome : submissions on theoretical and/or empirical evaluation of modeling methods and : methodologies related to: : : * Scalable Enterprise Systems : * Unified Modeling Language (UML) : * Enterprise Resource Planning (ERP) : * Knowledge Management Systems : * Component-based Software Engineering : * Electronic Commerce/Business : * Web-based Information Systems : * Method Engineering : * Metamodeling : * Internet Database : * Data Warehousing : * Data Mining : * Bioinformatics : * Health Information Systems : * Geographical Information Systems : : We are particularly interested in research papers that directly address the : theme of this workshop. Evaluation of new software development approaches such : as UML is strongly encouraged. Research methodologies involving case studies, : action research, and experience reports are welcome. : : Important Dates: : : Deadline for papers (received): February 20, 2000 : Notification of paper acceptance: April 1, 2000 : Deadline for camera-ready copies: May 1, 2000 : : Submission Guidelines: : : The workshop accepts two types of submissions - Completed Research and : Research-In-Progress. Completed research papers should include analysis of data : and discussion on research findings. Research-in-progress papers report on : research that is well under way with preliminary results available at the time : of the conference. : : Please use the following format for your submissions: : * For Completed Research submissions, the paper should not exceed 5,000 words : (excluding references and appendices). Top papers in this category will be : recommended for journal publication or for inclusion as book chapters. : * For Research-In-Progress submissions, the paper should not exceed 2,000 words : (excluding references and appendices). : * Include a cover page with title of paper as well as the authors' names, : affiliations, phones, faxes, and email addresses. The total number of words in : the paper (excluding cover page, tables, and references) and the submission : category (i.e., Completed Research or Research-In-Progress) should be indicated : on the cover page. : * The second page should begin with the title of the paper followed by an : abstract of no more than 150 words. The main text will follow the abstract. : This is to facilitate the blind review process. : * Use 1.5 or double spacing (except for references), and fonts no smaller than : 11-point. : : Only electronic submissions will be accepted. Email your article as an : attachment to mis-kengsiau(a)unlnotes.unl.edu. Please send electronic submissions : in Microsoft Word, WordPerfect, or PDF format. : : International Program Committee: : : * David Avison, University of Southampton, UK : * Richard Baskerville, Georgia State University, USA : * Dinesh Batra, Florida International University, USA : * Shirley Becker, Florida Institute of Technology, USA : * Sjaak Brinkkemper, Baan Company R&D, The Netherlands : * Hock Chuan Chan, National University of Singapore, Singapore : * Roger Chiang, University of Cincinnati, USA : * Jasbir Dhaliwal, Technical University of British Columbia, Canada : * Jan Dietz, Delft University of Technology, The Netherlands : * Guy Fitzgerald, Brunel University, UK : * Juhani Iivari, University of Oulu, Finland : * Sirkka Jarvenpaa, University of Texas at Austin, USA : * Hannu Kangassalo, University of Tampere, Finland : * Julie Kendall, Rutgers University, USA : * Kenneth Kendall, Rutgers University, USA : * Steven Kelly, MetaCase Consulting, Finland : * Mehdi Khosrowpour, Penn State University, USA : * Ting Peng Liang, National Sun Yat-Sen University, Taiwan : * Ee Peng Lim, Nanyang Technological University, Singapore : * Tok Wang Ling, National University of Singapore, Singapore : * Sal March, University of Minnesota, USA : * Graham McLeod, University of Cape Town, South Africa : * Fui Hoon (Fiona) Nah, University of Nebraska-Lincoln, USA : * Peter Axel Nielsen, Aalborg University, Denmark : * Antoni Olive, Universitat Politecnica Catalunya, Spain : * Jeffrey Parsons, Memorial University of Newfoundland, Canada : * Sudha Ram, University of Arizona, USA : * Colette Rolland, University of Paris 1, France : * Matti Rossi, Helsinki School of Economics, Finland : * Michael Shaw, University of Illinois at Urbana Champaign, USA : * Sandra Slaughter, Carnegie Mellon University, USA : * Peretz Shoval, Ben-Gurion University of the Negev, Israel : * Arne Solvberg, University of Trondheim, Norway : * Jan Stage, Aalborg University, Denmark : * Ronald Stamper, University of Twente, The Netherlands : * Veda Storey, Georgia State University, USA : * Bernard Tan, National University of Singapore, Singapore : * Jon Turner, New York University, USA : * Ramesh Venkataraman, Indiana University, USA : * Chris Wagner, City University of Hong Kong, China : * Kwok Kee Wei, National University of Singapore, Singapore : : For more information, please contact: : : Keng Siau, Ph.D. : Department of Management : 209 College of Business Administration : University of Nebraska-Lincoln : Lincoln, NE 68588-0491, USA : Telephone: +1-402-472-3078 : Fax: +1-402-472-5855 : Workshop Email: mis-kengsiau(a)unlnotes.unl.edu : Personal Email: ksiau(a)unl.edu : URL: http://www.ait.unl.edu/doc2/faculty/siau/ : : ÿÿ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

1 0

[forwarded]
by Gustaf Neumann 03 Feb '00

03 Feb '00

Forwarded message from [songiy(a)DREXEL.EDU (Il-Yeol Song)] sent originally on Thu, 3 Feb 2000 00:41:43 -0500: : *** We apologize if you receive multiple times. *** : ------------------------------------------------------------ : SECOND CALL FOR PAPERS AND TUTORIALS : 19th International Conference on Conceptual Modeling (ER2000) : October 9-12, 2000, Salt Lake City, USA. www.er2000.byu.edu : ---------------------------------------------------------------- : SCOPE OF THE CONFERENCE : The International Conference on Conceptual Modeling provides a forum for : presenting and discussing current research and applications in which the : major emphasis is on conceptual modeling. This conference was originally : devoted to the Entity-Relationship (ER) model, but has expanded to include : many types of semantic data modeling, behavior and process modeling, : object-oriented systems modeling, and modeling for Web-based applications. : The conference embraces all phases of software development including : analysis, specification, design, implementation, evolution, and : reengineering. It is the aim of this conference to present state-of-the-art : research on emerging topics in conceptual modeling, to review important : techniques in related areas, and to discuss application papers of interest : to information system professionals as well as information technology : academics and researchers. : : TOPICS OF INTEREST : The conference focuses on conceptual modeling and advanced information : systems design and implementation. We solicit submission of original : research, as well as experience and vision papers that address these : themes. Topics of interest include, but are not limited to, conceptual : modeling as applied to: : - active databases : - application design using UML : - business-process modeling : - CASE tools : - ER, OO, ORM, and other approaches : - database design methodologies : - database integration : - data warehouse and multidimensional modeling : - geographic information systems : - heterogeneous and federated databases : - information-retrieval systems : - knowledge bases : - multimedia databases : - object-oriented data and software engineering : - ontology development and applications : - query languages : - reverse engineering and reengineering : - semistructured data : - spatial and temporal databases : - user interfaces : - Web-based information systems : - workflow management : : SUBMISSION GUIDELINES : Authors should submit manuscripts via the ER2000 Web site, in the form of : PostScript or PDF files (contact Stephen Liddle, the conference Webmaster, : er2000(a)byu.edu, if you need assistance). Papers may not exceed 5000 words. : Additionally we suggest using at least an 11-point font and no more than : 20 pages. The ER2000 home page (www.er2000.byu.edu) contains further : details on electronic submissions. : The proceedings will be published by Springer-Verlag in the LNCS series. : Springer-Verlag publishes a full-text electronic version of LNCS in : parallel with the printed version, thus the electronic source of accepted : papers will be required (LaTeX 2e format is strongly preferred). Authors : of selected papers will be invited to submit extended versions for : possible publication in the Data & Knowledge Engineering journal. : : IMPORTANT DATES : Workshop proposals: Dec. 3, 1999 : Paper abstracts: March 28, 2000 : Full papers: April 4, 2000 : Notification: June 13, 2000 : Camera-ready papers: July 11, 2000 : : TUTORIAL PROPOSALS : We solicit tutorial proposals of interest to ER2000 attendees. Proposals : should identify the intended audience and give enough material to provide : a sense of what will be covered. The target duration is either 1.5 or : 3 hours. Proposals should be submitted in plain text by April 4, 2000 : to the tutorials chair, Ling Liu (lingliu(a)cc.gatech.edu). Presenters of : accepted proposals will be expected to provide a copy of their overheads : or PowerPoint slides for photocopying in addition to a basic statement : advertising their tutorial and a bibliographic statement by the : camera-ready due date (July 11, 2000). : : WORKSHOPS : ER2000 will be held with the following four workshops: : 1. WWWCM2000 (Conceptual Modeling for WWW) : Contact Steven Liddle at <liddle(a)byu.edu> : 2. KDMS2000 (Conceptual Modeling for Knowledge Discovery and Management : Systems) : Contact John Roddick at John.Roddick(a)unisa.edu.au or Il-Yeol Song at : <song(a)drexel.edu> : 3. Metadata in Conceptual Modeling: The Cooperative Case : Contact Joachim W. Schmidt at <j.w.schmidt(a)tu-harburg.de> : 4. Conceptual Modeling approaches for E-commerce Contact Heinrich C. Mayr at : <heinrich(a)ifit.uni-klu.ac.at> : : INDUSTRIAL PRESENTATIONS : We solicit proposals for experience reports and other presentations of : interest to the industrial community. Submit one- or two-page abstracts : to the industrial chair, Terry Halpin (terryh(a)visio.com) by April 4, 2000. : PANELS : We solicit proposals for panel sessions related to the conference topics. : We encourage panels that bring together a range of views and backgrounds. : Submissions should be e-mailed to the panels chair, John Roddick : (roddick(a)cis.unisa.edu.au) by April 4, 2000. : : GENERAL CHAIR : David W. Embley : Department of Computer Science : Brigham Young University : Provo, Utah 84602, USA : Email: embley(a)cs.byu.edu : : PROGRAM CO-CHAIRS : Alberto H. F. Laender : Departamento de Ciencia da Computacao : Universidade Federal de Minas Gerais : 31270-901 Belo Horizonte MG, Brasil : Email: laender(a)dcc.ufmg.br : Phone: 31-499-5868 : Fax: 31-499-5858 : Veda C. Storey : Department of Computer Information Systems : College of Business Administration : Georgia State University : Atlanta, Georgia 30302-4015, USA : Email: vstorey(a)gsu.edu : Phone: 404-651-3894 : Fax: 404-651-3842 : : WORKSHOPS CHAIR : Bernhard Thalheim : Brandenburg Technical University at Cottbus : Germany : : TUTORIALS CHAIR : Ling Liu : Georgia Institute of Technology : USA : : INDUSTRIAL CHAIR : Terry Halpin : Visio Corporation : USA : : PUBLICITY CHAIR : Il-Yeol Song : Drexel University : USA : : PANELS CHAIR : John F. Roddick : University of South Australia : Australia : : LOCAL ORGANIZATION COMMITTEE (Brigham Young University, USA) : LOCAL ARRANGEMENTS: Scott N. Woodfield : REGISTRATION: Yiu-Kai (Dennis) Ng : WEBMASTER: Stephen W. Liddle : SOCIAL: Douglas M. Campbell : TREASURER: Dan Johnson : SPONSORSHIPS AND PROMOTION: Kathleen Burnham : : STEERING COMMITTEE REPRESENTATIVES : Bernhard Thalheim, Steering Committee Chair : Tok Wang Ling, ER2000 Liaison and Steering Committee Vice-Chair : Peter P. Chen, Steering Committee (Emeritus) : : AREA LIAISONS : Asia: T.W. Ling, National University of Singapore, Singapore : Australia: J. Roddick, University of South Australia, Australia : South America: Jose Palazzo de Oliveira, Federal University of Rio Grande : do Sul, Brazil : North America: S. Ram, University of Arizona, USA : Europe: S. Spaccapietra, Ecole Polytechnique Federale de Lausanne, Switzerland : : ÿÿ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

1 0

[forwarded] SOFTWARE DEMOS AT AGENTS 2000
by Gustaf Neumann 02 Feb '00

02 Feb '00

Forwarded message from [a2000pub(a)iiia.csic.es (Agents 2000 Publicity)] sent originally on Wed, 2 Feb 2000 15:46:04 +0100 (MET): : ********************************************************************* : This Call for Papers has been sent to several distribution lists. We : apologize if you receive multiple copies of it. : ********************************************************************* : : ************************************* : *** CALL FOR CONTRIBUTIONS *** : *** SOFTWARE DEMOS AT AGENTS 2000 *** : ************************************* : : The Fourth International Conference on : AUTONOMOUS AGENTS (Agents 2000) : : Barcelona, Catalonia, Spain : : Saturday June 3 - Wednesday June 7, 2000 : http://www.iiia.csic.es/agents2000 : : The organizers of the Fourth International Conference on Autonomous : Agents invite teams from universities and other research laboratories : to participate in the conference and showcase their achievements in : the latest agent software products and research projects in the : Software Demonstrations event. : : Demo submissions will be evaluated on the basis of their innovation, : relevance, scientific contribution, and potential logistic : constraints. Commercial products are eligible, but sales and marketing : activities are not appropriate. : : Authors of accepted Agents'99 papers will be invited to demonstrate : their systems at the conference, assuming appropriate equipment can be : arranged. : : Submissions will consist of a cover letter indicating the primary : author's name, affiliation, address, phone number, an email address : and the following: : : - A two-page summary of the technical content of the demo. This : summary will be handed out at the conference. : : - A short video tape or storyboard that shows the highlights of : the demo. : : - A detailed description of hardware and software requirements. : : Software demo proposals should be submitted to : : Josep Puyol-Gruart : Artificial Intelligence Research Institute (IIIA-CSIC) : Campus UAB : 08193 Bellaterra (Barcelona), SPAIN : : Phone: +34 93 580 9570 : Fax: +34 93 580 9661 : Email: puyol(a)iiia.csic.es : URL: http://www.iiia.csic.es/~puyol : : SUBMISSION DEADLINE: March 3th, 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

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

Cfp February 2000