ifip-tc6 Januar 2005

ifip-tc6@lists.rwth-aachen.de

45 Teilnehmer
52 Diskussionen

TC6 delegates 1/2005

von Otto Spaniol

Dear all, here is he new list of delegates. Probably some corrections have to be made. Please inform me. Best regards Otto

19 Jahre, 3 Monate

RE: [ifip-tc6] Honorary Members

von Niemegeers, I.G.M.M.

I support the honorary membership of Andre Danthine, Best regards, Ignas Niemegeers -----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: Friday, January 28, 2005 08:47 To: Guy Leduc Cc: ifip-tc6(a)informatik.rwth-aachen.de Subject: Re: [ifip-tc6] Honorary Members Dear all, Guy Leduc wrote (and several other similar comments were received): > >This was not my understanding of what we decided in Bangkok. > >I understood that André Danthine had been unanimously nominated as >honorary member, and that we would not hurry in trying to nominate >other people. > Yes, we nominated Andre Danthine in Bangkok (and we were reluctant to propose other names). Nevertheless, I believe to remember that we wanted to give other (nonparticipating) delegates a chance to nominate somebody else if they would have good reasons for that. Until now, this has not happened and I don't expect it. Thus: Since Andre has been nominated by many people already we might do an electronic voting about selecting him as *new* honorary member of TC6. If a delegate doesn't react before Feb. 1, 2005, then I assume that he agrees to that decision. Of course, positive votes are preferred. (See below for a voting sheet). This doesn't exclude the presentation of additional names. By the way: Louis and Tibor are honorary members since several years already. Best regards Otto ---------------------------------------- Honorary membership of IFIP TC6: Name: I agree to select Andre Danthine (Belgium) as honorary member of IFIP TC 6 O Yes O No _______________________________________________ ifip-tc6 mailing list ifip-tc6(a)lists.RWTH-Aachen.DE http://MailMan.RWTH-Aachen.DE/mailman/listinfo/ifip-tc6

19 Jahre, 3 Monate

CONEXT05-1st-CallForPapers

von CONEXT05 Call for papers

[Please apologize for multiple receipts] FIRST CALL FOR PAPERS CONEXT'05 International conference on future networking technologies October 24-27, 2005 Toulouse, France http://www.co-next.net/ info(a)co-next.net Organized by IST E-NEXT in cooperation with ACM SIGCOMM ----- SCOPE ----- 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 CoNEXT 2005. 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 * Wireless ----------------------- SUBMISSIONS/PROCEEDINGS ----------------------- Submitted 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. IEEE/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 Snac, 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. Politcnica 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 Gsli Hjßlmt²sson, 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 Lige, 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

19 Jahre, 3 Monate

Net Mgt Postdoc positions with Ericsson Ireland

von Gerry Parr

