Cfp November 1999

cfp@alice.wu.ac.at

1 participants
67 discussions

[forwarded] Call For Participation: Global Software Development
by Gustaf Neumann 01 Nov '99

01 Nov '99

Forwarded message from [rotondo(a)MEMPHIS.EDU (Robert Otondo)] sent originally on Mon, 1 Nov 1999 09:39:26 -0600: : CALL FOR PARTICIPATION : (Papers and Reviewers) : Global Software Development Track of the First Annual : GLOBAL INFORMATION TECHNOLOGY MANAGEMENT (GITM) WORLD CONFERENCE : on June 11, 12, 13, 2000 in Memphis, Tennessee, USA : ** THE CONFERENCE FOR ALL "INTERNATIONAL" IS RESEARCHERS ** : : TRACK DESCRIPTION: : : Once the domain of developed countries, software development has become : a worldwide industry. Variations in culture, language, religion, : politics, and economics affect interactions among developers, clients, : and IS/IT managers. These variations affect not only the final software : product, but make managing software development within and across these : diverse global environments a formidable task. Managing software : development becomes an even more challenging responsibility when one : considers that "what works" in one locale may not work in another. : : Research addressing the above or related issues is welcomed in the : Global Software Development track. Papers should address issues of : software development, training, or maintenance rather than software use. : Submissions reflecting other reference areas--including but not limited : to anthropology, sociology, or social psychology--are also encouraged. : : RECOMMENDED TOPICS : : Papers (completed or in-progress: about 20 double-spaced pages), : extended abstracts (completed or in-progress research: about 4-6 pages), : panel and workshop proposals (2-4 pages) dealing with (but not limited : to) the following topics are invited. Please note the name of this : track on the cover page. : : * International Outsourcing : * Off-shore development : * Project management and team-building in multi-cultural environments : * Cultural dimensions of group interactions : * Software development in multi-lingual, multi-cultural environments : * Contract Programming : * Software training, maintenance, and customer support in global : environments : * Field studies : * Theoretical frameworks : * Research or development methodologies : * Current issues in global software development : : JOURNAL PUBLICATION: : : Papers recommended as high quality by the reviewers will be further : considered for publication on an expedited basis in the Journal of : Global Information Technology Management (JGITM) and the Journal of : Information Technology Cases & Applications (JITCA). : : IMPORTANT DATES: : : Submission Deadline: November 15, 1999 (to be received by this date) : Notification of Acceptance: December 15, 1999 : Final Submission Due: January 31, 2000 : Early Registration Deadline: April 30, 2000 (at least one author must : register) : Conference Dates: June 11, 12, 13, 2000 : : SUBMISSION DEADLINE: November 15, 1999 (to be received by this date). : Please submit directly to the Conference Chair Dr. Prashant Palvia. For : expeditious processing, we wish to have an all-electronic review : process. Therefore, an electronic submission is strongly recommended : (email: ppalvia(a)memphis.edu). If not possible, please mail 4 copies to : the following address and make sure it arrives by the deadline. In any : case, please include your email address along with the submission. : : Dr. Prashant Palvia : Conference Chair, GITM Word Conference : Fogelman College of Business & Economics : The University of Memphis, : Memphis, Tennessee 38152, USA : Email: ppalvia(a)memphis.edu : http://www.people.memphis.edu/~ppalvia : : INQUIRIES: : : For additional information, please contact the conference chair, program : co-chairs or the track chairs. : : Conference Chair: Prashant Palvia, University of Memphis, USA. : ppalvia(a)memphis.edu : : Program Co-Chairs: : Roberto Evaristo, University of Denver, USA. evaristo(a)odin.cair.du.edu : Roger Harris, Universiti Malaysia Sarawak, Malaysia. : roger(a)mailhost.fit.unimas.my : Sherif Kamel, American University, Egypt. skamel(a)aucegypt.edu : Tor Larsen, Norwegian School of Management, Norway. tor.j.larsen(a)bi.no : Hans Lehmann, University of Auckland, New Zealand. : h.lehmann(a)auckland.ac.nz : Barry Shore, University of New Hampshire, USA. bshore(a)christa.unh.edu : : TRACK CHAIR: : : Robert Otondo : Fogelman College of Business and Economics : The University of Memphis : Memphis, TN 38152 USA : Email: rotondo(a)memphis.edu : : -- : Robert F. Otondo, Ph.D. : Assistant Professor : Management Information Systems Area : Fogelman College of Business and Economics : The University of Memphis : Memphis, TN 38152 : Voice: (901) 678-2435 : Fax: (901) 678-2685 : : ===== Start of ISWorld List Footer ===== : Moving? Want to subscribe/unsubscribe? Find an old posting? : See: http://isds.bus.lsu.edu/cvoc/isworld/ : If you do not find the answer contact gabe(a)isds.bus.lsu.edu : ===== 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] 1999 ECCAI ARTIFICIAL INTELLIGENCE DISSERTATION AWARD
by Gustaf Neumann 01 Nov '99

