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

Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)
by Graeme Smith 21 Jan '05

21 Jan '05

FIRST CALL FOR PAPERS Fifth International Conference on Integrated Formal Methods (IFM) November 29 - December 2, 2005 Eindhoven, The Netherlands http://www.win.tue.nl/ifm/ SCOPE Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. This motivates us to research the combination of different viewpoints upon a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective by innovative use of an existing notation. The integration of formal methods has already yielded noteworthy benefits for systems modeling and software development. Whichever approach is taken, significant issues arise in areas such as semantic integration, the tractability of our notations, the integration of tool support, the integration of proof systems, consistency and completeness. Issues arise equally in our conceptualization of systems at different levels of abstraction and the development of these conceptualizations through the process of refinement. The scope of IFM2005 includes all aspects of integration of different formal notations, paradigms and tools, and also the formal strengthening of informal notations (e.g., UML). The conference also seeks and welcomes contributions in related areas such as: hybrid systems, the embedding of one formalism within another, and the integration of formal methods with informal or semi-formal diagrammatic notations and structuring techniques. SUBMISSIONS Submissions should be original work, not published or submitted elsewhere. Submissions may be up to 20 pages in length and are preferably prepared with LaTeX. Springer Verlag will publish the conference proceedings in the series 'Lecture Notes in Computer Science', hence submissions must be prepared according to the LNCS author instructions (see http://www.springer.de/comp/lncs/authors.html). The first page of the paper should contain an abstract of the paper, a list of keywords, the names, affiliations and emails of the authors. The contact authors should further provide their fax numbers as well as their phone numbers. A link to the submission web site will be provided on the conference web site (http://www.win.tue.nl/ifm/). IMPORTANT DATES Submission deadline: May 18, 2005 Notification of acceptance: July 13, 2005 Submission of final copy: August 17, 2005 Conference: November 29 - December 2, 2005 INVITED SPEAKERS Patrice Godefroid - Bell Labs (USA) David Parnas - University of Limerick (Ireland), McMaster University (Canada) Doron Peled - University of Warwick (UK) INVITED TUTORIAL Holger Hermanns - Saarland University (Germany) "QoS Modelling and Analysis for Embedded Systems" PROGRAM COMMITTEE Didier Bert, Institute IMAG, Grenoble, France Eerke Boiten, University of Kent, UK Jonathan Bowen, London South Bank University, UK Michael Butler, University of Southampton, UK Paul Curzon, Queen Mary, University of London, UK Jim Davies, University of Oxford, UK John Derrick, University of Sheffield, UK Steve Dunne, University of Teesside, UK Jin Song Dong, National University of Singapore Andy Galloway, University of York, UK Chris George, United Nations University, Macau Wolfgang Grieskamp, Microsoft Research, Redmond, US Henri Habrias, University of Nantes, France Maritta Heisel, University of Magdeburg, Germany Soon-Kyeong Kim, University of Queensland, Australia Michel Lemoine, ONERA, Toulouse, France Shaoying Liu, Hosei University, Tokyo, Japan Dominique Mery, LORIA, France Stephan Merz, LORIA, France Richard Paige, University of York, UK Luigia Petre, Turku Centre for Computer Science, Finland Thomas Santen, Technical University of Berlin, Germany Steve Schneider, University of Surrey, UK Wolfram Schulte, Microsoft Research, Redmond, US Kaisa Sere, Abo Akademi University, Turku, Finland Jane Sinclair, University of Warwick, UK Bill Stoddart, University of Teesside, UK Kenji Taguchi, University of Bradford, UK Helen Treharne, University of Surrey, UK Heike Wehrheim, University of Paderborn, Germany Kirsten Winter, University of Queensland, Australia Jim Woodcock, University of York, UK PROGRAM COMMITTEE CO-CHAIRS Jaco van de Pol, CWI, The Netherlands Judi Romijn, Eindhoven University of Technology, The Netherlands Graeme Smith, University of Queensland, Australia

1 0

ITC-19 extended deadline & Erlangbook
by Villy B. Iversen 20 Jan '05

20 Jan '05