Ehab Do you know anyone who might be interested in these postdoc positions...please get them to apply:- http://www.ulster.ac.uk/news/releases/2005/1494.html Thanks Gerard -----Original Message----- From: "Ehab Al-Shaer" <ehab(a)cs.depaul.edu> To: <tccc(a)cs.columbia.edu> Date: Sun, 23 Jan 2005 15:57:19 -0600 Subject: [ieee-cnom] Cfp: End-to-End Monitoring Techniques and Services Workshop (E2EMON) E2EMON - CALL FOR PAPERS ------------------------ Workshop on End-to-End Monitoring Techniques and Services (E2EMON) 15th May 2005, Nice-Acropolis, Nice, France http://www.ieee-im.org/e2emon In conjunction with IFIP/IEEE International Symposium on Integrated Network Management (IM2005) E2EMON is a workshop focusing on advances in monitoring technology, and particularly new distributed monitoring techniques for emerging technologies such as Grid, overlay, p2p and Ad hoc networks, and end-to-end path measurements. E2EMON offers a unique opportunity for researchers in this area to exchange ideas and experiences to develop next-generation monitoring systems. The workshop also provides an intimate setting for discussion and debate through panels and group work. The program committee is soliciting original papers describing research in the area of e2e monitoring. Accepted papers will be published in the workshop's preceedings and a selection may be published in an international journal (details will be provided later). The participants in this workshop will have the added advantage of meeting a lot of the attendees of IM2005, which draws many leading researchers in the field of Network and Systems Management. TOPICS: Monitoring overlay networks and P2P services Ad-hoc and sensor network monitoring Monitoring Grid & pervasive computing environment Path characteristics monitoring Large-scalable monitoring techniques Adaptive monitoring systems Monitoring embedded systems & pervasive environment Active and programmable monitoring Correlation-based monitoring Traffic monitoring and data mining Real-time monitoring High-speed network monitoring Multicast network/service monitoring Overlay monitoring services Monitoring of service level agreement Distributed application steering Monitoring and measurements Open monitoring platforms Monitoring models, architectures and systems Distributed and centralized monitoring prototypes Languages for packet and distributed monitoring Visualization of monitoring information Distributed application steering Monitoring and measurements Open monitoring platforms Monitoring models, architectures and systems Distributed and centralized monitoring prototypes Languages for packet and distributed monitoring IMPORTANT DATES Submission deadline: February 15, 2005 Notification of acceptance: March 20, 2005 Final version: April 5, 2005 PAPER SUBMISSION The paper must be original material that is not currently under review, and has not been previously published by another conference or journal. The paper must be formatted as PDF format. Paper length should be limited to 10 pages with reasonable margins and a font size of no less than 11pt. To submit your paper, go to the EDAS system at https://submissoes.sbc.org.br/ and select IM2005-E2EMON. For submission details, see the E2EMON website. Co-Chairs: Ehab Al-Shaer: ehab(a)cs.depaul.edu Aiko Pras: pras(a)cs.utwente.nl Philippe Owezarski: owe(a)laas.fr TPC members: Ahsan Habib, University of California Berkeley Aiko Pras, University of Twente Choong Seon Hong, Kyung Hee University Dina Papagiannaki Intel Research Ehab Al-Shaer, DePaul University Evangelos Markatos, ICS Forth Fulvio Risso, Politecnico di Torino Gerald Combs, Ethereal Henk Uijterwaal, RIPE Herbert Bos, VU Amsterdam James Hong, POSTECH Jordi Domingo-Pascual, University Polytechnic of Catalunya Kamil Sarac, The University of Texas at Dallas Kave Salamatian, LIP6 Keith Ross, Polytechnic University Marcus Brunner, NEC Europe Ltd. M. Y. Sanadidi UCLA Nevil Brownlee, The University of Auckland Olivier Festor, LORIA - INRIA Lorraine Philippe Owezarski, LAAS-CNRS Radu State, LORIA - INRIA Lorraine Raouf Boutaba, University of Waterloo Salvatore d'Antonio, CINI Simon Leinen, Switch Taesang Choi, ETRI Co-Chairs: Ehab Al-Shaer, Aiko Pras and Philippe Owezarski _______________________________________________ Cnom mailing list Cnom(a)orion.lrg.ufsc.br http://orion.lrg.ufsc.br/mailman/listinfo/cnom Professor Gerard Parr Chair in Telecommunications Engineering Internet Technologies Research Group School of Computing and Information Engineering Faculty of Engineering University of Ulster Coleraine, Northern Ireland gp.parr(a)ulster.ac.uk http://www.infc.ulst.ac.uk/staff/gp.parr

19 Jahre, 3 Monate

CFP: First International Workshop on Convergence of Heterogeneous Wireless Networks (ConWiN 2005)

von Linda Jiang Xie

