ifip-tc6 September 2005

ifip-tc6@lists.rwth-aachen.de

32 Teilnehmer
41 Diskussionen

von Otto Spaniol

Dear all, the IFIP treasurer (Dipak Khakhar, email see below) has presented the TC budgets (see annex) and in particular the DCSC (developing country support committee) funds for 2005. *** If a TC6 conference wants to get a support from DCSC then the organisor should send a request as soon as possible to Dipak (deadline August 16) with a copy to me. *** DCSC could be interesting for (at least) the following conferences in 2005: Working Conference on Networking for Metropolitan Area Networks; Working Conference on Electronic Government WG 6.2 + 6.11; March 28 - 31, 2005; Ho-Chi-Minh City (Vietnam); Open Conference; 7th Conference on Mobile and Wireless Communications Networks (MWCN'05) WG6.2 + WG6.8 + IEEE Fall, 2005; Marrakesh (Morocco); Email contact: Hamid Aghvami Best regards Otto ---------------- Anfang Weiterleitung ---------------- Betreff: TC-budgets and DCSC fund Gesendet: Dienstag, 3. August 2004 10:23 Uhr Von: Dipak Khakhar <dipak.khakhar(a)ics.lu.se> >Dear colleagues, > >Please find the TCs budget in the attachment. Please note that I have budgeted 20000 EUR for DCSC grants for year 2005 in IFIP budget. I am looking forward to grant requests from you, if possible before 16 August so that I can put approved grant in DCSC report. Please note that the same condition as previous years applies to the grant. That is to developing country which are full members of IFIP. >kind regards, Dipak ----------------- Ende Weiterleitung -----------------

5 Jahre, 9 Monate

FW: Forthcoming IFIP TC 6 Meeting

von Augusto Casaca

-----Original Message----- From: Gabriella Batai (ETH) [mailto:Gabriella.Batai@eth.ericsson.se] Sent: quarta-feira, 14 de Maio de 2003 13:50 To: 'andre.danthine(a)ulg.ac.be'; 'boyanov(a)acad.bg'; 'elgmason(a)ntu.edu.sg'; 'slavik(a)mailserv.testcom.cz'; 'spaniol(a)informatik.rwth-aachen.de'; 'saito(a)jp.toyota-itc.com'; 'i.niemegeers(a)its.tudelft.nl'; 'aagesen(a)item.ntnu.no'; 'naamany(a)squ.edu.om'; 'grzech(a)ists.pwr.wroc.pl'; 'augusto.casaca(a)inesc.pt'; 'putxi(a)uib.es'; 'dipak.khakhar(a)ics.lu.se'; 'hrudin(a)smile.ch'; 'radfordp(a)logica.com'; 'lyman(a)acm.org'; 'aruni(a)watson.ibm.com'; 'guy.leduc(a)ulg.ac.be'; 'rboutaba(a)bbcr.uwaterloo.ca'; 'dominique.Gaiti(a)utt.fr'; 'Harmen.R.van-As(a)tuwien.ac.at' Cc: Sarolta Dibuz (ETH); Gabriella Batai (ETH) Subject: Forthcoming IFIP TC 6 Meeting Dear Our Guests, The venue of the next TC6 meeting will be Ericsson's premises in Budapest, Hungary. Address: Budapest, Irínyi József u. 4-20. , XI. district The meeting room is on the ground floor (for English people first floor) close to the reception. As you have probably known on Sunday evening there will be a boat trip on the River Danube. Please indicate whether you have an accompaning person with you who will also take part in this evening program. I kindly ask you to let me know if you have special food request (vegetarian or other). If you have not reserved your hotel room yet, please do it. Most of you will stay at Hotel Korona. (If you choose Hotel Korona please indicate that you come to Ericsson, to the IFIP TC6 meeting, because the 88 EUs price is a special Ericsson rate). You can find the requested information about the hotels below. If you need help with the hotel booking or any other matters please do not hesitate to contact me. We are looking forward to meeting you in Budapest! Best regards Gabriella ---------------------- Gabriella Bátai Assistant Research Laboratory Ericsson Hungary Ltd. H-1117 Budapest Irinyi J. u. 4-20. Tel: +36 1 437 7701 Fax:+36 1 437 7672 E-mail: Gabriella.Batai(a)eth.ericsson.se HOTEL MERCURE KORONA Highly recommended. To reach Ericsson Hungary at Science Park: - 15 minutes by public transport one stop by metro line 3 to Ferenc körút, than change tram 4 or 6 towards Buda side - three stops. - 10 minutes by car / taxi Location of Hotel In the heart of the City of Budapest, opposite the National Museum. Strolling in the City you can reach the bank of the Danube within 5 minutes. Room rate: 88 EUR/ night Access >From the airport: The main road to the City leads straight to the hotel. Distance approx. 18 km. >From railway stations: >From Déli (Southern) and Keleti (Eastern) railway stations by metro line 2 (red), change at Deák tér for line 3 (blue line) to Kálvin tér. By car: >From Vienna or Lake Balaton along motorways M1 and M7, respectively, crossing the Danube via Elisabeth Bridge. By public transport: Tramways 47, 49, bus 15 and metro line 3, Kálvin tér station. Address of Hotel: H-1053 Budapest, Kecskeméti u. 14. Telephone: (36-1) 317-4111 Fax: (36-1) 318-3867 More information on the Hotel Mercure Corona webpage: http://www.mercure-korona.hu/koronaangol/ HOTEL MERCURE DUNA Highly recommended. To reach Ericsson Hungary at Science Park: - 5 minutes by public transport : one stop by tram 4 or 6 towards Buda side - 3 minutes by car / taxi - 10 minutes of walk over a long bridge (Petofi bridge) Location of Hotel Situated very near to the city centre, the Mercure Budapest Duna's traditional "Mercure comfort" and truly friendly atmosphere provides a much more comfortable stay. Room rate: 75 EUR / night >From the Airport: On the way to the city centre on Üll?i út turn left to the Haller utca. The distance from the Airport is approximately 16 Km. >From the railway stations: The metro line 2 from the Déli (Southern) railway station to the Kossuth tér, than change to tram No 2 towards the south and alight at Boráros tér. The same metro can also be used from the Keleti (Eastern) railway station to Blaha Lujza tér, than change to tram No 4 or 6. From the Nyugati (Western) railway station the tram No 4 or 6 leads straight to the Boráros tér. By car: The highways M1 and M7 from Vienna and Lake Balaton lead you to the Pet?fi híd from where you can see the hotel to the right. From the M0 across the Lágymányosi híd, than turn left. From Szeged on M5 highway drive to the Könyves Kálmán körút, than turn to the Soroksári út. By public transport: The trams No. 2, 4, 6 and buses No. 23, 54, 15 and 12 stop at a walking distances from the hotel. The metro line 3 (Ferenc körút station) is 5 minutes walk from the hotel Address of the hotel: H-1095 Budapest, Soroksári út 12. Telephone: (36-1) 455-8300 Fax: (36-1) 455-8385 e-mail: h2025(a)accor-hotels.com More information on the Hotel Mercure webpage: http://www.mercure-duna.hu Other possibilities: http://inside.ericsson.se/hotelguide Budape

5 Jahre, 9 Monate

Hotel registration

von Augusto Casaca

Dear TC6 members, The deadline for hotel registration in Libon ended yesterday. I managed to get an extension of that deadline until September 13th. Please remember that the hotel cannot guarantee rooms after that date. I would thank also that those of you who come to the Lisbon meeting, but are not staying in the Melia Hotel, please let me know. Best regards Augusto

5 Jahre, 9 Monate

[Fwd: The "Villa" will open]

von Augusto Casaca

5 Jahre, 9 Monate

CFP: 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006)

