- ifip-tc6 - lists.rwth-aachen.de

REALMAN 2005: IEEE ICPS workshop on Multi-hop Ad hoc Networks: from theory to reality
by Marco Conti 01 Apr '05

01 Apr '05

Our apologies if you receive multiple copies of this CFP ----------------------------------------------------------- PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality REALMAN 2005 http://www.cl.cam.ac.uk/realman jointly organized by: MobileMAN EC IST Project University of Cambridge, UK CNR-Institue for Informatics and Telematics, I in conjunction with ICPS 2005 http://icps2005.cs.ucr.edu/ July 14, 2005 Santorini, Greece After almost a decade of research into ad hoc networking, off-the-shelf MANET technology has not yet affected our way of using wireless networks. To consolidate the field, it is now the time to constructing and experiencing with realistic and complete MANET solutions. Prototypes and measurements on real test-beds provide insights in the ad hoc technology behavior and fundamental information for a realistic tuning of simulation models (mobility models, link-level models, etc.). This workshop constitutes a unique forum for presenting and discussing experiences based on real ad hoc networks test-beds and prototypes. Original contributions are solicited, related to systems and protocols development and testing, in all areas related to ad hoc networking. Topics of interest include, but are not limited to: * Ad hoc networks applications * System prototypes and experiences * Software technologies and systems * Mobile Ad Hoc Networks * Sensor Networks * Vehicular Networks * Mesh Networks * Routing and Transport protocols * Security and cooperation protocols * Middleware platforms for ad hoc networks * Ad Hoc Networking for ambient intelligence and pervasive environments * Location services * Positioning and Tracking Technologies * Measurement studies * Mobility Models * Enabling Technologies Models (802.11, 802.15, etc.) DEMO SESSION A demo session will be held during the workshop, showing real MANET prototypes at work. Demo proposals are highly welcome, and will be evaluated ty the Program Commitee. Please submit your proposal to the program chair (realman(a)iit.cnr.it). SUBMISSION GUIDELINES Please submit your short paper via e-mail (PDF format is mandatory) to the program chair (realman(a)iit.cnr.it). We encourage the authors to format their papers according to the IEEE double-column standard format, except the font size, which must be Times Roman 11pt (or greater). Paper length must not exceed 8 pages, including figures, appendixes, bibliography, etc. Format templates and detailed instructions can be found at http://www.cl.cam.ac.uk/realman/authors.html ****************************************************************** High quality papers will be selected for possible publication on "Ad Hoc & Sensor Wireless Networks Journal (AHSWN)" http://www.oldcitypublishing.com/AHSWN/AHSWN.html ****************************************************************** IMPORTANT DATES Papers due: May 1, 2005 Notification: June 1, 2005 Camera Ready due: June 14, 2005 ORGANIZING COMMITTEE General Chair Jon Crowcroft University of Cambridge, UK jon.crowcroft(a)cl.cam.ac.uk Program Chair Marco Conti IIT-CNR, Italy marco.conti(a)iit.cnr.it Program Vice-Chair Andrea Passarella University of Cambridge, UK andrea.passarella(a)cl.cam.ac.uk

1 0

MobiHoc 2005: Extended Dates for Posters and Demos Submissions
by Marco Conti 01 Apr '05

01 Apr '05