Dear colleague, As you may have seen on the homepage, the deadline for papers to ITC-19 is extended to February 28, 2005 Bythe way, did you know that the "Erlangbook" "The Life and Works of A.K. Erlang" is available at: www.com.dtu.dk/teletraffic/Erlang.html TC-19, 19th International Teletraffic Congress Beijing, August 29 - September 2, 2005 For details see: www.itc19.org Important dates: Submissions due: February 28, 2005 Notificationof acceptance: May 1, 2005 Camera-ready manuscript: May 31, 2005 Early bird registration: Before June 20, 2005 For any questions, contact the organizers or me. See you in Beijing. Villy Bæk IVERSEN | Tel: (+45) 4525 3648 COM Center, Building 345v | Fax: (+45) 4593 6581 Technical University of Denmark | Mob: (+45) 2274 7345 DK-2800 Lyngby, Denmark | Email: vbi(a)com.dtu.dk

1 0

Next steps
by Otto Spaniol 20 Jan '05

20 Jan '05

Dear all, first (even if it is already late for that) all the best for 2005! There was a period of ver limited information which was due to a most important evaluation which our institute had to undergo but this has now been successfully completed. Thus: Back to work! The minutes of our "copyright-issue-loaded" and very heated meeting in Bangkok are not yet ready but they are promised to me very very soon. We had our first negative experience with Springer LNCS when they refused to publish I3E proceedings (the conference which will happen before our October meeting in Wroclaw, Poland) and diverted this proceedings volume towards "old style Kluwer". Alfred Hofmann from Springer apologized very much but he could not win the internal battle in Springer - and indeed it may be best to publish I3E proceedings in the Kluwer series where they have been published since the beginning of that conference series. On the other hand I made a very positive experience with LNCS when I published a proceedings volume for a workshop on "wireless on mobility" in a EU funded network of excellence: For a 280 pages volume I have to pay 45 EURO per copy but I get 50 copies for free and as an editor I get 47,5 percent of reduction (or even 50 percent if I order 200 copies what I will do). Thus my price per copy is 22,5 EURO or even 18 EURO if I take into account the free copies. And this is just less than peanuts when I consider the other organisation cost of conferences (dinners for 100 USD, coffee breaks for much money, registration fees in the order of 600 EURO,...). Thus I sincerely hope that publication problems will be a little less complicated; but this hope is - unfortunately - limited. I'll defend our (or my?) publication policy at the occasion of the IFIP council in Korea (end of February) very strongly. And concerning council: Please send me topics which I should include in my report and which I should discuss there until February 5 at the latest. Less and less conferences are willing to pay a sponsorship fee. This will bring us unavoidably in serious financial trouble. My last experience from that was the excellently organised conference on "IT and sport" in Cologne (Sept. 2004) where the organisors really didn't understand why they should pay the sponsorship fee since the only participation from IFIP came from myself and I didn't ask for any money; I could "convince" them to arrange the payment but it gets more and more complicated. To return only the "good name" and the logo of IFIP for the sponsorship fee is just not enough. There has been a change concerning national delegates: Prof. Hu Dao-Yuan who organised the excellent meeting 2000/2 after IFIP WCC 2000 in Beijing decide to leave the committee due to work overload. His successor will be Prof. Lin from Tsinghua University <chlin(a)tsinghua.edu.cn> (see attachment): ---- >Now I take great pleasure in introducing to you Mr.Lin, professor of >Department of Computer Science and Technology, Tsinghua University, who >is well on his way to establishing an equally high reputation, I think he >is the right person to take over my responsibility in IFIP-TC6. Attached >is his resume. IFIP CHINA will write formal recommendation letter to IFIP >Committee. ---- Prof. Lin: Welcome to TC6 ! We look forward to a good cooperation like we had it with Prof. Hu Dao-Yuan. With my best wishes Otto

1 0

Re: Recommendation
by Otto Spaniol 20 Jan '05

20 Jan '05

Dear professors Lin and Hu, > >Now I take great pleasure in introducing to you Mr.Lin, professor of >Department of Computer Science and Technology, Tsinghua University, who >is well on his way to establishing an equally high reputation, I think he >is the right person to take over my responsibility in IFIP-TC6. Attached >is his resume. IFIP CHINA will write formal recommendation letter to IFIP >Committee. > Has the recommendation letter been written? Can I get the address coordinates (including email address, www, fax, phone numbers,...). Best regards Otto Spaniol *********************************************************************** SPANIOL Otto, Prof. Dr. Tel.: +49-241-80 21400/401 RWTH Aachen University Home: +49-241-57 45 90 Computer Science Department FAX: +49-241-80 22220 D - 52056 Aachen Mobile: +49-172 273 4814 Office address: Email: Ahornstrasse 55 spaniol(a)informatik.rwth-aachen.de D - 52074 Aachen http://www-i4.informatik. GERMANY rwth-aachen.de