von Joseph L Hellerstein

We apologize if you receive multiple copies of this CFP. 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006) http://www.noms2006.org Call for Papers ?Management of Integrated End-to-end Communications and Services" The 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006) will be held 3-7 April 2006 in the Vancouver Convention and Exhibition Center, Vancouver, Canada. Held in even-numbered years since 1988, NOMS 2006 will follow the 18 year tradition of NOMS and IM as the primary forum for technical exchange of the research, standards, development, systems integration, service provider, and user communities. NOMS 2006 will present up-to-date approaches and technical solutions for integrated systems and services including communication networks, host systems, enterprise applications, service oriented architectures, and delivery of management services. The conference provides a peer-reviewed program of technical sessions, application sessions, tutorials, posters, and panels as well as vendor exhibits. Integrated systems and services require considerations for today?s multi-service and multi-domain environment of heterogeneous technologies, service offerings, management strategies, and business models. NOMS 2006 focuses on integrated management that encompasses provisioning, operation, and maintenance. This broad scope also calls for an integrated approach to dependability, resilience, quality-of-service, mobility management, and services billing. In particular, these considerations include the combination of wireless and wired networks and the integration of all-IP communication systems. NOMS 2006 will offer five types of sessions: technical, application, poster, panel, and BoF. Technical sessions present high-quality papers on the latest research results in the network operations and management area. Application sessions present papers focusing on the experience of IT and telecommunications industries, such as service providers, OSS vendors, and equipment manufacturers. The scope here includes customer requirements, management system implementations, and business practices. Poster sessions provide an insight into work-in-progress. Panel sessions focus on business implications, market trends, and emerging applications with panelists who are technology and business leaders. Authors are invited to submit complete unpublished papers that are not under review in any other conference or journal in the following, or related topic areas: Management Paradigms, Models and Architectures * Self-managing networks (self-healing, self-optimizing, self-protecting and self-configuring) * Integrated control and management * Distributed and scalable management * Policy and role based management * Programmable, active, and adaptive mgmt * Resilience and survivability * "Plug-n-Play" component-based management * Customer controlled and managed networks * Proactive and reactive management Operation and Management Functions * Security management * Mobility management * End-to-end measurements * Network and systems monitoring * Alarm correlation and filtering * Customer care and workforce management * Process engineering for operators' service and network management * Performance and fault management * Configuration and accounting management * Integration and testing of commercial off-the-shelf products * Content hosting and delivery * Path Protection and Restoration * Internet service pricing, Bandwidth trading , Service Engineering and Operational Challenges * Next generation operation support systems * Service design and quality assurance * Resource inventory, planning, and allocation * Service discovery and service negotiation * SLAs and business process management * Quality-of-Service management * Service portability/mobility (VHE) * Transaction-oriented services and supply chain management * "Soft" networks (Soft-switch, Parlay, 3GPP OSA, JAIN) and service switching * Dynamic service requirements analysis * Charging and accounting of integrated systems and services Theories, Models, and Enabling Management Technologies * Theory (control, optimization, economic, games, chaos, graph) for management * Grid, middleware and peer-to-peer technologies * Information models and Internet technologies (Web, XML, DEN, CIM) * AI techniques (knowledge-based, intelligent agents, machine learning, neural networks,) * Data warehousing, ontology, mining and statistical methods in management * User interfaces and virtual reality in management * Management of Emerging Networks and Services * Converged networks and services * Peer-to-peer and community networks * Grids, grid services, and grid applications * Ad hoc and self-configurable networks * Multi-sensor and self-organizing networks * Overlay networks, virtual topologies and VPN services * Wireless broadband networks (2G, 2.5G, 3G, and beyond) * High speed access, Wireless Local (WLANs) and Personal Area Networks (PANs) * Optical networks (metropolitan, all optical, WDM, DWDM, optical IP) * Video and broadband cable networks * VoIP, VoD, FTTX networks, services, and protocols (IPv4, IPv6, H.323, SIP, RTP, RTCP, RTSP, MGCP, and QoS) * Storage Area Networks (SAN) and ASPs server farms * Web services and content delivery networks * Smart homes and networked haptics * Satellite and interplanetary networks * e-World (e-health, e-commerce, e-business, and e-government) Important Dates: * Deadline for Technical Session Papers: 1 August 2005 * Deadline for Application Session Papers: 15 September 2005 * Deadline for Tutorials, Panels and Posters: 15 September 2005 * Notification of Acceptance: 12 November 2005 * Final Camera Ready Papers Due: 1 February 2006 For more information on NOMS 2006, please contact one of the two Program Co-chairs: Joseph L. Hellerstein <hellers(a)us.ibm.com>, IBM, U.S.A. Burkhard Stiller <stiller(a)tik.ee.ethz.ch>, University of Zürich and ETH Zürich, Switzerland Poster Sessions --------------- In addition to regular papers presented in technical sessions, NOMS 2006 also offers poster sessions for more informal interactions and presenting work in progress. Short papers (4 pages long) can be submitted for consideration as poster presentations. Posters will be selected from these short papers and regular papers. You can submit your work selecting "Poster session" in the NOMS 2006 submission system (JEMS) at https://submissoes.sbc.org.br/noms2006. Further questions related to posters must be addressed to the poster co-chairs: Lisandro Zambenedetti Granville <granville(a)inf.ufrgs.br>, Federal University of Rio Grande do Sul Nikos Anerousis <nikos(a)us.ibm.com>, IBM, USA Kyung-Hyu Lee <khyulee(a)etri.re.kr>, ETRI, Korea Application Sessions -------------------- The NOMS2006 Application Session submissions aim to encourage discussions concerning experience, lessons-learned, business cases, implementation examples, new applications, innovative enterprises, and organizational impacts, in any of the detailed topics found at http://www.noms2006.org. Papers for the Application Sessions should be written in English. The paper format should have a visual in the upper half of a page and the explanatory text in the lower half (annotated visuals). Paper submissions should consist of no more than 15 annotated visuals in PDF only. Detailed author instructions are available on the author information page on the conference web site. Further questions related to posters must be addressed to the application sessions co-chairs: Joseph Betser <Joseph.Betser(a)aero.org>, Aerospace, USA Prosper Chemouil <prosper.chemouil(a)francetelecom.com>, France Telecom, France Yoshiaki Kiriha <y-kiriha(a)ay.jp.nec.com>, NEC, Japan NOMS 2006 Workshops ------------------- Workshops on specialized topics will be held on the days before and after the NOMS technical program. Contributions to these workshops will be solicited and reviewed separately from those for NOMS. A proposal to organize a half-day or full-day workshop should contain the following information * A draft of the CFP (includes Title, description, topics and dates) * Why is the topic area important? * Likely contributors and target audience * Organizing committee * Plan for workshop advertising and publicity * Biography of the main organizer (100-200 words) For a point of reference, see the workshops held in conjunction with IM 2005 at http://www.ieee-im.org/workshops.html. Workshop proposals should be sent to one of the tutorial co-chairs: Ehab Al-Shaer <ehab(a)cs.depaul.edu>, De Paul University, USA Rolf Stadler <stadler(a)imit.kth.se>, KTH, Sweden

