- ifip-tc6 - lists.rwth-aachen.de

Calendar and List of delegates
by Augusto Casaca 05 Feb '03

05 Feb '03

Dear TC6 members, For your information I send you the updated Calendar of events and List of delegates. Best regards Augusto

1 0

TC6 report for IFIP Council
by Augusto Casaca 05 Feb '03

05 Feb '03

Dear all, Please find the TC6 report for the IFIP Council meeting in attach to this mail. Best regards Augusto Casaca

1 0

SenSys 2003 - CFP
by erdal＠itu 05 Feb '03

05 Feb '03

PRELIMINARY CALL FOR PAPERS The First ACM Conference on Embedded Networked Sensor Systems SenSys 2003 http://www.cens.ucla.edu/sensys03/ November 5-7, 2003, Los Angeles, California, USA Sponsored by: ACM (Sigcomm, Sigmobile, Sigarch, Sigmetrics, Sigops), and NSF SenSys 2003 introduces a high caliber forum for research on systems issues in the emerging area of embedded, networked sensors. These distributed systems of numerous smart sensors and actuators connecting computational capabilities to the physical world have the potential to revolutionize a wide array of application areas by providing an unprecedented density and fidelity of instrumentation. They also present a host of novel systems challenges because of resource constraints, uncertainty, irregularity, and scale. SenSys design issues cut across multiple fields, including wireless communication, networking, operating systems, architecture, low-power circuits, distributed algorithms, data processing, scheduling, sensors, energy harvesting, and signal processing, so a holistic approach is required. SenSys seeks to provide a cross-disciplinary venue for researchers addressing the rich space of networked sensor system design issues to interact and exchange recent results. It is the first of a planned series of annual meetings with a single-track technical program and a hands-on research exhibition. This inaugural 2003 conference shall take place in Los Angeles, CA. PAPERS: Technical papers describing original, previously unpublished research are solicited. In general this conference is interested in papers that address system issues in embedded networked systems. Specific topics of interest include the following: * Network protocols for sensor networks * Operating system and middleware for sensor networks * Distributed database processing in sensor networks * Distributed algorithms for sensor networks * Novel sensor node hardware and software platforms * Sensor network planning and deployment * Energy management in sensor networks * Adaptive topology management * In-network processing and aggregation * Data storage in sensor networks * Distributed and collaborative signal processing * Distributed Actuation, Control, and Coordination * Localization in time and space * Distributed calibration in sensor networks * Simulation and optimization tools * Applications of distributed sensor networks * Security and Robustness in sensor networks * Sensor network testbed measurements and benchmarks Please consult the program chairs at sensys03-pcchairs(a)cens.ucla.edu if you are uncertain whether your paper is in the scope of the conference. PAPER SUBMISSION INSTRUCTIONS All submissions will be handled electronically and must be in PDF or PostScript file format. Papers must not exceed 15 pages (US "Letter" size, 8.5 x 11 inches) including text, figures and references in single-column, single-space format. The font size must be at least 10 points. Accepted papers will be published in the conference proceedings. We will adopt a double-blind process for paper review, where the identities of the authors are withheld from the reviewers. Authors' names and their affiliations must not be revealed or mentioned anywhere in the paper or in the postscript or PDF file. Submitted papers should be original, unpublished work and not currently under review for any other conference or journal. Papers not following these guidelines will be rejected. To submit a paper, please refer to the paper submission link at the conference website, http://www.cens.ucla.edu/sensys03. Questions about the submission process should be directed to the Program Co-Chairs at <sensys03-pcchairs(a)cens.ucla.edu>. Selected papers from the conference will be forwarded for fast-track publication as journal papers in ACM/IEEE Transactions on Networking and ACM/Kluwer Mobile Networks and Applications (MONET). RESEARCH EXHIBITS and POSTERS There will be a research exhibition and poster session. Details will be provided in the final Call for Papers. IMPORTANT DATES Paper Registration & Abstract: April 1, 2003 Paper Submission Deadline: April 8, 2003 Notification of Acceptance: June 27, 2003 Camera Ready Copy: August 1, 2003 CONFERENCE COMMITTEE General Co-Chairs: Ian Akyildiz (Georgia Tech.) Deborah Estrin (UCLA) Program Co-Chairs: David Culler (UC Berkeley) Mani Srivastava (UCLA) Demos & Exhibits Co-chairs: John Heidemann (USC/ISI) Fabio Silva (USC/ISI) Publicity Co-chairs: Erdal Cayirci (ITU) Lynette Millett (NRC) Student Posters Co-chairs: Bhaskar Krishnamachari (USC) Sylvia Ratnasamy (Intel) Finance Chair: David Jaquez (UCLA) Local Arrangements Chair: Bernie Dempsey (UCLA) Registration Chair: Suresh Singh (Portland State) Sponsorship Chair: Rajesh Gupta (UCSD) Student Travel Awards: R. Sivakumar (Georgia Tech.) Submission Process Chair: Dirk Grunwald (U. Colorado) PROGRAM COMMITTEE A. Arora (Ohio State U.) H. Bakakrishnan (MIT) P. Bonnet (U. Copenhagen) L. Clare (JPL) C. Enz (EPFL) R. Govindan (USC) J. Hellerstein (UC Berkeley) L. Krishnamurthy (Intel) R. Martin (Rutgers) M. Martonosi (Princeton) A. Perrig (CMU) S. Servetto (Conell) M. Smith (HP) J. Stankovic (U. Virginia) G. Sukhatme (USC) M. Vetterli (EPFL) F. Zhao (PARC) STEERING COMMITTEE Ian Akyildiz (Georgia Tech., Co-chair), Victor Bahl (Microsoft, Sigmobile Representative), Deborah Estrin (UCLA, Co-chair), Craig Partridge (BBN, Sigcomm Representative), and Taieb Znati (NSF) Please visit the SenSys 2003 Home Page at http://www.cens.ucla.edu/sensys03/, or send email to sensys03(a)cens.ucla.edu for more information about the conference.