1 0

Fwd: CONEXT conference CFP
by Guy Leduc 20 Jan '05

20 Jan '05

CoNEXT 2005 - Toulouse, France ------------------------------ http://www.co-next.net info(a)co-next.net October 24-27, 2005 Organized by IST E-NEXT in cooperation with ACM SIGCOMM CoNEXT aims to become a major forum in the area of future networking technologies. By bringing together - under the umbrella of the Network of Excellence E-NEXT (http://www.ist-e-next.net/) - a number of successful workshops run by various networking communities, it will encourage much needed synergies between these communities. CoNEXT is a joint conference series having its roots in QoFIS, NGC and MIPS. QoFIS and NGC are highly successful international workshops initiated by two European COST Actions, namely COST263 on Quality of Future Internet Services and COST264 on Networked Group Communications. MIPS resulted from the merging of two other major workshops, namely IDMS (concentrated on interactive and distributed multimedia services) and PROMS (focusing on protocols for networked multimedia systems); also the associated ICQT (Internet Charging and QoS Technology) workshop is integrated into CoNEXT2005. CoNEXT is designed as an open, multi-track conference aiming to attract longer-term studies and to contribute to the integration of networking research at the international level. Examples of relevant topics are: * Autonomic Communications * Context Awareness * Crosslayer Integration * Dependable Networks * Experimental Networking * Identity Management * Internet Economics * Large Test-bed * Mobile Communication * Monitoring * Network Security * Overlay Networks * Scalability * Sensor Networks * Service Engineering * Traffic Engineering * User Perceived QoS * WirelessSubmitted papers must be original, unpublished, and not submitted to another conference or journal for consideration of publication. Papers must be submitted in electronic format following the instructions provided on the CoNEXT web site. The workshop proceedings will be published by ACM. ToN will consider fast tracking the very best papers accepted for publication at CoNEXT Important dates: Submission: May 6th, 2005 Notification: July 1st, 2005 Final version: August 19th, 2005 Conference chairs Michel Diaz, LAAS-CNRS, France Arturo Azcorra, University Carlos III de Madrid, Spain Patrick S=E9nac, ENSICA, France, (Organization chair) Program chairs Philippe Owezarski, LAAS-CNRS, France Serge Fdida, University P&M Curie (Paris 6), France Steering Committee Arturo Azcorra, University Carlos III de Madrid, Spain Fernando Boavida, University of Coimbra, Portugal Michel Diaz, LAAS-CNRS, France Christophe Diot, Intel research Cambridge, UK Serge Fdida, University P&M Curie-Paris, France Laurent Mathy, Lancaster University, UK Jennifer Rexford, AT&T Labs, USA Mikhail Smirnov, Fraunhofer FOKUS, Germany Ioannis Stavrakakis, University of Athens, Greece Burkhard Stiller, University of Zurich and ETH Zurich, Switzerland Giorgio Ventre, University of Napoli, Italy Program Committee --------------------- Marco Ajmone Marsan, Politecnico di Torino, Italy Kevin Almeroth, UC Santa Barbara, USA Paul Amer, University of Delaware, USA Mostafa Ammar, Georgia Institute of Technology, USA Ernst Biersack, Institut Eurecom, France Olivier Bonaventure, Univ. Catholique de Louvain, Belgium Andrew Campbell, Columbia University, USA Mark Crovella, Boston University, USA Jon Crowcroft, University of Cambridge, U K Walid Dabbous, INRIA, France Edmundo de Souza e Silva, Rio, Brazil Jordi Domingo-Pascual, Univ. Polit=E8cnica de Catalunya, Spain Constantinos Dovrolis, Georgia Tech, USA Otto Duarte, UF Rio do Janeiro, Brazil Wolfgang Effelsberg, University of Mannheim, Germany Hiroshi Esaki, University of Tokyo, Japan Anja Feldman, University of Munich, Germany Jarmo Harju, Tempere University of Technology, Finland Ian Graham, Endace Group, New Zealand G=EDsli Hj=E1lmt=FDsson, Reykjavik University, Iceland Farouk Kamoun, ENSI Tunis, Tunisia Gunnar Karlsson, Royal Institute of Technology, Sweden George Kesidis, Pennsylvania State University, USA Anne-Marie Kermarrec, IRISA, France Jim Kurose, University of Massachusetts, USA Guy Leduc, University of Liège, Belgium Edmundo Monteiro, University of Coimbra, Portugal Sue Moon, KAIST, Korea Andrew Odlyzko, University of Minnesota, USA Giovanni Pacifici, IBM T.J. Watson Research Center, USA Kihong Park, Purdue University, USA Thomas Plagemann, University of Oslo, Norway Douglas Reeves, North Carolina State University, USA Luigi Rizzo, Universita di Pisa, Italy Catherine Rosenberg, Waterloo University, Canada Matt Roughan, University of Melbourne, Australia Aruna Seneviratne, NICTA, Australia Cormac Sreenan, Cork Uni, Ireland Peter Steenkiste, CMU, USA Ralf Steinmetz, TU Darmstadt, Germany Ivan Stojmenovic, University of Ottawa, Canada Piet Van Mieghem, Delft University of Technology, The Netherlands Andras Veres, Ericsson, Hungary Mary Vernon, University of Wisconsin, USA Yannis Viniotis, North Carolina State University, USA Ryuji Wakikawa, Keio University, Japan Lars Wolf, Technical University at Braunschweig, Germany

