ifip-tc6 Mai 2003

ifip-tc6@lists.rwth-aachen.de

24 Teilnehmer
70 Diskussionen

FW: [IFIP] Message from The Irish GA rep. re.Problem in Secretariat

von Augusto Casaca

-----Original Message----- From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On Behalf Of Dorothy Hayden Sent: segunda-feira, 19 de Maio de 2003 15:53 To: ifip_ga(a)ifip.or.at Cc: Declan.Brady(a)services.fujitsu.com Subject: Fwd: [IFIP] Message from The Irish GA rep. re.Problem in Secretariat Dear All, Please see below a message from the Irish Computer Society which I was asked to forward to you. Best regards, Dorothy ***** From: Brady Declan <Declan.Brady(a)services.fujitsu.com> To: "'dh(a)ifip.or.at'" <dh(a)ifip.or.at> Subject: [IFIP] Problem in Secretariat Date: Mon, 19 May 2003 12:52:38 +0100 Dear colleagues, I have observed, with both bemusement and alarm, the "over the air" debate concerning the position of Plamen Nedkov and the status of his contractual position with respect to the IFIP secretariat. I cannot pretend to understand the underlying cause of this issue, nor the pragmatic issues associated with its resolution. However, what I can see is that it is causing quite a lot of unnecessary harmful politicking and hurt, both to IFIP, and IFIP's reputation, as an organisation, and also to IFIP's membership. I have not known Plamen for very long, having first met him at Montreal GA last year. However, I know those who know him, and they universally express astonishment at what has come to pass, and also the view that Plamen has been, and can continue to be, an asset to IFIP. Remember that we, the members, are IFIP - not the secretariat, not the officers, and while it is these that present IFIP to the wider world, the consequences are reflected back against the membership. Therefore I would like to express the Irish Computer Society's full support for Moshe Gottlieb's "Call for Reconciliation," and would urge others to do the same, please. Best Regards, Declan Brady Vice Chair, Irish Computer Society +-------------------------------------------------------------------------+ Declan Brady Distinguished Engineer Chief Technology Officer Fujitsu Services, South County Business Park, Leopardstown, Dublin 18 Mobile: +353 (0)87 248 4929 Email: declan.brady(a)services.fujitsu.com Website : http://services.fujitsu.com This e-mail is only for the use of its intended recipient. Its contents are confidential and may be privileged. Fujitsu Services does not guarantee that this e-mail has not been intercepted and amended or that it is virus-free. The views of the author may not necessarily reflect those of the Company. Fujitsu Services Limited, Registered in England no 96056, Registered Office 26, Finsbury Square, London, EC2A 1SL +-------------------------------------------------------------------------+

20 Jahre, 11 Monate

FW: [ifip-tc6] FORTE 2003: Work in Progress Papers Deadline Approaching

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, 16 de Maio de 2003 14:10 To: Forte 2003 Distributor Cc: FORTE 2003 TPC; Forte 2003 Organisationskomitee; too20(a)cam.ac.uk Subject: [ifip-tc6] FORTE 2003: Work in Progress Papers Deadline Approaching Please excuse if you received that Call for Papers several times. ===================================================================== The deadline for Work-in-Progress papers is approaching (May 19th). We reopened the submission window. Please do submit your papers via the Forte website. CALL FOR WORK-IN-PROGRESS 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 Work in progress papers will be published in a separate volume at the conference. They should be not longer than 12 pages (one spaced lines). Every paper should have an abstract and a keyword list. The authors should also give their affiliation and email addressses as usually. Important Dates - March 17th, 2003: Submission deadline for regular papers (CLOSED!!!) - 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

20 Jahre, 11 Monate

FW: [IFIP GA] FYI: Past president Prof. Ambros Speiser passed away

von Augusto Casaca