1 0

ACM-IFIP conference??
by Otto Spaniol 04 Feb '03

04 Feb '03

Dear all, I got a Call for Papers of an "ACM/IFIP EuroPar" conference (see below). Main topic is "Mobile Computing, wireless, mobile communication systems". It appears that this is just one topic (number 15) out of a huge number (19 in total) of areas. EuroPar has many parallel sessions, thus the structure is maybe not liked by us but... The CfP doesn't seem to contain a hint in which way IFIP is involved (apart from the conference name). To my opinion, the topic is strongly related to WG 6.8. sctivities. Theremore my question (in particular to Augusto Casaca and to Jan Slavik): - Are we involved in that event? - If not (yet): How to become involved? I feel that such an activity would be very good for TC6. Moreover: Which committee apart from TC6 might be involved? Best regards Otto The CfP follows. ------------------------------------------------------------------- Call for Papers (Submission Deadline: February 9, 2003) Euro-Par 2003 - Topic 15 Mobile and Ubiquitous Computing Klagenfurt, Austria August 26-29, 2003 http://europar-itec.uni-klu.ac.at/ * Description The development of small and powerful computing devices and, simultaneously, of wireless, mobile communication systems offers a great variety of new applications, summarized under the name of Mobile Computing. The phenomenal growth of those mobile computing devices, together with current trends in embedded systems and software, real-time interaction and omnipresent wireless networking fertilises the formation of a Ubiquitous Computing landscape, in which digital environments are aware of the presence of users, sensitive, adaptive and responsive to the users needs, habits and emotions and ubiquitously accessible for the user via natural interaction. This topic solicits papers dealing with the following mobile and ubiquitous computing elements: mobility, ubiquity, awareness, intelligence, and natural interaction. Mobility addresses solutions that help to make time, geographic, media and service boundaries less and less important. Ubiquity refers to a situation in which we are surrounded by a multitude of interconnected embedded systems, which are (mostly) invisible and moved into the background of our surrounding (workplace, building, home, outdoor). Awareness refers to the ability of the system to recognise and localise objects as well as people and their intentions. Intelligence refers to the fact that the digital surrounding is able to adapt itself to the people that live in it, learn from their behaviour, and possibly recognise as well as show emotion. Natural interaction finally refers to advanced modalities like natural speech- and gesture recognition, as well as speech- synthesis, which will allow a much more human-like communication with the digital environment than is possible today. The aim of the topic is to bring together, at Euro-Par 2003, computer scientists an engineers in the areas of wireless networking, mobile computing, and ubiquitous computing in order to present and share their ideas about the design and analysis of ubiquitous computing environments and the challenges imposed by the applications of mobile and ubiquitous computing. * Focus Mobile/wireless computing infrastructure Communication in mobile networks Mobility and QoS management Ad-hoc and personal area networks Media access techniques and terminals Ubiquitous/pervasive computing software architectures Ubiquitous access and context computing Smart devices and smart spaces Intelligent environments Sensors and actuators Positioning/tracking/authentication systems and technologies Mobile/ubiquitous/wearable computing scenarios Location-dependent/personalized wireless applications User interfaces and interaction models * Chairs Global Chair Prof. Max Mühlhäuser FG Telekooperation TU Darmstadt, Germany Email: max(a)informatik.tu-darmstadt.de Vice Chairs Prof. Azzedine Boukerche Department of Computer Sciences University of North Texas, USA Email: boukerche(a)cs.unt.edu Karin Anna Hummel Institute for Computer Science and Business Informatics University of Vienna, Austria Email: karin.hummel(a)univie.ac.at Local Chair Prof. Alois Ferscha Institute for Practical Computer Science, Software Group Johannes Kepler University Linz, Austria Email: ferscha(a)soft.uni-linz.ac.at * Euro-Par Mission and Details Euro-Par is well established as the premier annual European conference on all aspects of parallel and distributed computing. The conference normally attracts more than 300 participants coming from universities, research centres and industry. Euro-Par 2003 will represent major themes in the categories of hardware, software, algorithms and applications. In common with previous years, Euro-Par 2003 will be organized as a number of parallel sessions on 19 topics for which papers are solicited. * Submission Details All accepted papers will be available at the conference in the proceedings published by Springer-Verlag in the LNCS series. * Submission Key Dates Online submission site open: January 10, 2003 Final date for submission: February 9, 2003 Notification of acceptance: May 1, 2003 Camera ready version: May 25, 2003

