ifip-tc6 April 2005

ifip-tc6@lists.rwth-aachen.de

26 Teilnehmer
57 Diskussionen

IFIP Networking 2005 Call For Participation

von Herman Li

-------------------------------------------------------- (Apologies if you receive multiple copies of this mail.) *********************************************************************** * Networking 2005 * http://www.cs.uwaterloo.ca/conferences/networking2005/ *********************************************************************** Monday, 2 May - Friday, 6 May 2005 University of Waterloo, Waterloo, Ontario, CANADA Monday, 2 May 2005: Tutorials Wireless Sensor Networks On the Building Blocks of QoS in Heterogeneous IP Networks High Speed Cellular Networks, Architecture, and Protocols (http://www.cs.uwaterloo.ca/conferences/networking2005/coming/tutorial.html) Tuesday, 3 May through Thursday, 5 May 2005 Main Conference: 33 Technical Sessions (http://www.cs.uwaterloo.ca/conferences/networking2005/coming/program.html) Friday, 6 May 2005: Workshops World Class Events: Telecommunications Challenges Next Generation Networking Middleware Mathematical Modeling and Analysis of Computer Networks (http://www.cs.uwaterloo.ca/conferences/networking2005/coming/workshop.html) Sponsored by the IFIP working groups: WG 6.2: Network and Internetwork Architectures WG 6.3: Performance of Communication Systems WG 6.8: Wireless Communications WG 6.10: Photonic Networking and: Nortel Networks Bell Research in Motion Sun Microsystems The Fields Institute Hosted by The University of Waterloo ====================================== Networking 2005 CALL FOR PARTICIPATION ====================================== Networking 2005 serves as a forum for engineers and scientists from around the world to present their latest research findings in the fields of computer networks and data communications. Networking 2005 includes a peer-reviewed program of technical sessions, panels, tutorials, and workshops. The five-day program starts with cutting-edge tutorials on a range of hot topics, including sensor and ad hoc networks, delay-tolerant networks, optical networking, and quality of service. Throughout the week there will be keynote talks by research and industry leaders, including Peter Carbone, Vice President of Next-Generation Architectures, Networks and Technology at Nortel Networks. Panels will cover issues of immediate relevance to both industry and research alike, including cross-layer design issues. The week will be rounded out with a series of workshops on critical issues on networking today, including problems of rapid configuration, modeling, and middleware. Full program details are available at: http://www.cs.uwaterloo.ca/conferences/networking2005/coming/program.html ============ REGISTRATION ============ Late registration after April 15, 2005: Regular $950, Student $475 (Note prices are in Canadian dollars.) Register at: http://www.cs.uwaterloo.ca/conferences/networking2005/coming/registration.h… ======== WATERLOO ======== The Fourth IFIP Conference on Networking will be held at the University of Waterloo, in Waterloo, Ontario. About 60 miles south-west of Toronto, Waterloo is situated near the Grand River, in the heart of South-West Ontario. Waterloo has a large concentration of world-leading high-technology companies, including Research in Motion, maker of the blackberry, Sybase iAnywhere, Open Text, as well as two universities. While visiting Waterloo, you may wish to take the opportunity to go canoing on the Grand river (http://www.canoeingthegrand.com/). Waterloo is a short drive from the internationally renown Stratford Festival (http://www.stratford-festival.on.ca/), and less than 2 hours drive from Niagara Falls (http://www.city.niagarafalls.on.ca/). Pearson International Airport, less than an hour away, provides easy access for our worldwide participants.

19 Jahre

CFP 2nd International Symposium on Wireless Communication Systems Siena Italy - 5 - 7 September 2005

von Boon Sain Yeo