1 0

CFP: 10th European Symposium on Research in Computer Security
by Claudio Agostino Ardagna 18 Jan '05

18 Jan '05

[Apologies if you receive multiple copies of this message] CALL FOR PAPERS ESORICS 2005 10TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY Milan, Italy - September 14-16, 2005 Organized by University of Milan http://esorics05.dti.unimi.it/ *********************************************************************** SUBMISSION OF PAPERS: MARCH 25, 2005 *********************************************************************** Papers offering novel research contributions in any aspect of computer security are solicited for submission to the Tenth European Symposium on Research in Computer Security (ESORICS 2005). Organized in a series of European countries, ESORICS is confirmed as the European research event in computer security. The symposium started in 1990 and has been held on alternate years in different European countries and attracts an international audience from both the academic and industrial communities. From 2002 it has been held yearly. The Symposium has established itself as one of the premiere, international gatherings on information assurance. Papers may present theory, technique, applications, or practical experience on topics including: - access control - accountability - anonymity - applied cryptography - authentication - covert channels - cryptographic protocols - cybercrime - data and application security - data integrity - denial of service attacks - dependability - digital right managament - firewalls - formal methods in security - identity management - inference control - information dissemination control - information flow control - information warfare - intellectual property protection - intrusion tolerance - language-based security - network security - non-interference - peer-to-peer security - privacy-enhancing technology - pseudonymity - secure electronic commerce - security administration - security as quality of service - security evaluation - security management - security models - security requirements engineering - security verification - smartcards - steganography - subliminal channels - survivability - system security - transaction management - trust models and trust management policies - trustworthy user devices The primary focus is on high-quality original unpublished research, case studies and implementation experiences. We encourage submissions of papers discussing industrial research and development. Proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series. INSTRUCTIONS FOR PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 15 pages excluding the bibliography and well-marked appendices (using 11-point font), and at most 20 pages total. Committee members are not required to read the appendices, and so the paper should be intelligible without them. To submit a paper, send to esorics05(a)dti.unimi.it a plain ASCII text email containing the title and abstract of your paper, the authors' names, email and postal addresses, phone and fax numbers, and identification of the contact author. To the same message, attach your submission (as a MIME attachment) in PDF or portable postscript format. Do NOT send files formatted for word processing packages (e.g., Microsoft Word or WordPerfect files). Submissions not meeting these guidelines risk rejection without consideration of their merits. Submissions must be received by March 25, 2005 in order to be considered. Notification of acceptance or rejection will be sent to authors by May 30, 2005. Authors of accepted papers must be prepared to sign a copyright statement and must guarantee that their paper will be presented at the conference. Authors of accepted papers must follow the Springer Information for Authors' guidelines for the preparation of the manuscript and use the templates provided there. GENERAL CHAIR Pierangela Samarati University of Milan email: samarati(a)dti.unimi.it PROGRAM CHAIRS Sabrina De Capitani di Vimercati University of Milan email: decapita(a)dti.unimi.it Paul Syverson Naval Research Laboratory url: www.syverson.org PUBLICATION CHAIR Dieter Gollman TU Hamburg-Harburg email: diego(a)tuhh.de PUBLICITY CHAIR Claudio A. Ardagna University of Milan, Italy email: ardagna(a)dti.unimi.it IMPORTANT DATES Paper Submission due: March 25, 2005 Notification: May 30, 2005 Final papers due: June 30, 2005 PROGRAM COMMITTEE Rakesh Agrawal, IBM Almaden Research Center, USA Gerard Allwein, Naval Research Laboratory, USA Ross Anderson, University of Cambridge, UK Vijay Atluri, Rutgers University, USA Michael Backes, IBM Zurich Research Laboratory, Switzerland Jan Camenisch, IBM Zurich Research Laboratory, Switzerland David Chadwick, University of Kent, UK Marc Dacier, Institut Eurécom, France George Danezis, University of Cambridge, UK Simon Foley, University College, Ireland Sushil Jajodia, George Mason University, USA Dogan Kesdogan, RWTH Aachen, Informatik IV, Germany Peng Liu, The Pennsylvania State University, USA Javier Lopez, University of Malaga, Spain Heiko Mantel, ETH-Zentrum, Switzerland Nick Mathewson, The Free Haven Project, USA Patrick McDaniel, The Pennsylvania State University, USA Peng Ning, NC State University, USA Peter Ryan, University of Newcastle upon Tyne, UK Kazue Sako, NEC Corporation, Japan Pierangela Samarati, University of Milan, Italy Mariemma I. Yague, University of Malaga, Spain Vanessa Teague, University of Melbourne, Australia (Not yet completed)

