Cfp May 2000

cfp@alice.wu.ac.at

1 participants
56 discussions

[forwarded] [SICStus] final CFP
by Gustaf Neumann 24 May '00

24 May '00

Forwarded message from [sicstus-users(a)sics.se ] sent originally on Wed, 24 May 2000 09:01:20 -0600: : CL'2000 Workshop on : (Constraint) Logic Programming and Software Engineering : London, UK, July 25, 2000 : : The aim of this workshop is to explore applications of logic : programming and constraint programming to the process of : constructing reliable software and to programming-in-the-large. : Papers and experience reports describing use of LP and CLP : techniques to various aspects of the software engineering : process are invited. Topics of interest include (but are : not limited to): : : o Rapid prototopying and System Modeling : o Software Design Methodologies based on LP/CLP : o Software Specification : o Domain Specific Languages : o Derivation of Efficient Implementations : from Specifications : o Automatic Software Generation : o Testing and Debugging : o Test Case Generation : o Software Verification : o Software Process Discovery : o Software Reuse : o Analysis of Software Systems/Software Process : o Software Quality Assurance : o Requirements Analysis : o Security Issues : : The workshop will be held on July 25 (Tues) in conjunction with CL'2000 in London : (July 24 - 28). For information on CL2000 visit: http://baza.doc.ic.ac.uk/cl2000. : : Submission deadline: Paper should be received by June 10th. : Notification of acceptance/rejection: June 20, 2000 : : Submission procedure: Electronically submit a : postscript, pdf, or a word file to gupta(a)cs.nmsu.edu. : : Proceedings: Informal proceedings will be published and will : be available during the workshop. Selected : papers may be invited for a special issue of a : journal (to be determined). : : Invited speakers: : Sam Daniel, Motorala, USA : Constance Heitmeyer, Naval Research Labs, USA : : Organizers: Gopal Gupta (New Mexico State University) : gupta(a)cs.nmsu.edu : I. V. Ramakrishnan (SUNY Stony Brook) : ram(a)cs.sunysb.edu : : Contact address and email: : Gopal Gupta : Lab for Logic and Databases : Box 30001/CS : Las Cruces, NM : USA 88003 : : Ph: +1 505 646 6236 : Fax: +1 505 646 1002 : Contact email: gupta(a)cs.nmsu.edu : Web page: http://www.cs.nmsu.edu/~lpse -- 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 - ERP and their impact on decision making
by Gustaf Neumann 24 May '00

24 May '00

Forwarded message from [FAdam(a)AFIS.UCC.IE (Adam, Frederic)] sent originally on Wed, 24 May 2000 15:51:35 +0100: : JOURNAL OF DECISION SYSTEMS : : CALL FOR PAPERS - SPECIAL ISSUE ON: : : Enterprise Resource Planning (ERP) Systems and their impact on Decision : Making : : The Journal of Decision Systems (JDS) invites researchers to contribute to a : special issue of JDS on Enterprise Resource Planning (ERP) systems and their : impact on decision making. This special issue will also focus on other : related types of integrated information systems in the areas of Customer : Relationship Management (CRM) and Supply Chain Management (SCM) and their : impact on managerial practices. It has been argued that these recently : described systems have the potential to revolutionise businesses and result : in much more reliable circulation of data amongst organisational actors and : increased visibility on the key aspects of the business. There is, however, : empirical evidence that ERP systems may not deliver as many benefits as is : claimed by vendors, consultants and, sometimes, academic researchers. One : crucial test in relation to the impact these systems are having on : organisations is to measure the extent to which they are changing the way : managers approach the problems they face. Do ERP systems really help : managers in identifying and tackling problems, or are they just operational : level systems? Do they deliver tangible managerial benefits or are they just : a way of keeping auditors and shareholders happy? : : We seek to publish research papers which investigate the impact which new : types of integrated information systems such as ERP, CRM and SCM, are having : on the decision making processes of organisations. Papers that use in-depth : case studies of organisations which have developed or implemented ERP, CRM : or SCM systems to derive practical advice for managers are also invited. : : Topics include but are not limited to: : : * Managerial goals of Enterprise Resource Planning (ERP) systems : implementations : * Success of ERP implementations in managerial terms and benefits : delivered : * Experiences with Customer Relationship Management (CRM) systems and : their impact on decision making processes : * Experiences with Supply Chain Management (SCM) systems and their : impact on decision making processes : * Evidence of organisational learning with integrated systems : : Each article submitted for this special issue will be reviewed by two : knowledgeable IS researchers and the Guest Editors. The final decision will : be made by the Guest Editor and the full time Editors of JDS. Manuscripts : should normally be 5,000-7,000 words. Detailed instructions for authors can : be found at the web site for this special issue at : http://afis.ucc.ie/fadam/jds-cfp.htm Authors can contact the Guest Editor : for this special issue at any time if they require additional information or : have specific queries regarding the type of paper expected and the topics : preferred. : : Deadline for submission: November 30th, 2000 : Notification of referees' reports: February 28th, 2001 : Final Paper Due: April 30th, 2001 : Date for journal publication: Summer 2001 : : Guest Editor: Frederic Adam : Department of Accounting, Finance and Information Systems : O'Rahilly Building : University College Cork : Cork : Ireland : : Electronic submission is the preferred method of submitting a paper. Please : send a Word / WordPerfect file (including figures and tables integrated in : the text of the paper) to: Fadam(a)afis.ucc.ie : : *********************************************************************** : Frédéric Adam, MBS, Ph.D. : College Lecturer : Dept. of Accounting, Finance, & Information Systems : University College Cork : Cork, Ireland : Phone: + 353 21 903343 : Fax: + 353 21 271566 : E-mail: fadam(a)afis.ucc.ie : home page: http://afis.ucc.ie/fadam/ : *********************************************************************** : : ===== 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] ISDO 00 Call for Participation
by Gustaf Neumann 24 May '00