(Our apologies if you receive multiple copies of this document) ----------------------------------------------------------------------- Extended Dates for Posters and Demos Submissions MobiHoc 2005 6th ACM International Symposium on Mobile Ad Hoc Networking and Computing May 25-28, 2005, Urbana-Champaign, Illinois, USA http://www.sigmobile.org/mobihoc/2005/ Sponsored by ACM SIGMOBILE ACM MobiHoc is the premier international meeting dedicated to addressing challenges emerging from wireless ad hoc networking and computing. Due to the growing interest in the field this year's symposium will have an expanded format that will include a highly selective, dual-track technical program for the first time, as well as hands-on research demonstrations, keynote, panel, and tutorials. We invite poster, and demonstration submissions on mobile ad hoc networks, wireless sensor networks, and ad hoc computing systems, with the focus being on issues at and above the MAC layer. Areas of interest include, but are not limited to . Applications, operating system, and middleware support . Analysis and design of transport, network and MAC protocols . Energy-efficient algorithms . Location discovery and management techniques . Network scaling and limits . Measurements and practical experience from experimental systems and testbeds . Cross layer design . Network resilience, fault-tolerance, and reliability . Security and defense issues . In-network processing, aggregation, and data dissemination . Distributed actuation, control, and coordination . Modeling, performance evaluation and QoS issues POSTERS: Posters presenting early work and preliminary results are solicited. The poster session will provide an excellent opportunity for initial feedback on early research results. Posters may not preclude concurrent submissions on the same topic in regular conferences and journals. Poster descriptions of no more than 3 pages (US letter size 8.5x11 inches) using font size 10 hould be submitted to the Poster Co-Chairs before April 8, 2005. Please include the words "Poster Abstract:" to precede the title on the cover page. A selected subset of the poster abstracts will be published in ACM Mobile Computing and Communications Review. DEMOS: Technical demonstration of experimental ad hoc networking and computing systems are solicited. One-page demo descriptions, including list of any required supporting equipment, should be sent to the Demo Chair before April 15, 2005. ORGANIZATION COMMITTEE: General Chair ------------- P. R. Kumar Univ. of Illinois, Urbana-Champaign prkumar(a)uiuc.edu Program Co-Chairs ----------------- Andrew T. Campbell Columbia University campbell(a)comet.columbia.edu Roger Wattenhofer ETH Zurich wattenhofer(a)tik.ee.ethz.ch Steering Committee Chair ------------------------ Nitin Vaidya Univ. of Illinois, Urbana-Champaign nhv(a)uiuc.edu Poster Co-Chairs ---------------- Saswati Sarkar University of Pennsylvania swati(a)seas.upenn.edu Songwu Lu University of California, Los Angeles slu(a)cs.ucla.edu Demo Chair ---------- Scott Graham Air Force Institute of Technology scott.graham(a)afit.edu Tutorial Co-Chairs ------------------ Richard Hyong-Jun La University of Maryland hyongla(a)eng.umd.edu Bhaskar Krishnamachari University of Southern California bkrishna(a)usc.edu Publicity Chairs ---------------- Sunghyun Choi Seoul National University schoi(a)snu.ac.kr Marco Conti Consiglio Nazionale delle Ricerche marco.conti(a)iit.cnr.it Robin Kravets Univ. of Illinois, Urbana-Champaign rhk(a)cs.uiuc.edu Finance Co-Chairs ----------------- Srikanth Krishnamurthy University of California, Riverside krish(a)cs.ucr.edu Raghupathy Sivakumar Georgia Institute of Technology siva(a)ece.gatech.edu Registration Chair ------------------ Prasun Sinha Ohio State University sinha.43(a)osu.edu Web Chair --------- Junshan Zhang Arizona State University junshan.zhang(a)asu.edu Publication Chair ----------------- Yongguang Zhang HRL Labs ygz(a)hrl.com Local Arrangements Co-Chairs ---------------------------- Xiang-Yang Li Illinois Institute of Technology xli(a)babbage2.cs.iit.edu Haiyun Luo Univ. of Illinois, Urbana-Champaign haiyun(a)cs.uiuc.edu Wai Gen Yee Illinois Institute of Technology yee(a)iit.edu ---------------------------------------------------------------------- For more information contact the General Chair P. R. Kumar or consult the symposium webpage http://www.sigmobile.org/mobihoc/2005/

1 0

CfP: PDMC'05 at ICALP'05
by Martin Leucker 01 Apr '05

01 Apr '05