1 0

ACM PODC 2005: Call for Papers
by Panagiota Fatourou 15 Jan '05

15 Jan '05

We apologize if you receive the cfp more than once. ************************************************************************** CALL FOR PAPERS Twenty-Fourth Annual ACM SIGACT-SIGOPS Symposium on PRINCIPLES OF DISTRIBUTED COMPUTING (PODC 2005) July 17-20, 2005, Las Vegas, Nevada, USA http://www.podc.org/podc2005/ IMPORTANT DATES =============== Submission deadline: February 7, 2005, at 17:59 EST Acceptance notification: April 26, 2005 Camera-ready copy due: May 20, 2005 SCOPE ===== PODC continues to broaden the conference, and solicits papers on all areas of distributed systems. We encourage submissions dealing with any aspect of distributed computing, including theory and practice, systems, design, specification, verification, implementation, application, and properties of distributed systems. The common goal is to shed light on the principles of distributed computing. Topics of interest include, but are not limited to, the following subjects in distributed systems: - Distributed algorithms, correctness, complexity, and applications - Communication protocols - Distributed computing issues in the Internet and the Web - High-performance distributed computing and the computational grid - Multiprocessor/cluster architectures, algorithms, practice - Transport and application layer protocols, routing, scheduling, resource allocation - Algorithmic mechanism design - Networking: architecture, design, control, services, and applications - Mobile agents - Specification, semantics, and verification - Distributed middleware platforms, operating systems, and databases - Cryptographic and security protocols, security of distributed systems - Fault tolerance, availability, and self stabilization - Mobile computing, ad hoc and sensor networks - Shared memory - Synchronization: hardware, software, algorithms, architecture, practice - Distributed data management and search - P2P computing, overlay networks - Internet algorithms and data structures - Location-aware distributed computing PROGRAM COMMITTEE ================= Marcos Aguilera HP Labs Jim Anderson UNC Chapel Hill James Aspnes Yale, Chair Amotz Bar-Noy Brooklyn College Rida Bazzi ASU Elizabeth Borowsky Boston College Bogdan Chlebus CU Denver Artur Czumaj NJIT Shlomi Dolev Ben-Gurion U. Cyril Gavoille LaBRI Rachid Guerraoui EPFL Danny Hendler U. Toronto Lisa Higham U. Calgary Prasad Jayanti Dartmouth Dahlia Malkhi Microsoft Research, Hebrew U. Michael Mitzenmacher Harvard Mark Moir Sun Boaz Patt-Shamir Hp Labs, Tel-Aviv U. Michael Reiter CMU Jared Saia UNM Rahul Sami MIT Haifeng Yu Intel Research Pittsburgh, CMU HOW TO SUBMIT ============= Information on how to submit electronically will be available at: http://www.podc.org/podc2005/ SUBMISSIONS FORMAT ================== All submissions must be in Postscript or PDF format. On the cover page, include: (1) contact person's name, phone, fax, email and complete postal mail address, (2 title of paper, (3) names and affiliations of all authors, (4) a brief abstract, (5) keywords, and (6) the number of pages. In addition, please indicate in boldface whether any author is a member of the program committee, and, for a regular presentation, whether it is eligible for the best student paper award (see details below), and whether it should be considered a brief announcement (if not accepted as a regular presentation). All submissions must report on original research. A submission for a regular presentation must be no longer than 10 pages on letter-size paper using at least 11-point font. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. Papers submitted for regular presentations must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other conference. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. A submission for a brief announcement must be no longer than 3 pages on letter-size paper using at least 11-point font. Such submissions may describe work in progress or work presented elsewhere. If requested by the authors, a submission that is not selected for regular presentation may also be considered for a brief announcement. Such a request will not affect consideration of the paper for regular presentation. Posters and demonstrations are also solicited; details will appear on the conference web page. PODC AND SPAA ============= PODC 2005 is colocated with the 17th ACM Symposium on Parallelism in Algorithms and Architectures. Joint submissions to both conferences are not permitted. BEST STUDENT PAPER AWARD ======================== A prize will be given to the best student paper. A paper is eligible if at least one author is a full-time student at the time of submission, and the contribution of the student is significant. This must be noted on the cover page. The program committee may decline to make the award or split it.