01 Nov '99

Forwarded message from [silvia(a)ifs.tuwien.ac.at] sent originally on Mon, 1 Nov 1999 23:28:49 +0800 (GMT-8): : ************************************************************************* : 1999 ECCAI ARTIFICIAL INTELLIGENCE DISSERTATION AWARD : : http://www.eccai.org/dissertation.html : : deadline: December 1, 1999 : ************************************************************************* : : Nominations are invited for the 1999 AI Dissertation Award sponsored by : ECCAI, the European Coordinating Committee for Artificial Intelligence. : : This Award includes a certificate signed by the ECCAI Chair and 1.500 Euros : (which include the travel grant for the Award ceremony). : : Eligible doctoral dissertations are those defended after December 1, 1998 : in the general area of Artificial Intelligence. The dissertation must have : been defended at an European university and the author must be a personal : member of an ECCAI member society. Multiple submissions of the same : doctoral dissertation to other dissertation award activities of other : societies are excluded. : : To be considered, a dissertation must be nominated by the thesis : supervisor, who must submit the following items: : : * three copies of the dissertation or a link to a WWW version of the : thesis, : * five copies of an extended abstract (3 to 5 pages) in English, : * if the thesis was not written in English the nomination must include : an English paper describing the core ideas of the thesis that has been : submitted for publication in an international journal. The nominee : must be the first author of this paper. : * nomination letters from two referees selected by the dissertation : supervisor, supporting the submission and stating their assessment of : why the thesis should win the award. : : Submissions should be sent to the ECCAI Requests for further information : secretariat: should be sent to: : Sigrid Herzog : German Research Center for Artificial Silvia Miksch : Intelligence, DFKI GmbH Vienna University of Technology : Erwin-Schr=F6dinger-Stra=DFe / Geb. 57 Institute of Software= : Technology : Postfach 20 80 Resselgasse 3/E188 : D-67608 Kaiserslautern, Germany A-1040 Vienna, Austria : Voice: +49-631-205 3213-3214 Voice: +43-1-58801-18824 : Fax: +49-631-205 3210 Fax: +43-1-58801-18899 : Email: siherzog(a)eccai.org Email: silvia(a)ifs.tuwien.ac.at : Url: Url: : http://www.eccai.org/chairsecretary.html= : http://www.ifs.tuwien.ac.at/~silvia/ : : The deadline for receipt of submissions is December 1, 1999. The Award will : be presented during the ECAI 2000 conference in Berlin. : : *************************************************************** : ***** NEW Address (October 20, 1999) *********** : ******* Favoritenstrasse 9-11 / 188 *********** : ******** A-1040 Vienna, Austria, Europe *********** : *************************************************************** : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= : =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D : : Silvia Miksch =20 : : Vienna University of Technology =20 : Department of Computer Science : Institute of Software Technology (IFS) =20 : Favoritenstrasse 9-11 / 188 =20 : A-1040 Vienna, Austria, Europe =20 : : email: silvia(a)ifs.tuwien.ac.at : url: http://www.ifs.tuwien.ac.at/~silvia =09 : phone: +43-1-58801-18824 : phone-sec: +43-1-58801-18801 =09 : fax: +43-1-58801-18899=20 : : ---------------------------------------------------------------- -- 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: Extended Deadline for DSVV 2000
by Gustaf Neumann 01 Nov '99

01 Nov '99

