From zheng.li at kcl.ac.uk Tue Apr 1 15:28:18 2008 From: zheng.li at kcl.ac.uk (Zheng Li) Date: Tue, 01 Apr 2008 14:28:18 +0100 Subject: [ecoop-info] Last Call for Papers: Working Conference on Source Code Analysis and Manipulation Message-ID: <47F23872.20202@kcl.ac.uk> **************************************************** Deadline for submission: Abstract due: April 21, 2008 Full paper due: April 28, 2008 Notification: June 9, 2008 Camera Ready Due: June 30, 2008 Working Conference: 28th-29th September 2008 **************************************************** Call for Papers and Tool Demo Proposals - SCAM 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation 28th-29th September 2008, Beijing, China, Co-located with ICSM 2008 http://www2008.ieee-scam.org/ ---------------- Conference aims: ---------------- The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of the system. The analysis and manipulation of source code thus remains a pressing concern. --------------------------------- Covered topics and paper formats: --------------------------------- We welcome submission of papers that describe original and significant work in the field of source code analysis and manipulation. Topics of interest include, but are not limited to: * program transformation * abstract interpretation * program slicing * source level software metrics * decompilation * source level testing and verification * source level optimization * program comprehension Submitted papers should not be longer than 10 pages. We also welcome submission of 2 page proposals for tool demonstrations expected to be performed live at the conference. All papers submitted should follow IEEE Computer Society Press Proceedings Author Guidelines. The papers should be submitted electronically via the conference web site. ------------ Proceedings: ------------ All accepted papers will appear in the proceedings which will be published by the IEEE Computer Society Press. Best papers from SCAM 2008 will be considered for revision, extension, and publication in a special issue of The Journal of Information and Software Technology. ---------------- Important Dates: ---------------- Deadline for submission: Abstract due: April 21, 2008 Full paper due: April 28, 2008 Notification: June 9, 2008 Camera Ready Due: June 30, 2008 Working Conference: 28th-29th September 2008 Zheng Li (Publicity Chair) From disitmail at musicnetwork.dsi.unifi.it Wed Apr 2 09:10:25 2008 From: disitmail at musicnetwork.dsi.unifi.it (disitmail at musicnetwork.dsi.unifi.it) Date: Wed, 2 Apr 2008 09:10:25 +0200 (CEST) Subject: [ecoop-info] AXMEDIS08 and DMS08 Call for Paper and/or workshops Message-ID: <20080402071025.738451A28D1@musicnetwork.dsi.unifi.it> Dear Ecoop Info You are cordially invited to pose your attention to 1) AXMEDIS 2008: the 4th International Conference on Automated solutions for Cross Media Content and Multi-channel Distribution, 17-19th Nov. 2008, Florence, Italy. New Deadline for the paper submission 30th of April. 2) DMS 2008: The 14th International Conference on Distributed Multimedia Systems Hyatt Harborside, Boston, USA, September 4 to September 6, 2008, New Deadline for the paper submission 20th of April. Please feel free to forward and redistribute this email to everyone who may be interested in this event and to all relevant mailing lists. Please do not hesitate to inform us if this email has not been of your interest. Best regards, Paolo Nesi -1 -1 -1 -1 -1 -1 - - - - - - - - - - - - - - - - - - - - - - - - - CALL for papers, AXMEDIS2008 4th International Conference Automated solutions for Cross Media Content and Multi-channel Distribution HTTP://www.axmedis.org/axmedis2008 Submission due: 30 April 2008 Conference date: 17th-19th Nov. 2008 Conference venue: Florence, Italy AXMEDIS is a large conference and community with strong innovation and research programme. You can see a part of the presentations already defined on the AXMEDIS conference web site: http://www.axmedis.org/axmedis2008/ http://www.axmedis.org/com/index.php?option=com_content&task=view&id=165&Itemid=79 http://www.axmedis.org/axmedis2008draft/openconf/openconf.php AXMEDIS 2008 will be a significant and exciting event on cross-media, content production GRID, content protection, interoperable DRM (digital rights management), multimedia terminals, multiple-play, multichannel, multi devices, MPEG-21 terminal and tools, authoring tools, digital media, P2P, OMA, multi-channel delivery, content modeling, business models, security and distribution, digital signature, legal aspects, accessibility, transaction models, social network, semantic modeling, multimedia music, workflow, and much more. The AXMEDIS2008 International Conference is a perfect occasion to get the state of the art and beyond, on the above mentioned technologies and developments and to meet the most relevant industrial leaders, leading researchers, experts and practitioners from both industrial and research institutes, including European digital content providers, integrators, distributors, technology providers, market leaders and prestigious research institutions, social networks. AXMEDIS is supported by more than 45 sponsors: Universitat Politecnica de Catalunya, University of Florence, ICSRiM, University of Leeds, EPFL, EUTELSAT, FHG-IGD, Giunti ILABS, HP, BBC, SDAE, TISCALI, SIAE, AFI, Accademia Nazionale di Santa Cecilia, SEJER, University of Reading, Pekin University, TEO (telecom Lithuania), KTU, ELION, VRS Grupe, ACIT, Telecom Italia, Strategica, EXITECH, XIM, the MUSICNETWORK International Association, the European Commission and many more. AXMEDIS2008 aims to explore all subjects, latest developments, future trends, of technologies and their applications. With a particularly attention to new concepts, requirements, prototypes, research ideas, and findings which could contribute to cross fertilization and convergence of research and industrial communities. This is the 4th conference of a series pressed by IEEE and FUP with high level papers and large audience and distribution. Recommended topics include, but are not limited to, the following: - formats and models for multi-channel content distribution and interoperability - automated content production, collection, crawling, composition, formatting - cultural heritage content and solutions - solutions and tools for e-commerce, education entertainment - content processing languages and tools - GRID and distributed systems for content production - collaborative/cooperative models and tools, CSCW - social network and models - content distribution: streaming and downloading - digital libraries and distributed systems - systems and approaches for content production/distribution on demand - multimedia middleware - multimedia software engineering - mobiles technologies for content distribution and optimisation - intelligent content, semantic content and models - interactive multimedia models - P2P solutions and architectures - workflow management systems Web services and web portals for content distribution - Digital Rights Management (DRM) models, tools, and DRM interoperability - multimedia standards: MPEG-7, MPEG-21, MXF, SMIL, HTML, News, etc. - multimedia and packaging formats - distributed games and serious games - Quality of Service, QoS, control and planning - user profiling, and behaviour - agents and autonomous systems - legal aspects related to digital content - context awareness and solutions - distribution of computer graphics and 3D content - distributed information retrieval - synchronisation technologies and solutions - accessibility and multimodal user interfaces - e-conference, e-medicine and e-lecture - distributed virtual environment, virtual school, virtual university, and virtual learning - content monitoring technologies - watermarking and fingerprinting techniques - audio and video fingerprinting and recognition and all related topics, do not hesitate to contact the chairs if you have a proposal for the conference. Applications and Industrial Presentations and Demos: Proposals for presentations of applications and tools, including case studies and reports on the application and/or utilization of tools, industrial practices and models, or tool/system demonstrations: Long papers up to 8 pages, Short papers up to 4 pages, Demo: up to 2 pages. Workshops and Panels: The Conference will hold Workshops and Panels consisting of research and industry position papers on specific topics. Research and Development projects of EC or other organizations are invited to propose workshops or panels. For these proposals please contact the general chair: Paolo Nesi (University of Florence) at nesi at dsi.unifi.it providing topics, speakers, and aims. All submissions and proposals must be in English and submitted in PDF or Microsoft Word format using the submission portal on the conference web site no later than 30 April 2008. http://www.axmedis.org/axmedis2008draft/openconf/openconf.php Document style is available at the conference website. http://www.axmedis.org/axmedis2005/docs/instruct.pdf http://www.axmedis.org/axmedis2005/docs/instruct.doc http://www.axmedis.org/axmedis2005/docs/instruct.ps http://www.axmedis.org/axmedis2005/docs/IEEE_CS_Latex.zip The conference proceedings will be published by IEEE Comp. Soc. past conferences: http://www.axmedis.org/axmedis2007 http://www.axmedis.org/axmedis2006 http://www.axmedis.org/axmedis2005 -2 -2 -2 -2 -2 -2 - - - - - - - - - - - - - - - - - - - - - - - - - DMS 2008 Call For Papers for Track on Distributed Multimedia Computing The Fourteenth International Conference on Distributed Multimedia Systems Hyatt Harborside at Logan Int'l Airport, Boston, USA September 4 - September 6, 2008 Organized by: Knowledge Systems Institute Graduate School The DMS conference (http://www.ksi.edu/seke/dms08.html ) is an international conference series, which covers a wide spectrum of technique discussions, demonstrations, and student program/paper contests in the fields of distributed multimedia computing. Started in 1994, the series of conference has been held at Hawaii, Hong Kong, Vancouver, Taipei, Aizu-Wakamatsu, Japan, San Francisco, Miami and Canada. This time, the conference will be held in the Hyatt Harborside at Boston's Logan Int'l Airport, Boston, USA. The conference focuses on techniques, systems, applications, and theories in the fields of distributed multimedia computing. The conference organizers seek contributions of high quality papers, panels or tutorials, addressing various aspects of distributed multimedia systems and applications, for presentation at the conference and publication in the proceedings. TOPICS of the TRACK Topics of interest include, but are not limited to: o analysis of distributed multimedia systems o computing distributed object management o distribution methods and solutions for complex multimedia content: downloading, progressive download, P2P, streaming o social networks for content collection and manipulation o GRID solutions and languages for multimedia and cross media processing o Digital Rights Management, DRM o technology protection models for content distribution. o distributed multimedia databases o network architectures mobile networks o mobile computing multimedia stream synchronization o OS support for distributed multimedia systems o QoS control/scheduling o mobile agents and their applications o Web servers and services oriented solutions and applications for multimedia o distributed multimedia digital libraries o collaborative and cooperative solutions and applications, CSCW o distributed cultural heritage multimedia applications o tools and systems e-commerce, e-education and e-entertainment o tele-conference, tele-medicine and tele-lecture o distributed virtual environment, virtual school, virtual university, and virtual learning o distance learning methodology and solutions o distributed games and serious games The use of prototypes and demonstration video for presentations is encouraged. INFORMATION FOR AUTHORS Papers must be written in English. An electronic version (Postscript, PDF, or MS Word format) of the paper should be submitted using the following URL: http://conf.ksi.edu/dms08/submit/SubmitPaper.php. During submission SELECT the TOPIC ?Distributed Multimedia Computing?. Please use Internet Explorer as the browser. Manuscript must include a 200-words abstract and no more than 6 pages of IEEE double column text (include figures and references). TRACK CHAIR Paolo Nesi, Department of System and Informatics, Distributed Systems and Internet Technology Lab, University of Florence Email: nesi at dsi.unifi.it If you have the intention of submitting a paper on this track please inform with an informal email the track chair, as soon as possible. For any problem please contact the track chair or the DMS 2008 Conference E-mail: dms at ksi.edu IMPORTANT DATES 20 APRIL 1, 2008 Paper submission due - - - - - - - - - - - From marco.ronchetti at unitn.it Wed Apr 2 14:09:21 2008 From: marco.ronchetti at unitn.it (Marco Ronchetti) Date: Wed, 2 Apr 2008 14:09:21 +0200 Subject: [ecoop-info] Call for workshop proposals at the 3rd Asian Semantic Web Conference Message-ID: <6bd7a2a30804020509w21244302qb839135981cc3153@mail.gmail.com> ===== Apologies for cross-posting! ===== We are soliciting proposals for workshops to be held in conjunction with the 3rd Asian Semantic Web Conference that will take place in Thailand in December 2008. As usual, the workshops will complement the main conference tracks by providing a forum for active discussion on the current achievements, pitfalls, and the future research directions of the Semantic Web. The full call is available at http://aswc2008.ait.ac.th/callforworkshop.html and http://latemar.science.unitn.it/segue/index.php?&site=EASTWEB§ion=43&page=240&action=site Important dates: 30 April 2008 Workshop proposals due 7 May 2008 Notification of proposal acceptance 15 May 2008 URL for the workshop web page due 15 October 2008 Camera ready workshop proceedings due 8 December 2008 Workshops day Topics of Interest We expect to have a wide range of workshops, including those that * focus on fundamental research issues, * bring together researchers from different disciplines, * support the interaction of research and industry for the deployment of Semantic Web applications. Some examples of the topics we expect are * Semantic Web applications * Semantic Web standards * Impact of the Semantic Web on particular domains (e.g. e-learning, e-government, etc.) * Migrating existing information to be a Semantic Web context * Information integration and Mediation on the Web * Trust in the Semantic Web -- Marco Ronchetti - Dipartimento di Ingegneria e Scienza dell'Informazione Universita' degli Studi di Trento - 38050 Povo (TN) Italy tel: 0461 882033 mob: 335 6006343 fax 0461 882093 http://latemar.science.unitn.it From andrea at di.unipi.it Wed Apr 2 16:11:41 2008 From: andrea at di.unipi.it (Andrea Corradini) Date: Wed, 02 Apr 2008 16:11:41 +0200 Subject: [ecoop-info] WADT 2008 - Final Call for Papers Message-ID: <1207145501.6262.280.camel@acorradini.di.unipi.it> ----------------------------------------------------------------------------- FINAL CALL FOR PAPERS WADT 2008 19th International Workshop on Algebraic Development Techniques Pisa, Italy, June 13-16, 2008 ----------------------------------------------------------------------------- The deadline for submission of two-page abstracts is April 11, 2008 For any other info, please visit the workshop web page, http://www.di.unipi.it/wadt2008 or contact Andrea Corradini Dipartimento di Informatica Largo Bruno Pontecorvo, 3 I-56127 Pisa, Italy Phone: +39 050 2212786 Fax: +39 050 2212726 Email: andrea at di.unipi.it ================================================================== From alexander.romanovsky at ncl.ac.uk Thu Apr 3 11:01:20 2008 From: alexander.romanovsky at ncl.ac.uk (Alexander Romanovsky) Date: Thu, 3 Apr 2008 10:01:20 +0100 Subject: [ecoop-info] 7th European Dependable Computing Conference - call for participation Message-ID: [We apologise if you receive multiple copies of this message. Please forward this mail to your colleagues who might be interested.] Call for Participation Seventh European Dependable Computing Conference EDCC-7 Kaunas, Lithuania May 7-9, 2008 http://edcc.dependability.org/ The sponsors of EDCC-7 are - SEE Working Group "Dependable Computing", France - GI/ITG/GMA TC on Dependability and Fault Tolerance , Germany - AICA Working Group "Dependability of Computer Systems", Italy in cooperation with: - IFIP Working Group 10.4 "Dependable Computing and Fault Tolerance" - EWICS TC7 on Safety, Reliability and Security - IEEE/CS TC on Dependable Computing and Fault Tolerance - Universidad Politecnica de Madrid, Spain - ReSIST, a European Network of Excellence The program of the 7th EDCC features over 40 presentations in the domains of dependable and secure computing. The highlights are: - Keynote Panel "Future Challenges to Dependable and Secure Computing" by four leading European researchers ; - Keynote Address by A. Marino, EC Research Programme Officer; - 17 full-length refereed research papers ; - over 20 short papers on current work in progress; - the panel discussion "How hard is assessing and measuring resilience?"; - A half-day session presenting the accomplishments of the European Network of Excellence ReSIST - Resilience for Survivability in IST. Venue. Reval Hotel Neris is a brand-new four-star hotel and conference center in the city of Kaunas, Lithuania. Free wireless Internet access is provided in every room. To get the guaranteed conference rate, please make reservations by April 15. Travel. Direct flights from several major European airports arrive at the Vilnius International Airport (VNO). Staff of EDCC-7 will meet arriving participants on May 6th and direct them to suitable transportation to Kaunas (100 kilometers from Vilnius). Kaunas International Airport (KUN) has direct Ryanair flights from London (Stanstedt), Dublin, and Frankfurt (Hahn). REGISTER AND RESERVE ACCOMMODATIONS: www.edcc.dependability.org From iclp08pub at cs.nmsu.edu Thu Apr 3 16:34:50 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Thu, 3 Apr 2008 08:34:50 -0600 Subject: [ecoop-info] ICLP'08 CALL FOR PAPERS Message-ID: <200804031434.m33EYoSp004781@pippo.cs.nmsu.edu> CALL FOR PAPERS ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews. A separate session dedicated to the celebration of the 20th anniversary of stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format. The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper. IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 2nd n/a Submission deadline June 9th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma) Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master: Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza ---------------------------------------------------- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From ailab at leary.csoft.net Thu Apr 3 19:48:51 2008 From: ailab at leary.csoft.net (ailab at leary.csoft.net) Date: 3 Apr 2008 17:48:51 -0000 Subject: [ecoop-info] FCS-ARSPA-WITS'08: deadline extension Message-ID: <20080403174851.20549.qmail@mail63.csoft.net> ******************************************* By popular request, the submission deadline is extended to April 10, 2008 ******************************************* CALL FOR PAPERS =============== FCS-ARSPA-WITS'08 Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis, and Issues in the Theory of Security http://profs.sci.univr.it/~vigano/fcs-arspa-wits08/ June 21-22, 2008 Pittsburgh, PA, USA Affiliated with LICS 2008 and CSF 21 IMPORTANT DATES =============== Papers due: April 10 (was: March 30) Notification: May 16 Final papers: June 01 SCOPE ===== The aim of the joint workshop FCS-ARSPA-WITS'08 is to provide a forum for continued activity in different areas of computer security, bringing computer security researchers in closer contact with the LICS community and giving LICS attendees an opportunity to talk to experts in computer security, on the one hand, and contribute to bridging the gap between logical methods and computer security foundations, on the other. We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories, as well as in new results on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. We thus solicit submissions of papers both on mature work and on work in progress. Possible topics include, but are not limited to: Automated reasoning techniques, Composition issues, Formal specification, Foundations of verification, Information flow analysis, Language-based security, Logic-based design, Program transformation, Security models, Static analysis, Statistical methods, Tools, Trust management for Access and resource usage control, Authentication, Availability and denial of service, Covert channels, Confidentiality, Integrity and privacy, Intrusion detection, Malicious code, Mobile code, Mutual distrust, Privacy, Security policies, Security protocols WITS is the official annual workshop organised by the IFIP WG 1.7 on "Theoretical Foundations of Security Analysis and Design", established to promote the investigation on the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security related applications. This is the eighth meeting in the series. The workshop FCS continues a tradition, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, then with the Workshop on Formal Methods and Computer Security (FMCS) in 2000, and finally with the LICS satellite Workshop on Foundations of Computer Security (FCS) in 2002 through 2005, of bringing together formal methods and the security community. ARSPA is a series of workshops on Automated Reasoning for Security Protocol Analysis, bringing 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. The first two ARSPA workshops were held as satellite events of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04) and of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05), respectively. FCS and ARSPA have been joining forces since 2006: FCS-ARSPA'06 was affiliated with LICS'06, in the context of FLoC'06, and FCS-ARSPA'07 was affiliated with LICS'07 and ICALP'07. SUBMISSION ========== All submissions will be peer-reviewed. Authors of accepted papers must guarantee that their paper will be presented at the workshop. Submissions should be at most 15 pages (a4paper, 11pt), including references. The cover page should include title, names of authors, co-ordinates of the corresponding author, an abstract, and a list of keywords. Submissions that are clearly too long may be rejected immediately. Additional material intended for the referees but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Authors are invited to submit their papers electronically, as portable document format (pdf) or postscript (ps); please, do not send files formatted for work processing packages (e.g., Microsoft Word or Wordperfect files). Submission instructions will be published shortly on the workshop's webpage. PUBLICATION =========== Informal proceedings will be made available in electronic format and they will be distributed to all participants of the workshop. Moreover, workshop participants will be invited to submit full versions of their papers to a special issue of the Journal of Automated Reasoning, which will be open also to non-participants, in all cases with fresh reviewing. PROGRAM COMMITTEE ================= Alessandro Aldini (Universita` di Urbino, Italy) Alessandro Armando (Universita` di Genova, Italy) Michael Backes (Universitaet des Saarlandes, Germany) Lujo Bauer (CMU, USA; co-chair) Veronique Cortier (LORIA INRIA-Lorraine, France) Cas Cremers (ETH Zurich, Switzerland) Pierpaolo Degano (Universita` di Pisa, Italy) Sandro Etalle (T. University of Eindhoven, The Netherlands; co-chair) Riccardo Focardi (Universita` di Venezia, Italy) Dieter Gollman (Technische Universitaet Hamburg-Harburg, Germany) Jerry den Hartog (T. University of Eindhoven, The Netherlands; co-chair) Jan Juerjens (The Open University, UK) Ralf Kuesters (Universitaet Trier, Germany) Gavin Lowe (Oxford University, UK) Catherine Meadows (Naval Research Laboratory, USA) Sebastian Moedersheim (IBM Zurich Research Lab, Switzerland) Mark Ryan (University of Birmingham, UK) Luca Vigano` (Universita` di Verona, Italy; co-chair) Steve Zdancewic (University of Pennsylvania, USA) From calvanese at inf.unibz.it Thu Apr 3 20:24:43 2008 From: calvanese at inf.unibz.it (Diego Calvanese) Date: Thu, 3 Apr 2008 20:24:43 +0200 Subject: [ecoop-info] RR 2008 - 2nd Int. Conf. on Web Reasoning and Rule Systems - Call for Papers (revised) Message-ID: Apologies for cross-postings. Please forward this email to anyone interested. ------------------------------------------------------------------------ ----- RR 2008 The Second International Conference on Web Reasoning and Rule Systems http://www.rr-conference.org/RR2008 Karlsruhe, Germany, October 31 - November 2, 2008 Call for Papers The International Conference on Web Reasoning and Rule Systems (RR) aims to be the major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2008 builds on the success of The First International Conference on Web Reasoning and Rule Systems RR 2007, which received enthusiastic support from the Web Rules community. In 2008, RR will continue the excellence of the new series and aim to attract the best Web Reasoning and Rules researchers from all over the world. The reasoning landscape features theoretical areas such as knowledge representation (KR) and algorithms; design aspects of rule markup; design of ontology languages; engineering of engines, translators, and other tools; efficiency considerations and benchmarking; standardization efforts, such as the Rules Interchange Format activity at W3C; and applications. Of particular interest is also the use of rules to facilitate ontology modeling, and the relationships and possible interactions between rules and ontology languages like RDF and OWL, as well as ontology reasoning related to RDF and OWL, or querying with SPARQL. Suggested topics include the following, which is not to be considered as an exhaustive list: * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Standardization * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the web * Semantic Web Services modeling and applications * Web and Semantic Web applications LOCATION: The conference is co-located with ISWC 2008 (http:// iswc2008.semanticweb.org/), the International Semantic Web Conference. SUBMISSION DETAILS: RR 2008 welcomes original research and application papers dealing with web reasoning and rule systems, with particular attention to the topics listed above. Submitted papers are limited in length to fifteen (15) pages, including title, abstract, and list of references, and should be formatted according to the Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html). Submitted papers must be in PDF format. The full paper submission must be preceded by the submission of an abstract. Submission is via EasyChair, at http://www.easychair.org/conferences/?conf=rr2008 Papers may be accepted as: - full papers (15 pages in the proceedings) - short papers (8 pages in the proceedings) - posters (2 pages in the proceedings) Accepted papers will be published by Springer Verlag in the LNCS series. The best papers may also be considered for publication in a prestigious international journal. IMPORTANT DATES: Abstract submission deadline: June 14, 2008 Paper submission deadline: June 21, 2008 Notification of acceptance decisions: July 21, 2008 Camera-ready papers due: Aug. 15, 2008 RR 2008 conference: Oct. 31 - Nov. 2, 2008 GENERAL CHAIR: Thomas Eiter, TU Vienna (AT) PROGRAM CO-CHAIRS: Diego Calvanese, Free University of Bozen-Bolzano (IT) Georg Lausen, University of Freiburg (DE) PROGRAM COMMITTEE: Jose Alferes, Universidade Nova de Lisboa (PT) J?rgen Angele, Ontoprise GmbH, Karlsruhe (DE) Gregoris Antoniou, University of Crete (GR) Marcelo Arenas, Pontificia Universidad Catolico de Chile (CL) Uwe Assmann, Technische Universit?t Dresden (DE) Chitta Baral, Arizona State University (US) Leopoldo Bertossi, Carleton University, Ottawa (CA) Jos de Bruijn, Free University of Bozen-Bolzano (IT) Christoph Bussler, BEA Systems, Inc. (US) Andrea Cali, University of Oxford (UK) Mike Dean, BBN Technologies (US) Hendrik Decker, Ciudad Polit?cnica de la Innovaci?n, Valencia (ES) J?rgen Dix, Universit?t Clausthal (DE) Christine Golbreich, University of Versailles Saint-Quentin (FR) John Goodwin, Ordnance Survey (UK) Gianluigi Greco, Universit? della Calabria (IT) Claudio Gutierrez, University of Chile, Santiago (CL) Giovambattista Ianni, Universit? della Calabria (IT) Manolis Koubarakis, National and Kapodistrian University of Athens (GR) Domenico Lembo, Sapienza Universit? di Roma (IT) Francesca A. Lisi, Universit? di Bari (IT) Bertram Ludaescher, University of California, Davis (US) Thomas Lukasiewicz, Sapienza University of Rome (IT) Carsten Lutz, Technische Universit?t Dresden (DE) Jan Maluszynski, University of Link?ping (SE) Wolfgang May, University of G?ttingen (DE) Ralf M?ller, Technische Universit?t Hamburg (DE) Boris Motik, University of Oxford (UK) Wolfgang Nejdl, LS3 and University of Hannover (DE) Daniel Oberle, SAP AG (DE) P.F. Patel-Schneider, Bell Labs (US) Axel Polleres, National University of Ireland, Galway (IE) Guilin Qi, University of Karlsruhe (DE) Dave Reynolds, HP Labs (UK) Marie-Christine Rousset, University of Grenoble (FR) Ulrike Sattler, University of Manchestor (UK) Sebastian Schaffert, Salzburg Research Forschungsgesellschaft (AT) Roman Schindlauer, TU Wien (AT) Michael Sintek, DFKI GmbH, Kaiserslautern (DE) Giorgos Stamou, National Technical University of Athens (GR) Umberto Straccia, ISTI - C.N.R Pisa (IT) Heiner Stuckenschmidt, University of Mannheim (DE) York Sure, SAP AG (DE) Sergio Tessaris, Free University of Bozen-Bolzano (IT) Rodney Topor, University of Griffith (AUS) Dirk Vermeir, University of Brussels (BE) David Warren, SUNY at Stony Brook (US) P.T. Wood, University of London (UK) Guizhen Yang, SRI (US) LOCAL ORGANIZATION: Sebastian Rudolph, University of Karlsruhe (DE) From bklin at inf.ed.ac.uk Thu Apr 3 23:06:26 2008 From: bklin at inf.ed.ac.uk (Bartek Klin) Date: Thu, 3 Apr 2008 22:06:26 +0100 Subject: [ecoop-info] Structural Operational Semantics 2008: Deadline extended Message-ID: <5143B7F8-6E22-433C-832F-81EB26CCAC62@inf.ed.ac.uk> [Our apologies for multiple copies of this letter] ========================================================= CFP: DEADLINE EXTENDED until April 13 (Sunday) Structural Operational Semantics 2008 An Affiliated Workshop of ICALP 2008 July 6, 2008, Reykjavik, Iceland http://homepages.inf.ed.ac.uk/bklin/SOS2008/ ========================================================= Aim: Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal and flexibility, structural operational semantics has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs, and in proving compiler correctness. Moreover, it has found application in emerging areas of computing such as probabilistic systems and systems biology. Structural operational semantics has been successfully applied as a formal tool to establish results that hold for classes of process description languages. This has allowed for the generalisation of well-known results in the field of process algebra, and for the development of a meta-theory for process calculi based on the realization that many of the results in this field only depend upon general semantic properties of language constructs. This workshop aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the series of SOS workshops is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. For the 2008 workshop we would also like to encourage novel applications of SOS techniques to research areas such as systems biology and hybrid or stochastic systems. Specific topics of interest include (but are not limited to): * programming languages * process algebras * higher-order formalisms * rule formats for operational specifications * meaning of operational specifications * compositionality of modal logics with respect to operational specifications * congruence with respect to behavioural equivalences * conservative extensions and translations of SOS specifications * derivation of proof rules from operational specifications * ordered, modular, and other variants of SOS * comparisons of SOS with rewriting systems, reactive systems and other forms of operational specification * comparisons between denotational, axiomatic and SOS * methods for operational specificiation of probabilistic, timed, stochastic, hybrid and biological systems * software tools that automate, or are based on, SOS. Papers reporting on applications of SOS to software engineering and other areas of computer science are welcome. History: The first SOS Workshop took place in London as one of the satellite workshops of CONCUR 2004. Subsequently, SOS 2005 occurred in Lisbon as a satellite workshop of ICALP 2005, SOS 2006 in Bonn as a satellite workshop of CONCUR 2006, and SOS 2007 in Wroclaw as a satellite workshop of LICS and ICALP 2007. A special issue of the Journal of Logic and Algebraic Programming on Structural Operational Semantics appeared in 2004; a special issue of Theoretical Computer Science dedicated to SOS 2005 appeared in 2007; and a special issue of Information & Computation on Structural Operational Semantics inspired by SOS 2006-2007 is in preparation. INVITED SPEAKERS: Vincent Danos (Edinburgh, UK) Joseph Sifakis (VERIMAG, FR) - joint invited speaker with ICE'08 PAPER SUBMISSION: We solicit unpublished papers reporting on original research on the general theme of SOS. Prospective authors should submit a paper via the workshop web page by: *** Sunday 13th April 2008. *** Papers should take the form of a pdf file in ENTCS format [http://www.entcs.org/], whose length should not exceed 15 pages (not including an optional "Appendix for referees" containing proofs that will not be included in the final paper). We will also consider 5-page papers describing tools to be demonstrated at the workshop. Proceedings: Preliminary proceedings will be available at the meeting. The final proceedings of the workshop will appear as a volume in the ENTCS series. If the quality and quantity of the submissions warrant it, the co-chairs plan to arrange a special issue of an archival journal devoted to full versions of selected papers from the workshop. We would expect this to be a joint special issue with ICE'08. IMPORTANT DATES: * Submission: Sunday 13th April 2008 (Extended deadline!) * Notification: Wednesday 7th May 2008 * Final version: Friday 23rd May 2008 * Workshop: Monday 6th July 2008 * Final ENTCS version due: Friday 8th August 2008. PROGRAMME COMMITTEE: Wan Fokkink (Amsterdam, NL) Matthew Hennessy (Dublin, IE, co-chair) Bartek Klin (Warsaw, PL, co-chair) Catuscia Palamidessi (LIX, Ecole Polytechnique, FR) Iain Phillips (Imperial College, London, UK) Michel Reniers (Eindhoven, NL) Grigore Rosu (Urbana-Champaign, IL, USA) Alex Simpson (Edinburgh, UK) Pawel Sobocinski (Southampton, UK) Simone Tini (Insubria, IT) Shoji Yuen (Nagoya, JP) CONTACT: sos-2008 at inf.ed.ac.uk WORKSHOP ORGANISERS: Matthew Hennessy Department of Computer Science Trinity College Dublin 2 Ireland Bartek Klin Warsaw University and University of Edinburgh, School of Informatics The King's Buildings Mayfield Road, Edinburgh EH9 3JZ United Kingdom -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080403/74370c05/attachment-0001.htm -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: not available Url: http://www.aito.org/pipermail/ecoop-info/attachments/20080403/74370c05/attachment-0001.diff From nurcan at univ-paris1.fr Fri Apr 4 23:37:49 2008 From: nurcan at univ-paris1.fr (Selmin Nurcan) Date: Fri, 04 Apr 2008 23:37:49 +0200 Subject: [ecoop-info] CAISE'08 : Early bid registration Message-ID: <4.2.0.58.20080404233010.01bb17f0@asterix.univ-paris1.fr> Dear Colleague, The program of the CAISE conference is available on http://www.lirmm.fr/caise08/index.php?page=program. Please visit http://www.lirmm.fr/caise08/ for on line registration to the conference as well as the associated workshops and doctoral consortium. Early bid deadline is April 15th, 2008 !! The CAiSE 2008 programme will consist of : - 3 outstanding keynotes, - Evolvable Web Services by Michel P. Papazoglou, INFOLAB/CRISM at the Univ. of Tilburg, Netherlands - Information System in e-Government & Life-Science by Jean-Marie Leclerc, General Director of the Centre of Information Technologies (CTI) of Geneva State Switzerland - Business Entities: Unifying Process & Data Modeling by David L. Cohn, IBM T.J. Watson Research Center, USA. - 35 full and 9 short paper presentations selected for publication out of 271 submissions, - tutorials and 12 associated workshops and one working conference. In addition, the CAiSE 2008 Forum provides an Agora for the presentation of fresh ideas, new concepts, experience reports on application experiences and project reports, as well as demonstration of new and innovative systems, tools and applications. Do not hesitate to forward this message to your colleagues... All members of the CAISE'08 Organising Committee hope to meet you in Montpellier. Best regards, Selmin Nurcan CAISE'08 Publicity Chair -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------- ---------------------------------------------------------------- Selmin NURCAN Ma?tre de Conf?rences / Associate Professor ---------------------------------------------------------------- Submit a paper to IESI'08 in conjunction with INFORSID'08 &&& to inforsid at CAISE'08 in conjunction with CAISE'08 http://crinfo.univ-paris1.fr/users/nurcan/IESI/index.htm ---------------------------------------------------------------- Submit a paper to BPMS2'08 in conjunction with BPM'08 http://crinfo.univ-paris1.fr/users/nurcan/BPMS2/ ---------------------------------------------------------------- Submit a paper to RIGIM'08 in conjunction with ER'08 http://mis.sauder.ubc.ca/rigim2008/ ---------------------------------------------------------------- Don't miss RCIS'08 http://www.farcampus.com/rcis/ ---------------------------------------------------------------- Don't miss CAISE'08 http://www.lirmm.fr/caise08/ !! ---------------------------------------------------------------- Universit? Paris 1 - Panth?on - Sorbonne Centre de Recherche en Informatique 90, rue de Tolbiac 75634 Paris cedex 13 FRANCE http://crinfo.univ-paris1.fr/users/nurcan Tel : 33 - 1 44 07 86 34 Fax : 33 - 1 44 07 89 54 mailto:nurcan at univ-paris1.fr ---------------------------------------------------------------- IAE de Paris Universit? Paris 1 - Panth?on - Sorbonne 21, rue Broca 75240 Paris cedex 05 FRANCE Tel : 33 - 1 53 55 27 13 (r?pondeur) Fax : 33 - 1 53 55 27 01 ---------------------------------------------------------------- To handle yourself, use your head. To handle others, use your heart. ---------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080404/ae1e5391/attachment.htm From j.b.domingue at open.ac.uk Fri Apr 4 23:22:47 2008 From: j.b.domingue at open.ac.uk (John Domingue) Date: Fri, 4 Apr 2008 22:22:47 +0100 Subject: [ecoop-info] THE SIXTH EUROPEAN SUMMER SCHOOL ON ONTOLOGICAL ENGINEERING AND THE SEMANTIC WEB (SSSW-2008): Third Call for participation Message-ID: <511899F3-E297-4BE9-A4EC-579F70F2102F@open.ac.uk> ***APOLOGIES FOR MULTIPLE POSTINGS*** ======================================= THE SIXTH EUROPEAN SUMMER SCHOOL ON ONTOLOGICAL ENGINEERING AND THE SEMANTIC WEB (SSSW-2008): Third Call for participation http://kmi.open.ac.uk/events/sssw08/ VENUE Cercedilla, near Madrid, Spain. DATE 6-12 July, 2008 DEADLINE FOR PROVISIONAL REGISTRATION 20 April, 2008 INTRODUCTION The deadline for registering for the sixth European Summer School on Ontological Engineering and the Semantic Web is now approaching. This summer school, presented by leading researchers in the field, is the successor to the well-received schools held in 2003, as part of the activities of the OntoWeb Network Consortium, and in 2004-2007, as part of the activities of the KnowledgeWeb Network of Excellence. The school represents an opportunity for postgraduate students to equip themselves with the range of theoretical, practical, and collaboration skills necessary for full engagement with the challenges involved in developing Ontologies and Semantic Web applications. To ensure a high ratio between tutors and students the school will be limited to 50 participants. This year the school will be sponsored by a number of European projects including LUISA, NEON, SUPER and X-MEDIA and also by STI International. APPROACH Our approach combines the practical with the theoretical. Tutorial/ lecture material is augmented with hands-on practical workshops and we ensure that the sessions complement each other by linking them to a mini-project. Work on developing and presenting this project in cooperation with other participants will serve as a means of consolidating the knowledge and skills gained from lectures and practical sessions. Participants will be provided with a copy of all course lectures and access to a PC with all necessary tools and environments pre-installed. SSSW-2008 will provide a stimulating and enjoyable environment in which participants will benefit not only from the formal and practical sessions but also from informal and social interactions with established researchers and the other participants in the school. To further facilitate communication and feedback all attendees will be obliged to prepare and present a poster on their own research. TUTORS Sean Bechhofer (University of Manchester, UK) Fabio Ciravegna (University of Sheffield, UK) John Domingue (The Open University, UK) Jerome Euzenat (INRIA Rhone-Alpes, France) Aldo Gangemi (National Research Council, Italy) Asun Gomez-Perez (Universidade Politecnica de Madrid, Spain) KEYNOTE SPEAKERS Mark Greaves (Vulcan, Inc., US) Enrico Motta (The Open University, UK) Natasha Noy (Stanford, US) Guus Schreiber (Free University of Amsterdam, NL) Chris Welty (IBM Watson Research Center, US) ORGANIZING COMMITTEE John Domingue (Director), j.b.domingue at open.ac.uk Asun Gomez-Perez (Co-Director), asun at fi.upm.es FOUNDER Enrico Motta (The Open University, UK) ACCOMMODATION AND SOCIAL EVENTS Cercedilla is a small village in the mountains near Madrid. The school will be held in the Universidad Politecnica de Madrid's student house. The student house has a range of facilities to make your stay more pleasant including en suite bathrooms, swimming pool, bars and restaurants in the village. A gala dinner will be included in the cost. PARTICIPANTS We welcome applicants from anywhere in the world. Normally, but not exclusively, applicants will be postgraduate students in relevant disciplines with some knowledge of ontological or knowledge engineering and/or the development of applications for the World Wide Web. Some basic acquaintance with knowledge representation is required. Accepted candidates are expected to arrive on Sunday between 3pm and 6pm (July 6th) and to participate fully in the activities of the school until it ends, at 2pm on Saturday 12th July. We will not consider applications from students who cannot commit themselves to full participation for the whole duration of the school. COST OF SUMMER SCHOOL INCLUDING ACCOMMODATION, MEALS AND EXCURSION Euros 780. TRAVEL AND LOCAL INFORMATION The nearest airport is Madrid-Barajas. Participants will be able to use local rail links from Madrid to Cercedilla. Further information about how to reach Cercedilla will be posted on the web site, http://kmi.open.ac.uk/events/sssw08/ at a future date. REGISTRATION Registration forms will be posted on our website at a future date. IMPORTANT DATES Registration Opens: 10th March 2008 Registration Closes: 20th April 2008 Notification of acceptance: 1st May 2008 Deadline for payments: 30th May 2008 John ___________________________ Prof. John Domingue, Deputy Director, Knowledge Media Institute, The Open University, Walton Hall, Milton Keynes, MK6 7AA http://kmi.open.ac.uk/people/domingue/ From diwt2008 at dirf.org Sat Apr 5 21:51:16 2008 From: diwt2008 at dirf.org (diwt2008 at dirf.org) Date: Sun, 06 Apr 2008 01:21:16 +0530 Subject: [ecoop-info] Last CFP: 1st IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) Message-ID: <20080406012116.4gqbf9xhqeck0g08@202.54.156.184> The First IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) Ostrava, Czech Republic, August 4-6, 2008 http://www.dirf.org/diwt2008/ ======================================================================== Sponsored by IEEE. All the ICADIWT 2008 papers will be published by IEEE and indexed in IEEE Xplore and EI. The First International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments and applications in all areas of Computer and Information Sciences, Artificial Intelligence, Mobile Computing, Networking, Web Content Mining, Health Informatics, Bioinformatics and IT Applications across disciplines. The ICADIWT 2008 will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. This conference welcomes papers focusing on, but not limited to, the following research topics: Information Retrieval Wireless network Signal processing, pattern recognition and applications Digital image processing Speech processing Parallel and distributed computing and networks Information retrieval and internet applications Software engineering E-technology Artificial intelligence and applications Databases and applications Genetic algorithms Data mining Real time systems Computer and network security E-commerce and E-applications Programming languages Multi-Agent systems Each submission undergoes review for originality, technical merit, methods, experiments etc. Modified versions of the selected papers of the conference will be published in the following peer reviewed journals. 1. Journal of Digital Information Management (ISSN 0972 7272) (http://www.dirf.org/jdim) 2. International Journal of Autonomic Computing (IJAC) http://www.inderscience.com/browse/index.php?journalID=110 ) 3. Journal of Information Assurance and Security (http://www.dynamicpublishers.com/JIAS/openconf.php) 4. Neural Network World (http://www3.cs.cas.cz/nnw) There will be special sessions on the following topics. SPECIAL SESSION Session Name: Business Intelligence and Knowledge Management Session Chair: Ezendu Ariwa London Metropolitan University, United Kingdom Email e.ariwa at londonmet.ac.uk Session Name: Social Information Retrieval Session Chair: Dion Goh Nanyang Technological University Singapore Email ashlgoh at ntu.edu.sg LOCATION : ICADIWT 2008 will be organized by VSB- Technical University of Ostrava, located in Czech Republic in cooperation with the Digital Information Research Foundation (DIRF) located in India. All the activities of the conference will take place at the Czech Republic. IMPORTANT DATES : Submission of papers deadline: April 15, 2008 Notification of acceptance: May 15, 2008 Camera-ready submission and registration: June 15, 2008 Conference date: August 4-6, 2008 COMMITTEES: General Chairs: Vaclav Snasel, VSB-Technical University of Ostrava, Czech Republic Jaroslav Pokorny, Charles University in Prague, Czech Republic Program Chairs Ajith Abraham, Norwegian University of Science and Technology, Norway Khalid Saeed, Faculty of Computer Science, Bialystok University of Technology, Poland Dusan Husek, Institute of Computer Science, Academy of Science, Czech Republic Publicity Chair Pit Pichappan, Al Imam Saud Bin University, Saudi Arabia Proceedings Chair Eyas El-Qawasmeh, Applied Science University, Jordan Organising Committee Jan Martinovi - Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava,Czech Republic Submission :All submissions will be at: http://www.dirf.org/diwt2008/submission.asp _______________________________________________ From petfr at ida.liu.se Mon Apr 7 09:25:12 2008 From: petfr at ida.liu.se (Peter Fritzson) Date: Mon, 7 Apr 2008 17:25:12 +1000 Subject: [ecoop-info] 2nd CFP: ECOOP Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT) Message-ID: <200804070725.m377Ow16000470@portofix.ida.liu.se> CFP: ECOOP Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT) Call for Contributions EOOLT'2008 2nd Workshop on Equation-Based Object-Oriented Languages and Tools in conjunction with ECOOP 2008 July 8, 2008 (Pathos, Cyprus) http://www.eoolt.org/2008/ (see also: http://2008.ecoop.org/) SCOPE Computer aided modeling and simulation of complex systems, using components from multiple application domains, such as electrical, mechanical, hydraulic, control, etc., have in recent years witnessed a significant growth of interest. In the last decade, novel modeling and simulation languages, (e.g. Modelica, gPROMS, Chi, Verilog-AMS, and VHDL-AMS) based on acausal modeling using differential algebraic equations (DAEs) have appeared. Using such languages, it has become possible to model complex systems covering multiple application domains at a high level of abstraction through reusable model components. In the last couple of years the name equation-based object-oriented (EOO) language has been introduced to denote modeling languages within this category. The EOOLT Workshop addresses the current state of the art of EOO modeling languages as well as open issues that currently still limit the expression power, correctness, and usefulness of such languages through a set of full-length presentations and forum discussions. The workshop is concerned with, but not limited to, the following themes: * Acausality and its role in model reusability. * Component systems for EOO languages. * Database lookup and knowledge invocation. * Discrete-event and hybrid modeling using EOO languages. * Embedded systems. * EOO language constructs in support of simulation, optimization, diagnostics, and system identification. * EOO mathematical modeling vs. UML modeling. * Equation-based languages supporting DAEs and/or PDEs. * Formal semantics of EOO related languages. * Multi-resolution / multi-scale modeling using EOO languages. * Numerical coupling of EOO simulators and other simulation tools. * Parallel execution of EOO models. * Performance issues. * Programming / modeling environments. * Real-time simulation using EOO languages. * Reflection and meta-programming. * Reuse of models in EOO languages. * Table lookup and interpolation. * Type systems and early static checking. * Verification. * Model-driven development. CONTRIBUTIONS Researchers and practitioners are invited to submit full-length research papers (up to 10 pages) for consideration by the program committee. Papers are welcome that offer presentations and discussions of existing tools, their capabilities and limitations; reports on practical experience; demonstrations of tools, ideas, and concepts; positions related to relevant questions; and discussion topics. PUBLICATION If a paper has been accepted, the authors should present the paper at the workshop and also have the paper published in electronic proceedings (and a local conference paper version) at Link?ping University Electronic Press. The best of these papers will be selected and the authors will be asked to resubmit an extended version for review and to be possibly published in the SIMPRA journal. Important Dates * Submission deadline: April 30 * Author notification: May 26 * ECOOP Early Registration: June 1 * Camera-ready: June 9 * Workshop in Cyprus: July 8 Organizing Committee * Peter Fritzson (Chair) * Fran?ois Cellier (Co-Chair) * David Broman (Co-Chair) * Loucas Louca (Local Organizer), University of Cyprus For questions regarding the workshop, please send an email to the organizing committe: 2008 at eoolt.org. Program Committee (incomplete) Peter Fritzson, Link?ping University, Sweden; Chair Fran?ois Cellier, ETH Zurich, Switzerland; Co-Chair David Broman, Link?ping University, Sweden; Co-Chair Bernhard Bachmann, University of Applied Sciences, Bielefeld, Germany Bert van Beek, Eindhoven University of Technology, Netherlands Gilad Bracha, Cadence Design Systems, USA Felix Breitenecker, Technical University of Vienna, Austria Jan Broenink, University of Twente, Netherlands Peter Bunus, Link?ping University, Sweden Ernst Christen, Lynguent, Inc., Portland, OR, USA Sebasti?n Dormido, National University for Distance Education, Madrid, Spain Olaf Enge-Rosenblatt, Fraunhofer Institute for Integrated Circuits, Dresden, Germany Peter Feiler, SEI, Carnegie-Mellon University, USA Stefan J?hnichen, Fraunhofer FIRST and TU Berlin, Germany Petter Krus, Link?ping University, Sweden Loucas Louca, University of Cyprus, Cyprus Jakob Mauss, QTronic GmbH, Berlin, Germany Pieter Mosterman, MathWorks, Inc., Natick, MA, USA Ramine Nikoukhah, INRIA Rocquencourt, France Henrik Nilsson, University of Nottingham, United Kingdom Martin Otter, DLR Oberpfaffenhofen, Germany Chris Paredis, Georgia Institute of Technology, Atlanta, Georgia, USA C?sar de Prada, University of Valladolid, Spain Juan Jos? Ramos, Autonomous University of Barcelona, Spain Peter Schwarz, Fraunhofer Institute for Integrated Circuits, Dresden, Germany Paul Strooper, University of Queensland, Brisbane, Australia Michael Tiller, Emmeskay, Inc., Plymouth, MI, USA Martin T?rngren, KTH, Stockholm, Sweden Alfonso Urqu?a, UNED, Madrid, Spain From rnitendra at in.ibm.com Mon Apr 7 11:36:02 2008 From: rnitendra at in.ibm.com (Nitendra Rajput) Date: Mon, 7 Apr 2008 15:06:02 +0530 Subject: [ecoop-info] Extended Deadline: First International Workshop on Modeling Mobile Applications and Services Message-ID: Deadline Extended: Paper abstract submission: April 6, 2008 Extended to April 20, 2008 Full papers submission: April 15, 2008 Extended to April 30, 2008 CALL FOR PAPERS First International Workshop on Modeling Mobile Applications and Services (M2AS?08 ) http://www.irpps.cnr.it/eventi/m2as08.htm held in conjunction with the 27th International Conference on Conceptual Modeling (ER 2008) http://www.upc.edu/ER2008/index.shtml 20 - 23 October 2008 Barcelona, Catalonia, Spain Aims and Scope The great diffusion and the growing demand for advanced mobile devices involves billions mobile phone users worldwide. Mobile devices are becoming central means for service delivery and future mobile services will very likely come. In fact, mobile devices can make services available anywhere, anytime, and in any format. That is, models, methods and technologies for the Mobile Communication, Mobile Web and services design are relevant discussion issues for providing the state of the research and new ideas and solutions in the research area. The objectives of the M2AS Workshop are to promote discussion on concepts, models, methods, languages and systems for designing mobile pervasive services, their technological standards and architectural solutions. List of topics The M2AS?08 Workshop invites researchers, engineers, services developers to propose their research and works in the field of mobile devices and services. Papers may deal on method, models, case studies, practical experience and technologies. Topics of the workshop include but are not limited to: a.. Conceptual models for Mobile web and services b.. Conceptual models of human computer interaction c.. Device technologies d.. Communication technologies e.. Multimodal systems f.. Mobile systems and services g.. Usability evaluation methodologies for mobile pervasive application h.. Interactive context-aware services on mobile devices i.. User experiences, user studies j.. Application and scenarios Workshop Organisation committee ? Fernando Ferri, IRPPS-CNR, Rome, Italy (fernando.ferri at irpps.cnr.it) ? Patrizia Grifoni, IRPPS-CNR, Rome, Italy (patrizia.grifoni at irpps.cnr.it) ? Maria Chiara Caschera, IRPPS-CNR, Rome, Italy (mc.caschera at irpps.cnr.it) Program Committee Frederic Andres, National Institute of Informatics, Japan Paris Avgeriou, University of Groningen, The Netherlands Regina Bernhaupt, University of Salzburg, Austria Michela Bertolotto, University College Dublin, Ireland Antonio Fern?ndez-Caballero, University of Castilla-La Mancha, Spain Augusto Celentano, University of Venice, Italy Richard Chbeir, Bourgogne University, France Fang Chen, National ICT, Australia Deborah Dahl, Conversational Technologies, USA Alfred Dielmann CSTR, University of Edinburgh, UK Chirine Ghedira, Claude Bernard Lyon I University, France Ho-fung Leung, Chinese University of Hong Kong, China Oscar Pastor L?pez, Technical University of Valencia, Spain Paolo Merialdo, University of Roma Tre, Italy Amit Anil Nanavati, IBM Research, India Nitendra Rajput, IBM Research, India Thomas Strang, German Aerospace Center (DLR), Germany David Taniar, Monash University, Australia Riccardo Torlone, University of Roma Tre, Italy Olga De Troyer, WISE, Belgium I?aki V?zquez, University of Deusto, Spain Important dates Paper abstract submission: April 6, 2008 Extended to April 20, 2008 Full papers submission: April 15, 2008 Extended to April 30, 2008 Notification: May 24, 2008 Camera-ready papers: June 21, 2008 Submission: All submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression. All submissions must be in English. Since the proceedings will be published by Springer in the LNCS series, authors must submit manuscripts using the LNCS style. Submissions should be in PDF format (http://www.springer.de/comp/lncs/authors.html) and must not exceed 10 pages in the final camera-ready format. Submitted papers need to be original and not submitted or accepted for publication in any other workshop, conference, or journal. The organizers will oversee a peer-review process for the submitted papers. Papers should be submitted to m2as at irpps.cnr.it From info at eurosis.org Mon Apr 7 12:32:18 2008 From: info at eurosis.org (info at eurosis.org) Date: Mon, 7 Apr 2008 12:32:18 +0200 Subject: [ecoop-info] [EUROSIS-AD] ESM'2008, October 27-29, 2008, Universite du Havre, Le Havre, France, 1ST CFP Message-ID: <200804071032.m37AWIVG029763@www.eurosis.org> ------------ESM'2008, OCTOBER 27-29, 2008, UNIVERSITE DU HAVRE, LE HAVRE, FRANCE, 1ST CFP------------ FIRST CALL FOR PAPERS ESM2008 The 2008 European Simulation and Modelling Conference Le Havre, France October 27-29, 2008 MODELLING AND SIMULATION 2008 Methodology and Tools Simulation and AI High Performance and Large Scale Computing Simulation in Education and Graphics Visualization Simulation Simulation in the Environment, Ecology, Biology and Medicine Analytical and Numerical Modelling Techniques Web Based Simulation Agent Based Simulation Cosmological Simulation Simulation with Petri Nets Simulation with Bond Graphs DEVS Workshop Fluid Flow Modelling Simulation Complex Systems and Self-Organization Modelling Models and simulations for Emergency and Risk Management Complex Systems: Historical & Dynamical point of view Emotional dimensions of cognition and their modelling in problem-solving, learning and decision-making Artificial Society Simulation, Modelling and Data Management in Real-Time Systems Tutorials Student Papers, Poster Sessions Partners for Projects Sessions Exhibition Organised by The European Technology Institute and Sponsored by EUROSIS L'Universite du Havre For latest information see: www.eurosis.org or http://www.eurosis.org/cms/?q=taxonomy/term/129 AIM OF ESM 2008 The 22nd annual ESM 2008 (European Simulation and Modelling Conference) is the original European international conference concerned with state of the art technology in modelling and simulation. ESM 2008 aims to provide an overview of academic research in the field of computer simulation. A number of major tracks of simulation research are presented next to specific workshops, which capture the art and science of present-day simulation research. KEYNOTE: Multi-agent modelling and applications to robotics and cognition Aladdin Ayesh, De Montfort University, Leicester, United Kingdom All submissions will be peer reviewed by at least three members of the International Program Committee. Accepted papers will be published in the conference Proceedings (both print and electronic format on the web), that will be copyrighted and widely disseminated. All talks and tutorials, must be accompanied by a paper of between three to eight Proceedings pages. Contributions to the technical program are solicited in the following general areas; METHODOLOGY AND TOOLS METHODOLOGY Continuous, discrete and hybrid simulation methodology, Simulation environments, Multi-paradigm simulation, Simulation uncertainty, Simulation visualisation, Integration of simulation and geographical information systems, Object-oriented programming and Languages, Multi-paradigm Languages, Software comparisons. Numerical Methods for Simulation, Mathematical Analysis in Simulation, Parallel Simulation Methodology, Discrete Event Simulation, Simulation Fidelity and Performance Evaluation, Advanced Training and Simulation Concepts for Education, Multiparameter Sequential Optimization Methods in Simulation, Verification, Validation, and Control in Complex Systems Simulation, Distributed and Parallel Systems Simulation, Combined Continuous and Discrete Event Models, Symbol Analysis and Manipulation of Equation-Based Models, Simultaneous vs Modular Simulation Methods, Standardization Issues OBJECT ORIENTATION AND RE-USE Object-Oriented Modelling Languages, Modularity, Model Structuring, Inheritance, Model Re-use, Organization of Model Libraries TOOLS Simulation Tools, Statistical Output Evaluation Tools, Optimization Tools, Special Purpose Simulation Languages and Tools, Simulator Development Environments, Interfaces for Coupling with External Tools SIMULATION AND AI AI Based Simulation Languages, Special Architectures, Graphical Simulation Environments and Simulation Software Tools, Intelligent Simulation Environments, Parallel Processing Environments for Simulation, User Friendly Software Tools, Advanced Man-Machine Interfaces, Graphical Model Editors, Browsing Facilities, Database Management of Models and Results, Architecture of Modelling and Simulation Environments AI AND EXPERT SYSTEMS Expert Controllers and Genetic Algorithms in Simulation, Knowledge Based Simulation Tools, AI and Expert Systems in Simulation AI AND NEURAL NETWORKS Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre- treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development), Neural nets for simulation: modelling of parts (components) of the system simulated by neural networks, evaluation of simulation models using neural nets, decision support in simulation models by neural nets; Simulation of neural nets: systems of pre-designed neural networks, techniques and tools for simulation and programming of neural networks. AI AND FUZZY SYSTEMS Fuzzy Qualitative simulation, fuzzy rules and fault models. Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre-treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development). HIGH PERFORMANCE AND LARGE SCALE COMPUTING This track invites contributions on efficient Modelling and Simulation Algorithms and Computer-intensive Simulation Projects on High-performance Large Scale Computers and Distributed Platforms. Methods and techniques for parallel simulation (scheduling, synchronisation, load balancing), Performance of parallel and distributed simulation (experimental and comparative studies, performance models, benchmarks), High Level Architecture (HLA) and related standards (time management, model semantics, implementation issues), High Performance and Large Scale Systems for Computational Science (biological, chemical, physical, etc.) Application of parallel and distributed simulation (computer systems, manufacturing systems, etc.), Parallelisation of simulations (numerical methods, (Quasi-Monte-Carlo simulation), Simulation in Cluster, Multicluster, and Grid Computing, Simulation in Pervasive and Ubiquitous Computing (wireless, mobile, wearable, invisible) SIMULATION IN EDUCATION AND GRAPHICS VISUALIZATION SIMULATION This track covers; Simulation and e-learning, - Role Strategies) Management Games, Simulation with "man in the loop", Virtual Reality Systems, Realistic Presentation of Simulation, Results, Simulation for Training and Education, Web-based Simulation, Multi-site Group Simulation, Special Purpose Simulation Languages and Tools, Simulation Environments, Simulator Development Environments, Visual Modelling Tools, Multimedia, Visualisation and Animation Tools, Interfaces for Coupling with External Tools SIMULATION IN ENVIRONMENT, ECOLOGY, BIOLOGY AND MEDICINE The main goal is to enhance the trans-disciplinarity and to facilitate contacts and dialogs between computer scientists and specialists of Environmental Sciences. Since 10 years the modelling process took benefits from recent (and less recent) techniques of computer science : Object-Oriented Languages, Discrete Event Simulation, Concepts of Agent and Actor, Fuzzy Logic, UML, model - GIS interface, Web-based simulation, environment management, predictive models of forest growth, fishing, climate and other biological processes. Papers dealing with ecological modelling (in a wider sense) are welcome in the areas of: Applications: Environment managing, Waste managing, Ecosystem dynamics (terrestrial and oceanographic ecology) Population dynamics (diseases & epidemics, changes in biodiversity, genome, predator-prey relationships, fishing...), Population behaviour, Individual behaviour, involving methodologies such as: Artificial Intelligence, Distributed Interactive Simulation, High-Performance Computing, Languages, Modelling Techniques, Simulation Methodologies & Tools, Synthetic Environment, Virtual Reality, Petri nets, DEVS and Bond Graphs. Modelling and simulation have an important role in structuring biological, medical and ecological systems. The intrinsic complexity and non-linearity of these types of systems need continuous and discrete simulation methodology, soft computing methodology in order to handle the different degrees of uncertainty, as well as virtual reality methodology describing the time and space dependent complexity. SIMULATION IN BIOLOGICAL SYSTEMS Topics are biological systems, medical systems and ecosystems with the domain specific topics such as molecular modelling, genetic algorithms in biosystems, fuzzy sets and neural nets in biosystems, physiology, cardiology, anesthesia, cancer, circulatory system, respiratory system, renal system, biomechanics, agricultural production, simulation of global change, ecotechnology and eco- engineering, GIS, population dynamics, etc Simulation of Patient Care,Quality of Service, Hospital Logistics, Simulation of Disease Proliferation, Virtual Reality in Surgical Procedures, Simulating Biological Phenomena and Organs, Simulation as a Tool for Diagnosis, Simulation of Emergency Procedures (Disaster Gaming), General Medical Simulations, Pharmacometric Modelling, Physiological Simulations. ANALYTICAL AND NUMERICAL MODELLING TECHNIQUES Contributions based on exact and approximate methods as well as applications are encouraged but not restricted to the following topics: Techniques and Algorithms, Stochastic Petri Net Models, Queuing Systems and Network Models, Markov Models, Performance Optimization, Stochastic Process Algebras, Stochastic Precedence Graphs, Bounds and Theoretical Properties, Interconnection Networks, Evaluation Studies of Analytical and Numerical Modelling, Computer Systems, Manufacturing Systems, Workflow Management Systems, Communication Systems (LANs and Distributed Systems, ATM Switches, Mobile Radio,...), Workload modelling and Characterisation, Operating Systems, Client-Server Systems, Multimedia Systems, Measurements and Hybrid Techniques, Software Performance and Software Tools for Analytical and Numerical Modelling WBE BASED SIMULATION Web-based Simulation Environments (WSE), Web-based Distributed Interactive Simulation (WDIS) Sharing and reuse of simulation models and tools in WSE , Techniques and Standards for model integration, Communication interoperability in WSE and WDIS, WSE and WDIS applications to education, training and learning. , Simulation visualization/animation in WSE and WDIS, Web-based Distributed Simulation (distributed modelling via the Web, Java based, Federated, and so on) AGENT BASED SIMULATION Agent Based Simulation covers, Basic Methodologies, Agent Architectures, Model Specification and Languages, Mobile Agents, Multi Agent System Communication and Cooperation, Multi-Level Simulation and Emergence, decision making and Strategies, plus applications in Ecology and Environment (environment management, resource management, social and political impact on the environment, computer aided decision making, socio-eco systems modelling), psychology, Cognitive Science and AI, Economics and Market Systems, Business Process Management, Industry, Manufacturing and Logistics and Transport(control of Industrial Systems, scheduling, Planning, Supply Chain) and Health Care with the emphasis on simulation and modelling. COSMOLOGICAL SIMULATION Detailed computer simulations are a powerful tool to study one of the biggest challenges for theoretical cosmology: How did the galaxies we see in the universe today form out of the small fluctuations in matter density that were present in the primordial universe? Having carried out the largest cosmological simulations ever, scientists of astrophysics are able to follow the hierarchical galaxy formation process with unprecedented accuracy and detail, allowing new theoretical insights into dark matter dynamics, and novel tests of the cold dark matter theory for galaxy formation. Simulations in this area, at present can be categorized under: The Millenium Simulation, Galaxy Formations Simulation, First Objects, Mock Catalogues, Dark Matter Halos, Intergalactic Medium, Semi-Analytical Modelling and Hubble Volume Simulation, Star Formation etc... WORKSHOP SIMULATION WITH PETRI NETS Petri nets were introduced by C.A. Petri as a "finitary combinatorial model of event topology which, is in close correspondence with the models of modern physics, is capable of describing total information flow, and has proven superior to some conventional models both in construction and in analysis of systems of complex organization". Although many other models of concurrent and distributed systems have been developed, Petri nets are still considered "a central model for concurrent systems with respect to both the theory and the applications" due to the natural way they allow to represent reasoning on concurrent active objects which share resources and their changing states. The huge amount of work invested in making the modelling power of Petri nets formalism more and more intensive, led to a continuous evolution of this area, such that "Petri nets" is currently a generic name for a whole class of models divided into three main layers (ranging from Elementary Net Systems and Place/Transition nets to traditional High Level nets and High Level nets with abstract data types). For the performance evaluation of the modelled system, time execution and/or stochastic processes have also been considered, leading to important extensions to the above general Petri nets classification: Timed and Stochastic Petri nets. Petri nets are widely considered as an operational (rather than denotational) formalism for Discrete Event Systems. They have proven to be useful in solving difficult discrete-event problems in a variety of application domains such as in software engineering, operating systems, databases, communication and co-operation protocols in distributed systems, manufacturing systems, defence command and control, business processes and telecommunications, etc. As investigations in this area show, Petri nets also cover a large number of currently active research areas. Despite the great amount of work and achievements, much effort is still to be done to meet the applications requirements. This workshop is intended to provide a forum for the presentation and discussion of original ideas, recent results and achievements by researchers, students and system developers on issues and challenges related to the above domain. We invite to submit original contributions addressing, but not limited to one of the following topics: -- Simulation using Petri Net Systems, -- Place/Transition nets, -- High-level Petri nets, -- Timed and Stochastic Petri nets, -- Temporal and real-time logics with respect to Petri nets, -- Analysis methods of High Level nets and their time extensions, -- Modular Petri nets, -- Object-oriented Petri nets (OOPNs), -- Computer tools based on OOPNs, -- Applications of OOPNs. WORKSHOP MODELLING AND SIMULATION WITH BONDGRAPHS The Bond Graph Workshop will bring experts together for the purpose of discussing new concepts, methods, techniques, tools and applications of this energy-based modelling methodology. Papers dealing with all aspects of the use of bond graphs in system design, analysis, and control are welcome. The workshop will provide a forum for the presentation and discussion of recent research and applications of the Bond Graph methodology. Research papers are welcome in the following categories of presentation: Tutorials, Panel Discussions, Software and Tools, Bond Graph Theory, Advanced Bond Graph Methodology, Bond Graphs and Block Diagrams, Computer Graphics and Bond Graph Modelling, Qualitative Modelling, Mechatronics Systems, Mechanical Systems and Robotics, Electrical and Power Systems, Control Systems, Thermal and Chemical Systems, Biomechanics and Prosthetics, Ecological Systems, Biological and Medical Systems, Social and Economic Systems, Industrial Applications, Large, Nonlinear Models DEVS WORKSHOP The DEVS Workshop will cover: Extensions to the DEVS formalism, DEVS and Distributed DEVS frameworks, DEVS-based next generation VHDL, DEVS standardization, DEVS applications FLUID FLOW SIMULATION MODELLING WORKSHOP Papers are solicited in: Conventional fluid dynamics New developments in boundary tracking, adaptive multiscale meshes, algorithm stability, turbulence Atomistic methods Ab-initio and classical molecular dynamics, direct simulation Monte Carlo. Mesoscopic methods Lattice gases, lattice-Boltzmann, smoothed particle dynamics, dissipative particle dynamics, discrete simulation automata, etc. Hybrid methods Atomistic-mesoscopic and mesoscopic-continuum: direct simulation Monte Carlo, adaptive-mesh dissipative-particle dynamics, etc. Multidisciplinary and industrial applications Chemical and biomedical engineering, automotive, oil extraction and aeronautic industry, flow in porous media, Fluid Dynamics Simulation, Fluid Dynamics Simulation in Turbomachinery Flow Analysis of Pump Turbines, Water, air, vibration analysis through fluid flow modelling, Electromagnetic Field Simulation, Virtual Wind Tunnels, Structural analysis Statics (Stress, Deformation), Dynamics (Vibration), Eigen value, Fatigue, Thermal load Electric power plants, General plant components Computational fluid dynamics Compressible flow, Incompressible flow, Heat transfer, Multiphase/multi component flow, Combustion, Reaction,, Noise (Flow- induced sound) Gas turbines/Steam turbines,Combustors, Nuclear plant components, Hydro turbines, Pumps, Heat exchangers, Piping systems Computational electro-magnetics Static elecromagnetics, Eddy current, Electromagnetic wave, Electric circuit Nuclear fusion reactor, Transformers, Switch gear, Rotating machinery, Inverters/Converters Coupled problems Fluid-structure coupled analysis, (Flow-induced vibration), Fluid-electric field coupled analysis, (Insulation) Heat exchangers, Electric power transmission components MODELS AND SIMULATIONS FOR EMERGENCY AND RISK MANAGEMENT Multiple and unexpected failures but also catastrophes waiting to happen are built into our "society's complex systems". This is a matter of increasing concern. How should we understand, control or avoid such potential crisis on a local/global scale, where local interactions play a major role? Simulations are powerful tools in a context where risk is the product of probability of accident by the losses per accident. This risk can be major when it is collective, the occuring frequency is low, the impacts on humans or environment are very important. In this kind of risk, it is necessary to engage exceptional resources to prevent, to forsee and to help. This aspect is very important, but some crises have demonstrated that the problems can be in upstream and it is also necessary to consider the detection, the defects diagnosis and the supervision of risk systems. We solicit contributions on (not exhaustive): * Modeling risk (including technical, environmental and human factors) to prevent and to manage * Tools of analysis, detection and early diagnosis * Population flow before, during and after the crisis * Information flow for the emergency COMPLEX SYSTEMS: HISTORICAL & DYNAMICAL POINT OF VIEW Complex Systems is a contemporary topics and it is interesting to take a sight on it through both Historical and Dynamical point of view. So this session aims to propose a study of Complex Systems dealing with various domains such as Physics, Biology, Chemistry, Ecology... For example, Historical and Dynamical aspects of Van der Pol circuit or Predator-prey model should be highlighted through an overview of all studies already done and may be followed by a presentation of new ideas or concepts on the subject. EMOTIONAL DIMENSIONS OF COGNITION AND THEIR MODELLING IN PROBLEM-SOLVING, LEARNING AND DECISION-MAKING Cognition is studied from various approaches, both from a computable vision allowing to understand, reproduce the complexity of human brain functioning and from the human understanding vision linking with memory, behavior and feelings. Emotional dimensions have been studied in this context since only few decades because of the complexity to express and to define them and to explain their interaction with cognition, including problem-solving, learning and decision-making. In this session, we expect some contributions from computer sciences researchers for the modeling contribution and from psychologist researchers for the lightening of these complex interactions, including their fundamental knowledge on human behavior. The contribution from neuro-psychologist researchers will allow to root the cognitive and behavioral description on embodied knowledge, allowing to find relevant modeling dimensions. ARTIFICIAL SOCIETY This session focuses on the two complementary aspects: (1) modelling the society and its spatial systems according to their complexity and (2) to use the society as model for distributed artificial agents which contribute to solve problems using their social behaviour. The mixing of contribution from human sciences researchers and from computer sciences researchers are welcome and expected. The contributions on these topics can be based on swarm intelligence, social insect-based algorithms, cultural algorithms, cellular automata modelling. Community detection over graphs or over geographical information systems is also relevant contributions for this session. The understanding of the dynamical complex development of the human and animal society is one of the goals of innovative research for advancing geographical studies based on complexity approaches and for distributed artificial intelligence modelling. SIMULATION, MODELLING AND DATA MANAGEMENT IN REAL-TIME SYSTEMS (SMDM-RTS'2008) The SMDM-RTS'2008 session organized by the LITIS laboratory deals with all aspects of the simulation, Modelling and data management in real-time systems, including the management of quality of service. The aim of the session is to present the researches already done and current researches in this area. This will be done throughout invited papers on one hand, and on the presentations of research papers related to simulation and Modelling in systems combining both database systems aspects and real-time systems aspects. The relationships between these systems and their applications to many areas will be pointed out. The session deals also with papers related to mobility and real-time in geographic information systems, to all aspects of sensor databases, to applying real-time and mobility in intelligent/vehicles and transport systems, in stock trading, etc. Topics of interest include, but are not limited to: * Feedback Control Scheduling Architecture : simulation and Modelling * Modelling of real-time data and real-time transactions * Real-Time Applications for Intelligent Transport Systems (ITS) * Simulation and/or Modelling of Real-Time Multimedia Systems, Quality of Service management * Distributed Simulations for Real-Time Systems and Real-Time Databases * Management of real-time data * Sensor databases * Formal or unformal specifications of real-time database systems * Real-Time Geographic Systems * Real-time vision and perception in ITS * Modelling of Real-Time Component based Systems and Real-Time Design Pattern Systems We also encourage authors to present novel ideas, critique of existing work, and application examples, which demonstrate how real-time DBMSs technology could be effectively deployed and might be be better than existing systems. We also welcome practical work which applies real-time DBMSs in real-word applications. PhD works are welcome. TUTORIALS Tutorials can be proposed in the following three categories: T1- Introductory tutorials T2- State of the Art Tutorials T3- Software and Modelware Tutorials Tutorial proposals should be emailed to Philippe.Geril at eurosis.org POSTER SESSION The poster session only features work in progress. Next to the actual poster presentation, these submissions also feature as short papers in the Proceedings. STUDENTS SESSION This session is for students who want to present their work in progress or part of their doctoral thesis as a paper. Student papers are denoted by the fact that only the name of the student appears on the paper as an author. They are published as short papers in the Proceedings. DIVERSE ACTIVITIES For demonstrations or video sessions, please contact EUROSIS. Special session will be set up for vendor presentations in co- ordination with the scientific program. User Group meetings for simulation languages and tools can be organised the day before the conference. If you would like to arrange a meeting, please contact the Conference Chairs. We will be happy to provide a meeting room and other necessary equipment. Partners for projects session(s) will be organised by EUROSIS to give potential project teams or individuals the opportunity to present their research in order to link up with fellow researchers for future research projects. Those wishing to participate in this session need to send a proposal to EUROSIS. A EUROSIS TC Meeting and an EU Project update meeting EXHIBITION A special exhibition will be held during the conference focused on simulation tools. For more information please contact EUROSIS for further details. Email: Philippe.Geril at eurosis.org DEADLINES AND REQUIREMENTS Send all submissions in an ELECTRONIC FORM ONLY in zipped Microsoft Word format, PDF or Postscript format indicating the designated track and type of submission (full paper or an extended abstract) to the EUROSIS (Philippe.Geril at eurosis.org). Please provide your name, affiliation, full mailing address, telephone / fax number and Email address on all submissions as well. For submissions please put in the subject of your Email the following indications: ESM2007 and designated track or USE THE ABSTRACT SUBMISSION PAGE!! Only original papers, which have not been published elsewhere, will be accepted for publication REGISTRATION FEES Registration Fees Author EUROSIS Other Members Participants Pre-reg before 495 EURO 495 EURO 545 EURO September 30th 2008 Registration after Pre-registration 545 EURO 595 EURO September 30th 2008 required The registration fee includes one copy of the Conference Proceedings, coffee and tea during the breaks, all lunches, a welcome cocktail and a conference dinner. SOCIAL PROGRAMME Conference dinner in Honfleur (http://en.ot-honfleur.fr/Accueil,0,0,1.html) and visit to Mont Saint Michel (http://mont-saint-michel.monuments-nationaux.fr/en/) are envisaged PAPER SUBMISSION TYPES FULL PAPER (including abstract, conclusions, diagrams, references) During review, the submitted full papers can be accepted as a regular 5 page paper. If excellent, full papers can be accepted by the program committee as an extended (8-page) paper. Each submission will be reviewed by at least three members of the International Program Committee. EXTENDED ABSTRACT (at least five pages) Participants may also submit a 5 page extended abstract for a regular (5 pages) or short (3 pages) paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the ESM 2008 Conference Proceedings. SHORT ABSTRACT (at least three pages) Participants may also submit a 3 page abstract for a short paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the ESM 2008 Conference Proceedings. ONE PAGE ABSTRACTS ARE NOT ACCEPTED. CORRESPONDENCE ADDRESS Philippe Geril EUROSIS-ETI Greenbridge NV Wetenschapspark 1 Plassendale 1 B-8400 Ostend Belgium Tel: +32.59.255330 Fax: +32.59.255339 Email: philippe.geril at eurosis.org OUTSTANDING PAPER AWARD The 2008 European Simulation and Modelling Conference Committee will select the Outstanding Paper of the Conference. The author of this paper will be awarded a free registration for a EUROSIS conference. Only papers SUBMITTED AS FULL papers will be eligible for the Outstanding Paper Award. Selected papers are published in the following journal: International Journal of Computational Science and Engineering (IJCSE) to be published by InderScience: http://www.inderscience.com/catalogue/c/ijcse/indexijcse.html LANGUAGE The official conference language for all papers and presentations is English IMPORTANT DEADLINES EARLY BIRD SUBMISSION DEADLINE: MAY 30TH, 2008 SUBMISSION DEADLINE: JUNE 15TH, 2008 -JULY 25, 2008 June 15 - July 25, 2008: Submit contributed full-papers (5 to 8 proceedings pages) not previously published. These submissions, when accepted will be published as regular or extended papers, depending on their quality. June 15 - July 25, 2008: Submit extended abstracts (5 abstract pages) or short papers (3 abstract pages), reports of scientific projects and summaries of posters. These submissions, when accepted will be published as regular, of up to 5 proceedings page papers. June 15 - July 25, 2008: Submit one -to -three page proposals to present tutorials, to organise and chair panel sessions, to organise user meetings, vendor sessions or to exhibit software July 25, 2008: Submit abstracts for student and poster session LATE SUBMISSION DEADLINE JULY 25TH 2008 AUGUST 15, 2008: Notification of Acceptance or Rejection OCTOBER 1, 2008: Authors provide camera-ready manuscript October 27-29, 2008: Conference VENUE: Universite du Havre, Le Havre, France http://www.univ-lehavre.fr/internat/index_anglais.php REPLY CARD First Name: Surname: Occupation and/or Title: Affiliation: Mailing Address Zip code: City: Country. Telephone: Fax: E-Mail: Yes, I intend to attend the ESM 2008: [ ] Presenting a paper, by submitting a full paper [ ] Presenting a short paper (by submitting an extended abstract) [ ] Participating in the industrial program [ ] Organizing a vendor session [ ] Proposing a panel discussion (please mention names of panellists) [ ] Contributing to the exhibition [ ] Without presenting a paper The provisional title of my paper / exhibited tool is: With the following highlights: The paper belongs to the category (please tick only one): [ ] Modelling Methodology [ ] Modelling Simulation Tools [ ] Object-Orientation and Re-use [ ] Simulation and AI [ ] AI and Expert Systems [ ] AI and Neural Networks [ ] AI and Fuzzy Systems [ ] High Performance/Parallel and Large Scale Computing [ ] Simulation in Education and Graphics Visualization Simulation [ ] Simulation in Environmental Ecology, Biology and Medicine [ ] Analytical and Numerical Modelling Techniques [ ] Web Based Simulation [ ] Agent Based Simulation [ ] Cosmological Simulation [ ] SIMULA- Special 40th anniversary Track [ ] Simulation with Petri Nets [ ] Simulation with Bond Graphs [ ] DEVS [ ] Fluid Flow Modelling Simulation [ ] Complex Systems and Self-Organization Modelling [ ] Models and simulations for Emergency and Risk Management [ ] Complex Systems: Historical & Dynamical point of view [ ] Emotional dimensions of cognition and their modelling in problem-solving, learning and decision-making [ ] Artificial Society [ ] Simulation, Modelling and Data Management in Real-Time Systems [ ] Poster session [ ] Student Session Other colleague(s) interested in the topics of the conference is/are: Name: Address: Name: Address: Please send or fax this card immediately to: Philippe Geril, EUROSIS-ETI Greenbridge NV Wetenschapspark 1 Plassendale 1 B-8400 Ostend Belgium Tel: +32.59.255330 Fax: +32.59.255339 -- Unsubscribe from this newsletter: http://www.eurosis.org/cms/?q=newsletter/confirm/remove/c6f45221979021t86 From diwt2008 at dirf.org Mon Apr 7 21:57:10 2008 From: diwt2008 at dirf.org (diwt2008 at dirf.org) Date: Tue, 08 Apr 2008 01:27:10 +0530 Subject: [ecoop-info] Last CFP: 1st IEEE International Conference on the Applications of Digital Information and Web Message-ID: <20080408012710.okg3u66r4scowwkc@202.54.156.184> The First IEEE International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) Ostrava, Czech Republic, August 4-6, 2008 http://www.dirf.org/diwt2008/ ======================================================================== Sponsored by IEEE. All the ICADIWT 2008 papers will be published by IEEE and indexed in IEEE Xplore and EI. The First International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2008) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments and applications in all areas of Computer and Information Sciences, Artificial Intelligence, Mobile Computing, Networking, Web Content Mining, Health Informatics, Bioinformatics and IT Applications across disciplines. The ICADIWT 2008 will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. This conference welcomes papers focusing on, but not limited to, the following research topics: Information Retrieval Wireless network Signal processing, pattern recognition and applications Digital image processing Speech processing Parallel and distributed computing and networks Information retrieval and internet applications Software engineering E-technology Artificial intelligence and applications Databases and applications Genetic algorithms Data mining Real time systems Computer and network security E-commerce and E-applications Programming languages Multi-Agent systems Each submission undergoes review for originality, technical merit, methods, experiments etc. Modified versions of the selected papers of the conference will be published in the following peer reviewed journals. 1. Journal of Digital Information Management (ISSN 0972 7272) (http://www.dirf.org/jdim) 2. International Journal of Autonomic Computing (IJAC) http://www.inderscience.com/browse/index.php?journalID=110 ) 3. Journal of Information Assurance and Security (http://www.dynamicpublishers.com/JIAS/openconf.php) 4. Neural Network World (http://www3.cs.cas.cz/nnw) There will be special sessions on the following topics. SPECIAL SESSION Session Name: Business Intelligence and Knowledge Management Session Chair: Ezendu Ariwa London Metropolitan University, United Kingdom Email e.ariwa at londonmet.ac.uk Session Name: Social Information Retrieval Session Chair: Dion Goh Nanyang Technological University Singapore Email ashlgoh at ntu.edu.sg LOCATION : ICADIWT 2008 will be organized by VSB- Technical University of Ostrava, located in Czech Republic in cooperation with the Digital Information Research Foundation (DIRF) located in India. All the activities of the conference will take place at the Czech Republic. IMPORTANT DATES : Submission of papers deadline: April 15, 2008 Notification of acceptance: May 15, 2008 Camera-ready submission and registration: June 15, 2008 Conference date: August 4-6, 2008 COMMITTEES: General Chairs: Vaclav Snasel, VSB-Technical University of Ostrava, Czech Republic Jaroslav Pokorny, Charles University in Prague, Czech Republic Program Chairs Ajith Abraham, Norwegian University of Science and Technology, Norway Khalid Saeed, Faculty of Computer Science, Bialystok University of Technology, Poland Dusan Husek, Institute of Computer Science, Academy of Science, Czech Republic Publicity Chair Pit Pichappan, Al Imam Saud Bin University, Saudi Arabia Proceedings Chair Eyas El-Qawasmeh, Applied Science University, Jordan Organising Committee Jan Martinovi - Faculty of Electrical Engineering and Computer Science, VSB-TU Ostrava,Czech Republic Submission :All submissions will be at: http://www.dirf.org/diwt2008/submission.asp _______________________________________________ From zimmerth at cpsc.ucalgary.ca Tue Apr 8 00:29:33 2008 From: zimmerth at cpsc.ucalgary.ca (Tom Zimmermann) Date: Mon, 7 Apr 2008 16:29:33 -0600 Subject: [ecoop-info] CfP - ISSRE 2008 (submission deadline April 25/May 5 approaching) Message-ID: <86593FAC-C2CD-4806-876B-BF5799D268C0@cpsc.ucalgary.ca> ISSRE 2008 - Call for Papers http://www.csc2.ncsu.edu/conferences/issre/2008/ 19th International Symposium on Software Reliability Engineering (ISSRE 2008) 10th - 14th November 2008 Microsoft Conference Center Seattle/Redmond, Washington, USA http://www.csc2.ncsu.edu/conferences/issre/2008/ CALL FOR PAPERS =============== The 19th International Symposium on Software Reliability Engineering (ISSRE) focuses on the practice and theory of software systems reliability engineering. The conference will provide an in-depth representation of both software reliability engineering (SRE) theory and experimentation. This year's strong focus will be bridging the gap between academic research and industrial use of SRE techniques. Topics of interest include, but are not limited to: - Reliability, availability, and safety of software systems - Validation and verification, testing - Software quality - Software security - Fault tolerance, survivability, and resilience of software systems - Systems (hardware + software) reliability engineering - Services reliability engineering - Open source software reliability engineering - Metrics and measurements, estimation, prediction of quality/ reliability - Supporting tools and automation - Industry best practices - Empirical studies of any of the above topics Submission: ----------- ISSRE 2008 is soliciting original, unpublished research papers in two categories: (1) regular papers and (2) practical experience reports. The length is limited to 10 and 6 pages IEEE style, respectively. All papers must be submitted through the web-based submission system in PDF format. Papers must be written in English, and be formatted according to the IEEE authoring guidelines. Papers that exceed the page limits specified above, are outside the scope of the symposium, or do not follow the formatting guidelines will be rejected without review. Best papers: ------------ The best articles including an empirical or quantitative component, will be considered for publication in the Empirical Software Engineering journal. IMPORTANT DATES =============== Research Paper Abstract Submission - April 25, 2008 Full Research Paper Submission - May 2, 2008 Workshop/Tutorial Submission - May 15, 2008 Industry Track Abstract Submission - July 1, 2008 Industry Track Presentation Submission - September 1, 2008 Government Track Submission - August 1, 2008 Student Track Submission - August 1, 2008 (check with web-site) Fast Abstract Submissions - August 10, 2008 (check with web-site) Please check the symposium web-site for up-to-date information. http://www.csc2.ncsu.edu/conferences/issre/2008/ TRACKS ====== Research Track -------------- The goal of ISSRE's research track is to present the latest, best, and most important research results in the area of software reliability engineering and related fields such as software testing, software security, software safety and quality assurance. Deadlines: April 25, 2008 (abstracts) May 2, 2008 (full paper) Industry Track -------------- The objective of the Industry Practice program is to establish a meaningful dialog among software practitioners and with software engineering researchers on the results (both good and bad), obstacles, and lessons learned associated with applying software development practices in various environments. Deadline: July 1, 2008 (abstracts) September 1, 2008 (presentations) Government Track ---------------- The goal of the Government Track Program is to increase the synergy between government agencies, software engineers, and the research community in the domain of software reliability engineering, especially as it pertains to government high assurance development efforts. Deadline: August 1, 2008 Student Track ------------- The goal of the Student papers program is to encourage students to attend ISSRE and present their work, exchange ideas with researchers and practitioners, and get early feedback on their research efforts. Deadline: August 1, 2008 (check with web-site) Fast Abstract Track ------------------- The goal of a fast abstract is to promote current work, research, practices, opinions, experiences, and issues. This is an early communication of technical work and does not always require completed results like that of a journal publication. Authors can introduce new ideas to the community or state positions on controversial issues. Deadline: August 10, 2008 (check with web-site) Workshop and Tutorials ---------------------- We are soliciting workshop and tutorial proposals from the community. The objectives of tutorials presented at ISSRE are to expose the attendees to the theory, tools and techniques and state-of-the-art in SRE. The tutorials draw a healthy mix of participants, from the industry, academia and government agencies. Deadline: May 15, 2008 ORGANIZATION ============ General Chair - Brendan Murphy, Microsoft Research, UK Program Chair - Laurie Williams, NC State University, USA A complete list of the Organizing Committee and Program Committee is available on-line at http://www.csc2.ncsu.edu/conferences/issre/2008/ From canal at lcc.uma.es Tue Apr 8 13:53:43 2008 From: canal at lcc.uma.es (Carlos Canal) Date: Tue, 08 Apr 2008 13:53:43 +0200 Subject: [ecoop-info] CfP FACS2008. Formal Aspects of Component Software Message-ID: <20080408115346.0D2C038C74@sol10.lcc.uma.es> 5th International Workshop on Formal Aspects of Component Software (FACS 2008) Call for Papers September 10-12, 2008 Malaga, Spain http://www.iist.unu.edu/facs08/ Submission deadline May 16, 2008 (abstracts submission, May 9, 2008) Scope & Topics ============== Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering system complexity, for enabling evolution and reuse, and for driving software engineering into sound production and engineering standards. However, many issues in component-based software development remain open and challenging research questions. On the other hand, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. Therefore, they are of great use to set up formal foundations of component software and work out challenging issues such as mathematical models for components, their composition and adaptation, or rigorous approaches to verification, deployment, testing and certification. The objective of FACS'08 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications. The workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations will be followed by lively discussions. Possible topics include, but are not limited to: - formal models for software components and component interaction - design and verification methods for component software - component composition and deployment: models, calculi, languages - component testing, re-engineering and reuse - specification of extra-functional properties in component software - certification of components and software architectures - component software vs. object orientation, multi-agent systems, and aspect oriented development - components for real-time, safety-critical, secure and/or embedded systems - standard models for software components (e.g. Fractal, GCM, etc.) - industrial or experience reports, and case studies in component software - partial behaviour models for software components - update and reconfiguration of component architectures - component systems evolution and maintenance - formal methods and modeling languages - trust models for components - autonomic components and self-managed applications - formal / rigorous approaches to software adaptation and self-adaptive systems - formal aspects of Web services and business processes - component-based Web services and service-oriented architectures FACS'08 is the fifth event in a series of workshops, founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The first FACS workshop was co-located with FM'03 (Pisa, Italy, September 2003). The following FACS workshops were organised as standalone event respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), and at INRIA in Sophia-Antipolis (September 2007). FACS'08 is planned again as a separate event organised by the University of Malaga in September 2008. Submission & proceedings ======================== Submissions to the workshop should present original research which is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers should be written in English and not exceed 15 pages in ENTCS format. Note that to encourage submission of work still in progress, we may also accept promising papers to be presented at the workshop, and accept them conditionally for inclusion in the ENTCS proceedings. Submission of papers will be in electronic form via Easychair, accessible through the workshop website. The final version of the paper must be prepared in LaTeX, adhering to the ENTCS format (see http://www.entcs.org/final.html). The publication of a special issue on FACS 2008 in an international journal is being prepared. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. Important dates =============== Abstract submission: May 9, 2008 Paper submission: May 16, 2008 Acceptance notification: June 20, 2008 Camera ready: July 18, 2008 Workshop: September 10-12, 2008 Program chairs ============== Carlos Canal (University of Malaga, Spain) Corina Pasareanu (NASA Ames Research Center, USA) Program committee (in construction) =================================== Farhad Arbab, CWI, The Netherlands Luis Barbosa, University of Minho, Portugal Frank S. de Boer, CWI, The Netherlands Tevfik Bultan, University of California at Santa Barbara Carlos Canal, University of Malaga, Spain (PC chair) Paolo Ciancarini, Universita di Bologna, Italy Dimitra Giannakopoulou, NASA Ames Research Center, USA Rolf Hennicker, Ludwig-Maximilians-Universitaet Muenchen, Germany Atsushi Igarashi, University of Kyoto, Japan Sarfraz Khurshid, University of Texas at Austin, USA Zhiming Liu, UNU-IIST, Macau, China Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA, Centre Sophia Antipolis, France Jeff Magee, Imperial College, United Kingdom Rupak Majumdar, University of California at Berkeley, USA Vladimir Mencl, Charles University, Czech Republic, and University of Canterbury, New Zealand Marius Minea, Politehnica University of Timisoara, Romania Corina Pasareanu, NASA Ames Research Center, USA (PC chair) Frantisek Plasil, Charles University, Czech Republic Pascal Poizat, ARLES Project-team, INRIA and University of Evry, France Ralf Reussner, Universitaet Karlsruhe, Germany Bernhard Schaetz, Technical University of Munich, Germany Clemens A. Szyperski, Microsoft, USA Carolyn Talcott, SRI International, USA Emilio Tuosto, University of Leicester, United Kingdom Kurt Wallnau, Carnegie-Mellon University, USA Keynote speakers ================ The invited speakers for the 2008 edition will be Jeff Magee from the Imperial College (United Kingdom), and Ralf Reussner from the University of Karlsruhe, in Germany. Steering Committee ================== Zhiming Liu (IIST UNU, Macau, China, chair) Farhad Arbab (CWI, The Netherlands) Luis Barbosa (Universidade do Minho, Portugal) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Sophia-Antipolis, France) Vladimir Mencl (Charles University, Prague, Czech Republic, and University of Canterbury, New Zealand) Bernhard Schaetz (Technical University of Munich, Germany) Organising committee ==================== Javier Camara (Universidad de Malaga, Spain) Carlos Canal (Universidad de Malaga, Spain) Javier Cubo (Universidad de Malaga, Spain) Antonio Martin (Universidad de Malaga, Spain) Meriem Ouederni (Universidad de Malaga, Spain) Ernesto Pimentel (Universidad de Malaga, Spain) Gwen Salaun (Universidad de Malaga, Spain) \|/ /// @(. .)@ @(. .)@ +--oOO-(_)-OOo---------------------oOO-(_)-OOo--+ | Carlos Canal E-mail: canal at lcc.uma.es | | URL: http://www.lcc.uma.es/~canal | | | | Depto. Lenguajes y Ciencias de la Computacion | | E.T.S.I Informatica | | Universidad de Malaga | | Campus de Teatinos s/n | | 29071 - Malaga (SPAIN) | | | | Phone: +34 95 213 3311 Fax: +34 95 213 1397 | +-----------------------------------------------+ | | | | | | | | | | | | | | | | | | ___| | |___ ___| | |___ (_____|_____) (_____|_____) From Olivier.Zendra at inria.fr Tue Apr 8 18:06:38 2008 From: Olivier.Zendra at inria.fr (Olivier Zendra) Date: Tue, 08 Apr 2008 18:06:38 +0200 Subject: [ecoop-info] CFP: ICOOOLPS'2008 Message-ID: <47FB980E.8020503@inria.fr> Call for papers 3rd International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2008) July 7 , Paphos (Cyprus) http://icooolps.loria.fr Co-located with the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) IMPORTANT DATES Submission deadline: May 4, 2008 Notification of acceptance/rejection: May 19, 2008 ECOOP'2008 Early registration deadline: June 1, 2008 Final, camera-ready papers: June 2, 2008 ICOOOLPS Workshop in Paphos: July 7, 2008. OVERVIEW Computer programming languages, especially high-level languages such as object-oriented (OO) ones, are pervasive and play a significant role in computer science and engineering life. They sometime appear as ubiquitous and completely mature. However despite a large number of works there still is a clear need for solutions for efficient implementation and compilation of these languages in various application domains ranging from embedded and real-time systems to desktop systems. The ICOOOLPS workshop thus aims to address this crucial issue of optimization in OO and other languages, programs and systems. It intends to do so by bringing together researchers and practitioners working in the field of implementation and optimization, especially for object-oriented languages. Its main goals are identifying fundamental bases and key current issues pertaining to the efficient implementation, compilation and optimization of programming languages, and outlining future challenges and research directions. This workshop is obviously focusing on object-oriented languages, but also extends its domain of interest to functional languages and their optimisation. As a consequence, people working on Java, Smalltalk, Eiffel, Haskell, Beta, C++, C#, etc. are all welcome. ICOOOLPS is clearly a discussion and brainstorming oriented workshop, with a few paper presentations. It intends to bring new and possibly disturbing ideas and foster new research cooperations among attendees. Another expected output of this workshop is a synthesis identifying fundamental bases and key current issues pertaining to efficient implementation and compilation of programming languages, especially OO languages in order to spread them further amongst the various computing systems. ICOOOLPS also wants to extend this synthesis to encompass future challenges and research directions in the field of programming languages implementation and optimization, both for OO and non-OO languages. The first edition of ICOOOLPS took place in 2006 with ECOOP in Nantes. It was a success, with 22 attendees from 8 countries. The second edition, in Berlin with ECOOP 2007, gathered 27 attendees from 12 countries. This ICOOOLPS 2008, in Paphos, will build on the experience, feedback and discussions of last years to further improve its quality. TOPICS Topics of interest for ICOOOLPS include but are not limited to: * implementation of fundamental OOL features: o inheritance (object layout, late binding, subtype test...) o genericity (parametric types) o memory management * runtime systems: o compilers o linkers o virtual machines * optimizations: o static and dynamic analyses o adaptive virtual machines o threads and synchronization * resource constraints: o real-time systems o embedded systems (space, low power)... * relevant choices and tradeoffs: o constant time vs. non-constant time mechanisms o separate compilation vs. global compilation o dynamic loading vs. global linking o dynamic checking vs. proof-carrying code o annotations vs. no annotations SUBMISSION, REGISTRATION AND ATTENDANCE For all information about ICOOOLPS 2008 submission, registration and attendance, please go to: http://icooolps.loria.fr/icooolps2008/index.php#cfp PROGRAM COMMITTEE Mark van den Brand Eindhoven Univ. of Technology, The Netherlands St?phane Ducasse INRIA Lille - Nord Europe, France Roland Ducournau LIRMM, France Richard Jones Univ. of Kent, UK Eric Jul (Co-chair) DIKU, Denmark Ian Rogers University of Manchester, UK Yannis Smaragdakis University of Oregon, USA Olivier Zendra (Chair) INRIA Nancy Grand Est / LORIA, France -- Olivier ZENDRA, Ph.D., INRIA Researcher | Email: Olivier.Zendra at inria.fr INRIA Nancy - Grand Est / LORIA, | Phone: (+33) 354 958 407 Office C-124, | Fax: (+33) 383 552 573 615 Rue du Jardin Botanique, BP 101, | Web: www.loria.fr/~zendra 54602 VILLERS-LES-NANCY Cedex, FRANCE | From ss.dtvcs at gmail.com Wed Apr 9 12:08:28 2008 From: ss.dtvcs at gmail.com (ss DTVCS) Date: Wed, 9 Apr 2008 11:08:28 +0100 Subject: [ecoop-info] Extended deadline: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems Message-ID: Apologies for any multiple copies received. We would appreciate it if you could distribute the following call for papers to any relevant mailing lists you know of. CALL FOR PAPERS ============================================================================ Special Session: Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems DTVCS 2008 August 18-20, 2008 (Kailua-Kona, Hawaii, USA) http://digilander.libero.it/systemcfl/dtvcs ============================================================================= Special Session in the IASTED International Conference on Circuits and Systems (CS 2008) ------------------------------------------------------------------------------------------------------------------------------------- The IASTED International Conference on Circuits and Systems (CS 2008) will take place in Kailua-Kona, Hawaii, USA, August 18-20, 2008. URL: http://www.iasted.org/conferences/cfp-625.html. Aims and Scope --------------- The main target of the Special Session DTVCS is to bring together engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to the areas of design, testing and formal verification techniques for integrated circuits and systems. Contributions on UML and formal paradigms based on process algebras, petri-nets, automaton theory and BDDs in the context of design, testing and formal verification techniques for integrated circuits and systems are also encouraged. Topics ------ Topics of interest include, but are not limited to, the following: * digital, analog, mixed-signal and RF test * built-in self test * ATPG * theory and foundations: model checking, SAT-based methods, use of PSL, compositional methods and probabilistic methods * applications of formal methods: equivalence checking, CSP applications and transaction-level verification * verification through hybrid techniques * verification methods based on hardware description/system-level languages (e.g. VHDL, SystemVerilog and SystemC) * testing and verification applications: tools, industrial experience reports and case studies Industrial Collaborators and Sponsors ---------------------------------------- This special session is partnered with: * CEOL: Centre for Efficiency-Oriented Languages "Towards improved software timing", University College Cork, Ireland (http://www.ceol.ucc.ie) * International Software and Productivity Engineering Institute, USA ( http://www.intspei.com) * Intelligent Support Ltd., United Kingdom (http://www.isupport-ltd.co.uk) * Minteos, Italy (http://www.minteos.com) * M.O.S.T., Italy (http://www.most.it) * Electronic Center, Italy (http://www.el-center.com) * Legale Fiscale, Italy (http://www.legalefiscale.it) This special session is spon