October 2004 - ifip-tc6 - lists.rwth-aachen.de

Fwd: TC-budgets and DCSC fund
by Otto Spaniol 19 Jul '18

19 Jul '18

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

4 4

FW: Forthcoming IFIP TC 6 Meeting
by Augusto Casaca 19 Jul '18

19 Jul '18

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

2 1

Hotel registration
by Augusto Casaca 19 Jul '18

19 Jul '18

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

2 1

[Fwd: The "Villa" will open]
by Augusto Casaca 19 Jul '18

19 Jul '18

2 1

RE: [ifip-tc6] (New) Accounting Information
by Radford, Peter 13 Nov '04

13 Nov '04

Otto Looks good! May I make a few minor comments (which you are free to reject if they are not to your liking)? - Make "Surplus (or deficit)" "Estimated Surplus (or deficit)" [see note 1 below]. - Use the Roundup function on the break even number calculation. - Put the contingency on all of the expenses not just the variable income [see note 1 below]. - It might be worthwhile having two participant numbers: one for the full fee paying participants (or equivalent) and one for all participants - use the first in the income and the second in the costs. This may be complicating things too much and I'd be interested in feedback as to whether those numbers differ significantly. Regards Peter Note 1 "Prediction is always hard, especially when it concerns the future" - Niels Bohr -----Original Message----- From: Otto Spaniol [mailto:spaniol@informatik.rwth-aachen.de] Sent: 29 September 2004 08:05 To: ifip-tc6(a)informatik.rwth-aachen.de Subject: [ifip-tc6] (New) Accounting Information Dear all, the event request forms provided by IFIP are awful. This feeling is shared by everyone. Nobody is able to give half way correct information about the conference budget. This is a lot of unneccessary burden for TC and WG chairs. I promised to simplify that scheme and the first result is found in the attachments. There is: - an empty sheet (don't care about the #DIV!0 in the before last line; it will disappear when you fill the form) - and a virtual example. You may and should play around with the forms and tell me whether you find them easy enough to use. WG chairpersons should give it to prospective conference organisors. Some comments are in order: 1. The document has been kept as simple as possible (fool-proof, hopefully). You have to fill in only the figures in frames (light blue colours). The other figures (in light yellow) will then automatically be calculated. 2. A very crude approximation of registration fee is used: Only for full paying participants, no early bird registration, no special rate for members of diverse societies, no student fee etc. It would be impossible to have those concrete figures well before the event. Thus if you estimate for example that the total registration fee by students might be identical to, say, 10 full paying participants then you should increase the number of expected full paying participants accordingly. Similar for the variable expenses per participant. 3. "Contingencies" are meant to be a reserve just to be on the safe side. They are - according to IFIP - 10 percent of the variable cost per participant and could, of course, be already taken into account there. Nevertheless, since these costs are automatically calculated we can leave it in the document. 4. "Break even number of participants" should be clear but since I have been asked several times about this: This is the minimum number of full paying participants which will be needed if the conference should not make a deficit (and if all other parameters are valid). You will see that it is wonderfully easy to play around and to determine registration fees, fixed expenses,.. which are meaningful and which may end up with a reasonable surplus. It might be that the break even number will turn out to be negative! In that case you will have a serious problem with your budget: either the registration fee is too low or .... 5. I didn't nclude information about loan and grants (since IFIP says that in such a case "a more detailed budget information is needed). If you want I can add a few lines for that purpose (and also for different categories of registration but my first purpose was to keep the document as simple as possible). 6. Conferences (and the sponsorship fee to IFIP) are calculated in full days; thus if the conference lasts 2,5 days then the fee to IFIP will be calculated on a 3-day basis. Now: Please check the new forms and give me your comments within the next two weeks (improvements, modifications, what is missing, what should be deleted,...). I would then formally approve the new sheets in Bangkok and tell IFIP secretariat that we will not any more use the old bullshit versions. Best regards (and have fun with the new sheet) Otto 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.

4 3

Meeting attendance
by Otto Spaniol 29 Oct '04

29 Oct '04

Dear all, for the moment being our attendance statistics for meeting 2004/2 looks as shown below. Please check and give me more information if necessary. Those of you who are marked "uncertain": please inform me as soon as possible. I don't want to carry too many meeting documents. They are very heavy and my luggage allowance is limites. Moreover: WG-cvhairs should send me their reports asap. Most of the reports are still missing. Best regards Otto --------------------------------------------- TC6 meeting 2004/2 Bangkok, Thailand, November 21+22, 2004 Attending: Finn Arve Aagesen Ahmed Al Naamany Augusto Casaca Dominique Gaiti Gunter Haring Villy Baek Iversen Dipak Khakhar Guy Leduc Olli Martikainen Lorne Mason Ignas Niemegeers Guy Omidyar Ramon Puigjaner Guy Pujolle Tadao Saito Otto Spaniol Vilas Wuwongse Apologies received from: Raouf Boutaba Kiril Boyanov Lyman Chapin André Danthine Adam Grzech Daoyuan Hu Arun Iyengar Farouk Kamoun Koos Koen José Neuman de Sousa Harry Perros Jose Piquer Peter Radford Harry Rudin Jan Slavik Samir Tohmé Volker Tschammer Boon Sain Yeo Uncertain: Sarolta Dibuz Karol Fabian Doan Hoang Miquel Nicolau i Vila Giancarlo Prati Imad Sabouni Ioannis Stavrakakis Jean Whiley

