Cfp February 2000

cfp@alice.wu.ac.at

1 participants
78 discussions

[forwarded] Final Call for Paper DIQ�2000
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [mgenero(a)TITAN.INF-CR.UCLM.ES (Marcela Genero)] sent originally on Wed, 16 Feb 2000 09:30:40 +0100: : THE 4th.WORLD MULTICONFERENECE ON SYSTEMICS, CYBERNETICS AND INFORMATICS - : SCI´2000 : : July, 23-26, 2000 : Orlando, Florida (USA) : Sheraton World : : The invited session Data and Information Quality (DIQ) will be held in : conjunction with the 4TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND : INFORMATICS (SCI´2000) : : CALL FOR PAPERS FOR THE INVITED SESSION: : Data and Information Quality (DIQ´2000) : : PURPOSE AND SCOPE : : Information systems quality is one of the most pressing challenges facing : organisations today. Global, national, and even local enterprises are driven : by information. Many companies have discovered how critical this information : is to the success of their businesses. And yet, few companies have effective : ways of managing the quality of this information, which is so important to : their competitiveness. Nowadays, databases have become the essential core of : information systems, and therefore their quality must be improved as much as : possible in order to guarantee successful information systems. Because of : the growing complexity of information systems, continuous attention to and : assessment of database and datawarehouses quality throughout the development : process are necessary to produce quality systems. Commitment to quality in : software development is essential both for satisfying customers and : improving the productivity of the development process. It is time to : consider information quality as a main goal to achieve, instead of a : subproduct of database creation and development processes. : : Papers are solicited in a broad range of related topics including, but no : limited to: : : · Quality in Conceptual Modelling : · Data Quality : · Metrics for Conceptual Modelling : · Database Quality : · Metrics for Databases : · Data Quality in Datawarehouses : : DQI´2000 SESSION ORGANAIZERS : : Mario Piattini Velthuis, Associate Proffesor, [mpiattin(a)inf-cr.uclm.es] : Marcela Fabiana Genero, Associate Proffesor, [mgenero(a)inf-cr.uclm.es] : : Languages & Computer Systems Department : University of Castilla-La Mancha : Ronda de Calatrava 5 : 13071 - Ciudad Real : Spain : : Tel. : +34 926 295300 Ext. 3747 : Fax : +34 926 295351 : : Program Committe : : Alejandra Cechich Universidad del Comahue (Argentine) : Calero Coral Universidad de Castilla La Mancha (Spain) : Esperanza Manso Universidad de Valladolid (Spain) : Esperanza Marcos Universidad Rey Juan Carlos (Spain) : Martina Marre Universidad de Buenos Aires (Argentine) : Oscar Pastor Universidad Politécnica de Valencia (Spain) : José Antonio Rodero Universidad de Murcia (Spain) : Angélica Urrutia Universidad Católica del Maule (Chile) : : IMPORTANT DATES : : Paper Submissions: March 3rd, 2000 : Notification of acceptance: April 3rd, 2000 : Camera-ready papers due: May 2nd, 2000 : : SUBMISSION INSTRUCTIONS : : Authors should submit a paper in English of up 5,000 words (or 10 pages), by : e-mail (attached file in an accepted format- see below). The only accepted : format is WORD 7. : The programme committee will review all papers and the first author of each : paper will be notified of acceptance, by e-mail. : : FORMATTING GUIDELINES : : Submitted papers should be formatted for A4 size paper, and must me written : in English, and carefully checked for correct grammar and spelling. : The text should be in Times New Roman, 12 pt, justified and single spaced. : There should be headers/footers and no page numbers. : Margins requirements are as follows: Top: 3 cm; Bottom: 3; Left: 2.5; Right: : 2.5. : : The paper should include: : : (a) The title: 14 pt bold type, centred and in upper case. : (b) Authors and affiliations (incl. full address and e-mail) should all be : 11 pt, centred, under the title. Authors (bold) and affiliation/contact : details (italic) should be centred. For multiple authors use a superscript : to indicate affiliation/contact details. : (c) Abstract: maximum 200 words, 12pt. : (d) Keywords: maximum of five, under abstract, separated by commas. : (e) Headings should be numbered and in mixed case 12 pt. bold text. : Generally two, and at most three levels of numbered headings should be used. : (f) Figures and tables should be numbered sequentially, with a 10 pt. : caption centred immediately below. Figures should be placed in the main : text, as close as possible to their first reference., and centred in a : column or across the page if necessary. : (g) Bibliographical references should be listed alphabetically at the end of : the paper. Examples are given below: : : Henderson-Sellers, B. (1996). Object-oriented Metrics - Measures of : complexity. Prentice-Hall, Upper Saddle River, New Jersey. : : Kitchenham, B., Pflegger, S. and Fenton, N. (1995). Towards a Framework for : Software Measurement Validation. IEEE Transactions of Software Engineering, : 21(12), 929-943. : : Moody, L., Shanks, G. and Darke, P. (1998). Improving the Quality of Entity : Relationship Models - Experience in Research and Practice. Proceedings of : the Seventeenth International Conference on Conceptual Modelling (E/R ´98), : Singapore, 255-276. : : MORE INFO: : : http://alarcos.inf-cr.uclm.es/event.htm : : MARCELA FABIANA GENERO | E-mail: mgenero(a)inf-cr.uclm.es : Escuela Superior de Informatica | Tel. : +34 926 295300 Ext. 3747 : Universidad de Castilla-La Mancha | Fax : +34 926 295351 : Ciudad Real (España) | Dirección: : | Ronda de Calatrava 5 : | 13071 - Ciudad Real : | España : : | : : ===== 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] SECOND Call for papers AMCIS 2000 Mini-Track - IT/IS Evaluation
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [Zahir.Irani(a)brunel.ac.uk] sent originally on Wed, 16 Feb 2000 10:21:26 +0000: : AMCIS 2000 : Americas Conference on Information Systems : : Long Beach, California : August 10th - 13th, 2000 : : Call for Papers for the Mini Track : : "Information Systems Evaluation" : : This mini track will focus on Information Systems (IS) : evaluation and in doing so, will offer a forum to raise and : discuss those human and organizational factors associated : with evaluating investments in new technology. IS : expenditure has become a priority within many organizations : and many managers are now questioning in greater detail how : they can maximize their portfolio of IS related business : benefits, while minimizing indirect costs. The complexity : of IS and its multiple stakeholders when combined with the : uncertainty and unpredictability associated with benefit : and cost management, point to the need for improved IS : evaluation metrics. Topics that will be addressed by this : mini track include: : : · Technology Management : · Investment Appraisal Techniques : · Cost/Benefit and Risk Considerations/Realisations : · Social/Human Aspects of Decision Making : · IT/IS Performance Measures : · Post-implementation Evaluation : : Mini Track Co-Chairs : : · Dr Zahir Irani : Center for Strategic Information Systems: IS Evaluation : Group Department of Information Systems and Computing : Brunel University, Uxbridge, Middlesex, UK e-mail: : zahir.irani(a)brunel.ac.uk : : · Peter E.D. Love : Australian Agile Construction Initiative : School of Architecture and Building : Deakin University, Geelong, Victoria, 3217, Australia : e-mail: pedlove(a)deakin.edu.au : : · Professor Mohamed Zairi : The European Centre for Total Quality Management : University of Bradford, Bradford, Yorkshire, UK : e-mail: : Important Dates : : Submission of Material: March 15, 2000 : Notification of Acceptance: April 15, 2000 : Camera-Ready Copy: May 5, 2000 : Conference Registration: June 1, 2000 : : Submission Guidelines : : All submissions and inquiries are to be made to (One of : Co-Chairs or all Co-Chairs at e-mail address(es)). : Submissions must be in English, and should represent the : original work of the authors. Each submission is limited to : SEVEN pages (approximately 3500 words) in length for a full : complete research paper and THREE pages (approximately 1500 : words) for a research-in-progress paper. All submissions : should be made electronically and sent as an attachment in : MS Word, WordPerfect, PDF, or HTML format. Please indicate : "AMCIS 2000 Mini Track Submission" in the subject line of : the e-mail to which your submissions are attached. Best : papers will be recognized and receive awards at the : conference. : : Submissions should include the following: : : i) Name, e-mail, mailing address, : university/organization affiliation, phone/fax numbers of : the contact person and all co-authors. ii) Title of : the submission, Keywords (five words), Abstract, and Main : body of the submission. iii) References and/or : bibliography (in MIS Quarterly format). : : Americas Conference on Information Systems covers the : latest and important issues in Information Systems and to : serve the research and teaching interests of the IS : community. : : For more details about AMCIS 2000, see : www.csulb.edu/conference/ais2000. : : ---------------------- : Dr Zahir Irani : Lecturer of IS/Industrial Placements Director : Department of Information Systems and Computing : Brunel University Uxbridge, Middlesex UB8 3PH : : Tel: +44 1895 274 000 Ext. 2133 : Fax: +44 1895 251 686 : E-mail: Zahir.Irani(a)brunel.ac.uk : URL: http://www.brunel.ac.uk/~csstzni : : ===== 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] AMCIS 2000 Mini Track on Data Mining and Information Retrieval -- Second Call for Papers
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [wspangle(a)WVU.EDU (William E. Spangler)] sent originally on Wed, 16 Feb 2000 15:53:04 -0500: : --ÿÿÿÿÿÿÿ_25236567ÿ : Content-Type: text/plain; charsetÿs-ascii" : : --ÿÿÿÿÿÿÿ_25236567ÿ : Content-Type: text/plain; charsetÿs-ascii" : : AMCIS 2000 : Americas Conference on Information Systems : Long Beach, California : August 10th - 13th, 2000 : : Call for Papers for the Mini Track : "Data Mining and Information Retrieval in Business" : : With the advent of new technologies and business practices, including the : explosion of electronic commerce and the trend toward mass personalization, : businesses are searching for new ways to make sense of massive, and : increasing, amounts of data. Data mining allows businesses to ascertain patterns : in data that indicate consumer buying habits, competitor strategies, credit : worthiness, incidence of fraud, and other information of strategic importance. This : mini-track seeks to provide a forum for researchers to share investigations : and ideas in the diverse field of data mining. Current research in data mining : explores areas related to algorithm development and performance, the data : mining process, and the impact of data mining on business practices, among : others. Information Retrieval (IR) algorithms support computerized search of : large document collections (i.e., millions of documents) to retrieve small : subsets relevant to the user's information needs. Examples are book searching : in electronic bookstores and auctions, digital library catalogues and Internet : search engines. IR Application areas include: cross language retrieval, : speech/broadcast retrieval, text categorization, and text summarization. IR : algorithms are subject to objective testing and evaluation for hundreds of : queries on millions of documents (the TREC set and conferences, for example). : : Possible Topics may include, but are not limited to, the following areas: : : * Mining of multimedia data, including image, video and sound data : * New/hybrid algorithms for data mining : * Performance evaluation of data mining methods : * Aligning data mining with task objectives and business strategy : * The impact of data mining on e-commerce strategies : * Mining of internet-based data : * Domain- and problem-specific data mining : * Data mining applications in industry : * Exploring the data mining process, including issues of data selection, : cleaning and preprocessing, and interpretation of results : * Information Retrieval algorithms for electronic commerce and other : applications : * Classifying the WWW with text categorization and clustering : * Analyzing WWW query logs for persistent patterns and query clusters : * Non-English language and cross-language information retrieval : * Text summarization and gisting : : Mini Track Co-Chairs : : William E. Spangler : West Virginia University : (304) 293-7933 : wspangle(a)wvu.edu : : H. Michael Chung : California State University, Long Beach : (562)985-7691 : Hmchung(a)csulb.edu : : Fredric C. Gey : University of California, Berkeley : (510) 642-6571 : gey(a)ucdata.berkeley.edu : : Important Dates : Submission of Material: March 15, 2000 : Notification of Acceptance: April 15, 2000 : Camera-Ready Copy: May 5, 2000 : Conference Registration: June 1, 2000 : : Submission Guidelines : All submissions and inquiries are to be made to William E. Spangler : (wspangle(a)wvu.edu). Submissions must be in English, and should represent the : original work of the authors. Each submission is limited to SEVEN pages : (approximately 3500 words) in length for a full complete research paper and : THREE pages (approximately 1500 words) for a research-in-progress paper. All : submissions should be made electronically and sent as an attachment in MS : Word, WordPerfect, PDF, or HTML format. Please indicate "AMCIS 2000 Mini Track : Submission" in the subject line of the e-mail to which your submissions are : attached. Best papers will be recognized and receive awards at the conference. : : Submissions should include the following: : i)Name, e-mail, mailing address, university/organization affiliation, : phone/fax numbers of the contact person and all co-authors. : ii)Title of the submission, Keywords (five words), Abstract , and Main body of : the submission. : iii) References and/or bibliography (in MIS Quarterly format). : : Americas Conference on Information Systems covers the latest and important : issues in Information Systems and to serve the research and teaching interests : of the IS community. For more details about AMCIS 2000, see : www.csulb.edu/conference/ais2000. : : --ÿÿÿÿÿÿÿ_25236567ÿ : Content-Type: text/plain; charsetÿs-ascii" : : --------------------------------------------------------------------- : William E. Spangler : Dept. of Management and Industrial Relations : College of Business and Economics : West Virginia University : Morgantown, WV 26506-6025 : Voice: 304-293-7933 Fax: 304-293-8905 : E-mail: wspangle(a)wvu.edu : URL: http://www.wvnet.edu/~wspangle : --------------------------------------------------------------------- : : --ÿÿÿÿÿÿÿ_25236567ÿ-- : : ÿÿ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] AMCIS 2000 CFP Mini Track on Artificial Intelligence Based Decision Support Applications
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [brajag(a)ILSTU.EDU (Balaji Rajagopalan)] sent originally on Wed, 16 Feb 2000 16:57:28 -0600: : <html> : <div align="center"> : AMCIS 2000 Call for Papers for the Mini Track : ARTIFICIAL INTELLIGENCE BASED DECISION SUPPORT : APPLICATIONS : : </div> : Important Dates : Submission of Material : March 15, 2000 : Notification of Acceptance: April 15, 2000 : Camera-Ready Copy: May 5, 2000 : Conference Registration: June 1, 2000 : : As businesses everywhere raise the bar on : performance, old reliable methods of decision making aren't enough to : meet the challenge. New decision aids are being explored to help achieve : business goals and support business strategies. Artificial intelligence : (AI) is among the forefront of such innovations. A major trend in recent : DSS research is the usage of AI based concepts and tools. AI tools and : concepts lend themselves to the complexity of problems in the business : domains. Decision processes and consequently outcomes in the business : domain are characterized by varying dimensions of unstructuredness: : information uncertainty, competing models, underlying assumptions etc. AI : paradigms based on both symbolic as well as connectionist approaches are : being applied in novel business applications resulting in dramatic : improvements in the efficiency and effectiveness of decisions. Further, : core IS areas such as group decision processes, information flow, : technology diffusion, end-user learning and even process re-engineering : are being understood better with AI concepts and models. The minitrack : will be a forum for interaction and sharing of ideas among researchers : interested in AI based decision support applications in the business : domain. : : Possible Topics may include the : following: : Classification Models, Forecasting, Decision Processes, Education and : Delivery systems, Classifier Systems, Case Based Reasoning, Genetic : Algorithms, Neural Systems, Hybrid Systems, Garbage Cans, Physical Symbol : Hypothesis, Uncertainty Models (prospect theory) ,Cognitive Models of : end-user based on representation, learning and adaptation such as SOAR, : ACT- STAR, Frame theory, Semantic networks , Artificial Adaptive Agents, : Spatial and Temporal Reasoning Critical Success Factors ,Chaos Theory : ,Fuzzy Logic, Experimental Evaluations, Analysis of domain in which AI : based models are appropriate, Architectural Descriptions, Simulations, : Theoretical Foundations, Philosophical Foundations (role of AI in DSS : research) Development and Studying the impact of AI tools & usage : experiences with AI based systems (could include technical, economic, : social, behavioral impact). : : Mini Track Co-Chairs : : Balaji Rajagopalan : 5520 Department of Accounting, : Illinois State University : Normal, IL 61790. : E-mail: brajag(a)ilstu.edu : Phone: (309)438-7786 : Fax: (309)438-8431 : : Ravi Krovi : Department of Management : College of Business Administration : The University of Akron : 259 South Broadway : Akron, OH 44325 : E-mail: krovi(a)uakron.edu : Phone: (330) : 972-8108 : : Akhilesh Chandra : School of Business & Economics, Merrick Hall : North Carolina A&T State University : 1601 East Market Street : Greensboro, NC 27411. : Phone: (336)334-7656 (ext.6012) : E-mail: chandraa(a)ncat.edu : : Submission Guidelines : All submissions and inquiries are to be made to (One of Co-Chairs : or all Co-Chairs at e-mail address(es)). Submissions must be in : English, and should represent the original work of the authors. Each : submission is limited to SEVEN pages (approximately 3500 words) in : length for a full complete research paper and THREE pages : (approximately 1500 words) for a research-in-progress paper. All : submissions should be made electronically and sent as an : attachment in MS Word, WordPerfect, PDF, or HTML format. Please indicate : "AMCIS 2000 Mini Track Submission" in the subject line of the : e-mail to which your submissions are attached. Best papers will be : recognized and receive awards at the conference. : : Submissions should include the following: : i)Name, e-mail, mailing address, university/organization affiliation, : phone/fax numbers of the contact person and all co-authors. : ii)Title of the submission, Keywords (five words), Abstract , and Main : body of the submission. : iii) References and/or bibliography (in MIS Quarterly format). : : Americas Conference on Information Systems covers the latest and : important issues in Information Systems and to serve the research and : teaching interests of the IS community. For more details about AMCIS : 2000, see : <a href="http://www.csulb.edu/conference/ais2000" eudora="autourl">www.csulb.edu/conference/ais2000</a>. : : : : Balaji : Rajagopalan : Asst. Professor of Business Information Systems : Dept. of Accounting, Box 5520 : Illinois State University : Normal, IL 61790 : Phone:309-438-7786 : Fax: 309-438-8431 : <a href="http://vision.acc.ilstu.edu/bj/web/default.html" eudora="autourl">http://vision.acc.ilstu.edu/bj/web/default.html</a><tt> : </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] WFLP'2000
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [slucas(a)dsic.upv.es] sent originally on Thu, 17 Feb 2000 12:54:41 +0800 (GMT-8): : [We apologize for multiple copies of this message] : : ====================================================================== : : CALL FOR PAPERS : : 9th International Workshop on Functional and Logic Programming : WFLP'2000 : : Benicassim, Spain : September 28-30, 2000 : : ====================================================================== : : PRESENTATION : : WFLP'2000 is the 9th of a series of international meetings aimed at : bringing researchers and students together to communicate and discuss : recent developments, work in progress, preliminary results, and new : research directions in functional programming, logic programming, as : well as their integration. : : The WWW page of the workshop is: : : http://www.dsic.upv.es/users/elp/WFLP2000 : : ---------------------------------------------------------------------- : TOPICS : : The topics of interest include (but are not limited to): : : * Functional programming : * Logic programming, constraints : * Extensions of declarative languages : * Multiparadigm declarative programming : * Foundations: lambda calculus, rewriting, narrowing, semantics : * Concurrency : * Language concepts : * Program analysis and abstract interpretation : * Program transformation and partial evaluation : * Specification, verification, model checking, declarative debugging : * Inductive declarative programming and machine learning : * Implementation of declarative languages : * Advanced programming environments and tools : * Applications : : ---------------------------------------------------------------------- : SUBMISSION : : Authors are invited to submit a 3-page position paper or abstract : in postscript format (11pt) via email to : : wflp2000(a)dsic.upv.es : : before April 28, 2000. Submissions should include the title, authors' : names, affiliations, addresses, and e-mail. Full versions of accepted : contributions (not to exceed 15 pages) will be required by June 30, : 2000. Proceedings will be published as a Technical Report of the : Departamento de Sistemas Informaticos y Computacion of the Technical : University of Valencia. : : ---------------------------------------------------------------------- : PROGRAMME : : The workshop will be a 3-day event that provides a forum for : individual presentations of the accepted contributions as well : as group discussions. The technical program will include presentations : of the accepted papers as well as guest speakers (to be announced). : : ---------------------------------------------------------------------- : LOCATION : : WFLP'2000 is hosted by the Departamento de Sistemas Informaticos y : Computacion of the Technical University of Valencia, Spain. WFLP'2000 : will take place on September 28-30, 2000 in Villa Elisa, a nice : seaside villa located in Benicassim, Castellon, on the eastern coast : of Spain. More details about the accomodation, traveling information, : etc., will be available at the WFLP'2000 WWW page. : : ---------------------------------------------------------------------- : IMPORTANT DATES : : Deadline for submissions : April 28, 2000 : Final version due : June 30, 2000 : Workshop dates : September 28-30, 2000 : : ---------------------------------------------------------------------- : CONTACT : : WFLP'2000 : Maria Alpuente : Departamento de Sistemas Informaticos y Computacion : Universidad Politecnica de Valencia : Camino de Vera, s/n : 46022 Valencia, Spain : Phone: +34 96 3 87 93 54 : Fax : +34 96 3 87 73 59 : Email: wflp2000(a)dsic.upv.es : : ---------------------------------------------------------------------- : ORGANIZING COMMITTEE : : Elvira Albert Jose Hernandez Francisco Javier Oliver : Maria Alpuente Carlos Herrero Maria Jose : Ramirez : Santiago Escobar Marisa Llorens German Vidal : Cesar Ferri Salvador Lucas Alicia Villanueva -- 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] FroCoS'2000: Call for Participation
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [Christophe.Ringeissen(a)loria.fr] sent originally on Thu, 17 Feb 2000 12:56:03 +0800 (GMT-8): : [We apologize for multiple copies. : Please circulate to interested colleagues] : : INTERNATIONAL WORKSHOP ON FRONTIERS OF COMBINING SYSTEMS (FroCoS'2000) : March 22 - 24, 2000, Nancy, France : : CALL FOR PARTICIPATION including PROGRAM and REGISTRATION FORM : **************************************************************** : : http://www.loria.fr/conferences/frocos2000/ : : The two previous international workshops on ``Frontiers of Combining : Systems'' were held in Munich (1996) and in Amsterdam (1998). : Like its predecessors, FroCoS'2000 is intended to offer a common : forum for research activities in the general area of combination and : integration of systems, and on their practical use. : : * Topics. The topics of interest are related to the general area : of combination and integration of systems, including: : Combination of logics, Combination of constraint solving techniques : (resp. decision procedures, term rewriting systems), Combination of : deduction systems and computer algebra, Integration of decision : procedures (resp. solving processes) into constraint programming and : deduction systems, Modelisation of hybrid systems, Logic modelling : of multi-agent systems. : : * Proceedings. Presented papers will appear in the proceedings of the : conference, published as a volume of the Lecture Notes in Artificial : Intelligence (LNCS) series, Springer-Verlag. Proceedings will be : available at the time of the conference. : : * Program co-chairs. H. Kirchner, C. Ringeissen (e-mail: frocos(a)loria.fr). : * Program committee. F. Baader, D. Basin, F. Benhamou, T. Fruehwirth, : F. Giunchiglia, B. Gramlich, H. Kirchner, C. Kreitz, T. Mossakowski, : J. Pfalzgraf, M. de Rijke, C. Ringeissen, T. Scott, M. Wallace. : : * Program : The scientific program can be found below. : : * Conference Registration : The registration form is located at: : http://www.loria.fr/conferences/frocos2000/registration-form.txt : and also appended below. : : * Hotel Accommodation : Participants have to arrange bookings directly with the various : hotels located near the site of the conference. : The list of suggested hotels can be found at: : http://www.loria.fr/conferences/frocos2000/hotels.txt : : These hotels keep several rooms available for the conference participants : until February 15, 2000. : ***************** : After this date, availability is not guaranteed. : Please make your hotel reservation AS SOON AS POSSIBLE, by quoting : "FroCoS'2000 Conference" (see the list of hotels for phone and fax : numbers). : : Do not hesitate to contact the local organizers : (frocos(a)loria.fr, re(a)loria.fr) for any problem with the hotel reservation. : : Sponsors: CNET, CNRS, Communaute Urbaine du Grand Nancy, : Conseil General de Meurthe et Moselle, Conseil Regional de Lorraine, : GDR ALP, INPL, INRIA, LORIA, Universities of Nancy. : : Please note the following deadlines: : : Hotel Accommodation (Guarantee of availability): February 15, 2000 : Early Conference Registration : February 22, 2000 : : Looking forward to your participation, : : C. Bergeret, A.-L. Charbonnier, A. Demange : H. Kirchner, C. Ringeissen, L. Vigneron : The FroCoS'2000 Organizing Committee : : ********************************************************************* : : FroCoS'2000 PROGRAM : : Wednesday March 22, 2000 : : 9-9.30 WELCOME and INTRODUCTION : : Session 1: : 9.30-10.30 Invited talk : A. Bockmayr (LORIA, Nancy) : Combining Logic and Optimisation in Cutting Plane Theory : : 10.30-11 BREAK : : 11-11.30 : Towards Cooperative Interval Narrowing : L.Granvilliers : : 11.30-12 : Constraint Solving in Proof Planning : E.Melis, J.Zimmer, T.Mueller : : 12-12.30 : Termination of Constraint Contextual Rewriting : A.Armando, S.Ranise : : 12.30-14.00 LUNCH : : Session 2: : 14-15 Invited talk : G. Dowek (INRIA-Rocquencourt) : Orienting Equalities and Equivalences in Automated Theorem Proving: : From Completeness to Cut Elimination : : 15-15.30 BREAK : : 15.30-16 : Normal Forms and Proofs in Combined Modal and Temporal Logics : U.Hustadt, C.Dixon, R.A.Schmidt, M.Fisher : : 16-16.30 : Structured Sequent Calculi for Combining Intuitionistic and : Classical First-Order Logic : P.Lucio : : VISIT OF NANCY and CONFERENCE DINNER : : --------------------- : : Thursday March 23, 2000 : : Session 3: : 9-10 Invited talk : R. Zippel (IDC Herzliya) : Program Composition Techniques for Numerical PDE Codes : : 10-10.30 BREAK : : 10.30-11 : Handling Differential Equations with Constraints for Decision Support : J.Cruz, P.Barahona : : 11-11.30 : Non-trivial Computations in Proof Planning : V.Sorge : : 11.30-12 : Integrating computer algebra and reasoning through the type system of Aldor : E.Poll, S.Thompson : : 12-14 LUNCH : : Session 4: : 14-15 Invited talk : T. Uribe (Stanford University) : Combinations of Theorem Proving and Model Checking : : 15-15.30 BREAK : : 15.30-16 : Compiling Multi-Paradigm Declarative Programs into Prolog : S.Antoy, M.Hanus : : 16-16.30 : Modular Redundancy for Theorem Proving : M.Bofill, G.Godoy, R.Nieuwenhuis, A.Rubio : : 16.30-17 : Composing and Controlling Search in Reasoning Theories using Mappings : A.Coglio, F.Giunchiglia, J.Meseguer, C.Talcott : : BUSINESS MEETING : : --------------------- : : Friday March 24, 2000 : : Session 5: : 9-10 Invited talk : K. Schulz (LMU Muenchen) : Why combined decision problems are often intractable : : 10-10.30 BREAK : : 10.30-11 : Congruence Closure Modulo Associativity-Commutativity : L.Bachmair, I.V.Ramakrishnan, A.Tiwari, L.Vigneron : : 11-11.30 : Combining Equational Theories Sharing Non-Collapse-Free Constructors : F.Baader, C.Tinelli : : 11.30-12 : Comparing expressiveness of set constructor symbols : A.Dovier, C.Piazza, A.Policriti : : 12-14 LUNCH : : END OF THE CONFERENCE : : ********************************************************************* : : FroCoS'2000 Registration : ------------------------ : : Please fill this form and return it (preferably before FEBRUARY 22, 2000) : by email to: re(a)loria.fr : or : by fax to: : : INRIA-Lorraine & LORIA : Relations Exterieures : attn A.-L. Charbonnier & A. Demange : 615 rue du Jardin Botanique : BP 101, 54602 Villers-les-Nancy Cedex : FRANCE : : FAX NUMBER: +33 3 83 28 46 28 : TEL NUMBER: +33 3 83 59 30 61 or +33 3 83 59 30 26 : : _____________________________________________________________________ : : Name: .............................................................. : First Name: ........................................................ : Affiliation: ....................................................... : Address: ........................................................... : .................................................................... : E-mail: ............................................................ : Fax: ............................................................... : Tel.: .............................................................. : : For our information: : Hotel .............................................................. : (NB: The booking should be done directly with the Hotel, : by quoting "FroCoS'2000 Conference") : : Dietary restrictions: [ ] vegetarian other: ............... : (check this item if you need vegetarian food) : _____________________________________________________________________ : : WORKSHOP FEES : ------------- : : -- Early registration, before FEBRUARY 22, 2000 : [ ] 1000 FF (152,45 Euros) : : -- Student registration, before FEBRUARY 22, 2000 : [ ] 800 FF (121,96 Euros) : : -- Late registration : [ ] 1500 FF (228,67 Euros) : : The fees include: proceedings, lunches, coffee breaks, and : conference dinner. : : Please check the appropriate amount for the conference registration. : : _____________________________________________________________________ : : Please send this amount by choosing one of the following forms of payment: : : -- Cheque : in French currency, drawn on a french bank, made to the order of : "Agent Comptable de l'INRIA" : : -- EuroCheque : EuroCheque in French (or Euro) currency, made to the order of the : "Agent Comptable de l'INRIA" : : -- Credit Card: [ ] VISA [ ] Mastercard : only on the workshop location. Please bring your card. : : -- Moneyorder : Money order in French (or Euro) currency to this bank account: : Tresorerie Generale des Yvelines : 16 Avenue de Saint-Cloud : 78018 Versailles Cedex : FRANCE : : Compte 10071-78000-00003003958.80 : (Code Banque 100 71 : Code Guichet: 78000 : Numero de compte: 00003003958 cle 80 : ) : : Please, mention your name and FroCoS'2000. : : Send with your registration form a copy of your order : and make sure that all bank charges and commissions are covered. : : Your registration will be confirmed by email. -- 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 Systems-Session at NMR 2000
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [dix(a)uni-koblenz.de] sent originally on Thu, 17 Feb 2000 13:28:05 +0800 (GMT-8): : ====================================================================== : 8th Intl. Workshop on NON-MONOTONIC REASONING (NMR'2000) : : April 9-11, Breckenridge, Colorado : (Collocated with KR'2000, April 12-15) : : URL: http://www.cs.engr.uky.edu/nmr2000/ : ====================================================================== : : CALL FOR SUBMISSIONS TO THE SYSTEMS DESCRIPTION AND DEMONSTRATION : SESSION (due Feb. 14) : : Please submit information about your system online by filling the : form at http://www.uni-koblenz.de/ag-ki/LP/lp.html : : Fill the slots using ascii. Provide as complete information as possible. : : Please also submit a latex version for the informal proceedings. The : required Latex form and standard Springer Lecture Notes style files can : be obtained at http://cs.engr.uky.edu/nmr2000/FORM.tar : : After downloading the file, untar it with the command tar -xf FORM.tar : This will produce a subdirectory NMR2000 and three files: a latex file : Systems_Form.tex and two style files: llncs.cls and llncs.sty. Fill in : the template provided by the file Systems_Form.tex. The input for : the sections: General Information, Applying the System, and Evaluating : the System, are mandatory. : : Send the ps-version of your submission directly to Juergen Dix at : dix(a)uni-koblenz.de : : In case of questions, contact Juergen Dix at dix(a)uni-koblenz.de : : Check the workshop web page for more details. : : Juergen Dix Tel: +49 261 287-2776 : Department of CS Fax: +49 261 287-2731 : University of Koblenz E-mail: dix(a)uni-koblenz.de : Rheinau 1 URL: http://www.uni-koblenz.de/~dix : D-56075 KOBLENZ : GERMANY : _________________ : ________ -- 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] CL2000: deadline postponed to February 21st
by Gustaf Neumann 17 Feb '00

17 Feb '00

Forwarded message from [femke(a)skiff.cs.vu.nl] sent originally on Thu, 17 Feb 2000 13:31:03 +0800 (GMT-8): : *** apologies for multiple copies *** : : First International Conference on Computational Logic, CL2000 : Imperial College, London, UK : 24th to 28th July, 2000 : : http://www.doc.ic.ac.uk/cl2000/ : : : Due largely to the difficulties caused by related conferences having : submission dates at about the same time, the submission deadline for : CL2000 is postponed to : : Monday 21st February, 2000. : : : If you wish to take advantage of this extension, you are asked to email : the Chair of the Stream to which you intend to submit the title, author(s), : abstract, and keywords for your paper *as soon as possible*. : : Highlights of the conference include 8 invited speakers, 12 tutorials, and : a strong workshop programme held in-line with the conference. Collocating : with CL2000 are DOOD2000, LOPSTR2000, and ILP2000. Full details about the : conference, including the email addresses of the Stream Chairs, are given : at the above URL. -- 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] SECOND Call for papers AMCIS 2000 Mini-Track - Customer Relations Management
by Gustaf Neumann 16 Feb '00

16 Feb '00

Forwarded message from [nicholas-romano(a)utulsa.edu] sent originally on Tue, 15 Feb 2000 16:56:18 -0600: : AMCIS 2000 : Americas Conference on Information Systems : Long Beach, California : August 10th - 13th, 2000 : : Call for Papers for the Mini Track : "Customer Relations Management" : : This mini track addresses issues of Customer Relations Management (CRM). CRM : involves attracting and keeping "Economically Valuable" customers and : repelling and eliminating "Economically Invaluable" ones. Peter Keen asserts : we are on the threshold of a shift from a transaction-based economy to a : relationship-based economy. The significance of CRM will continue to : increase along with growth in Knowledge-Based Business Models and Electronic : Commerce. The future will involve business models that integrate customers : as equal partners within markets, rather that than considering them only as : end-nodes in value chains. This rising importance of managing customer : relationships in Information Systems is the catalyst for proposing this : minitrack. : : Possible Topics may include but are not limited to the following: : : * CRM within Markets : * Market Development and Structure : * Market Management : * Market Governmental Regulation : * Market Cooperative Norms and Netiquette : : * CRM within Business Models : * Business Model Development : * Virtual Communities : : * Knowledge Management for CRM : * Customer Profiles, Knowledge Elicitation and Creation : * Knowledge Analysis and Enhancement : * Knowledge Representation and Specification : : * CRM Technological Issues : * Ease of Use and Usability : * Application of IS theories and Models to eCommerce Applications : * New Devices and Channels : : * CRM Human Issues. : * Customer Commitment to Relationships : * Customer Trust and Confidence : * Customer Privacy : * Customer Satisfaction : * Customer Value-added Measurement : * Customer Interactions : * Cyber-intermediation : : Mini Track Chair : Nicholas C. Romano, Jr <mailto:Nicholas-Romano@UTulsa.EDU>., : Department of MIS : College of Business Administration : 600 S. College Avenue : University of Tulsa : Tulsa, OK 74104-3189 : Nicholas-Romano(a)Utulsa.EDU <mailto:Nicholas-Romano@Utulsa.EDU> : Voice: 918-631-3992 : Fax: 918-631-2164 : : Important Dates : Submission of Material : March 15, 2000 : Notification of Acceptance: April 15, 2000 : Camera-Ready Copy: May 5, 2000 : Conference Registration: June 1, 2000 : : Submission Guidelines : All submissions and inquiries are to be made to (Nicholas C. Romano, Jr : <mailto:Nicholas-Romano@UTulsa.EDU>. - Nicholas-Romano(a)Utulsa.EDU : <mailto:Nicholas-Romano@UTulsa.EDU>). Submissions must be in English, and : should represent the original work of the authors. Each submission is : limited to SEVEN pages (approximately 3500 words) in length for a full : complete research paper and THREE pages (approximately 1500 words) for a : research-in-progress paper. All submissions should be made electronically : and sent as an attachment in MS Word, WordPerfect, PDF, or HTML format. : Please indicate "AMCIS 2000 CRM Mini Track Submission" in the subject line : of the e-mail to which your submissions are attached. Best papers will be : recognized and receive awards at the conference. : : Submissions should include the following: : i)Name, e-mail, mailing address, university/organization affiliation, : phone/fax numbers of the contact person and all co-authors. : ii)Title of the submission, Keywords (five words), Abstract , and Main body : of the submission. : iii) References and/or bibliography (in MIS Quarterly format). : : Americas Conference on Information Systems covers the latest and important : issues in Information Systems and to serve the research and teaching : interests of the IS community. For more details about AMCIS 2000, see : www.csulb.edu/conference/ais2000. : : Nicholas C. Romano, Jr. : Assistant Professor of MIS : College of Business Administration : 600 S. College Avenue : Univeristy of Tulsa : Tulsa, OK 74104-3189 : : Voice: 918-631-3992 : Fax: 918-631-2164 : : ===== 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: ISDO'00 - Workshop on Infrastructures for Dynamic Business
by Gustaf Neumann 15 Feb '00