18 Jahre, 4 Monate

CFP: IEEE Workshop on Dependability and Security in Sensor Networks and Systems

von Moustafa Youssef

(Our apologies if you receive multiple copies of this CFP) ------------------------------------------------------------- Call for Papers Second IEEE Workshop on Dependability and Security in Sensor Networks and Systems (DSSNS'2006) http://www.dssns.org In conjunction with 2nd NASA/IEEE Systems and Software Week 30th NASA/IEEE Software Engineering Workshop (SEW'2006) Columbia, Maryland, USA ~ April 24-28, 2006 Recently, there has been a growing interest in the potential use of networked sensors in applications such as smart environments, disaster management, combat field reconnaissance, and security surveillance. While the initial view of the community was that networked sensors will play a complementary role that enhances the quality of these applications, recent research results have encouraged practitioners to envision an increased reliance on sensor networks and systems (SN&S) in such critical and sensitive applications. Therefore to realize their potential, necessary dependability and security (D&S) measures have to be incorporated in the design and during the operation of SN&S. Dependability is usually specified using attributes like reliability, survivability, safety, maintainability, and availability in presence of failure, while security is specified by attributes like integrity, authenticity, confidentiality, and availability in presence of attacks. D&S services accomplish tasks for attack and failure prevention, detection and response. The scope of D&S services may span the deployed sensors to command nodes and likely beyond. It also involves D&S support at, and cross-cutting, the protocol stack layers from physical to application. Achieving dependability and security in SN&S will require non-conventional mechanisms due to many factors including: (1) sensors are significantly constrained in the amount of available resources such as energy, storage and computation; (2) sensors are expected to be deployed in very large numbers in normal as well as harsh/hostile environments; (3) sensor networks suffer from structural weakness and limited physical protection, and (4) localization of impact is complicated due to the un-tethered nature of SN&S and of the potential attackers. In addition, D&S requirements may vary according to mission defined over a multi-dimensional context, such as field of deployment (e.g., hostile versus friendly), type of application (e.g., monitoring, tracking, data collection), mode of operation (e.g., normal, exception, post-event recovery), and time. This workshop will foster a forum for discussing and presenting recent research results on dependability and security in SN&S. Topics of interest include, although not limited to, the following: - Fault and intrusion-tolerant architectures, middleware and operational models - Robust routing, storage, and processing of sensed data - D&S architectures, protocols and tools - Vulnerabilities, attacks and countermeasures - Monitoring and evaluation techniques - Robust clustering techniques - Self-awareness and context-awareness - Resilient virtual infrastructures - Autonomic and adaptive D&S support. - Formal representation and verification of D&S properties - Network inference support for D&S - Quality of service provisioning - Models, metrics, and measurements for D&S - Privacy-aware D&S services - Testbeds, simulation and visualization - Agent-based D&S management - SN&S support for D&S in larger information grids - SN&S application development environments Submission Guidelines --------------------- For guidelines regarding paper submission, please refer to the workshops website (http://www.dssns.org). Papers should contain original material and not be previously published, or currently submitted for consideration elsewhere. The manuscript should not exceed 20 single-column double-space pages in PDF format, font size 11 or larger. The first page should include title, authors' contact information, abstract and five keywords. Important Dates ---------------- Submission deadline: November 7, 2005 Decision notification: December 20, 2005 Final manuscript due: January 20, 2006 The accepted papers will appear in a proceedings published by IEEE. The best paper will be recognized and selected papers will be invited to a Special Issue of the Journal of Ad Hoc and Sensor Wireless Networks. Workshop Co-Chairs ------------------- Mohamed Eltoweissy Virginia Tech, USA E-mail: toweissy(a)vt.edu Mohamed Younis University of Maryland Baltimore County, USA E-mail: younis(a)csee.umbc.edu Publicity Co-Chairs -------------------- Denis Gracanin Virginia Tech, USA E-mail: gracanin(a)vt.edu Moustafa Youssef University of Maryland at College Park, USA E-mail: moustafa(a)cs.umd.edu Program Committee ------------------ Farooq Anjum, Telcordia & U. of Penn, USA David Carman, Johns Hopkins U. Applied Physics Lab, USA Ing-Ray Chen, Virginia Tech, USA M. Nazih Elderini, Alexandria U., Egypt Deborah Frincke, Pacific Northwest National Lab and U. of Idaho, USA Ahmed Helmy, University of Southern California, USA Sushil Jajodia, George Mason U., USA Shivakant Mishra, U. of Colorado, USA Peng Ning, North Carolina State U., USA Cristina Nita-Rotaru, Purdue U., USA Stephan Olariu, Old Dominion U., USA David Simplot-Ryl, U. Lille, INRIA Futurs, France Mani B. Srivastava, U. of California Los Angeles, USA John A. Stankovic, U. of Virginia, USA Ivan Stojmenovic, U. of Ottawa, Canada Gene Tsudik, U. of California-Irvine, USA Cliff Wang, Army Research Office, USA Stephen D. Wolthusen, Fraunhofer-IGD, Germany Albert Zomaya, U. of Sydney, Australia

18 Jahre, 6 Monate

NSF Networks of Sensor Systems Informational Meeting

von Matt Welsh

National Science Foundation Networking of Sensor Systems (NOSS) Informational Meeting October 18, 2005 Harvard University The goal of the Networking Technology and Systems (NeTS) program at the National Science Foundation is to sustain the science and technology needed to fulfill our vision for next-generation networks and to address the limitations of existing networks. One focus area within NeTS is the Networking of Sensor Systems (NOSS). The NOSS Informational Meeting will be held on October 18, 2005, at Harvard University's Division of Engineering and Applied Sciences. The purpose of this informational meeting is to share the goals and scope of the NOSS focus area with those who hope to be funded by the NOSS program. By including presentations from researchers, vendors, and applications experts, this meeting will enable attendees to get a sense of the state of the art in sensor networks, and the key challenges facing the focus area and sub-areas thereof. The meeting will also provide a venue for NSF to discuss logistics for the focus area and for the overall networking program, and to answer questions from the community. The informational meeting is open to all interested members of the scientific community. Please note that space is limited to 150 attendees, so please register as soon as possible. Registration deadline: October 10, 2005 For more information and registration, please see: http://www.eecs.harvard.edu/noss If you have any questions, please contact the meeting organizers at noss(a)eecs.harvard.edu. Hope to see you in October! Matt Welsh Assistant Professor of Computer Science Harvard University (617) 495-3311

18 Jahre, 7 Monate

[Researchers] I2TS'2005 - 4th International Information and Telecommunication Technologies Symposium

von Profa Mirela Sechi Moretti Annoni Notare

Our apologies if you have received multiple copies. --------------------------------------------------- I2TS'2005 - 4th International Information and Telecommunication Technologies Symposium UFSC - Federal University of Santa Catarina Florianópolis, Santa Catarina Island, Brazil, December 14-16, 2005 The International Information and Telecommunication Technologies Symposium (I2TS'2005) will take place at Federal University of Santa Catarina, in the beautiful city of Florianópolis, Santa Catarina Island, Brazil. I2TS'2005 serves as an international forum for people from academia, industry and research labs, for presenting recent results in information and telecommunication technologies research and applications. I2TS'2005 includes Technical Sessions, Tool Sessions, Poster Sessions, Tutorials and Workshops. SUBMISSION GUIDELINES Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is welcome. Relevant topics include (but are not limited to) the following: TELECOMMUNICATION AND WIRELESS NETWORKS - Wireless Sensor Networks - Mobile Ad Hoc Networks - MANETs - Wireless Multimedia - Telecommunication Technology - Optical Networks and Switching - Wireless WANs, LANs and PANs (Personal Area Networks) - Quality of Service - Mobile wireless network Planning, Management, Control and Monitoring - Security and Privacy - Applications and Case Studies COMPUTER NETWORKS, REAL TIME AND DISTRIBUTED SYSTEMS - Real-Time and Multimedia Systems - Parallel and Distributed Systems - Distributed and Mobile Computing - Distributed Algorithms and Architectures - Distributed Operating Systems - Distributed Data Management - Computer Networks - P2P and Overlay networks - Quality of Service - Network Planning, Management, Control and Monitoring - Security and Privacy - Formal Methods - Applications and Case Studies DISTRIBUTED SIMULATIONS, UBIQUITOUS COMPUTING AND INFORMATION TECHNOLOGY - Large Scale Distributed Interactive Simulation - Ubiquitous Computing (architectures, systems, human-computer interaction) - Context aware computing - Web-Based Systems (architectures, programming models, tools etc) - Semantic web and ontologies - Embedded Systems - Applications and Case Studies - Collaborative Virtual Environments (Synchronization, Extensibility, Persistency, Interoperability, Scalability, Adaptability, Security, etc.) Authors of regular papers should submit the papers to JEMS (earlier brazilian EDAS) at https://submissoes.sbc.org.br/i2ts2005. The papers should be submitted in electronic form (PDF only). Papers should be written in English (or in Portuguese) and should not exceed 8 pages (see Instruction for Authors in the web page). The English papers will be published in hard copy; and the full proceedings (with papers in Portuguese) will be published in CD-ROM - both with the same ISBN number. TOOL SESSIONS and POSTER SESSIONS Authors are encouraged to submit papers describing tools suitable for on-line demonstration. Standard microcomputers will be available for tool sessions. The tool and poster papers (extended abstracts) will undergo a regular review process and will be published in the conference proceedings in a dedicated tool and poster sessions, respectively. Tool and Poster papers should be sent to mirela(a)barddal.br. MINI-COURSES Proposals for half-day or full-day MiniCourses are solicited on timely topics related to the above areas. The proposal must include description and biographies. The proposals should be sent to mirela(a)barddal.br. IMPORTANT DATES Full Paper Submission Deadline (English and Portuguese): October 7th, 2005 Poster Submission Deadline: October 7th, 2005 Tool Paper Submission Deadline: October 7th, 2005 MiniCourses Submission Deadline: October 7th, 2005 Papers Notification: November 8th, 2005 Camera Ready: November 18th, 2005 GENERAL CHAIRS João Bosco Mangueira Sobral, UFSC, Brazil Mirela Sechi Moretti Annoni Notare, Barddal University, Brazil TECHNICAL PROGRAM COMMITTEE CO-CHAIRS Antonio Alfredo F. Loureiro, UFMG, Brazil Edson dos Santos Moreira, ICMC/USP, Brazil Regina Borges de Araujo, UFSCar, Brazil PROGRAM COMMITTEE Abbas, Claudia Barenco - UnB - Brazil Almulla, Mohammed - Kuwait University - Kuwait Araujo, Regina Borges - UFSCar - Brazil Benyoucef, Morad - University of Ottawa - Canada Bononi, Luciano - University of Bologna - Italy Boukerche, Azzedine - University of Ottawa - Canada Calamoneri, Tiziana - University of Rome La Sapienza- Italy Camargo, João Batista - USP - Brazil Castro, Julio Cesar Hernández - Universidad Carlos III - Spain Correa, Pedro Luiz Pizzigatti - USP - Brazil Cruz, Fernando Augusto - UFSC - Brazil Dantas, Mario - UFSC - Brazil Dovich, João Cândido - UFSC - Braszil Fernandes, Lincoln - Barddal - Brazil Furtado, Olinto José Varela - UFSC Falqueto, Jovelino - UFSC - Brazil Fortes, Renata Pontin M. - ICMC/USP - Brazil Gondim, Paulo Roberto de Lira - UnB - Brazil Greve, Fabíola Gonçalves Pereira - UFBA - Brazil Guardia, Hélio Crestana - UFSCar - Brazil Jardini, José Antonio - USP - Brazil Karatza, Helen - University of Thessaloniki - Greece Kurt, Akif - Istanbul University - Turkey Loureiro, Antonio Alfredo F. - DCC/UFMG - Brazil Martinez, Jeimy José Cano - Uniandes - Colômbia Mateus, Geraldo Robson - DCC/UFMG - Brazil Melo, Alba Cristina Magalhães Alves - UnB Brazil Min, Geyong - University of Bradford - UK Moiseichyk, Ana Elizabeth - Barddal - Brazil Moreira, Edson dos Santos - ICMC/USP - Brazil Narasimhan, Lakshmi - University of Newcastle - Australia Nikoleletseas, Sotiris E. - Computer Technology Institute - Greece Notare, Mirela Sechi Moretti Annoni - Barddal University - Brazil Ould-Khaoua, Mohamed M. - University of Glasgow - UK Paris, Jehan-François - University of Houston - USA Pizzolato, Ednaldo Briganti - UFSCar - Brazil Puttini, Ricardo Staciarini - UnB - Brazil Siqueira, Frank Augusto - UFSC - Brazil Sobral, João Bosco Mangueira - UFSC - Brazil Souza Jr., Rafael Timóteo - UnB - Brazil Todesco, José Leomar - UFSC - Brazil Trevelin, Luis Carlos - USCar - Brazil Villalba, Luis Javier García - Universidad Complutense de Madrid - Spain Wangham, Michelle - Barddal - Brazil Zomaya, Albert - University of Sydney - Australia STEERING COMMITTEE CO-CHAIRS Azzedine Boukerche, University of Ottawa Mirela Sechi Moretti Annoni Notare, Barddal University ADVISORY BOARD COMMITTEE Azzedine Boukerche, University of Ottawa Antonio Alfredo F. Loureiro, UFMG Bernardo Gonçalves Riso, UFSC João Bosco Mangueira Sobral, UFSC Manoel Camillo de Oliveira Penna Neto, PUC-PR TOOLS CO-CHAIRS Kathia Jucá - NPD/UFSC Mauricio Fiorese, Barddal Renato Bobson Machado, UNIOESTE/PR MINI-COURSES AND TUTORIALS CO-CHAIRS John Cleber Jaraceski - PGCC/UFSC Marcos Henrique dos Santos - CASIN/UFSC POSTER CO-CHAIRS Jerusa Marchi, Barddal Valter Monteiro Oliveira Junior, Barddal FINANCE CO-CHAIRS Joao Bosco Mangueira Sobral - UFSC Jovelino Falqueto - UFSC PUBLICATION CO-CHAIRS Rogério dos Santos Silva - Barddal Sinara de Oliveira Branco - Barddal REGISTRATION COMMITTEE Clythia Higa Tamashiro - PPGCC/UFSC Eder Contri - PPGCC/UFSC Igor Vinicius Mussoi de Lima - CESUFOZ/UNIAMERICA/PR Nicolás Curti Chiribao, CASIN/UFSC Saulo Popov Zambiasi, Barddal PUBLICITY COMMITTEE Carla Adriana Barvinski Zanchett, UNIPAR/PR Flavio Arnaldo Braga Da Silva, UEM/PR Francisco Tadeu Negreiros, Barddal José Washington de Medeiros, Itaipu/Foz do Iguaçu Vera Lúcia Lorenset Benedetti - SETREM/RGS ADDITIONAL SUPPORT Departamento de Computação - UFSCar Departamento de Informática e Estatística - INE/UFSC Fundação Barddal de Educação e Cultura - BARDDAL Fundação de Ensino e Engenharia em Santa Catarina - FEESC Centro Tecnológico da UFSC - CTC/UFSC Programa de Pós-Graduação em Ciência da Computação - PPGCC/UFSC Centro Acadêmico do Curso de Sistemas de Informação (CASIN/UFSC) FURTHER INFORMATION For additional information, please send an e-mail to Prof.Mirela Secchi Annoni Notare (mirela(a)barddal.br) or Prof. Regina Borges Araujo (regina(a)dc.ufscar.br) Updated conference announcement and information are accessible at the symposium home page at www.dc.ufscar.br/i2ts2005 _______________________________________________ Researchers mailing list Researchers(a)mailman.ufsc.br http://mailman.ufsc.br/mailman/listinfo/researchers