2 1

FW: WWW2003 - Poster submission deadline extension
by Augusto Casaca 04 Feb '03

04 Feb '03

-----Original Message----- From: RICHTER Viktor [mailto:richter@sztaki.hu] Sent: sexta-feira, 31 de Janeiro de 2003 13:06 To: WWW2003 mailing list: Subject: WWW2003 - Poster submission deadline extension Importance: High Due to the interim non-accessibility of the WWW2003 web site and the impossibility of poster submission right before the closing, the deadline has been extended up to 7 February 2003 In the meantime, you can have access to WitanWeb at: http://poster.dsd.sztaki.hu/ Regards, Viktor Richter WWW2003 Secretariat

1 0

FW: Extention of IST2003 deadline
by Augusto Casaca 04 Feb '03

04 Feb '03

-----Original Message----- From: Leila Haji Rajabi [mailto:l.rajabi@itrc.ac.ir] Sent: s?bado, 1 de Fevereiro de 2003 16:15 To: Augusto.Casaca(a)inesc.pt Subject: Extention of IST2003 deadline Dear Prof. A. Casaca Technical Committee Member of IST2003, This is to inform you that the deadline for submission of paper abstracts to the Conference has now been extended by one month to March 1, 2003 in order to provide more time for potential contributors to the event please note that this extension applies only to the first deadline with all others remaining unaffected. The notification is also being highlighted in the IST website to reflect the new deadline. I would very much appreciate it if you could acknowledge the receipt of this mail. Best regards, Mahmoud Kamarei Head, Technical Committee