-----Original Message----- From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On Behalf Of Klaus Brunnstein Sent: quinta-feira, 15 de Maio de 2003 16:31 To: IFIP GA Cc: Klaus Brunnstein Subject: [IFIP GA] FYI: Past president Prof. Ambros Speiser passed away Dear members of the IFIP community, it is with deep regret that I have to inform you that Prof. Ambros P. Speiser Past IFIP President (1965-1968) passed away on Saturday May 10, 2003 at age of 81. Following an information from Prof. Zehnder (ETH Zurich) which Past President Prof. Bobillier forwarded to me, here are few details of Prof. Speiser´s professional carreer: Prof. Speiser was one of the founders of Informatics in Switzerland where he lead, in 1954-1957, the development of the ETH research computer ERMETH (which was in operation until 1963). He was the founding director of the IBM Research Laboratory in Zurich-Oerlikon (from 1956-1966), and he was thereafter founding director of the BBC/ABB research laboratory in Baden-Dattwil, from 1966 until 1987 when he retired. During his industrial career as one on Switzerland´s most important engineers, he supported ETH Zurich and esp. influenced the education of engineers specialising in Informatics profoundly. The then newly established faculty for Informatics at ETH Zurich honored him with their first honorary doctor degree. Moreover, please read the appraisal of Prof. Speiser which was published in the "Day of President" series of IFIP secretariat (see appendix). We will keep Past President Ambros Speiser well in our memories. Klaus Brunnstein (May 15, 2003) ============= Excerpt from "Day of President Speiser" =================== Re. Project "The Day of the President" Swiss exports? Medicine, technology, watches, chocolate... How about Presidents! Prof. Ambros Speiser was the first of the magnificent Swiss trio to lead IFIP. Ambros was the second IFIP President, from 1965 to 1968. Before that he was appointed by the first IFIP Council meeting in 1960 as IFIP Secretary-Treasurer. What is Speiser's story to us? Click here >>> http://www.ifip.or.at/secretariat/presidentday.htm and then follow the link to our interview to find out how IFIP made bureaucrats in the Soviet Union and in IBM-France more considerate. Follow the story to learn how Germany was united (and then separated) in IFIP 3 decades before the Berlin wall collapsed.

20 Jahre, 11 Monate

7th IEEE DS-RT'2003 - Call for Papers

von Mirela Sechi Moretti Annoni Notare