Forwarded message from [eric(a)iis.sinica.edu.tw] sent originally on Mon, 1 Nov 1999 23:20:27 +0800 (GMT-8): : Submission Deadline Extended to November 10, 1999!!! : : International Workshop on : "DISTRIBUTED SYSTEM VALIDATION and VERIFICATION" : (DSVV'2000) : : http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/ : : Final Call For Papers : (Proceedings to be published by IEEE Computer Society Press) : (NOTE: page-limit changed to 8 pages) : : An International Workshop held in conjunction with : the 20th IEEE International Conference on Distributed Computing Systems : (ICDCS'2000) : : April 10-13, 2000, Taipei, Taiwan, ROC : : Distributed systems have parts located in more than one location and : distributed applications need to work coherently within such a system : to be feasible. Such systems and applications are difficult to validate : and verify. The DSVV'2000 workshop will try to assimilate all related : techniques, either formal or technical, which contribute towards proving : systems valid. Formal methods include queuing theory, analytic methods, : model-checking, process algebra, theorem proving, term rewriting, and : other logic-related techniques. Technical methods include different : simulation models, testing, emulation, virtual prototyping, rapid : prototyping, and other ad-hoc techniques. : : In today's world of wireless and mobile networking, distributed system : protocols form a major aspect of system design. Verifying such protocols : is usually a formidable task. DSVV'2000 will try to uncover and integrate : existing techniques and introduce new ones for distributed system protocol : verification. : : When both hardware and software are present in distributed systems, system : validation and verification become all the more complex and challenging. : Hardware-software timing coverification of distributed embedded systems is : also currently a hot topic, which DSVV'2000 will try to emphasize on. : : All topics related to distributed system validation and verification are : invited. Topics of interest include, but are not limited to, the following: : : * Specification/Modeling Techniques * Formal Methods : * Simulation Techniques * Industrial Techniques : * Testing Techniques * Case Studies : * Verification Techniques * IP / Virtual Components : * Validation Tools * Embedded Systems : * Verification Tools * Hardware-Software Coverification : : SUBMISSION OF PAPERS: : To submit a paper to the workshop, please do the following: : (1) Prepare a manuscript in either PDF or PostScript format. Manuscripts : should be in IEEE Computer Society Proceedings format: a maximum of 8 pages : (A4 or letter), font size 10 pt or 11 pt, single-spaced, double-column, : with the first page including paper title, author names, affiliations, : e-mail addresses, a maximum 200-word abstract, and at least 5 keywords. : (2) Prepare a cover letter (an ascii-text e-mail) with the paper title, : the corresponding author's name, mailing address, e-mail address, : and telephone/fax numbers, paper abstract, and keywords. : (3) E-mail the above two to: eric(a)iis.sinica.edu.tw . : If electronic submission is not possible, please mail the above to the : postal address at the end. : (4) IMPORTANT DATES: : Submission Deadline: November 10, 1999 (Extended) : Acceptance Notification: December 7, 1999 : Camera-Ready Papers: January 1, 2000 : (5) The workshop will span over one full day (most probably April 9, 2000) : with paper presentations and group discussions. All submissions will : be reviewed by at least 2 referees. Papers must not have been published : previously. Only those accepted papers that are presented at the : workshop will be published. Workshop proceedings will be published : by the IEEE Computer Society Press. Both web publication and hard-cover : copies will be made available internationally by the IEEE Computer Society. : : WORKSHOP ORGANIZER: : Dr. Pao-Ann Hsiung : Institute of Information Science : Academia Sinica : Taipei, TAIWAN, R.O.C. : : PROGRAM COMMITTEE: (alphabetical order by last names) : : Rajeev Alur, University of Pennsylvania, USA : Brian Bailey, Mentor Graphics Corp., USA : Nikil Dutt, University of California at Irvine, USA. : Thomas Henzinger, University of California at Berkeley, USA : Pao-Ann Hsiung, Academia Sinica, Taiwan, ROC : Jean-Pierre Jouannaud, University of Paris, FRANCE : Joost-Pieter Katoen, University of Twente, the NETHERLANDS : Kim G. Larsen, Aalborg University, DENMARK : Marios Mavronicolas, University of Cyprus, CYPRUS : Pedro Merino, University of Malaga, SPAIN : Manuel Nunez, Universidad Complutense de Madrid, SPAIN : Doron Peled, Bell Labs and Technion, USA : Neeraj Suri, Chalmers University, SWEDEN : Kuo-Chung Tai, North Carolina State University, USA : Stavros Tripakis, University of California at Berkeley, USA : Farn Wang, Academia Sinica, Taiwan, ROC : Wayne Wolf, Princeton University, USA : Laurence Tianruo Yang, St. Francis Xavier University, CANADA : Hsu-Chun Yen, National Taiwan University, ROC : Sergio Yovine, VERIMAG, FRANCE : : Postal Address: Dr. Pao-Ann Hsiung : Institute of Information Science : Academia Sinica : No. 128, Sec. 2, Academic Road : Nankang, Taipei 115, TAIWAN, R.O.C. : : E-mail: eric(a)iis.sinica.edu.tw : Telephone: +886-2-27883799 ext. 2413 : Fax: +886-2-27824814 : DSVV URL: http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/ : : For further detailed information on ICDCS'2000, please refer to the : conference home page: http://www.cis.ohio-state.edu/~icdcs20/. -- 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] 1999 ECCAI ARTIFICIAL INTELLIGENCE DISSERTATION AWARD
by Gustaf Neumann 01 Nov '99

01 Nov '99

1 0

[forwarded] Call for papers - Enterprise Information Systems
by Gustaf Neumann 01 Nov '99

01 Nov '99