1 0

FW: PWC2003 - Deadline is February 10
by Augusto Casaca 04 Feb '03

04 Feb '03

-----Original Message----- From: pwc2003 [mailto:pwc2003@iit.cnr.it] Sent: quinta-feira, 30 de Janeiro de 2003 08:55 To: pwc2003 Subject: CFP: PWC2003 - Deadline is February 10 [Our apologies if you receive multiple copies of this message] CALL FOR PAPERS PWC 2003 The Eight International Conference on Personal Wireless Communications Sponsored by the IFIP WG 6.8 - Mobile and Wireless Communications <http://www.iit.cnr.it/pwc2003>http://www.iit.cnr.it/pwc2003 September 23-25, 2003 Telecom Italia Future Centre - Venice, Italy <http://www.futurecentre.telecomitalia.it/eng/>http://www.futurecentre.telec omitalia.it/eng/ PWC is the premier international forum for discussions between researchers, practitioners and students interested in the symbiosis of mobile computing and wireless networks. PWC 2003 is the eight conference of this series and is sposored by IFIP WG 6.8 The PWC 2003 technical program committee is soliciting papers describing original, previously unpublished, completed or on-going research, on topics. including, but not limited to, the following: - Mobile Web Access - Mobile and Wireless Applications - Pervasive computing - Mobile and Wireless Networking - IP-based Mobile Networks - Mobility Management - QoS in the Mobile and Wireless Networks - Real-time voice/video over mobile and wireless networks - Multicasting in Wireless Services - Analysis, Simulation and Measurement of wireless and mobile systems - Mobile ad hoc networks - Wireless BAN, PAN and LAN - Wi-Fi - Third and Fourth Generation Systems - 3G/WLAN internetworking - Energy-efficient Protocols and Power Management This year conference includes two special tracks to address hot topic issues: sensor networks and wireless security. PAPER SUBMISSION AND PUBLICATION ================================= Papers should neither have been published elsewhere nor currently under review by another conference or journal. For paper submission, please follow the submission instructions at: <http://www.iit.cnr.it/pwc2003>http://www.iit.cnr.it/pwc2003 All papers will be reviewed by the program committee. Accepted papers will appear in the conference proceedings published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series http://www.springer.de/comp/lncs/index.html IMPORTANT DATES =============== Full papers due: February 10, 2003 Notification: May 10, 2003 Camera Ready due: June 10, 2003 GENERAL Chair: Enrico Gregori, IIT - CNR, Italy GENERAL Vice-Chair: Fabrizio Davide, Telecom Italia, Italy TECHNICAL PROGRAM Chair: Marco Conti, IIT - CNR, Italy SPECIAL TRACKs PROGRAM Co-Chairs: Silvia Giordano, SUPSI, Switzerland Stephan Olariu, Old Dominion University, USA PUBLICITY Co-Chairs: Raffaele Bruno, IIT CNR, Italy Alexandros Kaloxylos, University of Athens, Greece STEERING COMMITTEE Members: Imrich Chlamtac, University of Trento, Italy (Chair) Jon Crowcroft, University of Cambridge, UK Sajal K. Das, The University of Texas at Arlington, USA Anthony Ephremides, University of Maryland, USA K. Ben Letaief, Hong Kong University (IEEE representative) Guy Omidyar, National University of Singapore (IFIP representative) Adam Wolisz, Technical University of Berlin, Germany TECHNICAL PROGRAM COMMITTEE Members: Arup Acharya, IBM T.J. Watson Research, USA Eitan Altman, INRIA, France, Andrea Baiocchi, University of Roma "La Sapienza", Roberto Battiti, University of Trento, Italy Elizabeth M. Belding-Royer, UC Santa Barbara, USA Giuseppe Bianchi, University of Palermo, Italy Azzedine Boukerche, University of North Texas, USA Andrew T. Campbell, Columbia University, USA Carla-Fabiana Chiasserini, Politecnico di Torino, Italy Raimo Kantola, Helsinki University of Technology, Finland Holger Karl, Technische Universitaet Berlin, Germany Mohan Kumar, Univ. Texas at Arlington, USA Laura M. Feeney, SICS, Sweden, Gabor Fodor, Ericsson, Sweden Luigi Fratta, Politecnico di Milano, Italy Per Gunningberg, Uppsala University, Sweden K. Ben Letaief, Hong Kong University, Hong Kong Andrey Lyakhov, Russian Academy of Sciences, Russia, Martin Mauve, University of Mannheim, Germany Franco Mazzenga, University of Roma Tor Vergata, Italy Enzo Mingozzi, University of Pisa, Italy Refik Molva, Institut EURECOM, France Hiroyuki Morikawa, University of Tokyo, Japan Sergio Palazzo, University of Catania, Italy Michael Paterakis, Technical University of Crete, Greece Niovi Pavlidou, Aristotle University of Thessaloniki, Greece Apostolis Salkintzis, Motorola, Canada Ioannis Stavrakakis, University of Athens, Greece. Ivan Stojmenovic, University of Ottawa, Canada, Samir Tohme, Ecole Nationale Superieure des Telecommunications (ENST), France Christian Tschudin, University of Basel, Switzerland Sami Uskela, Nokia Networks, Finland Andras Valko, Ericsson AB, Sweden Hidetoshi Yokota, KDDI R&D Laboratories, Japan Bernhard Walke, Aachen University of Technology, Germany ----------------------------------------- NETWORKING 2002 The Second IFIP-TC6 Networking Conference May 19-24 2002, Pisa - Italy c/o CNUCE Institute - National Research Council CNR Research Area Via G. Moruzzi, 1 56124, Pisa, Italy fax.: +39 050 3138092/91 http://www.cnuce.pi.cnr.it/Networking2002

