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.
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
-----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
-----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
-----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
-----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/
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/
----------------------------------------------------------
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
---------------------------------------------------------------------