==================================================================== Our apologies if you have received multiple copies. Call for Papers DS-RT 2003 Seventh IEEE* International Symposium on Distributed Simulation and Real Time Applications, October 23-25, 2003, Delft, The Netherlands. http://www.cs.unibo.it/ds-rt2003/ In conjunction with 15th European Simulation Symposium (ESS 2003) October 26-29, 2003, Delft, The Netherlands Hosted by the Delft University of Technology *IEEE Approval Pending SCOPE In its seventh year, the 2003 International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2003) will take place at the Delft University of Technology, Delft, The Netherlands, just before the European Simulation Symposium (ESS 2003). This is an excellent opportunity to participate in two conferences covering a wide range of simulation research. SYMPOSIUM OBJECTIVES DS-RT 2003 serves as a forum for simulationists from academia, industry and research labs, for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2003 targets the growing overlap between large distributed simulations and real time applications. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2003 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. CALL FOR PAPERS DS-RT is intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to distributed simulation and real time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very desirable. The scope of the symposium includes, but is not limited to: o- Interactive Virtual Reality, Multi-User Virtual Reality, Interactive Simulation in Entertainment; o- Algorithms and Studies relating to existing protocols (e.g., HLA, DIS); o- Implementation issues; (e.g., general purpose distributed simulation); o- Algorithms and Methods for Distributed Interactive Simulation (e.g.,event synchronization, network time protocols); o- Applications of Distributed Simulation (e.g., Real Time DS, large distributed simulation systems); o- Distributed Models and Simulation for Analysis; o- Data Distribution Management and Interest Management; o- Multi-resolution modeling; o- Current Critical Design Issues (e.g.: causality, simultaneous events, zero look-ahead, compensation for slower than real time); o- Methodology for Distributed/Parallel Simulation; o- Approaches to interoperation of COTS simulation modelling packages; o- Interface Definition, Communication, Management, Security; o- Performance of Distributed Simulation; (e.g., benchmark, theoretical, empirical, and HLA/RTI studies); o- Dead-Reckoning Mechanisms; o- Visual Interactive Simulation (e.g., generic animation, visual interactive modeling, interactive computer based learning); o- Animating Language Tools, Visualization Tools for Computational Process under Simulation; o- Language and Modeling Issues; o- Modeling and Simulation Environments for Real Time Concurrent Systems; o- Influence of Network-Centric Systems (such as Java, and DCOM) on DIS; o- Interoperable Communication Networks; o- Network support for distributed simulation and real-time systems (QoS requirements and their realization, multicast for distributed/ real-time simulation systems); o- Applications of Web-Based Simulation (e.g. Modeling Global Internet); o- Integration of DIS and HLA with Web Technologies. IMPORTANT DATES Submission Deadline: June 1, 2003 (hard copy or electronic paper submission) Notification of Acceptance: July 15, 2003 Camera Ready version due: August 15, 2003 Symposium presentation: October 23-25, 2003 in Delft, The Netherlands IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY SUBMISSION GUIDELINES Papers should be written in English and should not exceed 20 pages. Papers must be unpublished and must not be submitted for publication elsewhere. Authors are encouraged to submit papers in electronic form, postscript pdf, or Microsoft Word 6.0 (or higher) only. Please submit papers to http://sentosa.sas.ntu.edu.sg:8000/~dsrt2003/ by June 1, 2003. Questions from authors may be directed to Simon Taylor (simon.taylor(a)brunel.ac.uk), or Stephen Turner (ASSJTurner(a)ntu.edu.sg). Hardcopy papers also may be submitted, in which case four copies are required. Each submission, electronic or paper, must be accompanied by the following information: a short abstract a complete list of authors and their affiliations a contact person for correspondence postal and e-mail addresses. Please contact the above if you wish to do so. ORGANIZING COMMITTEE General Chair Stephen J. Turner School of Computer Engineering Nanyang Technological University Nanyang Avenue, Singapore 639798 Email: ASSJTurner(a)ntu.edu.sg Phone: +65-6790-4054. Fax : +65-6792-6559 Program Chair Simon J. E. Taylor Department of Information Systems and Computing Brunel University Uxbridge, Middx, UB8 3PH Email: simon.taylor(a)brunel.ac.uk Phone: +44-1895-203389 Fax: +44-1895-251686 Publicity Co-Chairs Helen Karatza, Aristotle University of Thessaloniki, Greece Mirela M. S. A. Notare, Barddal University, Brazil Program Committee Lee Belfore, Old Dominion University, USA Luciano Bononi, University of Bologna, Italy Azzedine Boukerche, University of North Texas, USA Alexander Verbraeck, TU Delft Don Brutzman, Naval Postgraduate School Wentong Cai, Nanyang Technological University Judith Dahmann, MITRE Corporation, USA Alois Ferscha, Johannes Kepler University at Linz Robert Fransechini, SAIC, USA Richard Fujimoto, Georgia Institute of Technology Katherine Morse, SAIC, USA Anand Natrajan, University of Virginia Mikel Petty, Old Dominion University Mark Pullen, George Mason University Paul Reynolds, University of Virginia Doug Schmidt, DARPA, and University of California at Irvine Roger Smith, Model Benders Corp., USA Gary Tan, National University of Singapore Simon Taylor, Brunel University, UK Stephen Turner, Nanyang Technological University Richard Weatherly, MITRE Corp., USA Philip Wilsey, University of Cincinnati Steering Committee Azzedine Boukerche (Chair), University of North Texas Sajal K. Das, University of Texas at Arlington Paul Reynolds, University of Virginia Stephen J. Turner, Nanyang Technological University, Singapore Albert Zomaya, University of Western Australia Advisory Board Committee Jean-Loup Baer, University of Washington Jason Yi-Bing Lin, National Chiao-Tung University, Taiwan Azzedine Boukerche, University of North Texas K. M. Chandy, California Institute of Technology, USA Sajal K. Das, University of North Texas Lorenzo Donatiello, University of Bologna, Italy Doug DeGroot, Texas Instruments, USA Tuncer Oren, University of Ottawa, Canada Paul Reynolds, University of Virginia Gabriel Silberman, IBM Research, USA Stephen J. Turner, Nanyang Technological University, Singapore G. Zobrist, University of Missouri-Rolla, USA Local Arrangement Chair: Alexander Verbraeck, Systems Engineering, TU Delft Delft, The Netherlands Registration Chair Susan Standing, Brunel University, UK Webmaster and System Chair Luciano Bononi, University of Bologna, Italy For local information on the beautiful city of Delft see www.delft.nl! ====================================================================

20 Jahre, 11 Monate

6th ACM MSWiM'2003 - Call for Papers

von Mirela Sechi Moretti Annoni Notare