24 May '00

Forwarded message from [hlu(a)ZURICH.IBM.COM] sent originally on Wed, 24 May 2000 14:19:55 +0200: : Call for Participation : : You are kindly invited to the : : CAiSE*00 Workshop on : : Infrastructures for Dynamic Business-to-Business Service Outsourcing : : (ISDO'00) : : Stockholm, 5 - 6 June 2000 : : Please find information about the ISDO workshop on : http://www.zurich.ibm.com/~hlu/ISDO00. Organisational : information such as registration procedures, accomodation, : etc. can be found on the Web site of the CAISE conference : http://www.caise.nu/. : : The conference organisers. : Heiko Ludwig, IBM Zurich Research Laboratories : Yigal Hoffner, IBM Zurich Research Laboratories : Christoph Bussler, Netfish : Martin Bichler, Vienna University of Economics and Business Administration : : PROGRAMME : : Monday, June 5, 2000 : : Session 1 - Opening (14:00 - 14:30) : : Opening - Heiko Ludwig (IBM Zurich Research Laboratory, Switzerland) : Introduction to the Subject - Heiko Ludwig (IBM Zurich Research : Laboratory, Switzerland) : : Session 2 - B2B eBusiness Today (14:30 - 15:30) : : R. Klueber (University of St. Gallen, Switzerland), N. Kaltenmorgen : (HiServ): EServices to integrate eBusiness with ERP systems - the : case of : HiServ's Business Port : Z. Damen, Wijnand Derks, M. Duitshof, H. Ensing (KPN Research, The : Netherlands): Business-to-business E-commerce in a logistics domain : : Session 3- Integrating Process Management (16:00 - 17:30) : : M. zur Muehlen, F. Klein (University of Muenster, Germany): AFRICA: : Workflow : interoperability based on XML-messages : Z. Maamar (Defense Research Establishment Valcartier, Canada): A : multi-perspective approach for modeling workflows : F. Casati (Hewlett-Packard Laboratories, USA): eFlow: an Open, : Flexible, : and Configurable Approach to Service Composition : : Workshop Dinner (time and place to be announced) : : Tuesday, June 6, 2000 : : Session 4- Electronic Contracts (9:00 - 10:30) : : P. Grefen (University of Twente, The Netherlands): Contract-based : transaction management in cross-organizational workflow management. : M. Gisler (Swiss Federal Institute of Intellectual Property, : Switzerland), : K. Stanoevska-Slabeva, M. Greunz (mcm Institute, University of St. : Gallen): A framework for secure electronic contracts. : A. Goodchild, C. Herring, Z. Milosevic (DSTC, Australia): Business : contracts for B2B. : : Session 5- Panel Discussion (11:00 - 12:30) : : Panel discussion: The role of electronic contracts in B2B service : outsourcing infrastructures : Panelists: P. Grefen, Z. Milosevic, M. Gisler, F. Casati : Chair: H. Ludwig : : -------------------------------------------------------------------------- : To subscribe or unsubscribe yourself from : dbworld, send a msg to majordomo(a)cs.wisc.edu with one of these lines: : subscribe dbworld OR unsubscribe dbworld : To find out more options send a msg with the line: : help : To post messages, go to URL www.cs.wisc.edu/dbworld : -------------------------------------------------------------------------- : : ÿÿ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] Web Engineering Special issue - CFP
by Gustaf Neumann 24 May '00

24 May '00

