From 2010cfp at gmail.com Mon Mar 1 13:09:42 2010 From: 2010cfp at gmail.com (CFP) Date: Mon, 1 Mar 2010 21:09:42 +0900 Subject: [ecoop-info] CFP ICUMT 2010 Message-ID: CFP ICUMT 2010 http://www.icumt.org/index.php/home Conference on Telecommunications ICUMT-T: Call for Papers About the Conference ICUMT-T is an annual international conference providing an open forum for researchers, engineers, network planners and service providers in telecommunications targeted on newly emerging algorithms, systems, standards, services, and applications. ICUMT-T is positioned as a premier international annual conference for the presentation of original and fundamental research and engineering results. The aim of ICUMT-T is to bring together Russian and international players in telecommunications. The conference will consist of plenary sessions, open call sessions and workshops. The ICUMT Congress 2010 is supported by the Russian scientific funding agencies as well as by Popov Society (IEEE Sister) and regarded as very important part of scientific life of Russia. The congress has strong industrial support from worldwide leading vendors as well as national companies and SMEs. The conference proceedings (including workshops) will be published in IEEE Xplore (pending) and indexed in relevant databases (such as EI-index). Authors of selected outstanding papers will be invited to submit extended versions of their papers for consideration of publication in a special issue. Topics of interest include but are not limited to Next Generation Wireless Systems and Services - 3GPP Long-Term Evolution (LTE) and High Speed Uplink Packet Access (HSUPA) - 802.16 and WiMAX - Femto Cells - IMS and IMS-based services - Mobility, handoff protocols and management Wireless Access Technologies and related systems and protocols - Next generation 802.11 and 802.15 including mesh, PAN, BAN, etc. - Ultra-wideband communications (UWB) - Underwater communications Green Communications - Energy-efficient networking - Energy-efficient circuits, devices and transmission technologies - Energy efficiency of data centers and intelligent cloud computing - Cross-layer optimizations to minimize energy consumption on a network scale - Cognitive, cooperative and reconfigurable networks - Protocols and protocol extensions for energy efficient networks - Network load balance and smart information storage - Remote power management for wireless terminals and access networks - Hierarchical and distributed techniques for energy management - Harvesting distributed energy generation - Smart Grid - Information theory on energy efficiency - Energy evaluation and comparison of different network technologies - Novel network concepts and architectures lowering the overall footprint of ICT - Estimation and evaluation of the worldwide footprint of ICT - Regulation and standardization - Deployment, trial experience, business models and applications Low-layer Wireless technologies - Cognitive Radio Networks and Systems - Spectrum sensing and spectrum management - Dynamic spectrum access - Cooperation and Game-Theoretical Protocols for Cognitive Radios - Software defined radio - Cross-Layer Protocol Design - Regulations and standards - Cooperative communications and networking - Multi-Carrier Systems & Solutions - MIMO and multi-antenna communications - Multi-carrier access schemes such as OFDMA, MC-CDMA, DFTS-OFDM, IFDMA, OFDM-IDMA Information and coding theory - Cryptography - Coding for noisy channels and erasure channels - Source coding and data compression - Joint source-channel coding - Network coding and coding for multi-terminal systems - Cooperation, competition and cognition in wireless networks Digital Broadcasting Technologies and Services - System architectures - Security in broadcast and multicast communications - Internet broadcasting - Mobile broadcasting and mobile TV - Emerging standards, e.g., DVB-S2, DVB-RCS, DVB-H, DVB-T, MediaFLO services and applications Pervasive computing and smart environment - RFID and Sensor Network Technologies - Architecture and platforms - Distributed and pervasive services - Personal and body networks, wearable computing - Semantic analysis - Business models - Digital Home Network Technologies Intelligent transportation systems (ITS) and vehicular ad hoc networks (VANETs) - Vehicle-to-vehicle, vehicle-to-roadside communications - Intra-vehicle communications - Vehicle-to-Internet communications - Mobility and vehicular traffic models - Information collection and dissemination - Analytical and simulation techniques - Experimental systems and field operational testing - Safety and non-safety related applications - Recent standardization efforts and problems (e.g. 802.11p) - Overview of the activities and status of the ongoing projects - Deployment strategies and predictions P2P technologies - Advances in theoretical foundations of P2P - Security, trust and reputation in P2P - Performance analysis of P2P systems, applications and services - Quality of experience in P2P systems - Mobile P2P - P2P for sensors - Economic, business models and charging mechanisms in P2P - Legal and regulatory issues Social Networks - Computational Aspects of Social Network - Applications - Network evolution and growth mechanisms - Network geography - Search in network - Security, data protection inside communities - Evaluation and benchmarking e-Commerce, Mobile Commerce, e-Government, e-Learning and e-Health - Bio-inspired/Bio-oriented Networks - Body-area networks - Wireless telemedicine and E-health services General IP-based wired and wireless networking issues (including routing, e2e QoS, performance evaluation, transport layer optimization etc.) Location techniques and location-based services LBS Broadband Satellite and HAPS (High Altitude Platform Station) Technologies Information Security Technologies Web Technologies Multimedia & Internet Systems, Services and Standards Mobile Internet, Internet Telephony (VoIP, MoIP) and IPTV Network Management, Operation and Maintenance Optical Networking Technologies and Applications Open Programmable Networks and Active Networks Communication Network Topology and Planning Systems & Software Engineering Aspects GRID, Distributed Computing Technologies and Services IT Services Technologies Paper submission The authors are encouraged to submit full papers describing original, previously unpublished, complete research, not currently under review by another conference or journal, addressing state-of-the-art research and development in all areas of computer networking and data communications. All papers will be reviewed and accepted papers will appear in the conference proceedings, published in IEEE Xplore (pending). Papers must be submitted electronically in the EDAS in double column IEEE format. The maximum size of paper should be 8 pages including tables and figures. The first page must contain an abstract of about 150 words, 3-5 keywords, name and affiliation of author(s) as well as the corresponding author's e-mail and postal address. Authors of selected outstanding papers will be invited to submit extended versions of their papers for consideration of publication in a special issue. Important dates Paper submission: June 22, 2010 Notification of acceptance: August 16, 2010 Camera ready version: September 10, 2010 For further and up-to-date information please visit official web page of the Conference http://www.icumt.org Conference on Control Systems ICUMT-CS: Call for Papers About the Conference ICUMT-Control Systems is an annual international conference providing an open forum for researchers, engineers and practitioners interested in control, automation and robotics targeted on newly emerging algorithms, systems, standards and applications. ICUMT-Control Systems is positioned as a premier international annual conference for the presentation of original and fundamental research and engineering results. The aim of ICUMT is to bring together Russian and international players in control systems, optimization, robotics and automation. The conference will consist of plenary sessions, open call sessions and workshops. The ICUMT Congress 2010 is supported by the Russian scientific funding agencies as well as by Popov Society (IEEE Sister) and regarded as very important part of scientific life of Russia. The congress has strong industrial support from worldwide leading vendors as well as national companies and SMEs. The conference proceedings (including workshops) will be published in IEEE Xplore (pending) and indexed in relevant databases (such as EI-index). Authors of selected outstanding papers will be invited to submit extended versions of their papers for consideration of publication in a special issue. Topics of interest include but are not limited toControl Systems: - Adaptive control - Robust control - Process control - Complex systems - Mechatronic systems - Co-operative control - Identification and estimation - Nonlinear systems - Intelligent systems - Hybrid systems - Networked control systems - Neural networks - Fuzzy systems - Genetic algorithms - Evolutionary computation and control - Precision motion control - Control applications - Control engineering education Robotics and Automation: - Robot design, development and control - Human-robots interfaces - Mobile robots and autonomous systems - Human augmentation and shared control - Space and underwater robot - Telerobotics and Teleoperation - Industrial networks and automation - Intelligent warehouses - Modeling, simulation and architectures - Vision, recognition and reconstruction - Virtual Reality - Control and supervision systems - Instrumentation systems - Biomedical instrumentation and applications - Web-based control - Autonomous agents - Petri nets Paper submission The authors are encouraged to submit full papers describing original, previously unpublished, complete research, not currently under review by another conference or journal, addressing state-of-the-art research and development in all areas of computer networking and data communications. All papers will be reviewed and accepted papers will appear in the conference proceedings, published in IEEE Xplore (pending). Papers must be submitted electronically in the EDAS in double column IEEE format. The maximum size of paper should be 8 pages including tables and figures. The first page must contain an abstract of about 150 words, 3-5 keywords, name and affiliation of author(s) as well as the corresponding author's e-mail and postal address. Authors of selected outstanding papers will be invited to submit extended versions of their papers for consideration of publication in a special issue. Important dates Paper submission: June 22, 2010 Notification of acceptance: August 16, 2010 Camera ready version: September 10, 2010 For further and up-to-date information please visit official web page of the Conference http://www.icumt.org -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100301/19b56982/attachment.html From david.ilcinkas at labri.fr Mon Mar 1 10:22:21 2010 From: david.ilcinkas at labri.fr (David Ilcinkas) Date: Mon, 01 Mar 2010 10:22:21 +0100 Subject: [ecoop-info] CfP DYNAS 2010 - 2nd International Workshop on DYnamic Networks - Algorithms and Security Message-ID: <4B8B874D.7000104@labri.fr> *** Apologies for multiple copies *** ______________________________________________________________________ Call for papers DYNAS 2010 2nd International Workshop on DYnamic Networks - Algorithms and Security July 5, 2010 Bordeaux, France Colocated with ICALP 2010 http://dynas2010.labri.fr/ ______________________________________________________________________ Workshop: --------- DYNAS is about dynamic networks such as Peer-to-Peer, Sensor and Ad-Hoc Networks. We gladly welcome descriptions of original, well defined (possibly not yet completely solved) problems in the following typical but not exclusive areas: * Algorithms for construction and maintenance of Peer-to-Peer, Sensor and Ad-Hoc Networks. * Algorithms working on top of networks. * Security and anonymity issues in systems of computationally weak devices (like RFID-tags). Submissions: ------------ Submitted papers must be written in English, use at least 11 point font, have reasonable margins, and not exceed 6 pages. Papers containing interesting problems without (with partial) analysis are also welcome. Proceedings: ------------ There will be no published proceedings for DYNAS. Important Dates: ---------------- Submission deadline: 10th of April 2010 Author notification: 10th of May 2010 Manuscript for the workshop due: 22nd of May 2010 Invited speakers: ----------------- * Serge Chaumette, University of Bordeaux, France * Miroslaw Kutylowski, Wroc?aw University of Technology, Poland * Christian Scheideler, University of Paderborn, Germany Program Committee: ------------------ * Asmaa Adnane, Polytech-Nantes, France * Marcin Bienkowski, Wroc?aw University, Poland * Stefan Dziembowski, University of Rome "La Sapienza", Italy * David Ilcinkas, CNRS & University of Bordeaux, France (chair) * Marek Klonowski, Wroc?aw Univ. of Technology, Poland * Miroslaw Korzeniowski, Wroc?aw Univ. of Technology, Poland (chair) * Adrian Kosowski, Gda?sk University of Technology, Poland * Fran?ois Lesueur, University Paris-Sud, France * Stefan Schmid, TU Berlin / Deutsche Telekom Lab, Germany * Filip Zagorski, Wroc?aw University of Technology, Poland From zdun at infosys.tuwien.ac.at Mon Mar 1 14:44:08 2010 From: zdun at infosys.tuwien.ac.at (Uwe Zdun) Date: Mon, 01 Mar 2010 14:44:08 +0100 Subject: [ecoop-info] CFP: 1st Workshop on Engineering SOA and the Web (ESW'10) Message-ID: <4B8BC4A8.8070306@infosys.tuwien.ac.at> CALL FOR PAPERS 1st Workshop on Engineering SOA and the Web (ESW'10) Hosted at Tenth International Conference on Web Engineering (ICWE 2010) July 5 - 9, 2010 in Vienna, Austria http://www.infosys.tuwien.ac.at/linksites/events/ESW10/ ------------------------------------------------------------ Service-Oriented Architectures (SOA) are nowadays used as the backbone of many Web applications. ESW'10 will focus on the overlap of engineering service-oriented systems and Web applications into a coherent system. The main goals of the workshop are to bring together experts, both from industry and academia, who work on the interdependent context of SOA and Web applications and use engineering methods to make that link. The workshop will be a full day interactive workshop with sessions organized to facilitate discussion and interaction among the participants. The main goals of the workshop are to bring together experts, both from industry and academia, who work on the interdependent context of SOA and Web applications, and use engineering methods to make that link. The workshop seeks high quality papers on the following topics (among others): * Monitoring of SOAs via the Web * Management of SOAs via the Web * Governance of SOAs via the Web * Integration of SOAs and Web Applications * Web Dashboards for SOAs * Monitoring and Management for Compliance of SOA * Metrics for SOA Management * Security Management in SOA * Engineering Methods and Approaches for SOAs and Web Applications PUBLICATION The ICWE'10 workshops will be published in a Springer LNCS volume as post-proceedings. Please use the Springer Guidelines already for paper submission (see instructions below). ORGANIZERS Uwe Zdun Information Systems Institute Vienna University of Technology Austria Schahram Dustdar Information Systems Institute Vienna University of Technology Austria Bruno Crispo Department of Information Engineering and Computer Science University of Trento Italy PROGRAM COMMITEE - Farhad Arbab, Stichting Centrum voor Wiskunde en Informatica, Netherlands - Aliaksandr Birukou, Universita degli Studi di Trento, Italy - Vincenzo D'Andrea, Universita degli Studi di Trento, Italy - Mohand-Said Hacid, Universit? Claude Bernard Lyon 1, France - Frank Leymann, Universit?t Stuttgart, Germany - Willem-Jan van den Heuvel, Stichting Katholieke Universiteit Brabant, Netherlands - Huy Tran, Technische Universit?t Wien, Austria - Mark Strembeck, Vienna University of Economics, Austria - Ralph Mietzner, Universit?t Stuttgart, Germany - Marco Aiello, Rijksuniversiteit Groningen, Netherlands - Pietro Mazzoleni, IBM, USA - Fabio Massacci, University of Trento, Italy - Guenter Karioth, IBM, Switzerland - Philip Robinson, SAP GUIDELINES FOR SUBMISSION All submissions should not exceed 12 Springer LNCS pages. Submissions should be sent as PDF files via the electronic submission system: http://www.easychair.org/conferences/?conf=esw10 Formatting guidelines can be found at: Springer LNCS guide. Submissions should be original and unpublished research work or industrial experiences. Each submitted paper will undergo a rigorous review process by at least three members of the Program Committee. IMPORTANT DATES April 21st, 2010: Paper Submission May 21st, 2010: Author Notification June 7th, 2010: Camera-Ready Copy July 5 - 6, 2010: Workshop takes place From afgarcia at inf.puc-rio.br Tue Mar 2 04:06:23 2010 From: afgarcia at inf.puc-rio.br (Alessandro Garcia) Date: Tue, 2 Mar 2010 00:06:23 -0300 (BRT) Subject: [ecoop-info] Onward! 2010 - Call for Essays, Papers, Films, and Workshops Message-ID: <64803.201.29.222.103.1267499183.squirrel@webmail.inf.puc-rio.br> **************** Call for Contributions ***************** Onward! 2010 The conference for new ideas, new paradigms, and reflections on everything to do with programming and software. http://www.onward-conference.org Sponsored by ACM SIGPLAN in cooperation with SIGSOFT Co-located with SPLASH 2010 - http://splashcon.org Reno-Tahoe, Nevada - USA October 17 ? 21, 2010 An Onward! ad is available on YouTube: http://www.youtube.com/watch?v=YcIjUSpwspk *********************************************************** Onward! is more radical, more visionary and more open than other conferences to not so well-proven but well-argued ideas. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Onward! fosters the multidisciplinarity of software development. We are interested in anything to do with programming and software. Processes, methods, languages, art, philosophy, biology, economics, communities, politics, ethics, and of course applications. Anything! Sounds good? Do you want to bring new insights to the community? Or you want to know more about innovations, visions and the future of programming languages and software engineering? Then... Join Onward!, the unique, creative and collaborative environment to discuss and investigate challenging problems related to software, its creation and nurturing. Onward! is innovative not only with regard to its topics and ideas but also to the contribution formats. This year, we seek high quality submissions in one of the following categories: *** RESEARCH PAPERS *** At Onward! we are interested in papers that describe work with potential to change significantly the field. But Onward! isn't a venue for just any old thing - an Onward! paper must say something substantially original, and must be sufficiently important and interesting to deserve the attention of the programming and software communities. An Onward! paper must present some supporting evidence - not pure conjecture. Evidence may be in the form of a compelling argument or analysis, a sketch of validity, or an initial implementation. The scope of an Onward! paper can be broad: It can be single idea, a new approach, or a new paradigm. It can talk about programming languages, programming methodologies, process, software engineering, collaboration, and anything to do with programming and creating software. But above all, an Onward! paper must be well thought out, well-written, and compelling in its argument. Onward! is a fully peer-reviewed conference, and accepted papers will appear in the SPLASH proceedings and the ACM Digital Library. *** ESSAYS *** An Onward! essay is a thoughtful reflection upon software-related technology. Its goal is to help the reader to share a new insight, engage with an argument, or wrestle with a dilemma. A successful essay is a clear and compelling piece of writing that explores a topic important to the software community. An essay can be an exploration of its topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. Accepted essays will be presented at the conference, published in the SPLASH Proceedings, and will appear in the ACM Digital Library. The author or authors of accepted essays may choose the form of the presentation. *** FILMS *** The Onward! film track invites "submissions in motion". Papers and slide presentations are not always the right media to convey ideas. We are therefore interested in anything that combines film with with programming and software. For example, film can show the interactive nature of a proposed system in a way that goes well beyond the capacity of requirements specifications and use-case diagrams. Film can reveal how a proposed system should or might work, and reveal exceptional circumstances in which the system still must work. There is also an increasing need of describing research projects whose results are difficult to explain to non-experts. The interesting behavior of such systems often stretches into weeks or months and a film might be much more helpful than a real-time demo. Other topics include (but not limited to): documentary on learning a new language; interviews with practitioners; diary of a frustrated grad student, capturing group interaction dynamics; mobile video microblogging. *** WORKSHOPS *** The Onward! conference is dedicated to new ideas at the frontier of knowledge about software and programming. Onward! workshops are located a day's ride past the frontier. They are where groups can explore uncharted ideas. They are an ideal base for intellectual insurrections. Workshops proposals are welcome on all topics related to software and programming, especially topics unacceptable at mainstream Computer Science conferences. *** HOW TO SUBMIT *** Electronic submission is required through the Onward! website. Text submissions must follow the standard ACM SIGPLAN format. Detailed author guidelines are also available at the website. Submissions must not have been previously published, and must not be concurrently submitted for publication elsewhere (including journals and formal proceedings of conferences and workshops). Violation of this policy will result in desk-rejection of the submission. *** SUBMISSION DEADLINES *** March 25, 2010 - Submission of workshop proposals April 23, 2010 - Submission of essays and research papers June 24, 2010 - Submission of films *** GENERAL CHAIR *** Siobh?n Clarke, Lero @ Trinity College Dublin, Ireland chair at onward-conference.org *** PROGRAM COMMITTEE *** Kevin Sullivan, University of Virginia, USA (chair) - papers at onward-conference.org Gail Murphy, University of British Columbia, Canada Ingolf Krueger, University of California San Diego, USA Yael Dubinsky, Technion University, Israel Peri Tarr, IBM Research, USA Jeff Gray, University of Alabama, USA Shigeru Chiba, Tokyo Institute of Technology, Japan Elisa Baniassad, Australian National University, Australia Hridesh Rajan, Iowa State University, USA Richard Gabriel, IBM Research, USA Jeff McGee, Imperial College London, UK Linda Northrop, Carnegie Mellon - Software Engineering Institute, USA *** PANELS CHAIR *** Aki Namioka, Cisco Systems, USA - panels at onward-conference.org *** ESSAYS COMMITTEE *** Daniel Steinberg, Dim Sum Thinking (chair) - essays at onward-conference.org Kent Beck, Three Rivers Institute, USA Eric Freeman, The Walt Disney Company, USA Erich Gamma, IBM Rational Zurich Research, Switzerland Mark Mahoney, Carthage College, USA Linda Northrop, Carnegie Mellon University, USA Brian Sletten, Bosatsu Consulting, USA Glenn Vanderburg, Relevance, USA Eugene Wallingford, University of Northern Iowa, USA David West, New Mexico Highlands University, USA *** FILMS COMMITTEE *** Bernd Bruegge (chair), TU M?nchen, Germany - films at onward-conference.org Roberto Bisiani, University of Milano - Bicocca, Italy Oliver Creighton, Siemens Corporation, Germany Ralph Guggenheim, Alligator Planet, USA Martin Purvis, University of Otago, Dunedin, New Zealand Maryam Purvis, University of Otago, Dunedin, New Zealand Harald Stangl, Technische Universit?t M?nchen, Germany *** WORKSHOPS COMMITTEE *** Jonathan Edwards, MIT (chair) - workshops at onward-conference.org Bruce Horn, Powerset *** PUBLICITY CHAIR *** Alessandro Garcia, PUC-Rio, Brazil - publicity at onward-conference.org ** WEBSITE CHAIR *** Eamonn Linehan, Lero @ Trinity College Dublin, Ireland web at onward-conference.org A detailed version of this call for each submission category is available on http://www.onward-conference.org/ An Onward! ad is available on YouTube: http://www.youtube.com/watch?v=YcIjUSpwspk -- ............................................................................................................................... Alessandro Garcia Assistant Professor mailto: afgarcia at inf.puc-rio.br http://www.inf.puc-rio.br/~afgarcia/ Informatics Department, PUC-Rio R. Marqu?s de S?o Vicente, 225 - G?vea Rio de Janeiro, RJ, Post code: 22453-900 Brazil From dario.dellamonica at dimi.uniud.it Tue Mar 2 13:43:53 2010 From: dario.dellamonica at dimi.uniud.it (Dario Della Monica) Date: Tue, 02 Mar 2010 13:43:53 +0100 Subject: [ecoop-info] call for paper GandALF 2010 Message-ID: <4B8D0809.7050204@dimi.uniud.it> [We apologize if you have received multiple copies of this message] ********************************************************* --------------------- GandALF 2010 ---------------------- ********************************************************* 1st International Symposium on Games, Automata, Logics, and Formal Verification Minori, Amalfi Coast, Italy, June 17-18, 2010 http://gandalf.dia.unisa.it/ **************************************** | CALL FOR PAPERS | **************************************** OBJECTIVES The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. INDICATIVE LIST OF TOPICS The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Logical aspects of Computational Complexity Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Complex Systems (e.g., Interactive Systems, Systems Biology) Games and Automata for Verification Game Semantics Game Theory Hybrid, Embedded, and Mobile Systems Verification Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Specification and Verification of Finite and Infinite-state Systems Synthesis and Execution PAPER SUBMISSION Submissions, not exceeding fifteen (15) pages using EPTCS format, should be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Papers must be submitted in PDF or PS format by using EasyChair (https://www.easychair.org/login.cgi?conf=gandalf2010). IMPORTANT DATES Abstract submission March 21, 2010 Paper submission March 28, 2010 Acceptance notification May 1, 2010 Final version May 20, 2010 Conference June 17-18, 2010 INVITED SPEAKERS Mikolaj Bojanczyk (Poland) Javier Esparza (Germany) Wolfgang Thomas (Germany) PROCEEDINGS The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. A special issue of a major international journal to publish an extended and revised version of the best symposium papers is also under consideration. INFO Please visit the conference website (http://gandalf.dia.unisa.it) for more information. GENERAL CHAIR Margherita Napoli (Italy) PROGRAM CO-CHAIRS Angelo Montanari (Italy) Mimmo Parente (Italy) PROGRAM COMMITTEE Parosh Aziz Abdulla (Sweden) Dietmar Berwanger (France) Mikolaj Bojanczyk (Poland) Ahmed Bouajjani (France) Krishnendu Chatterjee (Austria) Thomas Colcombet (France) Ugo Dal Lago (Italy) Giorgio Delzanno (Italy) Rocco De Nicola (Italy) Luca de Alfaro (USA) Emanuela Fachini (Italy) Marco Faella (Italy) Alessandro Ferrante (Italy) Stefania Gnesi (Italy) Valentin Goranko (Denmark) Antonin Kucera (Czech Republik) Salvatore La Torre (Italy) Kamal Lodaya (India) Christof Loding (Germany) P. Madhusudan (USA) Rupak Majumdar (USA) Luke Ong (UK) Gennaro Parlato (USA) Ian Pratt-Hartmann (UK) Gabriele Puppis (UK) Alexander Rabinovich (Israel) Jean-Francois Raskin (Belgium) Mark Reynolds (Australia) Guido Sciavicco (Spain) Colin Stirling (UK) Tomas Vojnar (Czech Republic) ADVISORY CHAIRS Stefano Crespi Reghizzi (Italy) Jozef Gruska (Czech Republik) Oscar H. Ibarra (USA) Andrea Maggiolo-Schettini (Italy) ORGANIZING COMMITTEE Dario Della Monica (Italy) Fabio Mogavero (Italy) Aniello Murano (Italy) Francesco Sorrentino (USA) Nicola Vitacolonna (Italy) -- Dario Della Monica, PhD Student University of Udine - Department of Mathematics and Computer Science via delle Scienze, 206 - 33100 - Udine (UD) phone: (+39) 0432 558469 cell: (+39) 328 2477327 fax: (+39) 0432 558499 email: dario.dellamonica [at] dimi.uniud.it web site: http://users.dimi.uniud.it/~dario.dellamonica -------------- next part -------------- A non-text attachment was scrubbed... Name: cfp.pdf Type: application/pdf Size: 27187 bytes Desc: not available Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100302/a2ab63ec/attachment-0001.pdf From davide.diruscio at univaq.it Tue Mar 2 09:39:33 2010 From: davide.diruscio at univaq.it (Davide Di Ruscio) Date: Tue, 02 Mar 2010 09:39:33 +0100 Subject: [ecoop-info] IWMCP 2010 Call for Papers Message-ID: <4B8CCEC5.209@univaq.it> [Apologies for multiple receipts] ---------------------------------------------------------------------------- International Workshop on Model Comparison in Practice (IWMCP) 2010 an ICMT 2010 Workshop July 1, 2010 - Malaga, Spain http://www.iwmcp.org ---------------------------------------------------------------------------- OVERVIEW Model Driven Engineering elevates models to first class artefacts of the software development process. To facilitate multi-user collaboration and enable version management and seamless evolution of models and metamodels, support for robust and performant model comparison and differencing mechanisms is essential. Previous research has demonstrated that mechanisms used for comparison and differencing of text-based artefacts (e.g. source code) are not sufficient for comparing models, as they are unaware of the structure and the semantics of the compared artefacts. To date, several model-specific model comparison approaches have been proposed, each demonstrating different characteristics and focusing on particular sub-problems. For instance, model comparison techniques have been adopted for software refactoring, for transformation testing, to support the coupled evolution of metamodel and models, or to analyse existing artefacts with respect to some criteria. However the consensus is that this research area is still young and more research is required in order to achieve the full potential of model comparison. The goal of the workshop is to gather together both researchers in the area of model comparison and differencing to report novel results, and especially adopters of existing approaches to present their experiences and provide insights on issues encountered when applying these approaches in practice. TOPICS Topics of interest include, but are not limited to: - Model comparison - Model differencing - Model versioning - Metamodel evolution and model co-evolution - Empirical results from applying model comparison in practice - Industrial use cases - Benchmarking SUBMISSION GUIDELINES All submissions will be formally evaluated by three reviewers. Papers must be submitted as PDF and strictly adhere to the ACM SIG proceedings format. Papers must not exceed ten (10) pages in this format, including all text, references, appendices, and figures. Paper submissions will be made electronically via the workshop submission web page, using the EasyChair service. All submissions must be original work, and must not have been previously published, nor be under consideration for publication, elsewhere. At least one author of each accepted paper should register for the conference and participate in the workshop. PUBLICATION PLANS Accepted papers will be published in the ACM Digital Library in the International Conference Proceedings Series. Extended versions of the highest quality submissions will be advocated for inclusion in a special issue of a journal. IMPORTANT DATES Deadline for submissions: March 31, 2010 Notification of authors: May 14, 2010 Camera-ready: May 31, 2010 Workshop date: July 1, 2010 ORGANIZERS Davide Di Ruscio, University of L'Aquila (Italy) Dimitrios S. Kolovos, University of York (UK) PROGRAMME COMMITTEE Antonio Cicchetti, Malardalen University (Sweden) Jesus Sanchez Cuadrado, University of Murcia (Spain) Juan de Lara, Universitad Autonoma De Madrid (Spain) Dirk Deridder, Vrije Universiteit Brussel (Belgium) Jeff Gray, University of Alabama (USA) Esther Guerra, Universitad Carlos III De Madrid (Spain) Markus Herrmannsd?rfer, TUM (Germany) Ivan Kurtev, Twente University (Netherlands) Goran Olsen, SINTEF (Norway) Richard Paige, University of York (UK) Alfonso Pierantonio, University of L'Aquila (Italy) Jos? Eduardo Rivera, Universidad de M?laga (Spain) Louis Rose, University of York (UK) Guido Wachsmuth, Delft University of Technology (Netherlands) Dennis Wagelaar, Vrije Universiteit Brussel (Belgium) Steffen Zschaler, University of Lancaster (UK) From Franck.Fleurey at sintef.no Thu Mar 4 11:36:15 2010 From: Franck.Fleurey at sintef.no (Franck Fleurey) Date: Thu, 4 Mar 2010 11:36:15 +0100 Subject: [ecoop-info] MODELS 2010 Call for Paper Message-ID: *** Call for Papers - MODELS 2010 *** ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems October 3-8, 2010 Oslo, Norway http://models2010.ifi.uio.no Important dates *************** Foundations and Applications Papers: Abstract: April 18, 2010 Full Paper: May 3, 2010 Workshop Proposals: March 31, 2010 Tutorial Proposals: April 18, 2010 The MODELS Conference Series **************************** ... is devoted to model-based development for software and systems engineering, covering all categories of modeling languages, methods, tools, and their applications. Engineering models have long been used in the development of complex systems and the approach is also becoming more prevalent in the design of modern software systems. Methodologies and tools are emerging and applied successfully in practice. They create and manipulate such models starting with the earliest phases of development through to implementation and testing. The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-based approaches in the development of complex systems. To provide a broader forum for reporting on scientific progress as well as experiences and issues stemming from practical application of model-based methods, the 2010 conference has two distinct tracks: * Foundations track * Applications track Papers in each track will be evaluated by separate program committees based on criteria appropriate to that track. All accepted submissions of both the Foundations and Application tracks will be published as one conference proceedings in the Lecture Notes in Computer Science. The Foundation Track ******************** Over the years model-based development has gained rapidly increasing popularity across various engineering disciplines. Numerous efforts resulted in the invention of concepts, languages, and tools for the definition, analysis, transformation, and extension of domain-specific modeling languages as well as general-purpose modeling language standards. Problems in this domain span multiple disciplines and have to be addressed by collaborative research activities spanning domains such as industrial automation, business engineering, hardware/software co-design, real-time system development, Web 2.0 application design, and so forth. A primary objective of the Foundations track of MODELS is to build a forum for exchange and discussion of new research results dedicated to advancing the state-of-the-art of model-based development in general. Topics of interest include but are not limited to: * Development of domain-specific modeling languages * Design of general-purpose modeling languages and related standards * Definition of the syntax and semantics of modeling languages * Tools and meta-tools for modeling languages and model-based development * Definition and usage of model transformation and generation approaches * New methodologies/frameworks/processes for model-driven development * Development of systems engineering and modeling-in-the-large concepts * Proposals of new model quality assurance techniques (analysis, testing, verification) * Integration of modeling languages and tools (hybrid multi-modeling approaches) * Evolution of modeling languages and models * New modeling paradigms and formalisms The Applications Track ********************** As with any emerging technical discipline, model-based engineering approaches to software and system development give rise to a unique set of challenges related to practical application. These include a very diverse list of issues such as problems of scaling to multi-domain and geographically distributed teams, difficulties of integrating new methods and tools into legacy environments, resistance to culture change, and coping with immature technologies. Nevertheless, there are numerous practical examples of industrial application of model-based engineering in which such problems have been overcome, resulting in successful systems that clearly demonstrate the viability and the advantages of model-based methods. Unfortunately, there is still insufficient awareness among many practitioners of such results and the potential of these methods for delivering major increases in productivity and product quality. A primary objective of the MODELS applications track is to provide a realistic and verifiable picture of the current state-of-the-practice of model-based engineering. In addition to such experience reports, papers that describe innovative solutions and concepts stemming from practical application of model-based methods and tools in industrial, business and science-driven settings are deemed highly relevant to this track. Topics of interest include but are not limited to: * Introducing model-based approaches into organizations * Experience stories in general (successful and unsuccessful) * How to scale modeling to large combinations of users, viewpoints or workflows * Issues related to limitations, gaps and mismatches in current modeling standards * Engineering and managing sets of modeling languages * Integrating models into business environments such as development or sales * Experience with model-based engineering tools and traceability to/from models Submission Process ****************** The paper length is limited to 15 pages. Paper submission must conform to the Springer LNCS formatting guidelines (see http://www.springer.com/computer/lncs). All submissions must be original, unpublished, and not submitted simultaneously for publication elsewhere. They will undergo a thorough review process by a track-specific committee comprising leading experts from academia and industry; however, papers that are too long or violate the LNCS formatting instructions will be rejected. The reviews of the papers will be provided to the authors around June 17, 2010 and authors will have 48 hours to submit an optional response limited to 500 words for the purpose of clarification, correction, or answering questions asked by the reviewers. Responses will be taken into account during the PC meeting. Accepted papers will be published in the conference proceedings by Springer in the LNCS series. Authors of best papers from the conference will be invited to revise and submit extended versions of their papers for a special issue of the Journal on Software and Systems Modeling (Springer Press). Please visit http://models2010.ifi.uio.no for complete and up-to-date information on submissions. Organization Committee ********************** Conference Chairs: Oystein Haugen, Norway Birger Moller-Pedersen, Norway Program Chairs: Dorina Petriu, Canada (Foundations) Nicolas F Rouquette, USA (Applications) Workshop Chairs: Juergen Dingel, Canada Arnor Solberg, Norway Tutorial Chair: Stein Krogdahl, Norway Doctoral Symposium Chair: Bernhard Schatz, Germany Educator Symposium Chairs: Peter Clarke, USA Martina Seidl, Austria Panel Chair: Thomas Kuehne, New Zealand Steering Committee Chair: Heinrich Hussmann, Germany Publicity Chairs: Arne J Berre, Norway Franck Fleurey, Norway About Oslo and the conference locations *************************************** Oslo, capital of Norway, is located in the center of Scandinavia and is bounded by the fjord and forested hills, providing stunning scenery. The woods around Oslo are easily accessible by metro, and the city itself offers many outdoor cafes and pedestrian areas near the city center and along the waterfront. Most sites and museums are easily accessible by short walks or metro rides (see http://www.visitoslo.com/en). Early October in Oslo is a time of cool, crisp weather that is generally sunny and clear. The conference site is Oslo Congress Centre (http://www.oslokongressenter.no/) in the very heart of Oslo, with all hotels within walking distance. Visit the MODELS 2010 web site at http://models2010.ifi.uio.no for more information. From ieee.nss at gmail.com Fri Mar 5 02:13:43 2010 From: ieee.nss at gmail.com (NSS 2010) Date: Fri, 5 Mar 2010 11:13:43 +1000 Subject: [ecoop-info] Call for Papers - NSS 2009 - Network and System Security Message-ID: Dear Author, Please help distribute the CFP to your colleagues, thank you very much. --------------------- 4th International Conference on Network and System Security (NSS 2010) September 1-3, 2010, Melbourne, Australia http://www.anss.org.au/nss2010 In technical co-sponsorship with the IEEE and the IEEE Computer Society Technical Committee on Scalable Computing [Call For Papers] ----------------- While the attack systems have become more easy-to-use, sophisticated, and powerful, interest has greatly increased in the field of building more effective, intelligent, adaptive, active and high performance defense systems which are distributed and networked. We will focus our program on issues related to Network and System Security, such as authentication, access control, availability, integrity, privacy, confidentiality, dependability and sustainability of computer networks and systems. The aim of this conference is to provide a leading edge forum to foster interaction between researchers and developers with the network and system security communities, and to give attendees an opportunity to interact with experts in academia, industry and governments. NSS 2010 will be in technical co-sponsorship with the IEEE and the IEEE Computer Society Technical Committee on Scalable Computing (pending). NSS 2010 will be held in Melbourne, Australia. Since 2002, Melbourne has been consistently ranked in the top three 'World's Most Livable Cities' by The Economist. [Topics] -------- * Active Defense Systems * Adaptive Defense Systems * Benchmark, Analysis and Evaluation of Security Systems * Distributed Access Control and Trust Management * Distributed Attack Systems and Mechanisms * Distributed Intrusion Detection/Prevention Systems * Denial-of-Service Attacks and Countermeasures * High Performance Security Systems * Identity Management and Authentication * Implementation, Deployment and Management of Security Systems * Intelligent Defense Systems * Internet and Network Forensics * Key Distribution and Management * Large-scale Attacks and Defense * RFID Security and Privacy * Security Architectures in Distributed Network Systems * Security for Critical Infrastructures * Security in P2P systems * Security in Cloud and Grid Systems * Security in E-Commerce * Security and Privacy in Wireless Networks * Secure Mobile Agents and Mobile Code * Security Protocols * Security Simulation and Tools * Security Theory and Tools * Standards and Assurance Methods * Trusted Computing * Viruses, Worms, and Other Malicious Code * World Wide Web Security [Call for Workshops] -------------------- NSS 2010 will hold multiple workshops co-located with the main conference. We invite you to submit workshop proposals on any topic related to Network and System Security before March 15, 2010 to the Workshop Chairs Dr. Zesheng Chen (zchen at engr.ipfw.edu), Indiana University-Purdue University Fort Wayne, USA, and Dr. Haining Wang (hnw at cs.wm.edu), College of William and Mary, USA. [Important Dates] ----------------- Workshop proposal due: March 31, 2010 Paper submission due: March 31, 2010 Author notification: May 15, 2010 Camera-ready due: June 15, 2010 Conference date: September 1-3, 2010 [Submission Guidelines] ----------------------- To submit your paper, please go to http://www.anss.org.au/nss2010 and follow the link "Submit Your Paper". Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be clearly presented in English, must not exceed 8 pages, including tables, figures, references and appendixes, in IEEE CS proceedings 8.5" x 11" Two-Column Format, with Portable Document Format (.pdf). Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. The publication will be IEEE Computer Society Proceedings (EI, ISTP, and INSPEC indexed). Selected best papers will be published in high quality journals (SCI and EI indexed). Previous journal special issues can be found at http://nss.cqu.edu.au. [Committees] ------------ [General Chairs] Wanlei Zhou, Deakin University, Australia Ahmad-Reza, Sadeghi,Ruhr-University Bochum, Germany [Program Chairs] Yang Xiang, Central Queensland University, Australia Pierangela Samarati, University of Milan, Italy Jiankun Hu, RMIT University, Australia [International Advisory Committee] Ehab Al-Shaer, University of North Carolina, Charlotte, USA David Basin, ETH Zurich, Switzerland Elisa Bertino, Purdue University, USA Sushil Jajodia, George Mason University, USA Weijia Jia, City University of Hong Kong, Hong Kong Ninghui Li, Purdue University, USA Peng Ning, North Carolina State University, USA Jennifer Seberry, University of Wollongong, Australia Makoto Takizawa, Seikei University, Japan Vijay Varadharajan, Macquarie University, Australia [Workshop Chairs] Zesheng Chen, Indiana University-Purdue University Fort Wayne, USA Haining Wang, College of William and Mary, USA [Publicity Chairs] Laurent Lefevre, INRIA, University of Lyon, France Wen Tao Zhu, Chinese Academy of Sciences, China Muhammad Khurram Khan, King Saud University, Kingdom of Saudi Arabia [Steering Committee] Wanlei Zhou (Chair), Deakin University, Australia Ahmad-Reza Sadeghi, Ruhr-University Bochum, Germany Vijay Varadharajan, Macquarie University, Australia Yang Xiang, Central Queensland University, Australia [Program Committee] Jemal Abbawajy, Deakin University, Australia A. K. Aggarwal, University of Windsor, Canada Gail-Joon Ahn, Arizona State University, USA Ozgur B. Akan, Middle East Technical University, Turkey Shawkat Ali, Central Queensland University, Australia Emmanuelle Anceaume, IRISA / CNRS, France Tricha Anjali, Illinois Institute of Technology, USA Claudio Ardagna, Universita` degli Studi di Milano, Italy Gildas Avoine, UCL in Louvain-la-Neuve, Belgium Marinho P. Barcellos, Federal University of Rio Grande do Sul, Brazil Ilija Basicevic, University of Novi Sad, Serbia Jun Bi, Tsinghua University, China Carlo Blundo, University of Salerno, Italy Pino Caballero-Gil, University of La Laguna, Spain Christian Callegari, University of Pisa, Italy Zhenfu Cao, Shanghai Jiao Tong University, China Marco Casassa Mont, HP Labs, UK Rocky K. C. Chang, Hong Kong Polytechnic University, Hong Kong Rong-Jian Chen, National United University, Taiwan Chao Chen, Indiana University-Purdue University Fort Wayne, USA Yingying Chen, Stevens Institute of Technology, USA Shiping Chen, Sybase, USA Stelvio Cimato, Universit???? degli Studi di Milano, Italy Miguel Correia, University of Lisboa, Portugal Marco Cremonini, University of Milan, Italy Sabrina De Capitani di Vimercati, University of Milan, Italy Roberto Di Pietro, Universit???? degli Studi di Roma Tre, Italy Wanchun Dou, Nanjing University, China Zhenhai Duan, Florida State University, USA Naranker Dulay, Imperial College London, UK El-Sayed M. El-Alfy, King Fahd University of Petroleum and Minerals, Saudi Arabia Simone Fischer-Huebner, Karlstad University, Sweden Philip W. L. Fong, University of Calgary, Canada Sara Foresti, Universita` degli Studi di Milano, Italy Xinwen Fu, University of Massachusetts Lowell, USA Clemente Galdi, "Universita' di Napoli "Federico II"", Italy David Galindo, University of Luxembourg, Luxembourg Paolo Giorgini, University of Trento, Italy Ragib Hasan, Johns Hopkins University, USA Thaier Hayajneh, The Hashemite University, Jordan Thorsten Holz, Technical University Vienna, Austria Nen-Fu Huang, National Tsing Hua University, Taiwan Min-Shiang Hwang, National Chung Hsing University, Taiwan Rajesh Ingle, Pune Institute of Computer Technology, India Rafiqul Islam, Deakin University, Australia Martin Gilje Jaatun, SINTEF, Norway Di Jin, General Motors, USA George K. Karagiannidis, Aristotle University of Thessaloniki, Greece Sokratis Katsikas, Univesity of Piraeus, Greece Ezzat Kirmani, St. Cloud State University, USA Chris Leckie, The University of Melbourne, Australia Laurent Lefevre, INRIA, University of Lyon, France Chin-Laung Lei, National Taiwan University, Taiwan Zhuowei Li, Microsoft, USA Wenjia Li, University of Maryland Baltimore County, USA Cheng-Chew Lim, The University of Adelaide, Australia Jiqiang Liu, Beijing Jiaotong University, China Javier Lopez, University of Malaga, Spain Luke McAven, University of Wollongong, Australia Carlos Aguilar Melchor, Limoges University, France Chris Mitchell, University of London Royal Holloway, UK Edward David Moreno, DCOMP/UFS Federal University of Sergipe, Brazil Yi Mu, University of Wollongong , Australia Juan Gonzalez Nieto, Queensland University of Technology, Australia Jose A. Onieva, University of Malaga, Spain Xinming Ou, Kansas State University, USA Ozcan Ozturk, Bilkent University, Turkey Symeon Papavassiliou, National Technical University of Athens, Greece Stefano Paraboschi, Universita` degli Studi di Bergamo, Italy Gerardo Pelosi, Universita` degli Studi di Bergamo, Italy Maria S. Perez-Hernandez, Universidad Politecnica de Madrid, Spain Raphael C.-W. Phan, Loughborough University, UK Alexander Pretschner, TU Kaiserslautern and Fraunhofer IESE, Germany Wenyu Qu, Dalian Maritime University, China Guangzhi Qu, Oakland University, USA Indrakshi Ray, Colorado State University, USA Yonglin Ren, University of Ottawa, Canada Kui Ren, Illinois Institute of Technology, USA Alfonso Rodriguez, University of Bio-Bio, Chile Rodrigo Roman, University of Malaga, Spain Giovanni Russello, Create-Net, UK Damien Sauveron, University of Limoges, France Nitesh Saxena, Polytechnic Institute of New York University, USA Jean-Marc Seigneur, University of Geneva, Switzerland Zhijie Shi, University of Connecticut, USA Richard O. Sinnott, University of Glasgow, UK Nicolas Sklavos, Technological Educational Institute of Patras, Greece Jon A. Solworth, University of Illinois at Chicago, USA Haoyu Song, Bell Labs, USA Roy Sterritt, University of Ulster at Jordanstown, UK Kyoungwon Suh, Illinois State University, USA Willy Susilo, University of Wollongong , Australia Udaya Tupakula, Macquarie University, Australia Venkat N. Venkatakrishnan, University of Illinois Chicago, USA Hua Wang, University of Southern Queensland, Australia Guojun Wang, Central South University, China Huaxiong Wang , Nanyang Technological University, Singapore Guilin Wang, University of Birmingham, UK Xinyuan Wang, George Mason University, USA Weichao Wang, University of North Carolina at Charlotte, USA Duminda Wijesekera, George Mason University, USA Bin Xiao, Hong Kong Polytechnic University, Hong Kong George Xylomenos, Athens University of Economics and Business, Greece Hao Yang, IBM T.J. Watson Research Center, USA Muneer Bani Yassein, Jordan University of Science and Technology, Jordan Shui Yu, Deakin University, Australia Nicola Zannone, Eindhoven University of Technology, the Netherlands Yan Zhang, Simula Research Laboratory, Norway Hui Zhang, NEC Labs America, USA Wenbing Zhao, Cleveland State University, USA Bosheng Zhou, Queen's University Belfast, UK Hongbo Zhou, Slippery Rock University, USA Wen Tao Zhu, Chinese Academy of Sciences, China Sencun Zhu, Penn State University, USA Yi Zhuang, Zhejiang Gongshang University, China Cliff Zou, University of Central Florida, USA From jdcely at yahoo.com Fri Mar 5 01:06:28 2010 From: jdcely at yahoo.com (Jose-David Cely) Date: Thu, 4 Mar 2010 16:06:28 -0800 (PST) Subject: [ecoop-info] CFP IEEE LATINCOM 2010 Message-ID: <645117.44735.qm@web111012.mail.gq1.yahoo.com> CALL FOR PAPERS 2010 IEEE Latin- American Conference on Communications (LATINCOM) September 14 - 17 Bogota, Colombia ? www.ieee-latincom.org The Second IEEE Latin-American Conference on Communications 2010 (IEEE LATINCOM2010) will allow the academic and industrial communities to show their advances in communications. It will also open a space to discuss the impact of communications in the Latin American region. The main topic of LATINCOM 2010 will be ?GREEN TECHNOLOGIES FOR A BETTER WORLD? and how communications and related areas can support this concept. ? The organization committee invites submissions of unpublished technical papers in English for presentation in the conference either by oral or by a poster presentation and their further publication in the conference proceedings. ? TOPICS Areas of interest, but are not limited by the following tracks/categories: GREEN TECHNOLOGIES Telecommunications Policy Wireless Access, Regulatory and Spectrum Issues Best Practice & Innovative Strategies & Solutions Experiences in Colombia Experiences in Latin American Other Experiences Around the World COMMUNICATION SOFTWARE & SERVICES Communications & Information Security Communications Software Information Infrastructure Multimedia Communications Network Operations & Management COMMUNICATIONS / SIGNAL PROCESSING Communication Theory Data Storage Power Line Communications Radio Communications Satellite & Space Communications Signal Processing & Communications Electronics ? VERTICAL ISSUES IN COMMUNICATION SYSTEMS Communications Quality & Reliability Communications Systems Integration & Modeling Enterprise Networking Tactical Communications & Operations Wireless Communications ? NETWORKING Ad Hoc & Sensor Networks Cognitive Networks Communications Switching & Routing Computer Communications High-Speed Networking Internet Optical Networking Transmission, Access & Optical Systems ? IMPORTANT DATES May 3th, 2010??Paper submission deadline June 21th, 2010??Notification of acceptance July 5th, 2010??Final author manuscript ??????submission deadline ? PAPER SUBMISSION The papers must be submitted in pdf format using the paper submission page. Papers must be presented in standard IEEE double-column format. Only six (6) pages are allowed for paper. The illustrations and the references are included in the page count. ? CALL FOR TUTORIALS PROPOSALS ? IEEE LATINCOM2010 invites submission of tutorial proposals between 4 and 8 hours (half-day and full-day tutorials) of length to be presented on September 13 and 14. The proposals will be evaluated based on the importance, timeliness, and conference coverage of the topic, and track record of the instructor. Required information in the proposal (up to 3 pages): Title and abstract, detailed outline of topics, preferred length, full contact information of speaker(s), biography of speaker(s), and history of the tutorial presentation. Proposals should be sent to: latincom at ieee.org.co. The dates for submission and acceptance are the same used for papers above. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100304/95f9e40a/attachment.html From washi at fuka.info.waseda.ac.jp Tue Mar 2 08:50:17 2010 From: washi at fuka.info.waseda.ac.jp (Hironori Washizaki) Date: Mon, 01 Mar 2010 23:50:17 -0800 Subject: [ecoop-info] CFPart: AsianPLoP 2010 - 1st Asian Conference on Pattern Languages of Programs (Tokyo, 16-17 March) Message-ID: <4B8CC339.7000404@fuka.info.waseda.ac.jp> ====================================================================== *Call for Participation* AsianPLoP 2010 1st Asian Conference on Pattern Languages of Programs in Tokyo, Japan, March 16-17, 2010, collocated with The GRACE International Symposium on Advanced Software Engineering http://patterns-wg.fuka.info.waseda.ac.jp/asianplop/ AsianPLoP is a PLoP(R) Conference sanctioned by the Hillside Group. PLoP is a registered trademark of The Hillside Group. ---------------------------------------------------------------------- *Objective and Motivation* Asian Conference on Pattern Languages of Programs (AsianPLoP) will take place at the first time, as a premier event for pattern authors and users to gather, discuss and learn more about patterns and software development in the Asia region as well as other regions. The purpose of AsianPLoP is to promote development of patterns, pattern languages, technologies and experiences of patterns primarily about software; however, these for domains outside software are also welcome. In AsianPLoP 2010, various patterns, pattern languages and related techniques will be discussed. Topics include software design, services, security, interaction, pedagogy and organizational change. Most of papers will be workshopped in the traditional PLoP Writer's Workshop format. Thanks to our sponsors and supporters that the participation fee is completely free for all of authors and attendants. Please register yourself via the conference site. The invited talk is titled "A Timeless Way Of Communicating" by Joshua Kerievsky, who is an author of a Jolt Productivity awarded book "Refactoring to Patterns". He is a founder and CEO of Industrial Logic, Inc., and a pioneer of Industrial XP. He is also a senior consultant with Cutter Consortium's Agile Software Development and Project Management practice. ---------------------------------------------------------------------- *Program* Tue 16th March 9:30-10:40 Opening Ceremony 11:00-12:00 Keynote at GRACE Symposium: "Self-Managed Adaptive Systems" Jeffrey Kramer 13:00-15:30 Writer's Workshop 1 [Securiy and Design] "A pattern for the WS-Trust standard for web services" Ola Ajaj and Eduardo B. Fernandez "A Worm misuse pattern" Eduardo B. Fernandez, Nobukazu Yoshioka and Hironori Washizaki "Design Decision Topology Model for Pattern Relationship Analysis" Kiran Kumar Vajja and Prabhakar TV 15:50-16:20 Invited talks and Panel discussion at GRACE Symposium "ITSS Overview and Worldwide Promotion" Masaharu Niwa "Privacy Requirements in Mobile and Ubiquitous Comp" Bashar Nuseibeh "The Future of Software Engineering: a historical perspective" (Panel) 19:00-21:00 Banquet Wed 17th March 9:00-10:00 Invited talk "A Timeless Way Of Communicating" Joshua Kerievsky 10:20-11:50 Writer's Workshop 2 and Tutorial [Pedagogy and Organization] "Learning Patterns: A Pattern Language for Creative Learners II" Takashi Iba and Toko Miyake "Metamorphosis - A Successful Organizational Change Management Pattern" Madhup Jain, Ranjith Kutty and Raju Dani Reviewing pattern papers and exploring how to make them better(TBD) 13:00-14:00 Invited talk at GRACE Symposium "Expressive Design Techniques and Efficient Model Checking" Jin-Song Dong 14:35-15:50 Writer's Workshop 3 and Writing Group 1 [Interaction] "Analyzing the HCI Design Pattern Variety" Christian Kruschitz and Martin Hitz "Research Organization Servicelization Patterns" Yuriko Sawatani 16:10-17:00 Writing Group 2 [Services] "Encrypted Observer Pattern" Vivek Gondi and Datta G "Adaptable Load Balancing" Sung Kim and Youngsu Son 17:00-17:40 Closing Ceremony *NOTE: In addition to the above-mentioned papers, there will be eight papers discussed in different Japanese track. --------------------------------------------------------------------- *Conference Committee and Sponsors* Conference Chair: Eiichi Hanyuda, Mamezou, Japan Program Co-Chairs: Hironori Washizaki, Waseda University, Japan Nobukazu Yoshioka, National Institute of Informatics, Japan Sponsors: National Institute of Informatics (NII), GRACE Center ACM Japan Chapter SIGSE Patterns Working Group, Information Processing Society of Japan Supporter: eXtreme Programming Japan Users Group Contact Us: asianplop [at] sse-project.org ====================================================================== From jop at di.uminho.pt Fri Mar 5 10:17:51 2010 From: jop at di.uminho.pt (=?utf-8?q?Jos=C3=A9_Orlando_Pereira?=) Date: Fri, 5 Mar 2010 09:17:51 +0000 Subject: [ecoop-info] CFP: Intl. Symp. on Reliable Distributed Systems (SRDS) Message-ID: <201003050917.54359.jop@di.uminho.pt> (We apologize if you receive multiple copies of this message) Call for Papers IEEE SRDS 2010 29th International Symposium on Reliable Distributed Systems November 1-3, 2010, Delhi, INDIA http://www.scs.ryerson.ca/iwoungan/SRDS2010/ For 29 years, the IEEE Symposium on Reliable Distributed Systems has been a traditional forum for researchers and practitioners who are interested in reliability, security, availability, privacy, and safety of systems and networks. We welcome original research papers as well as papers that deal with design, development and experimental results of operational systems. We are also soliciting papers for an experience track that presents on-going industrial projects, prototype systems and exploratory or emerging applications. TOPICS OF INTEREST: Papers in all system issues including the following are welcome: ? Security and privacy issues in wireless ad hoc and sensor networks ? Dependability in autonomic, pervasive and ubiquitous computing ? Support for trustworthy computing in operating systems and databases ? Scalable systems design and issues of trust in social networks ? Internet dependability and quality of service ? Safety-critical systems and critical infrastructures ? Dependability of high-speed networks and protocols ? Fault-tolerance in embedded systems, mobile, and multimedia systems ? Dependable wireless networks and peer-to-peer networks ? Intrusion-tolerant, survivable, and self-stabilizing systems ? Dependability in grid-, cluster-, and cloud computing ? Measurement, monitoring, and prediction in distributed systems ? Analytical or experimental evaluations of dependable distributed systems ? Formal methods and foundations for dependable distributed computing ? Performance and dependability assessing techniques, tools, and results IMPORTANT DATES: Paper registration, preliminary keywords & abstract (required): March 27,2010 Full Paper submission: April 10, 2010 Author notification: June 30, 2010 Camera-ready: July 20, 2010 SUBMISSION GUIDELINES: Papers must be written in English and can be submitted in the following categories: (1) Regular papers describing original research as well as design, development and experimental results of operational systems. (2) Practical experience reports describing on-going industrial projects, prototype systems. (3) Short papers on provocative topics or emerging research. Regular papers and practical experience. Reports should be no longer than 10 pages, following the IEEE two-column format for conference proceedings, in font size no smaller than 10 points, and must fit properly on US "Letter"-sized paper (8.5 x 11 inches). Short papers should be limited to 5 pages. Submissions from students are especially welcome. Authors are requested to first register their submissions on the EDAS Tool and submit their manuscripts in PDF format, using the following link: http://edas.info/N8629. Accepted papers will appear in the symposium proceedings, which will be published by the IEEE Computer Society. BEST PAPER AWARD: The symposium will highlight the best paper and best student paper award. All papers accepted for presentation at the symposium will be evaluated by the Awards Committee for the award. WORKSHOPS & TUTORIALS: Workshops and tutorials are planned to be held in conjunction with SRDS 2010 on 3rd November, 2010. To submit your papers to workshops, please consult: http://www.scs.ryerson.ca/iwoungan/SRDS2010 CONTACTS: For local information: Rajeev Gupta (IBM India Research Lab, India), grajeev at in.ibm.com. For all other information: Isaac Woungang (Ryerson University, Canada), iwoungan at scs.ryerson.ca Mukesh K Mohania (IBM Research, India), mkmukesh at in.ibm.com ADDITIONAL INFORMATION: Please visit the symposium homepage available at http://www.scs.ryerson.ca/iwoungan/SRDS2010 SPONSORED BY: IEEE Computer Society Technical Committee on Distributed Processing. SRDS 2010 is organized in Cooperation with IBM & Indian Institute of Technology, Delhi, India. TPC MEMBERS: Varsha Apte, IIT Bombay, India Saurabh Bagchi, Purdue University, USA Roberto Baldoni, University of Roma, Italy Nikita Borisov, University of Illinois Urbana-Champaign, USA Francisco Brasileiro, Federal University of Campina Grande, Brazil Vinnny Cahill, Trinity College Dublin, Ireland Srdjan Capkun, ETHZ, Switzerland Antonio Casimiro, University of Lisbon, Portugal Sanjay Kumar Dhurandher, University of Delhi, India Rajeev Gandhi, Carnegie Mellon University, USA Felicita di Giandomenico, ISTI-CNR, Italy Jiannong Cao, The Hong-Kong Polytechnic University, China Sachin Garg, Yahoo! Labs, India Vijay Garg, University of Texas Austin, USA Karl Goeschka, Technical Univesity Vienna, Austria Mohamed Gouda, University of Texas Austin, USA Naohiro Hayashibara, Kyoto Sangyo University, Japan Michel Hurfin, INRIA, France Bettina Kemme, McGill University, Canada Kane Kim, University of California Irvine, USA Ajay Kshemkalyani, University of Illinois Chicago, USA Raimundo Macedo, Federal University of Bahia, Brazil D. Manivannan, University of Kentucky, USA Michael Mock, Fraunhofer Institute, Germany Luca Mottola, Swedish Institute of Computer Science, Sweden Paul Murray, HP Labs, UK Cristina Nita-Rotaru, Purdue University, USA Edgar Nett, University of Magdeburg, Germany Marta Patino-Martinez, Technical University of Madrid, Spain Fernando Pedone, University of Lugano, Switzerland Guillaume Pierre, Vrije University, The Netherlands Peter Pietzuch, Imperial College, UK David Powell, LAAS, France Vijayan Prabhakaran, Microsoft Research, USA Ravi Prakash, University of Texas Dallas, USA Luis Rodrigues, Instituto Superior Tecnico, Portugal Rodrigo Rodrigues, MPI-SWS, Germany Luigi Romano, University of Naples ??oeParthenope???, Italy Andre Schiper, EPFL, Switzerland Hans-Peter Schwefel, University of Aalborg, Denmark Mukesh Singhal, University of Kentucky, USA Krishna Sivalingam, IIT Madras, India Hui Song, Frostburg State University, USA Francois Taiani, University of Lancaster, UK Anand Tripathi, University of Minnesota, USA Kishor Trivedi, Duke University, USA Shambhu Upadhyaya, SUNY Buffalo, USA Marco Vieira, University of Coimbra, Portugal Jie Xu, Univeristy of Leeds, UK Xinyuan Wang, George Mason University, USA Yi-Min Wang, Microsoft, USA I-ling Yen, University of Texas Dallas, USA Yanyong Zhang, Rutgers University, USA Wanlei Zhou, Deakin University, Australia - SYMPOSIUM CO-CHAIRS: Mukesh Mohania, IBM Research, India Isaac Woungang, Ryerson University, Canada - HONORARY CO-CHAIRS: Manish Gupta (IBM Research-Watson, USA and India) B. N. Jain (IIT Delhi, India) -PROGRAM COMMITTEE CO-CHAIRS: Atul Prakash (University of Michigan, USA) Rui Oliveira (University of Minho, Portugal) Anupam Joshi (UMBC, USA) - PUBLICITY CO-CHAIRS: Anirban Mondal (IIIT Delhi, India) Wookey Lee (Inha University, South Korea) Leszek Lilien (Western Michigan University, USA) - FINANCE CO-CHAIRS: Sriram Chellappan (Missouri University of Science & Technology, USA) Rajneesh Gupta (India) - LOCAL ARRANGEMENTS CHAIR: Rajeev Gupta (IBM Research, India) - PANEL CO-CHAIRS: Neelima Gupta (University of Delhi, India) Sy-Yen Kuo (National Taiwan University, Taiwan) - AWARDS CO-CHAIRS: Mukesh Singhal, University of Kentucky, USA Simone Fischer-Huebner, Karlstad University, Sweden - WORKSHOP CO-CHAIRS: Murtuza Jadliwala (EPFL, Switzerland) Sanjay Madria (Missouri University of Science and Technology, USA) - TUTORIAL CO-CHAIRS: Sudip Misra (IIT Kharagpur, India) Domenico Cotroneo (Universita di Napoli Federico II, Italia) - PH.D STUDENT POSTERS CO-CHAIRS: Preeti Panda (IIT Delhi, India) Farookh Hussain (Curtin University of Technology, Australia) - UNDERGRADUATE RESEARCH POSTERS CHAIR: Varsha Apte (IIT Bombay, India) - CONFERENCE ASSISTANT: Raj K Sharma (IBM Research - India) - TC LIAISON: Bharat Bhargava, Purdue University, USA From aspocp10 at gmail.com Fri Mar 5 16:44:15 2010 From: aspocp10 at gmail.com (aspocp10 at gmail.com) Date: Fri, 5 Mar 2010 09:44:15 -0600 (CST) Subject: [ecoop-info] ASPOCP 2010 Call For Papers Message-ID: <201003051544.o25FiF7c015751@krlab.cs.ttu.edu> =============================================================================== CALL FOR PAPERS ASPOCP 2010 3rd Workshop on Answer Set Programming and Other Computing Paradigms http://www.dbai.tuwien.ac.at/proj/aspocp10/ Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 =============================================================================== AIMS AND SCOPE Since its introduction in the 1990s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship, the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), or first-order logic (FOL) is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, and FOL theorem provers. Furthermore, the practical application of ASP also fosters work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms. - Relating ASP to other nonmonotonic languages. - New methods of computing answer sets using algorithms or systems of other paradigms. - ASP and probabilistic reasoning. - ASP and machine learning. - Language extensions to ASP. - ASP and argumentation. - ASP and multi-agent systems. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - Embedding ASP for challenging applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp10 IMPORTANT DATES (tentative) Submission deadline: March 26, 2010 Notification: April 16, 2010 Camera-ready articles due: April 30, 2010 Workshop: July 20, 2010 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). Informal proceedings will be provided at the workshop. Selected papers will also be published in a special edition of AI Communications. LOCATION The workshop will be held in Edinburgh (Scotland, U.K), collocated with the International Conference on Logic Programming (ICLP) 2010. WORKSHOP CO-CHAIRS Marcello Balduccini (Kodak Research Labs, USA) Stefan Woltran (Vienna University of Technology, Austria) PROGRAM COMMITTEE Gerhard Brewka (University of Leipzig, Germany) Pedro Cabalar (Corunna University, Spain) Wolfgang Faber (University of Calabria, Italy) Michael Fink (Vienna University of Technology, Austria) Martin Gebser (University of Potsdam, Germany) Joohyung Lee (Arizona State University, USA) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (Hong Kong University of Science and Technology, China) Marco Maratea (University of Genoa, Italy) Emilia Oikarinen (University of Helsinki, Finland) Axel Polleres (DERI, National University of Ireland, Ireland) Ashish Sabharwal (Cornell University, USA) Guillermo R. Simari (Universidad Nacional del Sur, Argentina) Paolo Torroni (University of Bologna, Italy) Miroslaw Truszczynski (University of Kentucky, USA) Dirk Vermeir (Vrije Universiteit Brussel, Belgium) Jia-Huai You (University of Alberta, Canada) From fabio at dcs.shef.ac.uk Fri Mar 5 17:40:28 2010 From: fabio at dcs.shef.ac.uk (Fabio Ciravegna) Date: Fri, 5 Mar 2010 16:40:28 +0000 Subject: [ecoop-info] University of Sheffield: PhD studentship on information extraction for knowledge management Message-ID: <8DE9EE99-2F7B-46F5-94BE-1FF0D4D20F69@dcs.shef.ac.uk> ** apologies for multiple postings *** One studentships is available at the Department of Computer Science of the University of Sheffield to work in the area of information extraction and semantic technologies. Details are below. For information, please contact Fabio Ciravegna (fabio at dcs.shef.ac.uk) Start date of the studentship: October 2010 or before Length: three years, subject to satisfactory progress Stipend: ?13,290 per annum More details: The studentship provides payment of tuition fees at the UK/EU rate (this means that non EU candidates can only be considered if they have alternative sources of funding -- we cannot provide those) Closing date for submissions is 25.03.2010. Interviews (via videoconference or telephone for candidates not in Sheffield) will be held Monday 12.4.2010 TOPIC The project is funded by Rolls-Royce plc as part of the ?90m Samulet program. The studentship will concern the study of models of information extraction based on Machine Learning that enable porting to different corpora in the same domain with limited or no training. Application will be to real world scenarios and data at Rolls-royce plc. CRITERIA FOR SELECTION Candidates should hold at a first class honour degree or masters degree in Computer Science or a related discipline. The candidate should have excellent computer programming skills (including Java); analytic, presentational, communication and effective interpersonal skills; ability to work effectively within the research team, and a proven capacity to work to and meet deadlines. It is required knowledge of and experience in one of: Natural Language Processing, Information extraction from text, Text processing, Machine learning Information retrieval. HOW TO APPLY: please send an email to Prof. Fabio Ciravegna (f.ciravegna at dcs.shef.ac.uk) declaring your intention to be considered for the position attaching the following documents: ?an updated Curriculum Vitae ? a cover letter explaining why you are the right person for the position INFORMAL ENQUIRIES Informal enquiries may be directed to Prof. Fabio Ciravegna (f.ciravegna at dcs.shef.ac.uk). Further Details The successful candidate will study within the Organisations, Information and Knowledge (OAK) Group which is part of the Department of Computer Science at the University of Sheffield. More information about the OAK group is available at: http://oak.dcs.shef.ac.uk/ -- Professor Fabio Ciravegna, Director of Research & Innovation in the Digital World, The University of Sheffield --- Professor of Language and Knowledge Technologies, Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello, S1 4DP, Sheffield, UK Tel:+44(0)114-22.21940, Fax:+44(0)114-22.21810 www: http://www.dcs.shef.ac.uk/~fabio/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100305/a02bb685/attachment-0001.html From markku.j.sakkinen at cs.jyu.fi Fri Mar 5 19:26:49 2010 From: markku.j.sakkinen at cs.jyu.fi (Markku Sakkinen) Date: Fri, 5 Mar 2010 20:26:49 +0200 Subject: [ecoop-info] Testing workshop at ECOOP 2010 Message-ID: <20100305182649.GA2543@wind2.it.jyu.fi> [Apologies if you receive multiple copies of this] Call for Papers for ETOOS 2010, the 1st ECOOP Workshop on Testing Object-Oriented Systems Associated with ECOOP 2010, Maribor, Slovenia Object-oriented software presents a particular challenge to the software testing community. This is due to the many dependencies between classes and components, which occur as a result of reuse and non-redundancy. To the object-oriented community, on the other hand, testing presents a challenge whose importance may still be underestimated. There is probably too little communication between practitioners and researchers concerning object-oriented testing. Therefore, testing practitioners are especially encouraged to participate with reports from their experience and lessons learned. Since this is a workshop, submissions are not required to be finished scientific articles. The potential to cause fruitful discussion is more important. Note the following important dates: - Paper submission: April 19, 2010 - Notification of acceptance: May 5, 2010 - ECOOP early registration deadline: May 10, 2010 - Workshop: June 21 or 22 Please note that registration must be done with ECOOP itself. For more information, please visit the workshop web site: http://etoos2010.sed.hu From malexand at scaledinfra.com Fri Mar 5 21:35:08 2010 From: malexand at scaledinfra.com (Michael Alexander) Date: Fri, 5 Mar 2010 21:35:08 +0100 Subject: [ecoop-info] CfP 5th Workshop on Virtualization in High-Performance Cloud Computing (VHPC'10) Message-ID: <1F3134B6-1F1F-48C1-ADA8-2560FE3906D7@scaledinfra.com> Apologies if you received multiple copies of this message. ================================================================= CALL FOR PAPERS 5th Workshop on Virtualization in High-Performance Cloud Computing VHPC'10 as part of Euro-Par 2010, Ischia-Naples, Italy ================================================================= Date: August 31, 2010 Euro-Par 2009: http://www.europar2010.org/ Workshop URL: http://vhpc.org SUBMISSION DEADLINE: Abstracts: March 31, 2010 Full Paper: June 17, 2010 Scope: Virtualization has become a common abstraction layer in modern data centers, enabling resource owners to manage complex infrastructure independently of their applications. Conjointly virtualization is becoming a driving technology for a manifold of industry grade IT services. Piloted by the Amazon Elastic Computing Cloud services, the cloud concept includes the notion of a separation between resource owners and users, adding services such as hosted application frameworks and queuing. Utilizing the same infrastructure, clouds carry significant potential for use in high-performance scientific computing. The ability of clouds to provide for requests and releases of vast computing resource dynamically and close to the marginal cost of providing the services is unprecedented in the history of scientific and commercial computing. Distributed computing concepts that leverage federated resource access are popular within the grid community, but have not seen previously desired deployed levels so far. Also, many of the scientific datacenters have not adopted virtualization or cloud concepts yet. This workshop aims to bring together industrial providers with the scientific community in order to foster discussion, collaboration and mutual exchange of knowledge and experience. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections. Presentations may be accompanied by interactive demonstrations. It concludes with a 30 min panel discussion by presenters. TOPICS Topics include, but are not limited to, the following subjects: 1/ Local and cloud resources - Virtualization in cloud, cluster and grid HPC environments - VM cloud, cluster load distribution algorithms - Cloud, cluster and grid filesystems - QoS and and service level guarantees - Cloud programming models, APIs and databases - Software as a service (SaaS) - Cloud provisioning 2/ HPC and Data intensive computing on virtual resources - Virtualized I/O - VMMs and storage virtualization - MPI, PVM on virtual machines - High-performance network virtualization - High-speed interconnects - Hypervisor extensions - Tools for cluster and grid computing - Xen/other VMM cloud/cluster/grid tools - Raw device access from VMs 3/ Efficiency and flexibility through virtualization - Cloud reliability, fault-tolerance, and security - Cloud load balancing - VMs - power efficiency - Network architectures for VM-based environments - VMMs/Hypervisors - Hardware support for virtualization - Fault tolerant VM environments 4/ The price to pay - Workload characterizations for VM-based environments - Bottleneck management - Metering - VM-based cloud performance modeling - Cloud security, access control and data integrity - Performance management and tuning hosts and guest VMs - VMM performance tuning on various load types - Management of VM environments and clouds - Deployment of VM-based environments 5/ Examples to follow - Research and education use cases - Cloud use cases PAPER SUBMISSION Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, key words, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in the Springer LNCS series - the format must be according to the Springer LNCS Style. Initial submissions are in PDF, accepted papers will be requested to provided source files. Format Guidelines: http://www.springer.de/comp/lncs/authors.html Submission Link: http://edas.info/newPaper.php?c=8553 IMPORTANT DATES March 31 - Abstract submission due May 17 - Full paper submission July 14 - Acceptance notification August 3 - Camera-ready version due August 31 - September 3 - conference CHAIR Michael Alexander (chair), scaledinfra technologies GmbH, Austria Gianluigi Zanetti (co-chair), CRS4, Italy PROGRAM COMMITTEE Padmashree Apparao, Intel Corp., USA Volker Buege, University of Karlsruhe, Germany Roberto Canonico, University of Napoli Federico II, Italy Tommaso Cucinotta, Scuola Superiore Sant'Anna, Italy Werner Fischer, Thomas Krenn AG, Germany William Gardner, University of Guelph, Canada Wolfgang Gentzsch, DEISA. Max Planck Gesellschaft, Germany Derek Groen, UVA, The Netherlands Marcus Hardt, Forschungszentrum Karlsruhe, Germany Sverre Jarp, CERN, Switzerland Shantenu Jha, Louisiana State University, USA Xuxian Jiang, NC State, USA Kenji Kaneda, Google, Japan Yves Kemp, DESY Hamburg, Germany Ignacio Llorente, Universidad Complutense de Madrid, Spain Naoya Maruyama, Tokyo Institute of Technology, Japan Jean-Marc Menaud, Ecole des Mines de Nantes, France Anastassios Nano, National Technical University of Athens, Greece Oliver Oberst, Karlsruhe Institute of Technology, Germany Jose Renato Santos, HP Labs, USA Borja Sotomayor, University of Chicago, USA Deepak Singh, Amazon Webservices, USA Yoshio Turner, HP Labs, USA Kurt Tuschku, University of Vienna, Austria Lizhe Wang, Indiana University, USA Chao-Tung Yang, Tunghai University, Taiwan DURATION: Workshop Duration is one day. GENERAL INFORMATION The workshop will be held as part of Euro-Par 2010, Ischia-Naples, Italy. Euro-Par 2010: http://www.europar2010.org/ From Lionel.Seinturier at univ-lille1.fr Sun Mar 7 11:06:03 2010 From: Lionel.Seinturier at univ-lille1.fr (Lionel Seinturier) Date: Sun, 07 Mar 2010 11:06:03 +0100 Subject: [ecoop-info] AOSD 2010 - Call for Participation Message-ID: <4B937A8B.9010208@univ-lille1.fr> << CALL FOR PARTICIPATION >> ============================================================ 9th International Conference on Aspect-Oriented Software Development (AOSD 2010) http://aosd.net/2010 March 15-19, 2010 Rennes & Saint Malo, France ============================================================ The full program is online and registration is open. See: http://aosd.net/2010 Sponsors: * CAPS entreprise, School of Engineering at University of Rennes 1, AOSD-Europe, Fondation Michel Metivier, Ecole des Mines de Nantes In cooperation with: * INRIA, Universite Rennes 1, ACM SIGSOFT, ACM SIGPLAN ============================================================ New modularity concepts, methods and techniques for software systems The International Conference on Aspect-Oriented Software Development (AOSD) is the premier conference on software modularity that goes beyond traditional abstraction boundaries. AOSD.10 seeks to foster richer notions of modularity and abstractions for software and software-intensive systems increasing the emphasis on modularity not only of code, but across lifecycle artifacts (e.g., from requirements to tests). AOSD.10 is concerned with modularity across the whole software ecosystems, including the organizations and processes that define, develop, deploy, operate, protect, evolve and use these systems in a more agile way. Continuing the tradition of its successful predecessors, the program of AOSD.10 will include: - Keynotes by Rod Johnson, Martin Odersky and Martin Rinard. - A Research Track with 18 research papers presenting the latest results in AOSD research. - An Industry Track where architects and developers with experience in aspects gather to learn and teach. - 7 Workshops for in-depth discussion of advanced topics in industry and research. - 11 Demonstrations of leading-edge technologies. - A highly interactive Student Forum with a Spring School, a Poster Event and a Research Project Collaboration Event. - A great social program to encourage informal discussion among peers. A summary of the program is provided below. Please consult http://aosd.net/2010 for details and up-to-date information. We invite you to attend AOSD.10! ========================================== KEYNOTES ========================================== The following keynotes will be offered at AOSD.10: Rod Johnson, Creator of the Spring framework AOP in the wild: Killer applications and why AOP is perfect for the cloud Martin Odersky, Professor EPFL Redesigning Scala's Collections - A Case Study in Abstraction and Modularity Martin Rinard, Professor MIT Sociological Aspects of Aspect-Oriented Programming ========================================== RESEARCH TRACK ========================================== The Research Track captures state-of-the-art research occurring in AOSD. A broad range of topics will be presented throughout the conference. The specific sessions and paper titles for AOSD.10 are as follows: Parallel Dynamic Analysis on Multicores with Aspect-Oriented Programming Danilo Ansaloni, Alex Villazon, Walter Binder, Philippe Moret (U. Lugano) AspectScript: Expressive Aspects for the Web Rodolfo Toledo, Paul Leger, Eric Tanter (U. Chile) Reusable Enterprise Metadata with Pattern-Based Structural Expressions Eli Tilevich, Myoungkyu Song (Virgina Tech) A Model for Composable Composition Operators Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit (U. Twente) Composing Aspects with Aspects Antoine Marot (UL Bruxelles), Roel Wuyts (IMEC/KU Leuven) Tracking Code Patterns over Multiple Software Versions with Herodotos Nicolas Palix (U. Copenhagen), Julia Lawall (U. Copenhagen), Gilles Muller (INRIA) Assessing the Impact of Aspects on Model Composition Effort Kleinner Farias (PUC Rio), Alessandro Garcia (PUC Rio), Jon Whittle (Lancaster U.) From Aspect-Oriented Models to Aspect-Oriented Code? The Maintenance Perspective Aram Hovsepyan, Riccardo Scandariato, Stefan Van Baelen, Yolande Berbers, Wouter Joosen (KU Leuven) Tool support for crosscutting concerns of API documentation Michihiro Horie, Shigeru Chiba (TokyoTech) Execution Levels for Aspect-Oriented Programming Eric Tanter (U. Chile) An Architecture for Composing Embedded Domain-Specific Languages Tom Dinkelaker, Michael Eichberg, Mira Mezini (TU Darmstadt) Weaving Generic Programming and Traversal Performance Bryan Chadwick, Karl Lieberherr (Northeastern U.) AspectMatlab: An Aspect-Oriented Scientific Programming Language Toheed Aslam, Jesse Doherty, Anton Dubrau, Laurie Hendren (McGill U.) A Permission System for Secure AOP Wouter De Borger, Bart De Win, Bert Lagaisse, Wouter Joosen (KU Leuven) Disambiguating Aspect-Oriented Security Policies Micah Jones, Kevin W. Hamlen (U. Texas at Dallas) EffectiveAdvice: Disciplined Advice with Explicit Effects Bruno C. d. S. Oliveira (National University Korea), Tom Schrijvers (KU Leuven), William R. Cook (U. Texas at Austin) Type Relaxed Weaving Hidehiko Masuhara (U. Tokyo), Atsushi Igarashi (Kyoto U.), Manabu Toyama (U. Tokyo) A theory of distributed aspects Nicolas Tabareau (INRIA/EM Nantes) ========================================== INDUSTRY TRACK ========================================== The AOSD.10 Industry Track features contributions from industrial researchers and practitioners based on experience in applying AOSD concepts to industrial challenges. Papers in the Industry Track include: Program Analysis Environment for Writing COBOL Aspects Hideaki Shinomi, Yasuhisa Ichimori SeamlessEnterprise: An Embedded JEE server with AOP Daniel Wiese Evaluation of an Aspect-Oriented Framework for Extending a Project With Provenance Documentation Features Arne Bachmann, Henning Bergmeyer, Andreas Schreiber ========================================== WORKSHOPS ========================================== A diverse set of workshops will be offered at AOSD.10 during the first two days of the conference. All workshops are included in the registration fee. There will be seven workshops at AOSD.10: - ACP4IS: Aspects, Components, and Patterns for Infrastructure Software - AOMM: Aspect-Oriented Meta-Modeling - CV: Composition and Variability - DSAL: Domain-Specific Aspect Language - EA: Early Aspects - ESCOT: Empirical Evaluation of Software Composition Techniques - FOAL: Foundations of Aspect-Oriented Languages ========================================== DEMONSTRATIONS ========================================== Demonstrations serve to disseminate advances embodied in research-oriented tools and systems that use or support AOSD. Each of the following demonstrations will be offered throughout the conference week: Efficient Dynamic Analysis Tools: AOP Meets Multicore Walter Binder, Danilo Ansaloni, Philippe Moret, Alex Villazon AspectScript: Expressive Aspects for the web Paul Leger, Rodolfo Toledo, Eric Tanter AspectMaps: A scalable Visualization of Join Point Shadows Johan Fabry AspectKE: Security Aspects with Program Analysis for distributed Systems Fan Yang, Hidehiko Masuharab, Tomoyuki Aotanib, Flemming Nielsona, Hanne Riis Nielsona Constructing domain-specific composition operators with Co-op Lodewijk Bergmans Wilke Havinga, Christoph Bockisch, Mehmet Aksit Postsharp 2.0: towards industrial use of AOSD in microsoft .NET Gael Fraiteur Introduction to Ptolemy and its development Environment Hridesh Rajan, Mehdi Bagherzadeh A practical Aspect-Oriented Javascript Programming Framework Based on a Proxy Mechanism Akira Ohashi, Shinichi Murakami, Atsuto Kubo, Hironori Washizaki, Tomohiko Mizumachi AsppectFX: A framework for supporting collaborative works in RIA by aspect oriented approach Hiroaki Fukuda Aspect-Oriented Modeling to support Dynamic Adaptation Brice Morin, Franck Fleurey, Olivier Barais, Jean-Marc Jezequel Taming Orchestration Design Complexity through the Adore Framework Sebastien Mosser, Mireille Blay?Fornarino ========================================== ORGANIZING COMMITTEE ========================================== - General Chair: Jean-Marc Jezequel (France) - Organizing Chair: Benoit Baudry (France) - Research Program Chair: Mario Sudholt (France) - Industry Program Co-Chairs: Uwe Hohenstein (Germany) and Thierry Vareine (France) - Workshops Chair: Robert France (USA) - Demonstrations Chair: Philippe Lahire (France) - Publicity Chair: Lionel Seinturier (France) - Student Events Chair: Ruzanna Chitchyan (UK) - Web Chair: Freddy Munoz (France) - Sponsorship Chair: Benoit Combemale (France) ========================================== PROGRAM COMMITTEE ========================================== Uwe Assmann (Germany), Walter Binder (Switzerland), Betty Cheng (USA), Shigeru Chiba (Japan), Erik Ernst (Denmark), Pascal Fradet (France), Robert France (USA), Alessandro Garcia (Brazil), Jeff Gray (USA), Viviane Jonckers (Belgium), Wouter Joosen (Belgium), Karl Lieberherr (USA), David Lorenz (Israel), Mira Mezini (Germany), Ana Moreira (Portugal), Christian Prehofer (Finland), Hridesh Rajan (USA), Awais Rashid (UK), Lionel Seinturier (France), Mario Sudholt (France), Eric Tanter (Chile), Robert Walker (Canada), Eric Wohlstadter (Canada) -- Lionel Seinturier Univ. Lille - Lab. LIFL - INRIA ADAM http://www.lifl.fr/~seinturi From p.kelly at worldcis.org Sun Mar 7 13:44:30 2010 From: p.kelly at worldcis.org (Paul Kelly) Date: Sun, 7 Mar 2010 12:44:30 +0000 (GMT) Subject: [ecoop-info] Call for Papers: WorldCIS 2011! Message-ID: <598963336.637856.1267965870854.JavaMail.open-xchange@oxltgw16.schlund.de> Apologies for cross-postings. Please send it to interested colleagues and students. Thanks! CALL FOR PAPERS ******************************************************** World Congress on Internet Security (WorldCIS-2011), Technically Co-Sponsored by IEEE UK/RI Computer Chapter 21-23 February, 2011 London, UK www.worldcis.org ******************************************************** The World Congress on Internet Security (WorldCIS-2011) is Technically Co-Sponsored by IEEE UK/RI Computer Chapter. The WorldCIS-2011 is an international forum dedicated to the advancement of the theory and practical implementation of security on the Internet and Computer Networks. The inability to properly secure the Internet, computer networks, protecting the Internet against emerging threats and vulnerabilities, and sustaining privacy and trust has been a key focus of research. The WorldCIS aims to provide a highly professional and comparative academic research forum that promotes collaborative excellence between academia and industry. On the ubiquitous networking environments, information is explosively used for various kinds of purposes. From a service perspective, a number of context or ambient aware services are envisaged for "ubiquitous networking" but based on the context security remains an issue. The objectives of the WorldCIS are to bridge the knowledge gap between academia and industry, promote research esteem and and to fostering discussions on information technologies, information systems and globa security applications. The WorldCIS-2011 invites speakers and researchers to submit papers that encompass conceptual analysis, design implementation and performance evaluation. Original papers are invited on recent advances in Internet, Computer Communications and Networking Scuerity. The topics in WorldCIS-2011 include but are not confined to the following areas: *Internet Security *Security, trust and privacy *Self-organizing networks *Sensor nets and embedded systems *Service overlays *Switches and switching *Topology characterization and inference *Traffic measurement and analysis *Traffic engineering and control *Trust and Data Security *Virtual and overlay networks *Web services and performance *Wireless mesh networks and protocols *Ad hoc mobile networks Security *Addressing and location management *Broadband access technologies *Blended Internet Security Methods *Biometrics *Boundary Issues of Internet Security *Capacity planning *Cellular and broadband wireless nets *Congestion control *Content distribution *Cryptography *Cross layer design and optimization *Cyber-physical computing/networking *Geographic information systems *Privacy Protection and Forensic in Ubi-com *Quality of Service Issues *Regulations *Secured Database Systems *Security in Data Mining *Security and Access Control *Semantic Web and Ontology *Data management for U-commerce *Software Architectures *Defence Systems *Delay/disruption tolerant networks *End Users *Enabling technologies for the Internet *Implementation and experimental testbeds *Future Internet Design and Applications *Middleware support for networking *Mobility models and systems *Multicast and anycast *Multimedia protocols and networking *Network applications and services *Network architectures Network control *Network management *Network simulation and emulation *Novel network architectures *Network and Protocol Architectures *Peer-to-peer communications *Performance evaluation *Power control and management *Pricing and billing *Protocols and Standards *Resource allocation and management *RFID *Optical networks *Routing protocols *Scheduling and buffer management *Virtual Reality Important Dates: Full Paper Submission Date: July 31, 2010 Extended Abstract (Work in Progress) Submission Date: June 01, 2010 Proposal for Workshops and Tutorials: June 30, 2010 Notification of Workshop and Tutorial Acceptance: July 15, 2010 Proposal for Industrial Presentation: July 01, 2010 Notification of Extended Abstract Acceptance/Rejection: June 15, 2010 Notification of Industrial Presentation Acceptance: July 15,, 2010 Notification of Paper Acceptance/Rejection: September 01, 2010 Camera Ready Extended Abstract Due: July 31, 2010 Camera Ready Paper Due: September 30, 2010 Early Registration Deadline: July 31 to September 30, 2010 Late Registration Deadline: September 30, 2010 to February 21, 2011 Conference Dates: February 21-23, 2011 For further details, please visit www.worldcis.org ? -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100307/5b25e32f/attachment-0001.html From zhang at cis.uab.edu Mon Mar 8 22:53:04 2010 From: zhang at cis.uab.edu (IEEE-IRI-Publicity) Date: Mon, 8 Mar 2010 15:53:04 -0600 (CST) Subject: [ecoop-info] CFP: 2010 IEEE Intl. Conf. on Information Reuse and Integration Message-ID: [Apologies if you received multiple copies because of cross-posting] ----------------------------------------------------------------- The 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI-2010) Tuscany Suites & Casino, Las Vegas, USA August 4-6, 2010 http://www.sis.pitt.edu/~iri2010/ The increasing volumes and dimensions of information have dramatic impact on effective decision-making. To remedy this situation, Information Reuse and Integration (IRI) seeks to maximize the reuse of information by creating simple, rich, and reusable knowledge representations and consequently explores strategies for integrating this knowledge into legacy systems. IRI plays a pivotal role in the capture, representation, maintenance, integration, validation, and extrapolation of information; and applies both information and knowledge for enhancing decision-making in various application domains. This conference explores three major tracks: information reuse, information integration, and reusable systems. Information reuse considers optimizing representation methodologies; information integration studies strategies for creatively applying models in novel domains; and reusable systems focus on ontological opportunities for deploying models and corresponding processes. The IEEE IRI conference serves as a forum for researchers and practitioners from academia, industry, and government to present, discuss, and exchange ideas that address real-world problems with real-world solutions. The conference feature contributed and invited papers. Theoretical and applied papers are both included. The conference program will include special sessions, open forum workshops, and keynote speeches. A forum will be conducted with the intent of bridging IRI and Systems of Systems and why the future of intelligent computing - including computing applications - will lie at the juxtaposition of these two topical areas. The conference includes, but is not limited to, the areas listed below: - Large Scale Data and System Integration - Component-Based Design and Reuse - Unifying Data Models (UML, XML, etc.) and Ontologies - Database Integration - Structured/Semi-structured Data - Middleware & Web Services - Reuse in Software Engineering - Data Mining and Knowledge Discovery - Sensory and Information Fusion - Reuse in Modeling & Simulation - Automation, Integration and Reuse across Various Applications - Information Security & Privacy - Survivable Systems & Infrastructures - AI & Decision Support Systems - Heuristic Optimization and Search - Knowledge Acquisition and Management - Fuzzy and Neural Systems - Soft Computing - Evolutionary Computing - Case-Based Reasoning - Natural Language Understanding - Knowledge Management and E-Government - Command & Control Systems (C4ISR) - Human-Machine Information Systems - Space and Robotic Systems - Biomedical & Healthcare Systems - Homeland Security & Critical Infrastructure Protection - Manufacturing Systems & Business Process Engineering - Multimedia Systems - Service-Oriented Architecture - Autonomous Agents in Web-based Systems - Information Integration in Grid Computing Environments - Information Integration in Mobile Computing Environments - Information Integration in Ubiquitous Computing Environments - Systems of Systems - Semantic Web and Emerging Applications - Information Reuse, Integration and Sharing in Collaborative Environments Instructions for Authors: Papers reporting original and unpublished research results pertaining to the above and related topics are solicited. Full paper manuscripts must be in English of length 4 to 6 pages (using the IEEE two-column template). Submissions should include the title, author(s), affiliation(s), e-mail address(es), tel/fax numbers, abstract, and postal address(es) on the first page. Papers should be submitted at the conference web site: http://www.sis.pitt.edu/~iri2010/. If web submission is not possible, manuscripts should be sent as an attachment via email to either of the Program Chairs (mailing address available on the conference website) on or before the deadline date of March 28, 2010. The attachment must be in .pdf (preferred) or word.doc format. The subject of the email must be "IEEE IRI 2010 Submission." Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Authors should certify that their papers represent substantially new work and are previously unpublished. Paper submission implies the intent of at least one of the authors to register and present the paper, if accepted. Important Dates January 24, 2010 Workshop/Special session proposal March 28, 2010 Paper submission deadline (11:59 PM, PST) May 21, 2010 Notification of acceptance June 18, 2010 Camera-ready paper due June 18, 2010 Presenting author registration due July 30, 2010 Advance (discount) registration for general public and other co-author July 30, 2010 Hotel reservation (special discount rate) closing date August 4-6, 2010 Conference events _______________________________________________ ieeeauthors mailing list ieeeauthors at cis.uab.edu http://crier.cis.uab.edu/mailman/listinfo/ieeeauthors From 2010cfp at gmail.com Wed Mar 10 02:31:51 2010 From: 2010cfp at gmail.com (CFP) Date: Tue, 9 Mar 2010 17:31:51 -0800 Subject: [ecoop-info] CFP: BodyNets 2010 (Submission Due: March 22) Message-ID: CFP: BodyNets 2010 ( Submission Due: Mar. 22 ) Please accept our apologies if you receive multiple copies of this cfp ============================================================ BodyNets 2010 The 5th Annual International Conference on Body Area Networks September 10-12, 2010, Corfu Island, Greece. http://www.bodynets.org/index.shtml Submission deadline: March 22, 2010 ============================================================ BodyNets 2010 has been technically co-sponsored by IEEE Engineering in Medicine and Biology Society (IEEE EMBS), and is organized in cooperation with ACM SIGCHI. The conference proceedings will be archived in the ACM Digital Library. ============================================================ CALL FOR PAPERS ============================================================ OVERVIEW: Recent advances in the field of wireless sensor networks have moved them beyond their traditional areas of application in monitoring of remote and mobile environments. Sensor networks are increasingly being deployed within and around the human body to form Body Area Networks (BodyNets). In addition to monitoring focused applications BodyNets allow also for closed loop systems incorporating actuators. They can be utilized in diverse applications such as physiological monitoring, human computer interactions, education and entertainment through interactive games. This conference will explore and explain the scope and challenges of designing, building, and deploying BodyNets. In this regard, the conference aims to establish a forum to bring together research professionals from diverse fields including computer science, biomedical engineering and medicine in both academia and industry to address the technical, social, system and application issues related to BodyNets. TOPICS: The conference invites original technical papers that were not previously published and are not currently under review for publication elsewhere. Topics include, but are not limited to: 1 Communications and Networking: * In-body, on-body, and around body networks * Communication techniques and protocols for BodyNets * Scalable, flexible network architectures & deployments * Networking and security issues for BodyNets * Advanced propagation and channel model for BodyNets 2 Medical applications: * Pervasive health care and patient monitoring * Integrating BodyNets into the healthcare system * Novel closed-loop applications of BodyNets 3 Systems and Technology: * System design issues, and performance modeling * Signal processing, reliability and fault-tolerance issues * Emerging self-powered BodyNets * Novel wireless communication technologies 4 Wearable computing: * Wearable system design issues * Entertainment and lifestyle applications * Assistive technologies for independent aging * Interactive Arts PAPER SUBMISSION: Authors are invited to submit full papers of up to 7 pages for full papers, 4 pages for short papers, posters and demos, in ACM Proceedings format (7"x9" print area, single spaced, double column, 9-pt font size). ACM's LaTex and MS WORD templates are located at: http://www.acm.org/sigs/publications/proceedings-templates Authors should apply ACM Computing Classification categories and terms. The templates provide space for this indexing and point authors to the Computing Classification Scheme at: http://www.acm.org/about/class/1998 please see http://www.bodynets.org/submission.shtml for details. PUBLICATION: Our conference proceedings will be archived in the ACM Digital Library. Distinguished papers accepted and presented in BodyNets 2010, after further revisions, will be published in IJAACS, and ACM MONET special issue on "Ubiquitous Body Sensor Networks". IMPORTANT DATES: Full Paper Due: March 22, 2010 by 11:59pm PDT Notification of Acceptance: May 21, 2010 Camera-ready Manuscripts due: June 21, 2010 CONFERENCE ORGANIZING COMMITTEE GENERAL CHAIRS Victor C.M. Leung University of British Columbia, Canada Athanasios V. Vasilakos University of Western Macedonia, Greece TECHNICAL PROGRAM CHAIRS Thomas Falck Philips Research, Switzerland Karim Qayumi University of British Columbia, Canada Xinbing Wang Shanghai Jiaotong University, China PROGRAM TRACK CHAIRS Yan Zhang Simula Research Lab, Norway Min Chen University of British Columbia, Canada Hassan Ghasemzadeh Univ. of Texas at Dallas, USA Jelena Misic Ryerson University, Canada INDUSTRY CHAIRS David M. Davenport GE Global Research, USA Panos Nasiopoulos University of British Columbia, Canada CONFERENCE COORDINATOR Gergely Nagy ICST PUBLICITY CHAIRs Andreas Bulling ETH Zurich, Switzerland Lei Shu Osaka University, Japan Mei Yu Simula Research Lab., Norway PUBLICATION CHAIR Foad Dabiri University of California Los Angeles WORKSHOP/TUTORIAL CHAIR Benny Lo Imperial College London DEMO CHAIR Ilangko Balasingham Rikshospitalet University Hospital, Norway POSTER CHAIR Raul Chavez-Santiago RH/NTNU, Norway STEERING COMMITTEE CHAIR Imrich Chlamtac Create-Net, Italy WEB CHAIR Min Chen University of British Columbia, Canada Details please see: http://www.bodynets.org/orgncomm.shtml -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100309/466a3265/attachment.html From emilio at mcs.le.ac.uk Tue Mar 9 17:00:53 2010 From: emilio at mcs.le.ac.uk (Emilio Tuosto) Date: Tue, 9 Mar 2010 16:00:53 +0000 Subject: [ecoop-info] GT-VMT 2010: cfp Message-ID: <201003091600.54239.emilio@mcs.le.ac.uk> ================================================================ Call for Participation 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010) http://www.cs.le.ac.uk/events/gtvmt10/ Satellite Event of ETAPS 2010, Cyprus -- March 20-21, 2010 ============================================================== * Scope * GT-VMT 2010 is the ninth workshop of a series that serves as a forum for all researchers and practitioners interested in the use of graph-based notation, techniques, and tools for the specification, modeling, validation, manipulation and verification of complex systems. The aim of the workshop is to promote engineering approaches that provide effective sound tool support for visual modeling languages, enhancing formal reasoning at the semantic level (e.g., for model analysis, transformation, and consistency management) in different domains, such as UML, Petri nets, Graph Transformation or Business Process/Workflow Models. * Workshop Program SATURDAY 20 MARCH 2010 9:00-9:15 Opening 9:15-10:30 Invited talk: Fernando Orejas: Symbolic Attributed Graphs and Attributed Graph Transformation 10:30-11:00 Break 11:00-12:30 Session on Foundations Maarten de Mol and Arend Rensink. A Graph Representation for Ordered Edges. Davide Grohmann and Marino Miculan. Graph Algebras for Bigraphs. Christoph Blume, Sander Bruggink, and Barbara K?nig. Recognizable Graph Languages for Checking Invariants. 12:30-14:00 Lunch 14:00-15:30 Session on Modeling and Modeling Environments Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara K?nig. Efficient Process Analysis of Transformation Systems Based on Petri nets. Berthold Hoffmann and Mark Minas. Defining Models - Meta Models versus Graph Gammars. Torsten Strobl and Mark Minas. Specifying and generating editing environments for interactive animated visual models. 15:30-16:00 Break 16:00-17:00 Session on Interactions Vojtech Rehak, Petr Slovak, Jan Strejcek, and Loic Helouet. Decidable Race Condition and Open Coregions in HMSC. Abubakar Hassan, Ian Mackie, and Shinya Sato. A light-weight abstract machine for interaction nets. 17:00-17:30 Discussion SUNDAY 21 MARCH 2010 9:30-11:00 Session on Model Transformation Eugene Syriani and Hans Vangheluwe. De-/Re-constructing Model Transformation Languages. Bernhard Schaetz. Verification of Model Transformations. Paolo Bottoni, Andrew Fish, and Francesco Parisi-Presicce. Preserving constraints in horizontal model transformations. 11:00-11:30 Break 11:30-12:30 Session on Foundations Paolo Torrini, Reiko Heckel, Istvan Rath, and Gabor Bergmann. Stochastic Graph Transformation with Regions. Wolfram Kahl. Cotabulations, Bicolimits and Van-Kampen Squares in Collagories. 12:30-14:00 Lunch * Workshop organizers Jochen Kuester, IBM Research, Switzerland Emilio Tuosto, University of Leicester, UK * Program Committee Paolo Baldan (University of Padova, Italy) Artur Boronat (University of Leicester, UK) Andrea Corradini (University of Pisa, Italy) Claudia Ermel (TU Berlin, Germany) Gregor Engels (University of Paderborn, Germany) Reiko Heckel (University of Leicester, UK) Thomas Hildebrandt (ITU, Denmark) Holger Giese (HPI Potsdam, Germany) Barbara K?nig (University of Duisburg-Essen, Germany) Jochen K?ster (IBM Research - Zurich, Germany) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Juan de Lara (Universidad Aut?noma de Madrid, Spain) Mark Minas (Universit?t der Bundeswehr M?nchen, Germany) Francesco Parisi-Presicce (University of Rome, Italy) Arend Rensink (University of Twente, Netherlands) Gabriele Taentzer (University of Marburg, Germany) Emilio Tuosto (University of Leicester, UK) D?niel Varr? (TU Budapest, Hungary) Erhard Weinell (RWTH Aachen University, Germany) Albert Z?ndorf (University of Kassel, Germany) * More information on the workshop is available through the webpage: http://www.cs.le.ac.uk/events/gtvmt10/ -- *************************************************************** Emilio Tuosto Department of Computer Science University of Leicester Leicester, LE1 7RH United Kingdom Tel. +44 (0) 116 252 5392 Fax. +44 (0) 116 252 3915 homepage -> http://www.cs.le.ac.uk/people/et52 *************************************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100309/901fb8fd/attachment-0001.html From ictai-CFP at cril.univ-artois.fr Tue Mar 9 17:55:15 2010 From: ictai-CFP at cril.univ-artois.fr (ICTAI10) Date: Tue, 09 Mar 2010 17:55:15 +0100 Subject: [ecoop-info] CFP: IEEE-ICTAI10 (Arras, France, October 27-29 2010) Message-ID: <48a3a9$ckt1re@relay.skynet.be> [ please distribute - apologies for multiple postings ] ============== CALL FOR PAPERS============================ IEEE-ICTAI'10 22th International IEEE Conference on Tools with Artificial Intelligence October 27-29, 2010, Arras, France 45 mn from Charles de Gaulle Paris International Airport by direct train or 50 mn from downtown Paris by direct train http://www.cril.univ-artois.fr/ictai10/ ======================================================== Important Dates Paper submission: June 6, 2010 Paper notification: July 15, 2010 Camera ready paper: August 31, 2010 ======================================================== Aim & Scope ------------------- The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI based components of computer tools (i.e. algorithms, architectures and languages). Topics (not limited to) ------------------------------- AI Algorithms AI in Bioinformatics AI in Computer Security AI in Databases and Data Mining AI in E-commerce AI in Games AI in Information Assurance AI in Logistics AI in Medicine AI in Multimedia Systems AI in Real-time & Embedded Applications AI in Robotics AI in Software Engineering Case-Based Reasoning Cognitive Modelling Constraint Programming Collaborative Software Agents Reasoning Under Fuzziness or Uncertainty Evolutionary Computing Hybrid Intelligent Systems Information Retrieval Intelligent Tutoring/Training Systems Intelligent Internet Agents Intelligent Interface Agents Knowledge-based Systems Knowledge Extraction Knowledge Management and Sharing Knowledge Representation and Reasoning Machine Learning Natural Language Processing and Understanding Neural Networks Ontologies Planning and Scheduling Qualitative Reasoning Search and Heuristics, SAT, CSP, QBF Semantic Web-Techniques & Technologies Speech Processing and Understanding Vision/Image Processing & Understanding Paper Submission --------------------------- The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically (through ICTAI 2010 web site) in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation ---------------------------- Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2010, which will be published by the IEEE. IJAIT special issue --------------------------- Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Further Information --------------------------- ?ric Gr?goire (PC Chair) CRIL UMR 8188 CNRS Universit? d'Artois rue Jean Souvraz SP18 F-62307 Lens, FRANCE Email: gregoire [at] cril [dot] univ-artois [dot] fr Steering Committee ----------------------------- Nikolaos Bourbakis, (Chair) Chittoor V. Ramamoorthy Jeffrey Tsai Benjamin W. Wah Farokh B. Bastani Soon Chung Despina Kavraki Ioannis Hatziligeroudis Co-general chairs ------------------------- Naohiro Ishii (Asian liaison) Phil Sheu (USA liaison) Youssef Hamadi (European liaison) Program Committee Chair ------------------------------------- ?ric Gr?goire Area Chairs ----------------- Shyi-Ming Chen Diane Cook Alfredo Cuzzocrea Jin-Kao Hao Vasant Honavar Nobuhiro Inuzuka Daniel Kayser Taghi Khoshgoftaar Vasile Palade Luigi Portinale Henri Prade Marie-Christine Rousset Andreas-Georgios Stafylopatis Karl Tombre Zhi-Hua Zhou Du Zhang Sotirios Ziavras Program Committee ----------------------------- Hamid Aghajan Charles Anderson Spyros Angelopoulos Asa Ben-Hur Antonio Berlanga-de-Jesus Philippe Besnard Harry Bunt Philippe Chatalic Nicolae Constantin Aaron Crandall Belen Diaz Agudo Xin Geng Malik Ghallab Francois Goasdou? Jose Juarez Herrero Yin-Tong Hsiao Thomas R. Ioeger Yuji Iwahori Fabrice Jouanot Hyunju Kim Helge Langseth Huey-Ming Lee Giorgio Leonardi Yung-Ho Leu Xiaoou Li Yanjun Li Dan Lopresti Congnan Luo Tony R. Martinez Bertrand Mazure Stefania Montani Naoto Mukai Tsuyoshi Nakamura Mehmet Orgun Jeng-Shyang Pan John Paxton Jun Peng Vir Phoha Cedric Piette Parisa Rashidi Marek Reformat Lorenza Saitta Erik Sandewall Lakhdar Sa?s Vincent Schmidt Jianqiang Shen Victor R. L. Shen Marina Sokolova ChewLim Tan Alexandre Termier Douglas Vieira Toby Walsh Marcel Worring Ioannis Zaharakis Daoqiang Zhang Financial Chair Manuel Demont --------------------- Registration Chair Nadine Kucharski -------------------------- Publication Chair Bertrand Mazure ------------------------ Webmaster Fabien Delorme ---------------- Local Arrangements Committee ---------------------------------------------- Assef Chmeiss Jean-Luc Coquid? (chair) Tiago de Lima Anne Parrain C?dric Piette Lakhdar Sa?s S?bastien Tabary From M.R.Mousavi at tue.nl Wed Mar 10 15:43:19 2010 From: M.R.Mousavi at tue.nl (Mousavi, M.) Date: Wed, 10 Mar 2010 15:43:19 +0100 Subject: [ecoop-info] FOCLASA 2010: First Call for Papers Message-ID: <7DF2365FF07C0E4E89419D65CCC93C9E01789D59463C@EXCHANGE11.campus.tue.nl> ********************************************************************** First Call for Papers FOCLASA 2010: The 9th International Workshop on the Foundations of Coordination Languages and Software Architectures http://foclasa.lcc.uma.es/ September 4, 2010. Paris, France ********************************************************************** FOCLASA 2010 is a satellite workshop of the 21st International Conference on Concurrency Theory (CONCUR'2010). It provides a venue where researchers and practitioners on the topics given below can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and software architecture, and explore together and disseminate solutions. FOCLASA 2010 invites the submission of technical papers in any of the topics of interest and areas listed below. * Theoretical models (coordination, component and service composition, concurrency, semantics, expressiveness) * Specification, refinement, and analysis of software systems (architectures, patterns and styles, languages, logics, verification of functional and non-functional properties) * Languages for interaction, coordination, architectures, and interface definition (implementation, inter-operability, heterogeneity) * Dynamic software architectures (mobile agents, self-organizing/adaptive/reconfigurable systems) * Tools and environments for the development of applications. In particular, practice, experience and methodologies from the following areas are solicited as well: * Web Services and Business Processes * Coordination and Composition of Services * Multi-agent Systems * Peer-to-peer Systems * Grid Computing * Component-based System * Large-scale Distributed Systems Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages formatted according to the style of the Electronic Proceedings in Theoretical Computer Science (EPTCS), and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2010 . Invited Speaker Maarten van Steen, Vrije Universiteit, Amsterdam, The Netherlands Important Dates * Abstract submission: May 21st, 2010 * Paper submission: May 28th, 2010 * Notification: June 25th, 2010 * Final version due: July 15th, 2010 * Workshop: September 4th, 2010 Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn; the authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper. All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past edition, a special issue of an international scientific journal will be devoted to FOCLASA 2010. 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. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop and we plan to devote a special issue of the same journal to FOCLASA 2010. Program Committee Farhad Arbab, CWI, The Netherlands Luis Barbosa, University of Minho, Portugal Antonio Brogi, University of Pisa, Italy Carlos Canal, University of M?laga, Spain Vittorio Cortellessa, University of L'Aquila, Italy Gregor Goessler, INRIA Grenoble - Rh?ne-Alpes, France Ludovic Henrio, INRIA Sophia Antipolis, France Jean-Marie Jacquet, University of Namur, Belgium Alexander Knapp, University of Augsburg, Germany Ronaldo Menezes, Florida Institute of Technology, USA MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands (Co-chair) Ernesto Pimentel, University of M?laga, Spain Pascal Poizat, University of Evry, France Jaco van de Pol, University of Twente, The Netherlands Antonio Ravara, Technical University of Lisbon, Portugal Gwen Sala?n, Grenoble INP - INRIA - LIG, France (Co-chair) Marjan Sirjani, Reykjavik University, Iceland Carolyn Talcott, SRI International, USA Emilio Tuosto, University of Leicester, UK Mirko Viroli, University of Bologna, Italy Danny Weyns, Katholieke Universiteit Leuven, Belgium Erik de Vink, Eindhoven University of Technology, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100310/3e519f1f/attachment-0001.html From martin.nordio at inf.ethz.ch Wed Mar 10 16:34:47 2010 From: martin.nordio at inf.ethz.ch (Martin Nordio) Date: Wed, 10 Mar 2010 16:34:47 +0100 Subject: [ecoop-info] LASER Summer School on Software Engineering Message-ID: LASER Summer School on Software Engineering Empirical Software Engineering September 5-11, 2010 - Elba Island, Italy http://laser.inf.ethz.ch/2010/ Application deadline: March 31, 2010 Goals --------- The LASER summer school, organized by the ETH Chair of Software Engineering, brings together the concepts and practice of software engineering in the idyllic setting of the Elba Island off the coast of Tuscany, easily reachable by air, car, bus or train. The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. Topic and speakers --------------------------- The speakers are among the most respected experts in the field: Victor Basili, University of Maryland Barry Boehm, University of Southern California Watts Humphrey, Carnegie Mellon University Natalia Juristo, Universidad Polit?cnica de Madrid Bertrand Meyer, ETH Zurich and Eiffel Software Nachi Nagappan, Microsoft Research How to apply? ------------------- Use the online registration form available on the LASER website http://laser.inf.ethz.ch/2010/ Registration is open until March 31, 2010. The number of participants is strictly limited to ensure quality interaction with the lecturers and the rest of the audience. For more information, visit our website or contact the organizers at se-laser at lists.inf.ethz.ch Venue --------- The school takes place at the magnificent Hotel del Golfo in Golfo di Procchio, Elba. Along with an intensive scientific program, participants will have time to enjoy the natural and cultural riches of this history-laden jewel of the Mediterranean. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100310/61470bf2/attachment.html From martin.nordio at inf.ethz.ch Wed Mar 10 16:44:31 2010 From: martin.nordio at inf.ethz.ch (Martin Nordio) Date: Wed, 10 Mar 2010 16:44:31 +0100 Subject: [ecoop-info] [se-seafood] LASER Summer School on Software Engineering Message-ID: <06E5DBE7-B1FD-4CA7-9118-971686D53F7D@inf.ethz.ch> LASER Summer School on Software Engineering Empirical Software Engineering September 5-11, 2010 - Elba Island, Italy http://laser.inf.ethz.ch/2010/ Application deadline: March 31, 2010 Goals --------- The LASER summer school, organized by the ETH Chair of Software Engineering, brings together the concepts and practice of software engineering in the idyllic setting of the Elba Island off the coast of Tuscany, easily reachable by air, car, bus or train. The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. Topic and speakers --------------------------- The speakers are among the most respected experts in the field: Victor Basili, University of Maryland Barry Boehm, University of Southern California Watts Humphrey, Carnegie Mellon University Natalia Juristo, Universidad Polit?cnica de Madrid Bertrand Meyer, ETH Zurich and Eiffel Software Nachi Nagappan, Microsoft Research How to apply? ------------------- Use the online registration form available on the LASER website http://laser.inf.ethz.ch/2010/ Registration is open until March 31, 2010. The number of participants is strictly limited to ensure quality interaction with the lecturers and the rest of the audience. For more information, visit our website or contact the organizers at se-laser at lists.inf.ethz.ch Venue --------- The school takes place at the magnificent Hotel del Golfo in Golfo di Procchio, Elba. Along with an intensive scientific program, participants will have time to enjoy the natural and cultural riches of this history-laden jewel of the Mediterranean. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100310/e08020f0/attachment.html -------------- next part -------------- From ningfang at ECE.NEU.EDU Wed Mar 10 15:41:57 2010 From: ningfang at ECE.NEU.EDU (Ningfang Mi) Date: Wed, 10 Mar 2010 09:41:57 -0500 Subject: [ecoop-info] [CFP]: ACM/IFIP/USENIX 11th International Middleware Conference 2010 Message-ID: <4B97AFB5.8000807@ece.neu.edu> CFP: Middleware 2010 (Submission Due: May 23, 2010) (Please accept our apologies for cross posting) ======================== Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference November 29 - December 3, 2010, Bangalore, India http://2010.middleware-conference.org/index.html ======================== CALL FOR PAPERS The Middleware conference is a forum for the discussion of important innovations and recent advances in the design, implementation, deployment, and usage of middleware. Middleware is a distributed-systems software that resides between a rich variety of applications on the one hand, and the underlying architecture on the other hand which may consist of the OS, hardware, and network stacks or even databases, storage and different cloud services. The goals of middleware include providing abstractions, programmability, performance, scalability, security, and a variety of essential features. This is a rapidly evolving and growing field. Following the success of past conferences in this series, the 11th International Middleware Conference will be the premier event for middleware research and technology in 2010. The scope of the conference is the design, implementation, deployment, and evaluation of distributed system platforms and architectures for current and future computing, storage, and communication environments. Highlights of the conference will include a high quality technical program, invited speakers, an industrial track, poster and demo presentations, a doctoral symposium, and workshops. Submissions on a diversity of topics are sought, particularly those identifying new research directions. The topics of the conference include, but are not limited to: Middleware platforms: * Middleware for emerging cloud computing, datacenters, and server farms * Middleware for traditional clusters and Grid computing * Middleware for data-intensive computing * Middleware for mobile devices, ubiquitous and mobile computing * Middleware for sensor and embedded systems * Middleware for Web services and Web-service composition * Event-based, publish/subscribe, and message-oriented middleware * Middleware for system management and monitoring * Middleware for next generation telecommunication platforms * Internet-based communication protocols and data transfer middleware * Middleware support for multimedia and tele-immersion * Middleware supporting service-oriented architectures * Reconfigurable, adaptable, and reflective middleware approaches * Semantic middleware * Middleware solutions for distributed databases * Peer-to-peer middleware solutions * Novel middleware solutions for industry frameworks Systems issues for Middleware: * Reliability and fault-tolerance * Scalability and performance * Energy- and power-aware techniques * Virtualization, auto-scaling, provisioning, and scheduling * Security and Information assurance * Storage and file systems * Parallelized execution and techniques * Dynamic configuration and self- or autonomic- management of middleware * Real-time solutions and quality of service * Evaluation and deployment: challenges, techniques and lessons Design principles and tools: * Programming frameworks, parallel programming and design methodologies for middleware * Empirical and deployment studies for middleware solutions * Debugging and distributed debugging of middleware * Probabilistic Techniques and approaches for middleware * Methodologies and tools for middleware design, implementation, verification, and evaluation * Formal methods, verification and software engineering for middleware * Old Wine: Revisiting classical middleware paradigms, e.g., object models, aspect orientation, etc. ========================= Industry Papers The conference strongly encourages submission of industry-focused papers and use case studies; full papers should be submitted to the main program, where they will be reviewed using appropriate criteria (e.g. emphasizing experience and system evolution), and accepted papers will be published in the main conference proceedings. Additionally, short industry-focused papers (10 pages, Springer LNCS style) may be submitted to a special industrial track; accepted short papers will be presented at the conference and published in the ACM Digital Library. Note that submissions to the main program may indicate a willingness to be referred to the Industrial Track if a paper is not accepted to the main program. Big Ideas Papers This year, we particularly encourage "big ideas papers"; that is papers that have the potential for opening up new research directions. For such papers, the potential to motivate new research is more important than full experimental evaluation, though some preliminary evidence of the effectiveness of the approach or idea is important. Authors should indicate in the introduction that their paper is a vision of a big idea, rather than more mature work. Such papers should clearly indicate why the idea is revolutionary and not evolutionary; what the major questions still to be answered are; and possible avenues of attack for the community to pursue towards the development of the idea. ========================= Submission Guidelines Submissions will be handled via the conference web page at https://cmt.research.microsoft.com/Middleware2010 ========================= Important Dates May 16, 2010: Abstract Submission May 23, 2010 (11:59pm PST): Paper Submission August 5, 2010: Notification of acceptance August 20, 2010: Camera ready due November 29 - December 3, 2010: Conference ========================= There will be a separate call for workshops, for tutorials, and for the Doctoral Symposium. Please check the website for dates. ========================= Program Committee Chairs Indranil Gupta, University of Illinois Urbana-Champaign Cecilia Mascolo, University of Cambridge Program Committee Karl Aberer, EPFL, Swtzerland Katerina Argyraki, EPFL, Switzerland Jean Bacon, University of Cambridge, UK Christian Becker, Universitaet Mannheim, Germany Yolande Berbers, KUL-DistriNet, Belgium Bharat Bhargava, Purdue University, USA Gordon Blair, University of Lancaster, UK Raj Kumar Buyya, University of Melbourne, Australia Renato Cerqueira, PUC-Rio, Brazil Roy Campbell, University of Illinois at Urbana-Champaign, USA Brian F. Cooper, Yahoo! Research, USA Geoff Coulson, University of Lancaster, UK Anwitaman Datta, NTU, Singapore Jan De Meer, SmartSpaceLab, Germany Fred Douglis, Data Domain, USA Frank Eliasson, University of Oslo, Norway Markus Endler, PUC-Rio, Brazil Paulo Ferreira, Technical University of Lisbon, Portugal Sathish Gopalakrishnan, University of British Columbia, Canada Paul Grace, University of Lancaster, UK Jeff Hammerbacher, Cloudera, USA Qi Han, Colorado School of Mines, USA Steven Hand, University of Cambridge, UK Gang Huang, Peking University, China Valerie Issarny, INRIA, France Hans-Arno Jacobsen, University of Toronto, Canada Wouter Joosen KUL-DistriNet, Belgium Bettina Kemme, McGill University, Canada Anne-Marie Kermarrec, INRIA, France Fabio Kon, University of Sao Paulo, Brazil Dejan Milojicic, HP Labs, USA Ramses Morales, Xerox, USA David O'Hallaron, CMU/Intel, USA Gian Pietro Picco, University of Trento, Italy Peter Pietzuch, Imperial College, UK Oriana Riva, ETH, Switzerland Antony Rowstron, Microsoft Research Cambridge, UK Francois Taiani, Lancaster University, UK Peter Triantafillou, University of Patras, Greece Rick Schantz, BBN Technologies, USA Nalini Venkatasubramanian, UCI, USA Akshat Verma, IBM Research, India Zheng Zhang, Microsoft Research Asia, China Ben Zhao, University of California Santa Barbara, USA Ranjita Bhagwan, Microsoft Research, India From akan at eee.metu.edu.tr Sat Mar 13 15:40:02 2010 From: akan at eee.metu.edu.tr (Ozgur B. Akan) Date: Sat, 13 Mar 2010 16:40:02 +0200 Subject: [ecoop-info] CFP: Special Issue on "Fundamentals of Nanoscale Communications" Nano Communication Networks (Elsevier) Journal Message-ID: <4B9BA3C2.8010406@eee.metu.edu.tr> [We apologize in advance if you receive multiple copies of this CFP.] _____________________________________________________________________ _____________________________________________________________________ Call for Papers NANO COMMUNICATION NETWORKS JOURNAL (ELSEVIER) Special Issue on FUNDAMENTALS OF NANOSCALE COMMUNICATIONS Submission deadline: May 1, 2010 _____________________________________________________________________ _____________________________________________________________________ Incredible improvements in nanotechnologies have enabled the vision of nanonetworks composed of a number of nanomachines communicating with each other for a specific nanoscale application. Due to size and capabilities of nanomachines that may constitute of just several atoms or molecules, traditional communication mechanisms are deemed inapplicable in nanonetworks. Many novel nanoscale communication paradigms are currently under investigation such as molecular communication, communication over carbon nanotubes and nanowires. Recent work has also revealed that nanoscale physical devices naturally communicate with each other through various quantum phenomena, which makes nanoscale communication also closely related to the quantum communication networks structured based on principles of quantum entanglement. This special issue aims to capture the state-of-the-art by soliciting original (unpublished and not currently under review) and novel contributions on nanoscale communication in areas including (but not limited to) the following: * Architectures, topologies, algorithms for nanoscale communication [ Network architectures, topologies, coverage/connectivity, relay, broadcast, and MAC mechanisms, synchronization,routing/addressing, reliable information coding, error control, energy efficiency.] * Modeling and analysis of nanocommunication [ Physical characterization/modeling of nanoscale interconnects, and devices, statistical mechanics modeling, applications of complex network theory, network calculus and queuing theoretical analysis.] * Information theoretical approaches to nanoscale communication [ Information/network information theory modeling,capacity bounds and theorems for various nanoscale channels, transceiver and modulation optimization, nanoscale and molecular source and channel coding.] * Molecular communication [ Sparse-molecule and short/mid/long range molecular communications, molecular motors, calcium signaling, nanotube radios, molecular entanglement.] * Nanoscale ad hoc and sensor networks [ Communication systems and protocols for nanoscale ad hoc networks, nano-sensor networks, networks of micro/nanorobotic systems, self- organizing nanobio networks, molecular sensing and sampling.] * Future nanonetworks with new nano-machines and interconnects [ Nanonetworks deployed with carbon-nanotubes (CNTs), nanowires, nanoparticles, graphene devices, nanoscale optical, wireless, and electromechanical communication, quantum nanoscale networks.] * Quantum communication networks [ Hybrid classical and quantum networks, repeaters, teleportation, entanglement swapping, quantum dot networks, nanoscale quantum electron transport,nanomechanical quantum communication systems.] * Applications for nanoscale communications [ Communication among molecular scale chemical and biosensors,in-body nanonetworks, bio-nano networks with molecular cells/nanomachines, in-vivo nanosensing, nanoscale wireless networks.] Submission Instructions and Important Dates: ____________________________________________ Prospective Authors: Please submit your paper following the Nano Communication Networks (Elsevier) journal format described at online system http://ees.elsevier.com/nanocomnet and choose "Special Issue: Nano-scale Communications" as Article Type. Papers must be single- column, double-spaced pdf format, and use at least 11 pt fonts, and should not exceed 25 pages including references. Submission Deadline: May 1, 2010 Notification of Acceptance: August 1, 2010 Final Manuscripts Due: September 1, 2010 Publication Date: Fourth Quarter, 2010 Guest Editors: ____________________________________________ Ozgur B. Akan (akan at eee.metu.edu.tr) Middle East Technical University, Ankara, Turkey Tadashi Nakano (tnakano at wakate.frc.eng.osaka-u.ac.jp) Osaka University, Japan Michael Moore (mikemo at uci.edu) University of California, Irvine, CA, USA -- Dr. Ozgur B. Akan Associate Professor Department of Electrical and Electronics Engineering Middle East Technical University Ankara, Turkey 06531 Tel: +90-312-210 2353 Fax: +90-312-210 2304 E-mail: akan at eee.metu.edu.tr http://www.eee.metu.edu.tr/~akan From jfrazee at mail.utexas.edu Thu Mar 11 12:02:14 2010 From: jfrazee at mail.utexas.edu (Joey Frazee) Date: Thu, 11 Mar 2010 11:02:14 -0000 Subject: [ecoop-info] (PN) CFP: NASSLLI 2010 Student Session Message-ID: <103f6a951002241129n53f628ebt4966e70a652818fa@mail.gmail.com> CALL FOR PAPERS NASSLLI 2010 STUDENT SESSION June 26, 2010 The Student Session is organized as part of the Fourth North American Summer School in Logic, Language, and Information to be held in Bloomington, IN USA from June 20-26, 2010. ABOUT THE STUDENT SESSION The NASSLLI Student Session provides an opportunity for pre-doctoral students to present original, unpublished work to an interdisciplinary audience. Authors will also receive useful feedback on their submissions from multiple reviewers. We invite submissions in all areas related to the school: logic, computation, language, and any combinations thereof. Papers to the Student Session must represent original work. They should be written with an eye towards two audiences: the wide multi-disciplinary body of students and researchers who will attend NASSLLI, and also the narrower set of people in the particular area of the paper. In short, they should be substantial contributions that can be appreciated by both insiders and outsiders. The organizers anticipate accepting between 10 and 20 papers. PROGRAM COMMITTEE Joey Frazee, UT Austin Joshua Herring, Indiana University Wes Holliday, Stanford University Thomas Icard, Stanford University Joshua Sack, Reykjav?k University Robert Rose (chair), Indiana University Elizabeth Allyn Smith, Ohio State University Andreas Stuhlm?ller, MIT SUBMISSION DETAILS Submissions should be formatted as PDF files, and should not exceed 10 pages. All authors on the papers need to be pre-doctoral students. Please make your submission at the EasyChair site for the NASSLLI Student Session by the deadline listed below. Submissions will be reviewed by the Student Session's program committee and additional reviewers. IMPORTANT DATES * Submissions: April 5, 2010 * Notification: April 19, 2010 * Presentation Date: June 26, 2010 LOCAL ARRANGEMENTS All presenters at the Student Session will be required to register for NASSLLI. The registration fee for authors presenting a paper will correspond to the early student registration fee. There will be no reimbursement for travel costs and accommodation. Presenters who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet at informatik.uni-hamburg.de ]] From Mateja.Jamnik at cl.cam.ac.uk Sat Mar 13 00:16:47 2010 From: Mateja.Jamnik at cl.cam.ac.uk (Mateja Jamnik) Date: Fri, 12 Mar 2010 23:16:47 +0000 Subject: [ecoop-info] CFP: Diagrams in Education Workshop Message-ID: **************************************************************** Diagrams in Education August 9, 2010 Portland, OR, USA http://www.diagrams-conference.org/2010/content/workshops diagrams2010 at diagrams-conference.org A Workshop at the Sixth International Conference on the Theory and Application of Diagrams http://www.diagrams-conference.org/2010/ **************************************************************** Diagrams are ubiquitous in human problem-solving and communication. The success of diagrammatic representations over symbolic/linguistic representations in certain domains is due to the fact that diagrams capture some of the underlying spatiality of the domain, either because the structure of the domain is itself spatial or because it is homomorphic to 2-D space. In either case there is a mapping from aspects of the domain to the domain of diagrams. This mapping, in conjunction with efficient routines that extract information from diagrams as well as modify them, makes diagrammatic representations a powerful tool. Education or instruction is a special case of communication with challenging demands on the instructor. In this setting, communication generally consists of the transfer of information about the structures and processes of a physical or abstract domain to the student. From an instructional perspective then, it is important to understand why and how diagrammatic representations can facilitate this communication. Additionally, given the various differences between diagrammatic and linguistic representations, including their dimensionality, holistic nature, varying levels of abstraction and iconicity, it is also important to understand how these differences, either in combination or individually, enable diagrammatic representations to be a better medium for instruction in appropriate domains. The scope of this workshop covers all areas of diagram use in education. Relevant issues include (but are not limited to) the differences between diagram use in education vs their use in reasoning, aspects of effective diagram construction for instructional purposes, the influence of the domain (expert-to-novice transfer of information) on diagram construction and the spatial features (and temporal features in the case of animated diagrams) that are important in this domain. This will be a half-day workshop. There will be two sessions of an hour and a half each with a break in between. The format will include an invited talk from a distinguished researcher in the field but consist mostly of short presentations from the authors of the accepted papers. Each session will also have a panel (of the session?s presenters) that will answer questions from the audience. *Submissions * ************** We invite contributions on recent work (including work in progress) in this area. Interested participants must submit a 2-page abstract by the submission deadline (April 9, 2010) using the EasyChair conference system (see workshop web page for more information). Accept/Reject notifications will go out May 7, 2010. *Important Dates * ****************** Submission: April 9, 2010 Notification: May 7, 2010 Workshop: Aug 9, 2010 *Workshop Organizers * ********************** Unmesh Kurup, Rensselaer Polytechnic Institute, USA B. Chandrasekaran, The Ohio State University, USA Program Committee Dave Barker-Plummer, Stanford University, USA Andrew Fish, University of Brighton, UK Richard Lowe, Curtin University of Technology, Australia For more information, contact diagrams2010 at diagrams-conference.org **************************************************************** From stoleru at cse.tamu.edu Fri Mar 12 16:51:07 2010 From: stoleru at cse.tamu.edu (Radu Stoleru) Date: Fri, 12 Mar 2010 09:51:07 -0600 Subject: [ecoop-info] SenSys 2010 - CFP - paper registration due in less than 3 weeks! Message-ID: <4B9A62EB.4070701@cse.tamu.edu> [Please accept our apologies if you receive multiple copies of this posting] ======================================================== C A L L F O R P A P E R S **** ACM SenSys 2010 **** Zurich, Switzerland November 3-5, 2010 http://sensys.acm.org/2010 SenSys 2010, the 8th ACM Conference on Embedded Networked Sensor Systems, solicits innovative research papers on the systems issues of networked, embedded sensing and control. The conference brings together academic, industry, and government professionals to a premier single-track, highly selective forum on the design, implementation, and application of sensor networks. SenSys takes a broad view of sensor systems to include any distributed system that interacts with the physical world. We seek technical papers describing original ideas, groundbreaking results and/or quantified system experiences. * Topics of interest include, but are not limited to, the following: ------------------------------------------------------------------------------ - Approaches to architecting sensor networks - Experience with real-world deployments and applications - Resource management and OS support for sensor systems - Energy management and harvesting for long-term operation - Wireless communication systems and protocols for sensor networks - Sensor network measurement and characterization - Programming paradigms and models for distributed sensing - Sensor network debugging, fault-tolerance and reliability - Sensing, actuation and control in cyber-physical systems - Sensor systems leveraging mobile phones, RFIDs, robots, etc. - Distributed sensor data storage, retrieval, processing and management - Sensor data quality, integrity, and trustworthiness - In-network data reduction, coding, inference, and signal processing - Security and privacy in sensor networks - Time and location management - Social implications and human-sensor interactions ----------------------------------------------------------------------------- Submissions will be subject to rigorous peer review and the top quality papers will be published in the conference proceedings. All published papers will be presented orally at the conference. * Submission: Submissions must be full papers, at most 14 single-spaced 8.5" x 11" pages, including figures, tables, and references, two-column format, using 10-point type on 12-point (single-spaced) leading, with a maximum text block of 7" wide x 9" deep with .25" intercolumn space. Papers that do not meet the size and formatting requirements will not be reviewed. * Key Dates: ----------------------------------------------------------------------- - Paper Registration and Abstract: April 1, 2010, 11:59 pm EST. - Paper Submission Deadline: April 8, 2010, 11:59 pm EST. - Notification of Paper Acceptance: July 20, 2010. ----------------------------------------------------------------------- These are "hard deadlines" - no extensions will be granted. * General Chair Jan Beutel (ETH Zurich) * Steering Committee Chair Matt Welsh (Harvard University) * Program Committee Co-Chairs Deepak Ganesan (UMass Amherst) John Stankovic (University of Virginia) * Technical Program Committee Anish Arora (Ohio State University) Alberto Cerpa (UC Merced) Tanzeem Choudhary (Dartmouth University) Romit Roy Choudhury (Duke University) David Culler (UC Berkeley) Jakob Eriksson (UIC) Phil Gibbons (Intel Research Pittsburgh) Rick Han (University of Colorado Boulder) Tian He (University of Minnesota) Polly Huang (National Taiwan University) Bhaskar Krishnamachari (University of Southern California) Koen Langendoen (TU Delft) Akos Ledeczi (Vanderbilt University) Suman Nath (Microsoft Research) Raj Rajkumar (Carnegie Mellon University) Umakishore Ramachandran (Georgia Tech) Kay Roemer (University of Lubeck and ETH Zurich) Andreas Savvides (Yale University) Jacky Shen (Microsoft Research Asia) Prashant Shenoy (UMass Amherst) Cormac Sreenan (University College Cork) Kamin Whitehouse (University of Virginia) Adam Wolisz (TU Berlin) ======================================================== From publicity at icwe2010.webengineering.org Fri Mar 12 10:19:38 2010 From: publicity at icwe2010.webengineering.org (ICWE Publicity) Date: Fri, 12 Mar 2010 10:19:38 +0100 Subject: [ecoop-info] 1st Int. Educators' Day on Web Engineering Curricula (WECU2010) @ ICWE Message-ID: <4B9A072A.6050509@icwe2010.webengineering.org> ******************* Apologies for multiple postings ******************** C A L L F O R C O N T R I B U T I O N S WECU 2010 1st International Educators' Day on Web Engineering Curricula July 6, 2010, Vienna, Austria http://wecu.webengineering.org/2010/ ************************************************************************ Web methodologies and technologies are evolving at a constantly high pace. It is essential for academics on the one side, to provide proper education for students at the undergraduate and graduate level. At same time, industry is struggling to get adequately trained engineers that are able to deal with the increasing complexity of today?s Web applications. The Educators' Day on Web Engineering Curricula (WECU 2010) will be organised as a half-day event held in conjunction with ICWE 2010 (http://icwe2010.webengineering.org/), which takes place from July 5-9, 2010, in Vienna, Austria. WECU attempts to get together people from academia and industry to discuss best practise in teaching, education and vocational training of Web Engineering methodologies and technologies. The expected outcome of the event is to identify common concepts and building blocks for successful Web Engineering curricula, to discuss proposals of how to deal with the challenges in Web Engineering education, e.g., technology evolvement, and to discover ways of transferring new Web Engineering evolvements into continuing education in industry. Another main objective of the event is to act as a kick-off event for a Memorandum for Web Engineering Curricula. The organizers want to assemble this Memorandum for Web Engineering Curricula based on the findings from papers and discussions of the event. In this way, we hope to inspire and facilitate proposing new educational programs in Web Engineering. **** IMPORTANT DATES **** * Apr 28, 2010: Paper Submission Deadline * May 21, 2010: Notification of authors * June 7, 2010: Camera-ready submission **** TOPICS OF INTEREST **** This event will address aspects relevant to curriculum development, university education, and continuing education in Web Engineering and will focus on the following topics: * Development of curricula in the field of Web Engineering & Web Science * Lessons learned from established Web Engineering curricula * Reference curricula for Web Engineering * Relevant topics of Web Engineering curricula * Interdependencies and differences between Web Engineering curricula and Software Engineering curricula * Interdependencies and differences between Web Engineering curricula and Web Science curricula * Web Engineering as a bachelor/master study versus Web Engineering master set on top of a bachelor of computer science * Level of expertise needed from other disciplines (e.g., economical, social, and legal aspects) * Coping with the rapid evolution of Web technologies (degree of flexibility of curriculum & courses) * Reference Web applications as running examples throughout a Web Engineering curriculum * Bringing Web Engineering techniques and methodologies to industry (life long learning, vocational training) * Web as a means for education (distance/blended learning) * Web Engineering & gender aspects **** SUMBISSION INSTRUCTIONS **** Submitted papers must comprise substantial discussion with respect to the goal and the topics of the educators' day and must be well motivated and presented. * Length: Papers must not exceed 10 pages. * Format: Paper submissions are to be formatted according to Springer's LNCS guidelines (see instructions on ICWE website). * Submission: Authors are requested to use the WECU submission site at EasyChair for the submission of the PDF version of their papers: http://www.easychair.org/conferences/?conf=wecu2010 Papers have to include the authors? name, affiliation and contact details. Papers will be reviewed internationally and selected based on their originality, significance, correctness, relevance, and clarity of presentation, as well as with respect to their ability to generate discussions between the participants of the workshop. At least one author of an accepted paper is required to register for the event. **** PUBLISHING **** All accepted workshop papers will be published on-line at the CEUR Workshop proceedings website (ISSN 1613-0073). Authors of accepted papers will be invited to submit an extended and revised version to a special issue of the Journal of Web Engineering (JWE) published by Rinton Press. **** ORGANISERS **** Birgit Proell, Johannes Kepler University Linz, Austria Sigi Reich, Salzburg Research, Austria Martin Gaedke, Chemnitz University of Technology, Germany **** PROGRAM COMMITTEE **** Josef Altmann, Hagenberg University of Applied Sciences, Austria Ken Anderson, University of Colorado, USA Maria Bielikova, Slovak University of Technology, Slovakia Sven Casteleyn, Vrije Universiteit Brussel, Belgium Yogesh Deshpande, University of Western Sydney, Australia Olga De Troyer, Vrije University Brussels, Belgium Piero Fraternali, Politecnico di Milano, Italy Franca Garzotto, Politecnico di Milano, Italy Athula Ginige, University of Western Sydney, Australia Michael Grossniklau, Politecnico di Milano, Italy Thomas Heistracher, Salzburg University of Applied Sciences, Austria Geert-Jan Houben, TU Delft, Netherlands Nora Koch, LMU Munich, Germany David Lowe, University of Technology, Sydney, Australia Emilia Mendez, University of Auckland, New Zealand Oscar Pastor, Universidad Politecnica Valencia, Spain Gustav Pomberger, Johannes Kepler University Linz, Austria Gustavo Rossi, National University of La Plata, Argentina Ray Welland, University of Glasgow, UK Bebo White, Stanford Linear Accelerator Center, USA Erik Wilde, UC Berkeley, USA **** CONTACT **** Email : bproell at faw.jku.at Phone : +43 (664) 2468 - 770 Fax : +43 (732) 2468 - 9308 Web : http://wecu.webengineering.org/2010/ From E.Leonardi at tudelft.nl Mon Mar 15 09:34:43 2010 From: E.Leonardi at tudelft.nl (Erwin Leonardi) Date: Mon, 15 Mar 2010 09:34:43 +0100 Subject: [ecoop-info] Model-Driven Web Engineering (MDWE 2010) Call for Papers Message-ID: <4B9DF123.3060202@tudelft.nl> [Apologies if you receive this more than once] *********************************************************** * Call for Papers * * 6th Model-Driven Web Engineering (MDWE 2010) * * http://mdwe2010.pst.ifi.lmu.de * * Workshop at ICWE 2010 * *********************************************************** Web Engineering is a specific domain in which Model-Driven Engineering (MDE) can be successfully applied. Existing model-based Web engineering approaches already provide excellent methods and tools for the design and development of most kinds of Web applications. They address different concerns using separate models (navigation, presentation, workflows, etc.) and come with model compilers that produce most of the application?s Web pages and logic based on these models. However, most of these Web Engineering proposals do not fully exploit all the potential benefits of MDE, such as complete platform independence, meta-modelling, and model transformations. In addition, there is an increasing trend towards the incorporation of emerging technologies like the Rich Internet Applications, Mashups, Semantic Web and (Semantic) Web Rule Languages, which aim at fostering application interoperability, especially within the scope of the Web 2.0 and is related technologies and richer applications. These current trends involve new challenges both to the modelling and model-driven development domains. However, the effective integration of all these new techniques with the already existing model-based Web Engineering approaches is still unresolved. Accordingly, we invite original, high-quality submissions for the 2010 edition of the Model-Driven Web Engineering Workshop. The aim of this workshop is to provide a forum to discuss the state-of-the-art in Model-Driven Web Engineering (MDWE), where researcher and practitioners will meet to outline a roadmap that addresses the key challenges in this area. WORKSHOP TOPICS Both academia and industry are invited to submit papers about any of the following topics of interest: * Model Driven Architecture (MDA) in the context of Web application development * Other model-driven approaches (e.g., Software Factories) for the development of Web systems * Advantages of the use of MDA and Software Factories in the Web domain * Potential problems or limitations of MDSD in the Web Engineering domain * Metamodels for model-driven approaches used for Web application and RIAs development * Domain specific modelling languages for Web Engineering * UML profiles for Web applications and RIAs * Patterns in the design and implementation of Web applications * Web systems software architecture modelling in MDSD approaches * Model-driven code generation for Web applications and RIAs * Model-to-model and model-to-code transformations for Web application and RIAs development * Model transformation languages * Interoperability models for Web applications and resources (Web pages, Web services, portlets, distributed components, etc.) * Tools and frameworks for supporting model-driven Web development * Model-driven quality analysis of Web applications and RIAs * Maintenance, evolution and management of model-driven generated Web systems * Model-driven approaches to design distributions aspects in Web systems * Use of Semantic Web-based approaches in model-driven Web design * Empirical studies of modeling Web systems and model-driven Web engineering * Industrial experience on model-driven Web development SUBMISSION FORMAT AND PROCEDURE Submissions should be not more than 15 pages long in LNCS format. They have to include the authors' name, affiliation and contact details. Submission details can be found at the workshop website. At least one author of accepted papers should register for the conference and participate in the workshop. The workshop proceedings will be made available online to the participants at least one week before the workshop. Similarly to previous editions of the MDWE workshop we will publish the proceedings in CEUR (free online publications with ISSN). In the tradition of the workshop, a journal publication of a selection of the best papers is planned. IMPORTANT DATES Paper submission April 21, 2010 Notification of acceptance May 21, 2010 Camera-ready version due June 7, 2010 Workshop will take place at ICWE 2010 (July 5 or July 6) WORKSHOP ORGANIZERS * Gustavo Rossi, Universidad Nacional de La Plata, Argentina * Nora Koch, Ludwig-Maximilian University Munich and Cirquent GmbH,Germany * Geert-Jan Houben, Technische Universiteit Delft, the Netherlands * Antonio Vallecillo, University of Malaga, Spain From Franck.Fleurey at sintef.no Mon Mar 15 11:13:53 2010 From: Franck.Fleurey at sintef.no (Franck Fleurey) Date: Mon, 15 Mar 2010 11:13:53 +0100 Subject: [ecoop-info] MODELS 2010 Call for Workshops Message-ID: *************************************************** MODELS 2010 - CALL FOR WORKSHOPS ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems October 3-8, 2010, Oslo, Norway *************************************************** Call for workshop proposals: The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches in the development of software-based systems. Topics covered by the conference include domain-specific modeling languages, model-driven engineering, model transformations, aspect-oriented modeling, verification and validation and real-time. Following the tradition of previous conferences, MODELS 2010 will host a number of workshops, during the three days before the main conference. The workshops will provide a collaborative forum for a group of typically 15 to 30 participants to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical experience on model-driven engineering for specific aspects, specific problems, or domain-specific needs. Each workshop should provide a balanced distribution of its time for both presentation of papers (favoring the attendance of young researchers) and discussions. We encourage prospective workshop organizers to submit proposals for highly-interactive workshops focusing on areas related to modeling in general. Both research-oriented and applied topics are welcome. The duration of these workshops is one day. Important dates: Deadline for submissions: March 31, 2010 Proposer notification: May 14, 2010 (All dates are according to time zone UTC+12.) Submission process: Submit your workshop proposal electronically in PDF using the Springer LNCS style to models2010-workshops at ifi.uio.no. Please ensure that you adhere to the workshop proposal guidelines (given below) providing all requested information about the proposed workshop using at most five pages. Please add in addition a one page draft of your planned Call for Papers to the proposal (not included in the five pages). In order to ensure a proper coordination with the deadlines of the main conference, the following constraints have to be respected by the deadlines you plan for your workshop: Workshop web site and CFP: not later than June 15, 2010 Deadline for submissions: to be determined Notification of authors: before end of early registration (most likely September 2, 2010) Workshop dates: October 3?5, 2010 Workshop proposal guidelines: Here are the guidelines regarding the information you must include in your proposal and how the proposal document needs to be structured. The proposal must be submitted as a PDF file by e-mail to models2010-workshops at ifi.uio.no. The proposal must adhere to the following structure: 1.Workshop title * Organizers and primary contact (name / affiliation / email) * Abstract 2.Motivation * Objectives * Intended audience * Relevance (in particular to the MODELS community) * Context (any past events related to your workshop including related conferences, previous workshops, previous sessions, and previous experience of the current organizers) * Need (comments in favor of your application; if your workshop was at MODELS'09 or any of the former conferences, why is it useful to run it again?) 3.Organization * Organizers (name / affiliation / background) * Workshop program committee (indicated as finalized or expected) * Would you be willing to merge your workshop with other workshops on a similar topic if this were a condition for hosting your workshop at MODELS? 4.Workshop format * Planned deadlines * Intended paper format * Evaluation process * Intended publication of accepted papers (printed proceedings or website) * Intended workshop format (including duration, number of presentations, and planned keynotes) * How many participants do you expect (please make at least an educated guess)? * What kind of equipment do you need (e.g., data projector, computer, whiteboard)? 5.Additional material * Workshop web page (URL of the draft web page, if one exists) * Draft Call for papers for the Workshop (a one page Call for papers that you intend to send out if your workshop is accepted) For more information on MODELS 2010 see: http://models2010.ifi.uio.no/index.shtml Workshop committee: Juergen Dingel (Queen's University, Canada; co-chair) Arnor Solberg (SINTEF, Norway; co-chair) James Bieman (Colorado State University, USA) Jean-Marc J?z?quel (INRIA, France) Alexander Pretschner (TU Kaiserslautern, Germany) From ipetre at abo.fi Mon Mar 15 12:39:06 2010 From: ipetre at abo.fi (Ion Petre) Date: Mon, 15 Mar 2010 13:39:06 +0200 Subject: [ecoop-info] 1st Call for papers: Workshop and Tutorials on Natural Computing Message-ID: <006c01cac434$1e884130$5b98c390$@fi> Apologies for cross-postings. Please distribute. ====================================================================== WTNC 2010 4th International Workshop and Tutorials on Natural Computing Enschede, the Netherlands, October 2, 2010 http://combio.abo.fi/wtnc/ In conjunction with the 5th International Conference on Graph Transformations -------------------------------------------------------------------- === Deadline for submissions: May 31, 2010 === === Proceedings will be published in the EPTCS series === -------------------------------------------------------------------- Natural Computing is a research area concerned with computing taking place in nature and with human-designed computing inspired by nature. It is a fast growing, genuinely interdisciplinary field involving, among others computer science, biology, and mathematics. The aim of the International Workshop and Tutorials on Natural Computing WTNC 2010 is to provide a high-level scientific forum for the researchers in various areas of Natural Computing as well as to provide a cooperation forum for the Natural Computing and on Graph Transformations research communities. This is the 4th event in this series of meetings, with previous editions held in Barcelona, Spain (with ICGT 2002), Rome, Italy (with ICGT 2004), and Leicester, UK (with ICGT 2008). SUBMISSIONS ----------- Papers and extended abstracts are sought in all areas that relate to Natural Computing. Topics of interest include, but are not limited to: - Membrane systems and natural processes - Petri nets in systems biology - Computational nature of biochemical reactions - Abstract state machines in systems biology - Visual languages in systems biology - Modeling with finite and hybrid automata - Unconventional solutions to graph theoretical problems - Hierarchies of models and their refinement - Modeling with evolutionary computation - Molecular computing - Quantum computing - Neural computing Authors are invited to submit extended abstracts or full papers of up to 15 pages formatted according to the EPTCS guidelines. Submissions can be uploaded at http://www.easychair.org/conferences/?conf=wtnc2010. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. The papers will be peer-reviewed and the workshop proceedings, published in the EPTCS series, will be available at the meeting. INVITED SPEAKERS ---------------- - Reiko Heckel (University of Leicester, UK) - Erik de Vink (Eindhoven University of Technology, the Netherlands) - Sander Bohte (CWI, the Netherlands) IMPORTANT DATES --------------- - Submission: May 31, 2010 - Notification: June 30, 2010 - Final version: August 20, 2010 - Workshop: October 2, 2010 PROGRAMME COMMITTEE ------------------- - Elena Czeizler (?bo Akademi University, Finland) - Mika Hirvensalo (University of Turku, Finland) - Lila Kari (University of Western Ontario, Canada) - Giancarlo Mauri (University of Milano-Bicocca, Italy) - Gheorghe Paun (Institute of Mathematics, Academy of Romania; University of Seville, Spain) - Ion Petre (?bo Akademi University, Finland, PC chair) - Grzegorz Rozenberg (University of Leiden, the Netherlands, PC co-chair) ORGANIZERS ---------- - Ion Petre, ipetre 'at' abo.fi - Grzegorz Rozenberg, rozenber 'at' liacs.nl - Bogdan Iancu, bogdan.iancu 'at' abo.fi - Andrzej Mizera, andrzej.mizera 'at' abo.fi Venue: University of Twente, Enschede, the Netherlands --- Prof. Ion Petre Department of IT, ?bo Akademi University Computational Biomodelling Laboratory Turku 20520, Finland http://www.users.abo.fi/ipetre/ From dejan.nickovic at ist.ac.at Mon Mar 15 16:19:21 2010 From: dejan.nickovic at ist.ac.at (Dejan Nickovic) Date: Mon, 15 Mar 2010 16:19:21 +0100 Subject: [ecoop-info] Reminder: Call for papers: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis of Timed Systems ) Message-ID: <1268666361.22802.13.camel@l0144028.ista.local> ------------------------------------------------------------------------- CALL FOR PAPERS FORMATS 2010 IST Austria (close to Vienna) September 8-10, 2010 http://pub.ist.ac.at/formats2010/ Objective and Scope: Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focusses on propagation and switching delays while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behavior depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems. Typical topics include (but are not limited to): * Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). * Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). * Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication). Important Dates: * Abstract submission: April 11, 2010 (STRICT) * Paper submission: April 18, 2010 (STRICT) * Author notification: May 23, 2010 * Camera ready version: June 13, 2010 Submission and Publication: The proceedings of FORMATS 10 will be published by Springer in the Lecture Notes in Computer Science series. Papers must contain original contributions, be clearly written, and include appropriate references to and comparison with related work. Simultaneous submission to other conferences with published proceedings is not allowed. Submissions should not exceed 15 pages, and should be formatted according to Springer LNCS guidelines. If necessary, the submission may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.Submissions will be handled by the EasyChair system. -------------- next part -------------- A non-text attachment was scrubbed... Name: CallForPapers.pdf Type: application/pdf Size: 52747 bytes Desc: not available Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100315/93406486/attachment-0001.pdf From aplsek at purdue.edu Tue Mar 16 02:26:59 2010 From: aplsek at purdue.edu (Ales Plsek) Date: Mon, 15 Mar 2010 21:26:59 -0400 Subject: [ecoop-info] CfP ROOTs 2010 at ECOOP'10 Message-ID: <4B9EDE63.4080000@purdue.edu> Subject: CfP ROOTS at ECOOP 2010 CALL FOR PAPERS: ROOTS 2010 1st International Workshop on Real-time Object-Oriented TechnologieS http://www.cs.purdue.edu/roots10 roots at cs.purdue.edu co-located with ECOOP 2010 (http://2010.ecoop.org) June 21-25, Maribor, Slovenia Important Dates --------------- Paper submission: April 19, 2010 Author notification: May 5, 2010 Workshop date: June 21 or 22, 2010 Topics of Interest ------------------ The behavior of real-time and embedded applications is constrained by the physical world. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce both real-time constraints and conventional functional requirements, while assuring modularity and composability of independently developed components. It is essential that the production of real-time embedded systems can take advantage of languages, tools, and methods that enable higher software productivity. The last decade have brought a plethora of ideas bridging the gap between high-level object-oriented approaches and the low-level problems of the real-time embedded world. However, experimentation is needed to evaluate these ideas and to transform them into practical language designs, tools, and methodologies. Finally, there is the problem of extending these ideas to truly object-oriented designs. The purpose of the ROOTs workshop is to bring together professionals and researchers experienced in adapting object-oriented programming to the world of real-time and embedded software. While object-oriented design and methodology bring the productivity necessary for the expanding field of real-time systems, the programming languages and tools often need to be adapted to address the specific challenges these fields represent. Sharing the experience of addressing low-level problems with object-oriented approaches is thus the key goal of the workshop. Furthermore, the workshop focuses on evaluation in practice to assess the object-oriented approaches with realistic problems. The goal is to further the understanding of such systems in practice, and connect practice and theory. The subject areas that this workshop proposes to address have recently seen increased interest, to mention a few, a newly released Virtual Machine allows users to deterministically execute regular Java on bare hardware, recent innovation of real-time garbage collection offers the real-time programming to the masses, componentization of industry-popular microOS introduces advanced object-oriented paradigm even into the OS layers, and a safety-critical specification for Java addresses the challenges of safety-critical certified software. This workshop aims to bring researchers together for passionate discussion about these examples and the relevant topics in general, and to promote not only the theory, but practical evaluation of these ideas, and experience reports. Topics of interest include but are not limited to: - Emerging applications, components and systems - New real-time programming paradigms and language features - Embedded software synthesis and verification - Reports on R&D progress in the field - Emerging tools and trends - Emerging standards (or the need for new standards) - Practical experiences, particularly from industry - Safety-critical software certification - Formal verification and model checking of real-time systems Submissions ----------- Both full papers (up to 8 pages) and position papers (2-4 pages) are welcome. Submissions should be formatted according to the standard ACM SIGPLAN conference format These papers will be reviewed by the program committee primarily based on relevance and originality. Accepted papers will be published in the ACM Digital Library. Program Committee ----------------- Alexandre Bergel University of Chile, Chile Ivica Crnkovic M?lardalen University, Sweden Huascar Espinoza ESI-Tecnalia, Spain Christian Haack Aicas Realtime, Germany David Holmes SUN Microsystems, Australia Tomas Kalibera Charles University, Czech Republic Fabrice Kordon University P. & M. Curie, France Doug Lea SUNY Oswego, USA Frederic Loiret INRIA Lille, France Kelvin Nilsen Aonix, USA Laurent Pautet Telecom ParisTech, France Ales Plsek Purdue University, USA Marek Prochazka ESA, Netherlands Francois Terrier CEA-LIST, France Jan Vitek Purdue University, USA Lukasz Ziarek Fiji Systems LLC, USA Organization Committee ---------------------- Jan Vitek Purdue University, USA Ales Plsek Purdue University, USA Frederic Loiret INRIA Lille, France Please visit the website for up-to-date information about the workshop: http://www.cs.purdue.edu/roots10 Contact: roots at cs.purdue.edu -- Ale? Pl?ek, Ph.D. Purdue University Home Page: http://www.cs.purdue.edu/homes/plsek/ LinkedIn: http://www.linkedin.com/in/plsek From bravetti at cs.unibo.it Tue Mar 16 07:25:03 2010 From: bravetti at cs.unibo.it (Mario Bravetti) Date: Tue, 16 Mar 2010 07:25:03 +0100 Subject: [ecoop-info] CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing In-Reply-To: <48DCACFE.6000908@cs.unibo.it> References: <48DCACFE.6000908@cs.unibo.it> Message-ID: <4B9F243F.4010709@cs.unibo.it> ======================================================================== WS-FM 2010 7th International Workshop on Web Services and Formal Methods: Formal aspects of service oriented and cloud computing September 16-17, 2010 New Jersey, USA http://www.cs.ucsb.edu/~vlab/ws-fm10/ ------------------------------------------------------------------------ *CALL FOR PAPERS* Abstract Submission: May 28, 2010 Paper Submission: June 4, 2010 ======================================================================== WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken, New Jersey, USA, on September 16-17, 2010 and will be co-located with: 8th Int. Conference on Business Process Management (BPM 2010) http://www.bpm2010.org/ Service Oriented Computing (SOC) provides standard mechanisms and protocols for describing, locating and invoking services over the Internet. Although there are existing SOC infrastructures that support specification of service interfaces, access policies, behaviors and compositions, there are still many active research areas in SOC such as the support and management of interactions with stateful and long-running services, large farms of services and quality of service delivery. Moreover, emerging paradigm of cloud computing provides a new platform for service delivery, enabling the development of services that are configurable based on client requirements, service level guarantee mechanisms, and extended services based on virtualization (Software as a Service, Platform as a Service, Infrastructure as a Service). The convergence of SOC and cloud computing is accelerating the adoption of both of these technologies, making the service dependability and trustworthiness a crucial and urgent problem. Formal methods can play a fundamental role in this research area. They can help us define unambiguous semantics for the languages and protocols that underpin existing web service infrastructures, and provide a basis for checking the conformance and compliance of bundled services. They can also empower dynamic discovery and binding with compatibility checks against behavioral properties and quality of service requirements. Formal analysis of security properties and performance is also essential in cloud computing and in application areas including e-science, e-commerce, workflow, business process management, etc. Moreover, the challenges raised by this new area can offer opportunities for extending the state of the art in formal techniques. The aim of the WS-FM workshop series is to bring together researchers working on SOC, cloud computing and formal methods in order to catalyze fruitful collaboration. The scope of the workshop is not only limited to technological aspects. In fact, the WS-FM series has a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this could have a significant impact on the on-going standardization efforts for SOC and cloud computing technologies. TOPICS OF INTEREST Main topics of interest include (but are not limited to): * Trust and Dependability in service oriented and cloud computing * Multi-tenancy, Adaptability and Evolvability in cloud systems * Formal approaches to service-oriented analysis and design * Formal approaches to enterprise modeling and business process modeling * Model-driven development, testing, and analysis of web services/clouds * Web services for business process management * Security, performance and quality of web services/clouds * Web service coordination and transactions * Web service ontologies and semantic description * Goal-driven discovery and composition of web services * Complex event processing in service-oriented architectures * Semi-structured data management and XML technology * Types and logics for web services/clouds * Innovative application scenarios for web services/clouds * Data services * Data centric process modeling SUBMISSION GUIDELINES Submissions must be original and should not have been published previously nor be under consideration for publication while being evaluated for this workshop. All papers must be submitted at the following submission site, handled by EasyChair, http://www.easychair.org/conferences/?conf=wsfm2010 using the Springer LNCS style. Papers should not exceed 15 pages in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The workshop proceedings will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS). INVITED SPEAKERS The list of invited speakers currently includes: - Rick Hull, IBM Watson Research Center, USA - Shriram Krishnamurthi, Brown University, USA IMPORTANT DATES Abstract Submission: May 28, 2010 Paper Submission: June 4, 2010 Notification: July 14, 2010 Final version due: July 23, 2010 PROGRAM COMMITTEE Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands Matteo Baldoni, University of Torino, Italy Samik Basu, Iowa State University, USA Karthikeyan Bhargavan, Microsoft Research-INRIA Joint Centre, France Mario Bravetti, University of Bologna, Italy (co-chair) Tevfik Bultan, Univ. of California at Santa Barbara, USA (co-chair) Nicola Dragoni, Technical University of Denmark, Denmark Marlon Dumas, University of Tartu, Estonia Schahram Dustdar, Technical University of Wien, Austria Jos? Luiz Fiadeiro, University of Leicester, UK Howard Foster, Imperial College London, UK Xiang Fu, Hofstra University, USA Stefania Gnesi, ISTI-CNR, Italy Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada Thomas Hildebrandt, IT University of Copenhagen, Denmark Kohei Honda, Queen Mary, University of London, UK Manuel Mazzara, University of Newcastle, UK Manuel Nunez, Universidad Complutense de Madrid , Spain Gwen Sala?n, Grenoble INP - INRIA - LIG, France Jianwen Su, University of California at Santa Barbara, USA Karsten Wolf, University of Rostock, Germany Gianluigi Zavattaro, University of Bologna, Italy STEERING COMMITTEE Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands Mario Bravetti, University of Bologna, Italy Marlon Dumas, University of Tartu, Estonia Jos? Luiz Fiadeiro, University of Leicester, UK Gianluigi Zavattaro, University of Bologna, Italy From Julien_Bourgeois at pu-pm.univ-fcomte.fr Tue Mar 16 09:04:37 2010 From: Julien_Bourgeois at pu-pm.univ-fcomte.fr (Julien Bourgeois) Date: Tue, 16 Mar 2010 09:04:37 +0100 Subject: [ecoop-info] CFP : IEEE/IFIP EUC 2010, Hong Kong, December 11-13, 2010 Message-ID: <4B9F3B95.5030605@pu-pm.univ-fcomte.fr> ======================================================== C A L L F O R P A P E R S ****IEEE/IFIP EUC 2010 **** Hong Kong SAR, China, December 11-13, 2010 http://www.euc2010.org The 8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-10), provides a forum for engineers and scientists in academia, industry, and government to address all challenges including technical, safety, social, and legal issues related to embedded and ubiquitous computing and to present and discuss their ideas, results, work in progress and experience on all aspects of embedded and ubiquitous computing. * Topics of interest include, but are not limited to, the following: ------------------------------------------------------------------------------ Embedded Computing - Embedded System Software and Optimization - Embedded System Architectures - Hardware/Software Co-design and Design Automation - Real-Time Systems and Operating Systems - Application-Specific Processors and Devices - Power-Aware Computing - Sensor Networks - System/Network-on-Chip - Reconfigurable Computing Systems and Applications - Cyber-Physical Systems Ubiquitous Computing - Pervasive Computing and Communications - Middleware and Peer-to-Peer Computing - Internet Computing and Applications - Multimedia and Data Management - Human-Computer Interaction - Network Protocols - Wireless Communication & Networks - Mobile Computing - Agents and Distributed Computing - Security and Fault Tolerance Applications ----------------------------------------------------------------------------- The papers will be reviewed by the international Program Committee. Accepted papers will be published in the EUC-10 proceedings by IEEE Computer Society. Selected high quality papers will be recommended for publication in special issues of Journal of Embedded Computing (JEC), International Journal of Embedded Systems (IJES), International Journal of Parallel, Emergent and Distributed Systems and several SCI-indexed journals. A best paper will be selected for each of the two themes (embedded computing and ubiquitous computing). * Submission: Prepare your paper in the IEEE CS format of no more than 8 pages. Submit your paper as a PDF file at the EUC-10 submission site: http://cse.stfx.ca/~euc2010/sub/ Each submission should be regarded as an undertaking that, if the paper be accepted, at least one of the authors must register for the conference and attend the conference to present the work in order for the paper to be included in the IEEE Digital Library. * Workshops Several workshops will be held in conjunction with the EUC-10 conference. Please submit a workshop proposal including call for papers, organizing committee, important dates, short bio of the organizers to the EUC-10 workshop chairs before April 30, 2010. Proceedings of EUC-10 workshops will be published by IEEE CS Press. The workshops with more than 15 accepted papers will be granted with a free complimentary registration for the leading workshop organizer. * Important Dates: ----------------------------------------------------------------------- - Paper Submission Deadline: July 9, 2010. - Notification of Paper Acceptance: September 6, 2010. - Camera ready: October 4, 2010 - Workshop proposals: 30 April 2010 ----------------------------------------------------------------------- Organising Committee: * General Chair Jiannong Cao, Hong Kong Polytechnic University, China * Program Co-Chairs Jadwiga Indulska, The University of Queensland, Australia Yunhao Liu, Hong Kong University of Sci. and Tech., China * Program Track Chairs Embedded Systems Software and Optimization Jenq-Kuen Lee, National Tsing Hua University, Taiwan Embedded Systems and Hardware/Software Co-Design Pao-Ann Hsiung, National Chung Cheng University, Taiwan Cyber-Physical Systems and the Internet of Things Xinbing Wang, Shanghai Jiaotong University, China Real-Time Systems and Operating Systems Paul Pettersson, M?lardalen University, Sweden Power-Aware Computing Zili Shao, Hongkong Polytechnic University, China Wireless Networks Ivan Stojmenovic, University of Ottawa, Canada Sensor Networks Tian He, University of Minnesota, USA Mobile and Context-aware Computing Gregor Schiele, University of Mannheim, Germany Agent and Distributed Computing Seng Loke, La Trobe University, Australia Middleware for Embedded and Ubiquitous Computing Mohan Kumar, University of Texas at Arlington, USA Multimedia and Data Management Xiaofang Zhou, The University of Queensland, Australia Autonomic, Organic and Trusted Computing Christian Muller-Schloer, University of Hannover, Germany * Workshop Co-Chairs Andy Xiaolin Li, Oklahoma State University, U.S.A. Bin Xiao, Hong Kong Polytechnic University, China * Publicity Co-chairs Habib Ammari, Hofstra University, USA Julien Bourgeois, University of Franche-Comte, France Weigang Wu, Sun Yat-Sen University, China * Local Organizing Chair Alvin Chan, Hong Kong Polytechnic University, China ======================================================== From chair.imcsit2010 at imcsit.org Wed Mar 17 21:41:04 2010 From: chair.imcsit2010 at imcsit.org (Maria Ganzha - Chair of IMCSIT 2010) Date: Wed, 17 Mar 2010 21:41:04 +0100 Subject: [ecoop-info] [IMCSIT] News -- IMCSIT 2010 -- CALL FOR PAPERS Message-ID: <6e8624d6fbe6af02dcfc0e01d01159b0@mailing.imcsit.org> Dear Colleague, We apologize if you received the IMCSIT CFP more than once. Information how to permanently unsubscribe from the IMCSIT mailing list can be found on the bottom of this e-mail. Please forward this CFP to colleagues that may be interested in the IMCSIT conferences. Sincerely yours, Maria Ganzha, Ph.D. IMCSIT Chair ******************************************************************************** CALL FOR PAPERS 2010 International Multiconference on Computer Science and Information Technology (IMCSIT) -- http://www.imcsit.org/ (Facebook group: http://tinyurl.com/yg6xtdz) October 18-20, 2010 Hotel Golebiewski, Wisla, Poland IMCSIT is organized by the Polish Information Processing Society in cooperation with the IEEE Computer Society (Poland Chapter), Council of European Professional Informatics Societies (CEPIS), the Systems Research Institute Polish Academy of Sciences, and the Institute of Computer Science Polish Academy of Sciences. The 2010 International Multiconference on Computer Science and Information Technology will consist of the following conferences: * 5th International Symposium Advances in Artificial Intelligence and Applications - AAIA'10 - http://AAIA.imcsit.org * Workshop on Agent Based Computing: from Model to Implementation VII - ABC:MI'10 - http://ABCMI.imcsit.org * International Workshop on Advances in Business ICT - ABICT'10 - http://ABICT.imcsit.org * Computational Linguistics - Applications - CLA'10 - http://CLA.imcsit.org * Computer Aspects of Numerical Algorithms - CANA'10 - http://CANA.imcsit.org * 10th International Multidisciplinary Conference on e-Commerce and e-Government - ECOM & EGOV'10 - http://ECOM-EGOV.imcsit.org * International Symposium on E-Learning - Applications - EL-A'10 - http://EL-A.imcsit.org * 6th Workshop on Large Scale Computations on Grids and 1st Workshop on Scalable Computing in Distributed Systems - LaSCoG-SCoDiS'10 - http://LASCOG-SCODIS.imcsit.org * 2nd International Workshop on Medical Informatics and Engineering - MI&E'10 - http://MIE.imcsit.org * 3rd International Symposium on Multimedia - Applications and Processing - MMAP'10 - http://MMAP.imcsit.org * 5th International Workshop on Real-Time Software - RTS'10 - http://RTS.imcsit.org * 4th International Workshop on Secure Information Systems - SIS'10 - http://SIS.imcsit.org * International Symposium on Technologies for Social Advancement - T4SA'10 - http://T4SA.imcsit.org * Workshop on Ad-Hoc Wireless Networks - WAHOC'10 - http://WAHOC.imcsit.org * Workshop on Computational Optimization - WCO'10 - http://WCO.imcsit.org ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The 2010 AAIA Symposium is dedicated to celebrating the 75th Birthday of Professor Leonard Bolc (http://www.imcsit.org/pg/351/275) Furthermore, the AAIA Symposium will award two "Professor Zdzislaw Pawlak Best Paper Awards" for contributions which are outstanding in their scientific quality. The two award categories are: - Best Student Paper - for graduate or PhD students. Papers qualifying for this award must be marked as "Student full paper" to be eligible for consideration. - Best Paper Award - for the authors of the best paper appearing at the Symposium. In addition to a certificate, each award carries a prize of 300 EUR provided by the Mazowsze Chapter of the Polish Information Processing Society (http://www.old.pti.org.pl/om/) ******************************************************************************** CONFERENCE LANGUAGE: English is the sole language for paper submission and presentation. PAPER PUBLICATION - Proceedings of the 2010 IMCSIT will be published on a CD (ISSN 1896-7094) and will be placed in the IEEE Xplore Digital Library. - Each conference will then publish extended versions of selected papers in Special Issues of Journals and/or as Edited Volumes; for more details see sites of each event PAPER SUBMISSION - Authors should submit full paper(s) (draft version, PDF file) - The total length of a paper should not exceed 8 pages (IEEEtran style). IEEEtran style templates are available at: http://www.submit.imcsit.org - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the specific conference - Conference organizers reserve the right to move submissions between Conferences IMPORTANT DEADLINES: * Paper submission: May 31, 2010 * Notification of acceptance/rejection: July 12, 2010 * Camera-ready paper due: August 23, 2010 * Conference: October 18-20, 2010 ORGANIZING COMMITTEE: Maria Ganzha (Chair), SRI PAS, Warsaw and University of Gdansk, Gdansk, Poland Marcin Paprzycki, SRI PAS and WSM, Warsaw, Poland CONTACT: In case of questions, please contacts us at: http://www.contacts.imcsit.org -- To unsubscribe from this list visit: http://www.mailing.imcsit.org/?p=unsubscribe&uid=fe28a775636543a0f2703b63ff6fc6a2 To change your e-mail address visit: http://www.mailing.imcsit.org/?p=preferences&uid=fe28a775636543a0f2703b63ff6fc6a2 From dr.usman.ans2010 at gmail.com Wed Mar 17 12:19:07 2010 From: dr.usman.ans2010 at gmail.com (Usman Tariq) Date: Wed, 17 Mar 2010 20:19:07 +0900 Subject: [ecoop-info] Call For Paper :: The International Workshop on Autonomic Networks and Services (ANS2010) Message-ID: The International Workshop on Autonomic Networks and Services (ANS2010) In the International Workshop on Autonomic Networks and Services (ANS2010) we discuss the research and development answers to autonomic networks, their novel application, multiuser/group mobility solutions, context related issues, naming services for wireless sensor networks, autonomic repository adaptation for social networks, applications of autonomic computing in web 3.0 and Next Generation Networks (NGN) paradigms, Autonomic Network Management, autonomic information lifecycle management, data synchronization among various ubiquitous servers, cross disciplinary applications of autonomic computing, novel autonomic services, service lifecycle management, etc. ** * Important Dates Submission Deadline: April 30, 2010 Author Notification: June 30, 2010 Final Manuscript Due: July 30, 2010 Paper Submission The information about the paper submission shall be given on the workshop webpage: http://faculty.uoh.edu.sa/j.chaudhry/indexans2010.html * -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100317/c65a149a/attachment.html From didier at lrde.epita.fr Wed Mar 17 14:22:19 2010 From: didier at lrde.epita.fr (Didier Verna) Date: Wed, 17 Mar 2010 14:22:19 +0100 Subject: [ecoop-info] [2nd CfP] 7th European Lisp Workshop at ECOOP'10, June 21/22 Message-ID: +------------------------------------------------------------+ | 2ND CALL FOR PAPERS | | 7th European Lisp Workshop | | June 21/22, Maribor, Slovenia - co-located with ECOOP 2010 | +------------------------------------------------------------+ News ==== Our invited speaker, Manuel Serrano, will talk about "diffuse programming" and HOP. The abstract of his presentation can be found on the website at: http://european-lisp-workshop.org/upcoming/programme.php Important Dates =============== Submission deadline: April 19, 2010 Notification of acceptance: May 05, 2010 ECOOP early registration deadline: May 10, 2010 7th European Lisp Workshop: June 21 or 22, 2010 (tbdl) Please note that registration must be done with ECOOP itself. For more information visit http://www.european-lisp-workshop.org Contact: Didier Verna, didier at lrde.epita.fr Invited Speaker =============== Manuel Serrano (INRIA, France) http://www-sop.inria.fr/members/Manuel.Serrano/ Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and remains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol meta-programming and libraries - New language features and abstractions - Software evolution - Development aids - Persistent systems - Dynamic optimization - Implementation techniques - Hardware Support - Efficiency, distribution and parallel programming - Educational approaches and perspectives - Experience reports and case studies Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is both to demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, these sessions are expected to be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms (see below). Authors will later be required to sign an ACM copyright form, as the workshop proceedings will be published in the ACM Digital Library. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=elw2010 Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux 1, France Christophe Rhodes, Goldsmiths College, University of London -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com From ieee.nss at gmail.com Thu Mar 18 06:31:07 2010 From: ieee.nss at gmail.com (NSS 2010) Date: Thu, 18 Mar 2010 15:31:07 +1000 Subject: [ecoop-info] HPCC 2010 CFP Message-ID: 12th IEEE International Conference on High Performance Computing and Communications (IEEE HPCC-10) September 1-3, 2010, Melbourne, Australia http://www.anss.org.au/hpcc2010 Sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing Distinguished papers presented at the conference, after further revision, will be published in special issues of International Journal of High Performance Computing Applications (SAGE, indexed by SCI and EI) and International Journal of High Performance Computing and Networking (Inderscience). [Call For Papers] ----------------- With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. The HPCC-2010 conference is the 12th edition of the highly successful International Conference on High Performance and Communications (HPCC). It provides a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. IEEE HPCC-10 is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing. HPCC-10 is the next event in a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), previously held as HPCC-09 (Seoul, Korea, June 2009), HPCC-08 (DaLian, China, September 2008), HPCC-07 (Houston, USA, September 2007), HPCC-06 (Munich, Germany, September 2006), HPCC-05 (Naples, Italy, September 2005), HPCN-04 (Tokyo, Japan, December 2004), PACT-SHPSEC03 (New Orleans, USA, September 2003), PACT-SHPSEC02 (Charlottesville, USA, September 2002), HPCA-01 (Nova Scotia, Canada, November 2001), HPNCA-00(Delft, The Netherlands, May 2000), HPNCA-99 (Amsterdam, The Netherlands, April 1999). HPCC 2010 will be held in Melbourne, Australia. Since 2002, Melbourne has been consistently ranked in the top three 'World's Most Livable Cities' by The Economist. [Topics] -------- * Languages and compilers for high performance computing * Parallel and distributed system architectures * Parallel and distributed software technologies * Parallel and distributed algorithms * Embedded systems * Peer-to-peer computing * Grid and cluster computing * Web services and internet computing * Performance evaluation and measurement * Tools and environments for software development * Distributed systems and applications * High-performance scientific and engineering computing * Database applications and data mining * Biological/molecular computing * Collaborative and cooperative environments * Mobile computing and wireless communications * Pervasive/ubiquitous computing and intelligence * Autonomic, reliability and fault-tolerance * Trust, security and privacy [Important Dates] ----------------- Workshop proposal due: March 31, 2010 Paper submission due: April 15, 2010 Author notification: May 31, 2010 Camera-ready due: June 21, 2010 Conference date: September 1-3, 2010 [Submission Guidelines] ----------------------- Submissions must include an abstract, five to ten keywords, the e-mail address of the corresponding author and should not exceed 15 pages, including tables and figures. All paper submissions must represent original and unpublished work. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Prepare your paper with free styles not more than 15 pages in PDF file. Submit your paper(s) at the HPCC-10 submission site: http://cse.stfx.ca/~hpcc10/sub/ Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press (indexed by EI). Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers presented at the conference, after further revision, will be published in special issues of the following international journals: International Journal of High Performance Computing Applications (SAGE, indexed by SCI and EI), International Journal of High Performance Computing and Networking (Inderscience). More journals will be announced soon. [Committees] ------------ General Chairs Wanlei Zhou, Deakin University, Australia Erwin Laure, Royal Institute of Technology, Sweden Darren J. Kerbyson, Los Alamos National Laboratory, USA Program Chairs Yang Xiang, Central Queensland University, Australia Fatos Xhafa, Birkbeck, University of London, UK Jinjun Chen, Swinburne University of Technology, Australia Panel Chair Rajkumar Buyya, University of Melbourne, Australia Workshop Chairs Salvatore Venticinque, Second University of Naples, Italy Liang Zhou, ENSTA-ParisTech, France Yong Meng Teo , National University of Singapore, Singapore Steering Chairs Laurence T. Yang, St. Francis Xavier University, Canada Beniamino Di Martino, Second University of Naples, Italy From ieee.nss at gmail.com Thu Mar 18 07:53:30 2010 From: ieee.nss at gmail.com (NSS 2010) Date: Thu, 18 Mar 2010 16:53:30 +1000 Subject: [ecoop-info] HPCC 2010 Call for Workshop Proposals Message-ID: <4f870105602e1b06d9f6ede0001e82c3@gmail.com> Call for Workshop Proposals IEEE HPCC-10 workshops will be held on September 1-3, 2010, in Melbourne, Australia, co-located with the main conference (http://www.anss.org.au/hpcc2010/). ----------------------------------------------------------------------------------------------- We invite you to submit workshop proposals on any topics related to High Performance Computing and Communications to the Workshop Chairs. The purpose of these workshops is to offer to researchers a good opportunity to present their work in a more focused way than the conference itself and to obtain feedback from an interested community. Workshops that focus on new and emerging topics, or on applications and industry contributions are particularly encouraged. In general, a workshop takes one day, although multiple-day and half-day workshops are welcome. A workshop proposal should contain at least: - Title of workshop: International workshop on ?? - Workshop chairs: Name, Affiliation, address, e-mail, - Brief description of the workshop (several hundred words) - One-page draft call for papers - The workshop deadlines - Names and affiliations of organizers and tentative composition of the committees - Brief biography of organizers - Expected numbers of submissions and accepted papers - Procedures for selecting papers and participants. - Prior history of this workshop, if any. Please include: number of submissions, number of accepted papers, and attendee count. Important dates: - Workshop proposals submission: March 15, 2010. - Notification of acceptance: April 1st, 2010 Each workshop will start to distribute a call for paper after receiving the notification. Papers submitted to each workshop will be reviewed by the program committee and external reviewers of the workshop. Once accepted, the workshop chairs are in charge of: Setting up a web site for the workshop according to the template that will be distributed upon acceptance. - Establishing own paper submission system. - Deciding own submission deadlines, but following the same camera-ready deadline and registration deadline as HPCC 2010 main conference. - Ensuring that each paper selected for inclusion in the proceedings will be registered for HPCC 2010 at the same registration rates. Each paper must be presented in person by the author, or one of the authors. Proceedings of the HPCC 2010 will be published by IEEE Computer Society Press, in the same proceedings of HPCC 2010, and will be made available to all conference registrants on site. All workshop papers will also be electronically available through IEEE Xplore Digital Database, and professionally indexed through INSPEC and EI Index. The length of camera-ready version of all workshop papers will have 6 pages limit, including all figures, appendix, and references, etc. Please organize your workshop as early as possible to ensure your effort turn out to be fruitful. In particular we suggest making explicit the different focus of your workshop, if compared with eventual overlapping conference topics, in order to attract relevant contributions. For further information on preparing a workshop proposal, please contact the Workshops Chairs. Workshop Chairs: Liang Zhou, ENSTA-ParisTech, France, liang.zhou at ieee.org Salvatore Venticinque, Second University of Naples, Italy, salvatore.venticinque at unina2.it Yong-Meng Teo, National University of Singapore, Singapore, teoym at comp.nus.edu.sg From pankratius at ipd.uni-karlsruhe.de Wed Mar 17 18:04:02 2010 From: pankratius at ipd.uni-karlsruhe.de (Victor Pankratius) Date: Wed, 17 Mar 2010 18:04:02 +0100 Subject: [ecoop-info] CfP: IEEE Software Special Issue Message-ID: <19299AA5BFDB4A6B81196AECFC744B8E@tabletpc> IEEE SOFTWARE invites you to submit a paper to the special issue: ========================================= "Software for the Multiprocessor Desktop: Applications, Environments, Platforms" ========================================= Guest Editors: * Victor Pankratius (Karlsruhe Institute of Technology) * Wolfram Schulte (Microsoft Research), * Kurt Keutzer (Univ. California Berkeley) Final submissions due: 1 July 2010 Publication date: January/February 2011 Multicore processors, like Nehalem or Opteron, and manycore processors, like Larrabee or GeForce, are becoming a de facto standard for every new desktop PC. Exploiting the full hardware potential of these processors will require parallel programming. Thus, many developers will need to parallelize desktop applications, ranging from browsers and business applications to media processors and domain-specific applications. This is likely to result in the largest rewrite of software in the history of the desktop. To be successful, systematic engineering principles must be applied to parallelize these applications and environments This special issue seeks contributions introducing readers to multicore and manycore software engineering for desktop applications. It aims to present practical, relevant approaches such as programming models, languages, and tools as well as exemplary experiences in parallelizing applications for these new desktop processors. The special issue will also sketch out the current challenges and research frontiers so that practitioners will know what to expect over the next several years. We solicit original, previously unpublished articles on topics over the whole spectrum of software engineering in the context of desktop multiprocessors, including multicore, manycore, and mixtures of each. Such efforts include applications, environments, and platforms for the multiprocessor desktop. Specific topics of interest include, but are not limited to: * How to make desktop multiprocessor programming easier for the average programmer * Desktop multiprocessor programming models, language extensions, and runtimes * Multicore and manycore design patterns, architectures, frameworks, and libraries * Software reengineering/refactoring for desktop multiprocessors * Desktop multiprocessor software optimizations, performance tuning, and auto-tuning * Testing, debugging, and verification of multicore and manycore programs * Development environments and tools for desktop multiprocessor software * Surveys of software development tools for desktop multiprocessors * Energy issues in multicore and manycore programming * Case studies of application scenarios for desktop multiprocessor software in consumer applications * Surveys of desktop applications that benefit from desktop multiprocessors * Industrial experience reports and case studies on multicore and manycore programming Manuscripts must not exceed 4,700 words including figures and tables, which count for 200 words each. Submissions in excess of these limits may be rejected without refereeing. The articles we deem within the theme's scope will be peer-reviewed and are subject to editing for magazine style, clarity, organization, and space. IEEE reserves the right to edit the title of all submissions. Articles should have a practical orientation, and be written in a style accessible to practitioners. Overly complex, purely research-oriented, or theoretical treatments are not appropriate. Articles should be novel. IEEE Software does not re-publish material published previously in other venues, including other periodicals and formal conference/workshop proceedings, whether previous publication was in print or in electronic form. For further information about the topic, contact one of the guest editors; be sure to include the name of the special issue you are submitting for. * Victor Pankratius (Karlsruhe Institute of Technology) http://www.victorpankratius.org/ * Wolfram Schulte (Microsoft Research) http://research.microsoft.com/en-us/people/schulte/ * Kurt Keutzer (Univ. California Berkeley) http://www.eecs.berkeley.edu/~keutzer/ For general author guidelines: www.computer.org/software/author.htm For submission details: software at computer.org The call for papers, further information, and updates are available at: http://www.multicore-systems.org/specialissue Best regards, Victor Pankratius From acl at info.fundp.ac.be Thu Mar 18 17:04:49 2010 From: acl at info.fundp.ac.be (Anthony Cleve) Date: Thu, 18 Mar 2010 17:04:49 +0100 Subject: [ecoop-info] ASE'2010 - Call for Tool Demonstrations Message-ID: CALL FOR TOOL DEMONSTRATIONS 25th International Conference on Automated Software Engineering ASE'2010 20-24 September 2010 - Antwerp, Belgium http://soft.vub.ac.be/ase2010/ ----------------------------------------------------------------- DATES May 17: Paper submission June 24: Author notification July 8: Camera-ready papers September 20-24: ASE 2010 ----------------------------------------------------------------- INTRODUCTION Software Engineering is concerned with the analysis, design, implementation, testing, and maintenance of software systems. Automated software engineering focuses on how to automate these tasks in order to achieve improvements in quality and productivity. Tool support, therefore, is central to this. The 25th IEEE/ACM International Conference on Software Engineering invites high-quality submissions for its tool demonstrations track. The ASE tool demonstrations track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of automated software engineering with the goal of allowing live presentation of new research tools. Tools can range from research prototypes to in-house or pre-commercialized products. The tool demonstrations are intended to highlight underlying scientific contributions. Whereas a regular research paper is intended to give the background information and point out the scientific contribution of a new software engineering approach, the tool demonstration paper provides a good opportunity to show how the scientific approach has been transferred into a working tool. Authors of regular research papers are thus encouraged to submit an accompanying tool demonstration paper. The Tool Demonstration Committee will review each submission to assess the relevance and quality of the proposed tool demonstration in terms of originality, soundness, presentation, and appropriate consideration of related literature. Please forward this call to anyone who might be interested. ----------------------------------------------------------------- PAPER SUBMISSION & PUBLICATION Submissions of proposals for formal tool demonstrations must: * adhere to the ASE?2010 proceedings format (ACM proceedings) * have a maximum of 2 pages that describe the technology or approach, how it relates to other industrial or research efforts, including references, and describe what the expected benefits are; * have an appendix (not included in the 2 page count) that provides a brief description of how the presentation will be conducted (possibly illustrated with snapshots), information on tool availability and maturity in addition to a web-page for the tool (if one exists); * be submitted via the EasyChair system by May 17, 2010: http://www.easychair.org/conferences/?conf=ase25tools Accepted demonstrations will be allocated 2 pages in the conference proceedings. Demonstrators are expected to give a presentation that will be scheduled into the conference program. There will also be a demonstration area open to attendees at scheduled times during the conference, during which demonstrators are expected to be available. Presentation at the conference is a requirement for publication. ----------------------------------------------------------------- COMMITTEES Tool Demonstration co-Chairs * Anthony Cleve, INRIA Lille (France) * Bernd Fischer, University of Southampton (UK) Contact address: ase25tools at easychair.org Tool Demonstration Committee * Andrew Begel, Microsoft Research (USA) * Ewen Denney, NASA Ames Research Center (USA) * Massimiliano Di Penta, University of Sannio - Benevento (Italy) * Alexander Egyed, Johannes Kepler University (Austria) * Jeff Gray, University of Alabama (USA) * John Grundy, Swinburne University of Technology (Australia) * Andrew Ireland, Heriot-Watt University (UK) * Paul Klint, CWI (The Netherlands) * Ralf Laemmel, University of Koblenz-Landau (Germany) * Henry Muccini, University of L?Aquila (Italy) * John Penix, Google (USA) * Willem Visser, University of Stellenbosch (South Africa) * Andrea Zisman, City University (UK) From antonino.rotolo at unibo.it Thu Mar 18 18:52:51 2010 From: antonino.rotolo at unibo.it (Antonino Rotolo) Date: Thu, 18 Mar 2010 18:52:51 +0100 Subject: [ecoop-info] [RuleML-2010] 1st Call for Papers Message-ID: [Apologies for multiple postings] 1st Call for Papers RuleML-2010 4th International Web Rule Symposium: Research Based and Industry Focused October 21-23, 2010, Washington, DC, USA Co-located with the 13th Business Rules Forum http://2010.ruleml.org/ Overview and Aim ====================================================== The International Web Rule Symposium has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. This year, the 4th International Web Rule Symposium (RuleML-2010) will be held near Washington, DC, USA, co-located with the 13th Business Rules Forum, the world's largest Business Rules event. RuleML-2010 is devoted to practical distributed rule technologies and rule-based applications, which need language standards for rules (inter)operating in, e.g., the Semantic Web, Enterprise Systems, Intelligent Multi-Agent Systems, Event-Driven Architectures, and Service-Oriented Applications. RuleML-2010 is a research-based, industry-focused symposium: its main goal is to build a bridge between academia and industry in the field of rules and semantic technology, and so to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2010 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks. It will thus be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation, and interchange of rules in distributed enterprise intranets and open distributed environments. Conference Theme ====================================================== This year, we particularly welcome submissions that address applications of Web rule technologies for business and information systems. We invite you to share your ideas, results, and experiences: as an industry practitioner, rule system provider, technical expert, developer, rule user or researcher, exploring foundations, developing systems and applications, or using rule-based systems. We invite high-quality submissions related to (but not limited to) one or more of the following topics: Track Topics ------------------------------------------------------------------------------ Rules, Semantic Technology, and Cross-Industry Standards Rule Transformation and Extraction Rules and Uncertainty Rules and Norms Rules and Inferencing Rule-based Event Processing and Reaction Rules Rule-Based Distributed/Multi-Agent Systems We also welcome submissions on miscellaneous rule topics, such as - Rules and ontologies - Execution models, rule engines, and environments - Graphical processing, modeling and rendering of rules Case studies, experience reports, and industrial problem statements are particularly encouraged. RuleML-2010 Challenge ====================================================== The RuleML-2010 Challenge is one of the highlights of RuleML-2010. Rules are used in interesting and practically relevant ways to, e.g., derive useful information, transform knowledge, provide decision support, and provide automated rule-based monitoring, enforcement, validation or management of the behavioral logic of an application. The Challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Conference Language ====================================================== The official language of the conference will be English. Submission ====================================================== Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show/use case demonstrations of effective and practical rule-based technologies, or applications deployed in distributed environments. RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper Award -------------------------------------------------------------------------------- Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2010 as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers before May 25, 2010 and to upload their complete papers by June 1, 2010. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The best paper from all submissions will be determined by the PC and a Best Paper Award will be presented at the Symposium. All submissions must be made electronically. A selection of revised papers will be resubmitted to a special issue of a journal. RuleML-2010 Challenge Submission Guidelines -------------------------------------------------------------------------------- To be announced Review Process ====================================================== The submitted papers will pass the blind review process. At least three members of the Program Committee will review each submission. Important Dates: ====================================================== Abstract submission deadline: May 25, 2010 Paper Submission deadline: June 1, 2010 Notification of acceptance: July 7, 2010 Camera ready due: July 28, 2010 Symposium dates: October 21-23, 2010 Conference Venue ====================================================== RuleML-2010 will take place at the Hilton Alexandria Mark Center, which is located 5 miles southwest of Washington, DC. The symposium is co-located with the 13th Business Rules Forum. Hilton Alexandria Mark Center 5000 Seminary Road, Alexandria, Virginia, United States 22311 Internet: http://www1.hilton.com/en_US/hi/hotel/DCAAHHF-Hilton-Alexandria-Mark-Center-Virginia/index.do Program Committee ====================================================== General Chairs -------------------- Mike Dean, Raytheon BBN Technologies, USA Said Tabet, RuleML Initiative, USA Program Chairs -------------------- John Hall, Model Systems, UK Antonino Rotolo, University of Bologna, Italy Liaison Chair -------------------- Mark Proctor, Red Hat, UK Track Chairs -------------------- Rules, Semantic Technology, and Cross-Industry Standards Tracy Bost, Valocity, USA Robert Golan, DBMind, USA Rule Transformation and Extraction Mark Linehan, IBM, USA Rules and Uncertainty Davide Sottara, University Bologna, Italy Rules and Norms Thomas Gordon, Fraunhofer FOKUS, Germany Guido Governatori, NICTA, Australia Rules and Inferencing Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece Rule-based Event Processing and Reaction Rules Alex Kozlenkov, Betfair Ltd., UK Adrian Paschke, Free Univ. Berlin, Germany Rule-Based Distributed/Multi-Agent Systems Nick Bassiliades, Aristotle University of Thessaloniki, Greece Costin Badica, University of Craiova, Romania RuleML-2010 Challenge Chairs ------------------------------ Enrico Francesconi, ITTIG-CNR, Italy Monica Palmirani, University of Bologna, Italy Fabio Vitali, University of Bologna, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100318/b2e334da/attachment-0001.html From iclp10dc at gmail.com Fri Mar 19 15:12:19 2010 From: iclp10dc at gmail.com (iclp10dc at gmail.com) Date: Fri, 19 Mar 2010 09:12:19 -0500 (CDT) Subject: [ecoop-info] ICLP-10 Doctoral Consortium Call For Papers Message-ID: <201003191412.o2JECJTr001491@krlab.cs.ttu.edu> =============================================================================== CALL FOR PAPERS ICLP-DC 2010 Sixth ICLP Doctoral Student Consortium http://www.kodak.com/go/iclp10dc Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 =============================================================================== Introduction ------------ The ICLP Doctoral Consortium (DC) is the sixth doctoral consortium to be offered as part of the 26th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, and in Pasadena (USA) on July 15th, 2009. The DC will take place at the end of ICLP 2010 in Edinburgh (Scotland, U.K). The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field. General Information ------------------- This year the Doctoral Consortium will be held at the end if the regular activities of the ICLP 2010 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. * To provide students with relevant information about important issues for doctoral candidates and future academics. * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming Submissions by students who have presented their work at a previous ICLP Doctoral Consortiums are allowed, but should occur only if there are substantial changes or improvements to the student's work. The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on July 21, 2010; the ICLP conference will run from July 16th to July 19th, 2010. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2010 conference proceedings. The best paper and presentation from the Doctoral Consortium will be given the opportunity to present in special session of the main ICLP conference. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. Important Dates --------------- Submission Deadline: April 11, 2010 Acceptance Notification: April 21, 2010 Last Date to Update Research Summary: April 28, 2010 (tentative) Doctoral Consortium: July 21, 2010 ICLP 2010 Conference: July 16-19, 2010 Submission Process ------------------ Application Process: To apply for participation to the ICLP 2010 Doctoral Consortium, prepare a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). The material should be submitted electronically, in PDF format. Review Criteria: The ICLP Doctoral Consortium review committee will select participants based on their anticipated contribution to the Consortium objectives. Participants typically have settled on their thesis directions and had their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of the submission packet, relevance of their research area w.r.t. the focus of the ICLP Conference, stage of research, advisor's letter, and evidence of promise towards a successful research and academic career, such as published papers or technical reports. Award: The ICLP Doctoral Consortium Discussants will review the submissions to select the ones to be presented. The organizing committee is actively seeking support to offer scholarship packages to accepted participants. We will update the web site as soon as we have more information regarding this. Submission Package ------------------ Send the submission package by e-mail to iclp10dc at gmail.com. Include the three documents as separate pdf files in attachment. All submissions must be in English. Submissions will not be considered if they arrive after the deadline. Your submission should not contain any proprietary or confidential material. Detailed instructions for each of the documents follow below. Cover Page: Please include the following information in the cover page: 1. Statement of interest in participating in the Doctoral Consortium 2. Full name and School and Department in which you are earning your doctorate degree 3. Contact information - address, telephone number, and email address 4. Title of your research and keywords pertinent to your research 5. The URL of your web page (if any) 6. Name of your supervising professor 7. Current stage in your program of study, e.g. (Master/PhD student, start date) Research Summary: Prepare your research summary as a PDF document, using either the same format style as for the regular submissions to ICLP 2010, or the Springer Verlag LNCS Conference Publication Format (http://www.springer.com/computer+science/lncs?SGWID=0-164-6-793341-0). Keep the length of your research summary to no more than two pages, including figures, tables, and the bibliography. Make sure to include your complete name, address and affiliation. The body of you research summary should provide a clear overview of the research, its potential impact, and its current status. You are encouraged to include the following sections: 1. Introduction and problem description 2. Background and overview of the existing literature 3. Goal of the research 4. Current status of the research 5. Preliminary results accomplished (if any) 6. Open issues and expected achievements 7. Bibliographical references Letter of Recommendation: Include a letter of recommendation written by your Graduate Advisor or Thesis Advisor. Please, invite your advisor to include an assessment of the current status of your thesis research and an indication of the expected deadline for thesis submission. In addition, your advisor should indicate what she/he hopes you would gain from participation in the Doctoral Consortium. Chairs ------ Marcello Balduccini Intelligent Systems Department Kodak Research Labs http://marcy.cjb.net Alessandro Dal Palu' Dipartimento di Matematica Universita' degli Studi di Parma http://www2.unipr.it/~dalpalu/ From Matthieu.Kaczmarek at loria.fr Mon Mar 22 08:00:12 2010 From: Matthieu.Kaczmarek at loria.fr (Matthieu.Kaczmarek at loria.fr) Date: Mon, 22 Mar 2010 08:00:12 +0100 Subject: [ecoop-info] [CFP] Malware 2010 Call for Papers Message-ID: <20100322080012.17031su5xyb2tpq4@webmail.loria.fr> Apologies for multiple postings or unwanted mailing ---------------------------------------------------------------------- *** Malware 2010 Call for Papers *** http://malware10.loria.fr/ ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- Submission of papers: June 30, 2010 23:59:59 EST Notification of Acceptance: August 27th, 2010, 23:59:59 EST Camera ready paper: September 10th, 2010: 23:59:59 EST Workshop dates: October 20-21, 2010 ---------------------------------------------------------------------- Overview ---------------------------------------------------------------------- The 5th IEEE International Conference on Malicious and Unwanted Software (Malware 2010)?will be held in Nancy, France, Oct. 20-21, 2010. The conference is designed to bring together experts from industry, academia, and government to present and discuss, in an open environment, the latest advances and discoveries in the field of malicious and unwanted software. Techniques, economics and legal issues surrounding the topic of Malware, and the methods to detect and control them will be discussed. This year's conference will pay particular attention to (and will also be extensively discussed in a panel session) the pressing topic of "Malware and Cloud Computing". As low-cost netbooks become popular, Google's Chrome OS enters the mainstream, and social networks (Facebook, YouTube, Twitter, LinkedIn, and so forth) become ubiquitous, the security dangers associated with the new computing paradigm increase exponentially. In effect, "Cloud Computing", Multi-tenant, Single Schema, Single Server Platforms (C2S3P) increase vulnerabilities by providing a single point of failure and attack for organized criminal networks. Critical/sensitive/private information is at risk, and very much like previous technology adoption trends, such as wireless networks, the dash for success is trumping the need for security. Thus, the organizers of Malware 2010 solicit original written contributions addressing these issues and research questions.? Manuscripts focusing on the security properties of Cloud Computing, the risks associated with the deployment of such networks, and the analysis of real incidents where a breach has occurred will be particularly welcomed. ---------------------------------------------------------------------- Submissions are solicited in, but not limited to, the following areas ---------------------------------------------------------------------- Theoretical aspects and new directions on Malware related research Analysis and measurements of real malware incidents Worms, viruses and other propagating Malware Spyware, keystroke loggers, information theft Malware Honeypots and other sample collection methodologies Botnet attacks, detection/tracking and defense Malware economics and black market studies Code reverse engineering tools and practices Malware performance, analysis and capture tools Anti-spam and anti-phishing techniques and practices Legal aspects of unwanted software use Malware and its impact in social networking and cloud computing Rootkit and virtualization techniques Malware in wireless mobile devices ---------------------------------------------------------------------- Publication ---------------------------------------------------------------------- The proceedings of the conference will be published in printed, and DVD, form and will be included in the IEEE Xplore digital library.? In addition, the Conference's Technical Program Committee will select one manuscript as a recipient of the "Best Paper Award". The Best Paper Award author, together with the authors of a few selected manuscripts from the conference, will be invited to submit an extended version to a special issue of the Journal. ---------------------------------------------------------------------- Paper Submission Information ---------------------------------------------------------------------- Papers should be submitted through EDAS system at: http://www.edas.info/ Submitted manuscripts must be 10-point font size, and should not exceed 8 single-spaced pages in length, including the abstract, figures, and references. Authors whose manuscript exceeds the 8 page limit may be allowed to include two additional pages for an extra charge. However, under no circumstances shall a submitted manuscript exceed the 10 page limit. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. ---------------------------------------------------------------------- Additional Information ---------------------------------------------------------------------- For more information on Malware 2010 or if you are interested in contributing to the organization of the conference please contact Dr. Fernando C. Colon Osorio, General Program Chair, Malware 2010 at fcco at brandeis.edu or visit our web site www.malware2010.org. For information concerning submission of an original manuscript to the conference, please contact the Technical Program Committee Chairs (TPC). ---------------------------------------------------------------------- Chairs of Malware 2010 ---------------------------------------------------------------------- Jean-Yves Marion, Nancy University, France, TPC Noam Rathaus, Beyond Security, USA, TPC Cliff Zhou, University Central Florida, USA, TPC ---------------------------------------------------------------------- PC members ---------------------------------------------------------------------- Anthony Arrott, Trends Micro, USA Pierre-Marc Bureau, ESET, Canada Mila Dalla Preda, Verona University, Italy Saumya Debray, Arizona University, USA Thomas Engel, University of Luxembourg, Luxembourg Jos? M. Fernandez, Ecole Polytechnique de Montreal, Canada Olivier Festor, INRIA Nancy Grand-Est, France Brent Kang, North Carolina University, USA Felix Leder, Bonn University, Germany Bo Olsen, Kaspersky, USA Jose Nazario, Arbor networks, USA Phil Porras, SRI International, USA Fred Raynal, Sogeti, France Andrew Walenstein, Lafayette University, USA Jeff Williams, Microsoft, USA Yang Xiang, Deakin University, Australia ---------------------------------------------------------------------- Publicity chair: Daniel Reynaud, Nancy-University Loria, France Local chair: Matthieu Kaczmarek, INRIA Nancy Grand-Est, France From nurcan at univ-paris1.fr Sun Mar 21 15:52:12 2010 From: nurcan at univ-paris1.fr (Selmin Nurcan) Date: Sun, 21 Mar 2010 15:52:12 +0100 Subject: [ecoop-info] CfP 2d Workshop on Service oriented EA for Enterprise Engineering (EDOC'2010) Message-ID: <4.2.0.58.20100321155016.01516730@asterix.univ-paris1.fr> Dear Colleague, I will be grateful to you for advertising the Second Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE'2010), for submitting your work and inviting your colleagues and/or research students to submit their work. SoEA4EE'2010 is organised in conjunction with the 14th International Enterprise Computing Conference (EDOC) on October 25th, 2010, Vit?ria, Brasil. Proceedings of EDOC 2010 workshops will be published after the conference as ePub by the IEEE Computer Society Conference Publishing Services (CPS) and included in the IEEE Computer Society Digital Library (CSDL) and the IEEE Xplore. High-quality papers can be selected from the workshop, and (after extension) will be published as a special issue in the following international journal: International Journal of Information Systems in the Service Sector (IJISSS) Official publication of the Information Resources Management Association - www.igi-global.com/ijisss Listed in Cabell's Directory of Refereed Publications (AACSB Standard) and indexed in many professional databases. The goal of the SoEA4EE'2010 workshop is to develop concepts and methods to assist the engineering and the management of service-oriented enterprise architectures and the software systems supporting them. Especially three themes of research shall be pursued: 1. Alignment of the enterprise goals and strategies with the service-oriented enterprise architecture 2. Design of the service-oriented enterprise architecture 3. Mapping of service-oriented enterprise architecture to enterprise resources The Call for Papers can be downloaded from the SoEA4EE'2010 Web site : http://crinfo.univ-paris1.fr/users/nurcan/SoEA4EE_2010/ Best regards, Selmin Nurcan SoEA4EE'2010 co-organiser **************************************************************************** ******************* Call for Papers Second International Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE) in conjunction with EDOC 2010 October 25th, 2010, Vit?ria, Brazil Organizers: Selmin Nurcan ? University Paris 1 Panth?on Sorbonne, France Rainer Schmidt ? University of Applied Sciences, Aalen, Germany Papers submission deadline: Avril 17, 2010 Detailed Call for Papers is below. It is also available at http://crinfo.univ-paris1.fr/users/nurcan/SoEA4EE_2010/SoEA4EE_2010_flyer.pdf **************************************************************************** ******************* -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------------------8<------------------- SoEA4EE 2010 CALL FOR PAPERS (http://crinfo.univ-paris1.fr/users/nurcan/SoEA4EE_2010/SoEA4EE_2010_flyer.pdf) Second International Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE) in conjunction with EDOC 2010 October 25th, 2010, Vit?ria, Brazil http://edoc2010.inf.ufes.br/ Papers submission deadline: April 17, 2010 Organisers: Selmin Nurcan ? University Paris 1 Panth?on Sorbonne, France Rainer Schmidt ? University of Applied Sciences, Aalen, Germany SCOPE: There is a more and more common understanding, that not the ownership of information technology resources but their management is the foundation for sustainable competitive advantage. According to Ross et al., smart companies define how they (will) do business (using an operating model) and design the processes and infrastructure critical to their current and future operations (enterprise architecture), which guide the evolution of their foundation for execution. More and more companies would like their existing technology to enable their future capabilities. This capability to exploit the foundation, embedding new initiatives to make it stronger and using it as competitive weapon to develop new business opportunities, is estimated as 5% of companies. Enterprise engineering is the application of engineering principles to the design, restructuring and operation of enterprises and their cooperation with other enterprises. It allows deriving the Enterprise Architecture from the enterprise goals and strategy and aligning it with the enterprise resources. Enterprise architecture aims (i) to understand the interactions and all kind of articulations between business and information technology, (ii) to define how to align business components and IT components, as well as business strategy and IT strategy, and more particularly (iii) to develop and support a common understanding and sharing of those purposes of interest. Enterprise architecture is used to map the enterprise goal and strategy to the enterprise?s resources (actors, assets, IT supports) and to take into account the evolution of this mapping. It also provides documentation on the assignment of enterprise resources to the enterprise goals and strategy. To this end, advantageous patterns (best practices) can be reused and alternative design solutions can be compared. Furthermore, enterprise architecture may be checked for compliance with laws, regulatory rules etc. Finally, enterprise architecture facilitates the measurement the performance and efficiency of the resources used. Service is the most important paradigm for the organisation of enterprises and the cooperation with other enterprises in order to achieve competitive advantage. Therefore it does not surprise, that leading enterprises in the U.S. derive more than 50% of their revenues from services. Through services, enterprises stabilize their revenues. This applies not only to pure services such as transportation but also for material products that are augmented by services such as maintenance, consulting and training. By exchanging services within partnerships, enterprises are able to combine their competences and thus provide solutions to the customer not possible for the single enterprise. Moreover meta-services (services acting upon other services) highly reduce the administrative overhead of enterprise services by encapsulating administrative functionalities as a service. Furthermore, due to the technical advancements, e.g. Software as a Service, Cloud Computing and Service-Oriented-Architectures for information systems (SOA), enterprises are able to apply service-orientation to new areas. Service-oriented enterprise engineering further develops the enterprise engineering approach selecting service as governing paradigm. The enterprise goals and strategies are mapped to a service-oriented enterprise architecture. Service-oriented enterprise architecture differentiates four layers of services. Thus, its scope is much broader than the scope of the service-oriented architecture (SOA) and also includes services not accessible through software such as business and infrastructure services. Services of different layers may be interconnected in service (value) nets to provide higher level services. 1. Business services are services, which directly support business processes. Business processes can also be developed dynamically (on-the-fly) using business services which are available in a repository for a given business domain. An example is call-centre services provided by an external service provider. 2. Software services exist as two types: (i) human-oriented applications, which are provided as Software as a Service, (ii) application services which are part of so-called Service-Oriented-Architectures that are a popular paradigm for creating enterprise software. 3. Platform Services provide support of the development of applications. They provide services for the execution of applications, middleware stacks, web servers etc. 4. Infrastructure services are more hardware-flavoured services, which are provided using computers. They may have a human addressee but contain many infrastructure services such as providing computing power, storage etc. They are an important topic in management and practice collections such as ITILV3 or standards such as ISO/IEC 20000 have gained a high popularity. GOALS: The goal of the workshop is to develop concepts and methods to assist the engineering and the management of service-oriented enterprise architectures and the software systems supporting them. Especially three themes of research shall be pursued: 1. Alignment of the enterprise goals and strategies with the service-oriented enterprise architecture 2. Design of the service-oriented enterprise architecture 3. Mapping of service-oriented enterprise architecture to enterprise resources TOPICS OF DISCUSSION: During the workshop we will discuss the following topics: 1. Alignment of the enterprise goals and strategy with the service-oriented enterprise architecture - Which interdependencies exist between services and business strategy? - Which concepts and methods are necessary to align services with the business strategy? - Which new potentials to reengineer business processes are created by services? - How are non-functional requirements derived from enterprise goals and strategy? - How are services aligned with non-functional requirements? - How are services aligned with compliance requirements? - Are the compliance and governance requirements enforced using service-oriented enterprise architectures? 2. Design of service-oriented enterprise architecture - How are business, software, platform and infrastructure services defined? - How are business services assigned to business processes? - How are business services assigned to non-functional requirements? - How are service (value) nets -consisting of business, software, platform and infrastructure services- created? - How does service-oriented enterprise architecture, interrelate with cloud computing? - How do meta-services differentiate for business, software, platform and infrastructure services? - How are appropriate meta-services designed? - Which phases do the lifecycle of business, software, platform and infrastructure services contain? - How can the fulfilment of non-functional requirements be monitored? - Which benchmarks and key performance indicators should be applied to services? - Which approaches exist for the continual improvement of services? 3. Mapping of service-oriented enterprise architecture to enterprise resources - Which resources are relevant for Service-oriented Enterprise Architecture? - How are services mapped to enterprise resources? - Which approaches exist to map services to resources? - Which information system architectures are adequate for services? - How can non-functional requirements be mapped to capacity planning of resources? SUBMISSION: Full papers (8-10 pages in the IEEE-CS format) describing mature results are sought. In addition, short papers (4 pages in the IEEE-CS format) may be submitted to facilitate discussion of recent research results and ongoing projects. The paper selection will be based upon the relevance of a paper to the main topics, as well as upon its quality and potential to generate relevant discussion. All contributions will be peer reviewed based on the complete version, being full or short. All papers published in the EDOC 2010 workshop proceedings must be in the IEEE Computer Society format (http://www2.computer.org/portal/web/cscps/formatting). It is strongly recommended that all papers are already in this format when they are first submitted to workshops. This gives precise picture of the paper length and avoids rework if the paper is accepted. Please submit your paper to Selmin.Nurcan at univ-paris1.fr Proceedings of EDOC 2010 workshops will be published after the conference as ePub by the IEEE Computer Society Conference Publishing Services (CPS) and included in the IEEE Computer Society Digital Library (CSDL) and the IEEE Xplore. There will be one electronic volume containing proceedings from all workshops. At least one author of each accepted workshop paper will have to register for the whole EDOC 2010 conference and attend the workshop to present the paper. Analogously to previous years, there will be no workshop-only registration at EDOC 2010. If a paper is not presented in the workshop, it will be removed from the workshop proceedings published in the IEEE Xplore digital library. EXPECTED RESULTS: All papers will be published in the workshop wiki (www.soea4ee.org) before the workshop, so that everybody can learn about the problems that are important for other participants. The workshop will consist of long and short paper presentations, brainstorming sessions and discussions. A workshop report will be created collaboratively using the workshop wiki. IMPORTANT DATES: Paper submission: April 17, 2010 Author notification: June 4, 2010 Camera-ready due: June 16, 2009 PROGRAM COMMITTEE : Jo?o Paulo A. Almeida - Federal University of Esp?rito Santo, Brazil Judith Barrios - Universidad de Los Andes, Venezuela Claudio Bartolini - Palo Alto HP Labs, USA Khalid Benali - Loria, Nancy, France Ilia Bider - IbisSoft, Sweden Remco Dijkman - Eindhoven University of Technology, The Netherlands Joao Falcao e Cunha, University of Porto, Portugal Chiara Francalanci - Politechnico Milano, Italy Xavier Franch - Universitat Politecnica de Catalunya Francois Habryn - KSRI, University Karlsruhe, Germany Sung-Kook Han - Won Kwang University, South Korea Ron Kenett - KPA Ltd., Israel Peter Kueng - Cr?dit Suisse, Switzerland Lin Liu - Tsinghua University, Beijing, China Hui Ma - Victoria University of Wellington, New Zealand Selmin Nurcan - Universit? Paris 1 Panth?on Sorbonne, France Liam O'Brien - NICTA, Canberra, Australia Joan A. Pastor - Universitat Oberta de Catalunya & UPC, Spain Herv? Pingaud - Ecole des Mines, Albi, France Gil Regev - EPFL & Itecor, Switzerland Sebastian Richly - University Dresden, Germany Colette Rolland - Universit? Paris 1 Panth?on Sorbonne, France Shazia Sadiq - University of Queensland, Australia Rainer Schmidt - University of Applied Sciences, Aalen, Germany -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------------------8<------------------- ---------------------------------------------------------------- Selmin NURCAN Ma?tre de Conf?rences / Associate Professor ---------------------------------------------------------------- Submit a paper to the Second International Workshop on Service oriented Architecture Enterprise for Enterprise Engineering (SoEA4EE'2010) in conjunction with EDOC'2010 http://crinfo.univ-paris1.fr/users/nurcan/SoEA4EE_2010/ Deadline: April 17, 2010 Published in IEEE Computer Society Proceedings ---------------------------------------------------------------- Submit a paper to 3?me Atelier Ing?nierie d'Entreprise et de Syst?mes d'Information (IESI'2010) en association avec INFORSID'2010 http://crinfo.univ-paris1.fr/users/nurcan/IESI2010/ Date limite de soumission: 2 avril 2010 Les meilleurs papiers seront s?lectionn?s pour soumission au 2?me num?ro sp?cial IESI de la revue ISI ---------------------------------------------------------------- Don't miss the 4th International Conference on Research Challenges in Information Science (RCIS'2010) http://www.farcampus.com/rcis/index.php ---------------------------------------------------------------- Don't miss the 11th Workshop on Business Process Modeling, Development and Support (BPMDS'2010) in conjunction with CAISE'2010 http://lams.epfl.ch/conference/bpmds10 Springer LNBIP proceedings http://www.springer.com/business/business+information+systems/book/978-3-642 -01861-9 ---------------------------------------------------------------- Don't miss the 22nd International Conference on Advanced Information Systems Engineering (CAISE'2010) http://www.caise2010.rnu.tn ---------------------------------------------------------------- Submit a paper to the Third International Workshop on Business Process Management & Social Software (BPMS2'2010) in conjunction with BPM'2010 http://crinfo.univ-paris1.fr/users/nurcan/BPMS2_2010/ Deadline: May 21, 2010 Published by Springer in the LNBIP (Lecture Notes in Business Information Processing) series ---------------------------------------------------------------- The University of Paris 1 Panth?on Sorbonne jointly with the Sorbonne Graduate Business School (IAE) has been running for the last 12 years, a highly successful 2-year Masters programme that is now open to Foreign students http://www.iksem.org ---------------------------------------------------------------- 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://web.satd.uma.es/pipermail/ecoop-info/attachments/20100321/6c249579/attachment-0001.html From romain.rouvoy at lifl.fr Thu Mar 18 16:51:38 2010 From: romain.rouvoy at lifl.fr (Romain Rouvoy) Date: Thu, 18 Mar 2010 16:51:38 +0100 Subject: [ecoop-info] [CFP] 3rd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services Message-ID: 3rd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS 2010) http://campus10.ifi.uio.no June 2010 Amsterdam, The Netherlands OVERVIEW. There is a huge market potential for mobile applications in Europe today. Most people already carry a mobile device of some sort wherever they go, and an increasingly diverse set of devices (PDAs, smart phones, GPS, etc.) are becoming widely available. Recently, service-orientations (e.g., OSGi, Spring, SCA) have evolved to address these highly dynamic environments. However, it is still technically difficult, using existing method and tool supports, to create such services-oriented applications. For example, the very large range of devices, types of infrastructure, ways in which it can change, situations in which users can find themselves, and the functions they want, introduce great complexity and pose considerable technical challenges. To overcome these difficulties, and promote the development and widespread deployment of innovative mobile applications, more and more projects are addressing the development of context-aware adaptation mechanisms for leveraging th! e development of mobile applications. These projects aims at providing simple but powerful integrated approaches to support the development of applications interacting in pervasive and ubiquitous environments. Thus, the CAMPUS workshop will focus on the promising approaches in the domain of context-aware adaptation mechanisms supporting the dynamic evolution of the execution context (e.g., network/device/service failures). SPECIAL THEMES ============== This year, the workshop intends to encourage submissions related adaptation issues addressed by two emerging themes in the service computing community: - "Sensor as a Service" relates to the integration of physical sensors into the service-oriented architectures in order to bridge the physical and virtual worlds and to support various kinds of adaptation styles and mechanisms. - "Ambient Social Services" relates to the integration of social networking principles at the core of service-oriented architectures in order to support adaptive IT infrastructure based on social connections. RESEARCH TOPICS =============== The workshop will address an extensive set of topics related to adaptation mechanisms for context-aware services. The following contributions will be particularly welcome: Context-awareness mechanisms for distributed systems: - How to capture the relevant contextual properties of a distributed system? - How to support the distribution of the context information in an efficient manner? - How to enforce the security and privacy issues for context data? - How to describe ontologies for context management? - How to map context-awareness to situation-awareness using context reasoning? Adaptation mechanisms for distributed systems: - How to represent the adaptation knowledge of a distributed system? - How to reason about pieces of software that need to be adapted in a distributed manner? - How to reconfigure a distributed system with respect to the dynamic nature of the environment? - How to deal with anticipated versus unanticipated adaptation? - How to integrate human/computer interaction issues in adaptive systems? - How to ensure robustness and transactional adaptations? Innovative applications of context-awareness and adaptation mechanisms: - Experiences in developing context-aware and adaptive applications and services, - Testing and validation of adaptive applications and services, - Development methodology for adaptive applications and services, - Tool support for context-aware adaptation mechanisms and adaptive services, - Design of platforms and infrastructures supporting context-aware adaptation mechanisms, - New domains of applications for context-aware and adaptive applications and services. IMPORTANT DATES =============== PAPER SUBMISSION: April 02, 2010 Paper notification: May 09, 2010 Camera ready: May 23, 2010 Workshop: June 10, 2010 WORKSHOP FORMAT =============== The workshop will be organized as a one-day event, consisting of a series of sessions, each devoted to the presentation of papers belonging to a common domain. Each session will end with a mini-panel between the presenters, led by the session chair or a pre-selected devil?s advocate. This format has been found to lead to lively and productive discussions. The workshop will include a special session for the presentation of posters and demos of ongoing research efforts and software prototypes. The workshop will conclude with a panel, moderated by one of the organizers, to discuss open issues and future trends in the field, with the aim of wrapping up the overall contributions of the event. SUBMISSION & PUBLICATION ======================== Selection of workshop participants will be based on the submission of a paper, poster or demo. Moreover, other participants may be invited by the organizing committee. Thus, the CAMPUS program committee seeks: - Technical papers, describing concrete results achieved, in no more than 12 pages (EASST style), - Position papers, describing on-going work and interim results, in no more than 6 pages (EASST style). Papers will be peer-reviewed, and selected based on their originality, technical strength and topical relevance. All accepted papers will be published in a special issue of Electronic Communications of the EASST. Paper submission must be electronically as postscript or PDF (via the Submission website). ORGANISATION COMMITTEE ====================== Sonia Ben Mokhtar, CNRS, France (Program co-chair) Romain Rouvoy, University of Lille 1, France & University of Oslo, Norway (Program co-chair) Michael Wagner, University of Kassel, Germany (Publication chair) STEERING COMMITTEE ================== Frank Eliassen, University of Oslo, Norway Kurt Geihs, University of Kassel, Germany Svein Hallsteinsen, SINTEF ICT, Norway Geir Horn, SINTEF ICT, Norway Val?rie Issarny, INRIA, France PROGRAM COMMITTEE ================= Olivier Barais, University de Rennes 1, France Benoit Baudry, INRIA, France Sonia Ben Mokhtar, CNRS, France Yolande Berbers, K.U.Leuven, Belgium Gordon Blair, Lancaster University, UK Licia Capra, University College of London, UK Franck Chauvel, Peking University, China Ruzanna Chitchyan, Lancaster University, UK Denis Conan, Institut Telecom, Telecom SudParis, France Geoff Coulson, Lancaster University, UK Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Schahram Dustdar, Vienna University of Technology, Austria Frank Eliassen, University of Oslo, Norway Kurt Geihs, University of Kassel, Germany Geir Horn, SINTEF ICT, Norway Joseph Loyall, BBN Technologies, Massachusetts Ilaria Matteucci, Istituto di Informatica e Telematica, Italy Ren? Meier, Trinty College Dublin, Ireland Nearchos Paspallis, University of Cyprus, Cyprus Pascal Poizat, University of Evry, France Hongyang Qu, Oxford University, UK Romain Rouvoy, University of Lille 1, France Rachid Saadi, INRIA, France Antonino Sabetta, ISTY-CNR, Italy Ulrich Scholz, European Media Laboratory GmbH, Germany Lionel Seinturier, University of Lille 1, France Sotirios Terzis, University of Strathclyde, UK Massimo Tivoli, University of L'Aquila, Italy Roman Vitenberg, University of Oslo, Norway Michael Wagner, University of Kassel, Germany From sofia.azevedo at dsi.uminho.pt Fri Mar 19 13:37:25 2010 From: sofia.azevedo at dsi.uminho.pt (Sofia Azevedo) Date: Fri, 19 Mar 2010 12:37:25 +0000 Subject: [ecoop-info] CfP: 7th Int. Conf. on the Quality of Information and Communications Technology (QUATIC 2010) - Thematic Track: Quality in Model Driven Engineering In-Reply-To: References: Message-ID: 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010) Oporto, Portugal, 29 September 2010 - 02 October 2010 http://paginas.fe.up.pt/~quatic2010 Thematic Track: Quality in Model Driven Engineering (http://www.fe.up.pt/quatic2010/quality_model_driven_engineering) Call for Papers Model-driven engineering (MDE) refers to a range of approaches that models play an indispensable role in software development. Modeling promotes higher level of abstraction, therefore reducing complexity of software development and promoting communication among the several stakeholders in the development process (e.g. product managers, designers, programmers). MDE initiatives, like OMG?s Model-Driven Architecture (MDA), make claims of increased quality and productivity by separating business and application logic from underlying platform technology, transforming models to other models and automating code generation (ranging from system skeletons to complete, deployable products). However, while quality assurance is a well-known topic in ?traditional? Software Engineering, less is known on how to assess quality across the MDE lifecycle (encompassing new activities such as metamodel engineering or transformations specification), as well as on the effective improvements obtained by applying MDE itself, face to not using it at all. We seek novel contributions ranging from conceptual frameworks to case studies on how to leverage ICT systems quality with MDE techniques, as well as how to induce quality assurance in the MDE lifecycle itself. Suggested topics of interest include, but are not restricted to: ? Quality models in the MDE context ? Quality assurance in the MDE development flow ? Evaluating the quality of models and metamodels ? Models? traceability throughout the lifecycle ? Assessing quality in model transformations ? Measuring the improvement achieved with an MDE approach, specially regarding quality ? Quality in the context of model-driven service oriented systems ? Case studies and lessons learned in applying MDE in industry ? Empirical studies on the quality of MDE processes Paper Submission Authors should submit to http://www.easychair.org/conferences/?conf=quatic2010 a PDF version of their paper. Papers must be in IEEE format and not exceed 6 pages, including figures, references, and appendices. Submissions must be original and will be reviewed by the Track Program Committee. Accepted papers will be published in the electronic IEEE proceedings of QUATIC?10, subject to one of the authors registering for the conference. The authors of the 3 best papers of this thematic track will be invited to submit extended versions to the main track of the conference. More info on QUATIC?2010 and its tracks can be found at http://www.fe.up.pt/quatic2010. Important dates: Abstract submission: 1 April 2010 Paper submissions: 11 April 2010 Authors? notification: 5 May 2010 Camera-ready: 6 June 2010 Track Committee: Chair: Parastoo Mohagheghi (SINTEF) Local Co-Organizing Chair: Sofia Azevedo (Univ. Minho) Program Committee: Michel Chaudron, Leiden University, The Netherlands Tony Clark, Middlesex University, United Kingdom Peter Fritzson, Link?ping University, Sweden Marcela Fabiana Genero Bocco, University of Castilla-La Mancha, Spain Wasif Gilani, SAP Research CEC Belfast, United Kingdom Ludwik Kuzniarz, Blekinge Institute of Technology, Sweden Neil Loughran, SINTEF, Norway Richard Paige, University of York, United Kingdom Miroslaw Staron, University of Gothenburg, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100319/d4b0d922/attachment-0001.html From pascal.hitzler at wright.edu Fri Mar 19 18:32:06 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 19 Mar 2010 13:32:06 -0400 Subject: [ecoop-info] CfP: Web Reasoning and Rule Systems 2010 Message-ID: <4BA3B516.1060604@wright.edu> CALL FOR PAPERS 4th International Conference on Web Reasoning and Rule Systems (RR 2010) Bressanone/Brixen, Italy September 22-24, 2010 http://www.rr-conference.org/RR2010 Co-located with the Italian Workshop on Semantic Web Applications and Perspectives (SWAP) 2010. The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2010 builds on the success of the first three International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which received enthusiastic support from the Web Reasoning community. In 2010, 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. Suggested topics include the following (but are not limited to): * Representation techniques for Web-based knowledge * 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 * Foundations and applications related to relevant standardization bodies such as the W3C Rule Interchange Format (RIF), Web Ontology Language (OWL2) and SPARQL working groups, or the W3C Uncertainty Reasoning for the WWW Incubator Group, etc. * 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 * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers PUBLICATION The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series and will be available at the conference. After the conference, there will be a special issue of the (new IOS Press) journal "Semantic Web - Interoperability, Usability, Applicability" with selected papers from the conference (see http://www.semantic-web-journal.net). SUBMISSION OF PAPERS Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2010). The length should not exceed 15 pages for full papers, 9 pages for short papers, 4 pages for posters, and 6 pages for system descriptions (for system demos at the conference). The stated lengths include title, abstract, and references. Short papers, posters, and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. Original research and application papers are welcome; submissions will especially be judged for originality and scientific quality. All accepted papers, posters, and system descriptions will be included in the proceedings. IMPORTANT DATES Abstract submission deadline: May 15, 2010 Paper/poster/demo submission deadline: May 22, 2010 Paper/poster/demo accept/reject decisions: June 24, 2010 Camera-ready due: July 15, 2010 Last day for early registration fee: July 15, 2010 CONFIRMED INVITED SPEAKERS Georg Gottlob (Oxford University, UK) GENERAL CHAIR Jos? J?lio Alferes (Universidade Nova de Lisboa, Portugal) PROGRAM CHAIRS Pascal Hitzler (Wright State University, USA) Thomas Lukasiewicz (Oxford University, UK) LOCAL ARRANGEMENTS Diego Calvanese (Free University of Bozen-Bolzano, Italy) Mariano Rodr?guez-Muro (Free University of Bozen-Bolzano, Italy) SPONSORSHIP CHAIR Krzysztof Janowicz (Pennsylvania State University, USA) PROGRAM COMMITTEE Grigoris Antoniou (University of Crete, Greece) Marcelo Arenas (PUC Chile, Chile) Jie Bao (Rensselaer Polytechnic Institute, USA) Chitta Baral (Arizona State University, USA) Leopoldo Bertossi (Carleton University, Canada) Andrea Cal? (Oxford University, UK) Vinay Chaudri (Stanford Research Institute, USA) Kendall Clark (Clark & Parsia, USA) Claudia d'Amato (University of Bari, Italy) Carlos Damasio (Universidade Nova de Lisboa, Portugal) Wlodek Drabent (IPI PAN Warszawa, Poland) Sergio Flesca (University of Calabria, Italy) Christine Golbreich (University of Versailles Saint-Quentin, France) Claudio Gutierrez (University of Chile, Chile) Stijn Heymans (TU Vienna, Austria) Rinke Hoekstra (VU Amsterdam, The Netherlands) Giovambattista Ianni (University of Calabria, Italy) Krzysztof Janowicz (Pennsylvania State University, USA) Natalya G. Keberle (Zaporozhye National University, Ukraine) Domenico Lembo (University of Rome "La Sapienza", Italy) Francesca A. Lisi (University of Bari, Italy) Gergely Luk?csy (DERI Galway, Ireland) Jan Maluszynski (University of Link?ping, Sweden) Wolfgang May (University of G?ttingen, Germany) Ralf M?ller (TU Hamburg, Germany) Boris Motik (Oxford University, UK) Wolfgang Nejdl (LS3 and University of Hannover, Germany) Matthias Nickles (University of Bath, UK) Andrea Pugliese (University of Calabria, Italy) Guilin Qi (Southeast University, China) Sebastian Rudolph (University of Karlsruhe, Germany) Alan Ruttenberg (ScientificCommons, Switzerland) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Umberto Straccia (ISTI-CNR Pisa, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) Terrance Swift (SUNY Stony Brook, USA) Sergio Tessaris (Free University of Bozen, Italy) Dirk Vermeir (University of Brussels, Belgium) Zhe Wu (Oracle, USA) FURTHER INFORMATION For further information refer to the RR 2010 web site at http://www.rr-conference.org/RR2010 -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From roveri at fbk.eu Sun Mar 21 11:46:46 2010 From: roveri at fbk.eu (Marco Roveri) Date: Sun, 21 Mar 2010 11:46:46 +0100 Subject: [ecoop-info] FMICS 2010: Call for Papers Message-ID: <20100321104646.GA15597@fbk.eu> ------- Apologies for multiple copies ------- ********************************************************************** * 15th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2010 * * http://es.fbk.eu/events/fmics2010 * * * * September 20-21, 2010 * * Antwerp, Belgium * ********************************************************************** IMPORTANT DATES --------------- Deadline for abstracts: 10 April 2010 Deadline for papers: 18 April 2010 Accept/Reject notification: 1 June 2010 Camera-ready version: 1 July 2010 Workshop: 20-21 September 2010 SCOPE OF THE WORKSHOP --------------------- The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. Topics include, but are not restricted to: * Design, specification, code generation and testing based on formal methods. * Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. * Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). * Tools for the development of formal design descriptions. * Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. * Impact of the adoption of formal methods on the development process and associated costs. * Application of formal methods in standardization and industrial forums. INVITED SPEAKERS ---------------- To be announced CO-CHAIRS --------- Stefan Kowalewski (RWTH-Aachen, Germany) Marco Roveri (FBK-irst, Italy) PROGRAM COMMITTEE ------------------- Aarti Gupta (NEC Labs, US) Andreas Podelski (University of Freiburg, Germany) Andy King (Portcullis Computer Security) Barbara Jobstman (VERIMAG, France) Christophe Joubert (Technical University of Valencia, Spain) Daniel Kroening (ETH Z?rich, Switzerland) Diego Latella (CNR/IST Pisa, It) Dino Distefano (Queen Mary, University of London, UK) Francois Pilarski (Airbus, France) Holger Hermanns (Universit?t des Saarlandes, Germany) Hubert Garavel (INRIA Rh?ne-Alpes, France) Jaco van de Pol (Universiteit Twente, The Netherlands) Jakob Rehof (Technische Universit?t Dortmund, Germany) J. Jos? Moreno-Navarro (Universidad Polit?cnica de Madrid, Spain) J?rg Brauer (RWTH Aachen, Germany) Lubos Brim (Masarykova Univerzita, Czech Republic) Maria Alpuente (Technical University of Valencia, Spain) Marco Roveri (FBK-irst, Italy) Pedro Merino (Universidad de M?laga, Spain) Radu Mateescu (INRIA Rhone-Alpes, France) Stefan Kowalewski (RWTH Aachen, Germany) Stefania Gnesi (ISTI-CNR, Italy) Thierry Lecomte (ClearSy, France) Thomas Kropf (Bosch, Germany) Thomas Santen (Microsoft European Innovation Center) Wan Fokkink (Vrije Universiteit Amsterdam, Netherlands) Wilfried Steiner (TTTech, Austria) ERCIM FMICS WG COORDINATOR -------------------------- Alessandro Fantechi (Univ. degli Studi di Firenze and ISTI-CNR, Italy) PAPER SUBMISSIONS ----------------- Submissions must be made electronically. Papers should be up to 16 pages in LNCS format, with the names and affiliations of the authors and a clear and informative abstract. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. All submissions must report on original research. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), or provide specific motivation for further research and development. Workshop proceedings will be published in the Springer series Lecture Notes in Computer Science (LNCS). CO-LOCATION ----------- FMICS 2010 is co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE-2010). For latest information on ASE 2010, please visit http://soft.vub.ac.be/ase2010 -------------- next part -------------- A non-text attachment was scrubbed... Name: fmics2010-cfp.pdf Type: application/pdf Size: 111133 bytes Desc: not available Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100321/a779e4a1/attachment-0001.pdf From roveri at fbk.eu Sun Mar 21 12:28:17 2010 From: roveri at fbk.eu (Marco Roveri) Date: Sun, 21 Mar 2010 12:28:17 +0100 Subject: [ecoop-info] FMICS 2010: Call for Papers Message-ID: ------- Apologies for multiple copies ------- ********************************************************************** * 15th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2010 * * http://es.fbk.eu/events/fmics2010 * * * * September 20-21, 2010 * * Antwerp, Belgium * ********************************************************************** IMPORTANT DATES --------------- Deadline for abstracts: 10 April 2010 Deadline for papers: 18 April 2010 Accept/Reject notification: 1 June 2010 Camera-ready version: 1 July 2010 Workshop: 20-21 September 2010 SCOPE OF THE WORKSHOP --------------------- The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. Topics include, but are not restricted to: * Design, specification, code generation and testing based on formal methods. * Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. * Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). * Tools for the development of formal design descriptions. * Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. * Impact of the adoption of formal methods on the development process and associated costs. * Application of formal methods in standardization and industrial forums. INVITED SPEAKERS ---------------- To be announced CO-CHAIRS --------- Stefan Kowalewski (RWTH-Aachen, Germany) Marco Roveri (FBK-irst, Italy) PROGRAM COMMITTEE ------------------- Aarti Gupta (NEC Labs, US) Andreas Podelski (University of Freiburg, Germany) Andy King (Portcullis Computer Security) Barbara Jobstman (VERIMAG, France) Christophe Joubert (Technical University of Valencia, Spain) Daniel Kroening (ETH Z??rich, Switzerland) Diego Latella (CNR/IST Pisa, It) Dino Distefano (Queen Mary, University of London, UK) Francois Pilarski (Airbus, France) Holger Hermanns (Universit??t des Saarlandes, Germany) Hubert Garavel (INRIA Rh??ne-Alpes, France) Jaco van de Pol (Universiteit Twente, The Netherlands) Jakob Rehof (Technische Universit??t Dortmund, Germany) J. Jose Moreno-Navarro (Universidad Polit??cnica de Madrid, Spain) Jorg Brauer (RWTH Aachen, Germany) Lubos Brim (Masarykova Univerzita, Czech Republic) Maria Alpuente (Technical University of Valencia, Spain) Marco Roveri (FBK-irst, Italy) Pedro Merino (Universidad de M??laga, Spain) Radu Mateescu (INRIA Rhone-Alpes, France) Stefan Kowalewski (RWTH Aachen, Germany) Stefania Gnesi (ISTI-CNR, Italy) Thierry Lecomte (ClearSy, France) Thomas Kropf (Bosch, Germany) Thomas Santen (Microsoft European Innovation Center) Wan Fokkink (Vrije Universiteit Amsterdam, Netherlands) Wilfried Steiner (TTTech, Austria) ERCIM FMICS WG COORDINATOR -------------------------- Alessandro Fantechi (Univ. degli Studi di Firenze and ISTI-CNR, Italy) PAPER SUBMISSIONS ----------------- Submissions must be made electronically. Papers should be up to 16 pages in LNCS format, with the names and affiliations of the authors and a clear and informative abstract. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. All submissions must report on original research. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), or provide specific motivation for further research and development. Workshop proceedings will be published in the Springer series Lecture Notes in Computer Science (LNCS). CO-LOCATION ----------- FMICS 2010 is co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE-2010). For latest information on ASE 2010, please visit http://soft.vub.ac.be/ase2010 From westphal at inf.ufsc.br Mon Mar 22 03:37:26 2010 From: westphal at inf.ufsc.br (Carlos Becker Westphall) Date: Sun, 21 Mar 2010 23:37:26 -0300 (BRT) Subject: [ecoop-info] CFP: CNSM 2010 (Former MANWEEK) 6th IEEE/IFIP International Conference on Network and Service Management In-Reply-To: <645117.44735.qm@web111012.mail.gq1.yahoo.com> References: <645117.44735.qm@web111012.mail.gq1.yahoo.com> Message-ID: CNSM 2010 6th IEEE/IFIP International Conference on Network and Service Management Niagara Falls, Canada October 25 - 29, 2010 http://www.ieee-cnsm.org/ The 6th IEEE/IFIP International Conference on Network and Service Management (CNSM 2010) is a premier annual conference in the general area of network, systems, and services management. Built upon the success starting in 2005 to collocate six management workshops within the same week (MANWEEK), this year we debut the single main conference with a single track. The integrated conference provides a unique opportunity to showcase both premier research results and innovative cross-disciplinary explorations. As an open forum, we encourage authors to explore new ideas and to boost the synergy among distinctive but strongly correlated areas. Topics of interest include: Service and Business Management Distributed systems operations and management Application management (context-aware, enterprise, healthcare) Management of multimedia and data services SOA and web services management Data centers & hosting service management IT service management and Business process management Cloud computing and grid management Virtualization & resource provisioning Trust and privacy as a service Decision support for business-driven management Network Management Ad-hoc networks Wireless & mobile networks IP/MPLS networks LANs Optical networks Sensor networks Overlay networks P2P networks Broadband access networks Home networking IP Operations and management Smart Grids (Energy) Future Internet and Next-Generation networks Managing network and service changes Management Methods and Technologies Fault management Configuration management Performance management Security management Event management Energy management Policy-based management Autonomic and self-management Visualization Protocols, middleware, and mobile agents Control theory, optimization theory, and machine learning Probability and stochastic processes IMPORTANT DATES --------------- Paper registration and submission May 7, 2010 Author notification June 30, 2010 Camera ready papers due July 23, 2010 Conference date October 25-29, 2010 SUBMISSION DETAILS ------------------ Paper submissions must present original, unpublished research or experiences. Late-breaking advances and work-in-progress reports are also encouraged. Papers under review elsewhere MUST NOT be submitted to CNSM 2010. Authors are requested to submit either long papers or short papers (work-in-progress reports) formatted according to the standard IEEE two-column Transactions guidelines (http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). * Long papers (up to 8 two-column pages) * Short papers (up to 4 two-column pages) Please visit JEMS conference management system at https://jems.sbc.org.br/ for paper registration and submission (only PDF files are accepted). ORGANIZING COMMITTEE -------------------- General Chair Raouf Boutaba, University of Waterloo, Canada Program Chairs Hanan Lutfiyya, University of Western Ontario, Canada Yixin Diao, IBM T.J. Watson Research Center, USA Program Vice Chairs Service and Business Management * Lisandro Granville, Federal University of Rio Grande do Sul, Brazil * John Strassner, POSTECH, Korea Network Management * Alexander Clemm, Cisco Systems, USA * Rolf Stadler, KTH Royal Institute of Technology, Sweden Management Methods and Technologies * Alexander Keller, IBM Global Technology Services, USA * Joan Serrat, University Politecnica de Catalunya, Spain Publications Chair Deep Medhi, University of Missouri, USA Publicity Chair Carlos Becker Westphall, UFSC, Brazil Workshops Chair Noura Limam, POSTECH, Korea Webmaster Karthick Ramachandran, University of Western Ontario, Canada Steering Committee Raouf Boutaba, University of Waterloo, Canada James Hong, POSTECH, Korea Aiko Pras, University of Twente, Nethereland Doug Zuckerman, Telcordia Technologies, USA From westphal at inf.ufsc.br Mon Mar 22 04:23:12 2010 From: westphal at inf.ufsc.br (Carlos Becker Westphall) Date: Mon, 22 Mar 2010 00:23:12 -0300 (BRT) Subject: [ecoop-info] CNSM 2010 (Former MANWEEK) 6th IEEE/IFIP International Conferenceon Network and Service Management Message-ID: CNSM 2010 6th IEEE/IFIP International Conference on Network and Service Management Niagara Falls, Canada October 25 - 29, 2010 http://www.ieee-cnsm.org/ The 6th IEEE/IFIP International Conference on Network and Service Management (CNSM 2010) is a premier annual conference in the general area of network, systems, and services management. Built upon the success starting in 2005 to collocate six management workshops within the same week (MANWEEK), this year we debut the single main conference with a single track. The integrated conference provides a unique opportunity to showcase both premier research results and innovative cross-disciplinary explorations. As an open forum, we encourage authors to explore new ideas and to boost the synergy among distinctive but strongly correlated areas. Topics of interest include: Service and Business Management Distributed systems operations and management Application management (context-aware, enterprise, healthcare) Management of multimedia and data services SOA and web services management Data centers & hosting service management IT service management and Business process management Cloud computing and grid management Virtualization & resource provisioning Trust and privacy as a service Decision support for business-driven management Network Management Ad-hoc networks Wireless & mobile networks IP/MPLS networks LANs Optical networks Sensor networks Overlay networks P2P networks Broadband access networks Home networking IP Operations and management Smart Grids (Energy) Future Internet and Next-Generation networks Managing network and service changes Management Methods and Technologies Fault management Configuration management Performance management Security management Event management Energy management Policy-based management Autonomic and self-management Visualization Protocols, middleware, and mobile agents Control theory, optimization theory, and machine learning Probability and stochastic processes IMPORTANT DATES --------------- Paper registration and submission May 7, 2010 Author notification June 30, 2010 Camera ready papers due July 23, 2010 Conference date October 25-29, 2010 SUBMISSION DETAILS ------------------ Paper submissions must present original, unpublished research or experiences. Late-breaking advances and work-in-progress reports are also encouraged. Papers under review elsewhere MUST NOT be submitted to CNSM 2010. Authors are requested to submit either long papers or short papers (work-in-progress reports) formatted according to the standard IEEE two-column Transactions guidelines (http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). * Long papers (up to 8 two-column pages) * Short papers (up to 4 two-column pages) Please visit JEMS conference management system at https://jems.sbc.org.br/ for paper registration and submission (only PDF files are accepted). ORGANIZING COMMITTEE -------------------- General Chair Raouf Boutaba, University of Waterloo, Canada Program Chairs Hanan Lutfiyya, University of Western Ontario, Canada Yixin Diao, IBM T.J. Watson Research Center, USA Program Vice Chairs Service and Business Management * Lisandro Granville, Federal University of Rio Grande do Sul, Brazil * John Strassner, POSTECH, Korea Network Management * Alexander Clemm, Cisco Systems, USA * Rolf Stadler, KTH Royal Institute of Technology, Sweden Management Methods and Technologies * Alexander Keller, IBM Global Technology Services, USA * Joan Serrat, University Politecnica de Catalunya, Spain Publications Chair Deep Medhi, University of Missouri, USA Publicity Chair Carlos Becker Westphall, UFSC, Brazil Workshops Chair Noura Limam, POSTECH, Korea Webmaster Karthick Ramachandran, University of Western Ontario, Canada Steering Committee Raouf Boutaba, University of Waterloo, Canada James Hong, POSTECH, Korea Aiko Pras, University of Twente, Nethereland Doug Zuckerman, Telcordia Technologies, USA From aspocp10 at gmail.com Mon Mar 22 14:52:56 2010 From: aspocp10 at gmail.com (aspocp10 at gmail.com) Date: Mon, 22 Mar 2010 08:52:56 -0500 (CDT) Subject: [ecoop-info] ASPOCP 2010 Call For Papers Message-ID: <201003221352.o2MDqueO024865@krlab.cs.ttu.edu> =============================================================================== CALL FOR PAPERS ASPOCP 2010 3rd Workshop on Answer Set Programming and Other Computing Paradigms http://www.dbai.tuwien.ac.at/proj/aspocp10/ Collocated with the International Conference on Logic Programming 2010 Edinburgh (Scotland, U.K) July 16-19, 2010 =============================================================================== AIMS AND SCOPE Since its introduction in the 1990s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship, the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), or first-order logic (FOL) is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, and FOL theorem provers. Furthermore, the practical application of ASP also fosters work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms. - Relating ASP to other nonmonotonic languages. - New methods of computing answer sets using algorithms or systems of other paradigms. - ASP and probabilistic reasoning. - ASP and machine learning. - Language extensions to ASP. - ASP and argumentation. - ASP and multi-agent systems. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - Embedding ASP for challenging applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp10 IMPORTANT DATES (tentative) Submission deadline: March 26, 2010 Notification: April 16, 2010 Camera-ready articles due: April 30, 2010 Workshop: July 20, 2010 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). Informal proceedings will be provided at the workshop. Selected papers will also be published in a special edition of AI Communications. LOCATION The workshop will be held in Edinburgh (Scotland, U.K), collocated with the International Conference on Logic Programming (ICLP) 2010. WORKSHOP CO-CHAIRS Marcello Balduccini (Kodak Research Labs, USA) Stefan Woltran (Vienna University of Technology, Austria) PROGRAM COMMITTEE Gerhard Brewka (University of Leipzig, Germany) Pedro Cabalar (Corunna University, Spain) Wolfgang Faber (University of Calabria, Italy) Michael Fink (Vienna University of Technology, Austria) Martin Gebser (University of Potsdam, Germany) Joohyung Lee (Arizona State University, USA) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (Hong Kong University of Science and Technology, China) Marco Maratea (University of Genoa, Italy) Emilia Oikarinen (University of Helsinki, Finland) Axel Polleres (DERI, National University of Ireland, Ireland) Ashish Sabharwal (Cornell University, USA) Guillermo R. Simari (Universidad Nacional del Sur, Argentina) Paolo Torroni (University of Bologna, Italy) Miroslaw Truszczynski (University of Kentucky, USA) Dirk Vermeir (Vrije Universiteit Brussel, Belgium) Jia-Huai You (University of Alberta, Canada) From fernando.brito.abreu at gmail.com Wed Mar 24 00:22:17 2010 From: fernando.brito.abreu at gmail.com (Fernando Brito e Abreu) Date: Tue, 23 Mar 2010 23:22:17 -0000 Subject: [ecoop-info] 7th International Conference on the Quality of Information and Communications Technology (IEEE proceedings) Message-ID: <001801cacadf$aed605e0$0c8211a0$@fct.unl.pt> QUATIC'2010 CALL FOR PAPERS (http://www.fe.up.pt/quatic2010) The 7th International Conference on the Quality of Information and Communications Technology (QUATIC) serves as a forum for disseminating advanced methods, techniques and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in ICT process and product improvement and to provide practical studies in varying contexts. As in the previous edition, papers accepted at this conference will be published by the IEEE Computer Society Press (Los Alamitos, California, USA). QUATIC proceedings will be indexed by the IEEE Digital Library, ISI Web of Science, SCOPUS, ACM Portal, DBLP and DOI System. During the closing session of QUATIC'2010, awards will be given to the best papers presented during the meeting. Authors of selected papers will be invited to submit extended versions to be published in a special edition of the ASQ Software Quality Professional Journal. IMPORTANT DATES: Abstract submissions: 1 April 2010 Paper submissions: 11 April 2010 Authors' notification: 5 May 2010 Camera-ready: 6 June 2010 CONFERENCE TOPICS: . Quality in ICT Verification and Validation . Quality in ICT Service Management . ICT Process Improvement and Assessment . Quality Evolution in ICT . Standardization and Certification in ICT . Quality in ICT Outsourcing and Insourcing . Quality in Requirements Engineering . Quality in Model Driven Engineering . Quality in ICT Reengineering and Refactoring . Quality in Agile Methods . Quality in Web Engineering . Teaching ICT Quality To foster the dissemination of best practices in industry, to allow a lively discussion of hot topics, to have hands-on contact with new tools, to gather around informal discussion groups (aka birds-of-a-feather ) on subjects suggested by the conference participants themselves and also to allow conference sponsors to spread their message, we will have a dedicated Industrial Track, that will run in parallel with the Main Track. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100323/a7682f42/attachment-0001.html From kos at informatik.uni-marburg.de Mon Mar 22 10:58:24 2010 From: kos at informatik.uni-marburg.de (Klaus Ostermann) Date: Mon, 22 Mar 2010 10:58:24 +0100 Subject: [ecoop-info] Open Postdoc and PhD positions at University of Marburg, Germany Message-ID: <4ca09aca1003220258u628997dbu2d611e455d26993b@mail.gmail.com> There are open PostDoc and PhD positions in the "Programming Languages and Software Engineering" group at Philipps-Universit?t Marburg. Potential topics for these positions include, but are not limited to: - software architecture and design techniques - aspect-oriented and feature-oriented programming - code generation and compiler techniques - domain-specific languages - object-oriented programming - functional programming - program analysis and verification - compilers and virtual machines - type systems - mathematical foundations of programming Marburg is a beautiful small town in Hesse, Germany, with one of the oldest universities in Germany. The positions are well-paid (according to standard German scalary scales), have few (teaching) obligations, and include a lot of freedom to develop one's own research program. Fluency in German is not required. Please send informal enquiries to: Klaus Ostermann Contact data available at: http://www.informatik.uni-marburg.de/~kos/ From carlo.giannelli at unibo.it Wed Mar 24 12:07:24 2010 From: carlo.giannelli at unibo.it (Carlo Giannelli) Date: Wed, 24 Mar 2010 12:07:24 +0100 Subject: [ecoop-info] CfP MONAMI 2010 Message-ID: <4BA9F26C.10106@unibo.it> Second International ICST Conference on Mobile Networks And Management >>> MONAMI 2010 <<< 22-24 September 2010 Santander, Spain Sponsored by ICST Technically co-sponsored by Create-Net Proceedings published by Springer www.mon-ami.org AIM AND SCOPE ------------- MONAMI 2010 aims at bringing together top researchers, academics and practitioners specializing in the area of Mobile Network Management (MNM) and Service Management. Multiaccess and resource management, mobility management, and network management have emerged as core topics in the design, deployment and operation of current and future networks. Yet, they are treated as separate, isolated domains with very little interaction between the experts in these fields and lack cross-pollination. MONAMI 2010 offers the opportunity to leading researchers, industry professionals and academics around the world to meet and discuss the latest advances in these areas and present results related to technologies for true plug-and-play networking, efficient use of all infrastructure investments, and access competition. The aim of the forum is to disseminate the latest innovative mobile network solutions for increased competition and cooperation in an environment with a multitude of access technologies, network operators and business actors. MONAMI 2010 invites papers that follow either evolutionary approaches based on current IP-centered architectures or introduce revolutionary MNM approaches and new paradigms. Papers reporting experimental and empirical studies as well as implementation/industry results (including testbeds and field trials) are also welcome. Topics of particular interest include, but are not limited to, the following: - Multiaccess networks and resource management - Energy efficiency for multiaccess networks - Emerging and visionary multimedia services, service enablers and management - Multimedia services in mobile/multiaccess networks - Business models and economics for a mobile/multiaccess world - Future Internet architectures for Mobile Network Management - Management standards and enabling technologies, including IEEE 802.21 and ANDSF - Management of wireless cognitive networks - Design, implementation, and testbed/experimental evaluations - Service and application management platforms We also seek papers, which within the main scope of MONAMI, address a range topics clustered in the following Special Tracks. * Autonomic Networks and Services Chair: Symeon Papavassiliou Autonomic networking is targeting at complexity issues related to network management. Autonomic systems engineering or autonomics is about designing systems that exhibit the so-called self-* properties e.g. self-configuring, self-healing etc., in short self-managing properties, in order to make the systems themselves tackle management complexities that are otherwise difficult to be handled by systems and network operations personnel. Autonomics is not only about self-* functions that relieve the burden on network operations personnel, but is also about implementing self-* functions for self-adaptability, context or situation driven behavior changes in systems, services or applications. Topics to be addressed in this MONAMI special Track include, but are not limited to, the following: - Autonomic behavior in mobile ad hoc networks - Autonomic network monitoring - Security and trust in Autonomic Networks - Autonomic QoS and QoE in wireless networks - Autonomic routing and forwarding - Resilience and survivability in Autonomic Networks - Scalability and stability in Autonomic networks - Self-* properties of Autonomic Networks - IPv6 and autonomicity * Lower Layer Aspects Chair: Faouzi Bader It is now believed that proper management of available resources and the involved services can no longer be fulfilled without the capacity of interacting with the subjacent lower layers. There must be some interaction between the corresponding entities and parties. Reciprocally, the information and the possibilities of the physical and MAC layers should be made aware. This Special Track is soliciting papers on: - IMT advanced physical layer techniques - Advanced spectrum sharing techniques and protocols - Cognitive access and protocol design for interference management * Smart Objects Chair: Antonio Puliafito A smart object allows the virtual world to become real and physical objects to become part of a virtualized reality. A smart object automatically distributes information about itself, enriched with additional details on its behavior, location, owner, functioning state, surrounding environment. As a result, a huge amount of information is systematically generated by smart objects and put in strict relation with a constantly updated information base. Identification technology is one aspect of the problem, but new advances are needed to create, track, use smart objects and allow their management in new advanced everyday applications. Some of the topics to be addressed in this Special Track include, but are not limited to, the following: - Architecture and design of new services with smart objects - Middleware to simplify smart objects interaction - Managing smart objects in a multiaccess world - Management for the Internet of Things * Security in Mobile Network Management Co-Chairs: Stephen Farrell and Peter Schoo Security is a vital part of Mobile Network Management (MNM) and targets the legitimate use and integrity of network resources as well as the prevention of misuse of these resources for operational availability. The dynamics in mobile networks present challenges to viable security solutions; there are trade offs between security solutions and user privacy or profile building. The management of mobile networks also cannot currently cover the access of malware coming in via increasingly capable devices or smartphones. In order to support the exchange of new ideas about security solutions or early experiences from R&D activities in this area we invite submissions of new work not submitted elsewhere on topics such as the following: - Security solutions for managed and infrastructureless networks - Security in Future Internet approaches for MNM - Security of post MPLS-protocols and virtual networks - Attacks on mobiles and their effects on network operations - Security management in support of MNM - Access network and network element integrity protection - The interplay between privacy enhancing technologies and MNM * Network Virtualization in a Heterogeneous World Chair: Andreas Timm-Giel Network Virtualization is already being applied to share physical resources in today's networks. It is furthermore seen as a suitable way to move to a Future Internet allowing the coexistence of legacy networks with new networking approaches. However, suitability, challenges, and advantages of network virtualization for heterogeneous, wireless, and multiaccess networks still need to be explored. Therefore this Special Track focuses on: - Virtualization of multiaccess networks - Multihoming in Virtual Networks - Wireless Network Virtualization - Virtualized Wireless Resource Management - Performance and energy efficiency for virtualized multiaccess networks PAPER SUBMISSION ---------------- We encourage submissions of high-quality technical papers reporting original material that has not been previously published, and is not currently submitted for consideration elsewhere. Full Papers should not exceed 12 pages in the Springer Lecture Notes of ICST (LNICST) format and must be submitted by *30 April 2010*. Short papers of up to 8 pages, reporting most current results, are also solicited. LNICST templates are available from http://www.springer.com/computer?SGWID=0-146-6-564009-0. All submitted papers will be peer-reviewed by at least three independent reviewers, including a TPC member to ensure high quality and relevance to the topics of the Conference. All accepted papers will be published in the Springer Lecture Notes of ICST series and then be included in major article indexing services. BEST PAPER AWARDS ----------------- The organizing committee of MONAMI 2010, in cooperation with ICST, is happy to announce three awards for accepted papers that exhibit outstanding technical merit. The MONAMI 2010 *Best Paper Award* will be presented to the authors during a special ceremony and will be accompanied by 250 EUR prize. The *Best Student Paper* award will also be presented during the same ceremony and is accompanied by a 150 EUR prize. Finally, MONAMI 2010 will also present the *Best Paper Accompanied by a Demonstration* at the conference, which will carry a 100 EUR prize. All papers submitted are automatically candidates for the Best Paper Award. Student authors need to inform the organizing committee of their status, in order to qualify for the Best Student Paper award, and must be the primary contributor of the submitted paper. Authors who are interested in presenting a demo during MONAMI 2010 based on a paper accepted for publication in the conference proceedings should also inform the organizing committee in order to qualify for the Best Paper Accompanied by a Demonstration award. ACM/SPRINGER MONET SPECIAL ISSUE ON MOBILE NETWORKS AND MANAGEMENT ------------------------------------------------------------------ The authors of selected papers from MONAMI 2010 will be invited to submit extended versions describing their work to the ACM Springer Mobile Networks and Applications (MONET) Journal Special Issue on Mobile Networks and Management. For further details, see the corresponding Special Issue Open Call for Papers. IMPORTANT DATES --------------- Paper Submission Deadline: 30 April 2010 Notification of Acceptance: 11 June 2010 Camera Ready Deadline: 11 July 2010 Conference Date: 22-24 September 2010 ORGANIZING COMMITTEE -------------------- General Chairs: Kostas Pentikousis, Huawei Technologies European Research Center, Germany Ram?n Ag?ero, University of Cantabria, Spain Technical Program Committee Chairs: Marta Garc?a-Arranz, University of Cantabria, Spain Symeon Papavassiliou, National Technical University of Athens, Greece Tutorial Chair: Oliver Blume, Alcatel-Lucent Bell Labs, Germany Publications Chair: Carlo Giannelli, University of Bologna, Italy Publicity Chair: Jarno Pinola, VTT Technical Research Centre of Finland, Finland TECHNICAL PROGRAM COMMITTEE --------------------------- Ramon Aguero, University of Cantabria, Spain Toufik Ahmed, University Bordeaux 1, France Nadeem Akhtar, Centre of Excellence in Wireless Technology (CEWiT), India Faouzi Bader, CTTC, Spain Hussein Badr, Stony Brook University, USA Roland Bless, Karlsruhe Institute of Technology, Germany Oliver Blume, Alcatel-Lucent Bell Labs, Germany Mischa Dohler, CTTC, Spain Stephen Farrell, Trinity College Dublin, Ireland Marta Garc?a-Arranz, University of Cantabria, Spain Raffaele Giaffreda, CREATE-NET, Italy Carlo Giannelli, University of Bologna, Italy Tobias Hossfeld, University of Wuerzburg, Germany Jussi Kangasharju, University of Helsinki, Finland Theo G. Kanter, Mid-Sweden University, Sweden Vasileios Karyotis, National Technical University of Athens, Greece Timotheos Kastrinogiannis, National Technical University of Athens, Greece Polychronis Koutsakis, Technical University of Crete, Greece Zhaojun Li, Fujitsu Labs, UK Emmanuel Lochin, ISAE - LAAS-CNRS, France Raquel Morera, Telcordia Technologies, USA Antonio de la Oliva, University Carlos III, Spain Symeon Papavassiliou, National Technical University of Athens, Greece Kostas Pentikousis, Huawei Technologies European Research Center, Germany Miguel Ponce de Leon, Waterford Institute of Technology, Ireland Antonio Puliafito, University of Messina, Italy Anand R. Prasad, NEC Corporation, Japan Javier Rubio-Loyola, National Polytechnic Institute, Mexico Susana Sargento, University of Aveiro, Portugal Peter Schoo, Fraunhofer-SIT, Germany Joan Serrat, Politechnic University of Catalunya, Spain Haitao Tang, Nokia Siemens Networks, Finland Andreas Timm-Giel, Hamburg University of Technology, Germany Kurt Tutschku, University of Vienna, Austria Christos Verikoukis, CTTC, Spain STEERING COMMITTEE ------------------ Imrich Chlamtac, CREATE-NET, Italy Kostas Pentikousis, Huawei Technologies European Research Center, Germany -- Carlo Giannelli, Ph.D. Viale Risorgimento, 2 Universit? degli Studi di Bologna Facolt? di Ingegneria - DEIS - LIA (Lab1) 40136 Bologna BO (Italy) Tel# +39-051-2093087; Fax# +39-051-2093073 Email: carlo.giannelli at unibo.it Web: http://lia.deis.unibo.it/Staff/CarloGiannelli -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100324/caf646b2/attachment-0001.html From romain.rouvoy at lifl.fr Wed Mar 24 12:23:39 2010 From: romain.rouvoy at lifl.fr (Romain Rouvoy) Date: Wed, 24 Mar 2010 12:23:39 +0100 Subject: [ecoop-info] [ANN] Open postdoc & PhD positions at INRIA Message-ID: <343F3B35-4825-4C00-B81C-334A27B6458D@lifl.fr> The ADAM project-team from the INRIA research institute at Lille in France is looking for PhD candidates in the domains of software architecture and component-based applications on the following topics: 1- An agile framework to support the safe runtime evolution of component-based applications (contact: Anne-Francoise.Le_Meur [at] inria.fr) 2- Dependable Adaptation Middleware for Sustainable Autonomic Systems (contact: Romain.Rouvoy [at] inria.fr) As well as postdoc candidates on the positions below: 1- Behavioural variability in Context-Aware Dynamic Service-Oriented Product Lines (contact: Laurence.Duchien [at] inria.fr) 2- TinySCA: A Uniform Component Model for Hybrid Sensor Networks (contact : Romain.Rouvoy [at] inria.fr) Read more about these offers on our website: http://adam.lille.inria.fr Kind regards, Romain Rouvoy ---- Associate Professor @ ADAM University of Lille 1 / LIFL INRIA Lille - Nord Europe http://www.lifl.fr/~rouvoy -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100324/66cdc587/attachment.html From davide.diruscio at univaq.it Thu Mar 25 15:50:30 2010 From: davide.diruscio at univaq.it (Davide Di Ruscio) Date: Thu, 25 Mar 2010 15:50:30 +0100 Subject: [ecoop-info] IWMCP 2010 Call for Papers Message-ID: <4BAB7836.1040702@univaq.it> [Apologies for multiple receipts] ---------------------------------------------------------------------------- International Workshop on Model Comparison in Practice (IWMCP) 2010 an ICMT 2010 Workshop July 1, 2010 - Malaga, Spain http://www.iwmcp.org ---------------------------------------------------------------------------- OVERVIEW Model Driven Engineering elevates models to first class artefacts of the software development process. To facilitate multi-user collaboration and enable version management and seamless evolution of models and metamodels, support for robust and performant model comparison and differencing mechanisms is essential. Previous research has demonstrated that mechanisms used for comparison and differencing of text-based artefacts (e.g. source code) are not sufficient for comparing models, as they are unaware of the structure and the semantics of the compared artefacts. To date, several model-specific model comparison approaches have been proposed, each demonstrating different characteristics and focusing on particular sub-problems. For instance, model comparison techniques have been adopted for software refactoring, for transformation testing, to support the coupled evolution of metamodel and models, or to analyse existing artefacts with respect to some criteria. However the consensus is that this research area is still young and more research is required in order to achieve the full potential of model comparison. The goal of the workshop is to gather together both researchers in the area of model comparison and differencing to report novel results, and especially adopters of existing approaches to present their experiences and provide insights on issues encountered when applying these approaches in practice. TOPICS Topics of interest include, but are not limited to: - Model comparison - Model differencing - Model versioning - Metamodel evolution and model co-evolution - Empirical results from applying model comparison in practice - Industrial use cases - Benchmarking SUBMISSION GUIDELINES All submissions will be formally evaluated by three reviewers. Papers must be submitted as PDF and strictly adhere to the ACM SIG proceedings format. Papers must not exceed ten (10) pages in this format, including all text, references, appendices, and figures. Paper submissions will be made electronically via the workshop submission web page, using the EasyChair service. All submissions must be original work, and must not have been previously published, nor be under consideration for publication, elsewhere. At least one author of each accepted paper should register for the conference and participate in the workshop. PUBLICATION PLANS Accepted papers will be published in the ACM Digital Library in the International Conference Proceedings Series. Extended versions of the highest quality submissions will be advocated for inclusion in a special issue of a journal. IMPORTANT DATES Deadline for submissions: March 31, 2010 Notification of authors: May 14, 2010 Camera-ready: May 31, 2010 Workshop date: July 1, 2010 ORGANIZERS Davide Di Ruscio, University of L'Aquila (Italy) Dimitrios S. Kolovos, University of York (UK) PROGRAMME COMMITTEE Antonio Cicchetti, Malardalen University (Sweden) Jesus Sanchez Cuadrado, University of Murcia (Spain) Juan de Lara, Universitad Autonoma De Madrid (Spain) Dirk Deridder, Vrije Universiteit Brussel (Belgium) Jeff Gray, University of Alabama (USA) Esther Guerra, Universitad Carlos III De Madrid (Spain) Markus Herrmannsd?rfer, TUM (Germany) Ivan Kurtev, Twente University (Netherlands) Goran Olsen, SINTEF (Norway) Richard Paige, University of York (UK) Alfonso Pierantonio, University of L'Aquila (Italy) Jos? Eduardo Rivera, Universidad de M?laga (Spain) Louis Rose, University of York (UK) Guido Wachsmuth, Delft University of Technology (Netherlands) Dennis Wagelaar, Vrije Universiteit Brussel (Belgium) Steffen Zschaler, University of Lancaster (UK) From alessandro.dalpalu at unipr.it Thu Mar 25 18:41:01 2010 From: alessandro.dalpalu at unipr.it (Alessandro Dal Palu ) Date: Thu, 25 Mar 2010 18:41:01 +0100 Subject: [ecoop-info] [Call for papers] Workshop on Constraint Based Methods for Bioinformatics Message-ID: <20100325173730.M19037@unipr.it> *Apologies for multiple copies* We would like to invite you to submit a paper to Call for papers WCB10 - Workshop on Constraint Based Methods for Bioinformatics --------------------------------------------------------------- July 21st, 2010 Edinburgh co-located to ICLP/FLOC 2010 http://wcb10.dimi.uniud.it/ Submission: April 1st, 2010 OVERVIEW AND SCOPE Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to * Recognition, analysis, and organization of DNA sequences. For instance, Haplotype/Pedigree inference, Phylogenetic reconstruction, Motif localization, and Alignments * Biological systems simulations (for metabolic or regulatory networks) * Prediction of the spatial conformation of a bio-polymer, given its sequence of monomers (in particular for proteins and RNA). The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas, systems and solvers that rely on constraints, but also on Logic Programming, Answer Set Programming, Linear Programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still beyond current computing capabilities. Submitted papers can be * Extended Abstracts of new results or * Abstract of ongoing works * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results in the topics above. Submission style is the standard llncs style. Page limit is 6 pages. Submission is handled by Easychair http://www.easychair.org/ IMPORTANT DATES Submission Deadline: April 1st, 2010 Notification to Authors: April 30th, 2010 Camera-ready: TBA Workshop: July 21st, 2010. The final submission must include latex sources. Participation of at least one author is mandatory. PROGRAM CO-CHAIRS Alessandro Dal Palu' Parma Univ., Italy Agostino Dovier Udine Univ., Italy Sebastian Will Freiburg and MIT, USA PROGRAM COMMITTEE Rolf Backofen, Freiburg Univ., Germany. Pedro Barahona, Univ. Nova de Lisboa, Portugal Alexander Bockmayr, Freie Univ. Berlin, Germany Mats Carlsson, SICS, Uppsala Sweden Esra Erdem, Sabanci Univ., Turkey Alessandro Dal Pal? Univ. of Parma, Italy (co-chair) Simon de Givry, INRA, Toulouse, France Agostino Dovier Udine Univ., Italy (co-chair) Francois Fages, INRIA Rocquencourt, France In?s Lynce, INESC-ID Lisboa, Portugal Neil Moore, Univ. of St Andrews, Scotland Enrico Pontelli, NMSU, USA Sebastian Will Freiburg Univ. and MIT, USA, Germany (co-chair) From kalibera at dsrg.mff.cuni.cz Wed Mar 24 15:30:33 2010 From: kalibera at dsrg.mff.cuni.cz (Tomas Kalibera) Date: Wed, 24 Mar 2010 15:30:33 +0100 Subject: [ecoop-info] Cfp - Java Technologies for Real-Time and Embedded Systems (JTRES) Message-ID: <4BAA2209.2070706@dsrg.mff.cuni.cz> ====================================================================== CALL FOR PAPERS The 8th Workshop on Java Technologies for Real-Time and Embedded Systems JTRES 2010 Charles University Faculty of Mathematics and Physics 19-21 August 2010 Prague, Czech Republic http://dsrg.mff.cuni.cz/jtres2010/ ====================================================================== Overview -------- Over 90 percent of all microprocessors are now used for real-time and embedded applications, and the behavior of many of these applications is constrained by the physical world. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce real-time constraints along with conventional functional requirements and reusable components. It is essential that the production of real-time embedded systems can take advantage of languages, tools, and methods that enable higher software productivity. The Java programming language has become an attractive choice because of its safety, productivity, its relatively low maintenance costs, and the availability of well trained developers. Although it features good software engineering characteristics, standard Java is unsuitable for developing real-time embedded systems, mainly due to under-specification of thread scheduling and the presence of garbage collection. These problems are addressed by the Real-Time Specification for Java (RTSJ). The intent of this specification is the development of real-time applications by providing several additions such as extending the Java memory model and providing stronger semantics in thread scheduling. Interest in real-time Java in both the research community and industry has recently increased significantly, because of its challenges and its potential impact on the development of embedded and real-time applications. The goal of the proposed workshop is to gather researchers working on real-time and embedded Java to identify the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology, and to report results and experiences gained by researchers. The following two topics are of special interest: * Open source solutions * Multiprocessor and distributed real-time Java Open source software and hardware solutions have received growing attention in recent years; major vendors of Java technology have adopted the open source development model for some of their products. Open source development benefits from distributed peer review and transparency and enables easy verification of published results. Access to the source code also stimulates building upon prior work, as it allows to reuse tested and reviewed components. Nowadays, real-time systems demand more functionality than in previous years. Consequently the execution platforms are often multiprocessors or distributed systems. Although the Real-Time Specification for Java has addressed some multiprocessor issues, other issues are still outstanding. Furthermore, defining the appropriate RTSJ abstractions for distributed real-time programming is still an open topic. One day of the workshop will be designated for multiprocessor and distributed systems issues with papers, panels and invited presentations. Submission Requirements ----------------------- Participants are expected to submit a paper of at most 10 pages (ACM Conference Format, i.e., two-columns, 10 point font). Accepted papers will be published in the ACM International Conference Proceedings Series via the ACM Digital Library (approval pending) and have to be presented by one author at the JTRES. Papers describing open source projects shall include a description how to obtain the source and how to run the experiments in the appendix. The source version for the published paper will be hosted at the JTRES web site. Topics of interest to this workshop include, but are not limited to: * New real-time programming paradigms and language features * Industrial experience and practitioner reports * Open source solutions for real-time Java * Real-time design patterns and programming idioms * High-integrity and safety critical system support * Java-based real-time operating systems and processors * Extensions to the RTSJ * Virtual machines and execution environments * Memory management and real-time garbage collection * Compiler analysis and implementation techniques * Scheduling frameworks, feasibility analysis, and timing analysis * Reproduction studies * Multiprocessor and distributed real-time Java Important Dates --------------- * Paper Submission: June 7, 2010 * Notification of Acceptance: July 5, 2010 * Camera Ready Paper Due: August 2, 2010 * Workshop: August 19-21, 2010 Program Chair: -------------- Jan Vitek, Purdue University Workshop Chair: -------------- Tomas Kalibera, Charles University Steering Committee: ------------------- Andy Wellings, University of York Angelo Corsaro, PrismTech Corrado Santoro, University of Catania Doug Lea, State University of New York at Oswego Gregory Bollella, Sun Microsystems Jan Vitek, Purdue University Peter Dibble, TimeSys Program Committee: ------------------ Anders Ravn, Aalborg University Andy Wellings, University of York Angelo Corsaro, PrismTech Bertrand Delsart, Sun Microsystems Christoph Kirsch, University of Salzburg David Holmes, Sun Microsystems Doug Locke, LC Systems Services Douglas Jensen, MITRE Fridtjof Siebert, Aicas Gary T. Leavens, University of Central Florida Isabelle Puaut, University of Rennes Jean Pierre Talpin, INRIA/IRISA John Regehr, University of Utah Joshua Auerbach, IBM Kelvin Nilsen, Aonix Lukasz Ziarek, Fiji Systems Marek Prochazka, European Space Agency Martin Schoeberl, Technical University of Denmark Mike Fulton, IBM Pavel Parizek, Charles University Peter Dibble, TimeSys Riccardo Bettati, Texas A&M University Shangping Ren, Illinois Institute of Technology Viktor Kuncak, EPF Lausanne Ted Baker, Florida State University From miguel.goulao at di.fct.unl.pt Wed Mar 24 17:43:21 2010 From: miguel.goulao at di.fct.unl.pt (=?ISO-8859-1?Q?Miguel_Goul=E3o?=) Date: Wed, 24 Mar 2010 16:43:21 +0000 Subject: [ecoop-info] CFP: QUATIC'2010 - 7th International Conference on the Quality of Information and Communications Technology Message-ID: <6f8329b1003240943s51217020q864498f9456f9afb@mail.gmail.com> QUATIC?2010 CALL FOR PAPERS (http://www.fe.up.pt/quatic2010) The International Conference on the Quality of Information and Communications Technology (QUATIC) serves as a forum for disseminating advanced methods, techniques and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in ICT process and product improvement and to provide practical studies in varying contexts. As in the previous edition, papers accepted at this conference will be published by the IEEE Computer Society Press (Los Alamitos, California, USA). QUATIC proceedings will be indexed by the IEEE Digital Library, ISI Web of Science, SCOPUS, ACM Portal, DBLP and DOI System. During the closing session of QUATIC?2010, awards will be given to the best papers presented during the meeting. Authors of selected papers will be invited to submit extended versions to be published in a special edition of the ASQ Software Quality Professional Journal. IMPORTANT DATES: Abstract submissions: ? 1 April 2010 Paper submissions: ? ? ?11 April 2010 Authors? notification: ?5 May 2010 Camera-ready: ? ? ? ? ?6 June 2010 CONFERENCE TOPICS: ? Quality in ICT Verification and Validation ? Quality in ICT Service Management ? ICT Process Improvement and Assessment ? Quality Evolution in ICT ? Standardization and Certification in ICT ? Quality in ICT Outsourcing and Insourcing ? Quality in Requirements Engineering ? Quality in Model Driven Engineering ? Quality in ICT Reengineering and Refactoring ? Quality in Agile Methods ? Quality in Web Engineering ? Teaching ICT Quality To foster the dissemination of best practices in industry, to allow a lively discussion of hot topics, to have hands-on contact with new tools, to gather around informal discussion groups (aka birds-of-a-feather) on subjects suggested by the conference participants themselves and also to allow conference sponsors to spread their message, we will have a dedicated Industrial Track, that will run in parallel with the Main Track. -- Miguel Goul?o CITI - Departamento de Inform?tica Faculdade de Ci?ncias e Tecnologia Universidade Nova de Lisboa www.fe.up.pt/quatic2010 From sebastian.rudolph at aifb.uni-karlsruhe.de Thu Mar 25 11:37:46 2010 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Thu, 25 Mar 2010 11:37:46 +0100 Subject: [ecoop-info] ISWC 2010 Call for Workshop/Tutorial Proposals, Call for Submissions Message-ID: <87B89F49-69A0-406E-954C-36359979A7EF@aifb.uni-karlsruhe.de> ISWC 2010 Combined Call for Submissions Submissions are invited for ISWC 2010, the Ninth International Semantic Web Conference, to be held November 7-11, 2010, in Shanghai, China. Accepted submissions will be distributed in electronic form to attendees of the conference; accepted research papers will also be published by Springer-Verlag. At least one author of each accepted submission must attend the conference and present the work. Further, up-to-date information is available at http://iswc2010.semanticweb.org WORKSHOP PROPOSALS ISWC workshops are smaller, less formal settings for the presentation and discussion of ongoing work related to the Semantic Web. Workshop proposals will be primarily evaluated on the interest of the workshop to a viable fraction of the Semantic Web community. Proposals Due May 7, 2010 Notification May 28, 2010 Calls Out June 11, 2010 TUTORIAL PROPOSALS ISWC tutorials should teach students, researchers, and others about particular topics related to the Semantic Web. Tutorial proposals will be primarily evaluated on the interest of the tutorial to a viable fraction of the Semantic Web community. Proposals Due May 14, 2010 Notification May 28, 2010 RESEARCH PAPERS Research papers must describe original, significant research on the Semantic Web or on Semantic Web technologies or systems. Authors of accepted papers may submit an accompanying poster or demo (see below). Note that abstracts must be submitted one week before the due date for submissions. Abstracts Due June 21, 2010 Submissions Due June 28, 2010 Notification August 16, 2010 SEMANTIC WEB IN USE In-use papers must present implemented Semantic Web applications or discuss or evaluate the use of Semantic Web techniques or use of other technologies in the Semantic Web. Of particular interest are comparisons between different technologies or approaches and lessons learned from applications. Papers on the use of the Semantic Web in China are specially welcome. Submissions Due June 28, 2010 Notification August 16, 2010 DOCTORAL CONSORTIUM The Doctoral Consortium is designed to allow doctoral students to present their work to members of the Semantic Web community and receive feedback on their research. Submissions to the Doctoral Consortium must describe work performed as part of an ongoing PhD degree. Submissions Due June 28, 2010 Notification August 16, 2010 POSTERS AND DEMOS Posters must describe original research on the Semantic Web or on Semantic Web technologies or systems. Posters can present preliminary results or describe work still in progress. System demonstrations must present a novel hardware or software system of interest in the Semantic Web. Poster submissions and system demonstrations can overlap the work described in other kinds of submissions. Submissions Due August 23, 2010 Notification September 13, 2010 INDUSTRY TALKS Industry talks provide an opportunity to present technical information about Semantic Web products and services. Submissions (abstracts only) will be primarily evaluated based on relevance to the Semantic Web, interest to conference attendees, technical depth and business applicability. Marketing and sales material will not be considered. Submissions Due September 7, 2010 Notification September 21, 2010 SEMANTIC WEB CHALLENGE The Semantic Web Challenge is the premier event for demonstrating practical progress towards achieving the vision of the Semantic Web. This year's 8th edition of the challenge will consist of two tracks: the open track and the billion triples track. The winners in both categories will be selected and announced at the conference. Submissions Due October 1, 2010 _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 7362 www.sebastian-rudolph.de fax +49 721 608 - 5998 From Coral.Calero at uclm.es Sat Mar 27 11:35:55 2010 From: Coral.Calero at uclm.es (=?iso-8859-1?Q?CORAL_CALERO_MU=D1OZ?=) Date: Sat, 27 Mar 2010 11:35:55 +0100 Subject: [ecoop-info] QUATIC'2010 Thematic Track: Quality in Web Engineering In-Reply-To: References: Message-ID: <2735167F8AC8BD4A9A4EBF583007F6841C5F1B@EVSCR02.uclm.es> [Apologies for multiple receipts] QUATIC'2010 Thematic Track: Quality in Web Engineering (http://www.fe.up.pt/quatic2010/quality_web_engineering) Call for papers The World Wide Web has become a major delivery platform for a variety of complex and sophisticated enterprise applications in several domains. In addition to their inherent multifaceted functionality, these web applications exhibit complex behavior and place some unique demands on their ubiquitous usability, performance, security and ability to grow and evolve. Web development can benefit from established practices from other related disciplines, but it has certain distinguishing characteristics, which are mainly due to its inherent multidisciplinary, encompassing contributions from diverse areas, such as systems analysis and design, software engineering, distributed systems, hypermedia/hypertext engineering, requirements engineering, human-computer interaction, user interface design, information engineering, information indexing and retrieval, testing and project management. We seek novel contributions on how to leverage web-based systems quality with Web Engineering techniques, as well as how to induce quality assurance in the Web Engineering lifecycle itself. Suggested topics of interest include, but are not restricted to: * Non-functional quality requirements and their dependence on application domain * Quality aspects in cloud computing * Quality models for web services development and deployment * Quality attributes and measures for web applications * Quality in web engineering project management (cost estimation, risk management, measures, etc.) * Architectural and design patterns for web applications * Assessing the quality of web application models * Quality of web application development environments and case tools * Improving code generation for web applications * Automated evaluation of web sites quality (e.g. contents, structure and delivery channels) * Empirical studies in web engineering * Data quality in web * Web quality modeling * Web quality visualization Paper submission Authors should submit to http://www.easychair.org/conferences/?conf=quatic2010 a PDF version of their paper. Papers must be in IEEE format and not exceed 6 pages, including figures, references, and appendices. Submissions must be original and will be reviewed by the Track Program Committee. Accepted papers will be published in the electronic IEEE proceedings of QUATIC'2010, subject to one of the authors registering for the conference. The authors of the 3 best papers of this thematic track will be invited to submit extended versions to the main track of the conference. More info on the QUATIC'2010 selection process and its tracks can be found at http://www.fe.up.pt/quatic2010. Important dates Abstract submission: 1 April 2010 Authors' notification: 5 May 2010 Paper submissions: 11 April 2010 Camera-ready: 6 June 2010 Track Committee Chair: Coral Calero Local Co-Organizing Chair: Jo?o de Sousa Saraiva (INESC-ID) Program Committee: Maria Angeles Moraga. University of Castilla-La Mancha, Spain Mourad Badri. UQTR, Canada Angelica Caro. University of Bio-Bio, Chile Piero Fraternali. Politecnico di Milano, Italy Nora Koch. Ludwig-Maximilians-Universit?t. Germany Sandro Morasca. Universit? degli Studi dell'Insubria. Italy Gustavo Rossi. University of La Plata. Argentina Antonio Vallecillo. University of Malaga. Spain From lkovacs at complang.tuwien.ac.at Mon Mar 29 08:42:28 2010 From: lkovacs at complang.tuwien.ac.at (Laura Kovacs) Date: Mon, 29 Mar 2010 08:42:28 +0200 Subject: [ecoop-info] Call for Tool Papers: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010 Message-ID: [Please post - apologies for multiple copies.] Call for Tool Papers, Case Studies -------------------------- W I N G 2010 3nd International Workshop on INvariant Generation -------------------------- July 21, 2010 University of Edinburgh, UK Satellite Workshop of FLoC 2010 http://research.microsoft.com/en-us/events/wing2010/ Call for Tool and Case Study Demonstrations ------------------------------------------- We encourage ONE-PAGE ABSTRACT submissions of tool descriptions and case studies for demonstration at WING 2010. Topics of interest include, but are not limited to: - Program analysis and verification - Inductive Assertion Generation - Inductive Proofs for Reasoning about Loops - Applications to Assertion Generation using the following tools: - Abstract Interpretation, - Static Analysis, - Model Checking, - Theorem Proving, - Algebraic Techniques - Tools for inductive assertion generation and verification - Alternative techniques for reasoning about loops Important Dates --------------- April 23, 2010: Abstract submission deadline April 27, 2010: Notification of acceptance July 21, 2010: WING 2010 in Edinburgh, UK Submission ---------- Submissions need not be original. Extended versions of submissions may be submitted concurrently with or after WING 2010 to another conference or a journal. Submission is via EasyChair: https://www.easychair.org/?conf=wing2010 by selecting the "Tools and Case studies" submission category. Please submit a ONE-PAGE abstract in PDF, conforming to the format produced by LaTeX using the easychair.cls class file of EasyChair. The class style may be downloaded at: http://www.easychair.org/easychair.zip Keynote Speakers ---------------- Sumit Gulwani (Microsoft Research, US) Helmut Seidl (Technical University of Munich, Germany) Committee ----------------- Program Chairs: Nikolaj Bjorner (Microsoft Research, US) Laura Kovacs (Vienna University of Technology, Austria) Program Committee: Enric Rodr?guez Carbonell (Technical University of Catalonia, Spain) Martin Giese (University of Oslo, Norway) Jens Knoop (Vienna University of Technology, Austria) Francesco Logozzo (Microsoft Research, USA) Wolfgang Schreiner (RISC-Linz, Austria) Andrey Rybalchenko (Technical University of Munich, Germany) Helmut Veith (Vienna University of Technology, Austria) Thomas Wies (IST, Austria) Publication ----------- Extended versions of accepted contributions may be submitted later to the WING 2010 Special Issue of the Journal of Symbolic Computation. From sadjadi at cs.fiu.edu Mon Mar 29 15:26:45 2010 From: sadjadi at cs.fiu.edu (S. Masoud Sadjadi) Date: Mon, 29 Mar 2010 09:26:45 -0400 Subject: [ecoop-info] Call for workshops: CloudComp 2010 Message-ID: <4E8210CA03ECD24DB6EA5BE1555D9A563D772E@exserver.ipcom.cis.fiu.edu> [Apology for possible cross-postings!] CLOUDCOMP 2010 Call FOR WORKSHOP PROPOSALS The 2010 International Conference on Cloud Computing (CloudComp 2010) will be held in Barcelona, Spain, from Monday 25th to Friday 29th October 2010. Workshops will be held on Friday 29th October 2010 We invite proposals for workshops. Workshops are intended to provide a platform for presenting novel ideas in a less formal and possibly more focused way than is possible in the main conference. Organisers are free to set the format for workshops in order to best fit the theme. We will include full- or half-day workshops in the programme. Please submit proposals to the CloudComp 2010 Workshop Chair, Simon Dobson (cloudcompws2010 at icst.org). Proposals should be by email (PDF or plain text) with "CloudComp" in the subject header. The deadline for submission is 0700 UTC Monday 19th April 2010 Notifications of acceptance will be sent out no more than two weeks after the submission deadline. Proposals should include: 1. The name of the workshop. 2. A statement of goals. 3. The names and affiliations of the organisers. 4. The names of programme committee members, presenters or keynote speakers. 5. A draft call for participation 6. The expected number of attendees and the planned length (full- or half-day). 7. A description of the plans for publicity. 8. An explanation of any plans for proceedings. 9. A description of past versions of the event, including dates, organisers, submission and acceptance counts, attendance, sites, registration fees and summary budget information, if any. 10. The URL of the workshop web site, if available. Please forward any questions to Simon Dobson at cloudcompws2010 at icst.org. ------------------------------------------------------------------ Masoud Sadjadi, PhD Director of the NSF CI-PIRE Center School of Computing and Information Sciences Florida International University University Park, ECS 212C 11200 SW 8th St., Miami, FL 33199 Email: sadjadi at cs.fiu.edu Web: www.cs.fiu.edu/~sadjadi Tel: 305-348-1835 Fax: 305-348-2336 ------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100329/84bf1222/attachment-0001.html From sadjadi at cs.fiu.edu Mon Mar 29 15:29:02 2010 From: sadjadi at cs.fiu.edu (S. Masoud Sadjadi) Date: Mon, 29 Mar 2010 09:29:02 -0400 Subject: [ecoop-info] ICAC Doctoral symposium CFP Message-ID: <4E8210CA03ECD24DB6EA5BE1555D9A563D772F@exserver.ipcom.cis.fiu.edu> [Apology for possible cross-postings!] Call for Applications ICAC'10 Doctoral Symposium -- DEADLINE EXTENDED Washington D.C., USA June 7-11, 2010 IMPORTANT DATES Submission deadline (Extended): April 2, 2010 Acceptance Notification: May 7, 2010 Consortium: June, 2010 OBJECTIVE The Doctoral Symposium provides a forum for students to discuss and explore their research interests with a panel of established researchers in Autonomic Computing. Selected students will present their work in front of an audience that consists of both their peers and a committee of established researchers from industry and academia. The goals of the symposium are: (1) to provide feedback on participants' dissertation topic and focus, and advice on initiating a research career; (2) develop a support community of scholars and a spirit of collaborative research across academia and industry; (3) contribute to the conference goals through interactions with other researchers and participation in conference events. SCOPE The symposium is open to all Ph.D students carrying out research on topics related to ICAC's areas of interest. Example topics of interest include, but are not limited to: - Autonomic management of resources, workloads, faults, power/thermal, and other challenges - Self-managing components - Decision and analysis techniques and their use - Monitoring systems for autonomic computing - Virtual machine, operating systems, or application frameworks - Novel human interfaces for monitoring and controlling autonomic systems - Fundamental science and theory of self-managing systems - Applications of autonomics to real problems in science, engineering, business and society - Other topics of interest from the ICAC 2010 CFP SUBMISSIONS Each submission must have a Ph.D student as the sole author or as the primary author with his/her thesis advisor(s) and should include the following materials (see left for submission instructions): Research Proposal: A four-page proposal that outlines the following: - Problem(s) being addressed. - The significance of the proposal and its relevance to Autonomic Computing. - Related work along with a discussion of their pros and cons. - The proposed plan for research including research approach and methodology adopted. - Expected contributions of the research and the novelty and benefits of the suggested solutions. - A description of the progress to date. Curriculum Vita: Include a CV (at most one page) that describes the student's background and relevant experience (research, education, employment). The CV should mention how long the student has worked on his/her doctoral research and the expected date of completion. It is expected that students submitting to the symposium would have one to two years left in their candidature so that they have enough time to incorporate the suggestions during their participation. Please combine all submission materials into one PDF document and submit it to the submission system provided on the symposium website. The submission should be limited to 5 pages (including CV), and the proposal should be formatted following the IEEE Computer Society guidelines. REVIEW PROCESS The Doctoral Symposium organizing committee will select participants on the basis of clarity and completeness of the submission packet, stage of research, evidence of research promise such as published papers or technical reports, as well as their anticipated contribution to the workshop goals. We solicit applications from any topic area within the scope of the ICAC conference. Students who have identified their thesis direction, but still have significant research to complete are eligible and will be considered; however, the ideal candidate for the symposium is one who has recently had his/her research proposal accepted by the thesis committee. AT THE CONFERENCE The Doctoral Symposium will be held during the conference. Each student will have a total of 40 minutes, including 20 minutes for a research presentation focusing on the main theme of the proposal, and a 20 minute period for discussion and feedback from the committee and other participants. After the students' presentations, a one hour period will be reserved for group discussions and further orientation from the committee members about the proposals. The organizers invite all students to attend and participate in the Doctoral Symposium, whether or not they present their research. Authors of accepted proposals are expected to present their work at the symposium and are encouraged to participate in other conference activities. TECHNICAL PROGRAM COMMITTEE Simon Dobson, Univ. of Dublin, Ireland Manish Parashar, Rutgers Univ., USA Ivan Rodero, Rutgers University, USA Richard Schlichting, AT&T Labs, USA Karsten Schwan, Georgia Tech, USA Neeraj Suri, TU Darmstadt, Germany John Wilkes, Google, USA ORGANIZING COMMITTEE Andres Quiroz, Rutgers University Email: aquirozh at cac.rutgers.edu ------------------------------------------------------------------ Masoud Sadjadi, PhD Director of the NSF CI-PIRE Center School of Computing and Information Sciences Florida International University University Park, ECS 212C 11200 SW 8th St., Miami, FL 33199 Email: sadjadi at cs.fiu.edu Web: www.cs.fiu.edu/~sadjadi Tel: 305-348-1835 Fax: 305-348-2336 ------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100329/5590c9c8/attachment-0001.html From Michael.Haupt at hpi.uni-potsdam.de Tue Mar 30 10:30:40 2010 From: Michael.Haupt at hpi.uni-potsdam.de (Michael Haupt) Date: Tue, 30 Mar 2010 10:30:40 +0200 Subject: [ecoop-info] IWST 2010 Call for Papers Message-ID: <3B5EFA27-B881-497D-A8C6-57DA04790C2B@hpi.uni-potsdam.de> * Apologies for multiple copies. * Call for Papers International Workshop on Smalltalk Technologies (IWST) 2010 co-located with European Smalltalk User Group Conference (ESUG) Barcelona, Spain, September 11-17, 2010 ** Description The goal of the IWST workshop series is to create and foster a forum around advances or experience in Smalltalk. We welcome contributions on all aspects, theoretical as well as practical, of Smalltalk-related topics. There are two possible kinds of submissions, which must be in ACM SIGPLAN style: * Research papers (up to 10 pages). Submissions in this category will be rigorously reviewed, and accepted papers will be published in the ACM Digital Library (ACM SIGPLAN has approved, the final ACM approval is pending). * Demonstration papers (up to 4 pages). Submissions in this category will not be published in the ACM Digital Library, but will be available for download from the workshop web page. ** Submission and Reviewing Process The EasyChair submission web site is at http://www.easychair.org/conferences/?conf=iwst10. Authors will be given the opportunity to comment on reviewers' work by providing feedback on the reviews. For this purpose, a questionnaire will be sent to authors. Their answers will be evaluated anonymously, and feedback will be handed on to reviewers. ** Important Dates Submission: May 14, 2010 (Samoa time) Feedback: June 28, 2010 ESUG Early Registration Deadline: July 9, 2010 Workshop: September 12, 2010, Barcelona, Spain ** Programme Committee Co-Chairs: Michael Haupt, Hasso-Plattner-Institut, University of Potsdam, Germany Robert Hirschfeld, Hasso-Plattner-Institut, University of Potsdam, Germany PC Members: Gabriela Arevalo, Universidad Nacional de La Plata, Argentina Johannes Brauer, NORDAKADEMIE, Germany Johan Brichau, Universit? catholique de Louvain, Belgium Marcus Denker, INRIA Lille - Nord Europe, France Theo D'Hondt, Vrije Universiteit Brussel, Belgium St?phane Ducasse, INRIA Lille - Nord Europe, France James Foster, GemStone Systems, Inc., USA Andy Kellens, Vrije Universiteit Brussel, Belgium Andreas Raab, Teleplace Inc., USA Lukas Renggli, Software Composition Group (SCG), University of Bern, Switzerland Randal L. Schwartz, Stonehenge Consulting Services, Inc. Dave Ungar, IBM Research -- Dr.-Ing. Michael Haupt michael.haupt at hpi.uni-potsdam.de Software Architecture Group Phone: ++49 (0) 331-5509-542 Hasso Plattner Institute for Fax: ++49 (0) 331-5509-229 Software Systems Engineering http://www.hpi.uni-potsdam.de/swa/ Prof.-Dr.-Helmert-Str. 2-3, D-14482 Potsdam, Germany Hasso-Plattner-Institut f?r Softwaresystemtechnik GmbH, Potsdam Amtsgericht Potsdam, HRB 12184 Gesch?ftsf?hrung: Prof. Dr. Christoph Meinel -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2360 bytes Desc: not available Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20100330/e1d4e106/attachment.bin From richard.booth at uni.lu Wed Mar 31 10:20:06 2010 From: richard.booth at uni.lu (Richard Booth) Date: Wed, 31 Mar 2010 10:20:06 +0200 Subject: [ecoop-info] Open PhD position (Luxembourg/Lens): Dynamics of Argumentation Message-ID: Apologies for multiple postings ---------------------- The University of Luxembourg is inviting applications for a 2+2-year PhD position in Computer Science (ref. number F1-070088). The position is embedded in a project "Dynamics of Argumentation" (http://icr.uni.lu/dynarg/DYNARG/Home.html), which is a common project between the Individual and Collective Reasoning (ICR) group at the Computer Science and Communication Research Unit (CSC) in Luxembourg (Responsible: Leon van der Torre) and the Centre de Recherche en Informatique de Lens (CRIL) at the Universit?? d'Artois, in Lens, France (Responsible: Souhila Kaci). The position is foreseen as a co-tutuelle position, that is the student will receive a degree from both universities. The successful candidate will be expected to work on abstract argumentation theory and belief dynamics. Offer: * A 2+2-year PhD position in Computer Science * Work in cooperation with 2 first class and highly active research groups (ICR and CRIL) in a friendly working environment; * Salary: 2300 Euros/month (gross) * Starting date: as soon as possible. Profile: * Candidates must hold a master degree in computer science or related areas; * The ideal candidate should have a strong background in logic-based approaches to artificial intelligence, e.g., in knowledge representation, reasoning about uncertainty, or reasoning about preferences. * Candidates should be proficient in mathematical reasoning and be capable of working with abstract concepts. * Candidates should possess good oral and written English skills. Applications should include an introduction letter indicating the motivation, a detailed CV including copies of the MSc diploma and information about the grades, and the names and contact details of two referees. We accept only electronic submissions, which should be sent to Richard Booth (richard.booth at uni.lu) and Leon van der Torre (leon.vandertorre at uni.lu), quoting the reference number for this position F1-070088. The deadline for applications is **April 15, 2010**. More information can be obtained from Richard Booth (richard.booth at uni.lu). DYNARG project homepage: http://icr.uni.lu/dynarg/DYNARG/Home.html University of Luxembourg homepage: http://www.uni.lu ICR homepage: http://http://icr.uni.lu CRIL homepage: http://www.cril.univ-artois.fr The University of Luxembourg, which was founded in 2003, is a research university at the heart of Europe. The Computer Science and Communication Research (CSC) research unit, which belongs to the Faculty of Science, Technology and Communication and counts around 150 people, is located in the city of Luxembourg, next to the European Institutions. From prh at di.uminho.pt Wed Mar 31 18:40:30 2010 From: prh at di.uminho.pt (Pedro Rangel Henriques) Date: Wed, 31 Mar 2010 17:40:30 +0100 Subject: [ecoop-info] ICPC2010 -- Call-for-ToolDemos Message-ID: <746a2b101003310940i94a92cekef06e69da996e2f4@mail.gmail.com> [Apologies for multiple reception of this email] CALL FOR TOOL DEMONSTRATIONS 18th IEEE International Conference on Program Comprehension (ICPC 2010) June 30 - July 2, 2010 - Braga, Portugal http://icpc2010.di.uminho.pt/ ----------------------------------------------------------------- *Important dates* April 9: Tool Demo submission April 20: Acceptance notification April 25: Camera-ready papers ----------------------------------------------------------------- *Introduction* The International Conference on Program Comprehension (ICPC) is the principal venue for works in the area of program comprehension as well as a leading venue for works in the areas of software analysis, reverse engineering software evolution, and software visualization. ICPC 2010 promises to provide a quality forum for researchers and practitioners from academia, industry, and government to present and to discuss state-of-the-art and best-practice results in the field of program comprehension. The Research Tool Demonstrations track is an important part of the conference with the goal to allow live presentation of both industry-strength tools and academic prototypes. Tools play a central role in program comprehension tasks. Therefore, tool demonstrations will have a prominent role within the conference. We especially encourage tool demonstration proposals complementing full technical papers. Whereas a technical paper is intended to give the background information and point out the scientific contribution of a new program comprehension approach, the tool demonstration provides a good opportunity to show how the scientific approach has been transferred into a running tool prototype. ----------------------------------------------------------------- *Paper submission and publication* Submissions of proposals for tool demonstrations must: * adhere to the ICPC 2010 proceedings format (IEEE CS proceedings) * have a maximum of 2 pages that describe the technology or approach, how it relates to other industrial or research efforts, including references, and describe what the expected benefits are; * be submitted via the EasyChair system by April 9, 2010: http://www.easychair.org/conferences/?conf=icpc2010 Accepted tool demonstrations will be included in the conference proceedings (up to 2 pages in the IEEE CS proceedings style). The tool proposals should indicate the novelty of the approach and how the ideas will be presented. Demonstrators are expected to give a presentation that will be scheduled into the conference program. Presentation at the conference is a requirement for publication. ----------------------------------------------------------------- *Committees* Tool Demonstration Chairs * Marco D'Ambros, University of Lugano (Switzerland) Contact address: marco.dambros at usi.ch Tool Demonstration Committee * Nicolas Bettenburg, Queen's University (Canada) * Rocco Oliveto, University of Salerno (Italy) * Damien Pollet, University of Lille (France) * Filippo Ricca, University of Genova (Italy) * Romain Robbes, University of Chile (Chile) * Michael Wursch, University of Zurich (Switzerland)