From rvdberg at acm.org Fri Feb 1 09:41:07 2008 From: rvdberg at acm.org (rob van den berg) Date: Fri, 1 Feb 2008 09:41:07 +0100 Subject: [ecoop-info] OOPSLA 2008 Call for Papers Message-ID: OOPSLA 2008 Call for Papers ===================================== essays, {craft, art, science} of software, python, eclipse, agile development, onward!, {generative, functional} programming, .net, open source, concurrency, smalltalk, aspects, second life, ruby, service- orientation, objects, embedded, ultra large scale, {model, test}-driven, passion, fun!, agents, domain-specific, use cases, movies, lightning talks, systems, objective-c, development, c#, design patterns, languages, wiki, product-lines, java, refactoring, plop ===================================== After more than 20 years OOPSLA is is a conference that continues to attract attendees craving for new and better programming and design paradigms as well as practices. In a few words the list above gives you a condensed feeling of what OOPSLA is all about. To continue with this tradition of groundbreaking work it is now up to you to contribute your work to OOPSLA! So what do we have in store this year: This year we will have 3 major research tracks with peer reviewed papers that will be published in the OOPSLA 2008 Proceedings: Research Papers, Onward! and Essays. We are seeking submissions for these tracks from academics and practitioners. Please visit http://www.oopsla.org/submit for more info. New this year is the Development program. Where the research program, essays and Onward! focus on rigorous peer reviewed research, the Development program focuses on the myriad of developments, large and small, taking place in industry, labs, and institutions every day. Open source, Service Oriented Architectures, Domain Specific Languages, Dynamic Languages, Ultra Large Scale Systems, the list is endless. The Development program is looking for papers, experience reports, demos, and posters. Submissions can come from researchers, academics, developers, practitioners, in short from you. More info can be found at http://www.oopsla.org/submit Here are the important dates: Call for Papers March 19, 2008 Due date for Research Program, Onward!, Development Program, Educators? Symposium, Essays and proposals for Tutorials, Panels, Workshops and DesignFest July 2, 2008 Due date for Development Program Proposals, Student Research Competition, Doctoral Symposium and Student Volunteers OOPSLA 2008 Oct 19-23, Nashville For more information go to http://www.oopsla.org Program Chair Gregor Kiczales, University of British Columbia papers at oopsla.org Onward! Chair Dirk Riehle, SAP Research onward at oopsla.org Development Program Chair Nadyne Mielke, Microsoft Olaf Zimmermann, IBM Research development_program at oopsla.org Conference Chair Gail E. Harris, Instantiated Software Inc. chair at oopsla.org rob van den berg | rvdberg at acm.org | +31 73 6400384 | 's- hertogenbosch, Netherlands From k.balogh at uva.nl Fri Feb 1 20:12:13 2008 From: k.balogh at uva.nl (Kata Balogh) Date: Fri, 1 Feb 2008 20:12:13 +0100 Subject: [ecoop-info] Last Call for Papers -- ESSLLI 2008 Student Session Message-ID: [apologies for multiple copies] *********************************************************** Last Call for Papers ESSLLI 2008 STUDENT SESSION 4-18 August 2008, Hamburg, Germany Submission deadline: 15 February 2008 Website: http://staff.science.uva.nl/~kbalogh/StuS13 *********************************************************** We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. CALL FOR PAPERS The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. *** Submission deadline: 15 February 2008 *** The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted. SUBMISSION Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at: http://staff.science.uva.nl/~kbalogh/StuS13 CONTACT Kata Balogh ESSLLI 2008 Student Session chair email: k.balogh at uva.nl tel.: +31 20 5254544 fax: +31 20 5254503 postal address: Department of Philosophy Universiteit van Amsterdam Nieuwe Doelenstraat 15 1012 CP Amsterdam The Netherlands From yingxu at ucalgary.ca Fri Feb 1 23:42:32 2008 From: yingxu at ucalgary.ca (Dr. Yingxu Wang) Date: Fri, 1 Feb 2008 15:42:32 -0700 Subject: [ecoop-info] CFP: IEEE ICCI'08 Deadline Extended (Cognitive Informatics at Stanford Univ.) Message-ID: <019101c86523$bb563930$e66a9f88@eng.ad.ucalgary.ca> Dear Colleague, Upon multiple requests, the deadline of IEEE ICCI'08 (http://www.enel.ucalgary.ca/ICCI2008/) for full paper submissions has been extended to Monday, March 3, 2008. FURTHER INFORMATION: The 7th IEEE International Conference on Cognitive Informatics (ICCI'08) http://www.enel.ucalgary.ca/ICCI2008/ August 14-16, 2008 Stanford Univ., California, USA The Proceedings of ICCI'08 will be published by IEEE CS Press and indexed by EI. Selected papers from the ICCI'08 Proceedings will be published in International Journals, such as IJCINI, IJSSCI and IEEE-TSMC. Sincerely, PROGRAM CO-CHAIRS Prof. Yingxu Wang (U of Calgary, Canada) Prof. Du Zhang (CSU, USA) ---------------------------------------------------------------------------- ------------------------------------ Yingxu Wang, PhD, P.Eng, F.WIF, SMIEEE, MACM Professor of Software Engineering and Cognitive Informatics Visiting Professor: Oxford Univ. (1995), Stanford Univ. (2008) Director, Theoretical and Empirical Software Engineering Research Center (TESERC) Director, International Center for Cognitive Informatics (ICfCI) Dept. of Electrical and Computer Engineering Shulich School of Engineering University of Calgary 2500 University Drive, NW Calgary, AB, Canada T2N 1N4 Tel: (403) 220 6141 Fax: (403) 282 6855 http://www.enel.ucalgary.ca/People/wangyx http://www.enel.ucalgary.ca/IJCINI http://www.enel.ucalgary.ca/ICCI2008/ ---------------------------------------------------------------------------- ----------------------------------- Latest Book: Software Engineering Foundations: A Software Science Perspective (1,488pp.) http://www.enel.ucalgary.ca/People/wangyx/Books/My%20Recent%20Books.htm ---------------------------------------------------------------------------- ----------------------------------- Editor-in-Chief, International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) Editor-in-Chief, International Journal of Software Science and Computational Intelligence (IJSSCI) Editor-in-chief, CRC Book Series in Software Engineering ---------------------------------------------------------------------------- -------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080201/d41933f0/attachment-0001.htm From bklin at inf.ed.ac.uk Fri Feb 1 17:46:43 2008 From: bklin at inf.ed.ac.uk (Bartek Klin) Date: Fri, 1 Feb 2008 16:46:43 +0000 Subject: [ecoop-info] Structural Operational Semantics 2008 - CFP Message-ID: [Our apologies for multiple copies of this letter] ========================================================= CALL FOR PAPERS Structural Operational Semantics 2008 An Affiliated Workshop of ICALP 2008 July 6, 2008, Reykjavik, Iceland http://homepages.inf.ed.ac.uk/bklin/SOS2008/ ========================================================= Aim: Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal and flexibility, structural operational semantics has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs, and in proving compiler correctness. Moreover, it has found application in emerging areas of computing such as probabilistic systems and systems biology. Structural operational semantics has been successfully applied as a formal tool to establish results that hold for classes of process description languages. This has allowed for the generalisation of well-known results in the field of process algebra, and for the development of a meta-theory for process calculi based on the realization that many of the results in this field only depend upon general semantic properties of language constructs. This workshop aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the series of SOS workshops is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. For the 2008 workshop we would also like to encourage novel applications of SOS techniques to research areas such as systems biology and hybrid or stochastic systems. Specific topics of interest include (but are not limited to): * programming languages * process algebras * higher-order formalisms * rule formats for operational specifications * meaning of operational specifications * compositionality of modal logics with respect to operational specifications * congruence with respect to behavioural equivalences * conservative extensions and translations of SOS specifications * derivation of proof rules from operational specifications * ordered, modular, and other variants of SOS * comparisons of SOS with rewriting systems, reactive systems and other forms of operational specification * comparisons between denotational, axiomatic and SOS * methods for operational specificiation of probabilistic, timed, stochastic, hybrid and biological systems * software tools that automate, or are based on, SOS. Papers reporting on applications of SOS to software engineering and other areas of computer science are welcome. History: The first SOS Workshop took place in London as one of the satellite workshops of CONCUR 2004. Subsequently, SOS 2005 occurred in Lisbon as a satellite workshop of ICALP 2005, SOS 2006 in Bonn as a satellite workshop of CONCUR 2006, and SOS 2007 in Wroclaw as a satellite workshop of LICS and ICALP 2007. A special issue of the Journal of Logic and Algebraic Programming on Structural Operational Semantics appeared in 2004; a special issue of Theoretical Computer Science dedicated to SOS 2005 appeared in 2007; and a special issue of Information & Computation on Structural Operational Semantics inspired by SOS 2006-2007 is in preparation. INVITED SPEAKER: Vincent Danos (Edinburgh, UK) PAPER SUBMISSION: We solicit unpublished papers reporting on original research on the general theme of SOS. Prospective authors should register their intention to submit a paper by uploading a title and abstract via the workshop web page by: *** Friday 28th March 2008. *** Papers should take the form of a pdf file in ENTCS format [http://www.entcs.org/], whose length should not exceed 15 pages (not including an optional "Appendix for referees" containing proofs that will not be included in the final paper). We will also consider 5-page papers describing tools to be demonstrated at the workshop. Proceedings: Preliminary proceedings will be available at the meeting. The final proceedings of the workshop will appear as a volume in the ENTCS series. We may also decide to arrange a special issue of an archival journal devoted to full versions of selected papers from the workshop. IMPORTANT DATES: * Submission of abstract: Friday 28th March 2008 * Submission: Sunday 6th April 2008 * Notification: Wednesday 7th May 2008 * Final version: Friday 23rd May 2008 * Workshop: Monday 6th July 2008 * Final ENTCS version due: Friday 8th August 2008. PROGRAMME COMMITTEE: Wan Fokkink (Amsterdam, NL) Matthew Hennessy (Dublin, IE, co-chair) Bartek Klin (Warsaw, PL, co-chair) Catuscia Palamidessi (LIX, Ecole Polytechnique, FR) Iain Phillips (Imperial College, London, UK) Michel Reniers (Eindhoven, NL) Grigore Rosu (Urbana-Champaign, IL, USA) Alex Simpson (Edinburgh, UK) Pawel Sobocinski (Southampton, UK) Simone Tini (Insubria, IT) Shoji Yuen (Nagoya, JP) CONTACT: sos-2008 at inf.ed.ac.uk WORKSHOP ORGANISERS: Matthew Hennessy Department of Computer Science Trinity College Dublin 2 Ireland Bartek Klin Warsaw University and University of Edinburgh, School of Informatics The King's Buildings Mayfield Road, Edinburgh EH9 3JZ United Kingdom From nurcan at univ-paris1.fr Sat Feb 2 00:07:47 2008 From: nurcan at univ-paris1.fr (Selmin Nurcan) Date: Sat, 02 Feb 2008 00:07:47 +0100 Subject: [ecoop-info] Last CfP - BPMDS'08 in conjunction with CAISE'08 Message-ID: <4.2.0.58.20080202000733.06852938@asterix.univ-paris1.fr> ***************************************************************** Call for Papers In Conjunction with CAiSE?08 The 9th Workshop on Business Process Modeling, Development, and Support (BPMDS'08) Business Process Life-Cycle: Design, Deployment, Operation & Evaluation 16-17 June 2008, Montpellier, France Papers submission deadline: February 15th, 2008 The Call for Papers can be downloaded from the BPMDS'08 Web site http://lamswww.epfl.ch/conference/bpmds08 ***************************************************************** -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------- BPMDS 2008 CALL FOR PAPERS The 9th Workshop on Business Process Modeling, Development, and Support (BPMDS'08) June 16-17, 2008, Montpellier, France Papers submission deadline: February, 15th, 2008 http://lamswww.epfl.ch/conference/bpmds08 BACKGROUND AND AIMS: Business processes have a life-cycle that comprises three phases, design, deployment, operation and evaluation. The design phase starts with requirements definition and ends with the implementation of the business process. In the deployment phase, the business process is tested under performance, compliance considerations etc. It is also verified for fulfilling the customer?s requirements. After successful testing, the business process is released to operation. In the operation and evaluation phase, the business process is measured and analyzed during operation to identify improvements. Each of the phases has one or more purposes. Examples for the purposes of the phases are given on the left. The design phase has the purpose to align the business process with the requirements of the business and to assure its compliance with legal rules etc. The deployment phase has the purpose to verify that the process fits the customer?s requirements to test its performance and to put it into production. In the operation & evaluation phase, evaluation serves the purpose to enhance and improve the process. Nevertheless the process has to be flexible while supporting the business goals. The BPMDS workshop 2008 is the 9th in a series of workshops designed according to the following principles: 1. A workshop should serve as a meeting place for researchers and practitioners in two fields: a. business development and b. business applications (software) development 2. Each workshop has its own, relatively narrow focus to facilitate meaningful discussions and brainstorming. During the previous BPMDS workshops, we discussed various issues that could be related to different, but isolated phases in the life-cycle of a business process. In the BMPDS08 workshop (http://lamswww.epfl.ch/conference/bpmds08), we will focus on the interaction between two or more phases of the life-cycle, as well as the holistic view of the whole life-cycle. Furthermore, the relationship between the phases and their associated purposes shall be investigated. Therefore, we will accept only contributions covering two or more phases of the lifecycle, or process life-cycle management in general. TOPICS FOR DISCUSSION : The main issues for discussion are: ? Goals and approaches for Business process life-cycles and their applicability ? Approaches, methods and technologies for the coupling of life-cycle phases ? Management of the business process lifecycle ? Support for the business process lifecycle ? Metrics and continuous improvement of processes in the life-cycle ? Evaluation and improvement may be practiced (i) in a stable state of the organization, but also and probably often (ii) because the environment changes. - Case (i) is related to the quality (management) aspects and to the continuous improvement - Case (ii) is related to the change management and BP transformation In both cases, we probably can/should have some topics (i) about the link between the BP, its improvement, and the support systems (not only BPMS), and (ii) the decision issues involved in all stages, illustrated in the wheel above. Examples of more concrete topics include, but are not limited to: ? Life-cycles for special types of business processes ? Process and information integration in business process life-cycles ? Processes for the management of business process life-cycles ? Software systems to support the business process life-cycle ? Metrics for business process life-cycles ? Business Activity Monitoring (BAM) ? Specific transitions in the BP life-cycle: - Design to deployment modeling, verification, alignment, organizational issues, etc. - Operation to redesign monitoring, mining, learning, etc. SUBMISSIONS: Papers submission deadline: February 15th, 2008 Prospective workshop participants are invited to submit a position paper related to one or more of the main topics. The paper selection will be based upon the relevance of a paper to the main topics, as well as upon its quality and potential to generate relevant discussion. Papers should be emailed to Selmin.Nurcan at univ-paris1.fr. FORM: The aim of the workshop is discussions, rather than presentations. To this end, position papers of up to 2500 words are sought. A position paper does not necessarily need to include answers to the problems described above. Position papers that raise relevant questions, or describe successful or unsuccessful practice, or describe experience will all be welcome. Short papers of up to 1000 words can also be submitted, and will be assigned a 10 minutes presentation. All papers will be published on our website before the workshop, so that everybody can learn about the problems that are important for other participants. EXPECTED RESULTS: Accepted papers will be published in the CAiSE'08 workshops proceedings. Based on the discussions, a working document will be produced to summarize the results and outline the promising directions in the field. After the workshop, the workshop material together with a selection of the best papers will be considered for publishing in a special issue of an international journal. IMPORTANT DATES: Submission deadline: February 15th 2008 Notification of acceptance: March 21st 2008 Camera-ready papers due: April 8th 2008 ORGANIZERS: Selmin Nurcan, University Paris 1 Panth?on Sorbonne, France. Rainer Schmidt, Aalen University of Applied Sciences, Germany. Pnina Soffer, University of Haifa, Israel. INDUSTRIAL ADVISORY BOARD: Ilia Bider, IbisSoft, Sweden. Ian Alexander, Scenario Plus, UK. Lars Tax?n, Link?ping University, Sweden. Gil Regev, Ecole Polytechnique F?d?rale de Lausanne (EPFL), Switzerland. WORKSHOP PROGRAM COMMITTEE: Ian Alexander Scenario Plus, UK Ilia Bider IbisSoft, Stockholm, Sweden Signe Ellegaard Borch - IT University of Copenhagen, Denmark Stewart Green - University of the West of England, UK Elke Hochmuller Carinthia University of Applied Sciences, Klagenfurt, Austria Paul Johannesson Royal University of Technology, Stockholm, Sweden Marite Kirikova Riga Technical University, Latvia Agnes Koschmider University of Karlsruhe, Germany Peri Loucopoulos Loughborough University, UK Jan Mendling Queensland University of Technology, Brisbane, Australia Murali Mohan Narasipuram City University of Hong Kong Selmin Nurcan University Paris 1 Pantheon Sorbonne, France L. F. Pau Erasmus University, Netherlands Jan Recker Queensland University of Technology, Brisbane, Australia Gil Regev Ecole Polytechnique F?d?rale, Lausanne, Switzerland Manfred Reichert University of Ulm, Germany Peter Rittgen University College of Bor?s, Sweden Michael Rosemann Queensland University of Technology, Brisbane, Australia Rainer Schmidt - University of Applied Sciences, Aalen, Germany Pnina Soffer University of Haifa, Israel Markus Strohmaier University of Toronto, Canada Lars Tax?n, Link?ping University, Sweden Barbara Weber University of Insbruk, Austria Jelena Zdravkovic Royal University of Technology, Stockholm, Sweden Michael zur Muehlen - Stevens Institute of Technology, USA -------------8<-------------------8<-------------------8<------------------- 8<-------------------8<-------- ---------------------------------------------------------------- Selmin NURCAN Ma?tre de Conf?rences / Associate Professor ---------------------------------------------------------------- Submit a paper to BPMDS'08 in conjunction with CAISE'08 http://lamswww.epfl.ch/conference/bpmds08 ---------------------------------------------------------------- Don't miss CAISE'08, http://www.lirmm.fr/caise08/ !! ---------------------------------------------------------------- Submit a paper to RE'08 http://www.re08.org/ ---------------------------------------------------------------- Submit a paper to REFS'08 in conjunction with COMPSAC'08 http://conferences.computer.org/compsac/2008/workshops/REFS.2008.htm ---------------------------------------------------------------- Don't miss RCIS'08 http://www.farcampus.com/rcis/ ---------------------------------------------------------------- Universit? Paris 1 - Panth?on - Sorbonne Centre de Recherche en Informatique 90, rue de Tolbiac 75634 Paris cedex 13 FRANCE http://crinfo.univ-paris1.fr/users/nurcan Tel : 33 - 1 44 07 86 34 Fax : 33 - 1 44 07 89 54 mailto:nurcan at univ-paris1.fr ---------------------------------------------------------------- IAE de Paris Universit? Paris 1 - Panth?on - Sorbonne 21, rue Broca 75240 Paris cedex 05 FRANCE Tel : 33 - 1 53 55 27 13 (r?pondeur) Fax : 33 - 1 53 55 27 01 ---------------------------------------------------------------- To handle yourself, use your head. To handle others, use your heart. ---------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080202/5504041f/attachment-0001.htm From Marjan.Sirjani at cwi.nl Sat Feb 2 15:38:44 2008 From: Marjan.Sirjani at cwi.nl (Marjan Sirjani) Date: Sat, 2 Feb 2008 15:38:44 +0100 (CET) Subject: [ecoop-info] FOCLASA'08 Call For Papers Message-ID: <4223.194.225.71.236.1201963124.squirrel@webmail.cwi.nl> Call for Papers 7th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA 2008 A Satellite Workshop of ICALP'08 Reykjavik, Iceland July 13th, 2008 http://foclasa08.lcc.uma.es Abstract A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, Web services, multi-agent systems, and component-based systems. Coordination languages and software achitectures are recognised as fundamental approaches to tackle this issue, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. The goal of the FOCLASA workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the contexts of coordination languages and software architectures. Important dates abstract submission: April, 14th, 2008 paper submission: April, 21st, 2008 notification: June, 13th, 2008 final version due: June, 27th, 2008 workshop: July, 13th, 2008 Topics of interest include (but are not limited to): - Theoretical models (coordination, component and service composition, concurrency, semantics, expressiveness) - Specification, refinement, and analysis of software systems (architectures, patterns and styles, verification of functional and non-functional properties) - Languages for interaction, coordination, architectures, and interface definition (implementation, interoperability, heterogeneity) - Dynamic software architectures (mobile agents, self- organizing/adaptive/reconfigurable systems) - Tools and environments for the development of applications. In particular, practice, experience and methodologies from the following areas are solicited as well: * Web Services * Multi-agent systems * Peer-to-peer systems * Grid computing * Component- based systems Call for Papers FOCLASA 2008 is a satellite workshop of the 35th International Colloquium on Automata, Languages and Programming (ICALP'08). The workshop will be held on July 13th, 2008. The workshop tries to provide a venue where researchers and practitioners on the topics above can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and software architecture, and explore together and disseminate solutions. FOCLASA 2008 invites the submission of technical papers in any of the topics of interest and areas listed below. Submissions must describe authors' original research work and their results. Description of work-in-progress is also encouraged. The contributions should not exceed 15 pages formatted according to the style of the Electronic Notes on Theoretical Computer Science (ENTCS), and should be submitted as PostScript (PS) or Portable Document Format (PDF) files via Easychair using the submission link in the workshop site. All submissions will be reviewed by an international program committee that will select them for presentation in the workshop. Selected papers will be available through the workshop website, and a printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published in Electronic Notes in Theoretical Computer Science (ENTCS). Participants will make a presentation of their papers (about twenty or twenty five minutes maximum), followed by a five to ten minutes round of questions and discussion on participants' work. The workshop will also include a closing panel in which several issues related to the topics of the workshop and some issues raised during the workshop will be discussed. The Panel Chair will invite the panelists and moderate the debate. The publication of a special issue on FOCLASA 2008 in an international scientific journal is also being prepared. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. Previous editions of FOCLASA have been published on Fundamenta Informaticae and Science of Computer Programming. Programme Committee Farhad Arbab, CWI, The Netherlands Luis Barbosa, University of Minho, Portugal Antonio Brogi, University of Pisa, Italy Carlos Canal, University of M?laga, Spain Vittorio Cortellessa, University of L'Aquila, Italy Atsushi Igarashi, University of Kyoto, Japan Jean-Marie Jacquet, University of Namur, Belgium Nickolas Kavantzas, Oracle, USA Nenad Medvidovic, University of Southern California, USA Ronaldo Menezes, Florida Institute of Technology, USA John-Jules Ch. Meyer, Universiteit Utrecht, The Netherlands George Papadopoulos, University of Cyprus, Cyprus Ernesto Pimentel, University of M?laga, Spain Pascal Poizat, ARLES Project-team, INRIA, Universit? d'Evry, France Julian Rathke, University of Sussex, United Kingdom Ant?nio Ravara, Technical University of Lisbon, Portugal Alessandro Ricci, University of Bologna, Italy Gwen Sala?n, University of M?laga, Spain Marjan Sirjani, University of Tehran, Iran Carolyn Talcott, SRI International Miguel Valero, Universidad Complutense de Madrid, Spain Mirko Viroli, University of Bologna, Italy Danny Weyns, Katholieke Universiteit Leuven, Belgium Steering Committee Antonio Brogi, University of Pisa, Italy Jean-Marie Jacquet, University of Namur, Belgium Ernesto Pimentel, University of M?laga, Spain Mirko Viroli, University of Bologna, Italy Organizing Committee Carlos Canal Universidad de M=E1laga, Spain Web: http://www.lcc.uma.es/~canal Pascal Poizat INRIA Rocquencourt Projet ARLES Web: http://www.ibisc.univ-evry.fr/~poizat Marjan Sirjani University of Tehran, Iran Web: http://ece.ut.ac.ir/msirjani From zheng.li at kcl.ac.uk Sun Feb 3 23:23:11 2008 From: zheng.li at kcl.ac.uk (Zheng Li) Date: Sun, 03 Feb 2008 22:23:11 +0000 Subject: [ecoop-info] Call for Papers: Working Conference on Source Code Analysis and Manipulation Message-ID: <47A63ECF.2020006@kcl.ac.uk> Call for Papers and Tool Demo Proposals - SCAM 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation 28th-29th September 2008, Beijing, China, Co-located with ICSM 2008 http://www2008.ieee-scam.org/ ---------------- Conference aims: ---------------- The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of the system. The analysis and manipulation of source code thus remains a pressing concern. --------------------------------- Covered topics and paper formats: --------------------------------- We welcome submission of papers that describe original and significant work in the field of source code analysis and manipulation. Topics of interest include, but are not limited to: * program transformation * abstract interpretation * program slicing * source level software metrics * decompilation * source level testing and verification * source level optimization * program comprehension Submitted papers should not be longer than 10 pages. We also welcome submission of 2 page proposals for tool demonstrations expected to be performed live at the conference. All papers submitted should follow IEEE Computer Society Press Proceedings Author Guidelines. The papers should be submitted electronically via the conference web site. ------------ Proceedings: ------------ All accepted papers will appear in the proceedings which will be published by the IEEE Computer Society Press. Best papers from SCAM 2008 will be considered for revision, extension, and publication in a special issue of The Journal of Information and Software Technology. ---------------- Important Dates: ---------------- Deadline for submission: Abstract due: April 21, 2008 Full paper due: April 28, 2008 Notification: June 9, 2008 Camera Ready Due: June 30, 2008 Working Conference: 28th-29th September 2008 Zheng Li (Publicity Chair) From rouvoy at ifi.uio.no Mon Feb 4 09:56:48 2008 From: rouvoy at ifi.uio.no (Romain Rouvoy) Date: Mon, 4 Feb 2008 09:56:48 +0100 Subject: [ecoop-info] CAMPUS08 - Call for papers References: <200802040849.m148nGGK025331@rpc74.cs.man.ac.uk> Message-ID: Dear, Can you forward the CFP below to people who might be interested in a submission to the workshop (apologies for cross receptions). Kind regards, Romain ---- CALL FOR PAPERS 1st International DisCoTec Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services Tuesday 3rd June 2008 Oslo, Norway http://discotec08.ifi.uio.no/Campus08 Overview. There is a huge market potential for mobile applications in Europe today. Most people already carry a mobile device of some sort wherever they go, and an increasingly diverse set of devices (PDAs, smart phones, GPS, etc.) are becoming widely available. Recently, service-orientations (e.g., OSGi) have evolved to address these highly dynamic environments. However, it is still technically difficult, using existing method and tool supports, to create such services-oriented applications. For example, the very large range of devices, types of infrastructure, ways in which it can change, situations in which users can find themselves, and the functions they want, introduce great complexity and pose considerable technical challenges. To overcome these difficulties, and promote the development and widespread deployment of innovative mobile applications, more and more projects are addressing the development of context-aware adaptation mechanisms for leveraging the development of mobile applications. These projects aims at providing simple but powerful integrated approaches to support the development of applications interacting in pervasive and ubiquitous environments. Thus, the CAMPUS workshop will focus on the promising approaches in the domain of context-aware adaptation mechanisms supporting the dynamic evolution of the execution context (e.g., network/device/service failures). Research Topics The workshop will address an extensive set of topics related to adaptation mechanisms for context-aware services. The following contributions will be particularly welcome:- Context-awareness mechanisms for distributed systems: - How to capture the relevant contextual properties of a distributed system? - How to support the distribution of the context information in an efficient manner? - How to enforce the security and privacy issues for context data? - How to describe ontologies for context management? - How to map context-awareness to situation-awareness using context reasoning? - Adaptation mechanisms for distributed systems: - How to represent the adaptation knowledge of a distributed system? - How to reason about pieces of software that need to be adapted in a distributed manner? - How to reconfigure a distributed system with respect to the dynamic nature of the environment? - How to deal with anticipated versus unanticipated adaptation? - How to integrate human/computer interaction issues in adaptive systems? - How to ensure robustness and transactional adaptations? - Innovative applications of context-awareness and adaptation mechanisms: - Experiences in developing context-aware and adaptive applications and services, - Testing and validation of adaptive applications and services, - Development methodology for adaptive applications and services, - Tool support for context-aware adaptation mechanisms and adaptive services, - Design of platforms and infrastructures supporting context- aware adaptation mechanisms, - New domains of applications for context-aware and adaptive applications and services. Important dates Paper Submission: March 20, 2008 Paper Notification: May 01, 2008 Camera Ready: May 15, 2008 Workshop: June 03, 2008 Workshop Format The workshop will be organised as a one-day event, consisting of a series of sessions, each devoted to the presentation of papers belonging to a common domain. Each session will end with a mini-panel between the presenters, led by the session chair or a pre-selected devil?s advocate. This format has been found to lead to lively and productive discussions. The workshop will include a special session for the presentation of posters and demos of ongoing research efforts and software prototypes. The workshop will conclude with a panel, moderated by one of the organizers, to discuss open issues and future trends in the field, with the aim of wrapping up the overall contributions of the event. Submission & Publication Selection of workshop participants will be based on the submission of a paper, poster or demo. Moreover, other participants may be invited by the organizing committee. Thus, the CAMPUS program committee seeks: Technical papers, describing concrete results achieved, in no more than 12 pages (EASST style), Position papers, describing on-going work and interim results, in no more than 6 pages (EASST style). Papers will be peer-reviewed, and selected based on their originality, technical strenght and topical relevance. All workshop papers will be published in a special issue of Electronic Communications of the EASST. Paper submission must be electronically as postscript or PDF (via the Submission website). Organisation Committee Romain Rouvoy, University of Oslo, Norway (Program chair) Mauro Caporuscio, INRIA, France (Publicity chair) Michael Wagner, University of Kassel, Germany (Publication chair) Steering Committee Frank Eliassen, University of Oslo, Norway Kurt Geihs, University of Kassel, Germany Svein Hallsteinsen, SINTEF ICT, Norway Geir Horn, SINTEF ICT, Norway Val?rie Issarny, INRIA, France Program Committee (to be completed) Luciano Baresi, Politecnico di Milano, Italy Gordon Blair, Lancaster University, UK Mauro Caporuscio, INRIA, France Licia Capra, University College of London, UK Denis Conan, Telecom Institute, France Vittorio Cortellessa, UDA, Italy Geoff Coulson, Lancaster University, UK Schahram Dustdar, Vienna University of Technology, Austria Frank Eliassen, University of Oslo, Norway Ioannis Fikouras, Ericsson, Germany Kurt Geihs, University of Kassel, Germany Svein Hallsteinsen, SINTEF ICT, Norway Geir Horn, SINTEF ICT, Norway Manuele Kirsch Pinheiro, K.U.Leuven, Belgium Per H?kon Merland, SINTEF ICT, Norway Hassine Moungla, INRIA, France Nearchos Paspallis, University of Cyprus, Cyprus Roland Reichle, University of Kassel, Germany Romain Rouvoy, University of Oslo, Norway Ulrich Scholz, EuropeanMedia Laboratory GmbH, Germany Lionel Seinturier, University of Lille 1, France Roberto Speicys-Cardoso, INRIA, France Giovanni Toffetti Carughi, USI, Switzerland Massimo Tivoli, UDA, Italy Nalini Venkatasubramanian, University of California, Irvine Michael Wagner, University of Kassel, Germany From jop at di.uminho.pt Mon Feb 4 12:01:52 2008 From: jop at di.uminho.pt (=?utf-8?q?Jos=C3=A9_Orlando_Pereira?=) Date: Mon, 4 Feb 2008 11:01:52 +0000 Subject: [ecoop-info] Deadline extended: WDDDM (with EuroSys 2008) Message-ID: <200802041101.52701.jop@di.uminho.pt> [We apologise if you receive multiple copies of this message. Please forward this mail to anyone interested.] Second Workshop on Dependable Distributed Data Management (WDDDM'2008) affiliated with EuroSys 2008 Conference March 31, 2008, Glasgow, Scotland http://gorda.di.uminho.pt/wdddm08/ ***** DEADLINE EXTENDED: Feburary 11, 2008 ***** ABOUT The goal of the workshop is to bring together researchers and practitioners from systems, database and dependability communities to discuss the current state of the art, pending challenges and trends, and novel solutions in the design, implementation and deployment of distributed and dependable data management systems. SCOPE Relational databases have been for a long time the keystone of information systems' dependability. Database management systems (DBMS) offer a uniform approach to data integrity, durability, and availability, using tried and tested techniques based on a set of unanimously accepted and well understood assumptions. However, the expectations on the DBMS itself are changing and there is an unprecedented call for a complete rewrite: The general purpose relational DBMS architecture dating back from the 70's is being convincingly challenged by a number of specialized systems for text indexing, data warehousing, stream processing, and array storage. Most strikingly, the winds of change are felt even within the common enterprise data center, where the widespread need for practical scale-out and near zero downtime translates to an increased appetite for cheap and efficient consistent replication and for shared-nothing clusters built on commodity hardware and software. Novel peer-to-peer applications, grid computing, and the emergence of cloud computing further push the envelope for radically different data management solutions. A major trend in all such emerging proposals, with a profound impact in dependability, is that large scale distribution is a core assumption in their design. This translates in very large number of nodes, wide area geographical distribution, diverse administrative domains, and pervasive heterogeneity. It is thus desirable to reevaluate time tested assumptions that underly the dependability mechanisms in database management systems and explore different performance and functionality tradeoffs. And explore the consequences on complex information systems built on them. TOPICS Topics of interest to the workshop include, but are not limited to: * System assumptions for dependability and performance * Novel application scenarios and consistency requirements * Scaling-out to very large number of nodes: peer-to-peer databases and the data grid * Autonomic versus orchestrated central control * Diversity and software reliability FORMAT The workshop welcomes two kinds of contributions: * Short position papers with early and/or controversial ideas that foster discussion but are not (yet) fully developed. The maximum size is 4 pages in the ACM Conference Proceedings style. * Research papers which present mature original work. The maximum size is 10 pages in the ACM Conference Proceedings style. Since submissions must strictly adhere to ACM Conference Proceedings style, submitters are strongly encouraged to use the ACM SIG Proceedings Templates. In order to get included in the EuroSys 2008 proceedings CD, accepted contributions must be presented at the workshop and comply with the ACM Copyright Policy. IMPORTANT DATES * Paper submission: February 11, 2008 (extended) * Author notification: February 25, 2008 * Camera-ready due: March 15, 2008 * Workshop date: March 31, 2008 ORGANIZATION Program Chairs: * Calton Pu (Georgia Institute of Technology, USA) * Martin Kersten (CWI, Netherlands) * Rui Oliveira (U. Minho, Portugal) Organizing Chair: * Jos? Pereira (U. Minho, Portugal) Programme Committee: * Gustavo Alonso (ETHZ, Switzerland) * Enrique Armendariz (U. P. Navarra, Spain) * Ken Birman (U. Cornell, USA) * Andrea Bondavalli (U. Firenzi, Italy) * Emmanuel Cecchet (EPFL, Switzerland) * Alan Fekete (U. Sidney, Australia) * Roy Friedman (Technion, Israel) * Karl Goeschka (Vienna Institute of Technology, Austria) * Ricardo Jim?nez-Peris (U. P. Madrid, Spain) * Fl?vio Junqueira (Yahoo!, Spain) * Raimundo Mac?do (U. F. Bahia, Brazil) * Henrique Madeira (U. Coimbra, Portugal) * Fernando Pedone (U. Lugano, Switzerland) * Lu?s Rodrigues (IST, Portugal) * Antony Rowstron (Microsoft, UK) * Doug Terry (Microsoft, USA) * Patrick Valduriez (U. Nantes, France) * Maarten Van Steen (Vrije U., Netherlands) * Haruo Yokota (Tokyo Institute of Technology, Japan) ADDITIONAL INFORMATION For more information visit the workshop web site or contact the organizers at wdddm at lsd.di.uminho.pt. -- Jose Orlando Pereira From moriol at inf.ethz.ch Mon Feb 4 14:14:40 2008 From: moriol at inf.ethz.ch (Manuel Oriol) Date: Mon, 4 Feb 2008 14:14:40 +0100 Subject: [ecoop-info] Questionnaire on Software Testing Message-ID: Dear Colleagues, We are currently gathering data on software testing and how it is used in practice and we would greatly value your help. A part of the study is an online questionnaire that takes 5-10 mn to answer: http://elbanet2.ethz.ch/survey/entry.jsp?id=1184835832480 We would appreciate if you could: 1) Answer the questionnaire yourself. 2) Pass the URL to colleagues and students that would answer it. Thanks a lot for your help, Best regards, Manuel Oriol -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080204/72ba8e9c/attachment.htm From wuytsr at imec.be Tue Feb 5 11:10:05 2008 From: wuytsr at imec.be (Wuyts Roel) Date: Tue, 5 Feb 2008 11:10:05 +0100 Subject: [ecoop-info] Workshop on Software Engineering for Embedded Systems Message-ID: Workshop on Software Engineering for Embedded Systems [ http://www.cs.kuleuven.be/~roel/SE4ES/DATE08/ ] March 14, 2008 Munchen, Germany Co-located with DATE'08, the conference on Design, Automation and Test in Europe (http://www.date-conference.com) Organized by Maja D'Hondt, Rudy Lauwereins, Diederik Verkest, Roel Wuyts IMEC, Belgium New challenges arise in embedded software development in addition to the traditional ones of power efficiency, memory usage and execution time. Productivity, and thus time to market, become serious issues due to changes at the application level and new developments at the hardware level, for example: - several interactive or dynamic applications, often from different vendors, have to be mapped to multi- or even many-core processor architectures - distributed applications have to run on a number of devices such as regular PCs, nomadic battery-operated consumer devices, and/or programmable sensors - device mobility and hardware failure, e.g. due to sub 32 nm technology, make unreliability the rule rather than the exception In traditional software engineering the application-level problems are far from new. The central question of the workshop is how we can adapt and transfer the knowledge in software engineering to address these issues in embedded systems. Anyone who is concerned with embedded software development for the mobile, consumer, automotive, healthcare, or any other domain can attend. We welcome both industrial and academic people, with backgrounds in software and/or hardware. PROGRAM: The workshop program consists of high-profile presentations and is concluded by a panel discussion moderated by Christoph Hammerschmidt from EETimes. The presentations are: "Software Development Evolution at Philips Healthcare" Jan Willem van den Beukel, Manager Software Development, Philips Medical, NL "System Integration in the Connected Consumer Domain" Ben Pronk, System Architect - Business Line Digital Television Systems, NXP Semiconductors, NL "The Mobile Fight: Software versus Power" Kimmo Kuusilinna, Principal Member of Research Staff, Nokia Research Center, FI "Building Complex Embedded Software - Lessons Learned from Embedded Smalltalk and Java" Brian Barry, CEO, Bedarra Research Labs, CA "Smart Environments: a Programming Model to Make them Reality" Harmke de Groot, Program Manager, European Microsoft Innovation Center, DE "Liquid Metal: Blurring the Boundary between Software and Hardware for Versatile Parallel Computing" Rodric Rabbah, Researcher IBM T. J. Watson Research Center, US and Massachusetts Institute of Technology, US "Seven Mistakes in Embedded Software for Parallel Platforms (and how to avoid them)" Pierre Paulin, Director SoC Platform Automation, STMicroelectronics, CA Roel Wuyts IMEC Kapeldreef 75?? 3001 Leuven Belgium? http://www.imec.be aspire?invent?achieve From ch.lange at jacobs-university.de Tue Feb 5 11:28:29 2008 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Tue, 5 Feb 2008 11:28:29 +0100 Subject: [ecoop-info] 2nd CfP: SemWiki2008 - The Wiki Way of Semantics (Workshop@ESWC) In-Reply-To: <200712221216.58248.ch.lange@jacobs-university.de> References: <200712221216.58248.ch.lange@jacobs-university.de> Message-ID: <200802051128.32134.ch.lange@jacobs-university.de> [Apologies for multiple copies] Full call for papers at http://semwiki.org/semwiki2008/ Contact: chair at semwiki.org ---- second CALL FOR PAPERS SemWiki2008 3rd Workshop: 'The Wiki Way of Semantics' http://semwiki.org/semwiki2008 Submission Deadline February 22nd co-located with the 5th Annual European Semantic Web Conference (ESWC) http://www.eswc2008.org/ Tenerife, Spain June 1-5, 2008 ---- === Executive Summary === SemWiki2008, the third workshop on Semantic Wikis, aims at reviewing the progress that has been made in the field of Semantic Wikis since the last workshops in 2006. We are interested in reviewing existing semantic wiki systems against the core wiki principles and thus identifying possibilities to improve them, in applying semantic technologies to existing wiki sites such as Wikipedia in order to make them even more productive for mass collaboration, but also in innovative, entirely new ideas for semantic wikis. Semantic Wikis try to combine the strengths of Semantic Web (machine processable, data integration, complex queries) and Wiki (easy to use and contribute, strongly interconnected, collaborativeness) technologies. Goals are diverse and include: * simple annotations of existing Wiki content; * tools that guide users from informal knowledge contained in texts to more formal structures; * full-fledged tools for ontology editing where the text is no longer in the focus of the system. Semantic Wikis contain in an integrated fashion many of the core challenges of the Semantic Web community: authoring, versioning, interlinked data, semantic browsing, semantic annotating, semantic diffs, semantic search and getting overview. In a Semantic Wiki, such methods have to be integrated into a coherent whole, while still remaining lightweight and easy to use. In this workshop, we investigate how these challenges can be tackled in an integrated fashion. === Important Dates (all dates GMT) === * Paper submission: February 22, 2008 (papers, posters, demos, position papers) * Notification of acceptance: April 4, 2008 * Camera ready deadline: April 18, 2008 * Workshop: 1st or 2nd June 2008 === Call for Contributions === We invite submissions as full and short papers, as well as posters/demos. Papers should describe original, unpublished research and must not be under review by another conference, journal, or workshop. Authors of the highest quality contributions will be invited to present their work at the workshop. Since Semantic Wikis are a very practical topic, we are also very interested in poster and demo submissions. Posters and Demos should describe prototypical implementations of systems related to the workshop topics. Highest quality submissions will be presented in a separate poster/demo session. Contributions should adhere to the following formats: * Papers 5-15 pages * Posters/Demos 2-5 pages * Short/Position Papers: 2-5 pages Papers should be formatted using the standard LNCS format and should include an abstract of no more than 120 words. Authors will be required to submit their camera ready versions using SALT (semantically annotated LaTeX; http://salt.semanticauthoring.org). It allows authors to annotate their articles directly with semantic markup. This semantic markup will be used to extract and publish metadata of the submissions on the Semantic Web. A specialized LaTeX template will be provided by the workshop organisers that allows to easily add these annotations. === Proceedings === Pre-proceedings will appear at the time of the conference online and in print. Post-proceedings will be published in the CEUR-WS series. === Topics of Interest === Topics of interest include but are not limited to: * Text-Based Semantic Authoring * Acquisition of Formal Knowledge from Structured Text * Wikipedia and the Semantic Web * Mining Wikipedia * extending Wikipedia with semantic web features * ... * Collaborative Authoring of Formal Knowledge * Continuous and Integrated Knowledge Usage and Refinement * Usability and empirical studies of semantic wikis and human factors * Application of semantic wikis in * E-learning * software engineering * knowledge engineering * and other domains * Semantic Wikis in Enterprises * New Ways of Authoring, Browsing and Navigating Semantically Enhanced Data * Reusing data from Semantic Wikis in other systems * Personal Semantic Wikis === Programme === * Invited talk: Corporate Knowledge Management with Semantic Wikis at SUN * Presentations of research and position papers * Poster and demo session * Joint dinner, including a discussion on standardisation of semantic wiki data formats and ontologies (building on existing work such as WSR 3; http://www.wikisym.org/wiki/index.php/WSR_3). === Organisation === The workshop is supported by EU FP7 project KIWI and EU FP6 project NEPOMUK. Workshop co-ordinators: * Christoph Lange, Jacobs University Bremen (DE) * Sebastian Schaffert, Salzburg Research (AT) * Hala Skaf-Molli, LORIA INRIA-LORRAINE/Nancy-Universit? (FR) * Max V?lkel, FZI/Universit?t Karlsruhe (TH) (DE) Programme Committee: * S?ren Auer, Universit?t Leipzig (DE) * David Aum?ller, Universit?t Leipzig (DE) * Joachim Baumeister, Universit?t W?rzburg (DE) * Bj?rn Decker, IESE (DE) * Sebastian Dietzold, Universit?t Leipzig (DE) * Ludger van Elst, DFKI (DE) * Michael Erdmann, Ontoprise (DE) * Tudor Groza, DERI (IE) * Siegfried Handschuh, DERI (IE) * Tom Heath, Open University (UK) * Stefanie Lindstaedt, Know-Center Graz (AT) * Martin Hepp, UIBK (AT) * Malte Kiesel, DFKI (DE) * Michael Kohlhase, Jacobs University Bremen (DE) * Pascal Molli, Nancy University (FR) * Claudia M?ller, Universit?t Potsdam (DE) * Amedeo Napoli, LORIA (FR) * Eyal Oren, VU (NL) * Viktoria Pammer, Know-Center Graz (AT) * Flavio De Paoli, University of Milano-Bicocca (IT) * Jean Rohmer, Thales (FR) * Peter Scheir, Know-Center Graz (AT) * Elena Simperl, DERI Innsbruck (AT) * Katharina Siorpaes Universit?t Innsbruck (AT) * Steffen Staab, Universit?t Koblenz-Landau (DE) * Jakob Vo?, GBV G?ttingen (DE) ---------------------------------------------------------------- Complete information, including Programme Committee, instructions for submission, description of the workshop, etc. are to be found at: http://semwiki.org/semwiki2008/ -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701 From dirk.deridder at gmail.com Tue Feb 5 13:09:07 2008 From: dirk.deridder at gmail.com (Dirk Deridder) Date: Tue, 5 Feb 2008 13:09:07 +0100 Subject: [ecoop-info] (CFPart) AOSD 2008 Message-ID: CALL FOR PARTICIPATION =========================================== 7th International Conference on Aspect-Oriented Software Development (AOSD 2008) http://www.aosd.net/2008/ March 31st - April 4th, 2008 Brussels, Belgium ========================================== * The full program is online and registration is open! * Student Extravaganza: submissions until March 3, 2008 ========================================== The International Conference on Aspect-Oriented Software Development (AOSD) is the premier conference on software modularity that crosscuts traditional abstraction boundaries. AOSD brings together researchers and practitioners working on such software modularity in the fields of software engineering, programming languages, and software systems. This years edition is held in the vibrant city of Brussels, Belgium (march 31st - april 4th). AOSD 2008 has a highly exciting program which includes: - A Research Track with 17 research papers presenting the latest results in AOSD research. - Keynotes by Daniel Wiese, Gul Agha, and Philip Wadler - An Industry Track where architects and developers with experience in aspects gather to learn and teach. - 9 Workshops for in-depth discussion of advanced topics in industry and research. - 15 Demonstrations of leading-edge technologies. - 5 tutorials that cover the state-of-the-art in AOSD - A highly interactive Student Extravaganza. - Panels that stimulate thoughtful discussion of controversial topics. - Birds of a Feather sessions. - A great social programme to encourage informal discussion among peers A summary of the program is provided below. Please consult http://www.aosd.net/2008 for details and up-to-date information. ========================================== RESEARCH TRACK ========================================== Aspects and Generative Programming - Aspect Oriented Test Case Instantiation, by Benz - Program, Enhance Thyself! ? Demand-Driven Pattern-Oriented Program Enhancement via Generative Aspects, by Tilevich, Back - Modularity First: A Case for Mixing AOP and Attribute Grammars, by Avgustinov, Ekman, Tibble Reasoning about Aspects - AJANA: A General Framework for Source-Code-Level Interprocedural Dataflow - Analysis of AspectJ Software, by Xu, Rountev - Reasoning about Aspects With Common Sense, by Ostermann. Programming Language Design and Implementation - StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings, by De Fraine, Sudholt, Jonckers - EJFlow: Taming Exceptional Control Flows in Aspect-Oriented Programming, by Cacho, Filho, Garcia, Figueiredo - Relational Aspects as Tracematches, by Bodden, Shaikh, Hendren - Test-Based Pointcuts for Robust and Fine-Grained Join Point Specification, by Sakurai, Masuhara - Expressive Scoping of Dynamically-Deployed Aspects, by Tanter - Lightweight Virtual Machine Support for AspectJ, by Golbeck, Davis, Naseer, Ostrovsky, Kiczales - Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation, by Dyer, Rajan Aspects for Adaptation and Variability Support - Edicts: Implementing Features with Flexible Binding Times, by Chakravarthy, Regehr, Eide - Support for Distributed Adaptations in Aspect-Oriented Middleware, by Truyen, Janssens, Sanen, Joosen Tool Support - Tool-supported Refactoring of Aspect-oriented Programs, by Wloka, Hirschfeld, H?nsel - Tool Support for Understanding and Diagnosing Pointcut Expressions, by Ye, Volder - View-Based Maintenance of Graphical User Interfaces, by Li, Wohlstadter ========================================== KEYNOTES ========================================== - Daniel Wiese (Siemens) Large Scale Application for AOP in the Health Care Domain: A Case Study - Gul Agha (University of Illinois at Urbana-Champaign, USA) Time, Chance and Change: Aspects, Middleware and Reflection in Pervasive Cyberspace - Philip Wadler (University of Edinburgh, UK) Well-Typed Programs Can?t Be Blamed ========================================== INDUSTRY TRACK ========================================== Adopting AOSD - Adopting AOSD in business application engineering, by C. Pohl, A. Charfi, W. Gilani, S. G?bel, B. Grammel, H. Lochmann, A. Rummler and A. Spriesterbach (SAP research) - Solving crosscutting concerns ? is there something missing in AspectJ?, by U. Hohenstein (Siemens AG, Germany) AOSD for the Enterprise - Experience of using AOP with SOA and agile process to build an insurance framework, by U. Banerjee, J. Venkatesh, T. Prasad, J. Raju and N. Kanakalata (NIIT Technologies, India) - A tool-based approach to managing crosscutting feature implementations, by I. Groher, C. Krueger and C. Schwanninger (BigLever Software and Siemens AG) - Improving the design of a large Jave EE application with AOP, by T. Pijpops and J. Van Reusel (Cegeka) AOSD in Middleware - Architecting JBoss 5 with AOP in the Core, invited talk by Kabir Khan - User-friendly aspects with compile-time imperative semantics in .NET, by G. Fraiteur (PostSharp) AO Languages in Industrial Applications - Aquarium: AOP in Ruby, by D. Wampler (Object Mentor Inc.) - An overview of Mirjam and WeaveC: an industrial-strength aspect- oriented language and weaver for C, by I. Nagy, R. van Engelen and D. van der Ploeg (ASML, The Netherlands) - An aspect-oriented Cobol for the industrial setting, by T Morioka, H. Danno and H. Shinomi (Hitachi) ========================================== WORKSHOPS ========================================== - ACP4IS: Aspects, Components, and Patterns for Infrastructure Software - AOM: Aspect-Oriented Modeling - DSAL: Domain-Specific Aspect Languages - EA: Early Aspects Workshop - FOAL: Foundations of Aspect-Oriented Languages - LATE: Linking Aspect Technology and Evolution - NAOMI: Workshop on Next-Generation Aspect-Oriented Middleware - SPLAT: Software Engineering Properties of Languages and Aspect Technologies ========================================== DEMONSTRATIONS ========================================== - FLIP: Product Line Derivation Tool - Enforcing Principle of Least Authority on Existing Java Applications Through AspectJ - Current Developments in Context-Oriented Programming - Automatically Locating Framework Extension Examples - Model-Driven Theme/UML - The Object Teams Development Tooling: An Aspect-Oriented JDT - The Aspect Manager 2010 - An Infrastructure for Reusable Aspects - JQueryScapes: Customizable Java Code Perspectives - An Overview of Mirjam and WeaveC: an Industrial-strength Aspect- Oriented Language and Weaver for C - Omniscient Debugging of Aspects with TOD - ALFAMA: Automatic DSLs for using Frameworks by combining Aspect- Oriented and Meta-Modeling Approaches - M4JPDD: Tool-Support for Modeling Join Point Designation Diagrams - Deriving AO Software Architectures using the AO-ADL Tool Suite - Aquarium: Aspect-Oriented Programming for Ruby - Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs ========================================== TUTORIALS ========================================== - Aspect-Oriented Design in Java/AspectJ by Dean Wampler - Aspect-Oriented Design in Ruby by Dean Wampler - CLOS: Generic Functions and Metaobject Protocol by Pascal Costanza - Aspect-Oriented Requirements Engineering with Scenarios by Gunter Mussbacher, Joao Araujo, Ana Moreira, Jon Whittle - Applying Aspectual Components to Eclipse with ObjectTeams/Java and OSGi by Stephan Herrmann, Marco Mosconi ========================================== RESEARCH PROGRAMME COMMITTEE: ========================================== - Mehmet Aksit The Netherlands - Paulo Borba Brasil - Shigeru Chiba Japan - Yvonne Coady Canada - Maja D'Hondt Belgium - Eric Eide USA - Erik Ernst Denmark - Jeff Gray USA - Klaus Havelund USA - Robert Hirschfeld Germany - Wouter Joosen Belgium - Gregor Kiczales Canada - John Lefor Germany - Karl Lieberherr USA - Hidehiko Masuhara Japan - Mira Mezini Germany - Todd Millstein USA - Oege de Moor UK - Ana Moreira Portugal - James Noble New Zealand - Linda Northrop USA - Harold Ossher USA - Klaus Ostermann Germany - Awais Rashid UK - James Riely USA - Martin Robillard Canada - Mario S?dholt France - Eric Wohlstadter Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080205/f45ef66b/attachment-0001.htm From doronp at macs.biu.ac.il Tue Feb 5 19:09:38 2008 From: doronp at macs.biu.ac.il (Doron Peled) Date: Tue, 5 Feb 2008 20:09:38 +0200 Subject: [ecoop-info] CFP: 5th Workshop on Model Checking and AI Message-ID: <200802051809.m15I9caK003997@deer.cs.biu.ac.il> - Call for Papers - Fifth Workshop on MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt-2008) At ECAI-2008 - Patras, Greece, July 2008 http://www.csc.liv.ac.uk/~mjw/mochart/ INTRODUCTION Model checking is the process of determining whether or not a formula of some logic is satisfied by a model for the logic. For many logics of interest -- particularly temporal and modal logics -- model checking procedures can be efficiently automated. This has led to widespread interest in the use of model checking as a technique for verifying properties of systems, and the development of a number of widely used model checking tools (e.g., Carnegie-Mellon's SMV, Cadence-SMV, and AT&T's SPIN). The success of model checking in the computer aided verification community has led to a growth of interest in the use of model checking in AI. The MOCHART workshop brings together both researchers in AI with an interest in model checking, and researchers in model checking who are interested in AI techniques. Previous editions of the workshop were held in Riva del Garda, Italy in 2006 (as satellite workshops of ECAI), San Francisco in 2005 (as satellite workshop of Concur), Acapulco in 2003 (as satellite workshop of IJCAI03), and Lyon in 2002 (as satellite workshop of ECAI02). We are exploring the possibility of publishing a formal proceedings after the event with Springer-Verlag. TOPICS OF INTEREST Topics of interest include (but are not limited to): - Application of model checking techniques to AI problems. - planning as model checking - model checking for multi-agent systems - diagnosis and model checking - model checking versus theorem proving - Model Checking and AI logics. - model checking for combined modal/temporal logics - model checking for logics of common sense reasoning - Relations between different techniques used in the two fields for similar purposes (e.g., reducing state explosion). - New model checking techniques specifically for AI problems. - Exploitation of AI techniques in model checking. - AI approaches to the state explosion problem - heuristics for model checking - AI approaches to automatic abstraction - Software tools for model checking in AI. - languages and software platforms for AI model checking - model checking symbolic reasoning systems & languages - Model checking for verification of AI systems. - automated verification of AI systems - case studies & experience with model checking in AI Preliminary papers and papers on applications are strongly encouraged. IMPORTANT DATES Deadline for submissions: April 10th, 2008 Notification: May 10th, 2008 Workshop: July 21st-22nd, 2008 SUBMISSION PROCEDURES Submissions must be formatted according to Springer-Verlag's "Lecture Notes in Computer Science" styles, and must be no more than 15 pages in length. Papers must be submitted through the EasyChair web-based conference management system: follow the link from the workshop web page. All papers will be peer reviewed, and evaluated on the basis of relevance, technical quality, significance, evaluation, and presentation. PARTICIPATION The workshop forms part of the ECAI-2008 workshop programme, and as such delegates must register for the ECAI conference. For full information about ECAI-2008, including travel & accomodation, see: ORGANISING COMMITTEE * Doron Peled Department of Computer Science Bar-Ilan University Ramat Gan, 52900 Israel mailto:doron.peled at gmail.com * Michael Wooldridge Department of Computer Science University of Liverpool Liverpool L69 7ZF, United Kingdom mailto:mjw at liv.ac.uk PROGRAM COMMITTEE * Rajeev Alur (USA) * Massimo Benerecetti (Italy) * Rafael Bordini (UK) * Kousha Etessami (UK) * Michael Fisher (UK) * Gerard Holzmann (USA) * Hadas Kress-Gazit (USA) * Orna Kupferman (Israel) * Alessio Lomuscio (UK) * Ron van de Meyden (Australia) * Peter Niebert (France) * Charles Pecheur (USA) * Wojciech Penczek (Poland) * Franco Raimondi (UK) * Mark Ryan (UK) * Farn Wang (China) From jeedward at yahoo.com Wed Feb 6 01:51:10 2008 From: jeedward at yahoo.com (John Edward) Date: Tue, 5 Feb 2008 16:51:10 -0800 (PST) Subject: [ecoop-info] Draft paper submission deadline is extended: SETP-08 Message-ID: <107994.58182.qm@web45914.mail.sp1.yahoo.com> Dear Colleagues and Friends Kindly share the announcement below with those who may be interested: thank you in advance. Sincerely John Edward SETP-08 Draft paper submission deadline is extended The 2008 International Conference on Software Engineering Theory and Practice (SETP-08) (website: www.PromoteResearch.org ) will be held during July 7-10 2008 in Orlando, FL, USA. We invite draft paper submissions and deadline for submission is extended until February 19 2008 due to several requests from the authors. The conference will be held at the same time and place where several major events (please see below) are taking place. The website contains more details. Sincerely John Edward ? International Conference on Artificial Intelligence and Pattern Recognition (AIPR-08) ? International Conference on Automation, Robotics and Control Systems (ARCS-08) ? International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-08) ? International Conference on Enterprise Information Systems and Web Technologies (EISWT-08) ? International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-08) ? International Conference on Software Engineering Theory and Practice (SETP-08) ? International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08) --------------------------------- Never miss a thing. Make Yahoo your homepage. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080205/abcd00f0/attachment-0001.htm From vv at di.fc.ul.pt Wed Feb 6 12:47:03 2008 From: vv at di.fc.ul.pt (Vasco T. Vasconcelos) Date: Wed, 6 Feb 2008 11:47:03 +0000 Subject: [ecoop-info] PLACES'08 - Call for papers Message-ID: CALL FOR PAPERS PLACES'08 Programming Language Approaches to Concurrency and Communication-cEntric Software June 7, 2008, Oslo, Norway http://places08.di.fc.ul.pt/ Applications on the web today are built using numerous interacting services; soon an off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many normal applications will soon need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems will be inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with queues, and the use of types for communication and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and methodologies. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges in programming in near future, the development of programming methodologies and infrastructures where concurrency and distribution are a norm rather than a marginal concern. This workshop aims providing a forum for the focused exchange of new ideas to support our quest for a unifying picture of programming in this new area. > Topics of Interest Submissions are invited in the general area of foundations of programming languages for concurrency and distribution. Specific topics include: programming methodologies for sensor nets and ubiquitous computing, multicore and network-on-chip programming, integration of sequential and concurrent programming, program analysis, session types, concurrent data types, web services, and runtime architectures, including resource allocation. Papers which present novel and valuable ideas are welcome, together with those which provide experience or practical insight. > Submission Guidelines Authors are invited to submit an abstract (max. 5 pages) in PDF format by e-mail to yoshida at doc.ic.ac.uk. Preliminary proceedings will be available at the workshop. > Post-Workshop Proceedings in ENTCS After the workshop authors will be invited to submit a full paper of their presentation to be published in ENTCS, http://www.entcs.org. > Important Dates Paper Submission: March 20, 2008 Paper Notification: May 1, 2008 Camera Ready: May 15, 2008 > Program Committee _ Alastair Beresford _ University of Cambridge _ Manuel Fahndrich _ Microsoft Research _ Simon Gay _ University of Glasgow _ Kohei Honda _ Queen Mary University of London _ Andrew Meyers _ Cornell University _ Greg Morrisett _ Harvard University _ Alan Mycroft _ University of Cambridge _ Vijay A. Saraswat _ IBM Research _ Vasco T. Vasconcelos (chair) _ University of Lisbon _ Nobuko Yoshida (chair) _ Imperial College London ---------- Vasco Thudichum Vasconcelos http://www.di.fc.ul.pt/~vv Dep. of Informatics, Faculty of Sciences, University of Lisbon Phone/Fax: +351 217 500 608/084 vv at di.fc.ul.pt Bloco C6 - Piso 3, Campo Grande, 1749-016 Lisboa , Portugal From mohamed.hadjkacem at gmail.com Wed Feb 6 12:46:29 2008 From: mohamed.hadjkacem at gmail.com (mohamed hadj kacem) Date: Wed, 6 Feb 2008 12:46:29 +0100 Subject: [ecoop-info] CFP : CRiSIS 2008 Message-ID: <13013a2a0802060346rdf173ffn41f2003d7f4083c9@mail.gmail.com> [Please accept our apologies if you get multiple copies of this message] ------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------ Third International Conference on Risks and Security of Internet and Systems (CRiSIS 2008) October 28-30, 2008 Tozeur, Tunisia ------------------------------------------------------------------------ Conference web site: http://www.redcad.org/crisis2008/ ------------------------------------------------------------------------ The Internet has become essential for the exchange of information. Many user groups from different backgrounds and with different objectives depend on it to perform their daily tasks. Various activities are carried out via the Internet: between companies (B2B), between businesses and consumers (B2C), or between individuals who create their own virtual communities. Moreover, many companies are interconnecting their Information Technologies systems, including SCADA (Supervisory Control And Data Acquisition) systems, directly or indirectly to the Internet. At the same time, the use of the Internet is facing increasing risks regarding safety, reliability, privacy and security, in particular due to vulnerabilities induced by the increasing complexity of Internet-related applications. Therefore, new security and dependability mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as transportation, health, defence, banking, critical infrastructures, etc. In this context, dependability, security and privacy become a priority that should be addressed by all actors in research, industry, services and governments. These issues will be studied from different view points: research results, practical experiment and deployment, applications and case studies, etc. Different application domains are concerned: telemedicine, e-government, e-learning, e-commerce, critical infrastructures, etc. CRiSIS'2008 will be a forum for the participants to broaden professional contacts and for technical discussions on security and dependability issues. The topics addressed by CRiSIS'2008 range from the analysis of faults, risks, attacks and vulnerabilities to system survivability and adaptability, passing through security policies and models, security and dependability mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiments or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains. ------------------------------------------------------------------------ SUBMISSION OF PAPERS Papers must be written in English or French, and must be submitted electronically in PDF format. Maximum paper length will be 8 printed pages for full papers or 4 pages for short papers, including figures in IEEE 2-columns style. Papers submissions must be received via the CRiSIS'2008 web site. A selection of the best conference papers will be revised and published in a special issue of the International Journal of Information and Computer Security (IJICS). ------------------------------------------------------------------------ AUTHOR'S DEADLINES Paper Submission due: April 30, 2008 Notification of acceptance: May 31, 2008 Final paper submission and authors' registration: June 30, 2008 Conference Dates: October 28-30, 2008 ======================================================================== CRiSIS'2008 Honorary Chair Claude Kirchner, INRIA - Bordeaux, France ------------------------------------------------------------------------ CRiSIS'2008 Program Chairs Mohamed Mosbah, LaBRI - Bordeaux, France Mohamed Jmaiel, ENI - Sfax, Tunisia ------------------------------------------------------------------------ CRiSIS'2008 Program Committee Anas Abou El Kalem, IRIT - Toulouse, France Nadjib Badache, LSI, USTHB, Algeria Kamel Barkaoui, CNAM ? Paris, France Abdelfettah Belguith, ENSI ? Tunis, Tunisia Hanene Ben Abdallah, FSEG ? Sfax, Tunisia Samir Ben Ahmed, INSA ? Tunis, Tunisia Rahma Ben Ayed, ENI ? Tunis, Tunisia Fr?d?ric Cuppens, ENST - Bretagne, France Herv? Debar, France T?l?com R&D, France Sabrina De Capitani, University of Milano, Italy Khalil Drira, LAAS - Toulouse, France Rachida Dssouli, Concordia Univ, Canada Dieter Gollmann, TU - Hamburg, Germany Ahmed Hadj Kacem, FSEG ? Sfax, Tunisia Farouk Kamoun, ENSI - Manouba,Tunisia Catherine Meadows, N. R. Laboratory, USA Abdallah Mhamed, INT - Evry, France Riadh Robbana, EP - Tunis, Tunisia Gilles Trouessin, Oppida, France Laurent Vigneron, LORIA - Nancy, France Eric Wong, Dallas - USA Habib Youssef, ISIT - Sousse, Tunisia ------------------------------------------------------------------------- CRiSIS'2008 Local Organization Committee Chafik Aloulou, FSEG - Sfax, Tunisia Ahmed Hadj Kacem, FSEG - Sfax, Tunisia Mohamed Hadj Kacem, ISIM - Sfax, Tunisia ======================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080206/e42f6878/attachment-0001.htm From seriai at ensm-douai.fr Wed Feb 6 15:30:37 2008 From: seriai at ensm-douai.fr (Abdelhak-Djamel SERIAI) Date: Wed, 6 Feb 2008 15:30:37 +0100 Subject: [ecoop-info] 2nd CfP: Workshop on Self-Adaptive Software Engineering : SASE 2008 at IEEE CSMR 08 Message-ID: <00d401c868cc$d7b157c0$790a010a@PORTDELLDSE> [We apologise if you receive multiple copies of this message. Please forward this mail to anyone interested.] ========================================================================== Second CALL FOR PAPERS ========================================================================== SASE 2008 : International Workshop on Self-Adaptive Software Engineering Athens (Greece), April 1, 2008 http://ocm.ensm-douai.fr/conf/SASE2008 Co-located with the 12th IEEE-CSMR 2008 - Athens (Greece), April 01-04, 2008 http://csmr2008.uwaterloo.ca/ - Abstract submission: February 22, 2008 - Paper submission: February 26, 2008 =========================== AIMS and SCOPE: Adaptability is considered as a critical enabling capability for many software-based systems which must adapt themselves to changing conditions in both the supporting computing and communication infrastructure, as well as in the surrounding physical environment. A software-based system which operates in changing environments need to automatically adapt itself. It must always decide when an adaptation is needed, what needs to be adapted and how an adaptation can be done. It must evaluate its own behaviour and structure, changes them when the evaluation indicates that it does not accomplish what it is intended to do or when better functionality or better performance is possible. It must configure and reconfigure itself, augment its functionality and continually optimize itself. Therefore, the inherent properties of self-adaptive software pose new challenges throughout software lifecycle. For examples, architects and designers need new or specific architectural and design models and languages supporting self-adaptive software process. Middleware and languages must integrate adequate properties facilitating self-adaptive software implementation. In addition, as a self-adaptive software operates always in critical environment, it is necessary to be able to evaluate effects generated by the self-adaptation process. The goal of this workshop is to exchange opinions, advance ideas, and discuss the state of the art of approaches and results among researchers and practitioners who investigate software engineering concepts, methodologies, and tools to design and evolve self-adaptive software. We are interested in submissions from both industry and academia on all topics related to this area. =========================== Topics of interest include, but are not limited to: - Architectural and design models and languages support for self-adaptive software - Dynamic software architecture, middleware and languages for self-adaptive software - Self-adaptation and self-evolution management and methodologies - Variability representations and models for self-adaptive software - Programming techniques for self-adaptive software: exception handling, reflection, aspect, etc. - Paradigms for adaptive-software: object, component, service, agent, etc. - Coordination models and languages for self-adaptive software - Decision making techniques and models for self-adaptive software - Injecting self-adaptation properties into legacy systems - Formal notations for modelling and analysis of software self-adaptation - Evaluation and assurance for self-adaptive systems - Industrial and experience reports - Surveys and case studies concerning all forms of embedded software, pervasive computing, operating systems and middleware, image and signal processing, etc. =========================== IMPORTANT DATES: - Abstract submission: February 22, 2008 - Paper submission: February 26, 2008 - Notifications of acceptance: March 8, 2008 - Camera ready submission: March 20, 2008 =========================== SUBMISSION GUIDELINES: We seek research papers and experience reports not exceeding 10 pages or short papers consisting of 3 or 4 pages. Authors are invited to submit their contributions following the IEEE's two column format. The papers should be submitted electronically following two phases (abstract and paper submissions) via SASE-08 workshop website (http://ocm.ensm-douai.fr/conf/SASE2008) Submissions will be selected based on originality, novelty, and relevance to the workshop topics, as well as on their suitability for triggering discussions. If there is any problem during submission please contact the workshop chair, Abdelhak-Djamel Seriai (seriai at ensm-douai.fr). =========================== COMMITTEES ***WORKSHOP CHAIR: Abdelhak-Djamel Seriai, Department of Computing and Information Science Ecole des Mines of Douai, France seriai at ensm-douai.fr ***PROGRAM COMMITTEE: Carlos Canal : University of Malaga, Spain Walter Cazzola, University of Milano, Italy Khalil Drira, LAAS-CNRS, France Soraya Kouadri Mostefaoui, Open University, UK Fr?d?ric Le Mou?l, INSA Lyon/INRIA, France Pascal Poizat, ARLES Project, INRIA, France Anthony Savidis, University of Crete, Greece Mikael Salaun, France Telecom Orange, France Arnor Solberg, SINTEF Telecom and Informatics, Norway Dalila Tamzalit, Nantes University, France Mohammad Ullah Khan, Kassel University, Germany ***CSMR 2008 workshop organizing committee Chris Verhoef, University of Amsterdam, The Netherlands Dennis Smith, Software Engineering Institute, USA ***Contact Information Abdelhak-Djamel Seriai D?partement Informatique et Automatique 941, rue Charles Bourseul; B.P. 838 -59508 Douai Cedex, France Tel : 0033 3 27 71 23 81 Fax : 0033 3 27 71 29 17 Email : seriai at ensm-douai.fr -------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080206/27c8271b/attachment-0001.htm From tsigas at cs.chalmers.se Wed Feb 6 16:24:31 2008 From: tsigas at cs.chalmers.se (Philippas Tsigas) Date: Wed, 6 Feb 2008 16:24:31 +0100 Subject: [ecoop-info] PhD positions, Department of Computer Science and Engineering, Chalmers Technical University Message-ID: <02ea01c868d4$5ee5c0d0$1cb14270$@chalmers.se> PhD Positions at the Department of Computer Science and Engineering Chalmers Technical University Application deadline March 11, 2008. Reference nr 2008/34 The Department provides strongly international and dynamic research environments with 76 faculty and 75 PhD students from about 30 countries. For more information, see www.chalmers.se/cse/EN/ Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 20 different countries. Applicants must have a very good undergraduate degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. You may even apply if you have not yet completed your degree, but expect to do so by 1 September 2008. We particularly encourage applicants with interests in: - Computational Systems Biology, with a focus on graph algorithms for biological (e.g., protein) interaction network analysis, clustering, and data mining. A particularly strong mathematical background (algorithms, combinatorics and probability) is required, as well as good programming skills. For more information on this point contact Peter Damaschke (ptr(at)cs.chalmers.se); - Parallel Programming and Algorithms for Interprocess Synchronization for Multicore processors, with focus on Lock/wait-free Synchronization, concurrent data structures. For more information on this point see the webpages of Distributed Computing and Systems research group http://www.cs.chalmers.se/~dcs/ or contact Philippas Tsigas (tsigas(at)cs.chalmers.se). - Functional programming, in particular design and application of domain specific embedded languages. Examples of our work in this field are QuickCheck for specification-guided random testing, and Lava for hardware design and verification. The ideal student for these positions will be an accomplished functional programmer, with an interest in applied functional programming as well as a good understanding of logic. For more information on this point see the webpage www.cs.chalmers.se/~koen/phdad.html or contact either Koen Claessen (koen(at)chalmers.se) or John Hughes (rjmh(at)chalmers.se). How to apply ------------ The full application should contain: 1. A letter of application, listing specific research interests 2. A curriculum vitae 3. Copies of degrees and other certificates 4. Copies of relevant work, for example dissertations or articles, that you have authored or co-authored 5. Letters of recommendation from your teachers or employers You MUST include or e-mail Letters of Recommendation: we typically get over 100 apps, and it is simply not feasible for us to request individual letters The job reference number is: 2008/34. The last date for your full application to arrive is March 11, 2008 Send your application electronically in PDF files or by paper-mail to Registrator, Chalmers University of Technology, Se-412 96 G?teborg, Sweden. Phone: +4631 772 1000, Fax: +4631 772 4922, E-mail: registrator at adm.chalmers.se You will know the result of your application by 30 May 2008. For Further Information Regarding graduate education at our department please contact: i) the Vice Head of Department, Graduate Education: Professor Reiner H?hnle (reiner at chalmers.se) ii) the Graduate Studies Director of the Department, Ass. Professor Jan Jonsson (janjo at chalmers.se) Union representatives: SACO Jan Lind?r, TCO Marie Wenander, SEKO Ralf Berndtsson All reachable via Chalmers exchange: +46 31 772 10 00 From tommie.meyer at meraka.org.za Wed Feb 6 22:52:47 2008 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Wed, 6 Feb 2008 23:52:47 +0200 Subject: [ecoop-info] Updated Call for Papers: KR 2008 Message-ID: ------------------------------------------------------------------------ -------------------------------------------- UPDATED CALL FOR PAPERS: KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, September 16 - 19, 2008 Collocated with NMR-08, ICAPS-08, CP-08 The single registration fee includes attendance to most events for all conferences http://www.kr.org/KR2008/ Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of human endeavour. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. Explicit representations of knowledge manipulated by reasoning engines are an integral and crucial component of intelligent systems. Semantic Web technologies, the design of software agents and Bio-Informatics technologies, in particular, provide significant challenges for KR&R. We intend KR2008 to be a forum for the exchange of new ideas, issues, and results among the community of researchers in the principles and practices of KR&R systems. We encourage papers presenting substantial new results in the principles of KR&R systems that clearly contribute to the formal foundations or show the applicability of the results to implemented or implementable systems. We also encourage ``reports from the field" of building knowledge bases, applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and should include a section on evaluation. Papers must be submitted in AAAI style (pdf only) Paper length is 7 pages maximum including title, author information and references. Authors may add to the paper an optional, clearly marked Appendix containing technical material (such as proofs, evaluation results etc.) supporting claims made in the paper. The Appendix must not exceed 2 additional pages in AAAI style. The evaluation of the submission will be based on the quality of the paper. The optional Appendix will be used in case reviewers are in doubt about claimed results. Submission will be through the Easychair conference management system http://www.easychair.org/conferences/?conf=KR-2008 Conference proceedings will be published by AAAI Press. Final versions of papers will be considerably longer than the submissions: for each accepted paper 11 pages in AAAI style will be allocated in the proceedings. Topics of interest include: - Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics - Nonmonotonic logics, Default logics, Conditional logics, Argumentation - Temporal and spatial reasoning - Causal reasoning, Abduction, Model-based diagnosis - Reasoning about action and change, Action languages, Situation calculus, Dynamic logic - Reasoning, planning, or decision making under uncertainty - Representations of vagueness, Many-valued and fuzzy logics - Graphical representations for belief and preference - Reasoning about belief and knowledge, Epistemic and doxastic logics, - Multiagent logics of belief and knowledge - Logic programming, Constraint logic programming, Answer set programming - Computational aspects of knowledge representation - Concept formation, Similarity-based reasoning - Belief revision and update, Belief merging, Information fusion - Description logics, Ontologies - Qualitative reasoning, Reasoning about physical systems - Decision theory, Preference modelling and representation, Reasoning about preference - KR & Autonomous Agents: Intelligent Agents, Cognitive Robotics - KR & Multiagent Systems: Negotiation, Group decision making, - Cooperation, Interaction, KR & game theory - Natural language processing, Summarization, Categorization - KR and machine learning, Inductive logic programming, Knowledge discovery and acquisition - WWW querying languages, Information retrieval and web mining, Website selection and configuration - Philosophical foundations and psychological evidence KR Workshops: Knowledge Representation Ontology Workshop KROW 2008 @ KR 2008 http://www.cse.unsw.edu.au/~kr2008/krow.html Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008 @ KR 2008 http://www.cs.uu.nl/events/kramas2008/kramas.html Doctoral Consortium http://www.cse.unsw.edu.au/~kr2008/doctoral.html Conference Chairs: General Chair: Patrick Doherty PC Chairs: Gerhard Brewka, Jerome Lang Local Chair: Maurice Pagnucco Doctoral Consortium Chair: Carsten Lutz Publicity Chair: Thomas Meyer Important Dates: Submission of title and abstract: April 3, 2008 Paper submission deadline: April 7, 2008 Notification of acceptance: May 25, 2008 Camera-ready papers due: June 16, 2008 KR-2008 Conference: September, 16-19, 2008 --------------------------------------------- Thomas Meyer Knowledge Systems Group Meraka Institute http://www.meraka.org.za/~tmeyer -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.aito.org/pipermail/ecoop-info/attachments/20080206/1766e4b9/attachment-0001.htm From canal at lcc.uma.es Thu Feb 7 11:45:59 2008 From: canal at lcc.uma.es (Carlos Canal) Date: Thu, 07 Feb 2008 11:45:59 +0100 Subject: [ecoop-info] CfP FACS08 - Formal Aspects of Component Software (Malaga, Spain, September 2008) Message-ID: <20080207104600.9EED338CE5@sol10.lcc.uma.es> Formal Aspects of Component Software (FACS 2008) Call for Papers 5th International Workshop on Formal Aspects of Component Software September 10-12, 2008 Malaga, Spain http://www.iist.unu.edu/facs08/ Submission deadline May 16, 2008 (abstracts submission, May 9, 2008) Scope & Topics ============== Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering system complexity, for enabling evolution and reuse, and for driving software engineering into sound production and engineering standards. However, many issues in component-based software development remain open and challenging research questions. On the other hand, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. Therefore, they are of great use to set up formal foundations of component software and work out challenging issues such as mathematical models for components, their composition and adaptation, or rigorous approaches to verification, deployment, testing and certification. The objective of FACS'08 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications. The workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations will be followed by lively discussions. Possible topics include, but are not limited to: - formal models for software components and component interaction - design and verification methods for component software - component composition and deployment: models, calculi, languages - component testing, re-engineering and reuse - specification of extra-functional properties in component software - certification of components and software architectures - component software vs. object orientation, multi-agent systems, and aspect oriented development - components for real-time, safety-critical, secure and/or embedded systems - standard models for software components (e.g. Fractal, GCM, etc.) - industrial or experience reports, and case studies in component software - partial behaviour models for software components - update and reconfiguration of component architectures - component systems evolution and maintenance - formal methods and modeling languages - trust models for components - autonomic components and self-managed applications - formal / rigorous approaches to software adaptation and self-adaptive systems - formal aspects of Web services and business processes - component-based Web services and service-oriented architectures FACS'08 is the fifth event in a series of workshops, founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The first FACS workshop was co-located with FM'03 (Pisa, Italy, September 2003). The following FACS workshops were organised as standalone event respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), and at INRIA in Sophia-Antipolis (September 2007). FACS'08 is planned again as a separate event organised by the University of Malaga in September 2008. Submission & proceedings ======================== Submissions to the workshop should present original research which is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers should be written in English and not exceed 15 pages in ENTCS format. Note that to encourage submission of work still in progress, we may also accept promising papers to be presented at the workshop, and accept them conditionally for inclusion in the ENTCS proceedings. Submission of papers will be in electronic form via Easychair, accessible through the workshop website. The final version of the paper must be prepared in LaTeX, adhering to the ENTCS format (see http://www.entcs.org/final.html). The publication of a special issue on FACS 2008 in an international journal is being prepared. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. Important dates =============== Abstract submission: May 9, 2008 Paper submission: May 16, 2008 Acceptance notification: June 20, 2008 Camera ready: July 18, 2008 Workshop: September 10-12, 2008 Program chairs ============== Carlos Canal (University of Malaga, Spain) Corina Pasareanu (NASA Ames Research Center, USA) Program committee (in construction) =================================== Farhad Arbab, CWI, The Netherlands Luis Barbosa, University of Minho, Portugal Frank S. de Boer, CWI, The Netherlands Tevfik Bultan, University of California at Santa Barbara Carlos Canal, University of Malaga, Spain (PC chair) Paolo Ciancarini, Universita di Bologna, Italy Dimitra Giannakopoulou, NASA Ames Research Center, USA Rolf Hennicker, Ludwig-Maximilians-Universitaet Muenchen, Germany Atsushi Igarashi, University of Kyoto, Japan Sarfraz Khurshid, University of Texas at Austin, USA Zhiming Liu, UNU-IIST, Macau, China Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA, Centre Sophia Antipolis, France Jeff Magee, Imperial College, United Kingdom Rupak Majumdar, University of California at Berkeley, USA Vladimir Mencl, Charles University, Czech Republic, and University of Canterbury, New Zealand Marius Minea, Politehnica University of Timisoara, Romania Corina Pasareanu, NASA Ames Research Center, USA (PC chair) Frantisek Plasil, Charles University, Czech Republic Pascal Poizat, ARLES Project-team, INRIA and University of Evry, France Ralf Reussner, Universitaet Karlsruhe, Germany Bernhard Schaetz, Technical University of Munich, Germany Clemens A. Szyperski, Microsoft, USA Carolyn Talcott, SRI International, USA Emilio Tuosto, University of Leicester, United Kingdom Kurt Wallnau, Carnegie-Mellon University, USA Keynote speakers ================ The invited speakers for the 2008 edition will be Jeff Magee from the Imperial College (United Kingdom), and Ralf Reussner from the University of Karlsruhe, in Germany. Steering Committee ================== Zhiming Liu (IIST UNU, Macau, China, chair) Farhad Arbab (CWI, The Netherlands) Luis Barbosa (Universidade do Minho, Portugal) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Sophia-Antipolis, France) Vladimir Mencl (Charles University, Prague, Czech Republic, and University of Canterbury, New Zealand) Bernhard Schaetz (Technical University of Munich, Germany) Organising committee ==================== Javier Camara (Universidad de Malaga, Spain) Carlos Canal (Universidad de Malaga, Spain) Javier Cubo (Universidad de Malaga, Spain) Antonio Martin (Universidad de Malaga, Spain) Meriem Ouederni (Universidad de Malaga, Spain) Ernesto Pimentel (Universidad de Malaga, Spain) Gwen Salaun (Universidad de Malaga, Spain) \|/ /// @(. .)@ @(. .)@ +--oOO-(_)-OOo---------------------oOO-(_)-OOo--+ | Carlos Canal E-mail: canal at lcc.uma.es | | URL: http://www.lcc.uma.es/~canal | | | | Depto. Lenguajes y Ciencias de la Computacion | | E.T.S.I Informatica | | Universidad de Malaga | | Campus de Teatinos s/n | | 29071 - Malaga (SPAIN) | | | | Phone: +34 95 213 3311 Fax: +34 95 213 1397 | +-----------------------------------------------+ | | | | | | | | | | | | | | | | | | ___| | |___ ___| | |___ (_____|_____) (_____|_____) From tsd2008 at tsdconference.org Thu Feb 7 12:38:15 2008 From: tsd2008 at tsdconference.org (TSD 2008) Date: Thu, 07 Feb 2008 12:38:15 +0100 Subject: [ecoop-info] TSD 2008 First Call for Papers Message-ID: ********************************************************* TSD 2008 - FIRST CALL FOR PAPERS ********************************************************* Eleventh International Conference on TEXT, SPEECH and DIALOGUE (TSD 2008) Brno, Czech Republic, 8-12 September 2008 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TOPICS Topics of the conference will include (but are not limited to): text corpora and tagging transcription problems in spoken corpora sense disambiguation links between text and speech oriented systems parsing issues parsing problems in spoken texts multi-lingual issues multi-lingual dialogue systems information retrieval and information extraction text/topic summarization machine translation semantic networks and ontologies semantic web speech modeling speech segmentation speech recognition search in speech for IR and IE text-to-speech synthesis dialogue systems development of dialogue strategies prosody in dialogues emotions and personality modeling user modeling knowledge representation in relation to dialogue systems assistive technologies based on speech and dialogue applied systems and software facial animation visual speech synthesis Papers on processing languages other than English are strongly encouraged. PROGRAM COMMITTEE Frederick Jelinek, USA (general chair) Hynek Hermansky, Switzerland (executive chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Attila Ferencz, Romania Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Ernst G. Schukat-Talamazzini, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2008 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings.) Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of the demonstration should provide the abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2008 ............ Submission of abstract March 22 2008 ............ Submission of full papers May 15 2008 .............. Notification of acceptance May 31 2008 .............. Final papers (camera ready) and registration July 23 2008 ............. Submission of demonstration abstracts July 30 2008 ............. Notification of acceptance for demonstrations sent to the authors September 8-12 2008 ...... Conference date Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. CONFERENCE FEES The conference fee depends on the date of payment and on your status. It includes one copy of the proceedings, refreshments, local transport, social events and organizing costs. The fee does not include accommodation. Full participant: Early payment (by May 31): CZK 8500 Late payment (by August 15): CZK 10000 On-site payment: CZK 12000 Student: Early payment (by May 24): CZK 7000 Late payment (by August 15): CZK 8500 On-site payment: CZK 10000 The payment may be refunded up until August 15, at the cost of CZK 1500. No refund is possible after this date. All costs are in Czech Crowns (Czech Koruna, CZK), see e.g. http://www.xe.com/ucc/ for the current exchange rate. At least one of the authors has to register and pay the registration fee by June 16, 2008 for their paper to be included in the conference proceedings. Only one paper of up to 8 pages is included in the regular registration fee. The additional paper and page charge is CZK 1000 per page. An author with more than one paper pays the additional paper(s) rates unless a co-author has also registered and paid the full registration fee. The organizing committee will provide discounts and grants for participants from East European countries (Russia, Belarus, Ukraine, ...). To apply for a grant, send an email to tsd2008 at tsdconference.org with subject 'Grant Application', in which you briefly describe the reasons for your application. Each applicant must send a separate e-mail. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 3-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Dana Hlavackova, TSD 2008 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 33 29 fax: +420-5-49 49 18 20 email: tsd2008 at tsdconference.org The official TSD 2008 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000. The city is the country's judiciary and trade-fair center. Brno is the capital of Moravia, which is in the south-east part of the Czech Republic. Brno had been a Royal City since 1347 and with its six universities it forms also a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Barcelona and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, some nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From Andrew.Fish at bton.ac.uk Thu Feb 7 16:29:30 2008 From: Andrew.Fish at bton.ac.uk (Andrew.Fish at bton.ac.uk) Date: Thu, 7 Feb 2008 15:29:30 -0000 Subject: [ecoop-info] 3rd CFP for Diagrams 2008 + announcements Message-ID: <19975A316C67744D9720DD2F6AB1FC6605758FE2@EXCHANGE1.university.brighton.ac.uk> [Apologies if you receive multiple copies of this email] =============== Best Paper Awards ======================= We are pleased to announce that Diagrams 2008 will be presenting Best Paper Awards. Nokia are sponsoring the Diagrams 2008 Best Paper Award. The Cognitive Science Society are sponsoring the Best Student Paper Award. =============== Keynote Speakers ======================== Our full line-up of keynote speakers is now available: Professor John Etchemendy, Stanford University, Professor Dr Wilhelm Sch?fer, University of Paderborn, W. Bradford Paley, Columbia University and Digital Image Design Incorporated. =============== Submission Now Open ===================== For full details on preparing and submitting your paper see: http://www.cmis.brighton.ac.uk/diagrams2008/submission.php Diagrams 2008 submission will be via EasyChair. ========================================================= 3rd Call for Papers: Diagrams 2008 Germany September 19 - 21, 2008 www.cmis.brighton.ac.uk/diagrams2008 =============================================================== Diagrams 2008: 5th International Conference on the Theory and Application of Diagrams 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 aita08 at krlab.cs.ttu.edu Thu Feb 7 20:00:40 2008 From: aita08 at krlab.cs.ttu.edu (aita08 at krlab.cs.ttu.edu) Date: Thu, 7 Feb 2008 13:00:40 -0600 (CST) Subject: [ecoop-info] AITA08 CALL FOR PARTICIPATION Message-ID: <200802071900.m17J0ekg025436@krlab.cs.ttu.edu> CALL FOR PARTICIPATION AITA08 Architectures for Intelligent Theory-Based Agents March 26-28 2008, Stanford University, California, USA. We invite you to attend AITA08, the International Symposium on Architectures for Intelligent Theory-Based Agents, to be held as part of the AAAI Spring Symposium Series, March 26-28 2008, at Stanford University, California, USA. The focus of this symposium is the definition of architectures for intelligent theory-based agents. These architectures typically comprise languages, knowledge representation methodologies, reasoning algorithms, and control loops. The motivation of the symposium is the consideration that a number of reasonably rigorous architectures have been designed, but not implemented, that allow one to prove important properties about the agents and their behavior, while other reasonably rigorous architectures have been implemented without attendant proofs about their agents. Unfortunately, there has not yet been much interaction among the groups working on these two classes of architectures. The lack of communication contributes to slowing the development of an otherwise interesting and potentially very important area. We intend to provide a forum to bring together researchers from these two groups, promote interaction, and stimulate the investigation of the relationships among the different approaches. Key topics covered during the symposium are descriptions of specific architectures, comparisons of architectures, surveys of the state-of-the-art. The discussion will include overviews of languages, knowledge representation methodologies, reasoning algorithms, and control loops used in the architectures considered. Further Information The 2008 AAAI Spring Symposium Series will be held Wednesday - Friday, March 26-28 at Stanford University. Registration and hotel information, as well as an online registration form, are available at: http://www.aaai.org/Symposia/Spring/sss08.php Important dates: * February 11, 2008: Sheraton Hotel reservation cut-off date * February 26, 2008: Deadline for scholarship applications * February 28, 2008: Notification of scholarship awards * February 29, 2008: Final (open) registration deadline * March 26-28, 2008: Symposium Financial Aid A limited number of scholarships is available for students attending the symposium. Interested students can apply by sending a one-page description of their research interests and a recommendation letter from their advisor to Marcello Balduccini at aita08.aaai at gmail.com. Organizing Committee Marcello Balduccini, Texas Tech University/Kodak Research Labs; Chitta Baral, Arizona State University; Thomas Eiter, Vienna University of Technology; Alfredo Gabaldon, National ICT Australia; Stuart C. Shapiro, University at Buffalo; Francesca Toni, Imperial College London. Accepted Papers The list of accepted papers is available at: http://krlab.cs.ttu.edu/~marcy/aita08/accepted.htm For More Information For up-to-date information about the symposium please visit: http://krlab.cs.ttu.edu/~marcy/aita08 From seriai at ensm-douai.fr Thu Feb 7 21:27:13 2008 From: seriai at ensm-douai.fr (Abdelhak-Djamel SERIAI) Date: Thu, 7 Feb 2008 21:27:13 +0100 Subject: [ecoop-info] 2nd CfP: Workshop on Self-Adaptive Software Engineering : SASE 2008 at IEEE CSMR 08 Message-ID: <086a01c869c7$d2a8def0$790a010a@PORTDELLDSE> [We apologise if you receive multiple copies of this message. Please forward this mail to anyone interested.] ========================================================================== Second CALL FOR PAPERS =======================================================