We apologize in advance if you receive multiple copies of this CFP. ********************************************************************** ******** ConWiN 2005 ******** ****** ****** **** First International Workshop on **** ** Convergence of Heterogeneous Wireless Networks ** * * * July 10, 2005 in Budapest, Hungary * * in Conjunction with WICON 2005 * * * * http://www.ConWin.org * * * * CALL FOR PAPERS * ********************************************************************** Scope of ConWiN 2005: ===================== The advances in the wireless communication technologies have enabled the realization of wide range of heterogeneous wireless networks from wireless local area networks (WLANs), several generations (2G/3G) of wireless cellular networks to mobile ad hoc networks (MANET) and wireless sensor networks (WSN). This technological evolution is further inspiring researchers to envision the next generation wireless networking architectures and even the space Internet. Next Generation Wireless Internet (NGWI) will be the convergence of these heterogeneous wireless networks and the next generation Internet to provide mobile users with a wide range of high resource demanding services such as high speed reliable data and real-time multimedia delivery. While the unique characteristics of each of these wireless networks pose diverse set of challenges, their integration severely expands the set of open research problems for seamless, efficient, and reliable communication. Therefore, there exists an urgent need for a significant research effort to focus on solving these new challenges posed by the integration and the convergence of these wireless heterogeneous networks. The objective of ConWiN 2005 is to provide a research platform where researchers bring their contributions to light by presenting their technical papers on the issues regarding the integration and the convergence of heterogeneous wireless networks. Papers solicited in ConWiN 2005 spans a wide range of areas of interest including but not limited to: - Physical layer issues for the convergence of heterogeneous wireless communication technologies - Novel and adaptive communication protocols at all layers, i.e., MAC layer problems, routing, reliable and multimedia transport, for integration of diverse wireless systems such as WLANs, 3G, and WSNs - Novel and practical communication architectures for the convergence of heterogeneous wireless networks - Efficient mobility/handoff management protocols for seamless roaming within the converged communication architecture - Killer applications/services for the convergence towards the NGWI - Security, authentication, and billing solutions for the converged architecture Important Dates: ================ Submission deadline : February 25, 2005 Notification of acceptance : May 1, 2005 Camera-ready version : May 15, 2005 Workshop Date : July 10, 2005 Submission Details: =================== The workshop will only accept for review original papers that have not been previously published and are not currently under review by another conference or journal. Prospective authors are invited to submit full papers of no more than 12 pages of IEEE double column format. Manuscript submission should be done electronically via e-mail by sending a pdf version of the manuscript to conwin(a)ece.metu.edu.tr Papers of particular merit will also be published in Computer Networks Journal (Elsevier). Organization Committee : ======================= Workshop Chair: -------------- Ozgur Baris Akan, Middle East Technical University, TURKEY TPC Co-Chairs: -------------- Eylem Ekici, Ohio State University, USA Wenye Wang, North Carolina State University, USA Publicity Chair: ---------------- Jiang (Linda) Xie, University of North Carolina at Charlotte, USA For more information about the workshop, see http://www.conwin.org/

19 Jahre, 3 Monate

Call For Papers: 30 Joint Conferences in CS & CE; June 2005, Las Vegas, USA

von hra＠cs.uga.edu

