From zimmer at informatik.uni-halle.de Fri Jan 4 08:42:09 2013 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Fri, 04 Jan 2013 08:42:09 +0100 Subject: [fg-arc] 3rd CfP: CLOUD COMPUTING 2013 || May 27 - June 1, 2013 - Valencia, Spain Message-ID: <50E687D1.6090506@informatik.uni-halle.de> ============== CLOUD COMPUTING 2013 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS CLOUD COMPUTING 2013, The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization May 27 - June 1, 2013 - Valencia, Spain General page: http://www.iaria.org/conferences2013/CLOUDCOMPUTING13.html Call for Papers: http://www.iaria.org/conferences2013/CfPCLOUDCOMPUTING13.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2013/SubmitCLOUDCOMPUTING13.html Submission deadline: January 22, 2013 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html CLOUD COMPUTING 2013 Topics (topics and submission details: see CfP on the site) CLOUD: Cloud computing Cloud economics; Core cloud services; Cloud technologies; Cloud computing; On-demand computing models; Hardware-as-a-service; Software-as-a-service [SaaS applications]; Platform-as-service; Storage as a service in cloud; Data-as-a-Service; Service-oriented architecture (SOA); Cloud computing programming and application development; Scalability, discovery of services and data in Cloud computing infrastructures; Trust and clouds; Client-cloud computing challenges; Geographical constraints for deploying clouds CLOUD: Challenging features Privacy, security, ownership and reliability issues; Performance and QoS; Dynamic resource provisioning; Power-efficiency and Cloud computing; Load balancing; Application streaming; Cloud SLAs, business models and pricing policies; Cloud service subscription model; Cloud standardized SLA; Cloud-related privacy; Cloud-related control; Managing applications in the clouds; Mobile clouds; Roaming services in Clouds; Agent-based Cloud Computing CLOUD: Platforms, Infrastructures and Applications Custom platforms; Large-scale compute infrastructures; Data centers; Processes intra- and inter-clouds; Content and service distribution in Cloud computing infrastructures; Multiple applications can run on one computer (virtualization a la VMWare); Grid computing (multiple computers can be used to run one application); Cloud-computing vendor governance and regulatory compliance; Enterprise clouds; Enterprise-centric cloud computing; Interaction between vertical clouds; Public, Private, and Hybrid clouds; Cloud computing testbeds GRID: Grid networks, services and applications GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned VIRTUALIZATION: Computing in virtualization-based environments Principles of virtualization; Virtualization platforms; Thick and thin clients; Data centers and nano-centers; Open virtualization format; Orchestration of virtualization across data centers; Dynamic federation of compute capacity; Dynamic geo-balancing; Instant workload migration; Virtualization-aware storage; Virtualization-aware networking; Virtualization embedded-software-based smart mobile phones; Trusted platforms and embedded supervisors for security; Virtualization management operations /discovery, configuration, provisioning, performance, etc.; Energy optimization and saving for green datacenters; Virtualization supporting cloud computing; Applications as pre-packaged virtual machines; Licensing and support policies Committee: http://www.iaria.org/conferences2013/ComCLOUDCOMPUTING13.html ================================================ From langer at big.tuwien.ac.at Sun Jan 6 19:55:20 2013 From: langer at big.tuwien.ac.at (Philip Langer) Date: Sun, 6 Jan 2013 19:55:20 +0100 Subject: [fg-arc] ICMT 2013 - 6th International Conference on Model Transformation - Final Call for Papers Message-ID: <50E9C898.3030102@big.tuwien.ac.at> ******************* Apologies for multiple postings ****************** F I N A L C A L L F O R P A P E R S ICMT 2013 6th International Conference on Model Transformation June 18?19, 2013, Budapest, Hungary http://www.model-transformation.org ********************************************************************** The 6th International Conference on Model Transformation (ICMT) will be held June 18?19, 2013, in Budapest, Hungary. ICMT is the premier forum for researchers and practitioners alike from all areas of model transformation. Model transformations are essential for elevating models from documentation elements to first-class artifacts of the development process. ICMT is seeking original papers, which have not been submitted elsewhere. For more details, please visit the conference Web site at: http://www.model-transformation.org **** IMPORTANT DATES **** * Jan 25, 2013 : Abstract Submission * Feb 01, 2013 : Paper Submission * Mar 22, 2013 : Notification * Apr 05, 2013 : Camera Ready Submission **** TOPICS OF INTEREST **** The topics of interest include, but are not restricted to: * Transformation paradigms and languages: - graph rewriting, tree rewriting, attribute grammars - rule-based, declarative, imperative, and functional - textual, graphical - pattern matching - transformation by example/demonstration - modularity, reusability, and composition - comparison of transformation languages - theoretical foundations * Transformation algorithms and strategies: - bidirectional transformation - incremental transformation - scalability and optimization - termination and confluence - higher-order transformation - transformation chains * Development of transformations: - specification verification and validation - testing and debugging - evolution - development processes - tool support - benchmarking of transformation engines * Applications and case studies: - refactoring - aspect weaving - model comparison, differencing, and merging - model synchronization and change propagation - co-evolution of models, metamodels, and transformations - round-trip/reverse/forward engineering - industrial experience reports - empirical studies **** PUBLISHING **** The conference proceedings will be published by Springer-Verlag in the LNCS series. For each published paper must be a full registration for the conference. Selected papers will be invited to be submitted as extended version to a special issue of the Journalof Object Technology (JOT). **** ORGANIZATION **** GENERAL CHAIR Daniel Varro (BME) PROGRAM CHAIRS Keith Duddy (QUT) Gerti Kappel (TU Wien) PUBLICATION CHAIR Manuel Wimmer (TU Wien) PUBLICITY CHAIR Philip Langer (TU Wien) WEB CHAIR Ludovico Iovino (Uni l'Aquila) **** CONTACT **** Web : http://www.model-transformation.org Join us on LinkedIn : http://www.linkedin.com/groups/ICMT-2013-4662349 Follow us on twitter: @ICMT2013 #icmt2013 From Jeremy.Gibbons at cs.ox.ac.uk Mon Jan 7 15:09:03 2013 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Mon, 07 Jan 2013 14:09:03 +0000 Subject: [fg-arc] Three University Lectureships in Software Engineering at Oxford Message-ID: <201301071409.r07E9358021976@linux1.cs.ox.ac.uk> University of Oxford Department of Computer Science in association with Kellogg College, Oxford UNIVERSITY LECTURERS IN COMPUTER SCIENCE (SOFTWARE ENGINEERING) - THREE POSTS The Department of Computer Science proposes to appoint three University Lecturers in Computer Science from 1st April 2013 and no later than 1st October 2013. The successful candidate will be offered a Non-Tutorial Fellowship at Kellogg College under arrangements described in Further Particulars. The salary will be on a scale currently up to ?57,581 per annum. The teaching duties of the appointees will be performed for the Software Engineering Programme, which offers part-time MScs in Software Engineering and Software and Systems Security, taught via a series of intensive one-week modules. The research interests of candidates should be in any area of Software Engineering or Computer Science relevant to these programmes. Applicants should hold a relevant PhD and have experience in any area which broadens the activities of the Software Engineering Programme (http://www.softeng.ox.ac.uk/). Full details of the qualifications required and the duties of the post can be found in the Further Particulars (http://www.cs.ox.ac.uk/files/5213/SEP_UL_FPs.pdf). The closing date for applications is Friday 8th February 2013. Queries about the post should be addressed in the first instance to Elizabeth Walsh at elizabeth.walsh at cs.ox.ac.uk or telephone: +44 (0) 1865 283503. Applications are particularly welcome from women and black and minority ethnic candidates, who are under-represented in academic posts in Oxford. The University is an Equal Opportunities Employer. From heiko at koziolek.de Tue Jan 8 09:45:46 2013 From: heiko at koziolek.de (Heiko Koziolek) Date: Tue, 08 Jan 2013 09:45:46 +0100 Subject: [fg-arc] CFP: SE4SG 2013 - 2nd Int. ICSE Workshop on Software Engineering Challenges for the Smart Grid Message-ID: ===================================================================== CALL FOR PAPERS (Deadline: February 07, 2013) 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG) May 18th, 2013, San Francisco, USA http://se4sg.ipd.kit.edu workshop in conjunction with ICSE 2013 http://2013.icse-conferences.org ===================================================================== * Paper submission : Feb 7, 2013 * Acceptance notification : Feb 28, 2013 * Camera ready copy : Mar 7, 2013 ===================================================================== This 2nd workshop will focus on understanding and identifying the unique challenges and opportunities for SE to contribute to and enhance the design and development of the smart grid. In smart grids, the geographical scale, requirements on real-time performance and reliability, and diversity of application functionality all combine to produce a unique, highly demanding problem domain for SE to address. The objective of this workshop is to bring together members of the SE community and the power engineering community to understand these requirements and determine the most appropriate SE tools, methods and techniques. TOPICS OF INTEREST SE4SG workshop is interested in submissions on all topics related to identifying and developing appropriate methods, tools and techniques for smart grid software. Specifically, we will focus on: * Applications that support power engineering operations. Such applications include, but are not limited to, complex event processing systems for managing and manipulating large amounts of real-time sensor data, and systems that provide infrastructure for metering, analysis, decision support and control applications; * Software and enterprise architectures tailored for smart grids, including the challenges of the Smart Grid as an ultra-large-scale system; * Designing applications with advanced computing capabilities. This requires understanding the implications of, for example, exploiting cloud computing and high performance, multicore computing platforms for computationally intensive smart grid functions; * Designing simulation frameworks targeting smart grids. These can model designs and predict system properties, e.g., responsiveness and availability, based on simulated and historical data; * Designing highly effective and usable analysis and monitoring tools for grid operation; * Methodologies that apply advanced SE approaches to analyze and improve the properties of smart grid applications. These include model-driven development, self-managing and adaptive software systems, and quality reasoning and evaluation frameworks; * Standards-based distributed architecture solutions and reference architectures that enable open interfaces with plug-and-play hardware and software components; * The design and analysis of robust, scalable security and privacy frameworks for the smart grid; * Approaches to modeling and monitoring the system-wide performance, scalability and/or other quality properties of the smart grid software framework; * Software tools and engineering approaches for smart grid markets; * Software engineering approaches for business-IT alignment for smart grids. PAPER SUBMISSION DETAILS All papers should be submitted through Easychair: https://www.easychair.org/conferences/?conf=se4sg13 Research papers will be thoroughly reviewed for novelty, technical quality, scientific soundness and relevance. They should not exceed 8 pages double column including figures and tables. * Experience report papers cover innovative implementations, novel applications of smart grid related technologies, interesting results and experience in applying recent SE research advances to industrial situations on any of the topics of interest. Papers should be 6-8 pages double column including figures and tables. * Vision papers present emerging research challenges and long-term research directions on hot topics of interest relevant to the smart grid domain. Submissions of papers should be 4 pages. All papers must conform, at time of submission, to the ICSE 2013 paper formatting guidelines. Make sure that you use US letter page format (don't use A4!). Submissions must be in PDF format. Author names and affiliations shall not be suppressed on the title page of the paper. PROGRAM COMMITTEE * Alberto Avritzer, Siemens, USA * Len Bass, NICTA * Junwei Cao, Tshinghua University * Hong-Mei Chen, U Hawaii * James Ivers, SEI * Sebastian Lehnhoff, University of Oldenburg * David Levy, University of Sydney * Daniel Menasch?, UFRJ * Gabriel Moreno, SEI * Martin Naedele, ABB * Harmut Schmeck, KIT * Kishor S. Trivedi, Duke University * Yun Yang, Swinburne University of Technology ORGANIZING COMMITTEE * Ian Gorton, PNNL, USA * Yan Liu, Concordia University, Canada * Heiko Koziolek, ABB, Germany * Anne Koziolek, University of Zurich, Switzerland * Mazeiar Salehie, Lero, Ireland http://se4sg.ipd.kit.edu From gergely.varro at es.tu-darmstadt.de Tue Jan 8 10:35:40 2013 From: gergely.varro at es.tu-darmstadt.de (Gergely Varro) Date: Tue, 8 Jan 2013 09:35:40 +0000 Subject: [fg-arc] Call for Tutorials for ECMFA, ECOOP and ECSA 2013 (July 1-2, 2013) Message-ID: <71D043DCE00E6147B5B258CBF965270E38E3F6@Arwen.mitarbeiter.fg.es.e-technik.tu-darmstadt.de> ECMFA, ECOOP and ECSA 2013 invite submissions for tutorial proposals on all topics of potential interest to the conference attendees, including, among others: * Model-Based Engineering [1] * Object-Orientation [2] * Software Architecture [3] [1]: http://info-web.lirmm.fr/ecmfa13/index.php/conference-papers [2]: http://www.lirmm.fr/ecoop13/ [3]: http://info-web.lirmm.fr/ecsa13/index.php/conference-papers # Proposals Tutorial proposals must include the following information: About the tutorial * the name (title) of the tutorial; * the conference, whose topics have the largest intersection with the subject of the proposal; * a one-page abstract, which should mention (the breadth and depth of) the tutorial scope; * the intended length of the tutorial : half-day (3-4 hours) vs. full-day (6-8 hours). If you are proposing a full day tutorial, explain why a full day is required; * the clear identification of the intended audience, its assumed background, and its expected expertise level (beginner, intermediate or advanced); * the presentation format: lecture along with slides, hands-on exercises, group problem solving sessions, etc. * references to other scientific events where the submitted tutorial has already been presented in the proposed or a different form (if any) including information about the number of participants; * any special requirements that the tutorial may have (beside a tutorial room and standard AV equipment). About each presenter * Name, affiliation, email address, telephone number * Primary contact: identify one presenter as the primary contact * A brief biography (up to 200 words), focusing on the expertise of the presenter in the field # Proposal Submission and Review Tutorial proposals should be submitted by email to the tutorial organizers, Naouel Moha, Jean Privat, and Gergely Varr? (ec13-tutorial at uqam.ca). Each proposal will be evaluated according to: * the value and relevance of its topic, * the completeness and quality of the tutorial proposal, * the expertise and experience of the tutorial presenters, * the presentation ability of the presenter(s), * the potential of the proposed tutorial to attract participants. The number of accepted proposals will be limited by the availability of the conference rooms. # Important dates The submission deadline is April 5th, 2013. Notifications will be made by April 26th, 2013. Tutorials will take place on July 1st and 2nd, in parallel with workshops, before the main conference tracks. # Contact For additional information about this Call for Tutorial, please contact the tutorial organizers, Naouel Moha, Jean Privat, and Gergely Varr? (ec13-tutorial at uqam.ca). An up-to-date version of this call for tutorial may be found at: http://info-web.lirmm.fr/ec-montpellier-2013/index.php/satelliteevents?id=85 -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at ansgarscherp.net Thu Jan 10 14:40:23 2013 From: mail at ansgarscherp.net (Ansgar Scherp) Date: Thu, 10 Jan 2013 14:40:23 +0100 Subject: [fg-arc] Aufruf zum Doktorandenprogramm der INFORMATIK 2013 Message-ID: <1357825223.2602.48.camel@scherp-ThinkPad-X1> === Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2013 === === am 16. und 17. September 2013 === === im Rahmen der INFORMATIK 2013 vom 16.-20.9.2013 in Koblenz === === siehe http://informatik2013.de/cfp-phdprogram_de.html === Das Doktorandenprogramm der INFORMATIK 2013 erlaubt jungen Forschern und Forscherinnen ihr Thema in einem Vortrag oder als Poster einem breiten Publikum vorzustellen. Es gibt den DoktorandInnen au?erdem die M?glichkeit sich mit anderen Forschern und Doktoranden auszutauschen, gegenseitige Kontakte zu kn?pfen, Probleme und deren L?sungswege zu diskutieren und R?ckmeldungen von promovierten WissenschaftlerInnen und ProfessorInnen auf verwandten Forschungsgebieten zu erhalten. Neben den wissenschaftlichen Pr?sentationen und Diskussionen steht daher im Doktorandenprogramm der pers?nliche Kontakt und Austausch mit erfahrenen Forschern im Vordergrund. Die eingereichten Beitr?ge werden nach den Kriterien Relevanz, Innovation und Interesse f?r ein gr??eres Publikum bewertet und bei Annahme entweder als Vortrag oder im Rahmen einer Poster-Session pr?sentiert. Einreichungen erbitten wir in L?nge von 10-12 Seiten gem?? den Formatierungsrichtlinien der INFORMATIK 2013 (das hei?t im GI-Format). Neben einer inhaltlichen Fokussierung der Einreichung ist auch die Einbettung in das ?bergeordnete Thema der Dissertation auf 1-2 Seiten zu beschreiben. Akzeptierte Beitr?ge erscheinen im Konferenzband der GI Jahrestagung! Im Sinne eines Doktorandenkolloquiums wird ausdr?cklich gebeten, dass die Beitr?ge in Alleinautorenschaft der Doktoranden erstellt werden. Die akzeptierten Beitr?ge m?ssen von den Doktoranden als Vortrag beziehungsweise als Poster pr?sentiert werden. Die Poster werden gemeinsam mit den Postern der GI Jahrestagung, den Postern des Studierendenprogramms der GI Jahrestagung, sowie den Postern der Partnerkonferenzen IFIP eGov und IFIP ePart einem breiten Publikum vorgestellt. Auf Wunsch k?nnen die Doktoranden zudem an einem Mentorenprogramm teilnehmen, bei dem f?r das Thema passende erfahrene Forscher ausgesucht und f?r ein pers?nliches Gespr?ch zur Verf?gung stehen. Interesse an der Teilnahme an diesem Programm kann bei der Einreichung der Beitr?ge angegeben werden. Das Mentorenprogramm erfolgt vorbehaltlich einer hinreichenden Passgenauigkeit verf?gbarer erfahrener Forscher und wird rechtzeitig bekannt gegeben. Wichtige Daten: Einreichung der Beitr?ge: 22. April 2013 Benachrichtigung zur Begutachtung: 20. Mai 2013 Einreichung der finalen Version: 1. Juli 2013 Vortr?ge: 16. / 17. September 2013 Vorstellung der Poster: 17. September 2013 (Poster-Session der INFORMATIK 2013) Mentorenprogramm: voraussichtlich am 17. September 2013 Informationen zur Einreichung: * Umfang und Gestaltung der Beitr?ge: - 10-12 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK 2013 im GI-Format). - Beitr?ge sollen einen thematischen Fokus haben sowie auf 1-2 Seiten die Einbettung in das ?bergeordnete Thema der Dissertation beschreiben. * Beitr?ge k?nnen in Deutsch oder Englisch (bevorzugt!) eingereicht werden. * Akzeptierte Beitr?ge werden entweder als Vortrag oder Poster-Pr?sentation vorgestellt. * Einreichung von Beitr?gen erfolgt ?ber das ConfTool der INFORMATIK 2013: http://www.conftool.net/informatik2013/ Leitung des Doktorandenprogramms: - Ansgar Scherp, Universit?t Mannheim - Hannes Frey, Universit?t Koblenz-Landau - Ingo Schmitt, Technische Universit?t Cottbus Programmkomittee (wird noch bekannt gegeben) -- Jun.-Prof. Dr. habil. Ansgar Scherp University of Mannheim Phone: +49 621 181-2647 B6, 26 Room B1.14 Fax : +49 621 181-2682 D-68131 Mannheim Mail : ansgar at informatik.uni-mannheim.de WWW: http://www.ansgarscherp.net/about/ From tompits at kr.tuwien.ac.at Fri Jan 11 19:32:13 2013 From: tompits at kr.tuwien.ac.at (Hans Tompits) Date: Fri, 11 Jan 2013 19:32:13 +0100 (CET) Subject: [fg-arc] Call for Workshop Proposals: International Conference on Logic Programming (ICLP 2013) Message-ID: <20130111183213.605FF744D0C@gluck.kr.tuwien.ac.at> (Apologies for cross posting.) --------------------------------------------------------------------- CALL FOR WORKSHOP PROPOSALS 29th International Conference on Logic Programming (ICLP 2013) Istanbul, Turkey, August 24-29, 2013 http://www.iclp2013.org --------------------------------------------------------------------- ICLP 2013, the 29th International Conference on Logic Programming, will be held in Istanbul, Turkey, August 24-29, 2013. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialised topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2013 may cover any area related to logic programming (e.g., theory, systems, environments, software-engineering aspects, extensions, alternative paradigms, applications), including cross- disciplinary areas. However, any workshop proposal will be taken under consideration. The format of the workshop will be decided by the workshop organisers, but ample time should be allowed for general discussions. Workshops can vary in length, but the optimal format are half-day workshops and full-day workshops. Workshop Proposal: ================== People interested in organising a workshop at ICLP 2013 are invited to submit a workshop proposal. Proposals should be written in English and about two pages in length. They should contain: * the title of the workshop; * a brief technical description of the topics covered by the workshop; * a discussion of the timeline and relevance of the workshop; * a list of some related workshops held in recent years; * the (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees; * the names, affiliations, and contact details (email, web page, phone, fax) of the workshop organiser(s) together with a designated contact person; and * the previous experience of the workshop organising committee in workshop or conference organisation. Proposals should be in PDF format and submitted to the Workshop Chair (Hans Tompits) by email by March 11, 2013. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organised and that fit the goals and the scope of ICLP will be selected. The Chairs will notify the responsible organisers of their decision via email by April 4, 2013. The final length of each workshop will be planned according to the number of submissions each workshop receives. For each accepted workshop, the ICLP local organisers will prepare a meeting place and arrange the distribution of the workshop proceedings, which must be prepared by the workshop organisers. The workshop registration fees will be handled together with the conference fees. Workshop Organisers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A Web page URL which will be linked into the ICLP 2013 home page must be provided by April 29, 2013. * Providing a brief description of the workshop for the conference program. * Reviewing and deciding upon submitted papers. * Scheduling workshop activities in collaboration with the local organisers and the Workshop Chair. * Sending the workshop program and the workshop proceedings in pdf format to the Workshop Chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. Location: ========= All workshops will take place in the city of Istanbul at the site of the main conference. See the ICLP 2013 Web site for location details. Important Dates: ================ March 11, 2013: Proposal submission deadline April 4, 2013: Notification April 29, 2013: Deadline for receipt of CFP and workshop Web page URL July 19, 2013: Deadline for proceedings and workshop program August 24 and 25, 2013: ICLP 2013 workshops Workshop Chair: =============== Hans Tompits Knowledge-Based Systems Group E184/3 Institute of Information Systems Vienna University of Technology Favoritenstrasse 9-11 A-1040 Vienna Austria Email: tompits [at] kr [dot] tuwien [dot] ac [dot] at From winter at se.uni-oldenburg.de Wed Jan 16 09:46:11 2013 From: winter at se.uni-oldenburg.de (Winter Andreas) Date: Wed, 16 Jan 2013 09:46:11 +0100 Subject: [fg-arc] CFP: Energy Aware Software-Engineering and Development (EASED@BUIS) Message-ID: ******************************************************************************************* Call For Papers 2nd Workshop Energy Aware Software-Engineering and Development (EASED at BUIS) (http://se.uni-oldenburg.de/eased2013) collocated with BUIS-Days: IT-based resource and energy management (http://enviroinfo.eu/de/5-buis-tage) April 25, 2013 Oldenburg (Oldb.), Kulturzentrum PFL, Peterstra?e 3, Germany ******************************************************************************************* Utilization of mobile and embedded devices, and thus their induced energy consumption, is constantly increasing. Reducing the energy consumption of such devices will not only improve the carbon footprint of contemporary mobile IT usage, but will also extend the device lifetime, improve user acceptance and reduce operational costs. Next to to serious and ongoing efforts in hardware design and on operating system level, software engineering techniques will also contribute to optimize energy consumption by improving software design and software quality. The EASED at BIUS workshop, which follows up the Workshop on Developing Energy Aware Software Systems (EEbS 2012) (http://www.uni-weimar.de/cms/medien/mobile-media/eebs-2012.html), held at the annual GI Conference in September 2012, provides a broad forum for researchers and practitioners to discuss ongoing work, latest results and common topics of interest regarding the improvement of software induced energy consumption. Intensive discussions at the first workshop identified a major challenge in optimizing energy efficiency, which is to precisely measure energy consumption of software, regarding user behavior. Thus, the follow workshop EASED at BUIS will focus on the following topics: - approaches and techniques to estimate or measure the energy consumption of software components, - approaches to define standardized application scenarios on mobile devices to provide repeatable measurement of energy consumption in concrete application settings, - approaches to model the energy consumption of software components, and - experiences on measuring and improving the energy consumption of software components. Well elaborated and standardized measurement means will provide an important foundation to detecting sources of wasting energy caused by software systems and will enable validation means to verify energy savings by software improvements. EASED at BUIS will be organized as a one day discussion-intensive workshop to provoke intensive collaborations among the participants. It is intended to initiate collaborative works on standardizing (static and dynamic) measuring techniques for energy consumption. To further stimulate these discussions, authors are invited to submit position papers on the workshop?s topics. Accepted papers will be presented at the workshop and will be published in Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/). EASED at BUIS is supported by the GI special interest groups - Software Technology (http://fb-swt.gi.de) - Environmental Informatics (http://enviroinfo.eu) Submissions and important Dates ---------------------------- Authors are encouraged to submit their position papers (2 pages in two column form (http://pi.informatik.uni-siegen.de/stt/diverses/trendsstyle_v2.tex) not later than March 15, 2013 through easychair (https://www.easychair.org/conferences/?conf=eased2013). paper submission deadline: March 15, 2013 author notification: March 25, 2013 camera-ready deadline: April 1, 2013 Organizing Committee ------------------- Christian Bunse (University of the Applied Sciences Stralsund) Stefan Naumann (University of the Applied Sciences Trier, Environmental Campus Birkenfeld) Andreas Winter (Carl von Ossietzky University, Oldenburg) Program Committee (to be completed) -------------------------------- Sebastian G?tz (TU Dresden) Theo H?rder (TU Kaiserslautern) Mirco Josefiok (OFFIS, Oldenburg) Sonja Klingert (University Mannheim) Birgit Penzenstadler (TU M?nchen) Giuseppe Scanniello (University of Basilicata) Joost Visser (Software Improvement Group, Amsterdam) Claas Wilke (TU Dresden) Local Organization ---------------- Marion Gottschalk (Carl von Ossietzky University, Oldenburg) Andreas Winter (Carl von Ossietzky University, Oldenburg) -- _______________________________________________________________________ Prof. Dr. Andreas Winter Carl von Ossietzky University Department for Computer Science voice: +49 441 798-2992 Software Engineering winter at se.uni-oldenburg.de 26111 Oldenburg, Germany http://se.uni-oldenburg.de/ _______________________________________________________________________ From Pieter.Philippaerts at cs.kuleuven.be Thu Jan 17 18:09:59 2013 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Thu, 17 Jan 2013 18:09:59 +0100 Subject: [fg-arc] International Symposium on Engineering Secure Software and Systems (ESSoS) - Call for Participation Message-ID: <002801cdf4d5$7b270aa0$71751fe0$@cs.kuleuven.be> International Symposium on Engineering Secure Software and Systems (ESSoS) February 27 - March 1, 2013 Paris, France In cooperation with: ACM SIGSAC and SIGSOFT and IEEE CS (TCSE). Trustworthy, secure software is a core ingredient of the modern world. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. The goal of this symposium, which will be the fifth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program. The full program can be found here: http://distrinet.cs.kuleuven.be/events/essos/2013/programme.html In addition to the main conference, a third day with a workshop, tutorials and a doctoral symposium will be held. Workshop EternalS' 13: The Third International Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge The EternalS' 13 workshop is supported by the coordination action (CA) targets from the European Community in advanced research in the direction of eternal systems such as, software engineering, secure systems, machine learning, natural language processing as well as the increasing impact of social computing. The workshop aims at bringing together experts and stakeholders of the above technologies. For this purpose, eleven speakers, representing state-of-the-art research in Eternal Systems have been invited to give talks, organized in four sessions exploring interesting topics of EternalS, i.e., Secure Eternal Software: a model-centric perspective, Eternal Software-intensive Systems, Machine Learning for Software Engineering and Social Computing. The outcome of the discussion between speakers and attendees will be considered for inclusion in the roadmap that the CA is designing, which, in turn, will be an input to the European Community for the definition of future Work Programmes. More information: http://distrinet.cs.kuleuven.be/events/essos/2013/programme-workshops.html Tutorial: Easily Fighting Murphy: High-level Application Development in the IoT with Fault Tolerance The Internet of Things (IoT) holds great promises as an enabler of a wide spectrum of pervasive applications (e.g., urban monitoring, smart home or emergency scenario). As the range of applications of IoT extends in the fields of industrial and mission-critical, additional requisites relating to robustness and reliability appear. We are faced with systems that are noteworthy for their gathering ability but fail in ensuring their own reliance and proper operation. In this tutorial, we start by first discussing the various aspects of faults, with particular focus on those encountered in Wireless Sensor Networks and Internet of Things. We then cover the techniques of detection, tolerance and injection of faults in these systems. Finally, we discuss techniques for high-level application development in the IoT, coupled with new developments in expressing and ensuring fault tolerance requirements in IoT applications. The theoretical part of the tutorial will be followed by a practical session, where we will use the Srijan macroprogramming toolkit to develop IoT applications, including fault-tolerant components. More information: http://distrinet.cs.kuleuven.be/events/essos/2013/programme-tutorials-Easily FightingMurphy.html Tutorial: Techniques for Secure Programming Security is crucial to the software that we develop and use. With the growth of both Grid and Cloud services, security is becoming even more critical. This tutorial is relevant to anyone wanting to learn about minimizing security flaws in the software they develop. You will learn skills critical for software developers and analysts concerned with security. This tutorial presents coding practices subject to vulnerabilities, with examples of how they commonly arise, techniques to prevent them, and exercises to reinforce them. Most examples are in Java, C, C++, Perl and Python, and come from real code belonging to Cloud and Grid systems we have assessed. More information: http://distrinet.cs.kuleuven.be/events/essos/2013/programme-tutorials-Secure Programming.html Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From riebisch at informatik.uni-hamburg.de Fri Jan 25 11:57:28 2013 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Fri, 25 Jan 2013 10:57:28 +0000 Subject: [fg-arc] =?windows-1254?q?Einladung_zu_Workshop_=22Traceability_-?= =?windows-1254?q?_Nutzung_und_Nutzen=22_26=2E2=2E_Aachen_-_Fr=FChbucherra?= =?windows-1254?q?batt_bis_28=2E1=2E?= Message-ID: <28D593335490374196A6ADFA007531C4212E43@groupware.informatik.uni-hamburg.de> Herzliche Einladung zur Teilnahme am Workshop Thema: Nutzung von Traceability in Softwareprojekten, Methoden und Werkzeuge f?r ein ausgewogenes Aufwand- Nutzenverh?ltnis Ziele: Der Workshop soll aktuelle Forschungsergebnisse auf dem Gebiet des Einsatzes von Traceability darstellen und diese mit Erfahrungen aus der Praxis zusammenf?hren. Daraus soll der Wissenstransfer gef?rdert und aktuelle Fragen f?r eine anwendungsnahe Forschung entwickelt werden. Programm 8:30 Er?ffnung und Vorstellung der Teilnehmer 8:45 Keynote Talk zur Nutzung von Traceability in kritischen Softwareprojekten(NN) 9:45 Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum (B. G?ldali, A. Herrmann, T. Keuler, D. Moldt, M. Riebisch) (eingeladener Vortrag) 10.30 Kaffeepause 11:00 Traceability in the finance sector ? the impact of Basel III on software engineering practices (P. Rempel) (eingeladener Vortrag) 11:45 A Model Management Framework for Maintaining Traceability Links (T. Beyhl, R. Hebig, H. Giese) 12:30 Mittagspause 14:00 UNICASE Trace Client: A CASE Tool Integrating Requirements Engineering, Project Management and Code Implementation (A. Delater, B. Paech) 14:45 Data Lineage goes Traceability - oder was Requirements Engineering von Business Intelligence lernen kann (A. Ditze) 15:30 Kaffeepause 16:00 Abw?gung zwischen Nutzen und Aufwand der Werkzeugunterst?tzung f?r Traceabilitymoderierte Workshop-Diskussion 16:45 Abschluss und Zusammenfassung 17:00 Ende der Veranstaltung Tagungsort sind Geb?ude der RWTH Aachen rund um den Templergraben Workshop-Webseite: http://www.tu-ilmenau.de/sp/forschung/workshop-traceability/ Anmeldung: http://www.se2013.rwth-aachen.de/anmeldung/ From langer at big.tuwien.ac.at Mon Jan 28 11:57:03 2013 From: langer at big.tuwien.ac.at (Philip Langer) Date: Mon, 28 Jan 2013 11:57:03 +0100 Subject: [fg-arc] Deadline Extension: International Conference on Model Transformation - ICMT'13 Message-ID: <5106597F.8040408@big.tuwien.ac.at> ******************* Apologies for multiple postings ****************** ** SUBMISSION DEADLINE EXTENSION ** ** Abstract Submission: Feb 01, 2013 ** ** Paper Submission: Feb 08, 2013 ** ICMT 2013 6th International Conference on Model Transformation June 18-19, 2013, Budapest, Hungary http://www.model-transformation.org ********************************************************************** The 6th International Conference on Model Transformation (ICMT) will be held June 18-19, 2013, in Budapest, Hungary. ICMT is the premier forum for researchers and practitioners alike from all areas of model transformation. Model transformations are essential for elevating models from documentation elements to first-class artifacts of the development process. ICMT is seeking original papers, which have not been submitted elsewhere. For more details, please visit the conference Web site at: http://www.model-transformation.org **** IMPORTANT DATES **** * Feb 01, 2013 : Abstract Submission * Feb 08, 2013 : Paper Submission * Mar 22, 2013 : Notification * Apr 05, 2013 : Camera Ready Submission **** TOPICS OF INTEREST **** The topics of interest include, but are not restricted to: * Transformation paradigms and languages: - graph rewriting, tree rewriting, attribute grammars - rule-based, declarative, imperative, and functional - textual, graphical - pattern matching - transformation by example/demonstration - modularity, reusability, and composition - comparison of transformation languages - theoretical foundations * Transformation algorithms and strategies: - bidirectional transformation - incremental transformation - scalability and optimization - termination and confluence - higher-order transformation - transformation chains * Development of transformations: - specification verification and validation - testing and debugging - evolution - development processes - tool support - benchmarking of transformation engines * Applications and case studies: - refactoring - aspect weaving - model comparison, differencing, and merging - model synchronization and change propagation - co-evolution of models, metamodels, and transformations - round-trip/reverse/forward engineering - industrial experience reports - empirical studies **** PUBLISHING **** The conference proceedings will be published by Springer-Verlag in the LNCS series. For each published paper must be a full registration for the conference. Selected papers will be invited to be submitted as extended version to a special issue of the Journalof Object Technology (JOT). **** ORGANIZATION **** GENERAL CHAIR Daniel Varro (BME) PROGRAM CHAIRS Keith Duddy (QUT) Gerti Kappel (TU Wien) PUBLICATION CHAIR Manuel Wimmer (TU Wien) PUBLICITY CHAIR Philip Langer (TU Wien) WEB CHAIR Ludovico Iovino (Uni l'Aquila) **** CONTACT **** Web : http://www.model-transformation.org Join us on LinkedIn : http://www.linkedin.com/groups/ICMT-2013-4662349 Follow us on twitter: @ICMT2013 #icmt2013 From detlef.streitferdt at tu-ilmenau.de Wed Jan 30 22:34:36 2013 From: detlef.streitferdt at tu-ilmenau.de (Streitferdt Detlef Prof. Dr. TU Ilmenau) Date: Wed, 30 Jan 2013 21:34:36 +0000 Subject: [fg-arc] 5th Industrial Experience in Embedded Systems Design (IEESD 2013) Message-ID: .......................................................... 5th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2013 http://compsac.cs.iastate.edu/ieesd2013.php Kyoto, Japan, July 22 - July 26, 2013 (in conjunction with COMPSAC 2013) .......................................................... Goals of the Workshop ---------------------------- The development of systems (software and hardware) in the industrial domain is facing a continuously growing technical environment. The integration of embedded systems in such a complex sphere, the interaction of embedded systems with the environment as well as with any other arbitrary (embedded and non-embedded) systems are major questions in the design and development of large industrial systems (system-of-systems). Such technical systems range from small embedded devices up to PC-class systems and their specific requirements for the development of software have to be aligned with the need to keep up with the quality of the system over many development iterations and throughout the massive expansion of the potentially collaborating system of embedded systems. The complexity of such huge interrelated and networked embedded systems is not yet fully supported by current development methods/processes with their technologies and accompanying tools. There are still gaps in the different development phases as well as modeling concepts for large systems as mentioned above. Dynamic traceability information starting with the requirements going into the running systems needs to be enhanced to reach a better and online analysis of the quality of such complex technical systems. The design of such huge and interrelated systems becomes even more important with the need of e.g. an early simulation for an early prediction of possible failures and bottlenecks. Theme --------- The theme of this workshop is to continuously gather current requirements of complex technical systems which are highly interrelated and embedded in a complex environment. We need to analyze the environments and the possible abstractions of such environments, e. g. towards an early and highly accurate simulation of embedded system designs. Different beneficial approaches for assessing and modeling such complex embedded systems are needed and will foster the application and further development of scientific approaches in the domain of large, interrelated and networked technical systems. Topics of Interest --------------------- Papers are expected to cover (non-restrictively) one or more of the following topics: - Experience reports with complex embedded technical systems out of different domains - Model-Driven Development for complex embedded systems - Product Lines Architectures, Software Architectures for complex embedded systems - Testing of complex embedded Systems - Evaluation and Analysis of Software Architectures - Adaptable, Evolvable Software and Hardware Architectures, Execution Models and Runtime Platforms - Development Methods, Processes and Tools for complex embedded Systems - Networking Environments - Coupling of Devices and Enterprise Applications Important Dates: ---------------- * March 20th, 2013: Deadline for paper submission * April 21st, 2013: Decision notification (electronic) * May 5th, 2013: Camera-ready paper and registration due Program Committee: ------------------ * Tughrul Arslan, University of Edinburgh, UK * Jerker Delsing, Lulea University of Technology, Sweden * Robert Eschbach, ITK Engineering AG, Germany * Manal A. Farrag, Prince Sultan University, Saudi Arabia * Stefan Gerken, Siemens, Germany * Mikael Gidlund, ABB CRC, Sweden * Michael C. J?ger, Siemens, Germany * Stamatis Karnouskos, SAP, Germany * Stephan Pietsch, TestingTech, Germany * Ghulam Rasool, CIIT Lahore, Pakistan * Matthias Riebisch, University of Hamburg, Germany * Bernhard Schatz, Technical University Munich, Germany * Cristina Seceleanu, Malardalen University, Sweden * Dragos Truscan, Abo Akademi, Finland * Philipp Vorst, ABB Corporate Research, Germany Paper Submission: ----------------- Both draft and camera-ready papers must be submitted electronically via the workshops' Submission Page (http://myreview.cs.iastate.edu/IEESD2013). The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least three reviewers. Papers should be no more than 6 pages. Organizers: ----------- * Detlef Streitferdt, Ilmenau University of Technology, Germany (detlef.streitferdt at tu-ilmenau.de) * Tiberiu Seceleanu, ABB Corporate Research, Sweden(tiberiu.seceleanu at se.abb.com) * Philipp Nenninger, ABB Corporate Research, Germany(philipp.nenninger at de.abb.com)