18 Jahre, 7 Monate

Fwd: Classic Computer Science texts

von Guy Leduc

Dear all, Perhaps would you have candidate classic (and out of print) Computer Science (e.g. networking) books to suggest to Dave Patterson? Best regards, Guy >Date: Fri, 23 Sep 2005 12:29:06 -0400 >Reply-To: classicbooks <classicbooks(a)HQ.ACM.ORG> >Sender: Classic Books List <classics(a)ACM.ORG> >From: classicbooks <classicbooks(a)HQ.ACM.ORG> >Subject: [CLASSICBOOKS] Classic Computer Science >texts - request from Dave Patterson for >suggestions >Comments: To: "classics(a)acm.org" <classics(a)acm.org> >To: classics(a)ACM.ORG > >Dear ACM Member, > >ACM is launching a new initiative to revive classic, out-of-print >computer science books, with the intent to make the full text available >online to members via the PDC/DL. I'm asking you to identify the >books you believe are "classics." The suggestions I've received so far >can be viewed at http://www.acm.org/csclassics/. > >You may also nominate classic computer manuals (for example, >IBM 360 Principles of Operation, and DEC PDP-11 Handbook). > >The book must be out of print to qualify. (A book is still considered >"in print" if its fourth edition is selling despite the first edition being >no longer available). > >Please submit your comments and candidates for CS classics by >Friday, October 7, including why you think your nomination(s) qualify >as classic(s), by filling out the form at www.acm.org/csclassicspoll . >After this date we will conduct a vote, resulting in the Top 20 classic >books. You will receive another email with instructions directing you >to the Web site with the online poll. > >Thanks in advance for your help. We believe this will be a great >service to our members! > >Dave Patterson, ACM President -- ________________________________________________________________________ Prof. Guy Leduc Phone : +32 4 366 26 98 Université de Liège Secr : +32 4 366 26 91 Réseaux Informatiques Fax : +32 4 366 29 89 Research Unit in Networking (RUN) Email: Guy.Leduc(a)ulg.ac.be EECS Department, Institut Montefiore, B 28, B-4000 LIEGE 1, BELGIUM http://www.run.montefiore.ulg.ac.be/People/GuyLeduc/ CoNEXT 2005 - The E-NEXT NoE conference - http://www.co-next.net/

