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 -----------------
-----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
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
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
(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.