Forwarded message from [s.murugesan(a)UWS.EDU.AU (San MURUGESAN)] sent originally on Wed, 24 May 2000 06:24:36 +1000: : --------------3CF33E24B4F79F398D6E2885 : Content-Type: text/plain; charset=iso-8859-1 : Content-Transfer-Encoding: 8bit : : --------------------------------------------------------------- : : Call for Papers : Special issue on Web Engineering : : Submission Deadline extended to 1 July 2000 : : IEEE Multimedia seeks submissions for a special issue on Web Engineering : to appear in early 2001. : : The issue aims to assess the problems of Web-based application system : development and to present approaches, methods, and tools for systematic : development of complex Web-based applications. It would also address the : challenges of developing Web-based front-end and back-end systems, : interfaces to legacy systems, distributed databases and real-time : systems, and the management of distributed development. : : The topics it plans to cover include: : : Process models and/or Web design methodologies : Architectures for Web-based systems : Information/content management for Web-based systems/E-commerce : applications : Performance metrics, testing and evaluation : An overview of Web technologies : Web metrics estimation of complexity, development efforts/time, cost : Web site management : Education and training : Case studies/experiences in developing and fielding large Web-based : systems (preferably included as part of an article on the above topics : or as a separate article) : Bibliography on Web Engineering and/or a review of Web Engineering : developments and practices. : : Submissions are due electronically by 1 July 2000. : : For further details see the Web page at: : http://vision.macarthur.uws.edu.au/multimedia-WebE/ or contact the Guest : Editors. : : Guest Editors : Athula Ginige, Univ of Western Sydney; a.ginige(a)uws.edu.au : San Murugesan, Univ of Western Sydney; s.murugesan(a)uws.edu.au : : -- : ------------------------------------------------ : Assoc Prof San Murugesan : Dept of Computing and Information Systems : University of Western Sydney Macarthur : : PO Box 555, Campbelltown NSW 2560; Australia : Phone: +61-2- 4620 3513 : Fax: +61-2- 4626 6683 : email: s.murugesan(a)uws.edu.au : web page: http://fistserv.macarthur.uws.edu.au/san/ : -------------------------------------------------- : : --------------3CF33E24B4F79F398D6E2885 : Content-Type: text/html; charset=iso-8859-1 : Content-Transfer-Encoding: 8bit : : <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> : <html> : <body text="#000000" bgcolor="#FFFFFF" link="#0000EE" vlink="#551A8B" alink="#0000EE"> : --------------------------------------------------------------- : Call for Papers : Special issue on Web Engineering : Submission Deadline extended : to 1 July 2000 : IEEE Multimedia seeks submissions : for a special issue on Web Engineering : to appear in early 2001. : The issue aims to assess the problems of Web-based application system : development and to present approaches, methods, and tools for systematic : development of complex Web-based applications. It would also address the : challenges of developing Web-based front-end and back-end systems, interfaces : to legacy systems, distributed databases and real-time systems, and the : management of distributed development. : The topics it plans to cover include: :  Process models and/or Web design methodologies :  Architectures for Web-based systems :  Information/content management for Web-based systems/E-commerce : applications :  Performance metrics, testing and evaluation :  An overview of Web technologies :  Web metrics estimation of complexity, development efforts/time, : cost :  Web site management :  Education and training :  Case studies/experiences in developing and fielding large Web-based : systems (preferably included as part of an article on the above topics : or as a separate article) :  Bibliography on Web Engineering and/or a review of Web Engineering : developments and practices. : Submissions are due electronically by 1 July : 2000. : For further details see the Web page at: <a href="http://vision.macarthur.uws.edu.au/multimedia-WebE/">http://vision.macarthur.uws.edu.au/multimedia-WebE/</a> : or contact the Guest Editors. : Guest Editors : Athula Ginige, Univ of Western Sydney;  <a href="a.ginige(a)uws.edu.au">a.ginige(a)uws.edu.au</a> : San Murugesan, Univ of Western Sydney; <a href="s.murugesan(a)uws.edu.au">s.murugesan(a)uws.edu.au</a> : -- : ------------------------------------------------ : Assoc Prof San Murugesan : Dept of Computing and Information Systems : University of Western Sydney Macarthur :    PO Box 555, Campbelltown NSW 2560; Australia :    Phone: +61-2- 4620 3513 :    Fax:   +61-2- 4626 6683 :    email: s.murugesan(a)uws.edu.au :    web page: <a href="http://fistserv.macarthur.uws.edu.au/san/">http://fistserv.macarthur.uws.edu.au/san/</a> : -------------------------------------------------- :   : </body> : </html> : : --------------3CF33E24B4F79F398D6E2885-- : : ===== 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 Participation: ISD2000 in Kristiansand
by Gustaf Neumann 23 May '00

23 May '00

Forwarded message from [Maung.K.Sein(a)HIA.NO (Maung K. Sein)] sent originally on Tue, 23 May 2000 14:59:26 +0200: : Dear Colleagues: : : With great pleasure, I invite you to take part in The Ninth International : Conference on Information Systems Development ISD 2000 to be held in : Kristiansand, Norway from August 14 to 16, 2000. The language of the : conference is English. This year we have assembled a truly outstanding : program with papers from IS scholars aropund the world. The early : deadline for registration at a reduced fee is May 30, 2000. : : Details are available at the conference web site: : http://www.hia.no/isd2000 : : This Conference carries on to the new millennium the fine tradition of : the first Polish-Scandinavian Seminar on Current Trends in Information : Systems Development Methodologies, held in Gdansk, Poland in 1988. : Through the years this Seminar evolved into an International Conference : on Information Systems Development. The Conference gives participants an : opportunity to express ideas on the current state of the art in : information systems development, and to discuss and exchange views about : new methods, tools and application. : : : : CONFERENCE SITE : : Kristiansand is the fifth largest city in Norway. This coastal city, : often referred to as the country's vacation capital, has a pleasantly : mild climate thanks to warm waters of the Gulf Stream. The city offers : plenty of opportunities for cultural and physical activities, and : especially water sports and hiking. For more information and pictures of : the city, please check out these web sites : : http://www.kristiansand.com, and : : http://home.sol.no/~hanstt/sommer/frluft.html : : CONFERENCE FEES : : Conference fee is $380 if paid before May 30, 2000. Conference fee is : $430 if paid after May 30, 2000. Conference fee covers all meals, : refreshments, banquets and copies of the Proceedings. : : ORGANIZERS : : Agder University College, Norway : : Boise State University, USA : : University of Maribor, Slovenia : : University of Gdansk, Poland : : CO-CHAIRS : : Tore U. Ørvik, Agder University College, Norway : : Maung K. Sein, Agder University College, Norway : : Wita Wojtkowski, Boise State University, USA : : Gregory Wojtkowski, Boise State University, USA : : Stanislaw Wrycza, University of Gdansk, Poland : : Joze Zupancic, University of Maribor, Slovenia : : Looking forward to seein you in Kristiansand in August! : : hilsen .....Maung : : ========================ÿ 3D========================ÿ 3D================= : Maung K. Sein, Ph.D. : : Professor of Information Systems Phone: 47 3814 1617 : : Department of Information Sciences Fax: 47 3814 1029 : : Agder University College : : Tordensjoldsgate 65 : : Service Box 422 : : 4604 Kristiansand S : : NORWAY : : <color><param>ffff,0000,0000</param>***</color> Plan on attending : <<<underline><color><param>0000,0000,fefe</param>http://www.hia.no/isd2000</color></underline>>ISD : 2000 in beautiful : : Kristiansand, Norway next summer <color><param>ffff,0000,0000</param>*** : : ***</color> Please check out the new journal: e-Service Quarterly : <<http://www.spea.indiana.edu/esq> : <color><param>ffff,0000,0000</param>*** : : </color>=====================ÿ D========================ÿ D==================== : ===== 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] [SICStus] RTA 2000 Call for Participation
by Gustaf Neumann 18 May '00

