ifip-tc6

ifip-tc6@lists.rwth-aachen.de

2885 Diskussionen

FW: [ifip-tc6] Med-Hoc-Net-2003 CFP deadline extension

von Augusto Casaca

-----Original Message----- From: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE [mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE]On Behalf Of Farouk Kamoun Sent: segunda-feira, 24 de Marco de 2003 14:57 To: TC6 IFIP Subject: [ifip-tc6] Med-Hoc-Net-2003 CFP deadline extension 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

21 Jahre, 4 Monate

Med-Hoc-Net-2003 CFP deadline extension

von Farouk Kamoun

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

21 Jahre, 4 Monate

finalreminder-CFP-SenSys2003

von erdal＠itu

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.

21 Jahre, 4 Monate

Re: IEEE VTC Wireless Ad hoc, Sensor, and Wearable Networks 2003

von Ahmed Safwat

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

21 Jahre, 4 Monate

IEEE VTC Wireless Ad hoc, Sensor, and Wearable Networks 2003

von Ahmed Safwat

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

21 Jahre, 4 Monate

FW: [IFIP] Task Force on IT & Sports

von Augusto Casaca

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

21 Jahre, 4 Monate

FW: [ifip-tc6] Kind reminder: Forte 2003 Deadline Extension !!!

von Augusto Casaca

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

21 Jahre, 4 Monate

ACM PPDP'03 Call for Papers

von Frank D. Valencia

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 ==========================================================================

21 Jahre, 4 Monate

Kind reminder: Forte 2003 Deadline Extension !!!

von Hartmut König

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 ________________________________________________________________________

21 Jahre, 4 Monate

FW: [IFIP] Highlights: What Happened in Bilbao + lottery

von Augusto Casaca

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

21 Jahre, 4 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

ifip-tc6