15 Feb '00

Forwarded message from [hlu(a)zurich.ibm.com] sent originally on Mon, 14 Feb 2000 13:47:33 +0100 (MET): : Call for Position Papers and Participation : : CAiSE*00 Workshop on : : Infrastructures for Dynamic Business-to-Business Service Outsourcing (ISDO'00) : : Stockholm, 5 - 6 June 2000 : : (http://www.zurich.ibm.com/~hlu/ISDO00/) : : OBJECTIVE AND SCOPE : : The objective of the workshop is to provide a platform to discuss models : and technologies for service outsourcing. The emphasis of the workshop will : be on the integration of the dynamic establishment, set-up, and enactment of : service relationships that connect the business processes of service providers : and consumers, establishing virtual enterprises. : : Now-a-days, many production companies integrate their procurement processes : using online marketplaces and network-based supply chain management systems. : However, this is not the case for the service industry. While many service : organisations have already automated their internal business process management : (e.g. using workflow management systems, enterprise resource planning (ERP) : systems, for example), service marketplaces remain an uncommon phenomenon. The : reason for this is that the integration of service sales, service enactment, : and customer interaction with the service process still appears to be highly : difficult. This is particularly the case where complex services, such as : insurance and complex logistics for example, involve considerable customer : interaction. : : The integration of virtual marketplace service procurement/sales with : configuration and enactment of dynamic, interactive business processes raises : many issues that have to be addressed: : : - Contract Establishment: How to establish contracts which describe services : in terms of their functionality, quality guarantees, the customer support : facilities, etc. in a manner which facilitates the advertising and searching : for compatible services? : - Fulfillment Policy: How to describe enactment policies, how to specify the : fulfillment policy for quality guarantees? : - Service Set-up and Configuration: How to exploit the contracts when setting : up the infrastructure in the consumer and provider organisations? : - Backend Integration: How to integrate the market related activities with the : core business process systems? : - Consumer Interaction: How to facilitate the management of outsourced services : by the service consumer? : - Assessment: How to evaluate whether the service was profitable, successful : (post execution)? : - Conflict Handling: How to resolve conflicts and disputes about service : fulfillment? : : Some of these issues are being addressed in a domain specific manner (e.g. : telecommunication industry). Furthermore, some existing solutions which : address part of the problem cannot inter-operate with other existing solutions. : What appears to be lacking is an integrated approach to the problem. : : The purpose of this workshop therefore is to: : : - Get an overview of ongoing projects and upcoming products. : - Compile requirements for integrated service outsourcing infrastructures. : - See whether existing standards help address the problems. : - Learn from the experience of successful or unsuccessful deployments. : - Serve as a starting point for community-building activities in this field. : : INTENDED PARTICIPANTS : : Researchers and professionals from academia and industry that are working in : the fields of electronic marketplaces, ontologies, description languages, : electronic catalogues, workflow and other business process management systems, : service gateways, or related subjects. : : SUBMISSION OF POSITION PAPERS AND PUBLICATION : : Participants are required to submit a position paper outlining results or work : in progress, or experience reports. : : Topics of interest include but are not limited to: : - Electronic service marketplaces. : - Service description languages. : - Electronic contract representation. : - Electronic contract signing. : - Electronic service catalogues. : - Service gateways. : - Service configuration. : - QoS measurement and management. : - Integration with ERP systems. : - Integration with other service enactment management system platforms. : - Integration with Workflow management systems. : - Business and legal issues of service outsourcing. : - Interactive service management by the service consumer. : : Position paper must not exceed 2500 words. Depending on the quality, a summary : of the workshop and the best papers will be published in the JASS Journal : (http://www.unipi.gr/pi). : : IMPORTANT DATES : : Position papers due: March 14, 2000 : Notification of acceptance: April 17, 2000 : Workshop: June 5 pm to June 6 am, 2000 : : PROGRAM COMMITTEE : : A program committee selects the participants according to their position : papers. The membership comprises: : : - Karl Aberer (GMD IPSI, Germany) : - Gustavo Alonso (ETH Zurich, Switzerland) : - Michael Amberg (RWTH Aachen, Germany) : - Martin Bichler (Vienna University of Technology, Austria) : - Christoph Bussler (The Boeing Company, USA) : - Asuman Dogac (Middle East Technical University, Turkey) : - Simon Field (IBM Zurich Research Laboratory, Switzerland) : - Paul Grefen (University of Twente, The Netherlands) : - Benjamin Grosof (IBM T.J. Watson Research Laboratory, USA) : - Yigal Hoffner (IBM Zurich Research Laboratory, Switzerland) : - Christian Huemer (University of Vienna, Austria) : - Willem Jonker (KPN Research, The Netherlands) : - Heiko Ludwig (IBM Zurich Research Laboratory, Switzerland, Chair) : - Ming-Chien Shan (HP Laboratories, USA) : - Aphrodite Tsalgatidou (University of Athens, Greece and University of : Jyvaskyla, Finland) : - (more to come when necessary) : : WORKSHOP ORGANISERS : : - Heiko Ludwig : IBM Research, Zurich Research Laboratory : hlu(a)zurich.ibm.com : : - Yigal Hoffner : IBM Research, Zurich Research Laboratory : yho(a)zurich.ibm.com : : - Christoph Bussler : The Boeing Company : Christoph.Bussler(a)pss.boeing.com : : - Martin Bichler : Vienna University of Economics and Business Administration : Martin.Bichler(a)wu-wien.ac.at -- 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