18 May '00

Forwarded message from [sicstus-users(a)sics.se ] sent originally on Wed, 17 May 2000 13:01:18 -0700: : Call for Participation : : RTA 2000: 11th International Conference on : Rewriting Techniques and Applications : : WESTAPP 2000: 3rd International workshop on : Explicit Substitutions and Applications : : Monday July 10 to Thursday July 13 : University of East Anglia, Norwich, U.K. : : The 11th International Conference on Rewriting Techniques and : Applications (RTA 2000) will cover theoretical and practical issues in : the general area of rewriting, with fifteen papers and three : implementation descriptions on topics including confluence, termination, : parallelism, complexity, lambda calculus, rewriting logic, combinators, : unification, reduction strategies, and word problems. Invited speakers : include Andrei Voronkov, Jose Meseguer, and one other to be announced. : There will also be a tutorial talk by Sophie Tison. : : The associated WESTAPP workshop will deal with topics in explicit : substitution, comprising six accepted papers and two invited talks from : N. de Bruijn and Gopalan Nadathur. : : Norwich is a quiet town in East Anglia, an area of England north-east of : London which includes Norfolk, Suffolk, Cambridgeshire, and parts of the : surrounding counties. In former times Norwich was the capital of the : region and an important trading centre. The modern city is a noted : tourist attraction. The University of East Anglia was founded in 1963 : and stands in its own modern campus on the outskirts of Norwich. : : For conference registration and accommodation, see the form below. : : For further information about the site and how to reach it, see the RTA : 2000 web pages at http://www.sys.uea.ac.uk/RTA2000/. : : RTA PROGRAMME COMMITTEE : : Leo Bachmair (Stony Brook) (CHAIR) : : Franz Baader (Aachen) : Leo Bachmair (Stony Brook) : Gilles Dowek (Rocquencourt) : Neil Ghani (Leicester) : Jurgen Giesl (Albuquerque) : Jean-Pierre Jouannaud (Orsay) : Chris Lynch (Potsdam, New York) : Aart Middeldorp (Tsukuba) : Mitsuhiro Okada (Tokyo) : Femke van Raamsdonk (Amsterdam) : Albert Rubio (Barcelona) : Yoshihito Toyama (Tatsunokuchi) : Rakesh Verma (Houston) : : Publicity: Jose Meseguer : : WESTAPP PROGRAMME COMMITTEE : : Therese Hardin (U. Paris 6/INRIA-Rocquencourt, France) (ORGANIZER) : : Catarina Coquand (Chalmers U. and University of Goteborg, Sweden) : Gilles Dowek (INRIA-Rocquencourt, France) : Gopalan Nadathur (Loyola University of Chicago, US) : Joe Wells (Heriot-Watt University, UK) : : LOCAL ORGANISER FOR RTA AND WESTAPP: Richard Kennaway (Norwich) : : RTA 2000 AND WESTAPP 2000 PROGRAMME : =================================== : : Sunday 9 July : : 09:00-17:00 or as arranged. IFIP-WGTR meeting, for members of IFIP-WGTR : only. Its programme and timing will be circulated to its members. : : Reception from 19:30 (open to all). : : Monday 10 July : : RTA session 1 : : 09:20-09:30 Welcome : : 09:30-10:30 Jose Meseguer : Rewriting Logic and Maude: Concepts and Applications : (Invited talk) : : 10:30-11:00 Break : : RTA session 2 : : 11:00-11:30 Georg Struth : An Algebra of Resolution : : 11:30-12:00 Jurgen Stuber : Deriving Theory Superposition Calculi from Convergent Term : Rewriting Systems : : 12:00-12:30 Reinhard Pichler : The Explicit Representability of Implicit Generalizations : : 12:30-14:00 Lunch : : RTA session 3 : : 14:00-15:00 Sophie Tison : Tree Automata and Term Rewrite Systems : (Tutorial) : : 15:00-15:30 Toshinori Takai, Yuichi Kaji, and Hiroyuki Seki : Right-Linear Finite Overlapping Term Rewriting Systems Effectively : Preserve Recognizability : : 15:30-16:00 Break : : RTA session 4 : : 16:00-16:30 Evelyne Contejean, Antoine Coste, and Benjamin Monate : Rewriting techniques applied to theoretical physics : : 16:30-16:50 Thomas Arts : The Dependency Pair Method : [System description] : : 16:50-17:10 Pierre-Etienne Moreau : REM (Reduce Elan Machine): Core of the New ELAN Compiler : [System description] : : 17:10-17:30 Enno Ohlebusch, Claus Claves, and Claude Marche : TALP: A Tool for the Termination Analysis of Logic Programs : [System description] : : 17:30-18:30 RTA business meeting : : Tuesday 11 July : : RTA session 5 : : 09:30-10:30 Andrei Voronkov : Title to be announced (Invited talk) : : 10:30-11:00 Break : : RTA session 6 : : 11:00-11:30 Dan Dougherty and Claudio Gutierrez : Normal forms and reduction for theories of binary relations : : 11:30-12:00 Rick Statman : On the Word Problem for Combinators : : 12:00-12:30 Markus Lohrey : Word Problems and Confluence Problems for Restricted Semi-Thue : Systems : : 12:30-14:00 Lunch : : Excursion depart 14:30 : Conference dinner from 19:30 : : Wednesday 12 July : : RTA session 7 : : 09:30-10:30 (Speaker to be announced) : (Invited talk) : : 10:30-11:00 Break : : RTA session 8 : : 11:00-11:30 Jordi Levy and Mateu Villaret : Linear Second-Order Unification and Context Unification with : Tree-Regular Constraints : : 11:30-12:00 Katrin Erk and Joachim Niehren : Parallelism Constraints : : 12:00-12:30 Philippe de Groote : Higher-order linear matching is NP-complete : : 12:30-14:00 Lunch : : RTA session 9 : : 14:00-14:30 Eduardo Bonelli, Delia Kesner, and Alejandro Rios : A de Bruijn notation for higher-order rewriting : : 14:30-15:00 Cesar Munoz and Nikolaj Bjorner : Absolute Explicit Unification : : 15:00-15:30 Break : : RTA session 10 : : 15:30-16:00 Frederic Blanqui : Termination and Confluence of Higher-Order Rewrite Systems : : 16:00-16:30 Felix Joachimski and Ralph Matthes : Standardization and Confluence for a Lambda Calculus with : Generalized Applications : : Thursday 13 July : : WESTAPP session 1 : : 9:00-10:00 Gopalan Nadathur : Explicit Substitutions in Intensional Representations of Lambda : Terms (Invited talk) : : 10:00-10:30 Mauricio Ayala-Rincon and Fairouz Kamareddine : Strategies for Simple-Typed Higher-Order Unification via : lambda-s_e style explicit substitution : : 10:30-11:00 Break : : WESTAPP session 2 : : 11:00-11:30 Stephane Vaillant : Expressing Set Theory in First-Order Predicate Logic : : 11:30-12:00 Mark Utting and Steve Reeves : Implementing Z_C Substitutions in Ergo : : 12:00-14:00 Lunch : : WESTAPP session 3 : : 14:00-15:00 N. de Bruijn : Presenting a complete mathematics book as a single lambda term : (Invited talk) : : 15:00-15:30 Hugo Herbelin : Explicit Substitutions and Reducibility : : 15:30-16:00 Break : : WESTAPP session 4 : : 16:00-16:30 Matthias M. Holzl : Sequent-Terms and Explicit Substitutions : : 16:30-17:00 Mohamed Mezghiche : lambda-C-beta: A Calculus of Explicit Substitution with Variable : Names : : RTA 2000/WESTAPP 2000 REGISTRATION DETAILS : ========================================== : : You may register by email, fax, or post. Please fill in a separate copy : of the form for each person attending. : : Email: RTA-Registration(a)uea.ac.uk : : Fax: +44 (0)1603 250585 : : Post: The Conference Office : The University of East Anglia : Norwich NR4 7TJ : U.K. : : Payment is by credit card, bank transfer, or cheque. : : All major credit cards are accepted, except Diners' Club. : : For bank transfer, the details are: : Barclays Bank : Bank Plain : Norwich : U.K. : a/c University of East Anglia 30918202 : Sort code 20-62-53. : Payments should be clearly marked with "RTA" and the delegate's name. : : Cheques must be drawn in Sterling on a U.K. bank, otherwise a 20.00 : pound fee is incurred. They should be payable to "The University of : East Anglia". : : Registration covers attendance at the sessions, a copy of the proceedings, : and the social events other than the excursion (paid for separately after : arrival). : : Enquiries regarding registration may be made to the conference office: : : Email: RTA-Registration(a)uea.ac.uk : : Telephone: +44 (0)1603 593277. : : Other enquiries may be made to the local organiser, Richard Kennaway, : at rta2000(a)sys.uea.ac.uk. : : It is possible to register for RTA without registering for WESTAPP. : Registration for WESTAPP requires registration for RTA. : : =============== RTA 2000/WESTAPP 2000 REGISTRATION FORM =============== : : Prices are in pounds sterling. : : CONFERENCE FEES Early Late : (Until 8 June) (After 8 June) : RTA WESTAPP RTA WESTAPP : : Non-student 130 25 150 30 : Student 70 15 90 20 : : Name: : -------------------------------------------------- : : Address: : -------------------------------------------------- : : -------------------------------------------------- : : -------------------------------------------------- : : -------------------------------------------------- : : Email: : -------------------------------------------------- : : Tel.: : -------------------------------------------------- : : Fax: : -------------------------------------------------- : : WESTAPP registration? [ ] : : Claiming early registration? [ ] : : Are you paying the student rate? [ ] : (Requires letter of confirmation of student status : from head of department by fax or post.) : : Vegetarian? [ ] : : TOTAL CONFERENCE FEE: : ---------------- : : ACCOMMODATION : All single rooms. En-suite: 26.72 per night : Standard: 19.40 per night : Please book before 8 June; after that date our reserved block of rooms : will be released and we may not be able to guarantee a room. : : Date of arrival: : ---------------- : Date of departure: : ---------------- : Number of nights: : ---------------- : En-suite or standard? : ---------------- : : TOTAL FOR ACCOMMODATION: : ---------------- : : (If you would prefer to stay in a hotel nearby, please contact the : conference office for details of hotels and prices. In this case : you should book directly with the hotel.) : : TOTAL AMOUNT PAID : (FEES + ACCOMMODATION): : ================ : : Receipt required by post or fax? [ ] : (If not, a receipt will be available at the conference.) : : Payment method (tick one): : Credit card [ ] : Bank transfer [ ] : Cheque [ ] : : If paying by credit card, give details: : : Card type (Mastercard, Visa, etc.): : --------------------------- : Card number: : --------------------------- : Card expiration date: : --------------------------- : Name as on card: : --------------------------- : : Signature if sending by fax: : --------------------------- : : ======================================================================= -- 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] Correction - CFP on E-Commerce [Benchamrking International Journal]
by Gustaf Neumann 18 May '00