1 0

PODC 2005: Call for Posters
by Panagiota Fatourou 15 Jan '05

15 Jan '05

************************************************************************ * We apologize if you receive multiple copies of this call. ************************************************************************ ACM Symposium on Principles of Distributed Computing - PODC 2005 CALL FOR POSTERS In a continuing effort to provide a wide forum for work in areas related to principles of distributed computing, and following the good reception of the poster presentations last year, PODC will again feature poster presentations. Submissions for the poster presentation should report on interesting original results or ongoing work in the general area of distributed computing. Poster presentations will enable authors to receive early feedback on their work and exchange ideas. Posters will be on display during a part of the conference. At specific times (called "poster sessions") one of the authors of an accepted poster submission is required to be present to answer questions about their posters. Poster presentations should consist of no more than the equivalent (in size) of 12 A4 pages. Poster presentation will not appear in the conference proceedings, however we intend to publish a technical report of the hosting university with up to 3 pages per poster. MOST POPULAR POSTER AWARD In order to encourage quality submissions and presentations, the most popular poster award will be presented. The winner of the award will be chosen by vote of the conference attendees. Authors of the winning poster will receive a certificate to that effect. SUBMISSION GUIDELINES All submissions must be done electronically in Postscript or PDF format and include (1) contact person's name, phone, fax, email and complete postal mail address, (2) title of poster presentation, (3) names and affiliations of all authors In addition, please indicate in boldface whether any author is a member of the program committee. Authors are encouraged to send 3 pages explaining the main aspect of their work. Posters will be judged based on their potential to generate interesting exchanges of ideas. Instructions for electronic submissions will appear on the PODC 2005 website: www.podc.org/podc2005. IMPORTANT DATES Submission deadline: February 28 2005 Notification of Acceptance: March 31, 2005 Technical Report version: June 7, 2004 For more information, please contact Rida Bazzi: bazzi(a)asu.edu (PODC 2005 Poster Chair) or James Aspnes: aspnes(a)cs.yale.edu (PODC 2005 Program Chair)

1 0

Call For Papers: Symposium on Wireless Sensor Networks (IEEE WirelessCom 2005)
by Marco Zuniga 14 Jan '05

14 Jan '05