============ Our apologies if you have received multiple copies. ============ CALL FOR PAPERS 6th ACM MSWiM 2003 The Sixth International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (Jointly with ACM MobiCom 2003, September 14-19) September 19, 2003 San Diego, CA, USA http://www.cs.unibo.it/mswim2003/ MSWiM is intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobile and wireless systems. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of modeling, analysis and simulation of mobile computing and wireless networks. Topics of interest include, but are not limited to: * Performance evaluation and modeling of mobile and wireless communication networks * Simulation and analysis of wireless protocols and mobile computing systems * Integrated simulation and measurement based evaluation of mobile and wireless systems * Survivability and reliability evaluation and modeling * RF channel capacity modeling and analysis * Design methodologies for wireless systems * Network support for QoS provisioning in wireless and mobile networks * Modeling and analysis of wireless Internet access * Traffic measurements and models for audio, video, multimedia, and WWW services * New simulation languages and tools for wireless systems * Database management systems and mobile computing (location-based queries, wireless data caching, mobile transactions) * Wireless data dissemination (broadcasting and indexing techniques) * Pervasive computing and ad hoc networking * Wireless PANs, LANs * Sensor networks * Mobile agents support for wireless networks PAPER SUBMISSION AND PUBLICATION High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Paper length should not exceed 20 pages. Only Postscript and PDF formats are accepted. Papers must be submitted electronically through the EDAS system. For paper submission, please follow the submission instructions at: http://www.cs.unibo.it/mswim2003/ Accepted papers will appear in the conference proceedings published by by ACM CS-press. A Special Issue with ACM/Baltzer MONET/WINET will be planned which will contain selected papers from MSWiM. IMPORTANT DATES Full papers due: June 5, 2003 Notification: July 15, 2003 Camera Ready due: TBD Organizing Committee General Chair Rassul Ayani Department of Microelectronics and Information Technology Royal Institute of Technology (KTH) Email: rassul(a)it.kth.se Program Co-Chairs Carla-Fabiana Chiasserini Dipartimento di Elettronica, Politecnico di Torino, Italy Email: chiasserini(a)polito.it Hossam Hassanein Department of Computing and Information Science Queen's University Email: Hossam(a)cs.queensu.ca Publicity Co-Chairs Luciano Bononi Universita' di Bologna, Bologna, Italy Email: bononi(a)cs.unibo.it Helen Karatza Aristotle University of Thessaloniki, Thessaloniki, Greece Email: karatza(a)csd.auth.gr Mirela Sechi Moretti Annoni Notare Barddal University, Florianopolis, SC Brazil Email: mirela(a)barddal.br Program Committee Anand Balachandran, University of California at San Diego, USA Simonetta Balsamo, Universita' Ca' Foscari di Venezia, Italy Luciano Bononi, Universita' di Bologna, Bologna, Italy Azzedine Boukerche, University of North Texas, USA Lorenzo Casaccia, Qualcomm, San Diego, USA Xiuzhen Cheng, George Washington University, USA Carla-Fabiana Chiasserini, Politecnico di Torino, Italy Marco Conti, IIT - CNR, Italy Teresa A. Dahlberg, University of North Carolina at Charlotte, USA Sajal K. Das, University of Texas at Arlington, USA Juan Carlos De Martin, Politecnico di Torino, Italy Alois Ferscha, Johannes Kepler University of Linz, Austria Vincenzo Grassi, Universita' di Roma Tor Vergata, Italy Mohsen Guizani, Western Michigan University, USA Fredrik Gunnarsson, Ericsson Research, Sweden Hossam Hassanein, Queen's University, Canada Sumi Helal, University of Florida, USA Helen Karatza, Aristotle University of Thessaloniki, Greece Yi-Bing Lin, Academia Sinica, Taipei, Taiwan Michela Meo, Politecnico di Torino, Italy Pavan Nugehalli, University of California at San Diego, USA Mohamed Ould-Khaoua, University of Glasgow, UK Mirela Sechi Moretti Annoni Notare, Barddal University, Brazil Krishna M. Sivalingam, University of Maryland Baltimore County, USA Vikram Srinivasan, University of California at San Diego, USA Dirk Staehle, University of Wurzburg, Germany Mineo Takai, University of California at Los Angeles, USA David Tipper, University of Pittsburgh, USA Phuoc Tran-Gia, University of Wurzburg, Germany Albert Y. Zomaya, University of Sydney, AU Steering Committee Chair Azzedine Boukerche, University of North texas, USA Advisory Board Committee Azzedine Boukerche, University of North texas, USA Sajal K. Das, University of Texas at Arlington, USA Lorenzo Donatiello, Universita' di Bologna, Italy Jason Yi-Bing Lin, National Chiao-Tung University, Taiwan William C.Y. Lee, AirTouch Inc. Registration Chair Tom Jacob, University of North texas, USA Webmaster and System Co-Chairs Luciano Bononi, University of Bologna, Italy Email: bononi(a)cs.unibo.it Maurizio Munafo', Politecnico di Torino, Italy Email: munafo(a)polito.it