18 May '00

Forwarded message from [malmashari(a)YAHOO.COM (Majed Al-Mashari, PhD)] sent originally on Thu, 18 May 2000 06:48:19 -0700: : Hi all, : : Apologies for receiving multiple copies of this, as the FINAL : SUBMSSION date on the CFP I sent few hours ago WAS NOT ACCURATE. : The final submssion date is 10 December, 2000 and NOT 2001. : : Here is the correct version ..... : : Thanks : : Majed Al-Mashari (Guest Editor) : ----------------------------------------------- : : C A L L F O R P A P E R S : : BENCHMARKING INTERNATIONAL JOURNAL - Special Issue On: : : ELECTRONIC COMMERCE: A BEST PRACTICE PERSPECTIVE : : The increasing forces of intensifying global competition, : continuing customer demands, and the significant revolution in : digital communication technologies have together put pressure : upon many organisations to switch their operations into the : e-business world by making use of Electronic Commerce (EC) : technologies such as the Internet and the World Wide Web (WWW) : as media for business-to-business (B2B) and business-to-consumer : (B2C) transactions. This process potentially facilitates the : expansion and development of new linkages among various business : partners around the globe. It also speeds up information flow : and enables information and knowledge sharing with other : entities in a boundaryless business supply chain. : : Papers are invited for a special edition of the Benchmarking : International Journal (BIJ) on Electronic Commerce: A Best : Practice Perspective. The aim is to publish high quality : original work highlighting various organisational issues : involved in the application of Electronic Commerce (EC) : technologies in various domains and business sectors. BIJ has : been pioneering in promoting and disseminating best practices : relating to various IT and business aspects. It is on this : premise that this issue is expected to provide both academics : and practitioners with a frame of reference with which they can : reposition their EC experiences based on well-established best : practices. Therefore, conceptual and analytical models, : strategic frameworks, surveys, and case studies focusing on the : tools/techniques, justification, design and application of EC : are welcome from both the academic and industrial community. : Contributed papers may deal with, but are not limited to: : : · Business design/architecture for EC application. : · E-transaction security and risk mitigation. : · Techniques of consumer behavior analysis in EC context. : · Web-enabled business process improvement. : · E-business knowledge management. : · Web-based marketing strategies and models. : · Corporate strategic planning for EC adoption. : · EC performance metrics. : · Web-based system analysis and design. : · Investment/evaluation process. : · EC-induced supply chain management. : · EC and organisational change management. : · Socio-technical infrastructure for EC. : · Global issues of EC application. : · EC and competitiveness. : · Success and failure in EC implementation. : · EC in IS curriculum. : · Methodological aspects of EC research. : · Critical success/failure factors. : : A 300-word proposal should be sent, for guidance on : appropriateness, to the guest editor (mmashari(a)ccis.ksu.edu.sa) : by e-mail. The proposal must be embedded into e-mail message and : not attached. Closing date for receipt of proposals is 10 : September, 2000. : : Full papers should be 3000-5000 words in length, single-spaced, : full justified, and in A4 Word format submitted electronically : to the guest editor (mmashari(a)ccis.ksu.edu.sa) by 10 December, : 2000. All contributions will be subjected to a rigorous blind : review by at least two experts. Full papers, following the BIJ : guidelines, should be submitted as two Word file attachments. : File 1 - contains a title page giving the name(s) and full : address(es) of the author(s), the title of the paper, its word : count (maximum 5000 words), 5 keywords, and an abstract of 200 : words. File 2 - contains the title of the paper, 5 keywords, a : 200-word abstract, and the full body of the paper. Any : information that reveals the identity of the author(s) should be : removed. : : Guest Editor for the Special Issue: : : Dr. Majed Al-Mashari, : Assistant Professor of Computer Information Systems, : Department of Information Systems, : College of Computer and Information Sciences, : King Saud University, : Riyadh, Saudi Arabia : E-mail: mmashari(a)ccis.ksu.edu.sa : : __________________________________________________ : Do You Yahoo!? : Send instant messages & get email alerts with Yahoo! Messenger. : http://im.yahoo.com/ : : ===== 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: Social Responsibility in the information age
by Gustaf Neumann 17 May '00

