(My apologies if you receive multiple copies of this message)
***********************************************************
1st International Workshop on Software for Sensor Networks (SensorWare) - CFP
***********************************************************
Welcome to the 1st International Workshop on Software for Sensor Networks (SensorWare) to be held on the 8 January 2006. The workshop is held in conjunction with COMSWARE 2006 in the beautiful and historical city of New Delhi.
Advances in technology have made deployment of miniature sensors a realistic proposition. These sensors are low-power, inexpensive, smart devices with multiple on-board sensors, and are connected through wireless links, so as to form a collaborative sensor network to perform a specific task. As a result, it opens up a new paradigm of ubiquitous computing and enables a range of applications that are previously unrealizable or too costly to be realized. However, given the limitation of on-board hardware, one of the key areas towards achieving superior performance is through the software implementation. The workshop is intended for the presentation and discussion of novel algorithms and software implementation for sensor networks. This workshop, intends to bring together engineering experts and academicians to discuss the current status, technical challenges, standards, fundamental issues, and future services and applications in the form of panels and technical presentation.
Topics of interest include but are not limited to the following:
Operating System
Efficient algorithms
Protocol design
Performance analysis
Performance related issues
Sensor applications
Deployment issues and scenarios
Middleware
Sensor security
Sensor network design and modeling
Workshop co-chairs:
Nirmala Shenoy (ns(a)rit.edu), RIT, USA
Boon Sain Yeo (boonyeo(a)ieee.org), Institute for Infocomm Research, Singapore
TPC Members:
Holger Karl, University of Paderborn, Germany,
Ling-Jyh Chen, Academia Sinica, Taiwan
Kui Wu, University of Victoria, Canada,
Daeyoung Kim, ICU, Korea
Leonard Barolli, Fukuoka Institute of Technology, Japan,
Wei-Peng, Fujitsu Labs of America, USA
Jason Redi, BBN Technologies, USA
Biao Chen, Syracuse University, USA
Hairong Qi, University of Tennessee, USA
Xiaojun Cao, Rochester Institute of Technology, USA
Xin Wang, University of Buffalo, USA
James Minseok Kwon, RIT, USA
Wenye Wang, North Carolina State University, USA
Fei Hu, RIT, USA
Robin Chellappa, Deakin Univeristy, Australia
Technical Papers has to be submitted to the co-chairs at boonyeo(a)ieee.org.
Papers should be written in English and should preferably follow the instructions in template.pdf. Preferred maximum paper length is 6 printed pages (10-point font) including figures.
Important Dates:
Paper Submission Deadline: 14 October 2005
Notification Acceptance/Rejection: 14 November 2005
Final Camera-Ready Paper Submission: 2 December 2005
Please visit the workshop website at http://www.sensorware.org for more info.
We look forward to seeing you at SensorWare.
Many thanks
Best regards,
Boon and Nirmala
Workshop co-chairs
Labour and Welfare in a European Knowledge-based Society
The LAW project is funded by the European Commission's Information Society Technologies (IST) Programme to look at the implications for welfare systems in Europe of the restructuring of labour markets, taking place in the transition to a knowledge-based economy.
The results of this research will be launched at an international conference "ICTs, Social Inclusion and Welfare in Europe: showcasing good practice", to be held in Rome, at the Congress Centre "Centro Congressi Conte di Cavour", on 4 - 5 November 2005. The conference is free but places are limited so please register early to assure a place.
Please go to www.law-project.org/Phase_2/Events/Final_Conference/info.php to register or to see the draft conference programme
For further information about the project go to: www.law-project.org
Two important reports are already available free online from the project.
Labour Markets and Welfare Perspectives in Europe: a review of the evidence, can be downloaded from http://www.law-project.org/Phase_2/Results_and_Reports/Labour_Changes_and_W…
The challenges confronting welfare systems in Europe and how ICTs can help solve them can be downloaded from
http://www.law-project.org/Phase_2/Results_and_Reports/ICT_Development_and_… D2.2 for site.pdf
You can also download the first LAW Policy Briefing - e-Government - ICTs Improving Welfare Delivery in Europe from http://www.law-project.org/Phase_2/Results_and_Reports/Welfare_Strategies_w…
This email is sent to you as someone who has expressed interest in the LAW project or related research or policy questions in the past.
Apologies for cross-posting.
The LAW consortium
Labour and Welfare in a European Knowledge-based Society
The LAW project is funded by the European Commission's Information Society Technologies (IST) Programme to look at the implications for welfare systems in Europe of the restructuring of labour markets, taking place in the transition to a knowledge-based economy.
The results of this research will be launched at an international conference "ICTs, Social Inclusion and Welfare in Europe: showcasing good practice", to be held in Rome, at the Congress Centre "Centro Congressi Conte di Cavour", on 4 - 5 November 2005. The conference is free but places are limited so please register early to assure a place.
Please go to www.law-project.org/Phase_2/Events/Final_Conference/info.php to register or to see the draft conference programme
For further information about the project go to: www.law-project.org
Two important reports are already available free online from the project.
Labour Markets and Welfare Perspectives in Europe: a review of the evidence, can be downloaded from http://www.law-project.org/Phase_2/Results_and_Reports/Labour_Changes_and_W…
The challenges confronting welfare systems in Europe and how ICTs can help solve them can be downloaded from
http://www.law-project.org/Phase_2/Results_and_Reports/ICT_Development_and_… D2.2 for site.pdf
You can also download the first LAW Policy Briefing - e-Government - ICTs Improving Welfare Delivery in Europe from http://www.law-project.org/Phase_2/Results_and_Reports/Welfare_Strategies_w…
This email is sent to you as someone who has expressed interest in the LAW project or related research or policy questions in the past.
Apologies for cross-posting.
The LAW consortium
Dear Colleagues:
WIRELESSCOM is the World's Premier International Conference on Wireless Networks, Communications, and Mobile Computing. WIRELESSCOM 2006 covers timely as well as emerging and futuristic topics pertaining to wireless networks, communications, and mobile computing. Join this cutting-edge event and contribute to shaping the future of wireless networks, communications, and mobile computing!
Original papers are solicited and must represent high-quality and previously unpublished work, not currently under review by another conference or journal. All papers are limited to 6 pages and must be in double-column format. All submissions will be handled electronically. WIRELESSCOM 2006 features many symposia complementing the topics covered by the General Conference. More information about the WIRELESSCOM 2006 call for papers are found at:
http://www.wirelesscom2006.org/cfp.htm
WIRELESSCOM 2006 will be held in Toronto, Canada, the most vibrant and exquisite metropolis in the World! Besides a wealthy and affluent technical program, you will enjoy the Toronto Beaches, Niagara Falls, exceptional dinning, and world-class shopping. With over 1000 festivals each year and so much to discover, Toronto is fun for all ages and for the whole family. For more information about the venue, please visit:
http://www.wirelesscom2006.org/venue.htm
Further details about WIRELESSCOM 2006 are found at: http://www.wirelesscom2006.org/
Regards,
Ahmed M. Safwat
WIRELESSCOM 2006 General Chair
(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
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
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
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/
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.
Apologies, if you receive multiple copies of this request.
Call For Papers: Workshop on emerging services delivery platforms and
software models for Next Generation Network Services
(http://www.softplatforms.org)
This workshop will be held in conjunction with the FIRST International
Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE
2006) at New Delhi, India (http://www.comsware.org/) from Jan 8-12 2006.
The exact date of the workshop will be made available on the workshop's
Web site http://www.softplatforms.org.
Workshop Objectives:
The next generation services networks deliver enhanced business
capabilities such as data, video, messaging and business functions for
wired and wireless consumers. These new sets of services enhance the
business opportunities by integrating with core business services,
including: supply chain management, customer management, and consumer
applications. This workshop aims to discuss topics related to emerging
next generation services and service delivery platforms to host/support
such complex application environments.
The workshop focuses on:
* How next generation service delivery platforms deliver enhanced QoS
management, operational efficiencies, flexible services composability,
faster time-to-market, efficient trust models and flexible pricing
models.
* Technical and business factors influencing the services composability
and network services delivery environments. The associated revenue and
cost models for consumers, suppliers and application providers.
* The influences of emerging distributed computing architecture styles
(loosely-coupled, asynchronous, compos able, collaborative,
decentralized and parallel services) related to service delivery models.
* Emerging middleware platforms for network services, service
composability, distributed architecture models and programming models.
* New services models (communication services, presence-enabled
services, content/media services and enterprise/legacy services) and
value creation environments that represents new business opportunities
for operators and providers.
This workshop invites papers from research and business communities on
the different aspects of service delivery platforms and emerging
services models. The workshop will include papers that examine
interesting practical problems, case studies, best practices, middleware
platforms and innovative messaging architectures.
Submission Guidelines:
All papers are limited to 5 pages and must be in standard IEEE
double-column format. All submissions must be sent by email to the
workshops co-chairs with the e-mail addresses given above.
Important Dates:
Paper Submission Deadline: October 21, 2005
Notification of Acceptance: November 11, 2005
Camera-Ready Papers: December 4, 2005
Contact and organization:
For any questions regarding the workshop feel free to contact
1. Craig Fellenstein, IBM (cfellen(a)us.ibm.com)
2. Joshy Joseph, Microsoft (jojoseph(a)microsoft.com)
Submission requirements:
All papers are limited to 5 pages and must be in standard IEEE
double-column format. All submissions must be sent by email to the
workshops co-chairs.