Forwarded message from [jfilipe(a)EST.IPS.PT (Joaquim Filipe)] sent originally on Sun, 31 Oct 1999 13:00:24 -0000: : CALL FOR PAPERS : : 2nd International Conference on Enterprise Information Systems (ICEIS 2000) : Stafford UK -- 4-7 July 2000 : more information at: http://www.soc.staffs.ac.uk/iceis/ : +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ : IMPORTANT: : >>> Submission deadline: 31st January 2000 <<< : Selected papers will be published in a book by a leading worldwide : publisher. : All accepted papers will be published with ISBN (paper+cdrom proceedings) : Main Topic Areas: : 1. ENTERPRISE DATABASE TECHNOLOGY AND ITS APPLICATIONS : 2. ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS : 3. SYSTEMS ANALYSIS AND SPECIFICATION : 4. INTERNET AND ELECTRONIC COMMERCE : +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ : This international conference is organised by the School of Computing at : Staffordshire University, UK and the Escola Superior de Tecnologia of the : Instituto Politecnico, Setubal, Portugal. : : --- SCOPE --- : The purpose of this 2nd International Conference on Enterprise Information : Systems (ICEIS) is to bring together researchers, engineers and : practitioners interested in the advances and business applications of : information systems. Four simultaneous tracks will be held, covering : different aspects of Enterprise Computing, including Enterprise Database : Applications, Artificial Intelligence Applications and Decision Support : Systems, Systems Analysis and Specification, and Internet and Electronic : Commerce. : ICEIS focuses on real world applications therefore authors should highlight : the benefits of Information Technology for industry and services. Ideas on : how to solve business problems, using IT, will arise from the conference. : Papers describing advanced prototypes, systems, tools and techniques and : general survey papers indicating future directions are also encouraged. : Papers describing original work are invited in any of the areas listed : below. Accepted papers, presented at the conference by one of the : authors,will be published in the Proceedings of ICEIS. Acceptance will be : based on quality, relevance and originality. There will be both oral and : poster sessions. : : Special sessions, dedicated to case-studies and commercial presentations, as : well as technical tutorials, dedicated to technical/scientific topics, are : also envisaged: companies interested in presenting their : products/methodologies or researchers interested in holding a tutorial are : invited to contact the conference secretariat. : We are building on the success achieved by ICEIS'99 with more than 350 : delegates, 8 VIPs and a book published by Kluwer Academic Publishers (in : press). Please check http://www.est.ips.pt/iceis where you will find more : information concerning ICEIS'99. : : --- TOPIC AREAS / CONFERENCE TRACKS --- : Each of these topic areas is expanded below but the list is not exhaustive. : Papers should address one or more of the listed topics, although authors : should not feel limited by them. Unlisted but related topics are also : acceptable. : : AREA 1: Enterprise Database Technology and its Applications : (a) Object-Oriented Database Systems : (b) Object-Oriented Database Systems : (c) Database Management : (d) Distributed Database Applications : (e) Performance Analysis : (f) Enterprise-Wide Client-Server Architecture : (g) Database Security and Transaction Support : (h) Internet-enabled Databases : (i) Query Processing and Optimisation : (j) Graphical User Interfaces : (k) Data Warehouses : (l) Statistical Applications and Data Mining : (m) Information Classification : (n) Multimedia Database Applications : : AREA 2: Artificial Intelligence and Decision Support Systems : (a) Industrial and Engineering Applications of Artificial Intelligence : (b) Expert Systems : (c) Advanced Applications of Fuzzy Logic : (d) Applications of Neural Networks, Neural Networks or Genetic Algorithms : (e) Natural Language Interfaces to Intelligent Systems : (f) Intelligent User Interfaces : (g) Applications of Pattern Recognition to Robotics and Vision Systems : (h) Bayesian Networks : (i) Decision Support Systems in E-Commerce : (j) Artificial Intelligence Programming Languages : (k) Agent-Oriented Programming : (l) Intelligent Social Agents and Distributed Artificial Intelligence : Applications : (m) Testbeds and Development Environments : (n) Intelligent Tutoring Systems : : AREA 3: Systems Analysis and Specification : (a) Systems Engineering Methodologies : (b) Information Engineering Methodologies : (c) Semiotics in Computing : (d) Requirements Analysis : (e) Modelling Formalisms, Languages, and Notations : (f) CASE Tools for System Development : (g) Modelling of Distributed Systems : (h) Systems Integration: Modelling Concepts and Information Integration : Tools : (i) Organisational Issues on Systems Integration : (j) Legacy Systems Integration : (k) Re-engineering : : AREA 4: Internet and Electronic Commerce : (a) Languages and Protocols : (b) Internet/ Intranet Distributed Computing : (c) CASE Tools for Internet Computing Systems : (d) Interactive and Multimedia Web Applications : (e) Network Implementation Choices (e.g.. SGML/SML) : (f) Internet/Intranet Based Systems for Business Processes and E-Commerce : (g) Object Orientation In Internet and Distributed Computing : (h) Internet and Collaborative Computing : (i) Software Agents: Agent-Based Modelling and Agent-Based Programming : (j) Agent-Based Systems for Business Applications and E-Commerce : (k) Process Design and Organisational Issues in E-Commerce : (l) Security, Privacy, Freedom of Information And Other Social and Ethical : Issues : : --- KEYNOTE SPEAKERS INCLUDE --- : Professor A. Cheng, University of Houston, USA. : Professor T. Greene, MIT, USA. : Professor J. Mylopoulos, University of Toronto, Canada. : Professor Ian C. Ritchie, President of British Computer Society, UK. : Professor R. Stamper, University of Twente, Netherlands. : Professor C. J. Theaker, Terrafix Ltd, UK. : : The papers will be reviewed by the International Programme Committee. : --- INTERNATIONAL PROGRAMME COMMITTEE --- : A. Alderson (UK); K. Bennett (UK); O. Bittel (Germany); F. Boavida : (Portugal); J. A. Carvalho (Portugal); R. J. Clarke (Australia); B. Coulette : (France); C. Chrisment (France); W. Cheng-Chung Chu (Taiwan); J. L. G. Dietz : (Netherlands); C. Dudley (UK); P. Ferreira (Portugal); A. D. de Figueiredo : (Portugal); A. Finkelstein (UK); A. Flory (France); A. Fred (Portugal); M. : Fuchs (Australia); J. Gupta (USA); S. Hammoudi (Portugal); K. Huang : (Netherlands); J. Kouloumdjian (France); C. Leon de Mora (Spain); A. Low : (UK); K. Liu (UK); P. Luker (UK); E. Madeira (Brazil); N. J. Mamede : (Portugal); E. Monteiro (Portugal); M. Munro (UK); R. Newton (UK); P. Nugues : (France); A. M. Ouksel (USA); M. Ramage (UK); M. Revenu (France); Z. Shi : (China); R. Stamper (Netherlands); F. Stowell (UK); Z. Tari (Australia); C. : J. Theaker (UK); A. Ultsch (UK); W. J. Walley; H. Wang (Hong Kong); D. W. : Wilson (UK); A. T. Wood-Harper (UK); H. Yang (UK); ( ** list not complete); : : --- SUBMISSION OF PAPERS --- : Authors should submit a paper in English of up to 5,000 words, both by : e-mail (attached file in an accepted format - see below) and surface mail (2 : printed copies) to the conference secretariat (see address below). Papers : received after the deadline may be returned unopened. The programme : committee will review all papers and the first author of each paper will be : notified of acceptance, by email. Each paper should clearly indicate the : nature of its technical/scientific contribution, and the problems, domains : or environments to which it is applicable. Authors must also indicate the : topic area to which the paper is submitted. : Due to space limitations in the Proceedings, the maximum number of pages for : each paper is limited to 5 (five). If absolutely needed, it is possible to : increase the total number of pages up to 8 pages. However, for each page in : excess of 5 the authors must pay an additional fee of £50 for each excess : page. : A description of the format of the paper may be found at the conference web : site. : : --- SUBMISSION OF TECHNICAL TUTORIALS, WORKSHOPS OR EXHIBITS : Any person interested in organising a tutorial, workshop, or exhibition : should submit a proposal to the secretariat by e-mail : (iceis-secretariat(a)staffs.ac.uk). These will be held on 3rd July 2000. : Proposals should specify the topic and scope of the tutorial, the background : knowledge expected of the participants, and a resumé of the instructor(s). : Companies interested in presenting their products, showing documentation : about them or demonstrating some application, are invited to contact the : secretariat and make a reservation for a booth at the conference site. : : --- PROCEEDINGS AND BOOK PUBLICATION --- : All accepted papers whose authors confirm participation at the conference : will be published in the ICEIS 2000 proceedings. A number of papers will be : selected for publication in book format. : : --- IMPORTANT DEADLINES --- : Paper Submissions - 31st January 2000 : Author Notification - 30th March 2000 : Final Submissions - 30th April 2000 : : --- SECRETARIAT --- : ICEIS 2000 Secretariat : Staffordshire University : School of Computing : Beaconside, Stafford ST18 0AD, UK : Fax: +44 1785 353561 : E-mail: iceis-secretariat(a)staffs.ac.uk : Web: http://www.soc.staffs.ac.uk/iceis : : ===== Start of ISWorld List Footer ===== : Moving? Want to subscribe/unsubscribe? Find an old posting? : See: http://isds.bus.lsu.edu/cvoc/isworld/ : If you do not find the answer contact gabe(a)isds.bus.lsu.edu : ===== 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: Special Issue on Flexible Workflow Technology Driving the Networked Economy
by Gustaf Neumann 01 Nov '99