2 1

Event form
by Harry Perros 27 Oct '04

27 Oct '04

Hallo Otto Since we are in the process of revising the event form, maybe we should also look at the legal side of it where the organizer has to sign that he/she has the authority to make legal commitments for the organization. This has caused a problem with networking 2005 and is causing a problem with ONDM 2005. I don't know if other conference organizers have the same problem.. or is it just those I am affiliated with !! We all agree that it is important that we make the organizer's life as easy as possible so that he/she can focus on the conference at hand rather than worry about legal implications. Harry P.

1 0

Networking 2005
by Herman Li 26 Oct '04

26 Oct '04

Apologies if you receive multiple copies of this email -------------------------------------------------------------------- IFIP NETWORKING 2005 -- CALL FOR PAPERS University of Waterloo, Waterloo Ontario Canada May 2 - 6, 2005 http://www.cs.uwaterloo.ca/Networking2005/topics/call_papers.html Due date for submissions: November 8, 2004 Networking 2005 is the fourth event in the series of International Conferences on Networking, organized by the IFIP Technical Committee on Communication Systems (TC 6). Previous events were held in Paris (France) in 2000, Pisa (Italy) in 2002, and Athens (Greece) in 2004. Based on the success of this biannual event, IFIP TC 6 decided to hold the Networking conference every year starting in 2005. Networking 2005 will take place between May 2 and 6, at the University of Waterloo, Ontario, Canada. The conference is organized by the University of Waterloo and sponsored by the IFIP working groups on Network and Internetwork Architectures (WG 6.2), Performance of Communication Systems (WG 6.3), Wireless Communications (WG 6.8), and Photonic Networking (WG 6.10). Networking 2005 will be structured along three tracks: Networking Technologies, Services and Protocols Performance of Computer and Communication Networks Mobile and Wireless Communications Systems For more information on topics of interest and submission guidelines, please visit the conference Web page at: http://www.cs.uwaterloo.ca/Networking2005/index.html --------------------------------------------------------------------

1 0

CfP: Special Issue on PDMC
by Martin Leucker 21 Oct '04

21 Oct '04

--------------------------------------------------------------------------- Call for Papers Formal Methods in System Design Special Issue on Parallel and Distributed Methods in Verification (http://www4.in.tum.de/~leucker/fmsd.html) --------------------------------------------------------------------------- Formal Methods in System Design is seeking original manuscripts for a Special Issue on Parallel and Distributed Methods in Verification, scheduled to be published in February 2006. The growing importance of automated formal verification in industry is driving a growing interest in those aspects which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing verification techniques. Articles for this special issue are solicited that cover all aspects of parallel and distributed methods and techniques for formal verification. Theoretical results, algorithms and case studies are equally welcome. Topics of interest include, but are not limited to the following: * parallel and distributed model checking * parallel and distributed equivalence checking * parallel and distributed satisfiability checking * slicing and distributing the state space * distributed theorem proving * distributed constraint solving * parallel methods in probabilistic model checking * file systems for distributed transition systems * parallel methods in performance evaluation * tools and case studies * industrial applications To simplify the publication process, we have a two step selection process. Authors willing to submit to this special issues are asked to send an extended abstract of about 4 pages describing the intended contribution. We will then select most promising abstracts and will ask the authors to submit a full version. The full version will then undergo a careful review process according to journal standards. Note that acceptance of the abstract does not guarantee acceptance of the full version. Submitted articles must not have been previously published or currently submitted for journal publication elsewhere. As an author, you are responsible for understanding and adhering to our submission guidelines. Please thoroughly read these before submitting your manuscript. See www.kluweronline.com/issn/0925-9856/ for details. Submissions should be sent to leucker+fmsd(a)in.tum.de Please feel free to contact the guest editors at brim(a)fi.muni.cz or Martin.Leucker(a)in.tum.de if you have any questions. Please note the following important dates: Abstract Submission Deadline: Dec. 15, 2004 Invitation to Full Version: Jan. 1, 2005 Manuscript Submission Deadline: Feb. 28, 2005 Reviews Completed: May 30, 2005 Major Revisions Due (if needed): July 15, 2005 Reviews of Revisions Completed: Aug. 15, 2005 Minor Revisions due (if needed): Aug. 31, 2005 Notification of Final Acceptance: Sep. 7, 2005 Final Manuscripts Due: Sep. 15, 2005 Publication Date: Feb. 2006 Guest Editors: Lubos Brim Masaryk University Brno brim(a)fi.muni.cz tel: +420-549-493 647 www.fi.muni.cz/usr/brim Martin Leucker TU Munich leucker(a)in.tum.de tel: +49-89-289 17376 www4.in.tum.de/~leucker

1 0

SPAM messages
by Otto Spaniol 20 Oct '04

20 Oct '04

Dear all, we promised at the occasion of the previous meeting in Athens to moderate all lists such that Spam messages would be avoided as far as possible. Now, this concept seems to work for the TC6 list itself (please tell me if you are not satisfied with the current practice). Of course, there may be too many CfPs but such information might also be of some interest. Please inform me whether you wnat me to stop CfPs for non-IFIP events. On the other hand, the list maintained by WG 6.3 delivers more and more messages which are classified by our filtering system as Spam. And I have to admit that this classification is correct in almost all cases. Thus: whoever moderates the WG 6.3 list (Ioannis or a member of his group?) should stop the distribution of such messages. Best regards Otto

1 0