18 Jahre, 7 Monate

2nd Call for Participation: IFM 2005

von Graeme Smith

2nd CALL FOR PARTICIPATION Fifth International Conference on Integrated Formal Methods (IFM) November 30 - December 2, 2005 Eindhoven, The Netherlands http://www.win.tue.nl/ifm/ INVITED SPEAKERS Patrice Godefroid - Software Model Checking: Searching for Computations in the Abstract or the Concrete David Parnas - A Family of Mathematical Methods for Professional Software Documentation Doron Peled - Generating Path Conditions for Timed Systems INVITED TUTORIAL Holger Hermanns - QoS Modelling and Analysis for Embedded Systems PROGRAM The program is now available on the IFM2005 web site. DOCTORAL SYMPOSIUM PhD students are invited to submit a contribution on their current research in integrated formal methods. The symposium will take place in Eindhoven on November 29, right after the tutorial by Holger Hermanns, and one day before the main conference (Nov 30 - Dec 2). For details please check the IFM2005 web site: http://www.win.tue.nl/ifm/. VENUE IFM2005 is hosted by the Technische Universiteit Eindhoven (TU/e). Eindhoven is the largest city of the southern Netherlands and the fifth largest in the Netherlands as a whole. It is a diverse city offering innovation and technology, as well as cultural activities (museums, theatre and music), and leading in sports such as swimming (Olympic champion Pieter van den Hoogenband) and soccer (PSV). In the region of Eindhoven, well-known companies such as Philips, ASML and DAF, and dozens of other engineering companies are situated. Eindhoven and the TU/e campus are easily reachable by plane (Eindhoven Airport) and train (also from Schiphol Airport). REGISTRATION At the IFM web site, the registration page can be found. The early registration deadline is October 16th, 2005. The registration fee includes a copy of the proceedings, attendance of the tutorial and the main conference, lunches, refreshments in the coffee breaks, a welcome reception, an excursion and dinner banquet. 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 SPONSORS IFM2005 is sponsored by FME and BCS-FACS.

18 Jahre, 7 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 September 2005