[[ -- Apologies for multiple copies of this message -- ]] ============================================================================= Call for Papers 4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION (PDMC 2005) July 10, 2005 - Lisboa, Portugal Workshop affiliated to ICALP'05 http://pdmc.informatik.tu-muenchen.de ============================================================================= OBJECTIVES: The growing importance of automated formal verification in industry is driving a growing interest in those aspects which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing of verification techniques. The aim of the PDMC workshop series is to cover all aspects of parallel and distributed methods and techniques for formal verification. Theoretical results, algorithms and case studies are equally welcome. Contributions from the domains of model checking, theorem proving, and equivalence checking are anticipated. The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of parallel and distributed verification. The workshop will consist of invited talks and a selection from submitted papers. SCOPE AND TOPICS: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Topics of interest include, but are not limited to: * parallel and distributed model checking * parallel and distributed equivalence checking * parallel and distributed satisfiability checking * slicing and distributing the state space * distributed theorem proving * distributed constraints solving * parallel methods in probabilistic model checking * file systems for distributed transitions systems * parallel methods in performance evaluation * tools and case studies * industrial applications INVITED SPEAKER: * Kim G. Larsen (Aalborg University, Denmark) SUBMISSION GUIDELINES: There are two categories of submissions: regular papers and presentations. * Manuscripts of regular papers are limited to a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). * Presentations report on relevant results submitted to other forums or already published or on not yet finished work in progress. Presentations will appear in the workshop preliminary proceedings, but will not be considered for the final workshop proceedings. The space limit for presentations is 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). Submissions should be made electronically using PDMC'05 Submission Page. PROCEEDINGS: The preliminary workshop proceedings will be available at the meeting. The final proceedings appear as a volume of Electronic Notes in Theoretical Computer Science. After the workshop, selected authors will be invited to submit full versions of their papers (regular papers or presentation results not submitted for journal publication) to a special section of a journal (under negotiation). IMPORTANT DATES: * Submission deadline: April 17, 2005 * Notification of acceptance: May 16, 2005 * Presentations deadline: May 22, 2005 * Final version: June 3, 2005 PROGRAM COMMITTEE: * Howard Barringer (Manchester Univ., UK) * Lubos Brim (Masaryk Univ., CZ) * Gianpiero Cabodi (Torino, IT) * Joerg Denzinger (Alberta, Canda) * Wan Fokkink (CWI Amsterdam, NL) * Hubert Garavel (INRIA, FR) * Juergen Giesl (RWTH Aachen, DE) * Orna Grumberg (Haifa, Israel) * Boudewijn R. Haverkort (Univ. of Twente, NL) * Marta Kwiatkowska (Univ. of Birmingham, UK) * Martin Leucker (TU Munich, DE) - Co-chair * Eric Mercer (Brigham Young Univ., USA) * Jaco van de Pol (CWI, NL) - Co-chair * Gerardo Schneider (Univ. of Oslo, Norway) * Willem Visser (NASA Ames Research Center, USA) Martin Leucker & Jaco van de Pol workshop organizers

1 0

New TC6 logo
by Otto Spaniol 01 Apr '05

01 Apr '05

Dear all, please find attached the new TC6 logo in PDF format. I've ordered new pins with that logo. They should be available for Networking 2005 and for subsequent events. At the occasion of meeting 2005/1 I shall ask for approval of this action; I had to do it very spontaneously in order to h.ve the pins ready for Networking 2005. The attendance statistics for meeting 2005/1 has been improved very much (see enclosure). Already 18 attendants with some more expected. Best regards Otto

1 0

Networking 2005 CALL FOR PARTICIPATION
by Herman Li 31 Mar '05

31 Mar '05

------------------------------------------------------------------------ (Our apologies if you receive multiple copies of this email.) *********************************************************************** * * Networking 2005 * * Fourth IFIP International Conference on Networking * * * http://www.cs.uwaterloo.ca/conferences/networking2005/ * *********************************************************************** Fourth IFIP International Conference on Networking http://www.cs.uwaterloo.ca/conferences/networking2005/ Monday, 2 May - Friday, 6 May 2005 University of Waterloo, Waterloo, Ontario, CANADA Sponsored by the IFIP working groups: WG 6.2: Network and Internetwork Architectures WG 6.3: Performance of Communication Systems WG 6.8: Wireless Communications WG 6.10: Photonic Networking and: Nortel Networks Bell Research in Motion Sun Microsystems Hosted by The University of Waterloo ====================================== Networking 2005 CALL FOR PARTICIPATION ====================================== Networking 2005 serves as a forum for engineers and scientists from around the world to present their latest research findings in the fields of computer networks and data communications. Networking 2005 includes a peer-reviewed program of technical sessions, panels, tutorials, and workshops. The five-day program starts with cutting-edge tutorials on a range of hot topics, including sensor and ad hoc networks, delay-tolerant networks, optical networking, and quality of service. Throughout the week there will be keynote talks by research and industry leaders, including Peter Carbone, Vice President of Next-Generation Architectures, Networks and Technology at Nortel Networks. Panels will cover issues of immediate relevance to both industry and research alike, including cross-layer design issues. The week will be rounded out with a series of workshops on critical issues on networking today, including problems of rapid configuration, modeling, and middleware. Full program details are available at: http://www.cs.uwaterloo.ca/conferences/networking2005/coming/ program.html ============ REGISTRATION ============ Register at: http://www.cs.uwaterloo.ca/conferences/networking2005/coming/ registration.html ======== WATERLOO ======== The Fourth IFIP Conference on Networking will be held at the University of Waterloo, in Waterloo, Ontario. About 60 miles south-west of Toronto, Waterloo is situated near the Grand River, in the heart of South-West Ontario. Waterloo has a large concentration of world-leading high-technology companies, including Research in Motion, maker of the blackberry, Sybase iAnywhere, Open Text, as well as two universities. While visiting Waterloo, you may wish to take the opportunity to go canoing on the Grand river (http://www.canoeingthegrand.com/). Waterloo is a short drive from the internationally renown Stratford Festival (http://www.stratford-festival.on.ca/), and less than 2 hours drive from Niagara Falls (http://www.city.niagarafalls.on.ca/). Pearson International Airport, less than an hour away, provides easy access for our worldwide participants.