20 Jahre, 11 Monate

fwd: IST 2003

von Ramon Puigjaner

As usual I have forgotten to aattach the the CfP. Best regards Ramon ========================================================================= Ramon Puigjaner Universitat de les Illes Balears Departament de Ciencies Matematiques i Informatica 07122 PALMA (Spain) Phone: +34-971173288 Fax: +34-971173003 e-mail: putxi(a)uib.es ========================================================================= Forwarded Message: -- From: Ramon Puigjaner <putxi(a)uib.es> To: ifip-tc6(a)informatik.rwth-aachen.de Subject: IST 2003 Date: May 19, 2003 -- > Dear friends, > As you know IFIP is sponsoring IST 2003 to be held in Isphahan (Iran) next > August (see attached CfP). > If anybody of you or of your environment is interested in giving a tutorial at > this conference, please let me know attaching the usual information (summary, > outline and CV of the tutorialist). > Best regards > Ramon > ========================================================================= > Ramon Puigjaner > Universitat de les Illes Balears > Departament de Ciencies Matematiques i Informatica > 07122 PALMA (Spain) > Phone: +34-971173288 Fax: +34-971173003 > e-mail: putxi(a)uib.es > ========================================================================= > > -- > This message was sent using Sake Mail, a web-based email tool from > Endymion Corporation. http://www.endymion.com/products/sake -- This message was sent using Sake Mail, a web-based email tool from Endymion Corporation. http://www.endymion.com/products/sake

20 Jahre, 11 Monate

IST 2003

von Ramon Puigjaner

Dear friends, As you know IFIP is sponsoring IST 2003 to be held in Isphahan (Iran) next August (see attached CfP). If anybody of you or of your environment is interested in giving a tutorial at this conference, please let me know attaching the usual information (summary, outline and CV of the tutorialist). Best regards Ramon ========================================================================= Ramon Puigjaner Universitat de les Illes Balears Departament de Ciencies Matematiques i Informatica 07122 PALMA (Spain) Phone: +34-971173288 Fax: +34-971173003 e-mail: putxi(a)uib.es ========================================================================= -- This message was sent using Sake Mail, a web-based email tool from Endymion Corporation. http://www.endymion.com/products/sake

20 Jahre, 11 Monate

LANC

von Ramon Puigjaner

Dear friends, I am sending you the call for papers of the Latin America Networking Conference, LANC'2003 to be held in La Paz (Bolivia) in October 3-5, 2003 sponsored by ACM and IFIP. I am asking you help in three domains: - broadcast this call for papers in your country and in your environment - stimulate the paper submission - stimulate the tutorial propsoal, specailly coming from you or your environment. Thank you in advance for your help. Best regards Ramon ========================================================================= Ramon Puigjaner Universitat de les Illes Balears Departament de Ciencies Matematiques i Informatica 07122 PALMA (Spain) Phone: +34-971173288 Fax: +34-971173003 e-mail: putxi(a)uib.es ========================================================================= -- This message was sent using Sake Mail, a web-based email tool from Endymion Corporation. http://www.endymion.com/products/sake

20 Jahre, 11 Monate

FORTE 2003: Work in Progress Papers Deadline Approaching

von Hartmut König

Please excuse if you received that Call for Papers several times. ===================================================================== The deadline for Work-in-Progress papers is approaching (May 19th). We reopened the submission window. Please do submit your papers via the Forte website. CALL FOR WORK-IN-PROGRESS 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 Work in progress papers will be published in a separate volume at the conference. They should be not longer than 12 pages (one spaced lines). Every paper should have an abstract and a keyword list. The authors should also give their affiliation and email addressses as usually. Important Dates - March 17th, 2003: Submission deadline for regular papers (CLOSED!!!) - 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 ________________________________________________________________________

20 Jahre, 11 Monate

CfP: MIPS 2003 International Workshop on Multimedia Interactive Protocols and Systems