Dear Colleagues, This is the Call For Papers for the Symposium on Wireless Sensor Networks to be held at Sheraton Maui Resort, Kaanapali Beach, Maui, Hawaii, USA in conjunction with IEEE WirelessCom 2005, June 13-16, 2005. http://bit.csc.lsu.edu/WirelessComm05/WSNsymposium/ We apologize if you have received multiple copies of this CFP. Scope Wireless Sensor Networks have received tremendous attention over the past few years. These systems can potentially benefit a variety of scientific, military and commercial applications. Recent years have seen tremendous advancement to this vision and have offered the ability to deploy networks of densely deployed, inexpensive sensor nodes. The vast potential for this research area has been demonstrated by numerous scientific and commercial applications that have emerged in recent years, as well as by the number of industrial and research institutions working in this area. Sensor networks combine distributed sensing, computation, storage, and wireless multi hop communication. Many challenges need to be overcome in this research area to realize its potential. Original papers are invited on a broad range of research topics relating to wireless sensor networks. Papers must represent high-quality and previously unpublished work. Topics of interest include, but are not limited to, the following: * Communication techniques and protocols * Scalable architectures and programming models * Energy and resource management * In-network processing and data aggregation * Distributed query processing and data storage * Applications of wireless sensor networks * Localization, time-synchronization and calibration * Simulation tools, operating systems and middleware * Collaborative signal processing * Distributed control and actuation * Security * Cross-layer design and optimization Important Dates Paper Submission Deadline: March 10, 2005 Notification of Acceptance: April 15, 2005 Camera-Ready Papers: May 1, 2005 Committee: * Co-Chairs Rajgopal Kannan, LSU, rkannan(a)bit.csc.lsu.edu Bhaskar Krishnamachari, USC, bkrishna(a)usc.edu Yi Pan, Georgia State University, cscyip(a)techie.cs.gsu.edu Pingzhi Fan, Southwest Jiaotong University, p.fan(a)ieee.org * Vice Chairs Deepak Ganesan, U Mass Amherst, dganesan(a)cs.umass.edu Chiti Francesco, Universit di Firenze, chiti(a)lenst.det.unifi.it Narayanan Sadagopan, USC, narayans(a)usc.edu * Publicity Chairs Shuangqing Wei, LSU, swei(a)ece.lsu.edu Marco Zuniga, USC, marcozun(a)usc.edu More details can be found at: http://bit.csc.lsu.edu/WirelessComm05/WSNsymposium/ Regards, Organizing Committee (Symposium on Wireless Sensor Networks)

1 0

Extended Deadline: WEA 2005
by Ioannis Chatzigiannakis 12 Jan '05

12 Jan '05