Apologies for the multiple copies of CFP Dear All, Please find attached the Call for papers for the 2nd International Symposium on Wireless Communication Systems (ISWCS) 2005 (http://www.iswcs.org/iswcs2005) to be held in Siena, Italy, from 5 - 7 September 2005. The symposium is technically sponsored by IEEE Communication Society and is endorsed by the technical committee on Personal Communications. Proceedings of the conference will be available on the IEEEXplore after the event. Important date: 1 May 2005 (extended abstract) via EDAS due. We look forward to receiving your papers. Many thanks Best regards, Boon General co-chair

19 Jahre

Thanks!

von Otto Spaniol

Dear all, many thanks for the congratulations for my 60th birthday. Time passes by so quickly. Kiril was not fully correct since my birthday was already on April 11; today is the official ceremony at the university. And I will proudly attach to this document one of my usually very bizarre "poems" which took a lot of effort to produce it - and it will be my final part of the ceremony. Let's hope that it will end well. Warning: The "poem" is not really suitable for younger people but the nature of the poem has dictated this version. It could have even been less suitable for the innocent young people but that was really too strange. I'm nevertheless ready to discuss about such extensions after several beers in Toronto. Best wishes and thank you very much Otto

19 Jahre

IFIP Information Bulletin

von Radford, Peter

Greetings! There was meeting of the UK representatives on IFIP TCs yesterday. At that meeting, the comment was made that some copies of the most recent IFIP Information Bulletin has been mis-printed (much to the embarrassment of Springer). I had a quick look at the copy that was in the meeting. I did not like the way some of the printing was organised but that might be a matter of taste. More importantly (I think) our Swiss representative is reported to be "R Rudin". This is not simply a printing error because that is what it say on the IFIP web site as well! (I assume Harry has not changed his name.) May I suggest that everybody has a look at their copy of the Information Bulletin and the IFIP web-site. If you find any more errors, let me know and I will send IFIP headquarters a consolidated list of changes. Please respond to this by the end of April Regards Peter Peter Radford UK Representative to TC6 E: Peter.Radford(a)LogicaCMG.com <mailto:Peter.Radford@LogicaCMG.com> T: +44 (0) 7770 395506 (M) T: +44 (0) 20 7446 1281 (O) T: +44 (0) 1245 262328 (H) 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.

19 Jahre

ICCCN 2005 CFP -- Deadline is April 25, 2005

von Safwat, Ahmed M.

Message Dear Colleagues, This is a great conference in the area of computer communications and networks. ICCCN 2005 will consist of regular paper sessions as well as poster presentations. A best paper award will honor the author(s) of a paper that exemplifies the highest standards in contribution and exposition. Please widely distribute the CFP and encourage your friends and colleagues to submit their R&D work to ICCCN 2005. Best regards, Ahmed M. Safwat On behalf of the ICCCN 2005 Organizing Committee [As usual, apologies for duplicates} *** ICCCN'05 - Extended Paper Submission Deadline to APRIL 25, 2005!! *** ICCCN 2005 CALL FOR PAPERS FOURTEENTH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS October 17-19, 2005 San Diego, California USA Marriott Hotel San Diego Mission Valley Conference Website: http://icccn.sce.umkc.edu Sponsors*: Technical Co-Sponsorship by IEEE ComSoc/TCCC (Technical Committee on Computer Communications), IBM, Avaya Labs, and Nokia (*pending approval of sponsorships) ICCCN is a major international conference for the presentation of original and fundamental advances in the field of Computer Communications and Networks. It also serves to foster communication among researchers and practitioners working in a wide variety of scientific areas with a common interest in improving Computer Communications and Networks SCOPE: The primary focus of the conference is on new and original research results in the areas of design, implementation and applications of Computer Communications and Networks. We invite you to submit papers that address novel, challenging, and innovative results. The topics include, but are not limited to: eCommerce Internet Services/Applications Protocols Network Control and Management Intelligent Networks Data Traffic Engineering Networked Databases Optical Communication Networks Wireless/Mobile/Satellite Networks Cable Broadband Technologies Mobile and Pervasive Computing Multimedia Communication over IP Networks Voice over IP Security/Reliability/Dependability of wired/wireless networks Network Interoperability Multicasting Streaming Networks Network Performance Network Architectures Terabit Optical Technologies Wireless Multimedia Applications DSL Technologies Network Processing Mobile Ad hoc Networks (MANETs) Sensor Networks SUBMISSION OF REGULAR PAPERS: Authors are invited to submit complete and original papers. Papers to be submitted should not have been previously published in another forum, and should not be currently under review by another journal or conference. All submitted papers will be refereed for quality, correctness, originality and relevance. Of particular interest are papers that address concrete experiences with computer communications/networks and applications. An accepted paper must be presented by one of the authors at the conference venue. These accepted papers will be published in the conference proceedings by IEEE Press. All manuscripts must be limited to 6 pages (however, we do allow up to two extra pages at a cost of US$150 per extra page beyond 6 pages if the paper is accepted for publication) font size 10 in standard IEEE camera ready format (double column). The Program Committee reserves the right to decline without review any papers that exceed these length specifications. Submissions also must include the title, author(s) and affiliation, e-mail address, fax/phone numbers and postal address. In case of multiple authors, indicate which author is responsible for correspondence and preparing the camera ready paper for the proceedings. Electronic submission is required (ps or pdf format is preferred). Manuscripts should be submitted by April 15, 2005 to the ICCCN2005 website. STUDENT POSTER PAPER SESSIONS: The conference includes student poster sessions that highlight recent and ongoing research that has not been published elsewhere. An electronic (Postscript or PDF) version of the poster must be submitted to the conference website, along with a 200-word abstract. The first author of the poster must be a student at the time of submission; the student is expected to attend the conference and be available for discussion during the poster sessions. Accepted abstracts will be published in the conference proceedings. Students with accepted posters receive a discount from the regular conference registration fee. The paper session and poster sessions are two fully independent conference tracks, with separate review procedures. Submitted papers are not considered for poster sessions, and poster submissions are not considered for paper sessions. Submission of identical research material to both paper and poster sessions is not allowed. Please contact Program Co-Chairs below with any questions: Prof. Yuanyuan Yang Dept. of Electrical and Computer Engineering State University of New York at Stony Brook yang(a)ece.sunysb.edu +1 631 632 8474 (voice) +1 631 632 8494 (fax) Dr. Sandra R. Thuel Bell Laboratories, Room 4F515 Networking Techniques Research Department 101 Crawfords Corner Road Holmdel, New Jersey 07733 thuel(a)lucent.com +1 732 949 8897 IMPORTANT DATES: Regular paper submission deadline: April 25, 2005 Poster paper submission deadline: April 25, 2005 Notification of acceptance: June 27, 2005 Camera ready papers due: July 30, 2005 STUDENT FORUM: We encourage submissions from students. Some travel assistance may be available for students with top quality papers. WEBSITE: Please visit the ICCCN2005 web site http://icccn.sce.umkc.edu for paper submission and more up-to-date information. Paper submission website is up and ready for paper submissions. GENERAL CHAIR: Prof. Luiz DaSilva Virginia Polytechnic Institute and State University ldasilva(a)vt.edu ****************************************************************** BEST PAPER AWARD: ICCCN will select the best paper each year and authors of the paper will be recognized at the conference ******************************************************************

19 Jahre

Central Asia on Internet

von Otto Spaniol

Dear all, here comes an interesting CfP. Of course, the ERF is still missing. I'll contact the organisors. Best regards Otto Spaniol ==================== ICI-05 CALL FOR PAPERS ========================== The First IFIP International Conference in Central Asia on Internet The Next Generation of Mobile, Wireless and Optical Communications Networks Information and Communications Technologies and Application to E- and M-Commerce www.ici2005.org September 26-29, 2005, Bishkek, Kyrgyzstan Paper Submissions Deadline : June 1, 2005 ------------------------------------- ------------------------------------------- The first IEEE and IFIP International Conference in central Asia on Internet (ICI 2005), the next generation of Mobile, wireless and Optical communications Networks will be held in Bishkek Kyrgyzstan. ICI 2005 invites high-quality recent research results in the areas of Mobile and Wireless Communications, optical communications and networking, the next generation of Internet, Application to Electronic and Mobile Commerce. INTERNET access and broadband technologies facilitate the way we do business. Optical and Wireless technologies have a worldwide installed base and widely available on PCs, peripherals, embedded systems and inter-satellite links. The main goal of the conference is to bring together scientists and engineers who work in these fields. The first IEEE and IFIP International Conference on Internet ICI 2005 will be held in central Asia, Bishkek, Kyrgyzstan, September 26 through 29, 2005. ICI 2005 is the first conference in its series aimed at stimulating technical exchange in the emerging and important field of Optical, mobile and wireless Internet and communications networks and its important in Electronic and Mobile Commerce. ICI 2005 seeks to address and capture highly innovative and state of the art research and work in the wireless and Optical industries. The scope of the conference includes a wide range of technical challenges in view of the growing interest for wireless access to Internet and the evolution of third generation cellular systems included ITU IMT/UMTS. The conference also accepts progress on IST European Commission funded research projects. The Authors can present their finding on wireless quality of service, resource management, Ad Hoc and sensor networks. Radio interface design, adaptive antennas and arrays and indoor propagation, measurement and predictions also will be considered. A growing number of digital devices inside homes and the application of Ultra Wide Band (UWB), as well as Spectrum efficiency and low power consumption including low cost and secure wireless personal access are some of the areas to be considered in this conference. Optical communications networks are becoming increasingly important as the demand for high capacity links are required. Dense wavelength division multiplexing (DWDM) is widely deployed at the core networks to accommodate high capacity transport systems. Optical components, such as optical amplifier, tunable filters, transceivers, termination devices and add-drop multi-plexers are becoming more affordable and reliable. Access and metropolitan area networks are increasingly built with optical technologies to overcome the electronic bottleneck at network edges. New components and subsystems for high-speed optical networks offer new design options. The objective of this event is therefore to foster the exchange of information among researchers in these fast-moving fields. The authors can present their finding on new Fibers, optical fiber gratings and devices, optical amplifiers, optical sensing and medical application of fiber optics and opto-electronics. Important Dates Paper Submissions Deadline : June 1, 2005 Notification of Acceptance: July 1, 2005 Camera Ready Versions Due : July 20, 2005 ------------------------------------- ------------------------------------------- Information for Contributors Contributions are invited on all topics concerning wireless and optical communications networks and components. We are soliciting original papers describing the state-of-the-art research and development in the areas of wireless and Optical Communication and Networks, including, but not limited to the following topics: Optical Networking Technologies Optical network planning, design and modelling Optical access/metro networks IP over optical networks Network protection/restoration Generalised multi-protocol label switching (GMPLS) Planning and design tools for optical networks QoS issues in optical networks Routing and wavelength assignment Multiple access technique and fairness control in optical LANs and MANs Optical Switching and Network Elements Photonic switching system architectures Optical cross-connects and add-drop multiplexers Optical IP routers Photonic packet switching Network signalling and monitoring techniques Optical signal processing Wavelength conversion techniques Optical Transmission Technologies WDM Ultra-long haul transmission systems OTDM transmission systems Soliton transmission systems Transmission system experiments Radio over fibre-optics Optical interconnections Optical interfaces and terminals Optical Passive Components Fiber-Bragg-grating-based devices Fiber-grating dispersion compensators Optical circulators and isolators Optical waveguide-based devices Fiber and waveguide filters Microstructured waveguides and devices Arrayed waveguide devices Optical splitting and directional couplers Optical Active Components and Modules Optical modulators and switches Semiconductor optical amplifiers Semiconductor lasers and detectors Fibre amplifiers and lasers Raman and Brillouin amplifiers Automatic gain control of optical amplifiers Optical MEMS Photonic integrated circuits/modules Optical tunable filters Optical logics and memories Mobile and Wireless Communications topics of interest include but are not limited to the following: ManagementCourier New Resource and Information Management Pricing and Billing Issues Architecture Convergence of Fixed and Mobile Hybrid Communications System Devices Low-Power End-Devices and Wireless Communications Security Security in Mobile and Wireless Networks QoS Adaptive Quality of Service Provisioning End-to-end Quality of Service Mobility Support Handoff Algorithms IP and Mobility Mobility and Connection Management in Heterogeneous Wireless Networks Policy-based Mobility Management Applications Personal Communications Location and Context Management Smart Media Mobile Code Mobile Ad-Hoc Networks Applications Access Wireless IP Wireless Multimedia Services Wireless Local Loop (WLL) Multiple Access Technology Broadband Wireless Access Networking Wireless Personal Area Networks Wireless Local Area Networks Mobility and Nomadic Computing Analysis and Simulation of Mobile Network Protocols Home Networking Mobile Ad-hoc Networks and the Internet Mobile Ad-Hoc Networking Routing Satellite Networks INTERNET access and broadband technologies Guidelines for Submission Authors are requested to submit electronically a PDF or Word file to: Prof Pedro Cuenca, pedro.cuenca(a)uclm.es Papers should be written in English and should preferably follow the instructions in Template.pdf. Preferred maximum paper length is 5 printed pages (10-point font) including figures. IEEE will accept papers for review up to 7 pages in length. Accepted papers that are longer than 5 pages will be charged an over length fee of $100 USD for 6 pages and $200 USD for 7 pages. Under no circumstances may any submission should exceed 7 pages. Papers in excess of 7 pages shall not be considered for review or publication. The cover page is not included in the page count. The title of the paper, author's name, affiliation, complete return address, telephone number, facsimile number and e-mail address should appear at the top of the first page followed by an abstract with a maximum of 100 words. Authors must state that their paper has neither been published before nor currently being submitted elsewhere. The language of the conference is English and papers must be in this language. Accepted papers will be published in the conference's proceedings and/or CD-ROMs and the publication will be available on IEEE XploreTM. Selected papers will also be published in a journal, https://www.inderscience.com/browse/index.php?journalcode=ijwmc Note that final submission of accepted papers must be in accordance to publisher's formatting standard which will be updated shortly. For additional information concerning paper submission, please contact: Prof. Ruslan Kamaev, KSUCTA, Kyrgyzstan email: akjol(a)bk.ru and Prof. Pedro Cuenca, Universidad de Castilla-La Mancha, Spain email: pedro.cuenca(a)uclm.es Prof. Viktor N. Tatarinov, Tomsk State University of Control Systems and Radioelectronics, Russia email: v-n-tatarinov(a)yandex.ru For information on submitting proposals for panels and tutorials, please contact: Prof. Guy Omidyar, guy.omidyar(a)IEEE.org ------------------------------------- ------------------------------------------- Committee Conference Chair: Minister of Transportation and Communications Prof. Kubanychbek Jumaliev, MTC, Kyrgyzstan Organizing Committee: General Chair: Professor Guy Omidyar, USA General Co-Chairs: Professor Jumabek Tentiev, Rector of KSUCTA, KR General Vice Chairs: Akylbek Chymyrov, KSUCTA, KR Program co-Chairs: Professor Ruslan Kamaev, KSUCTA, Kyrgyzstan and Professor Pedro Cuenca, Universidad de Castilla-La Mancha, Spain Tutorials Chairs: Professor Guy Omidyar, USA Publication Chair: Treasurer: Naser Manochehri, Sultan Qaboos University, Oman Advisory and Steering Committee: Augusto Casaca, IST/INESC, Portugal Raouf Boutaba, University of Waterloo, Canada Guy Omidyar, IFIPTC6 WG6.8 Chair, USA Hamid Aghvami, Kings College of London, UK Akylbek Chymyrov , KSUCTA, KR Tursunbek Omurzakov, KSUCTA, KR Bermet Jakshylykova, KSUCTA, KR Mehmet Ulema, Manhattan College, USA Scientific Program Committee: Adam Wolisz, Technische Universitat Berlin, Germany Adolf Finger, Technical University of Dresden, Germany Akylbek Jeenbekov, Kyrgyz-Russian (Slavic) University, Kyrgyzstan Andrey Leonovich Mikaelian, Russian Academy of Sciences, Russia Asrar U. H. Sheikh, KFU, Saudi Arabia Boon Sain Yeo, Institute for Infocomm Research, Singapore Djamel Sadok, Universidade Federal de Pernambuco, Brazil Eesa Bastaki, UAE U, UAE Elena Pagani, Universita` degli Studi di Milano, Italy Erkin Boronbaev, KSUCTA, Kyrgyzstan Farouk Kamoun, ENSI, Tunisia Gumarbek Jusupbekovich Doukeev, Rector of AIPET,Almaty Institute of Power Engineering and Telecommunications (AIPET), Kazakstan Guy Omidyar, Sultan Qaboos University Muscat, Oman Guy Pujolle, Université Paris 6, France Hamid Aghvami, Kings College of London, UK K. Thyagarajan, IIT Delhi, India Jan Slavik, TESTCOM, Czech Republic Jose Marcos Silva Nogueira, Uni Federal de Minas Gerais, Brazil Khaldoun Al Agha, LRI, University of Paris XI, France Khaled Ben Letaief, Hong Kong University, HK Khaled Elsayed, Cairo University, Egypt Lila Boukhatem, LRI, University of Paris XI, France Luigi Fratta, Politecnico di Milano, Italy Lu Chao, Institute for Infocomm Research, Singapore Marie-Jose Montpetit, Motorola, USA Maurice Gagnaire, ENST, France Mehmet Ulema, Manhanttan College, USA Musapar Orozaliev, Kyrgyz State University, Kyrgyzstan Naser-Nick Manochehri, Sultan Qaboos University, Oman Otto Spaniol, Aachen University, Germany Pak Chu, City Univ. of Hong Kong, Hong Kong Pedro Cuenca, Universidad de Castilla-La Mancha, Spain Ruslan Kamaev, KSUCTA, Kyrgyzstan Ramjee Prasad, Aalborg University, Denmark Raj Jain, Nayna Networks, USA Serge Fdida, Laboratoire d'informatique de Paris 6, France Sergio Palazzo, University of Catania, Italy Sirisena, Harsha, University of Canterbury, New Zealand Sudhir Dixit, Nokia, USA S. Srikanth, Anna University, India Tilekkabyl Sabitovich Ramazanov, Kazakh National University, Kazakhstan Tursunjan Karimbaev, KSUCTA, Kyrgyzstan Beishenbek Ukuev, KSUCTA, Kyrgyzstan Zhong Wende, Nanyang Technological University, Singapore Werner Rosenkranz, TF-Kiel, Germany Witold Krzymien, University of Alberta, Canada Vadim Semenovich Gurevich, Almaty Engineering Center for Laser Technology (AECLT), Kazakstan Victor Nikolaevich Tatarinov, Tomsk State University of Control Systems and Radio electronics(TUCSR), Western Siberia, Russia Zakirjon Azamatov, Center for Science and Technologies, Republic of Uzbekistan Ping Shum, Nanyang Technological University, Singapore Wei-Ping Huang, McMaster University, Canada Soumaya Cherkaoui, Universite de Sherbrooke, Canada Shengming Jiang, South China University of Technology (SCUT), China Francisco Delicado, Universidad de Castilla La Mancha, Spain Francisco Mico, Universidad de Valencia, Spain Teresa Olivares, Universidad de Castilla la Mancha, Spain Antonio Pescapè, Università degli Studi di Napoli "Federico II", Italy - ===================================== ============================================= Pedro Angel Cuenca Castillo Tfno.: 967-599200 Ext:2492 Departamento de Informatica Tfno.: 967-599308 Escuela Politecnica Superior Fax: 967-599224 Universidad de Castilla-La Mancha e-mail: pedro.cuenca(a)uclm.es Campus Universitario s/n. Albacete. 02071. SPAIN. ===================================== =============================================

19 Jahre

WAC 2005 - Vouliagmeni-Athens: deadline is April 25 !!!

von Ioannis Stavrakakis

Dear Colleagues The 2nd IFIP (WG6.3 and WG6.6) Workshop on Autonomic Communication (WAC2005), will take place in Vouliagmeni-Athens, Greece on Oct 3-5, 2005. Please note that the deadline for WAC 2005 is coming up: _____________________________________________________ paper submission deadline is Monday, APRIL 25, 2005, 5 pm (Central European Time) ________________________________________________________ More information and submission guidelines at http://www.autonomic-communication.org/wac/ Best regards I. Stavrakakis and M. Smirnov WAC 2005 TPC co-chairs

19 Jahre

PDMC'05 Deadline Extension

von Martin Leucker

[[ -- Apologies for multiple copies of this message -- ]] ============================================================================= EXTENDED DEADLINE: 25th of April (Abstract due by: 17th of April) ============================================================================= Call for Papers 4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION (PDMC 2005) July 10, 2005 - Lisboa, Portugal Workshop affiliated to ICALP'05 http://pdmc.informatik.tu-muenchen.de ============================================================================= OBJECTIVES: 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 of verification techniques. The aim of the PDMC workshop series is to cover all aspects of parallel and distributed methods and techniques for formal verification. Theoretical results, algorithms and case studies are equally welcome. Contributions from the domains of model checking, theorem proving, and equivalence checking are anticipated. The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of parallel and distributed verification. The workshop will consist of invited talks and a selection from submitted papers. SCOPE AND TOPICS: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Topics of interest include, but are not limited to: * 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 constraints solving * parallel methods in probabilistic model checking * file systems for distributed transitions systems * parallel methods in performance evaluation * tools and case studies * industrial applications INVITED SPEAKER: * Kim G. Larsen (Aalborg University, Denmark) SUBMISSION GUIDELINES: There are two categories of submissions: regular papers and presentations. * Manuscripts of regular papers are limited to a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). * Presentations report on relevant results submitted to other forums or already published or on not yet finished work in progress. Presentations will appear in the workshop preliminary proceedings, but will not be considered for the final workshop proceedings. The space limit for presentations is 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (ENTCS style strongly recommended). Submissions should be made electronically using PDMC'05 Submission Page. PROCEEDINGS: The preliminary workshop proceedings will be available at the meeting. The final proceedings appear as a volume of Electronic Notes in Theoretical Computer Science. After the workshop, selected authors will be invited to submit full versions of their papers (regular papers or presentation results not submitted for journal publication) to a special section of a journal (under negotiation). IMPORTANT DATES: * Submission deadline: April 25, 2005 * Notification of acceptance: May 16, 2005 * Presentations deadline: May 22, 2005 * Final version: June 3, 2005 PROGRAM COMMITTEE: * Howard Barringer (Manchester Univ., UK) * Lubos Brim (Masaryk Univ., CZ) * Gianpiero Cabodi (Torino, IT) * Joerg Denzinger (Alberta, Canda) * Wan Fokkink (CWI Amsterdam, NL) * Hubert Garavel (INRIA, FR) * Juergen Giesl (RWTH Aachen, DE) * Orna Grumberg (Haifa, Israel) * Boudewijn R. Haverkort (Univ. of Twente, NL) * Marta Kwiatkowska (Univ. of Birmingham, UK) * Martin Leucker (TU Munich, DE) - Co-chair * Eric Mercer (Brigham Young Univ., USA) * Jaco van de Pol (CWI, NL) - Co-chair * Gerardo Schneider (Univ. of Oslo, Norway) * Willem Visser (NASA Ames Research Center, USA) Martin Leucker & Jaco van de Pol workshop organizers

19 Jahre

Happy Birth day

von Kiril Boyanov

Dear All, On Friday our friend and BOSS celebrates 60 years jubelee. We all can wish him long life health, and fruitful work. I will visit his celebration and will send you all the address which I am preparing. Best reagards Kiril ======================================= acad. Kiril Boyanov BULGARIAN ACADEMY OF SCIENCES Institute for Parallel Processing Director Sofia 1113, acad.G.Bonchev str.Bl.25A phone (+359 2)9796617, (+359 2) 8708494 (secretary) fax (+359 2) 8707273 E-Mail boyanov(a)acad.bg =======================================

19 Jahre

ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for Security Protocol Analysis, co-located with ICALP'05)

von lvigano＠inf.ethz.ch

************************************************************************** *** Due to several requests the DEADLINE is EXTENDED to April 24, 2005 *** ************************************************************************** ******************************************** *** 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 24, 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 24, 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 18, 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 24, 2005 - Notification of acceptance: May 18, 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

19 Jahre

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

ifip-tc6 April 2005