1 0

Meeting attendance
by Otto Spaniol 31 Mar '05

31 Mar '05

Dear all, the information about attendance of meeting 2005/1 (May 7+8, 2005 in Toronto, Canada) is still very limited (see annex). Please check whether the information given there is correct. In order to plan the meeting - in particular the TC6 dinner on Saturday evening - I would like to have your replies as soon as possible. Please send a copy also to Lorne Mason <Mason(a)ECE.McGill.CA>. It is planned to start the meeting at 9 am on both days. The meeting should end on May 8 around noon; thus flights back to Europe (which depart roughly around 6 p.m.) can easily be reached. Best regards Otto ----------------------------------- IFIP TC6 Meeting 2005/1 in Toronto; May 7+8, 2005 Name: O I'll attend the meeting. O Unfortunately, I cannot come.

6 5

RE: [ifip-tc6] WG reports
by Radford, Peter 31 Mar '05

31 Mar '05

Dear WG chairpersons, Please would you copy your WG reports to me, too. I hope to be able to find some time soon (although not necessarily before the Toronto meeting) to sort out the event statistics. Best wishes for a good meeting (or game?) Peter Peter Radford UK Representative to TC6 E: Peter.Radford(a)LogicaCMG.com T: +44 20 7446 1281 (O) T: +44 1245 262328 (H) -----Original Message----- From: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE [mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE] On Behalf Of Otto Spaniol Sent: 31 March 2005 07:21 To: ifip-tc6(a)informatik.rwth-aachen.de Subject: [ifip-tc6] WG reports Dear WG chairpersons, "after the meeting is before the meeting" ("nach dem Spiel ist vor dem Spiel"; famous sentence of Sepp Herberger, coach of the German soccer team which won the world championship in 1954). I need your WG reports for the next meeting. This should include event statistics, information about event request forms, strategic planning for the future, issues which are to be resolved etc. Deadline: April 15, 2005. Best regards Otto _______________________________________________ ifip-tc6 mailing list ifip-tc6(a)lists.RWTH-Aachen.DE http://MailMan.RWTH-Aachen.DE/mailman/listinfo/ifip-tc6 This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.

1 0

WG reports
by Otto Spaniol 31 Mar '05

31 Mar '05

Dear WG chairpersons, "after the meeting is before the meeting" ("nach dem Spiel ist vor dem Spiel"; famous sentence of Sepp Herberger, coach of the German soccer team which won the world championship in 1954). I need your WG reports for the next meeting. This should include event statistics, information about event request forms, strategic planning for the future, issues which are to be resolved etc. Deadline: April 15, 2005. Best regards Otto

1 0

IMPORTANT: WIRELESSCOM extension March 31 -- Wireless Sensor Networks Symposium
by Marco Zuniga 30 Mar '05

30 Mar '05

Dear Colleagues: We're pleased to announce an extension of the submission deadline for the Wireless Sensor Networks Symposium to be held at Sheraton Maui Resort, Maui, Hawaii, USA in conjunction with IEEE WirelessCom 2005, June 13-16, 2005. For details of this symposium, please see: http://bit.csc.lsu.edu/WirelessComm05/WSNsymposium/ Submissions will be accepted till March 31, through http://msrcmt.research.microsoft.com/WirelessCom2005 Regards, Organizing Committee

1 0

NAIS'05 Int. Workshop - Extended Deadline
by Simone Bassis 30 Mar '05

30 Mar '05