17 May '00

Forwarded message from [dhillon(a)CCMAIL.NEVADA.EDU] sent originally on Tue, 16 May 2000 19:00:02 -0700: : CALL FOR CHAPTERS : : Social responsibility in the information age: : issues and controversies : : A book edited by : Dr Gurpreet Dhillon : College of Business : University of Nevada Las Vegas, USA : : Society and organizations are increasingly becoming dependent on information and : communication technologies. In an endeavor to conduct their businesses more : efficiently and effectively organizations have been rushing headlong to adopt : new technology. This has resulted in not only changing the nature of work and : the structure of the organizations, but the very fabric of our society. The very : nature of the change questions a number of existing social and ethical : assumptions prevalent in our society. : : Chapters are invited for this book that address key issues related with social : responsibility in the information age. The aspiration is that the contributions : will help individual citizens, organizations and policy makers in tackling key : ethical concerns related to the use of information and communication : technologies. : : Representative topics include but are not limited to the following: : - Aspects of information security in modern organizations : - Electronic trade in intangible goods and issues related to software piracy : - Privacy issues in the information age : - Intellectual property rights : - Computer abuse and crime : - Teleworking and issues of organizational control : - Developing ethical practices in a networked society : - Social responsibility in IS/IT project management : - Social issues related with use of IT in particular fields (e.g. health, : banking etc) : - Philosophical aspects of information systems : - Ethics in cyberspace : - Regulating the World Wide Web : - Legal issues in global information management : : SUBMISSION PROCEDURE : Researchers and practitioners are invited to submit a 2-3 page manuscript : proposal clearly explaining the mission and concerns of the proposed chapter, : latest by July 15, 2000. Authors of accepted proposals will be notified about : the nature and scope of their proposals and will be sent chapter guidelines by : August 1, 2000. Full chapters should be submitted by October 15, 2000. All : submitted chapters will be double blind reviewed. The book is scheduled to be : published by Idea Group Publishing in 2001. : : Inquiries and Submissions can be forwarded to: : Dr Gurpreet Dhillon : University of Nevada Las Vegas : College of Business; Box 456009 : 4505 Maryland Parkway : Las Vegas, Nevada, 89154, USA : Tel: (702) 895-3676; Fax: (702) 895-4370 : Email: dhillon(a)ccmail.nevada.edu : http://cob.nevada.edu/dhillon_www/ : : ÿÿ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] Reminder: CFP HICSS Minitrack on Internet & Workflow
by Gustaf Neumann 17 May '00

