Dear potential Speaker:
We are pleased to inform you that both IPSI Transactions journals are planing some special issues in late 2005 and early 2006, and you are welcome to submit your paper(s), until the deadlines listed below!
IPSI Transactions on Internet Research:
March 31, 2005 -
Special Issue on E-Education: Concepts and Infrastructure
June 30, 2005 -
Special Issue on E-Business: Concepts and Infrastructure
IPSI Transactions on Advanced Research:
March 31, 2005 -
Special Issue on the Research with Multidisciplinary Elements
June 30, 2005 -
Special Issue on the Research with Interdisciplinary Elements
Each submitted paper first undergoes the editor review, and those who pass this first stage are sent to 12 external experts for a rigorous review; decisions are made after at least 6 external reviewers respond! The review is free of charge, but the authors of the accepted papers ar expected to pay the publication fee of E400 per paper (if 4 or 5 or 6 pages of the TIR/TAR format), and the additional fee of E100 per page, for each extra page, till the maximum of 10 pages.
Rigorous reviewing is the major strength of IPSI journals, which is the major contributor to their high quality! Soft copies of the existing issues of TIR and TAR can be seen at the web, and hard copies can be obtained on a special request by email, as indicated on the web, where can find all information!
Sincerely yours,
Prof. Dr. Veljko Milutinovic, Editor-in-Chief
P.S. If you need aditional information, please reply to this e-mail.
Attached is a request for IFIP sponsorship of a European summer school.
The request came to WG6.6 although it seems that this event has been
sponsored by IFIP in the past. Before, considering WG6.6 co-sponsorship
for this event which seems a viable option, I would like to run it for
background check within, and possibly interest from, TC6/WGX.Xs.
Let me know
Raouf
-----Original Message-----
From: Andres Marin [mailto:amarin@inv.it.uc3m.es]
Sent: Wednesday, March 16, 2005 3:58 AM
To: Raouf Boutaba
Cc: 'Carlos Delgado Kloos'; 'J.P. Martin-Flatin'; 'David Larrabeiti';
'Yvon Kermarrec'; putxi(a)uib.es
Subject: Re: EUNICE 2005
Dear Raouf,
find attached the filled request. Thanks for supporting EUNICE 2005.
Best regards,
-- Andrés
---------------------------------------------------------------------
Andres Marin Lopez Dr. Ing. de Telecomunicacion
Depto. de Ingenieria Telematica E-mail: amarin(a)it.uc3m.es
Escuela Politecnica Superior Tel: +34 91 624 99 47
Universidad Carlos III de Madrid Fax: +34 91 624 87 49
Avda de la Universidad 30 http://www.it.uc3m.es/~amarin
Leganes 28911 (Madrid), SPAIN
---------------------------------------------------------------------
On Tue, Mar 15, 2005 at 05:50:44PM -0500, Raouf Boutaba wrote:
> Dear Carlos,
>
> Sorry for the late reply. Please fill in the event request form
> (attached) to this email and send it back to me electronically. I will
> run it within TC6 and will get back to you.
>
> Best regards
>
> Raouf Boutaba
>
> -----Original Message-----
> From: Carlos Delgado Kloos [mailto:cdk@it.uc3m.es]
> Sent: Thursday, March 10, 2005 9:20 AM
> To: rboutaba(a)uwaterloo.ca
> Cc: 'J.P. Martin-Flatin'; 'David Larrabeiti'; 'Andres Marin Lopez';
> 'Yvon Kermarrec'; putxi(a)uib.es
> Subject: EUNICE 2005
>
> Dear Raouf,
>
> I am writing you as this years' chair of EUNICE
> (http://www.eunice-forum.org/), an association of European
Universities
> in
> the field of ICT. The annual summer school is organized this year at
my
> university in Spain. See:
>
> http://www.it.uc3m.es/eunice2005/
>
> The EUNICE summer school has been run since 2002 with the IFIP label
> (see
> previous events). This year, I would be pleased if we could run this
> summer
> school again with in cooperation status, which means no financial
> involvement from the side of IFIP. Jean-Philippe Martin-Flatin
suggested
> we
> should contact you, as the chair of WG 6.6. I am copying also Ramón
> Puigjaner, vice-chair of TC 6, who I am sure will support this
proposal
> as
> well. Please let me know whether we can proceed with the corresponding
> paperwork.
>
> Best regards,
>
> Carlos
>
> --
> Prof. Dr. Carlos Delgado Kloos
> Director
> Dep. Ingeniería Telemática
> Universidad Carlos III de Madrid
> Tel: (+34) 91-624-8778, Fax: -8749
> Web: www.it.uc3m.es
>
> --
> www.it.uc3m.es/eunice2005
> www.jitel.org
>
Dear all,
please check (see below).
Best regards
Otto
*************************************************************
To all TC Chairs
During the Council meeting of IFIP which took place last week in Korea,
it was reported that several TCs still have event fees from 2004 events
outstanding.
Can I please request you to check with all your WG organizers whether
they are aware of any such outstanding fees. There is a full list
available from Eduard if you want to request it. I did not want to
include it in this message.
I will come back to you from time to time on some other issues resulting
from the meeting.
Regards
Basie
--
Prof Basie von Solms PhD MBCS FCSSA
Vice-President : IFIP (International Federation for Information Processing)
HOD : Academy for Information Technology
University of Johannesburg
Johannesburg
South Africa
Tel : + 27 (0) 11 489 2843 (Office)
+ 27 (0) 82 553 2436
Fax : + 27 (0) 11 489 2138
Email : basie(a)rau.ac.za
Home Page : http://adam.rau.ac.za/~basie
To all delegates, in particular to WG chairpersons,
very often the organisors don't fill the event request form (ERF).
A new form - based on the TC6 proposal - is available from the IFIP
secretary.
If there is no ERF then the event is not in the IFIP database
and no financial things (such as best paper wards, turorial speakers
cost etc.) can be handled.
The ERF has to be signed by the organisors, the responsible
WG chair(s) and by me.
Please ensure by all means that ERF are not forgotten!
We have just have a problem with that coincerning INTELLCOMM´04
where the student grants have not yet been paid due to the missing ERF.
I'm not willing to control in any case whether the form is here
or not; this is the task of organisor + WG chair(s).
Best wishes
Otto
Due to numerous requests, the WIRELESSCOM 2005 paper submission deadline has been extended until MARCH 31, 2005 (11:59 p.m. PST). Since we anticipate a very large number of submissions, it is highly recommended that you submit/register your paper ASAP to avoid potential server problems on the due date. Please submit your papers at:
https://msrcmt.research.microsoft.com/WirelessCom2005/CallForPapers.aspx
WIRELESSCOM 2005 is the World's Premier International Conference on Wireless Networks, Communications, and Mobile Computing. WIRELESSCOM 2005 covers timely as well as emerging 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!
WIRELESSCOM 2005 will be held in the spectacular Sheraton Maui Resort, Maui, Hawaii, June 13-16, 2005. Maui has been voted 11 times in a row as the "Best Island in the World". The spectacular Sheraton Maui Resort with its 23 oceanfront acres is a favorite tourist, family, and honeymoon attraction. Very special nightly rates are available for WIRELESSCOM 2005. Please check out the Sheraton Maui Resort's live Web cam at http://hawaiilive.sheraton-hawaii.com/sm-cam.cfm
Further details about WIRELESSCOM 2005 are found at: http://www.ece.queensu.ca/hpages/faculty/safwat/wirelesscom/05/ or http://sa1.sice.umkc.edu/wc05/.
We look forward to meeting you in Maui.
Best regards,
WIRELESSCOM 2005 Organizing Committee
********************************
*** NEW: PROCEEDINGS TO BE ***
*** PUBLISHED IN ENTCS ***
********************************
ARSPA'05
The Second Workshop on
Automated Reasoning for
Security Protocol Analysis
co-located with ICALP'05
Lisboa, Portugal
July 16, 2005
http://www.avispa-project.org/arspa
***********************
*** CALL FOR PAPERS ***
***********************
Submission deadline: April 15, 2005
BACKGROUND, AIM AND SCOPE
=========================
Experience over the last twenty years has shown that, even assuming
perfect cryptography, the design of security protocols (or cryptographic
protocols, as they are sometimes called) is highly error-prone and that
conventional validation techniques based on informal arguments and/or
testing are not up to the task. It is now widely recognized that only
formal analysis can provide the level of assurance required by both the
developers and the users of the protocols.
Work in this direction initially started in the security community but
recently there has been a tremendous progress thanks to contributions
from different automated reasoning communities, such as model checking,
resolution, planning, rewriting/narrowing, and higher-order theorem
proving. There has been another wave of progress due to
research in applying non-classical logics, such as epistemic and belief
logics, to analyze protocols and their properties. Moreover, a third
stream includes static methods, among which those based on abstract
interpretation, data and control flow analysis, and type systems proved
to be particularly successful. Finally, bisimulations and related
techniques have also been applied successfully.
Based on this progress, a large number of formal methods and tools
have been developed that have been quite successful in determining
strengths and weaknesses of many protocols, i.e. in proving the
correctness of the protocols or in identifying attacks on them.
The ARSPA workshop aims to bring together researchers and
practitioners from both the security and the formal methods communities,
from academia and industry, who are working on developing and applying
automated reasoning techniques and tools for the formal specification
and analysis of security protocols.
Contributions are welcomed on the following topics or related ones:
- Automated analysis and verification of security protocols.
- Languages, logics and calculi for the design and specification of
security protocols.
- Verification methods: accuracy, efficiency.
- Decidability and complexity of cryptographic verification problems.
- Synthesis and composition of security protocols.
- Integration of formal security specification, refinement and
validation techniques in development methods and tools.
The workshop will provide a forum for all researchers and practitioners
who are interested in this area to share their ideas and report their
results. We thus solicit submissions of papers both on mature work and
on work in progress.
All submissions will be peer-reviewed. Authors of accepted papers must
guarantee that their paper will be presented at the workshop.
AUDIENCE
========
The workshop will be held on Saturday, July 16, 2005, and will be open to
all interested persons.
INVITED TALKS
=============
The technical program will include presentations of the accepted papers,
and one or two invited talks.
PROGRAM COMMITTEE
=================
- Alessandro Armando (Universita` di Genova, Italy)
- David Basin (ETH Zurich, Switzerland)
- Jorge Cuellar (SIEMENS AG, Munich, Germany)
- Pierpaolo Degano (Universita` di Pisa, Italy; co-chair)
- Joshua Guttman (The MITRE Corporation, USA)
- Roberto Gorrieri (Universita` di Bologna, Italy)
- Sjouke Mauw (University of Eindhoven, The Netherlands)
- Hanne Riis Nielson (Technical University of Denmark)
- Michael Rusinowitch (INRIA-LORRAINE, Nancy, France)
- Luca Vigano` (ETH Zurich, Switzerland; co-chair)
SUBMISSION
==========
Submissions should be at most 15 pages (a4paper, 11pt) and the cover
page should include title, names of authors, and the co-ordinates of the
corresponding author.
Authors are invited to submit their papers electronically, as portable
document format (pdf) or postscript (ps), by the deadline of April 15,
2005.
The only mechanism for paper submissions is via the electronic
submission web-site, accessible via the workshop web-site.
Notification of acceptance or rejection will be sent to the authors no
later than May 14, 2005.
Final versions of accepted papers must be received by June 06, 2005.
PUBLICATION
===========
Accepted contributions will be be published in a special volume of the
Electonic Notes in Theoretical Computer Science ENTCS.
Informal proceedings will be available at the workshop and be
published on-line on the workshop's web page at
http://www.avispa-project.org/arspa
We are also planning a formal post-workshop publication as a special
Journal issue, with an additional reviewing process.
IMPORTANT DATES
===============
- Submission deadline: April 15, 2005
- Notification of acceptance: May 15, 2005
- Final versions due: June 06, 2005
- Workshop: July 16, 2005
WORKSHOP WEB-SITE
=================
http://www.avispa-project.org/arspa
The workshop is supported by the IST Project AVISPA
(http://www.avispa-project.org)
For further information on the workshop, please send an email to
arspa -at- avispa-project.org
I'll go green!
-----Original Message-----
From: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE
[mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE] On Behalf Of Otto Spaniol
Sent: 15 March 2005 15:10
To: ifip-tc6(a)informatik.rwth-aachen.de
Subject: [ifip-tc6] Quick voting desired
Dear all,
IFIP has a new logo. TC6 should have also a new one based on the
official IFIP logo.
I asked a designer student to present some proposals. She came with
three ideas (see attachment).
Please tell me your preference (until the end of this week).
I would like to produce pins - like we did for Portugal - such that they
would be ready for Networking 2005.
Best regards
Otto
-------------------------------------
Name:
I vote for:
O the upper one (with the small white intersection
between IFIP and TC6)
X the middle one (green colour)
O the lower one (blue colour)
O I don't like any proposal; please present other ideas
This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.
Heureka,
the minutes for meeting 2004/2 in Bangkok have arrived.
Three days ago but I could only open them today in a phase of
extreme workload.
Thanks very much to Raghavan!
Best wishes
Otto