Dear TC6 members,
The deadline for hotel registration in Libon ended yesterday. I managed to
get an extension of that deadline until September 13th. Please remember that
the hotel cannot guarantee rooms after that date. I would thank also that
those of you who come to the Lisbon meeting, but are not staying in the
Melia Hotel, please let me know.
Best regards
Augusto
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
==========================================================================
This is to announce that the submission deadline is extended -
New submission deadline is: March 5, 2003
L A S T C A L L F O R P A P E R S
The 2003 International Multiconference in Computer Science
and Computer Engineering
(15 Joint Int'l Conferences + ...)
Monte Carlo Resort, Las Vegas, Nevada, USA
June 23-26, 2003
http://www.ashland.edu/~iajwa/conferences
The 2003 International Multiconference in Computer Science & Computer
Engineering is composed of the following 15 conferences (+ workshops) -
each event is the premier conference for presentation of advances in
its respective subject. All conferences will be held simultaneously
(same location & dates: June 23-26, 2003, Las Vegas, USA):
1. The 2003 International Conference on Parallel and Distributed
Processing Techniques and Applications (PDPTA'03)
2. The 2003 International Conference on Imaging Science,
Systems, and Technology (CISST'03)
3. The 2003 International Conference on Artificial Intelligence
(IC-AI'03)
4. The 2003 International Conference on Internet Computing (IC'03)
5. The 2003 International Conference on Embedded Systems and
Applications (ESA'03)
6. The 2003 International Conference on Wireless Networks (ICWN'03)
7. The 2003 International Conference on Machine Learning; Models,
Technologies and Applications (MLMTA)
8. The 2003 International Conference on Mathematics and
Engineering Techniques in Medicine and Biological Sciences
(METMBS'03)
9. The 2003 International Conference on Communications in
Computing (CIC'03)
10. The 2003 International Conference on Engineering of
Reconfigurable Systems and Algorithms (ERSA'03)
11. The 2003 International Conference on VLSI (VLSI'03)
12. The 2003 International Conference on Information and
Knowledge Engineering (IKE'03)
13. The 2003 International Conference on Software Engineering
Research and Practice (SERP'03)
14. The 2003 International Conference on Security and Management
(SAM'03)
15. The First International Conference on Web Services (ICWS'03)
CONFERENCES CONTACT:
H. R. Arabnia, Ph.D.
General Chair, The 2003 Int'l Multiconference in CS & CE
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
email: hra(a)cs.uga.edu
SUBMISSION OF PAPERS:
Prospective authors are invited to submit their papers
(about 5 pages - single space, font size of 10 to 12)
to H. R. Arabnia (hra(a)cs.uga.edu) by March 5, 2003.
(We prefer Word Doc or PDF formats.)
The length of the Camera-Ready papers (if accepted) will be
limited to 7 (IEEE style) pages. Papers must not have been
previously published or currently submitted for publication
elsewhere. The first page of the draft paper should include:
title of the paper, name, affiliation, postal address, E-mail
address, telephone number, & Fax number for each author. The first
page should also include the name of the author who will be
presenting the paper (if accepted) & a maximum of 5 keywords.
EVALUATION PROCESS:
Papers will be evaluated for originality, significance, clarity, &
soundness. Each paper will be refereed by two researchers in the
topical area.
IMPORTANT DATES:
March 5, 2003 (Wednesday): Extended Submission Deadline
March 26, 2003 (Wednesday): Notification of acceptance
April 22, 2003 (Tuesday): Camera-Ready papers & Prereg. due
June 23-26, 2003: All 15 Int'l Conferences
Apologies if you receive this more than once
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%=
Call for Papers
Sixth IFIP International conference on
Formal Methods for Open Object-based Distributed Systems
FMOODS 2003
19-21 November 2003, Paris, France
to be held in be held in conjunction with
DAIS'03 - Conference on Distributed Applications and Interoperable
Systems
http://fedconf.enst.fr/
A call for tutorials common to FMOODS and DAIS and
a call for workshops will be issued separately.
Objectives and Scope
------------------------------------------------------------------------
The objective of FMOODS is to provide an integrated forum for the
presentation of research in several related fields, and the exchange
of ideas and experiences in the topics concerned with the formal
methods support for Open Object-based Distributed Systems. Aspects of
such systems which are of interest include but are not limited to:
* Formal models
* Formal techniques for specification, design or analysis
* Component-based design
* Verification, testing and validation
* Semantics of programming, coordination or modelling languages
* Type systems for programming, coordination or modelling languages
* Behavioural typing
* Multiple viewpoint modelling and consistency between different
models
* Transformations of models
* Integration of quality of service requirements into formal models
* Formal models for security
* Applications and experience, carefully described.
Work on these aspects of (official and de-facto) standard notations
and languages, e.g., the UML, is explicitly welcome.
Strengthening this year's federation with DAIS, a special emphasis is
put on component-based design for which submissions are encouraged.
Conference Organisers
------------------------------------------------------------------------
General chair:
Elie Najm (ENST, Paris, France) Elie.Najm(a)ENST.fr
PC chairs:
Uwe Nestmann (EPFL, CH) Uwe.Nestmann(a)EPFL.ch
Perdita Stevens (U Edinburgh, UK) perdita(a)inf.ed.ac.uk
Publicity chair:
John Derrick (U Kent, UK) J.Derrick(a)ukc.ac.uk
Programme Committee
------------------------------------------------------------------------
Lynne Blair (U. Lancaster, UK)
Michele Bugliesi (Universita' Ca' Foscari di Venezia, IT)
Denis Caromel, Univ. of Nice Sophia Antipolis - CNRS/I3S - INRIA - IUF
John Derrick (UKC, UK)
Alessandro Fantechi (U. Florence, IT)
Kokichi Futatsugi (Jaist, Ishikawa, Japan)
Andy Gordon (Microsoft, UK)
Cosimo Laneve (U. Bologna, IT)
Luigi Logrippo (Universit=E9 du Qu=E9bec en Outaouais, Canada)
Elie Najm (ENST, Paris, France)
Erik Poll, (U Nijmegen, NL)
Arend Rensink (U. Twente, NL)
Bernhard Rumpe (TU Munich, DE)
Jacob Slonim (Dalhousie University, DalTech, Canada)
Martin Steffen (Christian-Albrechts U. Kiel, DE)
Carolyn Talcott (Stanford University, US)
Nalini Venkatasubramanian (UC Irvine, USA)
Akinori Yonezawa (U. Tokyo, JP)
Important Dates
------------------------------------------------------------------------
Deadline for submission of abstracts 2 June 2003
Deadline for submission of full papers 9 June 2003
Notification to authors 4 August 2003
Final version of accepted papers 1 September 2003
Submission
------------------------------------------------------------------------
Submit your manuscript electronically in Postscript or PDF using the
Springer LNCS style. Papers should be 10-15 pages in length. Full
details, including more specific guidelines on the preparation of
papers, can be found on the conference website. Papers will undergo a
thorough process of review; however, papers which are too long may be
rejected without review. Proceedings will be published by Springer
Verlag in the LNCS series. All papers must be original, unpublished,
and not submitted simultanously for publication elsewhere.
-----Original Message-----
From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On
Behalf Of Plamen Nedkov
Sent: sexta-feira, 21 de Fevereiro de 2003 13:47
To: All
Subject: [IFIP] Good Vibs (contd). & Friday's special
Dear All,
There are good vibrations coming from our member societies:
We are closely working with all recently admitted IFIP members to assist
their integration. All 4 admitted full member societies at GA 2001 (Chile,
Lithuania, Oman and Zimbabwe) have settled their initial membership
obligations and are geared up to IFIP activities. This is also true for
CITS-Croatia (admitted at GA 2002) which will host an IT-STAR meeting in
early June. The Cyprus Computer Society was also admitted at GA 2002 and is
busily selecting its TC representatives. CLEI, our regional Latin American
corresponding member, continues to look into the feasibility of becoming a
Full member.
Argentina has undergone a major review of its TC representation and will
soon try to overcome its back dues. Over this week we maintained everyday
contact with Cecilia Berdichevsky, SADIO's GA representative, and with
members of SADIO's Governing Board on the occasion of Armando's passing.
Our grief has further united us in considering activities within the IFIP
format.
In January and February many outstanding membership issues were sorted out:
Greece made a great effort and is "up to date" NOW! So did Syria! Some
weeks ago a Board member of the Syrian Computer Society (and Deputy
Minister for Communications) called to discuss activities and outstanding
dues. All matters were immediately taken care of. We currently maintain
contact with Malaysia about their status in IFIP. Some days ago, the South
Korea rep. wrote to say that KISS has settled its obligations.
When the KISS transfer arrives, IFIP will have 42 national member societies
with voting rights!!! At present we have 48 full members on our books. By
GA 2003 in Lithuania the "42 votes" could easily become
"45". Additionally, there are 3 corresponding members and 10 Affiliates.
Finally, we understand that Bruce Shriver is the recipient of the IEEE CS
2002 Richard E. Merwin Award for Distinguished Service to the computer
science profession at large, which he accepts this February. Bruce is a
past CS president and the first IEEE CS representative to IFIP [1999-2000].
Congratulations!
And lastly ;-), if you need specialized reading for the weekend try some
TC 5 stuff ( the WG 5.5 COVE -- Cooperation Infrastructure for Virtual
Enterprises and Electronic Business -- Newsletter) at
http://www.uninova.pt/~cove/newsindex.htm
Have a great weekend,
The Delivery Co.
Fun zone - joke lovers only!
... and to cheer you up for the weekend here is a cutie :-))
"It's just too hot to wear clothes today", complained Jack as he stepped
out of the shower.
"Honey, what do you think the neighbors would think if I mowed the lawn
like this?"
"Probably that I married you for your money."
--------------------------------
Plamen Nedkov
Executive Director, IFIP
Hofstrasse 3, A-2361 Laxenburg, Austria
Tel: +43 2236 73616 Fax: +43 2236 736169
http://www.ifip.org/
-----Original Message-----
From: owner-ifip_tcchairs(a)ifip.or.at
[mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden
Sent: sexta-feira, 21 de Fevereiro de 2003 08:53
To: MS&ED
Subject: [IFIP] Calls for Papers - FORTE & CHARME, Sep/Oct 2003
Dear Member Societies and Editors,
Please find enclosed Calls for Papers related to IFIP events. For full
details please visit the conference websites 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 23rd IFIP TC6/WG6.1 International Conference on Formal Techniques for
Networked and Distributed Systems
FORTE 2003
29 September - 2 October 2003, Berlin, Germany
http://www.forte2003.de.vu
FORTE denotes a series of international working conferences on formal
description techniques (FDTs) applied to computer networks and distributed
systems. The conference series started in 1981 under the name PSTV. In 1988
a second series under the name FORTE was set up. Both series were united to
FORTE / PSTV in 1996. Two years ago the conference changed the name to its
current form. FORTE provides a forum for researchers and users to review,
discuss, and learn about new approaches, concepts, and experiences in the
field of formal description techniques and their application.
FORTE 2003 is especially dedicated to the application of formal description
techniques to practice, especially in the Internet domain. The conference
will consist of tutorial sessions on the first day, followed by
presentations of reviewed and invited papers, tool demonstrations, and
panel and working sessions.
Submission deadline for regular papers and tutorials : 17 March 2003
****
CALL FOR PAPERS
Working Conference on Correct Hardware Design and Verification Methods -
CHARME 2003
21-24 October 2003 in L'Aquila, Italy
http://www.di.univaq.it/charme2003/
CHARME 2003 is the twelfth in a series of working conferences devoted to
the development and use of leading-edge formal techniques and tools for the
design and verification of hardware and systems. It has been the aim of the
conference to expand its interest to software as well when the technology
is related. Previous conferences have been held in Darmstadt, Edinburgh,
Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, Bad
Herrenalb and Edinburgh. It is the biennial counterpart of FMCAD, which
takes place every even year in the USA. It is co-sponsored by IFIP WG10.5.
The aim of CHARME 2003 is to bring together researchers and users from
academia and industry working in this active area of research. The
conference will cover original research results, case studies, use of
technologies across application domains, and reports on practical
experiments. Papers describing original work in all aspects of formal
hardware and system design and verification methods are invited. Papers
related to formal modeling and verification of concurrent software are also
welcome.
Deadline for paper submission: 11 April 2003
For more detailed information kindly visit the conference websites above.
-------------------------
IFIP Secretariat
Hofstrasse 3
A-2361 Laxenburg, Austria
Tel: +43 2236 73616
Fax: +43 2236 736169
www: http://www.ifip.or.at/
We apologize if you receive multiple copies of this message.
Please find the enclosed program of 1st IEEE International Workshop on Sensor Network Protocols and Aplications (SNPA'03) below.
The registration form for SNPA'03 is available at "http://www.icc2003.com/RegistrationPage.pdf."
Best regards,
Erdal Cayirci
=======================================================================
SNPA 2003
First IEEE International Workshop on
Sensor Network Protocols and Applications
in Conjunction with IEEE ICC 2003
May 11, 2003 Anchorage, AK, USA
Sponsored by IEEE Communications Society Technical Committees:
Personal Communications, Tactical Communications, and Radio Communications.
08:45 - 09:00 Welcome
Welcome and Introduction by General Co-chairs
09:00 - 10:30 Session 1: Network Management and Provisioning
* "Energy Efficiency Based Packet Size Optimization in Wireless Sensor Networks,"
Y.Sankarasubramaniam, I.F. Akyildiz, and S.W.McLaughlin, Georgia Institute of Technology.
* "Optimal Energy Balanced Algorithm for Selection in a Single Hop Sensor Network,"
M.Singh and V.K. Prasana, University of Southern California.
* "Multi-resolution State Retrieval in Sensor Networks,"
B.Deb, S.Bhatnagar, and B.Nath, Rutgers University.
* "Data Mules: Modeling a Three-tier Architecture for Sparse Sensor Networks,"
R.C.Shah and S. Roy, Intel, S.Jain and W.Brunette, University of Washington.
10:30 - 11:00 Coffee Break
11:00 - 12:30 Session 2: Target and Sensor Node Localization and Location Discovery
* "Localized Positioning in Ad Hoc Networks,"
D.Niculescu and B.Nath, Rutgers University.
* "Target Localization Based on Energy Considerations in Distributed Sensor Networks,"
Y.Zou and K.Chakrabarty, Duke University.
* "Localized Edge Detection in Sensor Fields,"
K.K.Chintalapudi and R.Govindan, University of Southern California.
* "A Protocol for Tracking Mobile Targets using Sensor Networks,"
H.Yang and B.Sikdar, Rensselaer Polytechnic Institute.
12:30 - 13:30 Lunch Break
13:30 - 15:00 Session 3: End-to-end Reliability, Security and QoS
* "Reliable Upgrade of Group Communication Software in Sensor Networks,"
P.V.Khrishnan, Microsoft, L.Sha and K.Mechitov, University of Illinois at Urbana-Champaign.
* "Providing Application QoS through Intelligent Sensor Management,"
M.Perillo and W.B.Heinzelman, University of Rochester.
* "RMST: Reliable Data Transport in Sensor Networks,"
F.Stann and J.Heideman, USC Information Sciences Institute.
* "Secure Routing in Wireless Sensor Networks: Attacks and Countermeasures,"
C.Karlof and D.Wagner, University of California, Berkeley.
15:00 - 15:30 Coffee Break
15:30 - 17:20 Session 4: Data Aggregation and Querying
* "Aggregation in Sensor Networks: An Energy Accuracy Trade-off,"
A.Boulis, S.Ganeriwal, and M.B.Srivastava, University of California at Los Angeles.
* "Computing Aggregates for Monitoring Wireless Sensor Networks,"
J.Zhao, R.Govindan and D.Estrin, University of California at Los Angeles.
* "The ACQUIRE mechanism for efficient querying in sensor networks,"
N.Sadagopan, B.Krishnamachari, and A.Helmy, University of California at Los Angeles.
* "Data Funneling: Routing with Aggregation and Compression for Wireless Sensor Networks,"
D.Petrovic, R.C.Shah, K.Ramchandran, and J.Rabaey, University of California, Berkeley.
* "DIFS: A Distributed Index for Features in Sensor Networks,"
B.Greenstein and D.Estrin, University of California at Los Angeles, R.Govindan, University of Southern California, S.Ratnasamy, Intel, S.Shenker, International Computer Science Institute.
Dear Working Group chairs,
Could you please tell me which will be the publishers for the folllowing
2003 TC6 events:
- Workshop on for Technology, Economy, Social and Legal Aspects of Virtual
Goods (6.11)
- Workshop on Quality of Service (6.1)
- Electronic Publishing (6.11,ICCC)
- Ad Hoc networks Workshop (6.8)
- MMNS'03 (6.6)
- DSOM'03 (6.6)
- Active Networks (6.7)
- Smartnet'03 (6.7)
- FMOODS'03 (6.1)
- DAIS'03 (6.1)
Thank you and best regards
Augusto Casaca
-----Original Message-----
From: owner-ifip_tcchairs(a)ifip.or.at
[mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden
Sent: quarta-feira, 12 de Fevereiro de 2003 13:03
To: MS&ED
Subject: Call for Participation - IM 2003, 24-28 March
Dear Member Societies, Editors and TC Chairs,
Call for Participation
The Eighth IFIP/IEEE International Symposium on Integrated Network
Management (IM 2003) will be held on
24-28 March 2003 in
Colorado Springs, Colorado, USA.
The IM 2003 Symposium presents the latest research results and industrial
solutions for integrated network and distributed systems management. The
symposium is organized in technical sessions, tutorials, and vendor
exhibits. An industrial experience track will be introduced to share the
practical lessons learned by the user and vendor communities.
Sponsored by IFIP Working Group 6.6 on Management of Networks and
Distributed Systems and the IEEE Communications Society, this premier event
focuses on the pivotal role that integrated management strategies, new
developments and solutions play in the worldwide information infrastructure.
To benefit from reduced rates check the conference website at
http://www.im2003.org/
-------------------------
IFIP Secretariat
Hofstrasse 3
A-2361 Laxenburg, Austria
Tel: +43 2236 73616
Fax: +43 2236 736169
www: http://www.ifip.or.at/