von Giorgio Ventre

We sincerely apologise if you receive multiple copies of this message. ======================================================================= CALL FOR PAPERS MIPS 2003 International Workshop on Multimedia Interactive Protocols and Systems Formerly IDMS/PROMS November 18-21, 2003 University of Napoli Federico II, Napoli, Italy In cooperation with ACM SIGMM and SIGCOMM http://mips2003.idms-proms.org/ ======================================================================= Interactive Distributed Multimedia Systems (IDMS) and Protocols for Multimedia Systems (PROMS) have been two successful series of international events bringing together researchers, developers and practitioners from academia and industry in all areas of multimedia systems. After a first common event in Coimbra last year, in 2003 these two workshops have definitively merged in what is expected to become more and more a new series of challenging and topical international workshops. MIPS 2003 is intended to contribute to scientific, strategic and practical advances in the area of distributed multimedia applications, protocols, and intelligent management tools, with emphasis on their provision over novel network architectures. MIPS 2003 will be held November 18-21, 2003, in Napoli (Italy). The workshop will consist of a two and a half day technical program, plus a full day of tutorials. Contributions in the form of full papers are encouraged. Papers should describe innovative and significant work. All papers will be reviewed by the Program Committee and included in the workshop proceedings, which will be published by Springer-Verlag as part of the Lecture Notes in Computer Science series. TOPICS OF INTEREST Mobile & wireless multimedia systems - Multimedia middleware - Multimedia communication protocols - Quality of Service issues - Resource management for multimedia services - Active and programmable networking for multimedia applications - Multimedia-specific mobile agents - Multimedia distribution and transport - Multimedia traffic engineering - Multimedia service engineering - Ubiquitous computing - Networked audio-video devices - Development tools for distributed multimedia applications - Multimedia applications: video-on-demand, digital video libraries, video games, virtual community, teleworking, teleteaching, e-commerce, virtual reality simulations - Performance of protocols and applications: modeling, simulation and optimisation in different networks - Multimedia content management - Service access - Security, authentication, privacy, watermarking - Accounting and tariff policing for multimedia teleservices - Multimedia encoding and compression - Standards (e.g. MPEG) and related issues PAPER SUBMISSION Authors are invited to submit full papers after March 1st, 2003 in PDF or Postscript formats through the workshop website http://mips2003.idms-proms.org/. Submitted papers must describe original work not submitted elsewhere. Papers must not be longer than 12 single-spaced pages. Papers should contain an abstract of approximately 300 words, and include title, authors and affiliations. Final versions of accepted papers must be structured according to Springer's instructions (http://www.springer.de/comp/lncs/authors.html). BEST PAPER AWARD A jury will select the best paper, on the basis of both the quality of the written paper and of the presentation at the workshop. The winner will be awarded a prize donated by one of the workshop sponsors. TUTORIALS MIPS 2003 will feature one day of half-day tutorials covering single topics in detail. Proposals should be sent to the Tutorial Chair (tc03(a)idms-proms.org) and must include an extended abstract containing a description of the topic, the intended audience, and a short bio of the speaker. SPONSORS MIPS 2003 is in cooperation with ACM SIGMM and ACM SIGCOMM. MIPS 2003 is supported by the E-NET Thematic Network of the IST European Research Programme. IMPORTANT DATES Paper submission: May 31st, 2003 Notification of acceptance: July 20th, 2003 Camera ready version: September 5th, 2003 WORKSHOP ORGANIZERS Program Chair: Giorgio Ventre, Università di Napoli Federico II, Italy (giorgio.ventre(a)unina.it) Program Co-Chair: Roberto Canonico, Università di Napoli Federico II, Italy (roberto.canonico(a)unina.it) CONTACTS Web site: http://mips2003.idms-proms.org/ E-mail: mips2003(a)idms-proms.org ============================================================================== Prof. Ing. Giorgio Ventre COMICS Lab Dipartimento di Informatica e Sistemistica, Università di Napoli Federico II Via Claudio 21, 80125, Napoli, ITALY Tel: +39 081 7683908 Fax: + 39 081 7683816 E-mail: giorgio.ventre(a)unina.it http://www.grid.unina.it/comics/Members/Giorgio_Ventre.htm ============================================================================== ------------------------------------------------- This mail sent through IMP: http://horde.org/imp/

20 Jahre, 11 Monate

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