[Apologies for multiple copies] *** EXTENDED SUBMISSION DEADLINE: JANUARY 20, 2005, 11pm GMT *** FINAL CALL FOR PAPERS WEA 2005 4th International Workshop on Efficient and Experimental Algorithms Santorini Island, Greece May 10 to 13, 2005 http://ru1.cti.gr/wea05/ The WEA Workshops are intended to be an international forum for researchers in the area of design, analysis, and experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications. The three preceding Workshops in this series were held in Riga (2001), Monte Verita (2003, http://www.idsia.ch/wea2003/) and Rio de Janeiro (2004, http://wea2004.inf.puc-rio.br/). The WEA 2005 Workshop is sponsored by the European Association for Theoretical Computer Science (EATCS) and the EU IST/FET R&D Projects FLAGS ("Foundational Aspects of Global Computing Systems") and DELIS ("Dynamically Evolving Large-scale Information Systems") and the Research Academic Computer Technology Institute (RACTI). TOPICS Original research contributions are solicited covering a variety of topics including but not limited to: - Algorithm Engineering - Algorithmic Mechanism Design - Analysis of Algorithms - Approximation Techniques - Branch and Bound Algorithms - Combinatorial Structures and Graphs - Combinatorial and Irregular Problems - Communication Networks - Computational Learning Theory - Computational Optimization - Computer Systems - Cryptography and Security - Data Structures - Distributed Algorithms - Evaluation of Algorithms for Realistic Environments - Graph Drawing - Heuristics for Combinatorial Optimization - Implementation, Testing, Evaluation and Fine-tuning of Algorithms - Information Retrieval - Integer Programming - Logistics and Operations Management - Machine Learning and Data Mining - Mathematical Programming - Metaheuristic Methodologies - Network Analysis - Novel Applications of Algorithms in Other Disciplines - On-line Problems - Parallel Algorithms and Computing - Railway Optimization using Algorithmic Methods - Randomized Techniques - Robotics - Semidefinite Programming - Simulation - Software Repositories and Platforms for using Algorithms - Telecommunications and Networking - World Wide Web Algorithms GENERAL and PC CHAIR Sotiris Nikoletseas, University of Patras and CTI, Greece PROGRAM COMMITTEE - Edoardo Amaldi, Politecnico di Milano, Italy - Evripidis Bampis, University d'Evry, France - David A. Bader, University of New Mexico, USA - Cynthia Barnhart, MIT, USA - Azzedine Boukerche, SITE, University of Ottawa, Canada - Gerth Brodal, University of Aarhus, Denmark - Rainer Burkard, Graz University of Technology, Austria - Giuseppe Di Battista, Universita' degli Studi Roma Tre, Italy - Rudolf Fleischer, Fudan University, Shanghai, P.R.C. - Pierre Fraigniaud, CNRS, Universite Paris-Sud, France - Mark Goldberg, Rensselaer Polytechnic Institute, USA - Juraj Hromkovic, ETH Zurich, Switzerland - Giuseppe Italiano, Universita' di Roma Tor Vergata, Italy - Christos Kaklamanis, University of Patras and CTI, Greece - Helen Karatza, Aristotle University of Thessaloniki, Greece - Ludek Kucera, Charles University, Czech Republic - Shay Kutten, Technion - Israel Institute of Technology, Israel - Catherine McGeoch, Amherst College, USA - Simone Martins, Universidade Federal Fluminense, Brasil - Bernard Moret, University of New Mexico, USA - Ian Munro, University of Waterloo, Canada - Sotiris Nikoletseas, University of Patras and CTI, Greece (Chair) - Andrea Pietracaprina, University of Padova, Italy - Tomasz Radzik, King's College London, UK - Rajeev Raman, University of Leicester, UK - Mauricio Resende, AT&T Labs Research, USA - Maria Serna, T.U. of Catalonia, Spain - Paul Spirakis, University of Patras and CTI, Greece - Eric Taillard, EIVD, University of Applied Sciences of Western Switzerland - Dorothea Wagner, University Karlsruhe, Germany - Stefan Voss, University of Hamburg, Germany - Christos Zaroliagis, University of Patras and CTI, Greece INVITED SPEAKERS: - Christos Papadimitriou, University of California at Berkeley, USA - Celso Ribeiro, Catholic University of Rio de Janeiro, Brasil - David A. Bader, University of New Mexico, USA STEERING COMMITTEE CHAIRS - Klaus Jansen, University of Kiel, Germany - Jose Rolim, University of Geneva, Switzerland PROCEEDINGS AND JEA SPECIAL ISSUE The Proceedings of WEA 2005 will be published in the Series Lecture Notes in Computer Science (LNCS), by Springer Verlag. Selected papers from WEA 2005 will be considered for a Special Issue of the ACM Journal of Experimental Algorithmics (JEA, http://www.jea.acm.org/). SUBMISSION GUIDELINES Authors are invited to submit manuscripts reporting original unpublished research and recent developments in the topics related to the Workshop. Simultaneous submission to conferences with published proceedings is not allowed. Papers should not exceed twelve (12) SINGLE-spaced pages of text, using at least 11 point size type on 8.5 x 11 inch pages, including references, figures, tables, etc. It is highly recommended to use the Springer LNCS LATEX style format (www.springer.de/comp/lncs/authors.html). Additional material may be added at a clearly marked Appendix to be read at the discretion of the Program Committee Members. Authors must submit their papers electronically via EDAS (http://edas.info/) All papers will be peer reviewed and comments will be provided to the authors. Authors need to make sure that for each accepted paper at least one author will attend the Workshop. IMPORTANT DATES: - Extended submission deadline: ** January 20, 2005, 11pm GMT ** (firm) - Author Notification: February 28, 2005 - Final Manuscript Due: March 14, 2005 LOCAL AND HOTEL INFORMATION Useful hotel and local information can be found at the following site: http://wea2005.conferences.gr ORGANIZING COMMITTEE: - Ioannis Chatzigiannakis, CTI, Greece (Co-Chair) - Rozina Efstathiadou, CTI, Greece, (Co-chair) - Athanassios Kinalis, CTI and U. of Patras, Greece, Webmaster - Lena Gourdoupi, CTI, Greece, Registration and Hotel - TBA, Proceedings and Systems

1 0