Dear Fellow TC Member
I would like to inform that the deadline to submit papers to The
Med-Hoc-Net 2003 workshop has been extended till April 15 2003.
I hope this will give you plenty of time to submit a paper.
Thank you for your cooperation
Farouk Kamoun
PS please circulate this information
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.
Please do not hesitate to email me at safwat(a)cs.queensu.ca for further
information.
IEEE VTC 2003 Wireless Ad hoc, Sensor, and Wearable Networks
October 4-9, 2003
Hyatt Orlando Hotel
Orlando, Florida, USA
This is a great opportunity to meet key researchers and practitioners
in this emerging and exciting field. The IEEE VTC's wide readership
will secure exposure of your work. In addition, the venue is the home of
Walt Disney World Resort and is full of attractions for the whole family.
Please note that the deadline for the Symposium is fast approaching.
For further details, please visit:
http://www.cs.queensu.ca/home/safwat/VTC_2003_Symposium/
Best regards,
Ahmed Safwat, Symposium Chair
Queen's University, Canada
http://www.cs.queensu.ca/home/safwat
_________________________________________________________________
STOP MORE SPAM with the new MSN 8 and get 2 months FREE*
http://join.msn.com/?page=features/junkmail
IEEE VTC 2003 Wireless Ad hoc, Sensor, and Wearable Networks
October 4-9, 2003
Hyatt Orlando Hotel
Orlando, Florida, USA
This is a great opportunity to meet key researchers and practitioners
in this emerging and exciting field. The IEEE VTC's wide readership
will secure exposure of your work. In addition, the venue is the home of
Walt Disney World Resort and is full of attractions for the whole family.
Please note that the deadline for the Symposium is fast approaching.
For further details, please visit:
http://www.cs.queensu.ca/home/safwat/VTC_2003_Symposium/
Best regards,
Ahmed Safwat, Symposium Chair
Queen's University, Canada
http://www.cs.queensu.ca/home/safwat
_________________________________________________________________
Help STOP SPAM with the new MSN 8 and get 2 months FREE*
http://join.msn.com/?page=features/junkmail
-----Original Message-----
From: owner-ifip_tcchairs(a)ifip.or.at
[mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Plamen Nedkov
Sent: sexta-feira, 21 de Marco de 2003 10:15
To: ifip_tcchairs(a)ifip.or.at
Subject: [IFIP] Task Force on IT & Sports
Dear TC Chairs,
During the TA in Bilbao I reported on the progress re. the TF on IT &
Sports. Jacques requested that I circulate to all the TC Chairs the
material to which I referred when reporting. Here it is.
Best, Plamen
>Date: Wed, 26 Feb 2003 10:31:27 +0100
>To: basie(a)rkw.rau.ac.za
>From: Plamen Nedkov <nedkov(a)ifip.or.at>
>Subject: Fwd: Re: [IFIP] Task Force on IT & Sports
>
>Basie,
>
>FYI. See you soon, Plamen
>
>
>>X-Sender: nedkov#secr.ifip.or.at(a)192.168.0.10
>>X-Mailer: QUALCOMM Windows Eudora Version 5.1
>>Date: Wed, 26 Feb 2003 10:14:54 +0100
>>To: Kemal Ebcioglu <kemal(a)us.ibm.com>
>>From: Plamen Nedkov <nedkov(a)ifip.or.at>
>>Subject: Re: [IFIP] Task Force on IT & Sports
>>Cc: Dan <DOLeary(a)marshall.usc.edu>, Erol Gelenbe <erol(a)cs.ucf.edu>,
>> Jan Roukens <jroukens(a)hotmail.com>, Mikko Ruohonen <mr(a)cs.uta.fi>,
>> Rita DE CALUWE <rdc(a)telin.rug.ac.be>,
>> Otto Spaniol <spaniol(a)informatik.rwth-aachen.de>, nedkov(a)ifip.or.at
>>
>>Thanks, Kemal. The idea of a vision statement is excellent and I hope
>>Otto and Erol could take the lead. Also, I take it that Otto will be our
>>key person (in terms of program and organization) with regard to the
>>conference in September 2004.
>>
>>I leave on Friday for Bilbao for the IFIP Council. There, I will present
>>a progress report on the TF during the Technical Assembly
>>
>>Regards, Plamen
>>
>>At 07:18 PM 2/19/03 -0500, Kemal Ebcioglu wrote:
>>
>>>This looks like good progress. I think organizing a conference on this
>>>topic provides a good opportunity for allowing technical ideas to emerge
>>>and for recruiting interested people to the effort. We can also meet more
>>>regularly through teleconferences and attempt to write a white
paper/vision
>>>statement, if there is sufficient interest from the team. Let us know how
>>>we can help.
>>>
>>>Kemal
>>>
>>> Plamen Nedkov
>>> <nedkov(a)ifip.or.a To: Otto Spaniol
>>> <spaniol(a)informatik.rwth-aachen.de>,
>>> t> Rita DE CALUWE
>>> <rdc(a)telin.rug.ac.be>, Mikko Ruohonen
>>> <mr(a)cs.uta.fi>, Erol
>>> Gelenbe <erol(a)cs.ucf.edu>, Kemal
>>> 02/05/2003 04:48
Ebcioglu/Watson/IBM@IBMUS
>>> AM cc: Jan Roukens
>>> <jroukens(a)hotmail.com>,
>>> O'Leary(a)ifip.or.at, Dan
>>> <DOLeary(a)marshall.usc.edu>,
>>> nedkov(a)ifip.or.at
>>> Subject: [IFIP] Task
>>> Force on IT & Sports
>>>
>>>
>>>Dear TF members,
>>>
>>>In response to my mail of 30 Oct. [see note below] I received
confirmations
>>>from Otto, Rita, Erol and Kemal. I have not heard from the others but I
>>>assume Mikko is also on board. Otto has accepted to serve as the co-chair
>>>for Europe and Erol, with the help of Kemal, will be the second co-chair
>>>for North America.
>>>
>>>I have asked the IT-STAR representatives (
http://www.ifip.or.at/it-star )
>>>during a meeting in Nov. about their interest in joining this initiative
>>>and their attitude is quite positive.
>>>
>>>Otto has also progressed our contacts with
>>>
>>>Univ.-Prof. Dr. Jochen Mester
>>>Digital Media Center, German Sports College (University), Cologne
>>>email: mester(a)dshs-koeln.de http://www.dshs-koeln.de/train
>>>
>>>A national [DE] activity in this are is organized by the German Academy
for
>>>Sports Science. Prof. Mester is a Council member. Every second year they
>>>hold a national event and every 4th year an international symposium. The
>>>next national event is scheduled for 2004 in Cologne and he would be
happy
>>>to cooperate with our initiative. There is an existing partnership with
IBM
>>>
>>>supported by the German Ministry (for Education?). Otto and I have
>>>tentatively agreed to explore the second half of September 2004 for an
>>>international IFIP [TF on "IT & Sports"] event within the format of the
>>>National symposium in Cologne. Otto will get back to us on this matter.
If
>>>we agree to go along with this we need to set up a program committee. [I
>>>suggest Otto and Erol consider consider the issue of the PC chair.] In
>>>addition to the members of the TF I think we could rely on TC 6, GI -
>>>IFIP's German member society probably one or 2 representatives from
IT-STAR
>>>and any other interested individuals.
>>>
>>>If we go for this, we would handle the conference as a regular IFIP
event.
>>>The process and the conference would help us recruit membership, hold a
TF
>>>business meeting during that event and establish the "IT & sports" agenda
>>>and organizational unit as a specialized area within IFIP.
>>>
>>>There is an IFIP Council meeting in early March 2003 in Spain and I would
>>>report during the Technical Assembly on the status.
>>>
>>>Please let me have your comments and recommendations.
>>>
>>>Best, Plamen
>>>
>>>P.S. While not urgent, we need to have a more structures draft of the
Aims
>>>and Scope of the TF based on the original paper
>>>http://www.ifip.or.at/secretariat/corner/it_sports.pdf so if anyone
wishes
>>>to take a shot at this she/he are most welcome.
>>>
>>>Date: Wed, 30 Oct 2002 14:11:04 +0100
>>>To: Otto Spaniol <spaniol(a)informatik.rwth-aachen.de>,
>>> Rita DE CALUWE <rdc(a)telin.rug.ac.be>, Mikko Ruohonen <mr(a)cs.uta.fi>,
>>> Erol Gelenbe <erol(a)cs.ucf.edu>, Kemal Ebcioglu <kemal(a)us.ibm.com>,
>>> O'Leary(a)ifip.or.at, Dan <DOLeary(a)marshall.usc.edu>
>>>From: Plamen Nedkov <nedkov(a)ifip.or.at>
>>>Subject: [IFIP] Task Force on IT & Sports
>>>Cc: Jan Roukens <jroukens(a)hotmail.com>, nedkov(a)ifip.or.at
>>>
>>>Hello Everyone,
>>>
>>>I am getting back to you about the IT&Sports initiative -
>>>http://www.ifip.or.at/mail/msg00143.html
>>>
>>>On the base of all the positive responses I prepared a paper
>>>- http://www.ifip.or.at/secretariat/corner/it_sports.pdf which was
>>>considered during the Technical Assembly (TA) in Montreal, Sep. 2002. TA
>>>supported this initiative and decided to establish a Task Force on IT &
>>>Sports. The General Assembly endorsed the initiative. The Task Force on
"IT
>>>
>>>& Sports" is mandated to further investigate the subject and to prepare
a
>>>draft proposal for aims, scope and activities for TA 2003. I offered to
>>>assist in starting the project.
>>>
>>>In early October I participated in the TC 6 annual meeting and 30th
>>>Anniversary in Lisbon. The IT & Sports initiative was on the TC 6 meeting
>>>Agenda and many TC 6 members thought it was very timely to step into a
>>>field. TC 6 decided to appoint Otto Spaniol, their Past Chair, as the TC
6
>>>Liaison and contact on matters related to IT & Sports. Otto and I are in
>>>contact on this for a while. We think that we should start in Europe and
in
>>>
>>>North America and then try to further expand. We would need two regional
>>>leaders - one for Europe and another for North America. Otto agreed
>>>to take responsibility for Europe.
>>>
>>> From previous contact I know Erol would be available to help and Kemal
is
>>>also willing to provide his connections to industry. This said, I would
>>>like to ask whether Erol, with Kemal's help, would be willing to take
>>>responsibility for the leadership in North America. If Erol agrees, as I
>>>hope he would we, would have the regional leaders (co-chairs of the TF).
>>>
>>>The following persons have initially said they would be willing to
>>>contribute -
>>>
>>>Europe:
>>>*Otto Spaniol <spaniol(a)informatik.rwth-aachen.de> - past TC 6 Chair
[DE]
>>>*Rita DE CALUWE <rdc(a)telin.rug.ac.be> - past TC 3 Vice-Chair and past GA
>>>representative of BE
>>>*Mikko Ruohonen <mr(a)cs.uta.fi> WG 3.4 Chair [FI]
>>>
>>>North America:
>>>*Erol Gelenbe <erol(a)cs.ucf.edu> Past WG 7.3, University Chair Professor
&
>>>Director School of EECS, Associate Dean of Eng'g & CS, University of
>>>Central Florida
>>>*Kemal Ebcioglu <kemal(a)us.ibm.com> WG 10.3 Chair, T. J. Watson Reseach
>>>Center, IBM
>>>*Dan O'Leary <DOLeary(a)marshall.usc.edu> TC 12 Secretary and WG 12.6
Chair,
>>>
>>>Univ. of South California
>>>
>>>They are all copied to this mail. This would be the core group with
natural
>>>
>>>links to TC3, TC6, TC7, TC10 and TC12. As we progress, I am confident
that
>>>each of us could recruit further members.
>>>
>>>There is also Jan Roukens <jroukens(a)hotmail.com> , former IFIP TC 4
Chair
>>>on Medical Informatics, who responded with the idea related to the drug
>>>monitoring system which I though is very interesting. Jan originally
said
>>>he would not be available but I copy him just in case he may wish to
>>>reconsider or recommend another expert in the Field (IMIA rep?).
>>>
>>>Otto and I have taken one step further - Otto was in contact with the
>>>German sports academy (this perhaps in not the correct name but my
>>>understanding is that the institution is very solid) in order to
>>>investigate the possibility for organizing in Germany an international
IFIP
>>>
>>>conference in the field in 2004. The first contacts are encouraging.
>>>
>>>We need to reconfirm that all of you are available and willing to take
part
>>>
>>>in this. Then, under Otto's and Erol's (?) guidance, we would need to
start
>>>
>>>working on a draft proposal for aims, scope and activities for TA 2003.
>>>
>>>So, ARE YOU READY?
>>>
>>>Best,
>>>
>>>Plamen
>>
>> --------------------------------
>>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: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE
[mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE]On Behalf Of Hartmut König
Sent: sexta-feira, 21 de Março de 2003 08:01
To: Forte 2003 Distributor
Cc: Forte 2003 TPC
Subject: [ifip-tc6] Kind reminder: Forte 2003 Deadline Extension !!!
Please excuse if you received that Call for Papers several times.
=====================================================================
Attention !!!
The FORTE deadline will be extended for one week. The submission window
will be closed March 24, 2003 12 a.m. (MET) sharp.
Kind regards
Hartmut Koenig, Monika Heiner, and Adam Wolisz
=====================================================================
CALL FOR PAPERS
FORTE 2003
Application of Formal Description Techniques
in Internet and Communication Domains
IFIP TC 6 / WG 6.1
The 23rd IFIP International Conference
on
Formal Techniques for Networked and Distributed Systems
September 29th - October 2nd, 2003
Berlin, Germany
http://www.forte2003.de.vu
========================================================================
Scope and Objectives
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.
The 23rd FORTE conference will be held in Berlin. It is organized by the
Brandenburg University of Technology Cottbus (BTU Cottbus) and the
Berlin University of Technology (TU Berlin). 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.
Topics of interest
FORTE'03 will provide a forum for researchers and users to review,
discuss, and learn about new approaches, concepts and experiences in the
application of formal methods such as finite state machines, process
algebras, Petri nets and logics and formal description techniques
including SDL, UML, LOTOS, MSC, ASN.1, and others. Topics of interest
include, but are not restricted to
- Use of formal methods: FDT based design of communication protocols
and distributed systems especially for Internet applications, Formal
verification, Performance modeling and analysis, Automatically
derived implementations, Test of distributed systems and
communication protocols including interoperability tests, performance
tests, robustness tests, and test generation procedures, Tool support
- Theoretical aspects of formal methods: New approaches and theories,
Extensions of FDTs, Semantic foundations, Real-time and probability
aspects
- Practical experience with formal methods: Reports and case studies of
the deployment of formal methods and FDTs to the development and
validation of distributed systems and communication protocols, in
particular in Internet and communication domains.
We strongly encourage the submission of papers with practical
applications especially in the areas of multimedia applications,
wireless and mobile communication protocols, client/server applications,
secure systems/environments, e-business and mobile commerce,
and other Internet applications.
Submission policy
Several types of contributions are solicited:
- Full papers - research or practice results (not more than 16 pages)
- Tutorial proposals
- Work in progress papers (not more than 5 pages)
- Tool demonstration proposals
Only original papers, i.e. not submitted nor published elsewhere, should
be submitted. Papers should be submitted electronically in PDF format
using the following address:
http://www.forte2003.de.vu/paper
All accepted full papers will be published in Lecture Notes of Computer
Science series of Springer. Work in progress papers will be published in
a separate volume at the conference. To facilitate the production of the
final proceedings we strongly recommend submissions to follow the
Springer style available at http://www.springer.de/comp/lncs/
authors.html.
Best Paper Award
There will be a best paper award of 500 Euros offered by IFIP TC6 for
the author(s)of the best paper selected during the reviewing process.
Important Dates
- March 17th, 2003: Submission deadline for regular papers and tutorials
EXTENDED to March, 24th, 2003 !!!!
- May 22nd, 2003: Notification of acceptance
- June 23rd, 2003: Camera-ready version
- May 19th, 2003 Submission deadline for work-in-progress papers
Conference Chairs
- Hartmut Koenig, BTU Cottbus
- Monika Heiner, BTU Cottbus
- Adam Wolisz, TU Berlin
Technical Program Committee
- T. Bolognesi, IEI Pisa, Italy
- E. Borcoci, University of Bucarest, Romania
- H. Bowman, University of Kent, UK
- A. Cavalli, INT Evry, France
- P. Dembinski, IPI Warsaw, Poland
- R. Gotzhein, University of Kaiserslautern, Germany
- R. Groz, INRIA Rhones-Alpes, France
- U. Herzog, University of Erlangen-Nueremberg, Germany
- T. Higashino, Osaka University, Japan
- D. Hogrefe, University of Göttingen, Germany
- G. J. Holzmann, Bell Labs, USA
- C. Jard, IRISA, France
- M. Kim, ICU Taejon, Korea
- F. Khendek, Concordia University Montreal, Canada
- P. Kritzinger, University of Cape Town, South Africa
- H. Krumm, University of Dortmund, Germany
- D. Lee, Bell Labs, China
- M. Luukainen, University of Helsinki, Finland
- B. Müller-Clostermann, University of Essen, Germany
- M. Nunez, University of Madrid, Spain
- D. A. Peled, University of Warwick, UK
- A. Petrenko, CRIM Montreal, Canada
- K. Suzuki, Advanced Coomuication Coop., Japan
- Ü. Uyar, City University of New York, USA
- M. Y. Vardi, Rice University Houston, USA
- J. Wu, Tsinghua University, Beijing, Chian
- N. Yevtushenko, Tomsk State University, Russia
Steering Committee
- G. v. Bochmann, University of Ottawa, Canada
- E. Brinksma, University of Twente, The Netherlands
- S, Budkowski, INT Evry, France
- G. Leduc, University of Liege, Belgium
- E. Najm, ENST, France
- R. Tenney, University of Massachusetts, USA
- K. Turner, University of Stirling, UK
Publicity Chair for
- Asia: K. Suzuki, Advanced Communication Coop., Japan
- North America: Ü. Uyar, City University of New York, USA
- South America: W. Lopes de Souza, University of Sa~o Carlos, Brazil
Organization Committee
- Katrin Willhöft, BTU Cottbus
- Christian Noack, BTU Cottbus
- Irene Ostertag, TU Berlin
- Ronny Richter, BTU Cottbus
Further Information
- FORTE Web site: http://www.forte2003.de.vu
- IFIP Web site: http://www.ifip.or.at/
- For questions: forte2003-org(a)informatik.tu-cottbus.de
--
________________________________________________________________________
Hartmut König Tel: +49 355 69 22 36
koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27
BTU Cottbus
LS Rechnernetze und Kommunikationssysteme
PF 10 13 44, D-03013 Cottbus, Germany
http://www-rnks.informatik.tu-cottbus.de
________________________________________________________________________
_______________________________________________
ifip-tc6 mailing list
ifip-tc6(a)lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/ifip-tc6
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
==========================================================================
Please excuse if you received that Call for Papers several times.
=====================================================================
Attention !!!
The FORTE deadline will be extended for one week. The submission window
will be closed March 24, 2003 12 a.m. (MET) sharp.
Kind regards
Hartmut Koenig, Monika Heiner, and Adam Wolisz
=====================================================================
CALL FOR PAPERS
FORTE 2003
Application of Formal Description Techniques
in Internet and Communication Domains
IFIP TC 6 / WG 6.1
The 23rd IFIP International Conference
on
Formal Techniques for Networked and Distributed Systems
September 29th - October 2nd, 2003
Berlin, Germany
http://www.forte2003.de.vu
========================================================================
Scope and Objectives
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.
The 23rd FORTE conference will be held in Berlin. It is organized by the
Brandenburg University of Technology Cottbus (BTU Cottbus) and the
Berlin University of Technology (TU Berlin). 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.
Topics of interest
FORTE'03 will provide a forum for researchers and users to review,
discuss, and learn about new approaches, concepts and experiences in the
application of formal methods such as finite state machines, process
algebras, Petri nets and logics and formal description techniques
including SDL, UML, LOTOS, MSC, ASN.1, and others. Topics of interest
include, but are not restricted to
- Use of formal methods: FDT based design of communication protocols
and distributed systems especially for Internet applications, Formal
verification, Performance modeling and analysis, Automatically
derived implementations, Test of distributed systems and
communication protocols including interoperability tests, performance
tests, robustness tests, and test generation procedures, Tool support
- Theoretical aspects of formal methods: New approaches and theories,
Extensions of FDTs, Semantic foundations, Real-time and probability
aspects
- Practical experience with formal methods: Reports and case studies of
the deployment of formal methods and FDTs to the development and
validation of distributed systems and communication protocols, in
particular in Internet and communication domains.
We strongly encourage the submission of papers with practical
applications especially in the areas of multimedia applications,
wireless and mobile communication protocols, client/server applications,
secure systems/environments, e-business and mobile commerce,
and other Internet applications.
Submission policy
Several types of contributions are solicited:
- Full papers - research or practice results (not more than 16 pages)
- Tutorial proposals
- Work in progress papers (not more than 5 pages)
- Tool demonstration proposals
Only original papers, i.e. not submitted nor published elsewhere, should
be submitted. Papers should be submitted electronically in PDF format
using the following address:
http://www.forte2003.de.vu/paper
All accepted full papers will be published in Lecture Notes of Computer
Science series of Springer. Work in progress papers will be published in
a separate volume at the conference. To facilitate the production of the
final proceedings we strongly recommend submissions to follow the
Springer style available at http://www.springer.de/comp/lncs/
authors.html.
Best Paper Award
There will be a best paper award of 500 Euros offered by IFIP TC6 for
the author(s)of the best paper selected during the reviewing process.
Important Dates
- March 17th, 2003: Submission deadline for regular papers and tutorials
EXTENDED to March, 24th, 2003 !!!!
- May 22nd, 2003: Notification of acceptance
- June 23rd, 2003: Camera-ready version
- May 19th, 2003 Submission deadline for work-in-progress papers
Conference Chairs
- Hartmut Koenig, BTU Cottbus
- Monika Heiner, BTU Cottbus
- Adam Wolisz, TU Berlin
Technical Program Committee
- T. Bolognesi, IEI Pisa, Italy
- E. Borcoci, University of Bucarest, Romania
- H. Bowman, University of Kent, UK
- A. Cavalli, INT Evry, France
- P. Dembinski, IPI Warsaw, Poland
- R. Gotzhein, University of Kaiserslautern, Germany
- R. Groz, INRIA Rhones-Alpes, France
- U. Herzog, University of Erlangen-Nueremberg, Germany
- T. Higashino, Osaka University, Japan
- D. Hogrefe, University of Göttingen, Germany
- G. J. Holzmann, Bell Labs, USA
- C. Jard, IRISA, France
- M. Kim, ICU Taejon, Korea
- F. Khendek, Concordia University Montreal, Canada
- P. Kritzinger, University of Cape Town, South Africa
- H. Krumm, University of Dortmund, Germany
- D. Lee, Bell Labs, China
- M. Luukainen, University of Helsinki, Finland
- B. Müller-Clostermann, University of Essen, Germany
- M. Nunez, University of Madrid, Spain
- D. A. Peled, University of Warwick, UK
- A. Petrenko, CRIM Montreal, Canada
- K. Suzuki, Advanced Coomuication Coop., Japan
- Ü. Uyar, City University of New York, USA
- M. Y. Vardi, Rice University Houston, USA
- J. Wu, Tsinghua University, Beijing, Chian
- N. Yevtushenko, Tomsk State University, Russia
Steering Committee
- G. v. Bochmann, University of Ottawa, Canada
- E. Brinksma, University of Twente, The Netherlands
- S, Budkowski, INT Evry, France
- G. Leduc, University of Liege, Belgium
- E. Najm, ENST, France
- R. Tenney, University of Massachusetts, USA
- K. Turner, University of Stirling, UK
Publicity Chair for
- Asia: K. Suzuki, Advanced Communication Coop., Japan
- North America: Ü. Uyar, City University of New York, USA
- South America: W. Lopes de Souza, University of Sa~o Carlos, Brazil
Organization Committee
- Katrin Willhöft, BTU Cottbus
- Christian Noack, BTU Cottbus
- Irene Ostertag, TU Berlin
- Ronny Richter, BTU Cottbus
Further Information
- FORTE Web site: http://www.forte2003.de.vu
- IFIP Web site: http://www.ifip.or.at/
- For questions: forte2003-org(a)informatik.tu-cottbus.de
--
________________________________________________________________________
Hartmut König Tel: +49 355 69 22 36
koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27
BTU Cottbus
LS Rechnernetze und Kommunikationssysteme
PF 10 13 44, D-03013 Cottbus, Germany
http://www-rnks.informatik.tu-cottbus.de
________________________________________________________________________
-----Original Message-----
From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On
Behalf Of Plamen Nedkov
Sent: quinta-feira, 20 de Marco de 2003 12:43
To: All
Subject: [IFIP] Highlights: What Happened in Bilbao + lottery
Dear All,
The IFIP March 2003 Council and related meetings were held in the Basque
Country, Spain in beautiful, beautiful Bilbao. We have started work on the
Minutes and this note is intended as an advance information for the most
impatient ones among you.
Prof. Anselmo del Moral, Spanish GA representative and IFIP Trustee played
host in a formidable way and provided excellent social and organizational
arrangements for IFIP to conduct its meetings. The President of the
Universtity of Deusto, Prof. Jose Maria Abrego, welcomed Council and wished
everyone a pleasant and productive stay. We have placed
at http://www.ifip.or.at/minutes/c2003.htm reports from TC Chairs and IFIP
officers that were provided to us in digital form prior to Council. The
Minutes when ready will also be uploaded at that site.
Here is a short summary of some of the highlights:
MEMBERSHIP: It was reported that at present there are 42 national member
societies with voting rights (out of the 48 full IFIP members). This was a
good indication of the interest in IFIP membership.
EVENTS: A second "electronic" vote was necessary to confirm a majority for
the decision to hold Congress 2006 in Jerusalem and the process was done
with the support of the IFIP Secretariat. There were outstanding issues
related to WCC 2002 in Montreal and the President will oversee that these
are resolved as soon as possible. There is some progress with regard to a
new Charter for the IFIP Congress Committee and a survey within IFIP would
be organized with respect to the periodicity of IFIP Congresses. There was
a successful IT and Skills (GLITS) conference in October '02 in the UK and
preparations for the WITFOR Conferences in August 2003, Vilnius [LT] are
proceeding in good pace. Plans for the World Computer Congress 2004 in
Toulouse are also on the right track [for further information please refer
to the respective information and links
at http://www.ifip.or.at/minutes/c2003.htm ]
It was reported that during 2002 there was a total of 85 events with IFIP's
involvement which represents a very high activity level given the fact that
2002 was also a Congress year and the Congress in Montreal was counted as
only 1 event.
PUBLICATIONS: Good news came from the Publisher. During 2002 a total of 31
volumes were published with Kluwer which is a 26% increase over the 23
books published in each of the previous 2 years. For 2002 there is an
increase of royalties of 22% over 2001. [However, given the fact that
royalties are paid twice a year the overall figure is not reflected in the
2002 accounts.]
Council unanimously adopted the following resolution:
"In the light of previous discussions and decisions of IFIP's Councils and
General Assemblies that future publications shall also include electronic
publication processes and digital libraries, Council requests that the
contract with KAP should not be automatically renewed in the present form".
It was further agreed that the TC Chairs in cooperation with the
Publications Committee and the IFIP Officers will draft a policy document
and a set of requirements by the end of April so as to reach an agreement
and a decision before 30 June 2003.
UNESCO :A resolution was unanimously accepted as follows: "IFIP's Council
warmly welcomes the decision of UNESCO's Executive Board to renew its
formal consultative relations with IFIP. On its part, IFIP gratefully
accepts the continuation of these relations and the obligations and
advantages that this relationship entails and looks forward to continuing
its fruitful cooperation with UNESCO".
UNESCO & DCSC: Applications were reviewed under the IFIP-UNESCO Grant
scheme http://www.ifip.or.at/mail/msg00213.html and a total of 24,000 EUR
was allocated to successful applications from Argentina, Bulgaria, Brazil,
the Czech Republic, Slovakia, Zimbabwe, TC 3, TC 6 and TC 9. Another 6,000
EUR out of DCSC funds were allocated for activities related to TC 10, TC 13
and WITFOR. It was agreed that the DCSC Chair will contact the successful
applicants to notify them and to provide further information with regard to
the disbursal of the grants.
FINANCES: The 2002 operational income has decreased by 8.9% compared to
the previous year. The periodicity of some leading conferences that
generate proceeds and royalty payments was offered as one reason for this
development. The President would pursue a conclusion of the financial
matters related to WCC 2002. The 2002 operational expenses have increased
by 3.7%. The "Return on Assets" in 2002 has produced a loss which is
significant. Compared to 2001, the loss almost tripled. Council endorsed
the 2002 actual accounts for approval by GA.
FUTURE ORGANIZATION OF COUNCIL AND GA MEETINGS: To optimize the
organization of future meetings and reduce meetings time, TA developed a
set of organizational improvements, including the function of a TA
Vice-Chair responsible for the Technical Committees.
* * *
WE LOVE BILBAO: Bilbao is a city of parks and magnificent buildings. In
the narrow streets of the Old Quarter and the wide avenues of the business
district one feels being in a friendly and hospitable place with long
tradition. The Bilbao estuary, at one time the commercial and industrial
backbone of the city, is now becoming the city's main cultural artery. The
Guggenheim Museum on the wharf across the river from the University of
Deusto [ the venue of IFIP's Council from 3 to 6 March] is a unique land
mark. When one also accounts for the Basque cuisine, which is widely known
for its quality, variety and gastronomical delight, one can only wish to
revisit Bilbao.
As mentioned in our opening remarks, the hospitality of our hosts was
formidable. Council participants were warmly treated to several receptions
and a Dinner that will be remembered for long.
True to our belief that there should be joy in everything we do, the
Delivery Co. has treasured some wonderful impressions and we wish to share
these with the IFIP Community at
http://www.ifip.or.at/minutes/c2003/impressions.htm
Thank you, Anselmo, for making our stay so memorable! To all the rest -
greetings and enjoy,
The Delivery Co.
***
FUN ZONE - Joke lovers only!
We had a unique opportunity to record the "couples" -- mostly IFIP Officers
and spouses -- in a unique Delivery Co. collection called "Spring Is In
The Air". We bring it to you at
http://www.ifip.or.at/minutes/c2003/sp_impressions.htm
All who identify the owner of the "mystery hand" in the "Spring Is In The
Air" collection will enter a draw and the winner will receive a bonus for
lunch with the Delivery co. when she/he visits Laxenburg. The TC 9 Chair
will only get a sandwich if he participates and wins :-))
--------------------------------
Plamen Nedkov
Executive Director, IFIP
Hofstrasse 3, A-2361 Laxenburg, Austria
Tel: +43 2236 73616 Fax: +43 2236 736169
http://www.ifip.org/
We apologize if you receive duplicates of this note
URGENT DEADLINE
PAPER submission date
April 1, 2003
For
IEEE Computer Society Bioinformatics Conference (CSB2003)
Stanford, California
August 11-14, 2003
There are only 12 days left to submit your paper to CSB2003. Please check
your calendars and make sure your submission reaches us by the APRIL 1, 2003
DEADLINE!
Visit the conference website at
<http://conferences.computer.org/bioinformatics> and see the great program
that is being put together for this year. The Call for Papers and the Call
for Posters can also be found at the conference website. Be a major part of
the CSB2003 program by sending us your paper promptly.
Last year we had about 500 participants. This year we expect over 700!
You are invited to submit a paper to the 2003 IEEE Computer Society
Bioinformatics Conference (CSB2003). The conference's goal is to facilitate
collaboration between computer scientists and biologists by presenting
cutting edge computational biology research findings. While such research
has an interdisciplinary character, CSB2003 emphasizes the computational
aspects of bioinformatics research. Computer science papers must show
biological relevance, and biology papers must stress the computational
aspects of the results.
CSB2003 will accept 27 papers for podium presentation, and these will be
published in the IEEE conference proceedings. Topics of interest include
(but are not limited to):
· Machine learning · String & Graph Algorithms
· Data Mining · Genome to Life
· Robotics · Stochastic Modeling
· Data Visualization · Genomics and Proteomics
· Regulatory Networks · Gene Expression Pathways
· Comparative Genomics · Evolution and Phylogenetics
· Pattern Recognition · Molecular Structures & Interactions
Papers are limited to 12 pages, single spaced, in 12 point type, including
title, abstract (250 words or less), figures, tables, text, and
bibliography. The first page should give keywords, authors' postal and
electronic mailing addresses. Submit papers electronically to
bioinformatics(a)computer.org in either postscript or PDF format. A select
subset of accepted papers will be invited to also publish in the Journal of
Bioinformatics and Computational Biology
(http://www.worldscinet.com/jbcb/jbcb.shtml).
The Best Paper will be selected by the Program Committee and announced at
the awards ceremony. An HP laptop will be given to the first author of the
Best Paper.-
Submissions must be received no later than April 1, 2003. Authors will be
notified of their submission's status by May 19, 2003, and final corrected
versions must be received by June 8, 2003.
Important Dates
· Submission date: April 1,2003
· Acceptance date: May 19, 2003
· Final Revision date: June 8, 2003
Send email queries or submissions to bioinformatics(a)computer.org
See website for POSTER submissions
http://conferences.computer.org/bioinformatics
General Chair: Vicky Markstein, vicky(a)insilicolabs.com 650-851-8399
Program Co-chairs: Peter Markstein, peter_markstein(a)hp.com, 650-857-6662
Ying Xu, xyn(a)ornl.gov, 865-574-7263
Program Committee:
Serafim Batzoglou, Stanford University
Suchendra M. Bhandarkar, University of Georgia
Mark Borodovsky, Georgia Institute of Technology
Nikolaos Bourbakis, Wright State University
Jake Chen, Myriad Proteomics
Mark Craven, University of Wisconsin
Luciano Da Fontoura Costa, University of Sao Paulo, Brazil
Antoine Danchin, Institute Pasteur
Charles Dyer, University of Wisconsin at Madison
Mike Eisen, Lawrence-Berkeley Lab
Paolo Frasconi, University of Florence
Terry Gaasterland, Rockefeller University
Sridhar Govindarajan, Maxygen
Roderic Guigò, Grup de Recerca en Informatica Biomedica, Barcelona
Peter Hammer, Rutgers University
Bailin Hao, Academia Sinica
Tao Jiang, University of California Riverside
Ming Li, University of Waterloo
Xiaole Shirley Liu, Harvard University
Ann Loraine, Affymetrix Corp
Peter Markstein, Hewlett-Packard Co.
Satoru Miyano, University of Tokyo
Sean Mooney, Stanford University
Ruth Nussinov, National Cancer Institute and Tel Aviv University
Antonio Piccolboni, Affymetrix Corp.
Walter L. Ruzzo, University of Washington
Gustavo Stolovitzky, IBM
Liping Wei, Nexus Genomics
Dong Xu, Oak Ridge National Laboratory
Ying Xu, Oak Ridge National Laboratory
Peter Markstein, 2003 IEEE Computer Society Bioinformatics Conference
Program Co-Chair
Principal Scientist
HP Labs, MS/1163 Tel: 650-857-6662
1501 Page Mill Road Fax: 650-857-5542
Palo Alto, CA 94304
peter_markstein(a)hp.com