From ren at iit.edu Sun Dec 2 17:37:19 2007 From: ren at iit.edu (Shangping Ren) Date: Sun, 02 Dec 2007 10:37:19 -0600 Subject: [ecoop-info] Final CFP for SUTC 2008 Message-ID: Our apology for multiple copies of this posting. ================================================= IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC2008) June 11-13, 2008, Taichung, Taiwan Sponsored by the IEEE Computer Society Conference http://SUTC2008.csie.ncu.edu.tw The rapid research and technological advances in wireless communications and increasing availability of sensors, actuators, and mobile devices have created an exciting new ubiquitous computing paradigm that facilitates computing and communication services all the time, everywhere. This emerging paradigm is changing the way we live and work today. Via a ubiquitous infrastructure consisting of a variety of global and localized networks, users, sensors, devices, systems and applications may seamlessly interact with each other and even the physical world in unprecedented ways. To realize this continually evolving ubiquitous computing paradigm, trustworthy computing that delivers secure, private, and reliable computing and communication services plays an essential role. The IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC2008) is an international forum for researchers to exchange information regarding advancements in the state of the art and practice of sensor networks, ubiquitous and trustworthy computing, as well as to identify the emerging research topics and define the future of sensor networks, ubiquitous and trustworthy computing. The technical program of SUTC2008 will consist of invited talks, paper presentations, and panel discussions. A number of best papers presented in the conference will be selected for possible publication in a special issue of Internationa Journal of Distributed Sensor Networks and International Journal of Autonomous and Adaptive Communications Systems. Topics of Interest Submissions of high quality papers describing mature results or on-going work are invited. Topics for submission include, but are not limited to the following aspects of sensor networks, ubiquitous, and trustworthy computing: * Applications (novel use cases, deployment experience) * Algorithms and Protocols (topology, coverage, routing, distributed coordination) * Data Management and Processing (gathering, storage, fusion, dissemination) * Deployment, Testing, and Debugging * Design and Programming Methodologies * Energy management * Embedded processors, sensors, and actuators * Management aspects (configuration, adaptation, healing) * Mobility, Location, and Context * Modeling and Performance Evaluation (simulation, complexity analysis, user studies) * Networking Technologies (ad hoc networks, personal area networks) * Operating Systems and Middleware * Privacy * Protocol Design, Modeling, and Implementation Experiences * QoS aspects * Reliability * Security (authentication, access control, intrusion detection and tolerance) * Social Issues * System and Network Architectures * Trust (establishment, negotiation, management) * User Interface Technologies Paper Submission The conference solicits original and previously unpublished research and industrial papers. Submissions should be prepared in IEEE conference proceedings format, up to 8 pages in two-column, no less than 10 pt font and uploaded in pdf at the conference submission site (detailed submission instructions will be made available on the conference homepage). Proposal Submission The conference also invites proposals for panels, demos, tutorials, and workshops. (detailed submission instructions will be made available on the conference homepage). Important Dates Paper abstract registration: 12/04/2007 Paper submission: 12/04/2007 Paper notification: 02/04/2008 Camera ready: 03/14/2008 Proposal submission: 09/15/2007 Proposal notification: 10/15/2007 Organization Committee General Co-Chairs: Mukesh Singhal, University of Kentucky, USA Giovanna Di Marzo Serugendo, University of London, UK Jeffrey J.P. Tsai, University of Illinois, Chicago, USA Program Co-Chairs: Wang-Chien Lee, Pennsylvania State University, USA Kay Romer, ETH Zurich, Switzerland Yu-Chee Tseng, National Chiao-Tung University, Taiwan Program Vice-Chairs: Sensor Networks Track: Pedro J. Marron, University of Bonn, Germany Reliable Software Systems Track: Trent Jaeger, Pennsylvania State University, USA Mobile Computing and Wireless Communication Track: Andreas Willig, Technical University of Berlin, Germany Embedded Systems Track: Tei-Wei Kuo, National Taiwan University, Taiwan Ubiquitous Computing Track: Gerd Kortuem, Lancaster University, UK Trustworthy Computing Track: Yunhao Liu, Hong Kong University of Science and Technology, Hong Kong Pervasive Services and Data Management Track: Kun-Lung Wu, IBM Watson Research Lab., USA Wireless Local-, Personal-, and Body-area Networks Track: Chien-Chao Tseng, National Chiao-Tung University, Taiwan Advisory Committee: C.V. Ramamoorthy (Chair), University of California at Berkeley, USA Wen-Tsuen Chen, National Tsing Hua Univeristy, Taiwan S.S. Iyengar, Louisiana State University, USA Lionel M. Ni, Hong Kong University of Science and Technology, Hong Kong Kinji Mori, Tokyo Institute of Technology, Japan Makoto Takizawa, Tokyo Denki University, Japan Benjamin Wah, University of Illinois, Urbana, USA Workshop Co-Chairs: Shu-Ching Chen, Florida International University, USA Jong Hyuk Park, Kyungnam University, Korea Stephen Yang, National Central University, Taiwan Industrial Program Co-Chairs: Nageswara S. Rao, Oak Ridge National Lab., USA Jen-Yao Chung, IBM Watson Research Lab., USA Emile Aarts, Philips Research Lab., The Netherlands Special Track Co-Chairs: Mei-Ling Shyu, University of Miami, USA Guna S. Seetharaman, Air Force Institute of Technology, USA Tzong-Chen Wu, National Taiwan University of Science and Technology, Taiwan Best Paper Award Committee Co-Chairs: Lionel Ni, Hong Kong Univeristy of Science and Technology, Hong Kong Ajay Kshemkalyani, University of Illinois, Chicago, USA Finance Chair: Rong-Ming Chen, National University of Tainan, Taiwan Publication and Registration Chair: Han-Wen Hsiao, Asia University, Taiwan Local Arrangement Chair: Anthony Y.H. Liao, Asia University, Taiwan Publicity Co-Chairs: Sam Michiels, K.U. Leuven, Belgium Shangping Ren, Illinois Institute of Technology, USA Alan Liu, National Chung Cheng University, Taiwan Thanks, -sp --------------------------------- Dr. Shangping Ren Department of Computer Science Illinois Institute of Technology 10 W. 31st Street Chicago, IL 60616 Cell Phone (630) 747-6272 Fax (312) 567-5067 Web www.cs.iit.edu/~ren ------------------------------ From Dirk.Craeynest at cs.kuleuven.be Sun Dec 2 22:03:56 2007 From: Dirk.Craeynest at cs.kuleuven.be (Dirk Craeynest) Date: Sun, 2 Dec 2007 22:03:56 +0100 (MET) Subject: [ecoop-info] C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2008 Message-ID: <200712022103.lB2L3ua16547@bollie.cs.kuleuven.ac.be> ----------------------------------------------------------------------- Call for Industrial Presentations 13th International Conference on Reliable Software Technologies - Ada-Europe 2008 16 - 20 June 2008, Venice, Italy http://www.ada-europe.org/conference2008.html Organized by Ada-Europe, in cooperation with ACM SIGAda (approval pending) ----------------------------------------------------------------------- General Information ------------------- The 13th International Conference on Reliable Software Technologies (Ada-Europe 2008) will take place in Venice, Italy. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibitions from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday. Call for Industrial Presentations --------------------------------- In addition to the usual call for papers, the conference also seeks industrial presentations which may have value and insight, but do not fit the selection process for regular papers. Schedule -------- 13 January 2008: Submission of industrial presentation proposals 03 February 2008: Notification to all authors 11 May 2008: Industrial presentation material required 16-20 June 2008: Conference Submission of Presentations --------------------------- Authors of industrial presentations are invited to submit a short overview (at least 1 page in size) of the proposed presentation to the Conference Chair by 13 January 2008. The Industrial Program Committee will review the proposals and make the selection. The authors of selected presentations shall prepare a final short abstract and submit it to the Conference Chair by 11 May 2008, aiming at a 20-minute talk. The authors of accepted presentations will be invited to derive articles from them for publication in the Ada User Journal, which will host the proceedings of the Industrial Program of the Conference. Call for Exhibitions -------------------- Commercial exhibitions will span the three days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time. Conference Topics ----------------- The conference has successfully established itself as an international forum for providers, practitioners and researchers into reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers in representation from industry, academia and government organizations active in the promotion and development of reliable software technologies. Prospective contributions should address the topics of interest to the conference, which include but are not limited to those listed below: - Methods and Techniques for Software Development and Maintenance: Requirements Engineering, Object-Oriented Technologies, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues - Software Architectures: Design Patterns, Frameworks, Architecture- Centered Development, Component and Class Libraries, Component-based Design - Enabling Technology: Software Development Environments and Project Browsers, Compilers, Debuggers, Run-time Systems, Middleware Components - Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems - Theory and Practice of High-integrity Systems: Real-Time, Distribution, Fault Tolerance, Security, Reliability, Trust and Safety - Mainstream and Emerging Applications: Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation - Ada Language and Technology: Programming Techniques, Object-Orientation, Concurrent and Distributed Programming, Evaluation & Comparative Assessments, Critical Review of Language Features and Enhancements, Novel Support Technology, HW/SW Platforms - Experience Reports: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics - Ada and Education: Where does Ada stand in the software engineering curriculum; how learning Ada serves the curriculum; what it takes to form a fluent Ada user; lessons learned on Education and Training Activities with bearing on any of the conference topics. Awards ------ Ada-Europe will offer honorary awards for the best regular paper and the best presentation. Industrial Committee Members (preliminary list) ---------------------------- Guillem Bernat, Rapita Systems Olivier Devuns, Aonix Franco Gasperoni, AdaCore Rei Str?hle, Saab Systems Tullio Vardanega, Ada-Europe (President) Dirk Craeynest, Ada-Europe (Vice-President) Conference Organization ----------------------- Conference Chair Tullio Vardanega, Universit? di Padova, Italy tullio.vardanega at math.unipd.it Program Co-Chairs Tullio Vardanega, Universit? di Padova, Italy tullio.vardanega at math.unipd.it Fabrice Kordon, Universit? P. & M. Curie, France fabrice.kordon at lib6.fr Tutorial Chair Jorge Real, Universidad Polit?cnica de Valencia, Spain jorge at disca.upv.es Exhibition Chair Ahlan Marriott, White-Elephant GmbH, Switzerland ada at white-elephant.ch Publicity Chair Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium dirk.craeynest at cs.kuleuven.be Local Chair Sabrina De Poli, Sistema Congressi srl, Italy ae08 at sistemacongressi.com ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest at cs.kuleuven.be, Ada-Europe'2008 Publicity Chair *** 13th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2008 *** June 16-20, 2008 ** Venice, Italy ** http://www.ada-europe.org *** From qapl08 at tcs.inf.tu-dresden.de Mon Dec 3 15:04:14 2007 From: qapl08 at tcs.inf.tu-dresden.de (QAPL 2008) Date: Mon, 03 Dec 2007 15:04:14 +0100 Subject: [ecoop-info] QAPL 2008 Second Call for Papers Message-ID: <47540cde.0wVOW+AmEw5q7f8k%qapl08@tcs.inf.tu-dresden.de> [Apologies for multiple copies] ******************************************************************************** SECOND CALL FOR PAPERS Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008) Affiliated with ETAPS 2008 March 29-30, 2008, Budapest, Hungary http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/ ******************************************************************************** SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues TOPICS: Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, ... INVITED SPEAKER: * Simon Gay, University of Glasgow, UK * Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations: 1. Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages, possibly followed by a clearly marked appendix which will be removed for the proceedings and contains technical material for the reviewers. 2. A presentation reports on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognized conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. All Submissions must be as PDF and use to the ENTCS style files. Submissions can be made on the following website: www.easychair.org/QAPL2008. The program co-chairs can be contacted at qapl08chairs at tcs.inf.tu-dresden.de. The workshop PC will review all submissions of both types to select appropriate ones for acceptance in each category, based on their relevance, merit, originality, and technical content. The authors of the accepted submissions of both types are expected to present and discuss their work at the workshop. Accepted regular papers will be published in Elsevier's ENTCS. Publication of a selection of the papers in a special issue of a journal is under consideration. IMPORTANT DATES: Submission (regular paper): December 17, 2007. Notification (regular paper): January 28, 2008. Submission (presentation): January 28, 2008. Notification (presentation): January 31, 2008. ORGANIZATION: PC Chairs: * Alessandro Aldini, University of Urbino, Italy. * Christel Baier, University of Dresden, Germany. Program Committee: * Rajeev Alur, University of Pennsylvania, US * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Tomas Brazdil, Masaryk University, Czech Republic * Flavio Corradini, University of Camerino, Italy * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Maurizio Gabbrielli, University of Bologna, Italy * Marcus Groesser, Technical University Dresden, Germany * Marta Kwiatkowska, University of Oxford, UK * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Prakash Panangaden, McGill University, Canada * Paul Petersson, Malardalen University, Sweden * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From sbecker at ipd.uka.de Mon Dec 3 19:14:45 2007 From: sbecker at ipd.uka.de (Steffen Becker) Date: Mon, 03 Dec 2007 19:14:45 +0100 Subject: [ecoop-info] QoSA 2008 Call for Paper Message-ID: <47544795.4040407@ipd.uka.de> 4th International Conference on the Quality of Software Architectures (QoSA 2008) University of Karlsruhe (TH), Germany October 14-17, 2008 http://qosa.ipd.uka.de Conference proceedings are published as Springer LNCS Motivation ========== Today, a system's software architecture cannot be seen simply as a means to an end, the end being the implemented system. Although the ultimate measure of the quality of the software architecture lies in the implemented system, in how well it satisfies the requirements and constraints of the project and whether it can be maintained and evolved successfully, the quality of a system's software architecture is one of the critical factors in its overall system quality - encompassing both functional and extra-functional properties. In order to treat design as an engineering discipline rather than an art, we need the ability to address the quality of the software architecture directly, not simply as it is reflected in the implemented system. This is a specific goal of QoSA - to deal with software architecture in general and simultaneously focus on its quality characteristics by addressing the problems of: * designing software architectures of good quality, * defining, measuring, evaluating architecture quality, and * managing architecture quality, tying it upstream to requirements and downstream to implementation, and preserving architecture quality throughout the lifetime of the system. Cross-cutting these problems is the question of the nature of software architecture. Software architecture organizes a system, partitioning it into elements and defining relationships among the elements. For this we often use multiple views, each with a different organizing principle. But software architecture must also support properties that are emergent and cannot be ascribed to particular elements. For this we often use the language of quality attributes. Quality attributes cover both internal properties, exhibited only in the development process (e.g. maintainability, portability, testability, etc.), and external properties, exhibited in the executing system (e.g. performance, resource consumption, availability, etc.). Quality attributes cover properties that are emergent, that have a pervasive impact, that are difficult to reverse, and that interact, thereby precluding or constraining other properties. Thus, QoSA also aims to investigate quality attributes in the context of the problems of the design, evaluation, and management of software architecture. This years QoSA's main topic is on "Models and Architectures". Modelling software architectures for documentation purposes as well as manual analysis is an established practice. Due to the continuous maturation of model-driven software development methods and tools, software architecture models also become subject to automated model transformations. Their target is either to generate high quality software implementations or to automatically derive analysis models for predicting architectural quality characteristics like performance or reliability. Conference Topics ================= Topics of interest include, but are not limited to Architecture Design and Implementation: * design decisions and their influence on the quality of software architecture * organizational issues and processes that influence architecture quality * architectural patterns and their quality impacts * architectural standards and reference architectures * model-driven architecture (MDA) * integration of COTS components * relationship between quality attributes and architectural design properties Component Design and Implementation: * how to design high-quality components that enable the construction of well-architected systems meeting functional and extra-functional requirements * specification and documentation of components and their quality attributes * compositional reasoning and methods to predict architecture properties on the basis of component properties * interface standards and standardization efforts * component development methodology and development process * component engineering and product-lines * certification of components * component markets and repositories * services vs. components / service-oriented architecture vs. "classical" component-based architecture Architecture Evaluation: * lessons learned and empirical validation of theories and frameworks on architecture quality * empirical validation of testing, prototyping, simulation for assessing architecture quality * models and specification techniques to evaluate the quality attributes of software architectures * model-driven architecture evaluation * modelling languages for architectural modelling including quality characteristic evaluation * processes for evaluating architecture quality * evaluation of COTS components Architecture Management: * coordination of business architecture, business processes, and software architecture * documentation of software architecture, including design rationale * assessment and enforcement of architectural conformance * traceability of software architecture to requirements and implementation * assessment of COTS components * integration of heterogeneous software architectures * architecture evolution and architecture governance Proceedings =========== QoSA welcomes long papers only. Long papers are up to 15 pages LNCS style, and can describe both research contributions and experience reports. As in the last years, accepted contributions will be published in a volume of the Springer Lecture Notes in Computer Science series. All Papers must be written in English and are to be prepared according to Springer's LNCS style (guidelines are available at: http://www.springer.de/comp/lncs/authors.html). Important Dates =============== Papers due: February 11, 2008 Notification of acceptance: March 29, 2008 Camera-ready versions due: April 13, 2008 Comparch/QoSA conference: October 14-17, 2008 Venue ===== QoSA 2008 will be located in Germany and hosted by the University of Karlsruhe (TH). It will run jointly with CBSE 2008 and COMPFRAME 2008 as the Federated Events on Component-Based Software Engineering and Software Architecture (CompArch 2008) (see http://comparch2008.ipd.uka.de for further details). Comparch General Chair ====================== Ralf Reussner, University of Karlsruhe, GER Program Committee Chairs ======================== Frantisek Plasil, Charles University, CZ Steffen Becker, University of Karlsruhe / FZI, GER Steering Committee ================== Ivica Crnkovic, M?lardalen University, SWE Ian Gorton, Pacific North West National Laboratory, USA Sven Overhage, University of Augsburg, GER Judith Stafford, Tufts University, USA Clemens Szyperski, Microsoft, USA Program Committee ================= Colin Atkinson, University of Mannheim, GER Achim Baier, itemis AG, GER Len Bass, Software Engineering Institute, USA Jan Bosch, Nokia Research Center, FIN Jeremy Bradley, Imperial College London, UK Vincenzo Grassi, Universit?t Rom "Tor Vergata", IT Wilhelm Hasselbring, University of Oldenburg / OFFIS, GER Christine Hofmeister, Lehigh University, USA Jean-Marc Jezequel, University of Rennes / INRIA, FR Samuel Kounev, University of Cambridge, UK Patricia Lago, Vrije Universiteit, NL Nicole Levy, University of Versailles, FR Markus Lumpe, Swinburne University, AUS Eric Madelaine, Inria, FR Tomi Mannisto, Helsinki University of Technology, FIN Nenad Medvidovic, University of Southern California, USA Raffaela Mirandola, Politecnico di Milano, IT Robert Nord, Software Engineering Institute, USA Dorina Petriu, Carleton University, CAN Iman Poernomo, King's College, UK Sasikumar Punnekkat, M?lardalen University, SWE Andreas Rausch, University of Kaiserslautern, GER Matthias Riebisch, Technical University of Ilmenau, GER Roshanak Roshandel, Seattle University, USA Bernhard Rumpe, University of Technology Braunschweig, GER Jean-Guy Schneider, Swinburne University, AUS Michael Stal, Siemens, GER Petr Tuma, Charles University, CZ Axel Uhl, SAP AG, GER Kurt Wallnau, Software Engineering Institute, USA Wolfgang Weck, Independent Software Architect, CH Murray Woodside, Carlton University, CAN Steffen Zschaler, Technical University of Dresden, GER -- ------------------------------------------------------------------------ Dipl.-Wirtsch.-Inform. Steffen Becker, DFG Junior Research Group "Palladio", Fakult?t f?r Informatik, IPD Reussner University of Karlsruhe (TH), Am Fasanengarten 5, D-76131 Karlsruhe Email: sbecker at ira.uka.de URL: http://sdq.ipd.uni-karlsruhe.de Voice: +49 721 608-5994 (-3934, secr.) Fax: +49 721 608-5990 ------------------------------------------------------------------------ From markus.helfert at computing.dcu.ie Mon Dec 3 23:02:28 2007 From: markus.helfert at computing.dcu.ie (Markus Helfert) Date: Mon, 03 Dec 2007 22:02:28 +0000 Subject: [ecoop-info] Extended Deadline (10th Dec) - IC Business Innovation and Information Technology in Dublin in January 2008 Message-ID: <47547CF4.8050409@computing.dcu.ie> Extended Abstract Submission Deadline 10 December 2007 International Conference on Business Innovation and Information Technology Dublin City University, Ireland 24-25 January 2008 http://icbiit2007.computing.dcu.ie/ The International Conference on Business Innovation and Information Technology aims to provide a forum for the presentation and discussion of business innovations associated with Information Technology (IT). We invite contributions from industry and academia as well as encourage postgraduate researchers to submit their work. Submissions may be any of the following: research paper short paper experience report Contributions must be submitted via: http://icbiit2007.computing.dcu.ie/ Held in Dublin on 24th and 25th of January 2008, the conference focuses on real-world business applications and innovations associated with information technology. Therefore, contributions should highlight the benefits and invitations driven by information technology in organisations. The idea of the conference is to provide a forum and platform for both researchers and practitioners to exchange knowledge and ideas and learn from each other. Practitioners and researchers present findings and experience. In addition to the official program, there is plenty of opportunity for informal discussions and networking. Contributions for presentation are selected on the basis of abstracts. Abstracts will be evaluated for originality, significance and contribution. All authors of accepted contributions are expected to present at the conference. The conference is supported by Dublin City University (www.dcu.ie) and the Science Foundation Ireland (www.sfi.ie) Topics may include, but are not limited to: =========================================== * Innovative Business Models and E-Commerce Solutions * Regulatory and Privacy Issues * E-Government * Information Systems and Business Processes * System Development and Software Engineering * Advanced Information Technologies Conference Chairs: ================== Dr. Markus Helfert Dr. Regina Connolly School of Computing Business School Dublin City University Dublin City University Ireland Ireland -- ---------------------------------------------------- Dr. Markus Helfert School of Computing Enterprise Process Research Centre Dublin City University Glasnevin Dublin 9, Ireland Lecturer in Information Systems Programme Chair European MSc in Business Informatics http://www.computing.dcu.ie/europeanmbi/ Phone: +353-1-700-8727 Fax: +353-1-700-5442 Office: L2.26 Email: markus.helfert at computing.dcu.ie http://www.computing.dcu.ie http://www.mhelfert.de ---------------------------------------------------- From plas2008 at ru.is Mon Dec 3 23:34:19 2007 From: plas2008 at ru.is (PLAS2008) Date: Mon, 3 Dec 2007 22:34:19 +0000 Subject: [ecoop-info] Call for Papers: PLAS 2008 In-Reply-To: References: , Message-ID: ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008) Tucson, Arizona, June 8, 2008 Sponsored by ACM SIGPLAN and co-located with PLDI'08 http://research.ihost.com/plas2008/ Submission Deadline: March 24, 2008 Call for Papers PLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas; evaluations of new or known techniques in practical settings; and discussions of emerging threats and important problems. The scope of PLAS includes, but is not limited to: * Language-based techniques for security * Verification of security properties in software * Automated introduction and/or verification of security enforcement mechanisms * Program analysis techniques for discovering security vulnerabilities * Compiler-based security mechanisms, such as host-based intrusion detection and in-line reference monitors * Specifying and enforcing security policies for information flow and access control * Model-driven approaches to security * Applications, examples, and implementations of these techniques Important Dates and Submission Guidelines * March 24, 2008: Submission due date * April 21, 2008: Author notification * May 12, 2008: Revised papers due * June 8, 2008: PLAS 2008 workshop We invite papers of two kinds: (1) Technical papers about relatively mature work, for "long" presentations during the workshop, and (2) papers for "short" presentations about more preliminary work, position statements, or work that is more exploratory in nature. Submitted papers should describe work unpublished in refereed venues, not be submitted for publication elsewhere, and have a page limit of 12 pages for long papers and 6 pages for short papers. Program Organization * ?lfar Erlingsson, Reykjav?k University, Iceland, Program Co-Chair * Marco Pistoia, IBM T. J. Watson Research Center, Program Co-Chair Program Committee * Gilles Barthe, INRIA Sophia-Antipolis, France * Bruno Blanchet, ?cole Normale Sup?rieure, France * Andy Chou, Coverity, USA * Mads Dam, Royal Institute of Technology, Sweden * ?lfar Erlingsson, Reykjav?k University, Iceland * Heiko Mantel, Technische Universit?t Darmstadt, Germany * Isabella Mastroeni, Universit? di Verona, Italy * Greg Morrisett, Harvard University, USA * Andrew Myers, Cornell University, USA * David Naumann, Stevens Institute of Technology, USA * Marco Pistoia, IBM T. J. Watson Research Center, USA * Eijiro Sumii, Tohoku University, Japan * Dan Wallach, Rice University, USA From roveri at fbk.eu Tue Dec 4 07:31:34 2007 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 4 Dec 2007 07:31:34 +0100 Subject: [ecoop-info] PhD Positions in the Embedded System Unit of Fondazione Bruno Kessler Message-ID: <0FB51870264E0E4BBF0C1F75E1E3B0CF292458468C@ntmail2.pc.itc.it> [[[ Apologies for multiple copies of this message ]]] Doctoral Student Positions Available Design and Verification of Embedded Software Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Deadlines: Dec. 15, 2007 The Embedded System Research Unit (http://es.fbk.eu) of the Bruno Kessler Foundation, Trento, Italy, is seeking several candidates for Ph.D positions. The Ph.D. studies will be held at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy. The research activity will be carried out within the Embedded Systems Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler. The research activity will aim at techniques, methodologies and support tools for the design and verification of embedded systems. In particular, possible topics will include: - Embedded Software Design and Verification - Formal Requirements Analysis - Design and Verification of Hybrid and Timed systems The selected candidates will be initially enrolled in a stage and, if they pass the selection of the Ph.D. school, they will be enrolled as Ph.D. students. Ph.D. courses will start in Autumn 2008, and the thesis must be completed in three or four years. People enrolled in a stage and subsequent Ph.D. courses are expected to move to Trento, and will receive monetary support during both phases of their activity. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and combine solid theoretical background and software development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Background knowledge and/or previous experience in the following areas, though not mandatory, will be considered favorably: - Symbolic Model Checking, - Propositional Satisfiability, - Satisfiability Modulo Theory, - Constraint Solving and Optimization, - Formal Requirements Analysis, - Software Verification, - Software Synthesis, - Embedded System Design Languages (e.g. Verilog, VHDL, System C, and System Verilog), - Safety Analysis (FTA, FMEA). Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to . Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'RIF: ES/phd' as subject. The Embedded System Research Unit ================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink) * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis) * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The unit develops and maintains several tools: * the NuSMV symbolic model checker (http://nusmv.fbk.eu) * the MathSAT SMT solver (http://mathsat.fbk.eu) * the Formal Safety Analysis Platform FSAP (http://fsap.fbk.eu) * the Requirements Analysis Tool RAT (http://rat.fbk.eu) The unit is currently involved in several research projects, funded by the European Union (FP VI and FP VII), the European Space Agency, the European Railway Agency, as well as in industrial technology transfer projects. The projects aim at applying research results to key application domains such as space, avionics, railways, hardware design and mobile embedded applications. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. Contact Person ============== * Alessandro Cimatti mailto: http://es.fbk.eu/people/cimatti From roveri at fbk.eu Tue Dec 4 07:32:57 2007 From: roveri at fbk.eu (Marco Roveri) Date: Tue, 4 Dec 2007 07:32:57 +0100 Subject: [ecoop-info] Developer Positions in the Embedded System Unit of Fondazione Bruno Kessler Message-ID: <0FB51870264E0E4BBF0C1F75E1E3B0CF292458468E@ntmail2.pc.itc.it> [[[ Apologies for multiple copies of this message ]]] Programmer Positions Available Design and Verification of Embedded Software Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy The Embedded System Research Unit (http://es.fbk.eu) of the Bruno Kessler Foundation, Trento, Italy, is seeking several skilled programmers for software development in research projects. The successful candidates will be enrolled with a fixed length contract, and will be subject to a trial work period. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and have excellent software design and development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to developing high-quality software, and achieving assigned objectives. Prerequisites are - deep knowledge of one of the following programming language: Java, C++, C; - hands-on experience with standard software development environments either under MS Windows (TM) or under Unix/Linux. Background knowledge and/or previous hands-on experience in the following areas, though not mandatory, will be considered favorably: - XML manipulation - use and extension of the Eclipse development platform - use of requirements engineering tools (e.g., Requisite Pro, Rational Rose suite, ...) Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to . Applications should contain a statement of interest and a Curriculum Vitae with marks. PDF format is strongly encouraged. Emails will be automatically processed and should have 'RIF: ES/programmer' as subject. The Embedded System Research Unit ================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink) * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis) * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The unit develops and maintains several tools: * the NuSMV symbolic model checker (http://nusmv.fbk.eu) * the MathSAT SMT solver (http://mathsat.fbk.eu) * the Formal Safety Analysis Platform FSAP (http://fsap.fbk.eu) * the Requirements Analysis Tool RAT (http://rat.fbk.eu) The unit is currently involved in several research projects, funded by the European Union (FP VI and FP VII), the European Space Agency, the European Railway Agency, as well as in industrial technology transfer projects. The projects aim at applying research results to key application domains such as space, avionics, railways, hardware design and mobile embedded applications. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. Contact Person ============== * Alessandro Cimatti mailto: http://es.fbk.eu/people/cimatti From stone at cs.hmc.edu Wed Dec 5 01:23:21 2007 From: stone at cs.hmc.edu (Christopher A. Stone) Date: Tue, 4 Dec 2007 16:23:21 -0800 Subject: [ecoop-info] FOOL '08: Call for Participation Message-ID: CALL FOR PARTICIPATION 2008 International Workshop on Foundations of Object-Oriented Languages FOOL '08 http://fool08.kuis.kyoto-u.ac.jp/ Sponsored by ACM SIGPLAN January 13, 2008 San Francisco, California, USA Following POPL '08 The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments invited type theory, semantics, program verification, and program development. The FOOL workshops bring together researchers to share new ideas and results in these areas. The next workshop, FOOL '08, will be held in San Francisco, California, on Saturday January 13, 2008, the day after POPL '08. Eight contributed papers will be presented, along with invited talks. To register for the workshop, use the standard POPL registration form, available through: http://www.regmaster.com/conf/popl2008.html The POPL early registration deadline ends ****December 13th****. Please make your hotel arrangements as soon as possible. To keep down the cost of registration, we will not be providing printed proceedings. All papers will be available online before the workshop, so you may print the papers you wish to have on hand. --------------------------------------------------------------------- Accepted papers: OOMatch: Pattern Matching as Dispatch in Java Adam Richard and Ondrej Lhotak Type Safe Nondeterminism - A Formal Semantics of Java Threads Andreas Lochbihler A Unified Framework for Verification Techniques for Object Invariants Sophia Drossopoulou, Adrian Francalanza and Peter Mueller Safe Type-level Abstraction in Scala Adriaan Moors, Frank Piessens and Martin Odersky A Step-indexed Semantics of Imperative Objects Catalin Hritcu and Jan Schwinghammer Computational Soundness and Adequacy for Typed Object Calculus Johan Glimming Ownership Type Systems and Dependent Classes Werner Dietl and Peter Mueller A Theory of Linear Objects Matthew Kehrt and Jonathan Aldrich Plus invited speakers (TBA) --------------------------------------------------------------------- Program Committee: Jonathan Aldrich (Carnegie Mellon University) Susan Eisenbach (Imperial College) Manuel Fahndrich (Microsoft Research) Cormac Flanagan (University of California, Santa Cruz) Matthew Flatt (University of Utah) Jacques Garrigue (Nagoya University) Atsushi Igarashi (Kyoto University) [Chair] Matthew Parkinson (University of Cambridge) Julian Rathke (University of Southampton) Frank Tip (IBM) Tobias Wrigstad (Stockholm University) --------------------------------------------------------------------- From icalp08 at ru.is Wed Dec 5 11:18:10 2007 From: icalp08 at ru.is (Icalp08) Date: Wed, 5 Dec 2007 10:18:10 -0000 Subject: [ecoop-info] ICALP 2008: Second Call for Papers Message-ID: <6F0C4D2AFE6B784CAE783EEE545EB06601A60453@nike.hir.is> *** We apologize for multiple postings **** HTML version of the CFP: http://www.ru.is/icalp08/cfp.html ___________________________________________________________________ CALL FOR PAPERS - ICALP'08 35th International Colloquium on Automata, Languages and Programming July 6-13, 2008, Reykjavik, Iceland http://www.ru.is/icalp08 ___________________________________________________________________ The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 6th to the 13th of July 2008 in Reykjavik, Iceland. The main conference will take place from the 7th till the 11th of July, and will be preceded and followed by 13 co-located events. (See http://www.ru.is/icalp08/workshops.html for the list of events affiliated with ICALP 2008.) In addition, the ETACS award 2008 and the Goedel prize 2008 will be awarded at the conference. Following the successful experience of the last three editions, ICALP 2008 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community. Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A - Algorithms, Automata, Complexity and Games: * Algorithmic Aspects of Networks * Algorithmic Game Theory * Approximation Algorithms * Automata Theory * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Data Structures * Design and Analysis of Algorithms * Internet Algorithmics * Machine Learning * Parallel, Distributed and External Memory Computing * Randomness in Computation * Quantum Computing Track B - Logic, Semantics, and Theory of Programming: * Algebraic and Categorical Models * Automata and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * Principles of Programming Languages * Logics, Formal Methods and Model Checking * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid and Stochastic Systems * Program Analysis and Transformation * Specification, Refinement and Verification * Type Systems and Theory, Typed Calculi Track C - Security and Cryptography Foundations: * Cryptographic Notions, Mechanisms, Systems and Protocols * Cryptographic Proof Techniques, Lower bounds, Impossibilities * Foundations of Secure Systems and Architectures * Logic and Semantics of Security Protocols * Number Theory and Algebraic Algorithms (Primarily in Cryptography) * Pseudorandomness, Randomness, and Complexity Issues * Secure Data Structures, Storage, Databases and Content * Security Modeling: Combinatorics, Graphs, Games, Economics * Specifications, Verifications and Secure Programming * Theory of Privacy and Anonymity * Theory of Security in Networks and Distributed Computing * Quantum Cryptography and Information Theory SUBMISSION GUIDELINES Authors are invited to submit an extended abstract of no more than 12 pages in LNCS style presenting original research on the theory of Computer Science. Submissions should indicate to which track (A, B, or C) the paper is submitted. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed. The proceedings will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately. Additional material intended for the referee but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Submissions to ICALP 2008 are now open. To submit a paper to the conference, please visit the URL http://www.ru.is/icalp08/submissions.html. INVITED SPEAKERS (Preliminary list) * Ran Canetti (IBM T.J. Watson Research Center and MIT, USA) * Bruno Courcelle (Labri, Universite Bordeaux, France) * Javier Esparza (Technische Universitaet Muenchen, Germany) * Muthu Muthukrishnan (Google, USA) * Peter Winkler (Dartmouth, USA) IMPORTANT DATES * Submission: 23:59 GMT, February 10, 2008. * Notification: April 9, 2008 * Final version due: April 30, 2008 PROGRAM COMMITTEE Track A * Michael Bender (State Univ of New York at Stony Brook, USA) * Magnus Bordewich (Durham University, UK) * Peter Bro Miltersen (Aarhus University, Denmark) * Lenore Cowen (Tufts University, USA) * Pierluigi Crescenzi (Universita' di Firenze, Italy) * Artur Czumaj (University of Warwick, UK) * Edith Elkind (University of Southampton, UK) * David Eppstein (University of California at Irvine, USA) * Leslie Ann Goldberg (University of Liverpool, UK) (chair) * Martin Grohe (Humboldt-Universitaet zu Berlin, Germany) * Giuseppe Italiano (Universita' di Roma "Tor Vergata", Italy) * Christos Kaklamanis (University of Patras, Greece) * Michael Mitzenmacher (Harvard University, USA) * Ian Munro (University of Waterloo, Canada) * Ryan O'Donnell (Carnegie Mellon University, USA) * Dana Ron (Tel-Aviv University, Israel) * Tim Roughgarden (Stanford University, US) * Christian Scheideler (Technische Universitaet Muenchen, Germany) * Christian Sohler (University of Paderborn, Germany) * Luca Trevisan (University of California at Berkeley, USA) * Berthold Vocking (RWTH Aachen University, Germany) * Gerhard Woeginger (Eindhoven University of Technology, the Netherlands) Track B * Parosh Abdulla (Uppsala University, Sweden) * Luca de Alfaro (University of California, Santa Cruz, USA * Christel Baier (Technische Universitaet Dresden, Germany) * Giuseppe Castagna (Universite Paris 7, France) * Rocco de Nicola (Universita' di Firenze, Italy) * Javier Esparza (Technische Universitaet Muenchen, Germany) * Marcelo Fiore (University of Cambridge, UK) * Erich Graedel (RWTH Aachen, Germany) * Jason Hickey (California Institute of Technology, USA) * Martin Hofmann (Ludwig-Maximilians-Universitdt M|nchen, Germany) * Hendrik Jan Hoogeboom (Leiden University, NL) * Radha Jagadeesen (DePaul University, USA) * Madhavan Mukund (Chennai Mathematical Institute, India) * Luke Ong (Oxford University, UK) * Dave Schmidt (Kansas State University, USA) * Philippe Schnoebelen (ENS Cachan, France) * Igor Walukiewicz (Labri, Universite Bordeaux, France) (chair) * Mihalis Yannakakis (Columbia University, USA) * Wieslaw Zielonka (Universite Paris 7, France) Track C * Christian Cachin (IBM Research Zurich, CH) * Jan Camenisch (IBM Research Zurich, CH) * Ivan Damgaard, (Aarhus University, Denmark) (chair) * Stefan Dziembowski ((Universita' di Roma "La Sapienza", Italy) * Dennis Hofheinz (CWI Amsterdam, the Netherlands) * Susan Hohenberger (Johns Hopkins University, USA) * Yuval Ishai (Technion Haifa, Israel) * Lars Knudsen (DTU Copenhagen, Denmark) * Arjen Lenstra (EPFL Lausanne, CH) * Anna Lysyanskaya (Brown University, USA) * Rafael Pass (Cornell University, USA) * David Pointcheval (ENS Paris, France) * Dominique Unruh (Saarland University, Germany) * Serge Vaudenay (EPFL Lausanne, CH) * Bogdan Warinschi (Bristol University, UK) * Douglas Wikstroem (KTH Stockholm, Sweden) * Stefan Wolf (ETH Zurich, CH) ORGANIZING COMMITTEE: ********************* Luca Aceto Magnus M. Halldorsson Anna Ingolfsdottir CONTACT ADDRESSES: ****************** For further information see: http://www.ru.is/icalp08/ From Nicolas.Guelfi at uni.lu Wed Dec 5 16:19:03 2007 From: Nicolas.Guelfi at uni.lu (Nicolas Guelfi) Date: Wed, 05 Dec 2007 16:19:03 +0100 Subject: [ecoop-info] PhD position at University of Luxembourg Message-ID: <20071205152016.BADA8244145@mx.aito.org> The University of Luxembourg is opening a position for a PhD STUDENT in Computer Science (M/F) 2-years contract, renewable, full-time (40 h/week). Subject: Resilience policy languages for dependable product lines of distributed systems : syntax, semantics and execution framework. Start date: February/March 2008 Activities : He/she will complete his scientific and pedagogical education with the aim to obtain a PhD in Computer Sciences The candidate will have to assist the Professor in teaching in courses on Software engineering (development methodologies, verification and validation, etc) He will follow an incremental development process of research activities including sate of the art of the problem domain, definition of the sub-problems to solve, resolution of the sub-problems and verification and validation Requirements: - M.Sc in Computer Sciences - Dependability and more precisely fault-tolerance - Development framework for fault-tolerance - Java programming of distributed systems - Mobile device programming - Formal methods - Capacity to write scientific papers - Knowledge of transactional, advanced transactional systems and coordinated atomic actions will be a plus. - Flexible, open-minded, creative, autonomous and rigorous, be able to work in an international environment Applications are to be sent no later than December 24th 2007 and should include a letter of motivation, a complete CV and a copy of the M. Sc. Diploma including a transcript of courses taken (with grades). These are to be submitted by e-mail to Prof. Nicolas Guelfi (nicolas.guelfi at uni.lu). The University of Luxembourg is an equal opportunity employer. ****************///////**************** Prof. Dr. Nicolas Guelfi University of Luxembourg Faculty of Sciences, Technology and Communication LASSY - Laboratory for Advanced Software Systems 6 , rue Richard Coudenhove-Kalergi L-1359 Luxembourg-Kirchberg LUXEMBOURG Office: +352 46 66 44 52 51 Secretary: +352 46 66 44 54 14 (Daniele Flammang or Ragga Eyjolfsdottir) fax : +352 43 21 24 prof. email : Nicolas.Guelfi 'at' uni.lu home page : http://wwwen.uni.lu/recherche/fstc/laboratory_of_advanced_software_systems_lassy/members/nicolas_guelfi the LASSY : http://lassy.uni.lu/ ****************\\\\\\\**************** -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20071205/c3ef678d/attachment-0001.htm From Herve.Rivano at sophia.inria.fr Wed Dec 5 17:20:16 2007 From: Herve.Rivano at sophia.inria.fr (Herve Rivano) Date: Wed, 05 Dec 2007 17:20:16 +0100 Subject: [ecoop-info] CfP: AdHocNow 2008 Message-ID: <4756CFC0.2020009@sophia.inria.fr> (Please accept our apologies if you receive multiple copies of this message.) ---------------------------------------------------------------------- | | | 7th International Conference on AD-HOC Networks & Wireless | | ( AdHocNow'08 ) | | | | Nice, France, September 10-12, 2008 | | | | http://www-sop.inria.fr/mascotte/adhocnow | | | ---------------------------------------------------------------------- Ad-Hoc networks are wireless, self-organizing systems formed by cooperating nodes within communication range of each other that form temporary networks. Their topology is dynamic, decentralized, ever changing and the nodes may move around arbitrarily. The last few years have witnessed a wealth of research ideas on ad-hoc networking that are moving rapidly into implemented standards. Following previous Ad-Hoc Networks and Wireless conferences in Morelia, Mexico (2007), Ottawa, Canada (2006), Cancun, Mexico (2005), Vancouver, Canada (2004), Montreal, Canada (2003), and Toronto, Canada (2002), the 7th International Conference on Ad-Hoc Networks and Wireless will take place in Nice, France, from September 10-12, 2008. Important Dates --------------- Abstract Submissions Due: March 10, 2008 Paper Submissions Due: March 15, 2008 Notification of Acceptance: May 20, 2008 Camera Ready Versions Due: June 15, 2008 Author Registration Deadline: June 15, 2008 Early Registration Deadline: August 1, 2008 Conference: September 10-12, 2008 Workshops: September 13, 2008 Topics of Interest ------------------ We are interested in work in progress, experimental and theoretical research in Wireless Sensor, Ad-Hoc, Mobile and Mesh Networks. Topics of interest include, but are not limited, to research papers in any of the following areas: * Access Control * Ad-Hoc Networks of Autonomous Intelligent Systems * Algorithmic Issues * Analytic Methods and Modeling for Performance Evaluation * Application for Ad-Hoc Networks * Architectures of Ad-Hoc Networks * Distributed Algorithms for Ad-Hoc Networks * Energy Efficiency * Geometric Graphs * Location Discovery and Management * Mobile Ad-Hoc Computing Platforms, Systems and Testbeds * Quality-of-Service * Routing Protocols (Unicast, Multicast, etc.) * Secure Services and Protocols * Sensor Networks * Self-Configuration * Service Discovery * Timing Synchronization * Wireless Internet * Wireless Mesh Networks Invited Speakers ---------------- * Srdjan Krco, Univ. Novi Sad, Serbia & Ericsson, Ireland * Xuemin (Sherman) Shen, University of Waterloo, Canada * TBA Proceedings ----------- The conference proceedings will be published by Springer-Verlag as Lecture Notes in Computer Science (LNCS) (pending approval). Papers should have a length of up to 14 pages following the Springer LNCS format; for more information contact the Springer website at http://www.springeronline.com/lncs/ . Paper Submissions ----------------- Papers should be submitted using EasyChair conference management system http://www.easychair.org/ . We seek original contributions which must not be submitted in parallel to any other conference. Papers should be prepared according to the formatting instructions at the LNCS website, which provides general formatting instructions and templates/style files for many commonly used word processors (LaTeX, Word, Framemaker, etc.). The manuscript should not exceed 14 LNCS pages (including text, figures and references). Authors should submit PDF version of their papers. Prepare your submission to include the topic, three keywords and the name of a contact person with e-mail address. All papers will be reviewed for technical merit. Accepted papers will be published in the conference proceedings, provided at least one author of the paper registers to present the paper at the conference. LNCS is published, in parallel to the printed books, in full-text electronic form at http://www.springerlink.com . Authors of accepted papers therefore need to submit all the electronic files, most importantly the source files, of all parts of the manuscript as advised in the instructions on the LNCS website. More instructions will be sent to authors of accepted papers after the reviewing and acceptance decisions are taken. General chair ------------- * David Coudert, INRIA, Sophia Antipolis, France Program co-chairs ----------------- * David Simplot-Ryl, INRIA, Lille, France * Ivan Stojmenovic, University of Birmingham, UK Poster and demonstration Chairs ------------------------------- * Srdjan Krco, Ericsson, Ireland * Michel Syska, I3S(CNRS/UNSA), France Publicity chair --------------- * Herve Rivano, CNRS, Nice, France Submission chair ---------------- * Xu Li, Carleton University, Ottawa, Canada Webmaster --------- * Christelle Molle, DGA/CNRS, Sophia Antipolis, France Local organizing committee -------------------------- * Cristiana Gomes, INRIA, Sophia Antipolis, France * Florian Huc, CNRS, Sophia Antipolis, France * Corinne Jullien, CNRS, Sophia Antipolis, France * Patricia Lachaume, INRIA, Sophia Antipolis, France * Ignasi Sau Valls, CNRS, Sophia Antipolis, France Financial Chair --------------- * Corinne Jullien, CNRS, Sophia Antipolis, France Program committee ----------------- * Eitan Altman, INRIA Sophia Antipolis, France * Nael Abu-Ghazaleh, SUNY, Binghamton, USA * Jiannong Cao, Hong Kong Polytechnic Univ., China * Edgar Chavez, Univ. Michoacana, Mexico * Costas Constantinou, Univ. Birmingham, UK * Mieso Denko, Univ. of Guelph, Canada * Mischa Dohler, Orange Labs, France * Eric Fleury, ENS Lyon, France * Hannes Frey, Univ. Southern Denmark * Holger Karl, Univ. Paderborn, Germany * Evangelos Kranakis, Carleton Univ., Canada * Danny Krizanc, Wesleyan Univ., USA * Thomas Kunz, Carleton Univ., Canada * Xiang-Yang Li, IIT, USA * Weifa Liang, The Australian National Univ., Australia * Hai Liu, Univ. Ottawa, Canada * Cecilia Mascolo, Univ. College of London * Lata Narayanan, Concordia Univ., Canada * Ioanis Nikolaidis, Univ. Alberta, Canada * Jaroslav Opatrny, Concordia Univ., Canada * Marina Papatriantafilou, Chalmers Univ., Sweden * Paolo Penna, Univ. Salerno, Italy * Pedro M. Ruiz, Univ. of Murcia, Spain * Chun Tung Chou, Univ. New South Wales, Australia * Qing-An Zeng, Univ. Cincinnati, USA Steering Committee ------------------ * Evangelos Kranakis, Carleton Univ., Canada * Michel Barbeau, Carleton Univ., Canada * S. S. Ravi, SUNY Albany, USA * Ioanis Nikolaidis, Univ. Alberta, Canada * Violet R. Syrotiuk, Arizona State Univ., USA * Thomas Kunz, Carleton Univ., Canada Associated Workshops -------------------- * 1st International Colloquium on Foundations of Mobile Systems Security and Reliability (MOSAR), September 13 2008. http://www2.lifl.fr/MOSAR2008/ * PhD Workshop on AdHOC and Wireless Networks (PhD-NOW), September 13 2008. Colocated Events ---------------- The two conferences AdHoc-NOW 2008 and IEEE PIMRC 2008 give you an opportunity to have a fruitful and exciting stay in French Riviera. After the 7th International Conference on AD-HOC Networks & Wireless (AdHoc-NOW 2008) in Nice (September 10-12, 2008), the 19th annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2008) will be held in Cannes (September 14-18, 2008). AdHoc-NOW 2008: http://www-sop.inria.fr/mascotte/adhocnow/ IEEE PIMRC 2008: http://www.pimrc2008.org/ Do not forget to check hosted workshops on our website. -- Herv? Rivano AdHoc Now 2008 Publicity chair http://www-sop.inria.fr/mascotte/adhocnow/ From demis at dimi.uniud.it Wed Dec 5 18:57:19 2007 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 05 Dec 07 18:57:19 +0100 Subject: [ecoop-info] CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) Message-ID: <20071205175722.E31B447C45C@smtp.uniud.it> -- We apologize for multiple copies -- ******************************************************************* ****************** Call for participation ******************* ******************************************************************* 3rd International Workshop on Automated Specification and Verification of Web Sites (WWV'07) December 14, 2007, San Servolo, Venice (Italy) http://wwv07.dimi.uniud.it EARLY REGISTRATION DEADLINE: DECEMBER 11th ******************************************************************* WWV'07 will be held in Venice (Italy) in the convention centre of the island of San Servolo. SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. The program contains papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites WWV'07 provides a forum for researchers from the communities of Rule- based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. REGISTRATION Registration is web-based via the following link: http://wwv07.dimi.uniud.it/registration.html The deadline for early registration is DECEMBER 11th. ACCOMODATION The organization of the workshop has blocked single rooms in the research centre of the island of San Servolo at a very special rate for the nights of Dec. 13th and 14th (so, you can arrive on the 13th and depart on the 15th). Some rooms are still available. For further information, follow the link: http://wwv07.dimi.uniud.it/#accomodation INVITED SPEAKERS Paolo Traverso ITC-IRST, Italy Joost Visser Software Improvement Group, The Netherlands PROGRAM CO-CHAIRS Santiago Escobar Technical University of Valencia, Spain Massimo Marchiori University of Padova, Italy WORKSHOP CHAIR Demis Ballis University of Udine, Italy PROGRAM COMMITTEE Jesus Almendros University of Almeria, Spain Maria Alpuente Technical University of Valencia, Spain Uwe Assmann Technische Universtit?t Dresden, Germany Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Tevfik Bultan University of California, Santa Barbara, USA Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Nora Koch Ludwig Maximilians Universit?t M?nchen, Germany Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Tiziana Margaria University of Potsdam, Germany Catherine Meadows Naval Research Laboratory, USA Sebastian Schaffert Salzburg Research, Austria ACCEPTED PAPERS - Musab AlTurki and Jose Meseguer. Reduction Semantics and Formal Analysis of Orc Programs - Peter Hofner and Florian Lautenbacher. Algebraic Structure of Web Services - Jesus M. Almendros-Jimenez. A RDF Query Language Based on Logic Programming - Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina. From a generic framework for the ALC description logic to formally verified reasoners - Faisal Abouzaid and John Mullins. A Calculus for Generation, Verification and Refinement of BPEL Specifications - Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi. Service discovery and negotiation with COWS - Robin Message and Alan Mycroft. Controlling control flow in web applications - Nawal Guermouche, Olivier Perrin and Christophe Ringeissen. Timed Specification For Web Services Compatibility Analysis - Sonia Flores, Salvador Lucas and Alicia Villanueva. Formal Verification of Websites From mislav.grgic at fer.hr Wed Dec 5 23:26:30 2007 From: mislav.grgic at fer.hr (Mislav Grgic) Date: Wed, 5 Dec 2007 23:26:30 +0100 Subject: [ecoop-info] CALL FOR PAPERS: 50th International Symposium ELMAR-2008 Message-ID: <6DEE7D97D631C947A753C1019303266603119F0E@sluga.fer.hr> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 50th International Symposium ELMAR-2008 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 10-13 September 2008, Zadar, Croatia Submission deadline: March 03, 2008 http://www.elmar-zadar.org/ CALL FOR PAPERS AND SPECIAL SESSIONS TECHNICAL CO-SPONSORS IEEE Region 8 EURASIP - European Assoc. Signal, Speech and Image Processing IEEE Croatia Section IEEE Croatia Section Chapter of the Signal Processing Society IEEE Croatia Section Joint Chapter of the AP/MTT Societies TOPICS --> Image and Video Processing --> Multimedia Communications --> Speech and Audio Processing --> Wireless Commununications --> Telecommunications --> Antennas and Propagation --> e-Learning and m-Learning --> Navigation Systems --> Ship Electronic Systems --> Power Electronics and Automation --> Naval Architecture --> Sea Ecology --> Special Session Proposals - A special session consist of 5-6 papers which should present a unifying theme from a diversity of viewpoints; deadline for proposals is February 04, 2008. KEYNOTE TALKS * Professor Sanjit K. Mitra, University of Southern California, Los Angeles, California, USA: Image Processing using Quadratic Volterra Filters * Univ.Prof.Dr.techn. Markus Rupp, Vienna University of Technology, AUSTRIA: Testbeds and Rapid Prototyping in Wireless Systems * Professor Paul Cross, University College London, UK: GNSS Data Modeling: The Key to Increasing Safety and Legally Critical Applications of GNSS * Dr.-Ing. Malte Kob, RWTH Aachen University, GERMANY: The Role of Resonators in the Generation of Voice Signals SPECIAL SESSIONS SS1: "VISNET II - Networked Audiovisual Systems" Organizer: Dr. Marta Mrak, I-lab, Centre for Communication Systems Research, University of Surrey, UNITED KINGDOM Contact: http://www.ee.surrey.ac.uk/CCSR/profiles?s_id=3937 SS2: "Computer Vision in Art" Organizer: Asst.Prof. Peter Peer and Dr. Borut Batagelj, University of Ljubljana, Faculty of Computer and Information Science, Computer Vision Laboratory, SLOVENIA Contact: http://www.lrv.fri.uni-lj.si/~peterp/ or http://www.fri.uni-lj.si/en/personnel/298/oseba.html SUBMISSION Papers accepted by two reviewers will be published in symposium proceedings available at the symposium and abstracted/indexed in the INSPEC and IEEExplore database. More info is available here: http://www.elmar-zadar.org/ IMPORTANT: Web-based (online) paper submission of papers in PDF format is required for all authors. No e-mail, fax, or postal submissions will be accepted. Authors should prepare their papers according to ELMAR-2008 paper sample, convert them to PDF based on IEEE requirements, and submit them using web-based submission system by March 03, 2008. SCHEDULE OF IMPORTANT DATES Deadline for submission of full papers: March 03, 2008 Notification of acceptance mailed out by: April 21, 2008 Submission of (final) camera-ready papers : May 05, 2008 Preliminary program available online by: May 12, 2008 Registration forms and payment deadline: May 19, 2008 Accommodation deadline: June 02, 2008 GENERAL CO-CHAIRS Ive Mustac, Tankerska plovidba, Zadar, Croatia Branka Zovko-Cihlar, University of Zagreb, Croatia PROGRAM CHAIR Mislav Grgic, University of Zagreb, Croatia INTERNATIONAL PROGRAM COMMITTEE Juraj Bartolic, Croatia David Broughton, United Kingdom Paul Dan Cristea, Romania Kresimir Delac, Croatia Zarko Cucej, Slovenia Marek Domanski, Poland Kalman Fazekas, Hungary Janusz Filipiak, Poland Renato Filjar, Croatia Borko Furht, USA Mohammed Ghanbari, United Kingdom Mislav Grgic, Croatia Sonja Grgic, Croatia Yo-Sung Ho, Korea Bernhard Hofmann-Wellenhof, Austria Ismail Khalil Ibrahim, Austria Bojan Ivancevic, Croatia Ebroul Izquierdo, United Kingdom Kristian Jambrosic, Croatia Aggelos K. Katsaggelos, USA Tomislav Kos, Croatia Murat Kunt, Switzerland Panos Liatsis, United Kingdom Rastislav Lukac, Canada Lidija Mandic, Croatia Gabor Matay, Hungary Branka Medved Rogina, Croatia Borivoj Modlic, Croatia Marta Mrak, United Kingdom Fernando Pereira, Portugal Pavol Podhradsky, Slovak Republic Ramjee Prasad, Denmark Kamisetty R. Rao, USA Gregor Rozinaj, Slovak Republic Gerald Schaefer, United Kingdom Mubarak Shah, USA Shiguang Shan, China Thomas Sikora, Germany Karolj Skala, Croatia Marian S. Stachowicz, USA Ryszard Stasinski, Poland Luis Torres, Spain Frantisek Vejrazka, Czech Republic Stamatis Voliotis, Greece Nick Ward, United Kingdom Krzysztof Wajda, Poland Branka Zovko-Cihlar, Croatia CONTACT INFORMATION Assoc.Prof. Mislav Grgic, Ph.D. FER, Unska 3/XII HR-10000 Zagreb CROATIA Telephone: + 385 1 6129 851 Fax: + 385 1 6129 568 E-mail: elmar2008 (_) fer.hr For further information please visit: http://www.elmar-zadar.org/ From pc at p-cos.net Wed Dec 5 23:17:35 2007 From: pc at p-cos.net (Pascal Costanza) Date: Wed, 5 Dec 2007 23:17:35 +0100 Subject: [ecoop-info] [CfP] European Lisp Symposium 2008 Message-ID: <12A3AFDC-F806-4DDC-B947-7B6B246D6490@p-cos.net> ****************************************************************************** * * * 1st European Lisp Symposium (ELS 2008) * * * * http://prog.vub.ac.be/~pcostanza/ els08 * * * * Bordeaux, France, May 22-23, 2008 * * LaBRI, Universit? Bordeaux 1 * * * ****************************************************************************** Important Dates: **************** * Submission of research papers: February 11, 2008 * Work-in-progress papers: March 24, 2008 * Author notification: April 7, 2008 * First final versions due: April 28, 2008 Accepted research papers will be invited for a special issue of the Journal of Universal Computer Science (J.UCS). See symposium website for more details. Scope: ****** The European Lisp Symposium 2008 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, ISLISP, Dylan, and so on. Topics include, but are not limited to: * Language design and implementation techniques * Language integration, interoperation and deployment * Experience reports and case studies * Reflection and meta-level architectures * Educational approaches * Software adaptation and evolution * Configuration management * Artificial intelligence * Large and ultra-large-scale systems * Development methodologies * Development support and environments * Persistent systems * Scientific computing * Parallel and distributed computing * Data mining * Semantic web * Dynamic optimization * Innovative applications * Hardware and virtual machine support * Domain-oriented programming We also encourage submissions about past approaches that have been largely forgotten about, as long as they are presented in a new setting. We invite submissions in two categories: original contributions and work-in-progress papers. *** Original contributions have neither been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art, or presents old results from a new perspective. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Accepted papers will be published in the Journal of Universal Computer Science (J.UCS). Authors of accepted papers are expected to present their work at the symposium main track in Bordeaux on May 23, 2008. *** Work in progress describes ongoing work that is not ready for publication yet, but would benefit strongly from feedback by other researchers, practitioners and educators. Such contributions will not be published in the symposium proceedings, but will be made available at the symposium website. The work-in-progress track will be organized as a series of writers' workshops where authors work together to improve their papers. Some authors who submit papers for the main track will be suggested to contribute their work in this track instead, if the program committee decides that their submission is not yet ready for a publication. The writers' workshops will take place at the symposium in Bordeaux on May 22, 2008. Submissions: ************ Papers for the main track must be submitted electronically, preferably as PDF or PostScript file (level 1 or 2). However, submissions in RTF or Word format are also accepted. Initial submissions may not exceed 15 pages in the J.UCS style, including all appendices. (Invited papers for the journal publication will have a page limitation of 25 pages in the same format.) See the symposium website for more details, including about the submission procedure. Papers for the work-in-progress track may be in PDF, PostScript level 1 or 2, RTF or Word, and may not exceed 25 pages. There are no further requirements on their format. Papers for the work-in-progress track must be sent via email to pascal.costanza at vub.ac.be. Program Chair: ************** * Pascal Costanza, Vrije Universiteit Brussel, Belgium Program Committee: ****************** * Marco Antoniotti, Universita Milano Bicocca, Italy * Marie Beurton-Aimar, Universit? Bordeaux 1, France * Jerry Boetje, College of Charlston, USA * Theo D'Hondt, Vrije Universiteit Brussel, Belgium * Ir?ne Durand, Universit? Bordeaux 1, France * Marc Feeley, Universit? de Montr?al, Canada * Erick Gallesio, Universite de Nice / Sophia Antipolis, France * Rainer Joswig, Independent Consultant, Germany * Ant?nio Leit?o, Technical University of Lisbon, Portugal * Henry Lieberman, MIT, USA * Scott McKay, ITA Software, Inc., USA * Ralf M?ller, Hamburg University of Technology, Germany * Nicolas Neuss, Universit?t Karlsruhe, Germany * Kent Pitman, PTC, USA * Christophe Rhodes, Goldsmiths College, University of London, United Kingdom * Jeffrey Mark Siskind, Purdue University, USA * Didier Verna, EPITA Research and Development Laboratory, France -- Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net Vrije Universiteit Brussel, Programming Technology Lab Pleinlaan 2, B-1050 Brussel, Belgium From emmanuel.pietriga at inria.fr Thu Dec 6 15:33:36 2007 From: emmanuel.pietriga at inria.fr (Emmanuel Pietriga) Date: Thu, 6 Dec 2007 15:33:36 +0100 Subject: [ecoop-info] [CfP] 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'08) Message-ID: [Apologies if you receive multiple copies] CALL FOR PAPERS 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'08) Herrsching am Ammersee, Germany, 16-20 September 2008 http://vlhcc08.cs.unibw.de/ From the beginning of the computer age, researchers and computing practitioners have sought ways to make interactions with computers more human- oriented. For example, visual languages have long been used to provide effective communication between humans and computers. Visual languages have been successfully employed for end-user programming, modeling, and rapid prototyping; they have supported design activities by people of many disciplines and backgrounds including architects, artists, children, engineers, and scientists. In addition, visual languages and technologies are increasingly being used to facilitate human-human communication through Internet/Web technology and electronic mobile devices. The IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) is the premier international forum for researchers and industrial practitioners to discuss the theory, applications and evaluation of technologies, visual and otherwise, that enhance the role of humans in the computing process. Established in 1984, the mission of the IEEE Symposium on Visual Languages and Human-Centric Computing ("VL/HCC") is to support the design, formalization, implementation, and evaluation of computing languages that are easier to learn, easier to use, and easier to understand by a broader group of people. This includes all research aimed at the above mission, regardless of whether it uses entirely visual technology, text, or instead uses sound, taste, virtual reality, the web, or any other technologies. Examples of research addressing this problem include, but are not limited to, language/environmental design aspects, theory that supports the many media used toward this goal, implementation aspects, empirical work, software comprehension aspects (including software visualization), and software modeling and/or software engineering aspects. ------------------------------------------------------------------------ -------- SCOPE AND TOPICS ------------------------------------------------------------------------ -------- We solicit original, unpublished research papers that focus on one or more aspects of human-centric computing technology, for instance visual programming or interaction, text, sound, virtual reality, the Web, or other multimedia technologies. Research papers may address cognitive and design aspects, underlying theories, formal methods, taxonomies, implementation efforts, tool support, and empirical studies. We also solicit short papers that present work in progress or demonstrations of tools. Areas of interest include, but are not limited to, the following: - Design, theory, and application of visual languages for programming, modeling, and communication - Domain-specific languages (DSL) - Computer-mediated human-human communication - Empirical studies of human-centric software technologies - Languages and tools for end-user software development - Languages and tools for domain-specific software development - Model-driven development of interactive systems - Multimedia systems - Multi-modal interaction - Software visualization and algorithm animation - Visual or multidimensional model-driven development ------------------------------------------------------------------------ -------- PAPER SUBMISSION ------------------------------------------------------------------------ -------- We invite two different types of paper submissions: Full-length papers reporting on research or experience, Short papers describing work in progress or tool demonstrations. Standard papers may be up to eight pages in IEEE double-column format; short papers may be up to four pages in IEEE double-column format. Papers must be submitted electronically. All submissions will be reviewed by members of the international Program Committee. Accepted papers will appear in the Proceedings of VL/HCC'08, published by the IEEE Computer Society. The paper submission deadline is March 6, 2008; to aid in reviewer assignments, we also request that prospective authors submit abstracts and titles by February 21, 2008. Note that the conference is also inviting submissions for workshops and tutorials to be held in conjunction with the symposium; more information about these submission types can be found on the VL/HCC?08 web site. Authors of the best papers accepted for the conference will be asked to submit revised versions of their work for a special issue of the Journal of Visual Languages and Computing. ------------------------------------------------------------------------ -------- IMPORTANT DATES ------------------------------------------------------------------------ -------- Workshop/Tutorial proposals: 17 February 2008 Workshop/Tutorial decision: 3 March 2008 Paper abstracts: 21 February 2008 Paper submission: 6 March 2008 Notification of decision: 16 May 2008 Camera-ready copy: 12 June 2008 ------------------------------------------------------------------------ -------- SYMPOSIUM ORGANIZERS ------------------------------------------------------------------------ -------- GENERAL CHAIR Mark Minas, Universit?t M?nchen, Germany PROGRAM CO-CHAIRS Paolo Bottoni, University of Rome, Italy Mary Beth Rosson, Pennsylvania State University, USA PUBLICITY CHAIR Emmanuel Pietriga, INRIA, France WORKSHOP/TUTORIAL CHAIR Alan Blackwell, Cambridge University, UK STEERING COMMITTEE Paolo Bottoni, University of Rome, Italy Margaret Burnett, Oregon State University, USA Maria Francesca Costabile, University of Bari, Italy Gregor Engels, University of Paderborn, Germany Martin Erwig, Oregon State University, USA Mark Minas, Universit?t M?nchen, Germany Mary Beth Rosson, Pennsylvania State University, USA Andy Sch?rr, University of Darmstadt, Germany Steve Tanimoto, University of Washington, USA PROGRAM COMMITTEE Laura Beckwith, Microsoft, USA Robert Biddle, Carleton University, Ottawa, Canada Maria Francesca Costabile, University of Bari, Italy Gennaro Costagliola University of Salerno, Italy Phil Cox, Dalhousie University, Canada Juan de Lara, Universidad Autonoma of Madrid, Spain Rob De Line, Microsoft Research, USA Jin Song Dong, National University of Singapore, Singapore Peter Eades, University of Sydney, Australia Martin Erwig, Oregon State University, USA Jeff Gray, University of Alabama at Birmingham, USA John Grundy, University of Auckland, New Zealand Reiko Heckel, University of Leicester, UK John Hosking, University of Auckland, New Zealand John Howse, University of Brighton, UK Chris Hundhausen, Washington State University, USA Kim Marriott, Monash University, Melbourne, Australia Bernd Meyer, Monash University, Melbourne, Australia Nikolay Mirenkov, University of Aizu, Japan Paul Mulholland, The Open University, UK James Noble, Victoria University of Wellington, New Zealand Marian Petre, The Open University, UK Emmanuel Pietriga, INRIA, France David Redmiles, University of California, Irvine, USA Alex Repenning ,University of Colorado, USA Pablo Romero, University of Sussex, UK Stefan Sauer, University of Paderborn, Germany Margaret-Anne Storey, University of Victoria, Canada Gabriele Taentzer Philipps-Universit?t Marburg, Germany Shin Takahashi University of Tsukuba, Japan Juha Pekka Tolvanen U. of Jyv?skyl? / MetaCase, Finland Kang Zhang The University of Texas at Dallas, USA -- Emmanuel Pietriga INRIA Futurs - Projet In Situ tel : +33 1 69 15 34 66 Bat 490, Universit? Paris-Sud fax : +33 1 69 15 65 86 91405 ORSAY Cedex FRANCE http://www.lri.fr/~pietriga From ade at mobnets.rwth-aachen.de Thu Dec 6 19:03:53 2007 From: ade at mobnets.rwth-aachen.de (Alexandre de Baynast) Date: Thu, 06 Dec 2007 19:03:53 +0100 (CET) Subject: [ecoop-info] ISETC 2008 CFP Message-ID: ======================================== ISETC 2008 25-26 September 2008 Timisoara, Romania http://www.etc.upt.ro/other/isetc2008 ======================================== Call for Papers 8th International Symposium on Electronics and Telecommunications 25-26 September 2008, Timisoara, Romania The 8th International Symposium on Electronics and Telecommunications (ISETC08) is organized by the Faculty of Electronics and Telecommunications from the Politehnica University of Timisoara, Romania and the Association of Electrical Engineers from Timisoara in cooperation with IEEE Romania Section and the Academy of Technical Sciences from Romania. Its purpose is to be a forum for technical exchange amongst scientists having interests in: - Electronic Circuits, - Neural Networks, - Power Electronics, - Robotics, - Communications, - Signal and Image Processing, - Instrumentation and Measurements, - Microwaves, - Education. The technical program will include plenary lectures, regular technical sessions and special sessions. First Keynote Speaker Claude Berrou, France Prospective authors are invited to submit full-length, up to four to six page papers in Word format (DOC) or portable document format (PDF) to the ISETC Technical Committee. All papers will be handled and reviewed electronically. Accepted papers will be published in the Scientific Bulletin of the Politehnica University of Timisoara, Trans. on Electronics & Telecommunications, ISSN 1583-3380. For up-to-date information and paper submission, please visit the symposium web site: http://www.etc.upt.ro/other/isetc2008. SCHEDULE FOR AUTHORS Proposals for special sessions: February 1, 2008 Deadline for submission of papers: April 15, 2008 Notification of acceptance: June 15, 2008 Deadline for submission of camera-ready papers: July 1, 2008 Deadline for author registration: July 10, 2008 Organizing Committee Chair Marius Otesteanu, Romania Technical Program Chair Aldo De Sabata, Romania Publicity Chair Dan Lascu, Romania International Technical Program Committee Dimitrie Alexa, Romania Monica Borda, Romania Werner Braatz, Germany Andrei Campeanu, Romania Horia Carstea, Romania Silviu Ciochina, Romania Philip Constantinou, Greece Virgil Dobrota, Romania Karen Egiazarian, Finland Cornelia Gordan, Romania Axel Graeser, Germany Alexandru Isar, Romania Palagyi Kalman, Hungary Serban Lungu, Romania Ladislau Matekovits, Italy Sorin Moga, France Ioan Nafornita, Romania Monica Nafornita, Romania Brandusa Pantelimon, Romania Teodor Petrescu, Romania Emil Petriu, Canada Ioannis Pitas, Greece Viorel Popescu, Romania Dusan Popov, Romania Horia Porteanu, Germany Andre Quinquis, France Vladimir Rasvan, Romania Victoria Rodellar, Spain Adrian Rusu, Romania Vilem Srovnal, Czech Rep. Lucian Stanciu, Romania Iuliu Szekely, Romania Virgil Tiponut, Romania Corneliu Toma, Romania Liviu Toma, Romania Radu Vasiu, Romania Aurel Vlaicu, Romania Baozong Yuan, China Frantisek Zezulka, Czech Rep. From gupta at utdallas.edu Thu Dec 6 23:23:16 2007 From: gupta at utdallas.edu (Gopal Gupta) Date: Thu, 6 Dec 2007 16:23:16 -0600 (CST) Subject: [ecoop-info] PADL'08: Call for Participation (Early Reg. Deadline: Dec 13) Message-ID: CALL FOR PARTICIPATION!!! Tenth International Symposium on Practical Aspects of Declarative Languages 2008 (PADL '08) http://www.ist.unomaha.edu/padl2008/ San Francisco, USA January 7-8, 2008 Co-located with ACM POPL'08 You are cordially invited to the Tenth International Symposium on Practical Aspects of Declarative Languages that will be held on Jan 7-8, 2008 right before ACM POPL. The program includes invited talks by two eminent practitioners of declarative techniques/languages: John Launchbury and Walter Wilson. If you are attending ACM POPL, we encourage you to stay for a whole week in San Francisco and attend PADL as well. Please note that the deadline for early registration is fast approaching. Invited Talks: o Industrial Functional Programming John Launchbury o Large Scale Logic Servers in Business and Government Walter Wilson LIST OF ACCEPTED PAPERS o Efficient Reasoning for Nogoods in Constraint Solvers with BDDs Sathiamoorthy Subbarayan. o High-Level Database Programming in Curry Bernd Brassel, Michael Hanus and Marion Mueller. o Parser Combinators for Ambiguous Left-Recursive Grammars Richard Frost, Rahmatullah Hafiz and Paul Callaghan. o Switched-on Yampa. Declarative Programming of Modular Synthesizers George Giorgidze and Henrik Nilsson. o The Role of Abduction in Declarative Authorization Policies Moritz Y. Becker and Sebastian Nanz. o Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism Amadeo Casas, Manuel Carro and Manuel Hermenegildo. o Certified development tools implementation in Objective Caml B. Pagano, O. Andrieu, B. Canou, E. Chailloux, J-L Colaco, T. Moniot and P. Wang. o DCGs + Memoing = Packrat Parsing: But is it worth it? Ralph Becket and Zoltan Somogyi. o Model-Based Testing of Thin-Client Web Applications and Navigation Input P. Koopman, P. Achten and R. Plasmeijer. o Unification of Arrays in Spreadsheets with Logic Programming Phil Cox and Patrick Nicholson. o A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers M. Fernandez, K. Fisher, J. Nathan Foster, M. Greenberg and Y. Mandelbaum. o Automatic Coding Rule Conformance Checking Using Logic Programming G. Marpons, J. Mario, A. Herranz, L. Fredlund, M. Carro and J. J. Moreno-Navarro. o Multi-threading programming in Logtalk Paulo Moura, Paul Crocker and Paulo Jorge Nunes. o Scheduling light-weight parallelism in ARTCOP Jost Berthold, Abyd Al Zain and Hans-Wolfgang Loidl. o Specialising Simulator Generators for High-Performance Monte-Carlo Methods G. Keller, H. Chaffey-Millar, M. Chakravarty, D. Stewart and C. Barner-Kowollik. o Hierarchical Master-Worker Skeletons Jost Berthold, Mischa Dieterle, Rita Loogen and Steffen Priebe. o Comprehension and dependency analysis of aspect-oriented programs through declarative reasoning Laleh Mousavi Eshkevari, Venera Arnaoudova and Constantinos Constantinides. o An Improved Continuation Call-Based Implementation of Tabling Pablo Chico de Guzm?n, Manuel Carro, Manuel Hermenegildo, Cl?udio Silva and Ricardo Rocha. o Matchete: Paths through the Pattern Matching Jungle Martin Hirzel, Nathaniel Nystrom, Bard Bloom and Jan Vitek. o Flexible, Rule-based Constraint Model Linearisation Sebastian Brand, Gregory Duck, Jakob Puchinger and Peter Stuckey. Conference Organization: General Chair: Hai-Feng Guo Program Chair: Paul Hudak & David Warren From wgt at aszt.inf.elte.hu Fri Dec 7 11:09:52 2007 From: wgt at aszt.inf.elte.hu (Workshop on Generative Technologies) Date: Fri, 7 Dec 2007 11:09:52 +0100 (CET) Subject: [ecoop-info] WGT 2008 Final Call for Papers In-Reply-To: References: Message-ID: [ Apologies for multiple copies of this announcement ] **************************************************************** FINAL CALL FOR PAPERS First Workshop on Generative Technologies WGT 2008 http://wgt2008.elte.hu/ a satellite event of the 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) Budapest - Hungary April 5, 2008 **************************************************************** NEWS Invited speaker: Bran Selic Adjunct Professor, Carleton University, Ottawa, Canada **************************************************************** IMPORTANT DATES - Submission of full paper: December 10, 2007 - Submission of tool demo paper: December 10, 2007 - Author notification: January 10, 2008 - Final version due: January 25, 2008 **************************************************************** SCOPE Generative programming is an emerging paradigm aimed at automating important tasks in software development, compile-time and run-time code transformation, and the creation of domain-specific languages and flexible libraries. The purpose of the workshop is to provide a forum for researchers and practitioners working in this area to discuss state-of-the-art generative technologies and tools, and exchange ideas about the future of generative programming. Papers describing practical applications of generative styles, and new research directions are expected. Suggested areas of interest in the workshop include, but are not limited to: - Generative programming, metaprogramming - Separation of concerns, aspect-oriented techniques - Intentional programming - Domain engineering and domain analysis - Product-line architectures - Compile-time and run-time code transformation - Multi-stage languages - Generic and Active library-development - Analysis of language support for generative programming - Semantics, type-systems of generative programs - Case Studies and Demonstration Cases **************************************************************** PAPER SUBMISSION RESEARCH PAPERS (full papers, 8-10 pages) as well as TOOL DEMO PAPERS (up to 2 pages) should be submitted to the WGT 2008 organizers in ENTCS format (http://www.entcs.org). Submissions should be sent by e-mail to wgt at aszt.inf.elte.hu. Further information will be available at the WGT 2008 home page. At least one author of each accepted submission must register and present the paper at the workshop. **************************************************************** PROCEEDINGS After revision, final copies of the accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science (http://www.entcs.org). **************************************************************** ORGANIZING COMMITTEE - Zoltan Porkolab Eotvos Lorand University (HUN) - Norbert Pataki Eotvos Lorand University (HUN) - Adam Sipos Eotvos Lorand University (HUN) e-mail: wgt at aszt.inf.elte.hu PROGRAM COMMITTEE - Don Batory University of Texas at Austin (USA) - Jaakko Jarvi Texas A&M University (USA) - Ralf Lammel University of Koblenz-Landau (GER) - Hanspeter M?ssenb?ck Johannes Kepler University Linz (AT) - Zoltan Porkolab Eotvos Lorand University (HUN) - Elke Pulverm?ller University of Osnabrueck (GER) - Awais Rashid Lancaster University (UK) - Joao Saraiva University of Minho (POR) - Jeremy Siek University of Colorado at Boulder (USA) - Yannis Smaragdakis University of Oregon (USA) - Istvan Zolyomi Eotvos Lorand University (HUN) **************************************************************** From Andrew.Fish at bton.ac.uk Fri Dec 7 17:47:39 2007 From: Andrew.Fish at bton.ac.uk (Andrew.Fish at bton.ac.uk) Date: Fri, 7 Dec 2007 16:47:39 -0000 Subject: [ecoop-info] 2nd CFP for Diagrams 2008 Message-ID: <19975A316C67744D9720DD2F6AB1FC6604DE5A00@EXCHANGE1.university.brighton.ac.uk> [Apologies if you receive multiple copies of this email] =============================================================== 2nd Call for Papers: Diagrams 2008 Germany September 19 - 21, 2008 www.cmis.brighton.ac.uk/diagrams2008 =============================================================== We are delighted to announce our complete line up of keynote speakers: Professor John Etchemendy, Provost of Stanford University, W. Bradford Paley, Columbia University and Digital Image Design Incorporated, and Professor Dr Wilhelm Sch?fer, University of Paderborn. Professor Dr Sch?fer will be delivering a joint keynote with the co-located event Visual Languages and Human-Centric Computing. In addition, we are pleased that Nokia will be sponsoring the Diagrams 2008 Best Paper Award. Diagrams 2008 Chairs =============================================================== Diagrams 2008: 5th International Conference on the Theory and Application of Diagrams Herrsching, Germany September 19 - 21, 2008 Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of areas. Increasingly sophisticated visual representations are emerging and, to enable effective communication, insight is required into how diagrams are used and when they are appropriate for use. The pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the field of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualisations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams. The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour. Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during September 2000. Diagrams attracts a large number of researchers from virtually all related fields, placing the conference as a major international event in the area. Diagrams is the only conference that provides a united forum for all areas that are concerned with the study of diagrams: for example, architecture, artificial intelligence, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. For the first time in its history, Diagrams will be co-located, running in conjunction with the IEEE Symposium on Visual Languages and Human-Centric Computing and the ACM Symposium on Software Visualization as part of Visual Week. This co-location will provide a lively and stimulating environment, enabling researchers from related communities to exchange ideas and more widely disseminate research results. Cross-conference participation is encouraged and the program will include joint keynote speakers. Diagrams 2008 will consist of sessions including presentations of refereed papers, posters and tutorial sessions. We invite submissions of long research papers (15 pages) short research papers (7 pages) posters (3 pages) tutorial proposals (1 page; see the conference web page for full details) that focus on any aspect of diagrams research. Long papers should present original research results. Short papers and posters should present original research contributions, position or problem statements, summarise software to support the use of diagrams, or integrate results published elsewhere which are of interest to the Diagrams community. All submissions will be fully peer reviewed. The proceedings will be published by Springer in their Lecture Notes in Computer Science series, www.springer.com/lncs. Full details on the preparation of submissions can be found on the conference web site www.cmis.brighton.ac.uk/diagrams2008. Topics of interest include, but are not limited to: applications of diagrams computational models of reasoning with, and interpretation of, diagram design of diagrammatic notations diagram understanding by humans or machines diagram aesthetics and layout educational uses of diagrams graphical communication heterogeneous notations involving diagrams history of diagrammatic notations information visualization using diagrams novel uses of diagrams psychological issues pertaining to perception, comprehension or production of diagrams reasoning with diagrams software to support the use of diagrams theoretical aspects of diagrams including, for example, classification and formalization usability issues concerning diagrams Important Dates Abstract submission 20th March 2008 Paper and tutorial submission 1st April 2008 Poster submission 11th April 2008 Notification for papers/tutorials 16th May 2008 Notification for posters 23rd May 2008 Camera ready copies due 13th June 2008 Visual Week 15th - 21st September 2008 Diagrams conference 19th - 21st September 2008 Organisation General Chair Gem Stapleton, University of Brighton, UK Program Chairs John Howse, University of Brighton, UK John Lee, University of Edinburgh, UK Local Chair Mark Minas, Universit?t der Bundeswehr, Germany Publicity Chair Andrew Fish, University of Brighton, UK Web Site Aidan Delaney, University of Brighton, UK Program Committee Gerard Allwein (Naval Research Laboratory, USA) Michael Anderson (University of Hartford, USA) Dave Barker-Plummer (Stanford University, USA) Alan Blackwell (Cambridge University, UK) Dorothea Blostein (Queen's University, Canada) B. Chandrasekaran (Ohio State University, USA) Peter Cheng (University of Sussex, UK) Phil Cox (Dalhousie University, Canada) Richard Cox (University of Sussex, UK) Frithjof Dau (University of Wollongong, Australia) Max J. Egenhofer (University of Maine, USA) Stephanie Elzer (Millersville University, USA) Yuri Engelhardt (University of Amsterdam) Jacques Fleuriot (University of Edinburgh, UK) Jean Flower (Autodesk, UK) David Gooding (Bath University) Corin Gurr (University of Reading, UK) Mary Hegarty (University of California, Santa Barbara, USA) Mateja Jamnik (Cambridge University, UK) Yasuhiro Katagiri (Future University, Japan) Hans Kestler (University of Ulm, Germany) Zenon Kulpa (Institute of Fundamental Technological Research, Poland) Oliver Lemon (University of Edinburgh, UK) Stefano Levialdi (University of Rome - "La Sapienza", Italy) Richard Lowe (Curtin University of Technology, Australia) Grant Malcolm (University of Liverpool) Kim Marriott (Monash University, Australia) Bernd Meyer (Monash University, Australia) Nathaniel Miller (University of Northern Colerado, USA) N. Hari Narayanan (Auburn University, USA) James Noble (Victoria University of Wellington, NZ) Jesse Norman (University College London, UK) Jon Oberlander (University of Edinburgh) Luis Pineda (Universidad Nacional Aut?noma de M?xico, Mexico City) Helen Purchase (Glasgow University, UK) Thomas Rist (Fachhochschule Augsburg) Peter Rodgers (University of Kent, UK) Frank Ruskey (University of Victoria, Canada) Atsushi Shimojima (Doshisha University, Japan) Sun-Joo Shin (Yale University, USA) John Sowa (VivoMind Intelligence Inc.) Keith Stenning (University of Edinburgh, UK) Nik Swoboda (Universidad Polit?cnica de Madrid, Spain) Gabi Taentzer (Technical University of Berlin) Susan Trickett (Naval Research Laboratory, USA) Barbara Tversky (Stanford University, USA) From L.M.J.Bergmans at ewi.utwente.nl Sat Dec 8 00:22:11 2007 From: L.M.J.Bergmans at ewi.utwente.nl (Lodewijk Bergmans) Date: Sat, 08 Dec 2007 00:22:11 +0100 Subject: [ecoop-info] CFP: SPLAT workshop at AOSD2008 Message-ID: Call For Papers: SPLAT! 2008 The 6th Workshop on Software-engineering Properties of Languages and Aspect Technologies http://www.aosd.net/workshops/splat/2008 ** Workshop Summary ** This workshop aims at exploring issues in designing AOSD languages and systems that promote good software engineering properties. The workshop aims to identify fundamental issues and trade-offs in achieving particular properties in AOSD languages and systems, to make these issues and tradeoffs explicit, and, to the extent possible, describe useful solutions. For more detailed information about the topic, goals and format of the workshop, we refer to the workshop website at http://www.aosd.net/workshops/splat/2008. ** Workshop Paper Submission Guidelines ** Attendance to the workshop is limited, to facilitate lively discussions and the exchange of ideas. Prospective participants are solicited to submit a 3-6 page position paper as a PDF file, no later than January 21st, 2008. The paper should be formatted in ACM SIG proceedings style. The position papers will be reviewed by a program committee. ** Follow-up publication ** We have arranged to publish a revised version of selected papers from this workshop in the Journal of Object Technology. Selection of these papers will take place after the workshop, and the publication process will include a second round of revisions and reviews. ** Important Dates ** Submission of papers: January 21st, 2008 Notification of acceptance: February 15th, 2008 Final version of paper: March 11th, 2008 Workshop: March 31st, 2008 ** Organizers ** You can contact the organizers at splat at ewi.utwente.nl Lodewijk Bergmans (University of Twente, The Netherlands) Erik Ernst (University of Aarhus, Denmark) Kris Gybels (Vrije Universiteit Brussel, Belgium) From hafedh.mili at uqam.ca Sat Dec 8 06:18:23 2007 From: hafedh.mili at uqam.ca (Hafedh Mili) Date: Sat, 08 Dec 2007 00:18:23 -0500 Subject: [ecoop-info] CF PARTICIPATION: 3rd INT. MCETECH CONF. ON E-TECHNOLOGIES, DU 23 AU 25 JANVIER 2008, HYATT REGENCY - MONTREAL Message-ID: <475A291F.3080708@uqam.ca> Apologies for multiple copies. THIRD INTERNATIONAL MCETECH CONFERENCE ON E-TECHNOLOGIES (www.mcetech.org/2008) JANUARY 23-25, 2008, Hyatt Regency - Montreal, Canada DEADLINE FOR EARLY REGISTRATION: JANUARY 11th, 2008 The Third International MCETECH Conference on e-Technologies offers a broad set of activities targeted at researchers, practitioners and decision makers interested in exploring the many facets of Internet applications. You are invited to participate in this year's diverse program which includes: ? A keynote speech by Dr. Paul Hofmann, from SAP Research (Palo Alto, CA), who will talk about ?Business Software for the Connected Enterprise?. ? A dozen tutorials on topics ranging from Internet Marketing, AJAX with GWT, IT security, Ruby on Rails, business process reengineering for the web, Web usability engineering, web services, etc. ? Three one-day workshops on, theory and practice of IT security, opportunities and challenges of service-oriented architectures, and open source best practices ? Twenty nine research presentations on topics ranging from business process management, to SOA, security and trust, semantic data mining, and e-collaboration. ? A general admission (free) half-day panel on the use of open source software in public administrations ? A rich social program providing many opportunities for professional networking. MCETECH2008 offers flexible registration packages. Register before January 11th to get up to a 20% discount on the registration fee. For more information, and for the on-line registration, please check www.mcetech.org/2008 -o- From Marjan.Sirjani at cwi.nl Sat Dec 8 10:13:54 2007 From: Marjan.Sirjani at cwi.nl (Marjan Sirjani) Date: Sat, 8 Dec 2007 10:13:54 +0100 (CET) Subject: [ecoop-info] CFPart: 1st IPM/UNU Winter School on Foundations and TrendsinComputer Science (FTCS'2008) Message-ID: <4589.194.225.71.254.1197105234.squirrel@webmail.cwi.nl> Our apologies if you have received multiple copies. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Call for Participation 1st IPM/UNU Winter School on Foundations and Trends in Computer Science (FTCS) Fundamental Concepts in Sequential and Concurrent Systems 31 January - 10 February of 2008, Tehran, Iran http://cs.ipm.ac.ir/FTCS08/ IPM School of Computer Science United Nations University ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ GENERAL INFORMATION This is the first international Winter School on Foundations and Trends in Computer Science (FTCS), organized jointly and funded by the International Institute for Software Technology of the United Nations University (UNU/IIST), and the IPM School of Computer Science. The theme of this edition of the FTCS school covers fundamental topics in sequential and concurrent systems. This FTCS school lasts 2 weeks and consists of four courses covering both foundations and current trends in concurrent and sequential systems. The advanced courses familiarize the participants with the state of the art in concurrency, while the foundation courses provide the fundamental knowledge and skills that students need to know about this rapidly changing scientific area. The courses have been designed with careful consideration for the balance between foundations and trends, and the theme of the school. The lecturers have been chosen for their international expertise and teaching experience. The aim of the school is to provide a forum for young professors, lecturers, researchers, and postgraduates (advanced Masters and PhD students) working in computer science as well as engineers from industry with a practical background in the development of information systems. The long-term goal of FTCS is to improve and enhance education and research in computer science in Iran and its neighboring countries. In addition to the formal lectures, the school will supply participants with relevant exercises and will provide an informal atmosphere in which solutions and other work can be discussed. Participation is open to all, however some previous exposure to the fundamentals of computer science is required. Participants will be selected according to their [UTF-8?]CV????????s which should be submitted to the organizing committee. SCHOOL PROGRAM The program is available at the home page http://cs.ipm.ac.ir/FTCS08/ LECTURES - The Spirit of Distributed Computing Wan Fokkink, Vrije Universiteit Amsterdam & CWI - The Foundations of Computation: sequential systems and parallel systems Zhiming Liu (UNU-IIST) and Jeff Sanders (UNU-IIST) 1. Relational methods for sequential systems Zhiming Liu, UNU-IIST 2. The Foundations of Parallel Systems Jeff Sanders, UNU-IIST - Logics In Computer Science Saeed Salehi, IASBS VENUE Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran. The IPM building is located in Niavaran, the north eastern part of Tehran, Iran. Niavaran is one of the most beautiful places of Tehran. The Niavaran park, palace, and museum are among the city's major tourist attractions. REGISTRATION FEES Local participants : 1'000'000 Rls Participants coming from abroad: 300 Euro (Limited number of scholarships are available, send your requests to unschool08 at ipm.ir) REGISTRATION DEADLINE December 30, 2007 Note: Visa application may take four to eight weeks. The registration will be possible at http://cs.ipm.ac.ir/FTCS08/ ORGANISATION - Farhad Arbab, CWI & Leiden University, The Netherlands - Zhiming Liu, UNU-IIST, China - Hamid Sarbazi Azad, IPM, Iran - Hamid Reza Shahrabi, IPM, Iran - Marjan Sirjani, University of Tehran & IPM, Iran From leucker at in.tum.de Sat Dec 8 22:21:15 2007 From: leucker at in.tum.de (Martin Leucker) Date: Sat, 8 Dec 2007 22:21:15 +0100 Subject: [ecoop-info] CFP: RV'08 EXTENDED DEADLINE Message-ID: <20071208212115.GA8956@in.tum.de> ===================================================================== Due to numerous requests: Submission Deadline now: December 21st, 2007 ===================================================================== We apologize if you receive multiple copies of this email. ---------------------------------------------------------------------- Call for Papers RV'08 8th Workshop on Runtime Verification http://rv08.in.tum.de/ March 30, 2008 Budapest, Hungary Affiliated with ETAPS'08 http://etaps08.mit.bme.hu/ ---------------------------------------------------------------------- RV'08 brings together researchers in order to debate how to monitor and analyze the execution of programs. The focus of runtime verification varies from testing software before deployment to detecting errors after deployment. Approaches to runtime verification include checking conformance with a formal specification written in a temporal or history-tracking logic. One of the longer-term goals of the workshop is to investigate the use of lightweight formal methods applied at runtime as a viable complement to methods aimed mainly at proving programs correct prior to execution, e.g., theorem proving and model checking. Moreover, the focus of RV ranges from detecting (non)-conformance to triggering fault protection mechanisms in case non-conformance has been detected. This allows for new software design and programming paradigms. Thus, RV's topics partially overlap with those found in other directions such as aspect oriented programming, self-healing systems, autonomous systems, adaptive systems, etc. The subject covers several technical fields as outlined below. * Specification languages and logics: Formal methods scientists have investigated logics and developed technologies that are suitable for model checking and theorem proving, but monitoring can reveal new observation-based foundational logics. * Aspect oriented languages with trace predicates: New results in extending aspect languages, such as for example AspectJ, with trace predicates replacing the standard pointcuts. Aspect oriented programming provides specific solutions to program instrumentation and program guidance. * Program instrumentation in general: Any techniques for instrumenting programs, at the source code or object code/byte code level, to emit relevant events to an observer. * Program Guidance in general: Methodologies, architectures, and techniques for guiding the behavior of a program once its specification is violated, for developing self-healing, autonomous, or adaptive systems. Techniques ranging from standard exceptions to advanced planning lead to new development methodologies and software architectures such as monitor-oriented programming or monitor-based runtime reflection. * Combining static and dynamic analysis: Monitoring a program with respect to a temporal formula can have an impact on the monitored program, with respect to execution time as well as memory consumption. Static analysis can be used to minimize the impact by optimizing the program instrumentation. Runtime monitors can be seen as proof obligations left over from proofs - what is left that could not be proved. * Dynamic program analysis: Techniques that gather information during program execution and use it to conclude properties about the program, either during test or in operation. Algorithms for detecting multi-threading errors in execution traces, such as deadlocks and data races. Algorithms for generating specifications from runs - dynamic reverse engineering, including also program visualization. * Security analysis: Monitoring for the enforcement of security policies. Successful applications include operating system and middleware access control, firewalls, stack inspection based sandboxing, detecting the threats of untrustworthy (malicious or buggy) code, intrusion detection etc. * Contract Security analysis: Monitoring for the enforcement of contract fulfillment in SOA and web-services, especially in contract-oriented software development. Both foundational and practical aspects are encouraged. PROCEEDINGS: Preliminary workshop proceedings will be available at the meeting as a technical report. As for RV'07, revised final papers will appear as Springer Lecture Notes in Computer Science (LNCS). SUBMISSIONS: * All submissions should be made electronically on the Submission Page. * Manuscripts of regular papers are limited to a maximum of 15 pages (excluding technical appendices) in PDF format (LNCS style mandatory). DATES: Submissions: December 21, 2007 Notification: January 14, 2008 Camera ready copy: January 28, 2008 Workshop: March 30, 2008 INVITED SPEAKER: Jean Goubault-Larrecq: Orchids, and Bad Weeds PROGRAM COMMITTEE: Mehmet Aksit (University of Twente, NL) Howard Barringer (University of Manchester, UK) Mads Dam (KTH Stockholm, SE) Bernd Finkbeiner (Saarland University, DE) Klaus Havelund (NASA Jet Propulsion Laboratory, US) Bengt Jonsson (Uppsala Univesitet, SE) Moonzoo Kim (KAIST, KR) Martin Leucker (Chair) (Technical University of Munich, DE) Dejan Nickovic (Verimag, FR) Doron Peled (Bar Ilan University, IL) Mauro Pezze (University of Lugano, CH) Shaz Qadeer (Microsoft Research, US) Grigore Rosu (University of Illinois, Urbana-Champaign, US) Gerardo Schneider (University of Oslo, NO) Henny Sipma (Stanford University, US) Oleg Sokolsky (University of Pennsylvania, US) Scott Stoller (State University of New York, US) Mario Sudholt (Ecole des Mines de Nantes-INRIA, LINA, FR) Serdar Tasiran (Koc University, TR) Stavros Tripakis (Cadence Labs, US) Yaron Wolfsthal (IBM, IL) STEERING COMMITTEE: Klaus Havelund (NASA Jet Propulsion Laboratory) Gerard Holzmann (NASA Jet Propulsion Laboratory) Insup Lee (University of Pennsylvania) Grigore Rosu (University of Illinois, Urbana-Champaign) From Selmin.Nurcan at univ-paris1.fr Sun Dec 9 21:32:59 2007 From: Selmin.Nurcan at univ-paris1.fr (Selmin Nurcan) Date: Sun, 09 Dec 2007 21:32:59 +0100 Subject: [ecoop-info] Call for Contributions RE'08 Message-ID: <20071209213259.91oawdn2bbc488o0@courrier.univ-paris1.fr> ===================================================================================== Call for Participation and Contributions 16th IEEE International Requirements Engineering Conference (RE'08) September 8th - 12th, Barcelona, Catalunya, Spain http://www.re08.org REQUIREMENTS ENGINEERING FOR A SUSTAINABLE WORLD ===================================================================================== Sustainability of the earth and its natural resources represents a crucial issue that must be addr