Dear Colleagues (Apologies if you receive this more than once), To accommodate those not quite finished but hoping to submit enough time to complete their papers, we have agreed to extend the deadline for submission by two weeks until friday April 15, 2005. Depending on their content, refereed extended versions of selected paper will be published on a special issue of either Natural Computing or Nonlinear Analysis C-series. Kind Regards, Organizing Committee ================= Call for Papers International Workshop on Natural and Artificial Immune Systems (NAIS 2005) Vietri sul Mare, Salerno, Italy, June 9-10, 2005 http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html * Venue International Institute For Advanced Scientific Studies (IIASS), "E.R.Caianiello", Vietri sul Mare, (SA) Italy. http://www.iiassvietri.it/index.html http://www.iiassvietri.it/school2004/ * Important Dates Submission deadline: April 15 2005 Acceptance/Rejection notification: May 2, 2005 Camera-ready copy of papers: June 6, 2005 Workshop Date: June 9-10, 2005 * Aims and Scope The workshop aims at catalyzing the interaction between modelers (computer scientists, mathematicians and physicists), immunologists and biologists interested in discussing the information processing mechanisms emerging in the functionalities of either natural or artificial immune systems. The leading idea motivating this event is the attention to the various forms of “intelligent thinking” underlying the many attack/defense/adaptation strategies discovered in natural systems, such as tumor and virus escape mechanisms of animals and humans, or implemented in artificial systems. This approach may reap several basic benefits of the original cybernetics paradigm: -the emergence of the mind from chemical-physical reactions that can be studied and simulated, - the use of natural processing mechanisms for solving artificial problems, and the cross-fertilization of the natural and artificial research environments, -the adoption of comprehensive immune system models in the development of new therapeutic approaches. Possible topics include, but are not limited to: # Computational Immunology # Immunological Computation # Immunoinformatics # modelling and simulation of immune systems # model testing and game theory # biological and immersive learning # network security and artificial virus attacks # comparisons between Artificial Immune Systems and other biologically-inspired paradigms # theory and applications of Immunological Computing # Immunocomputing * Invited speakers - Franco Celada, University of Genova, Italy - Vincenzo Cutello, University of Catania, Italy - Dipankar Dasgupta, University of Memphis, USA - Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea - Jon Timmis, Universityh of Kent, UK * Conference Proceedings The conference will feature both introductory tutorials and original refereed papers, to be published by an international publisher. See details of electronic submission on the web page: http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html Depending on their content, refereed extended versions of selected paper will be published on a special issue of either Natural Computing or Nonlinear Analysis C-series. * Conference Chairs: - Bruno Apolloni, University of Milano, Italy. apolloni(a)dsi.unimi.it - Alberto Clivio, University of Milano, Italy. alberto.clivio(a)unimi.it - Vincenzo Cutello, University of Catania, Italy. cutello(a)dmi.unict.it - Giuseppe Nicosia, University of Catania, Italy. nicosia(a)dmi.unict.it *Programme Committee: - Franco Celada, University of Genova, Italy - Dipankar Dasgupta, University of Memphis, USA - Marco Gori, University of Siena, Italy - Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea - Piero Mussio, University of Milano, Italy - Anastasia Pagnoni, Unversity of Milano, Italy - Jon Timmis, Universityh of Kent, UK - Henry Linger, Monash University, Melbourne, Australia - Fernando Esponda, University of New Mexico, USA * Getting Vietri Sul Mare http://www.iiassvietri.it/school2004/getting_vietri.htm * NAIS 2005 Conference Secretariats: - Department of Mathematics and Computer Science University of Catania, City University, V.le A. Doria 6, 95125 Catania, Italy Email: nais05(a)dmi.unict.it Phone: +39-095-7383074 Fax: +39-095-330094 or - Dip. di Scienze Dell'Informazione. University of Milano Via Comelico, 39 20125 Milano, Italy Email: bassis(a)dsi.unimi.it Phone: +39-02-50316335 Fax: +39-02-50316228 * For additional information or questions, contact Alberto Clivio, University of Milano, Italy, alberto.clivio(a)unimi.it Giuseppe Nicosia, University of Catania, Italy, nicosia(a)dmi.unict.it -- Giuseppe Nicosia Ph.D. in Computer Science Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy Email: nicosia(a)dmi.unict.it Tel: + 39 095 738 30 80 Fax: + 39 095 33 00 94 Web: www.dmi.unict.it/~nicosia

1 0