17 May '00

Forwarded message from [estohr(a)STERN.NYU.EDU (Edward A. Stohr)] sent originally on Tue, 16 May 2000 17:28:25 -0400: : Reminder: The papers for this HICSS minitrack are due on June 30 ... : : CALL FOR PAPERS : HICSS 34 - M I N I T R A C K : : Internet & Workflow Automation: Technical & Managerial Issues : : Co-Chairs: Edward A. Stohr, New York University : J. Leon Zhao, University of Arizona : : Part of the Internet and the Digital Economy Track of the Thirty-fourth Annual : Hawai'i International Conference on Systems Sciences (HICSS) : Maui, HI - January 3 - 6, 2001 : ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ : Workflow automation is emerging as a major application in industry because : of the continued need to reduce costs, speed cycle times, and provide : flexible service. The rapid deployment and application of Internet : technologies facilitate the trend towards increased automation both : internally and in electronic commerce applications. The objective of this : mini-track is to explore a range of questions concerning the development : and application of workflow technologies. Appropriate topics for the : minitrack include, but are not limited to the following: : : . Workflow system development and management using Internet and Intranet : technologies. : : . Design theory for intra- and inter-organizational workflow management : systems. : : . Development and comparison of alternative workflow management system : architectures. : : . System integration of workflow management systems with other technologies : such as email, decision support systems, groupware, EDI, electronic : commerce, and so on. : : . Business process reengineering issues concerning the evolvement of : workflow systems. : : . Knowledge management (or organizational memory) in the context of : workflow automation. : : . Workflow modeling methodologies and languages. : : . Economic models or frameworks for the study of WFMS in an organizational : or inter-organizational context. : : . Case studies and empirical research on implementation issues and/or the : effectiveness of WFMS in practice. : : MINI-TRACK COORDINATORS : : Edward A. Stohr, New York University : J. Leon Zhao, University of Arizona : : Send all correspondence (preferably in electronic form) to: : Professor Edward A. Stohr : IS Department : Stern School of Business : New York University : New York, NY 10012, USA : E-mail: estohr(a)stern.nyu.edu : Fax: 1-212-995-4228 : : IMPORTANT DEADLINES : : June 1, 2000 Full papers submitted to Minitrack Chairs. : Contact minitrack chairs for submission instructions. : August 31, 2000 Notice of accepted papers sent to Authors. : October 1, 2000 Accepted manuscripts sent electronically to the : Conference. : Authors must have registered for the conference : by this date. : : INSTRUCTIONS FOR PAPER SUBMISSION : 1. Submit the full paper, consisting of 22-26 double-spaced pages, : including diagrams, directly to the Minitrack Co-Chair at : estohr(a)stern.nyu.edu : : - All papers should be in Microsoft Word or Adobe Acrobat PDF format - : : 2. Do not submit the manuscript to more than one Minitrack Chair. Papers : should contain original material and not be previously published, or : currently submitted for consideration elsewhere. : : 3. Each paper must have a title page to include title of the paper, full : name of all authors, and complete addresses including affiliation(s), : telephone number(s), and e-mail address(es). : : 4. The first page of the manuscript should include only the title and a : 300-word abstract of the paper. : : HICSS conferences are devoted to advances in the information, computer, and : system sciences, and encompass developments in both theory and practice. : Invited papers may be theoretical, conceptual, tutorial or descriptive in : nature. Submissions undergo a peer referee process and those selected for : presentation will be published in the Conference Proceedings. Submissions : must not have been previously published. : : 2001 CONFERENCE VENUE: Outrigger Wailea Resort : 3700 Wailea Alanui Dr. : Wailea, Maui, Hawaii 96753 : (808) 879-1922 or 1-800-367-2960 : : ÿÿ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: European Research Symposium on Emerging Electronic Markets (RSEEM)
by Gustaf Neumann 17 May '00