Call For Papers The 2005 World Congress in Applied Computing (composed of 14 Joint Conferences) June 20-23, 2005, Las Vegas, USA & The 2005 International Multiconference in Computer Science and Computer Engineering (composed of 16 Joint Conferences) June 27-30, 2005, Las Vegas, USA Dear Colleagues: You are invited to submit a paper to one of the 30 research conferences listed below. The world's largest gathering of researchers in computer science, computer engineering and applied computing will be held in June 2005. +++ The World Congress in Applied Computing is an annual research gathering. The main goal of this event is to provide a forum for exchange of ideas in a number of fields that interact. See below for the list of 14 joint conferences that form the 2005 World Congress in Applied Computing. (Date of event: June 20-23, 2005) +++ The International Multiconference in Computer Science and Computer Engineering is a major annual research event. It assembles a spectrum of affiliated research conferences into a coordinated research meeting held in a common place at a common time. See below for the list of 16 joint conferences that form the 2005 International Multiconference in Computer Science and Computer Engineering. (Date of event: June 27-30, 2005) The model used to form these annual conferences facilitates communication among researchers in different fields of computer science, computer engineering and applied computing. Both inward research (core areas of computer science and engineering) and outward research (multi-disciplinary, Inter-disciplinary, and applications) will be covered during the conferences. The 2005 World Congress in Applied Computing is composed of the following 14 conferences (all will be held simultaneously, same location and dates June 20-23, 2005, Las Vegas, USA): 1. The 2005 International Conference on Grid Computing and Applications (GCA'05) 2. The 2005 International Conference on e-Business, Enterprise Information Systems, e-Government, and Outsourcing (EEE'05) 3. The 2005 International Conference on Biometric Authentication (BIOAU'05) 4. The 2005 International Conference on Computers for People with Special Needs (CPSN'05) 5. The 2005 International Conference on Data Mining (DMIN'05) 6. The 2005 International Conference on Human-Computer Interaction (HCI'05) 7. The 2005 International Conference on Computer Vision (VISION'05) 8. The 2005 International Conference on Scientific Computing (CSC'05) 9. The 2005 International Conference on Information and Knowledge Engineering (IKE'05) 10. The 2005 International Conference on Security and Management (SAM'05) 11. The 2005 International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS'05) 12. The 2005 International Conference on Algorithmic Mathematics and Computer Science (AMCS'05) 13. The 2005 International Conference on Data Fusion - From Multi-Source Data to Information (FUS'05) 14. The 2005 International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS'05) The 2005 International Multiconference in Computer Science and Computer Engineering is composed of the following 16 conferences (all will be held simultaneously, same location and dates: June 27-30, 2005, Las Vegas, USA): 1. The 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05) 2. The 2005 International Conference on Artificial Intelligence (ICAI) 3. The 2005 International Conference on Software Engineering Research and Practice (SERP'05) 4. The 2005 International Conference on Internet Computing (ICOMP'05) 5. The 2005 International Conference on Computer Design (CDES'05) 6. The 2005 International Conference on Wireless Networks (ICWN'05) 7. The 2005 International Conference on Modeling, Simulation and Visualization Methods (MSV'05) 8. The 2005 International Conference on Foundations of Computer Science (FCS'05) 9. The 2005 International Conference on Imaging Science, Systems, and Technology: Computer Graphics (CISST'05) 10. The 2005 International Symposium on Web Services and Applications (ISWS'05) 11. The 2005 International Conference on Pervasive Systems and Computing (PSC'05) 12. The 2005 International Conference on Machine Learning; Models, Technologies and Applications (MLMTA'05) 13. The 2005 International Conference on Communications in Computing (CIC'05) 14. The 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'05) 15. The 2005 International Conference on Programming Languages and Compilers (PLC'05) 16. The 2005 International Conference on Embedded Systems and Applications (ESA'05) A link to each conference's URL can be found at http://www.world-academy-of-science.org GENERAL CHAIR AND COORDINATOR: H. R. Arabnia, PhD The University of Georgia Department of Computer Science 415 Graduate Studies Research Center Athens, Georgia 30602-7404, U.S.A. Tel: (706) 542-3480 Fax: (706) 542-2966 E-mail: hra(a)cs.uga.edu SUBMISSION OF PAPERS: Please regard this as General Guidelines. Prospective authors are invited to submit their full papers (about 5 to 10 pages - single space, font size of 10 to 12) to H. R. Arabnia by Feb. 16, 2005. E-mail submissions in MS document or PDF formats are preferable (Fax or postal submissions are also acceptable.) The chair may be forwarding the papers to respective conference chairs/committees/Task Forces. The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) double-column pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the paper should include: title of the paper, name, affiliation, postal address, E-mail address, telephone number, & Fax number for each author. The first page should also include the name of the author who will be presenting the paper (if accepted) and a maximum of 5 keywords. Also, the name of the conference that the paper is being submitted to must be mentioned on the first page. Papers will be evaluated and fully refereed for originality, significance, clarity, and soundness. Each paper will be refereed by two researchers in the topical area. The revised papers will be reviewed by one person. MEMBERS OF PROGRAM & ORGANIZING COMMITTEES: The Program Committee includes members of chapters of World Academy of Science (chapters: supercomputing; scientific computing; artificial intelligence; imaging science; databases; simulation; software engineering; embedded systems; internet and web technologies; communications; computer security; and bioinformatics.) The Program Committee for individual conferences is currently being formed. Those interested in joining the Program Committee should email H. R. Arabnia (hra(a)cs.uga.edu) the following information: Name, affiliation and position, complete mailing address, email address, tel/fax numbers, a short biography together with research interests and the name of the conference offering to help with. IMPORTANT DATES: Feb. 16, 2005: Submission of papers March 21, 2005: Notification of acceptance April 20, 2005: Camera-Ready papers & Prereg. due June 20-23, 2005: The 2005 World Congress in Applied Computing (WCAC'05) - 14 Joint Conferences. June 27-30, 2005: The 2005 International MultiConference in Computer Science and Computer Engineering (IMCSE'05) - 16 Joint Conferences. TOPICAL SCOPE FOR EACH CONFERENCE: To receive the complete list of topics for each of the 30 conferences, send an email to hra(a)cs.uga.edu or wait for the conferences' URL's to be constructed.

19 Jahre, 3 Monate

Call for Papers: AD HOC NOW 2005

von Pedro M. Ruiz

Please find below a CFP that may be of your interest. -- Pedro M. Ruiz Dept. Information and Communications Engineering Univ. of Murcia We apologize if you receive the CFP more than once. ---------------------------------------------------------------------------- CALL FOR PAPERS - AD HOC NOW 2005 4th International Conference on Ad hoc Networks and Wireless Cancun, October 6-8, 2005 http://fismat.umich.mx/adhocnow/ ---------------------------------------------------------------------------- You can find a PDF version of this CFP at: http://fismat.umich.mx/adhocnow/doc/cfp.pdf IMPORTANT DATES --------------- Submission Deadline: May 1st, 2005 Notification of Acceptance: July 1st, 2005 Camera-ready versions due: August 1st, 2005 Panel and demo proposals due: August 1st, 2005 SCOPE ----- Ad hoc networks are self-organising, wireless systems, formed by co-operating nodes equiped with wireless interfaces. Communications among nodes which are not directly reachable, are carried out through multihop paths. Their topology is dynamic, decentralized and ever changing due to the arbritarily movement of ad hoc nodes. We are interested in work in progress, experimental and theoretical research in Ad-hoc, Mobile and Wireless Networks. Topics of interest for which we are soliciting papers include, but are not limited to, the following: *Access control, scheduling *Ad hoc and sensor networks *Analytic methods and modelling for performance evaluation, optimization... *Auto-configuration *Incentives and pricing *Location awareness, discovery, dependence, and management *Mesh networks *New applications *Power management, power control, and energy-efficiency *Quality-of-service, resource allocation, multimedia *Routing (unicast, multicast, etc.) *Security and privacy *Service discovery *Systems and testbeds *Wireless Internet, and data management PROCEEDINGS ----------- The proceedings of Ad hoc Now 2005 will be published by Springer-Verlag, as part of the Lecture Nnotes in Computer Science (LCNS) series. PAPER SUBMISION INSTRUCTIONS ---------------------------- Authors should prepare a full paper not to exceed 14 pages in Springer Verlag LNCS format. This page budget must contain all figures, tables, and references. The paper should also include a brief abstract of up to 150 words, three keywords, and full contact information for the corresponding author. Submissions not in the appropriate format will be rejected without review. All paper submissions will be handled electronically at the conference website. PANELS AND DEMONSTRATIONS ------------------------- Proposals for panels that examine controversial or otherwise provocative issues are solicited. Panel proposals should not exceed 3 pages, including biographical sketches of the panelists. Potential panel organizers should contact the Panel Chair, S.S. Ravi (mailto:ravi@cs.albany.edu). Proposals for demonstrations are solicited. Proposals should not exceed 3 pages and should include a description of the demo and equipment to be used. Potentialdemonstrators are requested to submit a proposal to the Demo Chair, Antonio Garcia Macias (mailto:jagm@cicese.mx). TECHNICAL COMITTEES ___________________ Program Co-Chairs: Violet R. Syrotiuk, Arizona State Univ., USA Edgar Chavez, Univ. Michoacana, Mexico Steering Comittee: Evangelos Kranakis, Carleton University, Canada Michel Barbeau, Carleton University, Canada S. S. Ravi, SUNY Albany, USA Ioanis Nikolaidis, Univ. of Alberta, Canada Violet R. Syrotiuk, Arizona State Univ., USA Publicity Chair: Pedro M. Ruiz, Univ. of Murcia, Spain Panel Chair: S. S. Ravi, SUNY Albany, USA Demonstration Chair: Antonio Garcia Maccias, CICESE, Mexico Technical Program Comittee: Michel Barbeau, Carleton University, Canada Prosenjit Bose, Carleton University, Canada Rida Bazzi, Arizona State Univ., USA Tracy Camp, Colorado School of Mines, USA Edgar Chavez, Univ. Michoacana, Mexico Jorge Cobb, Univ. Texas at Dallas, USA Marco Conti, CNR-IIT, Italy Andras Farago, UT Dallas, USA Antonio Gomez-Skarmeta, Univ. of Murcia, Spain Admela Jukan, Georgia Tech, USA Goran Konjevod, Arizona State Univ., USA Evangelos Kranakis, Carleton University, Canada Sven Krumke, Univ. Kaiseslautern, Germany Stefan Dobrev, Univ. of Ottawa, Canada Danny Drizanc, Wesleyan University, USA Antonio Garcia Macias, CICESE, Mexico Jelena Misic, Univ. Manitoba, Canada Pat Morin, Carleton University, Canada Lata Narayanan, Concordia Univ, Canada Ioanis Nikolaidis, U. Alberta, Canada J. Opatrny, Concordia Univ., Canada Ravi Prakash, Univ. Texas at Dallas, USA Sergio Rajsbaum, UNAM, Mexico S. S. Ravi, SUNY Albany, USA Martin Reisslein, Arizona State Univ., USA Frank Rousseau, LSR-IMAG, France Pedro M. Ruiz, Univ. of Murcia, Spain Martha Steenstrup, Stow Research LLC, USA Ladislav Stacho, Simon Freiser Univ, Canada Violet R. Syrotiuk, Arizona State Univ., USA Godfried Toussaint, Mc Gill Univ., Canada Damla Turgut, Univ. of Florida, USA Peter Widmayer, ETH, Switzerland Gergely Zaruba, Univ. Texas at Arlington, USA Jerry Zhao, ICSI-Berkeley, USA Rong Zheng, Univ. of Houston, USA FOR ADDITIONAL INFORMATON ------------------------- For questions regarding obtaining visas, accomodation, etc, please contact Edgar Chavez (mailto:elchavez@fismat.umich.mx). Questions regarding paper submissions should be addressed to Violet R. Syrotiuk (mailto:syrotiuk@asu.edu) and Edgar Chavez (mailto:elchavez@fismat.umich.mx). Other comments or questions about the conference should be addressed to S. S. Ravi (ravi(a)cs.albany.edu)

19 Jahre, 3 Monate

TC6 calendar 1/2005

von Otto Spaniol

Dear all, please find attached the updated TC6 calendar 1/2005. Please check and tell me omissions etc. (There was a problem with my laptop and I may have missed some information). Moreover, the minutes are - unfortunately - still not available. Best regards Otto

19 Jahre, 3 Monate

PDMC'05 - 1st CfP

von Martin Leucker

[[ -- 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 (INRIA, France) * Willem Visser (NASA Ames Research Center, USA) Martin Leucker & Jaco van de Pol workshop organizers

19 Jahre, 3 Monate

LANOMS 2005 - Call for Papers (fwd)

von Carlos Becker Westphall

---------- Forwarded message ---------- Date: Sun, 23 Jan 2005 15:39:34 -0400 (WST) From: Carlos Becker Westphall <westphal(a)lrg.ufsc.br> To: mboned(a)network-services.uoregon.edu Subject: LANOMS 2005 - Call for Papers ---------------------------------------------------------------------------- LANOMS 2005 - 4th Latin American Network Operations and Management Symposium Sheraton Hotel - Porto Alegre, Brazil - August 29-31, 2005 http://www.lanoms.org/2005/ ---------------------------------------------------------------------------- The 4th Latin American Network Operations and Management Symposium - LANOMS 2005, to be held in Porto Alegre - Brazil, is the result of the great success of the previous LANOMS 1999 (held in Rio de Janeiro), LANOMS 2001 (held in Belo Horizonte), and LANOMS 2003 (held in Iguassu Falls), as well as the other successful events in the area of network management: NOMS and APNOMS. The LANOMS 2005 is promoted by the Federal University of Rio Grande do Sul (UFRGS) and by the University of Vale do Rio dos Sinos (UNISINOS). The main goal of LANOMS 2005 is to create a forum more specific to the necessities of Latin American in the area of network management involving networking and telecommunications companies, academic institutions and equipment vendors. LANOMS is an event open to participants from all over the world who are interested in having, or already have, research or commercial liaisons in Latin America - one of the fastest growing regions in the world in networking. Topics ---------------------------------------------------------------------------- The LANOMS 2005 invites authors to submit original and unpublished work to both technical and application tracks. Topics of interest include but are not limited to: - Management architectures and platforms - Distributed and cooperative management - Self management - Policy and role-based management - Security management - Configuration management - Adaptive and programmable management - Context and subscriber-aware networks, mobile computing - Management information models, ontologies - Web Services - Smart homes, Personal Area Networks - Multisensor and RFID-enabled networks - Ad hoc and self organizing networks - WLANs, metro Ethernet, optical networks - Overlay networks, virtual topologies - QoS management - IPv4/v6 networks and services - VoIP and video distribution management - Storage Area Networks, content hosting - Utility computing, virtualized resources - Grid, cluster, and peer-to-peer management - Converged networks and services Important dates: ---------------------------------------------------------------------------- - Deadline for receipt of papers: April 18, 2005 - Notification of acceptance: May 30, 2005 - Final camera ready paper due: June 06, 2005 Paper format and submission instructions ---------------------------------------------------------------------------- Scientific papers should not exceed the limit of 12 pages. Sample files and templates can be downloaded from the LANOMS 2005 Web site. Application papers should have a visual in the upper half of a page and the explanatory text in the lower half, following the current IM/NOMS format, and should not exceed 12 visuals. A PowerPoint template and a sample PDF file can be downloaded from the LANOMS Web site as well. All selected papers will be published in the LANOMS proceedings. Authors of scientific papers should submit a PDF file at https://submissoes.sbc.org.br/lanoms2005. Authors of application papers should submit at https://submissoes.sbc.org.br/lanoms2005_app. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Organizing Committee ---------------------------------------------------------------------------- GENERAL CO-CHAIRS: - Lisandro Zambenedetti Granville Federal University of Rio Grande do Sul, Brazil - Luciano Paschoal Gaspary University of Vale do Rio dos Sinos, Brazil TECHNICAL PROGRAM CO-CHAIRS: - Bruno Schulze National Laboratory on Scientific Computing, Brazil - José Neuman de Souza Federal University of Ceará, Brazil APPLICATION PROGRAM CO-CHAIRS: - Iara Machado National Research Network, Brazil - Michael Stanton Fluminense Federal University, Brazil PUBLICITY CHAIR: - Carlos Becker Westphall Federal University of Santa Catarina, Brazil Steering Committee ---------------------------------------------------------------------------- - Elias Procópio Duarte Jr. Federal University of Paraná, Brazil - Edmundo Roberto Mauro Madeira State University of Caminas, Brazil - José Marcos Silva Nogueira Federal University of Minas Gerais, Brazil - Antônio Alfredo Ferreira Loureiro Federal University of Minas Gerais, Brazil Technical Program Committee ---------------------------------------------------------------------------- - Abdelmalek Benzekri Université Paul Sabatier, France - Ahmed Karmouch University of Ottawa, Canada - Antonio Alfredo Ferreira Loureiro Federal University of Minas Gerais, Brazil - Benjamín Barán Universidad Nacional de Asunción, Paraguay - Bruno R. Schulze LNCC, Brazil - Carlos Becker Westphall Federal University of Santa Catarina, Brazil - Carlos de Castro Goulart Federal University of Viçosa, Brazil - Elias Procópio Duarte Jr. Federal University of Paraná, Brazil - Edmundo Monteiro University of Coimbra, Portugal - Edmundo Roberto Mauro Madeira State University of Campinas, Brazil - Edward L. Pinnes Telcordia, USA - Florencio Utreras Cooperacion Latinoamericana de Redes Avanzadas, Chile - Germán Goldszmidt IBM, USA - Hanan Lutfiyya University of Western Ontario, Canada - Iara Machado RNP, Brazil - James Won-Ki Hong POSTECH, Korea - Javier Diaz University La Plata, Argentina - Jauvane de Oliveira LNCC, Brazil - José Marcos Silva Nogueira Federal University of Minas Gerais, Brazil - José Neuman de Souza Federal University of Ceará, Brazil - Liane Margarida Rockenbach Tarouco Federal University of Rio Grande do Sul, Brazil - Lisandro Zambenedetti Granville Federal University of Rio Grande do Sul, Brazil - Luciano Paschoal Gaspary University of Vale do Rio dos Sinos, Brazil - Lundy Lewis Verizon, USA - Manu Malek Stevens Institute of Technology, USA - Masayoshi Ejiri Fujitsu, Japan - Mehmet Ulema Manhattan College, USA - Nazim Agoulmine Univ. of Evry, France - Thomas Magedanz IKV++ Technologies AG, TU Berlin, Germany - Linnyer Beatrys Ruiz Federal University of Minas Gerais, Brazil - Paulo Simões University Coimbra, Portugal - Raouf Boutaba University of Waterloo, Canada - Rossana Andrade Federal University of Ceará, Brazil - Tereza Carvalho University of São Paulo, Brazil - Yezid Donoso Universidad del Norte Barranquilla, Colômbia

19 Jahre, 3 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 Januar 2005