01 Nov '99

: International Journal of Computer Systems : Science & Engineering : : Call for Papers : : Special Issue on Flexible Workflow Technology : Driving the Networked Economy : : Guest editors : : Wil van der Aalst : Department of Mathematics and Computing Science, : Eindhoven University of Technology, P.O. Box 513, NL- : 5600 MB, Eindhoven, The Netherlands. wsinwa(a)win.tue.nl : : Stefan Jablonski : Department of Computer Science VI, Friedrich-Alexander : Universitat Erlangen-Nurnberg, Martenstra?e 3, D-91058 : Erlangen, Germany. jablonski(a)informatik.uni-erlangen.de : : Scope : : The new millennium is characterized by speed and : distribution in every aspect of most business and : organization undertaking. Organizations are challenged : to bring ideas and concepts to products and services in : an ever-increasing pace. Companies distributed by space, : time, and capabilities come together to deliver products : and solutions for which there is any need in the global : marketplace. The trends for virtual corporations and e- : commerce, and increasing global networking of economies : are real and will accelerate. Enterprise information : systems using workflow technology will play an : increasingly critical role in providing a competitive : edge to organizations in the networked economy. The : interorganizational nature of workflow processes in the : DNE (Dynamic Networked Economy) poses all kinds of : interesting issues, e.g., How to agree on a common : business process without considering local : particularities? The coordination between processes in : different organizations is fundamentally different from : the situation where the whole process and all of the : participating resources are contained within one : organization. Another critical challenge for workflow : technology in the DNE is the ability to respond : effectively to changes. Changes may range from ad-hoc : modifications of the process for a single customer to a : complete restructuring for the workflow process to : improve efficiency. Today's WFM/ERP systems are ill- : suited to deal with change; they typically support a : more or less idealized version of the preferred process : and the real run-time process is often much more : variable than the process specified at design-time. The : only way to handle changes is to go behind the system's : back. If users are forced to bypass the workflow : management system quite frequently, the system is more a : liability than an asset. The biggest challenge we are : facing is to develop concepts, techniques, and tools to : support adaptability. Adaptability has become one of the : major research topics in the area of workflow management : and is characterized by notorious problems such as the : 'dynamic change bug' (How to migrate workflow instances : from the old to the new process if the degree of : parallelism is reduced?). : : This special issue of the International Journal of : Computer Systems Science & Engineering seeks to shed : light on the state-of-the-art and the future of workflow : technology in the dynamic networked economy. : : Topics of interest include: : * Interorganizational workflows : * Adaptive/ad-hoc workflows : * Dynamic schema evolution and workflow migration : * Workflow distribution and interoperability : * Object-oriented concepts (e.g., inheritance) to : support workflow flexibility and distribution : * Process mining and AI-based techniques : * Extensions of workflow modeling techniques (Petri : nets, state-charts, speech acts, etc.) : * Merging of groupware and workflow into workware : * Case studies and prototypes : : See : http://wwwis.win.tue.nl/~wsinwa/csse_special_issue.html : for more information. : : Important dates : Paper Submission Deadline: March 1, 2000 : Feedback to Authors: May 1, 2000 : Final Manuscripts to Publisher: July 1, 2000 : Publication of Special Issue: September 2000 : : Authors should carefully read the submission guidelines : of the International Journal of Computer Systems Science : & Engineering http://www.dircon.co.uk/crl/CSSE.htm. : Papers must be in a standard non-proprietary format such : as HTML, PostScript, or PDF. Authors should send an : email to Wil van der Aalst (wsinwa(a)win.tue.nl) with a : URL pointing to the paper submission. If this is not : possible, submissions may be an HTML, PostScript, or PDF : email attachment. : -- 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] ASIAN'99 CFP & Preliminary Program, Dec 10-12, Phuket
by Gustaf Neumann 01 Nov '99

