CFP: PDPTA-99 Codesign Session
=========================================== S E C O N D C A L L F O R P A P E R S =========================================== SPECIAL SESSION ________________________________________________________________ "HARDWARE-SOFTWARE CODESIGN OF PARALLEL AND DISTRIBUTED SYSTEMS" ________________________________________________________________ "http://www.iis.sinica.edu.tw/~eric/pdpta99-codesign/" The 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99) June 28 - July 1, 1999 Monte Carlo Resort, Las Vegas, Nevada, USA A special session on the HARDWARE-SOFTWARE CODESIGN of parallel and distributed systems is being organized at PDPTA'99, which will be held in Las Vegas, Nevada, U.S.A., June 28 - July 1, 1999. Architectures supporting parallel and distributed computing include both hardware and software. The success of such architectures depends significantly on how the hardware and software interact. This in turn requires careful codesign approaches which include co-partitioning, scheduling, co-synthesis, co-simulation, and co-verification. Due to their complex behavior and structural restrictions, parallel and distributed systems present a greater challenge to codesign methodologies than conventional systems. Object-oriented modeling/design, formal specification/verification methods, graph-theoretic analysis, virtual prototyping, functional/structural partitioning are some promising techniques which can be employed for hardware-software codesign. Parallel and distributed processing is the computing trend and hardware-software codesign is the technique for supporting this trend. SESSION SCOPE: All hardware-software codesign related topics that deal with parallel and distributed systems are invited. Topics of interest include, but are not limited to, the following: * Specification/Modeling * Object-Oriented Technology * Co-design Methodologies/Tools * Parallel/Distributed Techniques * Co-partitioning * Virtual Prototyping * Related Software Synthesis * Rapid Prototyping * Related Hardware Synthesis * High-Assurance Systems * Co-simulation and Validation * IP / Virtual Components * Co-verification and Testing * Embedded/Real-Time Systems SUBMISSION OF PAPERS: To submit a paper to the special session, please do the following: (1) Prepare a manuscript in PDF/PostScript/Microsoft Word-7.0 format of maximum 7 pages: single-spaced, single-column, US-Letter/A4 size, with title, authors, affiliations, e-mail addresses, and a 100-word abstract on the first page. (2) Send an ascii-text e-mail with the paper title and the corresponding author's name, mailing address, e-mail address, and telephone/fax numbers. (3) E-mail the above two to: "eric@iis.sinica.edu.tw". If electronic submission is not possible, please mail the above to the following address: Dr. Hsiung, Pao-Ann (Mailbox A-38) Institute of Information Science Academia Sinica No. 128, Sec. 2, Academic Road Nankang, Taipei 115, TAIWAN, R.O.C. (4) Important Dates: Submission Deadline: March 1, 1999 Paper Notification: April 1, 1999 Camera-Ready papers: May 1, 1999 Pre-Registration: May 1, 1999 PDPTA'99 Conference: June 28-July 1, 1999 (5) A minimum of 6 and a maximum of 24 papers will be accepted for the special session. All submissions will be reviewed by at least 2 referees. Papers must not have been previously published or currently submitted for publication elsewhere. Pre-registration at the conference is a must for all accepted papers to be published in the proceedings. All accepted papers must be presented at PDPTA'99, Las Vegas, Nevada, U.S.A. PUBLICATION: The conference proceedings will be published by CSREA Press (ISBN). It will be a multivolume set. The proceedings will be available at the conference. All accepted papers will also be considered for journal publication (soon after the conference). ORGANIZERS/SPONSORS: A number of university faculty members and their staff in cooperation with the Monte Carlo Resort (Conference Division, Las Vegas ), will be organizing the conference. The conference is sponsored by the Computer Science Research, Education, and Applications Press (CSREA: USA Federal EIN # 58-2171953) in cooperation with the National Supercomputing Center for Energy and the Environment (Department of Energy, USA), The International Association for Mathematics and Computers in Simulation (IMACS), The International Technology Institute (ITI), The Java High Performance Computing research group (JHPC; www.jhpc.org), the Computer Vision Research and Applications Tech. (CVRA), developers of high-performance machines and systems (pending) and other related computer associations (pending.) LOCATION OF CONFERENCE: The conference will be held in the Monte Carlo Resort hotel, Las Vegas, Nevada, USA. This is a mega hotel with excellent conference facilities and over 3000 rooms. The hotel is minutes from the Las Vegas airport with free shuttles to and from the airport. This hotel has many vacation and recreational attractions, including: waterfalls, casino, spa, pools & kiddie pools, sunning decks, Easy River water ride, wave pool with cascades, lighted tennis courts, health spa (with workout equipment, whirlpool, sauna, ...), arcade virtual reality game rooms, nightly shows, snack bars, a number of restaurants, shopping area, bars, ... Many of these attractions are open 24 hours a day and most are suitable for families and children. The negotiated hotel's room rate for conference attendees is very reasonable ($79 + tax) per night (no extra charge for double occupancy) for the duration of the conference. The hotel is within walking distance from most other Las Vegas attractions (major shopping areas, recreational destinations, fine dining and night clubs, free street shows, ...). For the benefit of our international colleagues: the state of Nevada neighbors with the states of California, Oregon, Idaho, Utah, and Arizona. Las Vegas is only a few driving hours away from other major cities, including: Los Angeles, San Diego, Phoenix, Grand Canyon, ... EXHIBITION: An exhibition is planned for the duration of the conference. We have reserved 20+ exhibit spaces. Interested parties should contact H. R. Arabnia (address is given below). All exhibitors will be considered to be the co-sponsors of the conference. Each exhibitor will have the opportunity to include a two-page description of their latest products in the conference proceedings (if submitted by May 1, 1999). MEMBERS OF PROGRAM & ORGANIZING COMMITTEES: The Program Committee is currently being formed. Those interested in joining the Program Committee should email H. R. Arabnia (hra@cs.uga.edu) the following information: Name, affiliation and position, complete mailing address, email address, tel/fax numbers, a short biography together with research interests. SESSION CHAIR/ORGANIZER: 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@iis.sinica.edu.tw Tel. : +886-2-27883799 Fax : +886-2-27824814 URL : http://www.iis.sinica.edu.tw/~eric/pdpta99-codesign/ CONFERENCE CONTACT: Hamid R. Arabnia The University of Georgia Department of Computer Science 415 Graduate Studies Research Center Athens, Georgia 30602-7404, U.S.A. Tel: (706) 542-3480 Fax: (706) 542-2966 E-mail: hra@cs.uga.edu URL: http://www.jhpc.org/pdpta/
*********************************************** *** EXTENSION of PAPER SUBMISSION DEADLINE *** *********************************************** Due to several reasons, the deadline for electronic submission of extended abstracts to A.P Ershov Third International Conference "Perspectives in System Informatics" (PSI'99) is extended for two weeks as follows: NEW DEADLINE: February 14, 1999 Call for papers is attached below for your reference. *********************************************** FINAL CALL FOR PAPERS Andrei Ershov Third International Conference PERSPECTIVES OF SYSTEM INFORMATICS 6 - 9 July 1999, Novosibirsk, Akademgorodok, Russia AIMS AND SCOPE The conference is held to honour the late Academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first two conferences were held in May 1991 and June 1996 and proved to be big international events. Andrei Ershov was one of the early Russian pioneers in the field of theoretical and systems programming, a founder of the Siberian School of Computer Science. In 1974 he was nominated as a Distinguished Fellow of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov's brilliant speeches were always in the focus of public attention. Especially notable was his lecture on "Aesthetic and human factor in programming" presented at the AFIPS Spring Joint Computer Conference in 1972. Andrei Ershov was not only an extremely gifted scientist, teacher and fighter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R.Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements, and generous friendship. The aim of the Conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in Computer Science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is one of the goals the Conference is to meet. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals. CONFERENCE TOPICS Conference topics include: Semantics-Based Program Processing - program specification, transformation, and verification, - semantics, logic and formal models of programs, - partial evaluation, mixed computation, and abstract interpretation, - program analysis, understanding and visualization. Program Methodology and Information Technologies: - object-oriented programming, - generic programming, - parallel and distributed computing, - database and information systems. Artificial Intelligence: - knowledge engineering, - natural language processing, - AI tools and applications - constraint programming and multi-agent technology. In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers in different directions are welcome. Papers defining the prospects of Computer Science in the whole and joint West-East papers are also encouraged. LOCATION The conference will be held in Akademgorodok (Academy town), 30 km South from Novosibirsk, the largest city of Siberia. Akademgorodok is located in a picturesque place near the Ob lake. It is surrounded with birch and pine forests and pleasant not only for work but for recreation as well. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity. CONFERENCE CHAIR Alexander Marchuk Institute of Informatics Systems 6, Acad. Lavrentjev pr. 630090 Novosibirsk, RUSSIA tel.: +7-3832-343652 fax: +7-3832-323494 e-mail: mag@iis.nsk.su PROGRAMME COMMITTEE CO-CHAIRS: Dines Bjorner Dept. of IT Technical University of Denmark, DK-2800 Lyngby, DENMARK Phone/Fax: +45-45.88.45.30 E-mail: db@it.dtu.dk Manfred Broy Institut fuer Informatik Technische Universitaet Muenchen D-80290 Munich, GERMANY Phone: +49-89-21058161 Fax: +49-89-21058183 E-mail: broy@informatik.tu-muenchen.de Alexandre Zamulin Institute of Informatics Systems 6, Acad. Lavrentjev pr. 630090 Novosibirsk, RUSSIA Phone: +7-3832-396258 Fax: +7-3832-323494 E-mail: zam@iis.nsk.su PROGRAMME COMMITTEE MEMBERS Janis Barzdins (Riga, Latvia) Frederic Benhamou (Nantes, France) Christian Boitet (Grenoble, France) Mikhail Bulyonkov (Novosibirsk, Russia) Piotr Dembinski (Warsaw, Poland) Alexander Dikovsky (Nantes, France) Victor Ivannikov (Moscow, Russia) Philippe Jorrand (Grenoble, France) Leonid Kalinichenko (Moscow, Russia) Alexander Kleschev (Vladivostok, Russia) Vadim Kotov (Palo Alto, USA) Reino Kurki-Suonio (Tampere, Finland) Alexander Letichevski (Kiev, Ukraine) Eduard Ljubimsky (Moscow, Russia) Rudiger Loos (Tuebingen, Germany) Bernhard Moeller (Augsburg, Germany) Hanspeter Moessenboeck (Linz, Austria) Valery Nepomniaschy (Novosibirsk, Russia) Gennady Osipov (Pereslavl-Zalesski, Russia) Jaan Penjam (Tallinn, Estonia) Peter Pepper (Berlin, Germany) Igor Pottosin (Novosibirsk, Russia) Wolfgang Reisig (Berlin, Germany) Dieter Rombach (Kaiserslautern, Germany) Dean Rosenzweig (Zagreb, Croatia) Viktor Sabelfeld (Karlsruhe, Germany) Vladimir Sazonov (Pereslavl-Zalesski, Russia) David Schmidt (Manhattan, USA) Sibylle Schupp (Troy, USA) Valery Sokolov (Yaroslavl, Russia) Nicolas Spyratos (Paris, France) Alexander Tomilin (Moscow, Russia) Enn Tyugu (Stockholm, Sweden) Andrei Voronkov (Uppsala, Sweden) Tatyana Yakhno (Novosibirsk, Russia) Zhou Chaochen (Macau) CONFERENCE SECRETARY Natalia Cheremnykh Institute of Informatics Systems 6, Acad. Lavrentjev pr. 630090 Novosibirsk, RUSSIA tel.: +7-3832-342352 fax: +7-3832-323494 e-mail: {cher, psi99}@iis.nsk.su To maintain an intensive conference atmosphere and enable in-depth discussions, the number of participants is limited to 100. Three kinds of presentations - invited talks, regular contributed talks, and short contributed talks - are proposed. INVITED SPEAKERS 1. K. Apt (CWI, The Netherlands) "A language-independent framework for constraint programming". 2. V. Basili (University of Maryland, USA). "Understanding software for use: a family of empirical studies". 3. M.-C. Gaudel (Universite Paris-Sud, France), A. Zamulin (IIS, Novosibirsk). "Algebraic imperative specifications". 4. N. Jones (DIKU, Denmark). "Some perspectives on mixed computation, including on-line abstract interpretation as a basis for performing program transformation". 5. D. Mery (Universite Henri Poincare & Institut Universitaire de France & LORIA, France). "Formal modelling of services for getting a better understanding of the feature interaction problem" 6. R. Morrison (University of St. Andrews, Scotland). "Persistent hyperprogramming". 7. A. Narinyani (RIAI, Moscow). "Information technologies: revolution at the beginning of the 21st century". 8. D. Sannella (Edinburgh University, Scotland) "The common framework initiative for design specification and development of software". CONFERENCE PROCEEDINGS A book of abstracts of invited and accepted talks will be available at the Conference. The full versions of the talks presented at the Conference are expected to be published by Springer-Verlag in the Lecture Notes in Computer Science series (one can find the Proceedings of the previous conference in LNCS, Vol. 1181). SUBMISSIONS All submissions must be in English, clearly written and in sufficient detail to allow the Programme Committee to assess the merits of the work. Electronic submissions are encouraged. They should be received in Novosibirsk by January, 31 (extended to February, 14). A PostScript file of an extended abstract (up to 8 pages for a regular talk and up to 4 pages for a short talk) should be e-mailed to the following address: PSI99@iis.nsk.su Please use LaTeX2e or LaTeX. When preparing your submission please follow instructions for authors of papers to be published at Springer Lecture Notes in Computer Science series. For more information see www.springer.de/comp/lncs/authors.html. The abstract should indicate complete authors' addresses (including e-mail addresses and fax numbers if any), affiliation and a clear statement of the kind of the submission (regular or short talk). Papers arriving late or exceeding size limits may be rejected immediately without refereeing. The receipt of all submitted papers will be acknowledged by e-mail within 2 days. Authors will be notified of acceptance by March 31, 1999. Material submitted to the Conference should be unpublished and not submitted for publication elsewhere, including journals or other conferences. TRAVELLING A direct Siberia Airlines flight will bring you from Frankfurt or Hannover to Novosibirsk and back. Participants travelling via Moscow will be met in Moscow and helped to take a domestic flight by Aeroflot or TransAero airlines. All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport. WEATHER The weather in Novosibirsk at the beginning of July is normally quite warm and sunny with the temperatures in the range of 25-30 C. Night swimming in the Ob lake is guaranteed. IMPORTANT DATES February 14, 1999: new submission deadline of extended abstracts March 31, 1999: notification of acceptance (by e-mail) July 5, 1999: arrival date July 6 - 9, 1999: the Conference dates September 1, 1999: final papers due (camera-ready, LaTeX, llncs style) For more information see http://www.iis.nsk.su/PSI99
participants (2)
-
Alexandre Zamulin -
eric＠iis.sinica.edu.tw