17 May '00

Forwarded message from [Katarina.Stanoevska(a)UNISG.CH] sent originally on Tue, 16 May 2000 22:50:30 +0200: : SEVENTH RESEARCH SYMPOSIUM ON EMERGING ELECTRONIC MARKETS : : "Electronic Markets ? From Business Strategies to Implementation" : : St.Gallen, Switzerland, September 17th to 19th, 2000 : : The Digital Economy has brought about a variety of business models such as power : shopping, virtual communities and supply chain management as well as : technologies such as electronic product catalogs and personalization tools. Even : though those two topics are closely related to each other, research and : development of electronic markets usually is driven by the emphasis on one of : them to the neglect of threads and opportunities stemming from the other aspect. : In addition, electronic markets are seldom developed as part of an overall : strategy and are usually not integrated into the organizational structure of : companies. : : Against this background we call for papers to explore electronic markets and : their critical success factors in a holistic manner. This includes technology, : models and services, business strategies, and business models. Since it is : neither technology nor strategy alone that distinguishes a successful business : model, we are particularly interested in receiving integrative approaches that : relate technological and management perspective, e.g., we are interested in : methods of designing platforms for novel business models and devising the means : to control the implementation with regards to the business goals. : : Topics include but are not limited to: : - Strategies and business models for electronic markets, e.g., novel : community-based business models. : - Formal or semi-formal models of electronic markets (or components): : conceptual frameworks, organizational models, cognitive models, formalizations, : as, e.g., logical models. : - Design principles of electronic markets: engineering approaches, design : patterns and methods, architectures and components, coordination, trust, : normative values as well as strategic planning and controlling of : platforms for e-commerce. : - Integrative reference models of Electronic Markets describing how to : integrate management and technological perspective, e.g. in design and in : controlling. : : The goal of the workshop is to bring together researchers in all areas of : electronic markets to present and discuss research in progress. Attendance is : limited to a maximum of 30 contributors. We seek a mix of participants ranging : from Ph.D. students to senior academics. Every participant must be a : contributor, i.e., as a presenter and/or as a discussant. : : Individuals interested in participating should e-mail an extended abstract (1000 : words) to Ulrike.Lechner (Ulrike.Lechner(a)unisg.ch) and Katarina.Stanoevska : (Katarina.Stanoevska(a)unisg.ch) before June 10th. Notification is sent by June : 31. : : The proceedings are to be published as a report by the institute for Media and : Communications Management, St. Gallen. : : Programme Committee: : Bob O'Keefe, Brunel University : Stefan Klein, University Muenster : Ulrike Lechner (Local Co-Chair), University St.Gallen : Ron Lee, Rotterdam School of Management : Beat Schmid (Chair), University of St. Gallen : Katarina Stanoevska-Slabeva (Local Co-Chair), University St.Gallen : Howard Williams, Strathclyde Business School : : Submission: : Submissions describe either a work-in-progress or an original work (not : submitted or published elsewhere) and be 1000 words in length. Submissions have : to include title, authors and affiliations. The submission has to indicate the : correspondent author. : : Submit Abstracts to: : Ulrike Lechner (Ulrike.Lechner(a)unisg.ch) and : Katarina Stanoevska-Slabeva (Katarina.Stanoevska(a)unisg.ch) : : Important Dates: : June 10, 2000 Submission of abstracts : June 31, 2000 Notification of acceptance : July 15, 2000 Registration of participants : August 31, 2000 Full paper due to be published in the proceedings : September 17-19, 2000 Research symposium in St. Gallen : : Organizing Committee: : : Ulrike Lechner : Katarina Stanoevska-Slabeva : : mcm institute, University of St. Gallen : Müller-Friedbergstr. 8 : 9000 St. Gallen : 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

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 May 2000