01 Nov '99

Forwarded message from [ryap(a)comp.nus.edu.sg (Roland Yap Hock Chuan)] sent originally on Sun, 31 Oct 1999 02:02:16 +0800 (GMT-8): : [We apologize if you receive this multiple times. Please redistribute : appropriately to interested parties.] : : Call for Participation : ASIAN'99 : : Asian Computing Science Conference : Phuket, Thailand, December 10-12, 1999 : : Conference Web Page: http://www.cs.ait.ac.th/ASIAN99 : (Mirror: http://www.comp.nus.edu.sg/~asian99) : : The fifth Asian Computing Science Conference, ASIAN'99, will be held in : Prince of Songkhla University (Phuket Campus), Phuket, Thailand, : on December 10-12, 1999. : : The series of annual Asian Computing Science Conferences (ASIAN) was : initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for : researchers in computer science from the Asian region and to promote : interaction with researchers from other regions. The first four : conferences have been held, respectively, in Bangkok, Singapore, : Katmandu and Manila. In addition to support from the host countries, : they have also been sponsored by INRIA, France, UNU/IIST, Macau and : NUS, Singapore. The proceedings have been published as Lecture Notes : in Computer Science, Springer-Verlag. : : The 1999 conference will continue to emphasize the conceptual areas of : Computer Science. The following themes represent the areas of focus : for this year: : * Embedded and Real-Time Systems : * Formal Reasoning and Verification : * Distributed and Mobile Computing : : Keynote and Invited Speakers: : ----------------------------- : : The keynote speaker at ASIAN'99 will be Amir Pnueli (Weizmann Institute, : Israel). The invited speakers are: Nicolas Halbwachs (VERIMAG, CNRS, France) : and Krishna Palem (Courant Institute, New York University, USA). : : Conference Web Page: : -------------------- : More information can be found on the conference web page: : http://www.cs.ait.ac.th/ASIAN99 : A mirror of the above page is also available at : http://www.comp.nus.edu.sg/~asian99 : : Post-Conference Activities: : ------------------------------------ : The 11th Asian School on Computer Science, organized by AIT and INRIA, : will be in Phuket after ASIAN'99. The Asian School will offer an : intensive course entitled: : Automata, Circuit Design and Verification. : : The course which will be taught by Jean Vuillemin (Ecole Normale : Superieure), Gerard Berry (Ecole des Mines de Paris & INRIA) and : Nicolas Halbwachs (Verimag, CNRS). For more details, see the following URL : http://www.cs.ait.ac.th/Workshop/ASCS99 : : Registration: : ------------- : Conference registration is to be made online from the conference webpage. : Registration fees in US Dollars are: : Early (by Nov 15) Late/On-site : Non-Student $300 $400 : Student $200 $250 : : Accommodation: : ------------- : Hotel reservations can be booked through Asian Premier Holidays, : fax: +66 (0)76 246 270 or 246 271. This should be done as early : as possible. See the webpage for the form and details. : : Sponsors: : --------- : Asian Inst. of Technology (AIT) : Inst. National de Recherche en Informatique et en Automatique (INRIA) : United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST) : National University of Singapore (NUS) : Thailand Network Information Center (THNIC) : : Program Co-Chairs: : ------------------ : P.S. Thiagarajan Roland H.C. Yap : Chennai Mathematical Institute School of Computing : 92 G.N.Chetty Road National University of Singapore : T.Nagar Chennai 600 017 Lower Kent Ridge Road : India Singapore 119260 : Republic of Singapore : : E-Mail : pst(a)smi.ernet.in E-Mail: ryap(a)comp.nus.edu.sg : Telephone: +91-44-828 4232 Telephone: +65 874-2972 : Fax: +91-44-825 0573 Fax: +65 779-4580 : : ASIAN'9x Steering Committee: : ---------------------------- : Shigeki Goto (Waseda U., Japan) Jean-Jacques Levy (INRIA, France) : Joxan Jaffar (NUS, Singapore) R.K. Shyamasundar (TIFR Bombay, India) : Gilles Kahn (INRIA, France) Kazunori Ueda (Waseda U., Japan) : Kanchana Kanchanasut (AIT, Thailand) Zhou Chaochen (UNU/IIST, Macau) : : Program Committee: : ------------------ : Gerard Berry (ENSMP & INRIA, France) : Phan Min Dung (AIT, Thailand) : Cedric Fournet (Microsoft Research, UK) : Kokichi Futatsugi (JAIST, Japan) : Shigeki Goto (Waseda U., Japan) : Dang Van Hung (UNU/IIST, Macau) : Vinod Kathail (HP, USA) : Michael Lyu (CUHK, Hong Kong) : Yen-Jen Oyang (NTU, Taiwan) : Frank Pfenning (CMU, USA) : Sanjiva Prasad (IIT, Delhi, India) : Abdul Sattar (Griffith U., Australia) : R.K. Shyamasundar (TIFR Bombay, India) : Aravind Srinivasan (Bell Labs, USA) : Peter Stuckey (U. of Melbourne, Australia) : P.S. Thiagarajan (co-chair) (CMI, India) : Farn Wang (IIS, Academia Sinica, Taiwan) : Limsoon Wong (KRDL, Singapore) : Roland Yap (co-chair) (NUS, Singapore) : : General Chair: : -------------- : Kanchana Kanchanasut, Asian Institute of Technology, Thailand : E-Mail: Kanchana.Kanchanasut(a)ait.ac.th : : Local Chair: : ------------ : Rattana Wetprasit (Prince of Sonkhla University, Thailand) : E-Mail: rattana(a)ratree.psu.ac.th : : ========================================================================== : : ASIAN'99 : Asian Computing Science Conference : Phuket, Thailand, December 10 - 12, 1999 : : Preliminary Program : : ========================================================================== : Friday, December 10, 1999 : ========================================================================== : : 8.00 - 8.45 Registration : 8.45 - 9.00 Inaugural Session : -------------------------------------------- : 9.00 -10.00 Keynote Talk: Amir Pnueli : -------------------------------------------- : (Details to be announced) : : -------------------------------------------- : 10.00-10.30 Tea/Coffee Break : -------------------------------------------- : 10.30-12.20 Session 1: Temporal Logic : -------------------------------------------- : Relating May and Must Testing Semantics for Discrete : Timed Process Algebras, : Luis Fernando Llana Diaz and David de Frutos Escrig : : An Expressive Extension of TLC, : Jesper G. Henriksen : : Completeness and Decidability of a Fragment of Duration Calculus : with Iteration : Dang Van Hung and Dimitar P. Guelev : : Faster Model Checking for Open Systems : Madhavan Mukund, K Narayan Kumar, Scott A. Smolka : : -------------------------------------------- : 12.20-14.00 Lunch : -------------------------------------------- : 14.00-15.50 Session 2: Logic : -------------------------------------------- : Structural sharing and efficient proof search in propositional : intuitionistic logic : D. Galmiche, D. Larchey-Wendling : : Lemma Generalization and Non-Unit Lemma Matching for : Model Elimination : Koji Iwanuma, Kenichi Kishino : : A CPS-transform of the Constructive Classical Logic : Ichiro Ogata : : On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures : Anil Seth : -------------------------------------------- : 15.50-16.10 Tea/Coffee Break : -------------------------------------------- : 16.10-17.30 Session 3: Mobility : -------------------------------------------- : The game of the name in cryptographic tables : Roberto M. Amadio, Sanjiva Prasad : : Transactional Cache Management with Aperiodic Invalidation Scheme : in Mobile Environments : IlYoung Chung, Chong-Sun Hwang : : Programming the Mobility Behaviour of Agents by : Composing Itineraries : Seng Wai Loke, Heinz Schmidt, and Arkady Zaslavsky : : ========================================================================== : Saturday, December 11, 1999 : ========================================================================== : : -------------------------------------------- : 9.00 -10.00 Invited Talk: Nicolas Halbwachs : -------------------------------------------- : Validation of Synchronous Reactive Systems: : From Formal Verification to Automatic Testing : : -------------------------------------------- : 10.00-10.30 Tea/Coffee Break : -------------------------------------------- : 10.30-12.20 Session 4: Verification : -------------------------------------------- : A Framework for Formal Reasoning about Open Distributed Systems : L. Fredlund and D. Gurov : : Verifying probabilistic programs using a Hoare like logic : J.I. den Hartog : : Demand-Driven Model Checking for Context-Free Processes : Jens Knoop : : Formal Verification of the MCS List-based Queuing Lock : Kazuhiro Ogata and Kokichi Futatsugi : -------------------------------------------- : 12.20-14.00 Lunch : -------------------------------------------- : 14.00-15.20 Session 5: Programming Languages/Logic Programming : -------------------------------------------- : Entailment of Non-Structural Subtype Constraints : Joachim Niehren, Tim Priesnitz : : Beyond Tamaki-Sato Style Unfold/Fold Transformations for : Normal Logic Programs : Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, : I.V. Ramakrishnan : : An Argumentation Approach to Semantics of Declarative Programs : with Defeasible Inheritance : Ekawit Nantajeewarawat, Vilas Wuwongse : : -------------------------------------------- : 15.20-15.50 Tea/Coffee Break : -------------------------------------------- : 16.00-16.55 Session 6: General : -------------------------------------------- : On Automating Inductive and Non-Inductive Termination Methods : Fairouz Kamareddine and Francois Monin : : Asynchronous links in the PBC and M-nets : Hanna Klaudel, Franck Pommereau : : -------------------------------------------- : 17.00-18.50 Poster Presentation and Tea/Coffee break : -------------------------------------------- : 19.00 Leave for Conference Banquet from Conference Site : -------------------------------------------- : 19.30 Conference Banquet : : ========================================================================== : Sunday, December 12, 1999 : ========================================================================== : : -------------------------------------------- : 9.00-10.00 Invited Talk: Krishna Palem : -------------------------------------------- : Emerging Application Domains and the Computing Fabric : : -------------------------------------------- : 10.00-10.30 Tea/Coffee Break : -------------------------------------------- : 10.30-12.20 Session 7: Hardware : -------------------------------------------- : Rapid Prototyping Techniques for Fuzzy Controllers : Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha : : Observable Sharing for Functional Circuit Description : Koen Claessen, David Sands : : Formal Verification of Descriptions with Distinct Order of : Memory Operations : G. Ritter, H. Hinrichsen, and H. Eveking : : Logical Relations in Circuit Verification : Mia Indrika : : -------------------------------------------- : 12.20-14.00 Lunch : -------------------------------------------- : 14.00-15.50 Session 8: Hardware & Algorithms : -------------------------------------------- : BDD-nodes can be more expressive : Frank Reffel : : Separators are as Simple as Cutsets : Hong Shen : : Ant Colony System for the Ship-berthing Problem : Chia Jim Tong, Andrew Lim : : A Parallel Approximation Algorithm for the Max Cut Problem : on Cubic Graphs : Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, : Rossella Petreschi : : -------------------------------------------- : 16.00 Excursion: Evening Cruise : -------------------------------------------- -- 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 November 1999