1 0

FW: [IFIP] Call for Papers - I3E conf./Sep 2003
by Augusto Casaca 04 Feb '03

04 Feb '03

-----Original Message----- From: owner-ifip_tcchairs(a)ifip.or.at [mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden Sent: quinta-feira, 30 de Janeiro de 2003 08:27 To: MS&ED Subject: [IFIP] Call for Papers - I3E conf./Sep 2003 Dear Member Societies and Editors, Please find enclosed a Call for Papers related to an IFIP event. For full details please visit the conference website below. Best regards, Dorothy P.S. Information about IFIP events is posted at http://www.ifip.or.at/cal_even.htm **** Call for Papers The third IFIP conference on e-Commerce, e-Business, and e-Government, I3E, will be held from 22 - 24 September 2003 in Sao Paulo, Brazil http://www.cenpra.gov.br/I3E-conference/ We warmly invite you to participate in I3E 2003, sponsored by the three IFIP committees TC6, TC8, and TC11. It provides a forum for users, engineers, and scientists in academia, industry, and government to present their latest findings in e-commerce, e-business, or e-government applications and the underlying technology to support those applications. We encourage submissions from researchers and practitioners in academia, industry, consulting, or government on topics related to theory, practice, design, or support. I3E is an international conference; we welcome submissions from all countries. Papers due: March 28th, 2003 For more detailed information kindly visit the conference website above. ------------------------- IFIP Secretariat Hofstrasse 3 A-2361 Laxenburg, Austria Tel: +43 2236 73616 Fax: +43 2236 736169 www: http://www.ifip.or.at/

1 0

CFP: SAFECOMP 2003 - remind
by Massimo Felici 03 Feb '03

03 Feb '03

SAFECOMP 2003 The 22nd International Conference on Computer Safety, Reliability and Security 23-26 September 2003 Edinburgh, Scotland, United Kingdom http://www.safecomp.org/ ------------- Call For Papers ------------- -- ABOUT THE CONFERENCE -- Since it was established in 1979, by The European Workshop on Industrial Computer Systems, TC 7 on Reliability, Safety and Security, EWICS TC7, SAFECOMP has contributed to the progress of the state-of-the-art in dependable applications of computer systems. SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of computer safety, reliability and security regarding dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods and practical applications across the borders of different disciplines. -- SCOPE OF THE CONFERENCE -- SAFECOMP focuses on safety-critical computer applications and is a platform for knowledge and technology transfer between academia, industry and research institutions. Papers are invited on all aspects of dependability and survivability of critical computer-based systems of systems and infrastructures. Due to the increasing integration and evolution of hybrid systems, SAFECOMP emphasises work in relation to human factors, system evolution, dependability and survivability. Nowadays practical experience points out the need of multidisciplinary approaches to deal with the nature of critical complex settings. SAFECOMP, therefore, is open to multidisciplinary work enhancing our understanding across disciplines. SAFECOMP welcomes original work neither published nor submitted elsewhere on both industrial and research experience. Examples of industrial and research topics include: Industrial sectors: Accident Reports and Management - Aerospace and Avionics - Automotive - Banking and E-commerce - Bluetooth Devices - Critical National Information Infrastructures - Distributed and Real-time Systems - Firewalls - Medical Systems - Networking and Telecommunication - Open Source Software - Power Plants -Programmable Electronic Systems - Railways - Responsibility in Socio-Technical Systems - Robotics - Safety Guidelines and Certification - Safety Standards - Safety-Critical Systems and Infrastructures - Smart Card Systems Research areas: Fault Tolerance - Commercial-Off-The-Shelf and Safety - Dependability Analysis and Modelling - Dependability Benchmarking - Design for Dependability - Diversity - Empirical Analyses - Evolution, Maintenance and Dependability - Formal Methods and Dependability - Human Factors and Dependability - Internet Dependability - Intrusion Detection - System Modelling and Engineering - Qualitative Approaches for Dependability - Quantitative Approaches for Dependability - Safety, Reliability and Security - Safety and Risk Assessment - Dependable Structures - System Dependability - Verification, Validation and Testing -- PAPER SUBMISSION -- Paper submissions are via the conference website; submit full papers as portable document format (pdf) or postscript (ps). Papers must clearly show the name, postal address, email address, phone and fax number of the contact author. 14 pages is the maximum admitted length for submitted papers in the LNCS format; templates can be found at Springer-Verlag website: http://www.springer.de/comp/lncs/ Papers exceeding the above limit may be rejected without review. Only papers neither published nor submitted elsewhere may be submitted for publication. The following declaration should be added to the submitted paper: "All necessary clearances for the publication of this paper have been obtained. If accepted, the author will prepare the final manuscript in time for inclusion in the conference proceedings and will present the paper at the conference." Further information/instructions about submissions are on the conference website. The language for all paper submissions and presentations at the conference is English, and no simultaneous translation will be provided. -- CONFERENCE PROCEEDINGS AND JOURNAL SPECIAL ISSUE -- After acceptance by the Programme Committee, the final paper is required in electronic version according to the file templates provided by the publisher. Accepted papers will appear in the conference proceedings that will be distributed at the conference. Springer-Verlag will publish the conference proceedings in the series Lecture Notes in Computer Science (LNCS). http://www.springer.de/comp/lncs/ Extended and revised versions of the best papers accepted for the Conference will be peer-reviewed and published in a Special Issue of the international journal Reliability Engineering and System Safety (RESS) published by Elsevier: http://www.elsevier.com/locate/ress/ -- TUTORIAL SUBMISSION -- The first day of SAFECOMP 2003 is dedicated to tutorials. Tutorial submissions are via the conference web site. A one-page tutorial proposal (1000 words) should accompany the submission describing the contents of the tutorial and the relevance to the conference. -- IMPORTANT DATES -- 9 Febbruary 2003 (firm) Abstract submissions 23 February 2003 (firm) Full Paper submissions 30 March 2003 Tutorial proposal submissions 27 April 2003 Notification sent to authors 15 June 2003 (firm) Camera-ready submissions -- EXHIBITION AND TOOL FAIR -- A dedicated space will be organised for Exhibition and Tool Fair. Organisations requiring to show their own stands and products should submit their expression of interest according to the instructions provided in the conference web site. -- SPONSORS PROGRAM -- To become a sponsor of SAFECOMP 2003, please refer to the information about the Sponsors Program in the conference web page. -- CONFERENCE VENUE -- National e-Science Centre: http://www.nesc.ac.uk/ -- FURTHER INFORMATION AND ENQUIRIES -- http://www.safecomp.org/ info(a)safecomp.org -- THE HOST CITY -- One of the greenest and most beautiful cities in Europe, Edinburgh annually attracts over 2 million visitors, not just for its architecture, but as a city rich in social, cultural, learning and sporting facilities. Each year it hosts internationally-renowned events such as the Edinburgh International Arts, Fringe, Film, TV and Science festivals. Yet it is more than just a tourist attraction. Edinburgh is a thriving commercial and financial centre, the site of the new Scottish Parliament and a gateway to the coastline, hills and open country of the Scottish Highlands. Edinburgh is a beautiful, dynamic, prosperous European city that benefits from a unique architectural heritage and a magnificent natural setting. Edinburgh is also home to a thriving software industry supporting the major financial institutions in the city and creating new products. Over the past years Edinburgh has seen a huge increase in start-ups in the software area. Close to Edinburgh, the Silicon Glen houses major microelectronics, communications and software design companies. Scottish Enterprise, the development agency for Scotland, places a strong emphasis on developing industries providing key infrastructure for the knowledge economy. This is based on the firm foundation of a strong supply of appropriately-qualified graduates from the ten universities in central Scotland. -- ---------------------------------------------------------- Massimo Felici LFCS, School of Informatics The University of Edinburgh JCMB - KB, Mayfield Road Edinburgh EH9 3JZ - UK Tel: +44-131-650 5899 Fax: +44-131-6677 209 E-mail: massimo.felici(a)ed.ac.uk URL: http://www.dcs.ed.ac.uk/home/mas/ ----------------------------------------------------------

1 0

ACM PPDP'03 Call for Papers
by Torsten Crass 03 Feb '03

03 Feb '03

Dear all, Apologies for multiple copies of this message. Please circulate the following call for papers to colleagues. Best wishes, Frank D. Valencia. ------------------- Call for Papers Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming Uppsala, Sweden, 27-29 August 2003 IMPORTANT DATES Submission 29 March 2003 Notification 12 May 2003 Final Version 13 June 2003 WEB SITES PPDP 2003: http://www.it.uu.se/ppdp03/ PLI 2003: http://www.it.uu.se/pli03/ PPDP: http://pauillac.inria.fr/~fages/PPDP/. TOPICS (Not exhaustive): Logic and Constraint Programming; Functional Programming; Object-Oriented Programming; Concurrent Extensions; Mobile Computing; Integration of Paradigms; Proof Theoretic and Semantic Foundations; Program Design and Development; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments; and Application of Declarative Programming. CONFERENCE CHAIR: Konstantinos Sagonas, Uppsala University http://www.csd.uu.se/~kostis, email: kostis(a)it.uu.se PROGRAM CHAIR: Dale Miller, INRIA/Futurs & École polytechnique http://www.lix.polytechnique.fr/Labo/Dale.Miller, email: Dale.Miller(a)inria.fr PROGRAM COMMITTEE Maria Alpuente, Univ. Politécnica de Valencia, ES Alessandra Di Pierro, Univ. of Pisa, IT Masami Hagiya, Univ. of Tokyo, JP Fergus Henderson, Univ. of Melbourne, AU Alberto Momigliano, Univ. of Leicester, UK Benjamin Pierce, Univ. of Pennsylvania, US C.R. Ramakrishnan, SUNY Stony Brook, US Mario Rodríguez Artalejo, Univ. Complutense, ES Amr Sabry, Univ. of Indiana, US Konstantinos Sagonas, Uppsala University, SW Frank Valencia, Uppsala University, SW PREVIOUS PPDP CONFERENCES Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002). SCOPE OF THE CONFERENCE: PPDP 2003 aims to stimulate research in the use of logical formalisms and methods for analyzing, specifying, and performing computations. Of general interest are all aspects surrounding declarative programming paradigms such as logic programming, functional logic programming, and constraint programming. Topics of more specific interest are enhancements to such formalisms with mechanisms for concurrency, mobility, modularity, object-orientation, and static analysis, as well as the fuller exploitation of the programming-as-proof-search framework through new designs and improved implementation methods. At the level of methodology, the use of logic based principles in the design of tools for program development, analysis, and verification relative to all programming paradigms is of interest. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. Prospective authors are welcome to communicate with the Program Chair about the suitability of a specific topic. PAPER SUBMISSIONS: Submissions must be made on or before 29 March 2003, noon Central European Time and must be no more than 12 pages (including bibliography and appendices) and in standard ACM conference format: detailed formatting guidelines are available at http://www.acm.org/sigs/pubs/proceed/template.html, along with formatting templates or style files for LaTeX, Word Perfect, and Word. Proceedings will be published by ACM Press. Authors of accepted papers will be required to sign the ACM copyright form. Submissions will be carried out electronically via the Web via a link found at the conference web page. Papers must be submitted in either PDF format or as PostScript documents that are interpretable by Ghostscript. Papers must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. They must be written in English, must have a cover page with an abstract of up to 200 words, keywords, postal and electronic mailing addresses, and phone and fax numbers of the corresponding author. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Submissions that do not meet these guidelines may not be considered. CONFERENCE VENUE AND RELATED EVENTS: PPDP 2003 is part of a federation meeting known as Principles, Logics and Implementations of high-level programming languages (PLI 2003) which includes the ACM SIGPLAN International Conference on Functional Programming (ICFP 2003). PLI will run from 25 - 29 August 2003. The meetings will take place on the Uppsala University campus. AFFILIATED WORKSHOPS: Proposals are solicited for PLI 2003 affiliated workshops. Details about the submission of proposals are available from the PLI 2003 web site. The deadline for workshop proposals is 14 February 2003. STUDENT ATTENDEES: Students who have a paper accepted for the conference are offered student membership in SIGPLAN free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund. -- ========================================================================= Frank D. Valencia PostDoctoral Researcher in Computer Science Uppsala University, Sweden. office phone: +46 18 471 1030 mobile: +46 7358 20376 e-mai: frankv(a)it.uu.se http://user.it.uu.se/~frankv ========================================================================== --------------------------------------------------------------------- Dr. rer. nat. mailto:torsten.crass@med.uni-goettingen.de Torsten Crass visit me at http://home.comlink.org/tcrass - Biochemist and Bioinformatician - private: Bioinformatics Department Voßstraße 31 Göttingen Medical School 30161 Hannover Goldschmidtstraße 1 Fon: 0511/8486773 37077 Göttingen Fax: 0511/8486774 Fon: +49(0)551/3914912 Mobile: 0160/94816101 mailto:torsten.crass@eBiology.de ---------------------------------------------------------------------

1 0