From matt.selway at mymail.unisa.edu.au Wed Dec 4 07:27:03 2013 From: matt.selway at mymail.unisa.edu.au (Selway, Matt Ryan - selmr001) Date: Wed, 4 Dec 2013 06:27:03 +0000 Subject: [fg-arc] EDOC 2014 Call for Workshop Proposals Message-ID: <88bffac1b71846789117982c2f31489a@SINPR01MB123.apcprd01.prod.exchangelabs.com> EDOC 2014 Call for Workshop Proposals The 18th IEEE International EDOC Conference (EDOC 2014) Ulm, Germany September 1-5, 2014 http://www.edoc2014.org/ Follow EDOC2014 at Twitter: https://twitter.com/ieee_edoc Following the tradition of previous conferences, EDOC 2014 plans to host a number of workshops alongside the main conference. The workshops will provide a collaborative forum for a group of typically 15 to 30 participants to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical approaches and applications. Each workshop should provide a balanced distribution of its time for both presentation of papers and discussions. We encourage prospective workshop organizers to submit proposals for highly-interactive workshops focusing on areas related to enterprise computing in general. Both research-oriented and applied topics are welcome. Important Dates Workshop Proposal Deadline: January 5th, 2014 Workshop Proposal Notification January 27th, 2014 Workshop Proposal Guidelines Your proposal document must contain the following information: 1. General Information Workshop title Organizers and primary contact (name/affiliation/email) Abstract (200 words), intended for the EDOC 2014 web site 2. Objectives and Scope Motivation Objectives Intended audience Relevance (in particular to the EDOC community) Context (any past events related to your workshop including related conferences, previous workshops, previous sessions, and previous experience of the current organizers) Need (comments in favor of your application; if your workshop was at EDOC'13 or any of the former conferences, why is it useful to run it again?) 3. Organization Details Details on the organizers (150 words max), including relevant past experience in workshop organization Workshop program committee (indicated as finalized or expected) Would you be willing to merge your workshop with other workshops on a similar topic if this were a condition for hosting your workshop at EDOC? 4. Workshop Format (Please note: Your workshop must adhere to the common deadlines specified below) Intended paper format Evaluation process Intended publication of accepted papers (printed proceedings or website) Intended workshop format (including duration, number of presentations, and planned keynotes) How many participants do you expect (please make at least an educated guess)? What kind of equipment do you need (e.g., data projector, computer, whiteboard)? 5. Additional Material Workshop web page (URL of the draft web page, if one exists) Draft Call for papers for the Workshop (a one page Call for Papers that you intend to send out if your workshop is accepted) In order to ensure a proper coordination with the deadlines of the main conference, the following constraints have to be respected by the accepted workshops and the exact dates will be communicated with the chairs of the accepted workshops: - Workshop Website and CFP Dissemination: TBA - Workshop Paper Submission Deadline: TBA - Workshop Paper Notification to Authors: TBA - Workshop Dates: TBA Please note that the above dates, when provided, will be common across all workshops. These are the internal dates for your workshop. The actual deadline for submitting a workshop proposal is January 5th 2014. Submissions Please ensure that you adhere to the above workshop proposal guidelines providing all requested information using at most six pages. In addition, please provide a one page draft of your planned Call for Papers to the proposal (not included in the six pages). Submit your workshop proposal electronically in PDF using the Springer LNCS style. The proposal must be submitted as a PDF file to the workshop committee chairs. Proceedings Workshop papers will be published in a second volume of the EDOC 2014 conference proceedings. Details will be communicated to the organizers of accepted workshops at the time of notification. Workshop Committee Chairs - Sylvain Hall? (Universit? du Qu?bec ? Chicoutimi - shalle at acm.org) - Dimka Karastoyanova (University of Stuttgart, Germany - dimka.karastoyanova at iaas.uni-stuttgart.de) For further information, please send an email to the workshop committee chairs. -------------- next part -------------- An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Thu Dec 5 16:58:19 2013 From: franconi at inf.unibz.it (Enrico Franconi) Date: Thu, 5 Dec 2013 16:58:19 +0100 Subject: [fg-arc] [Call] PhD/PostDoc school on "Change in Ontologies and Databases" (29-31 January 2014) in Bozen-Bolzano, Italy Message-ID: <05122013165819591GGh77pfXqRRd0272@webmail.unibz.it> Research School on the? Foundations and Challenges of Change in Ontologies and Databases 29-31 January 2014?- Bozen-Bolzano, Italy http://www.inf.unibz.it/krdb/events/school-2014/ PhD students and PostDoc fellows are invited to apply to the research school on the "Foundations and Challenges of Change in Ontologies and Databases", to be held on?29-31 January 2014?in Bozen-Bolzano, Italy. This is the follow-up of a successful Dagstuhl seminar held last year .?This year the event will be oriented towards students and postdocs.?There will be five half-day sessions (listed below).?The students/postdocs will be split in small groups, and each group will be responsible to organise a survey talk within a specific session; each group will be given appropriate reading material in advance. In the rest of each session there will be survey/tutorial/advanced presentations by some of the seniors and many discussions. The five sessions are: ? Ontology revisions, versioning, diffs, and non-monotonic aspects; ? The logic of updates, active rules, and triggers in databases; ? Foundations and challenges in temporal and stream data; ? Modelling and reasoning with business processes and workflows; ? Actions representation and reasoning in ontology languages. Please apply by submitting a short statement (as an abstract with a title), your CV (in PDF), and the chosen topic(s) via EasyChair at by?24 December 2013; late applications may be considered subject to the availability of space. The acceptance to the research school will be notified shortly after, together with the composition of the groups and the preparation material (consisting of few papers).? Before the beginning of the school, each group is required to develop a presentation using the preparation material. During the preparation phase, groups will be supported by high-quality mentors from the committee of the school: each mentor will advise the groups she/he is assigned to about the quality of their presentation while they prepare it before coming to the school. The list of mentors is growing; by now we have: ? Carlo Zaniolo,?zaniolo at cs.ucla.edu ? Laura Giordano,?laura.giordano at mfn.unipmn.it ? Misha Zakharyaschev,?michael at dcs.bbk.ac.uk ? Bernardo Cuenca Grau,?Bernardo.Cuenca.Grau at comlab.ox.ac.uk ? Bijan Parsia,?bparsia at cs.man.ac.uk ? Emanuele Della Valle,?emanuele.dellavalle at polimi.it ? Diego Calvanese,?calvanese at inf.unibz.it ? Michael Kifer,?michael.kifer at stonybrook.edu ? Katia Sycara,?katia at cs.cmu.edu ? Ivan Varzinczak,?ijv at acm.org ? Renata Wassermann, ?renata at ime.usp.br ? Stefano Ceri,?ceri at elet.polimi.it? There will be no registration fee to the research school; coffee breaks and lunches are included. Information about the school location in Bolzano and how to book online the accommodation is available at . cheers by the organisers ? Jim Delgrande, Enrico Franconi, Tommie Meyer, Uli Sattler -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeremy.gibbons at cs.ox.ac.uk Thu Dec 5 18:01:40 2013 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Thu, 5 Dec 2013 17:01:40 +0000 Subject: [fg-arc] BX 2014: Paper deadline extended Message-ID: <90E619ED-411A-4F74-A82F-266C2466B50E@cs.ox.ac.uk> Third International Workshop on Bidirectional Transformations (BX 2014) *Deadline extended due to many requests. Original deadline became abstract deadline.* Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 Web site: http://bx-community.wikidot.com/bx2014:home Submission site: https://www.easychair.org/account/signin.cgi?conf=bx2014 Paper length: 3-8 pages, ACM format. In-progress work is highly encouraged, if limited to 4 pages. Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. The first two instances of this workshop, BX'12 and BX'13, served as a dedicated venue for bx in all relevant areas, including: - Databases - Programming Languages - Software Engineering - Graph Transformation This instance of the workshop is the first at a database venue. The workshop rotates between venues in different areas to promote the cross-disciplinary nature of the work, as methodologies used for bx range from classical program transformation and updateable views to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. Aims and Topics The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bidirectional transformations from different perspectives, such as: * inversion of data exchange mappings * new perspectives on view updatability * data-schema co-evolution and data synchronization * software-model synchronization * consistency analysis * (coupled) software/model transformations * language-based approaches Submissions can be: * novel research concepts and results * position papers and research perspectives * application of bx in new domains * analysis of gaps between formal concepts and application scenarios * examination of the efficiency of algorithms * analysis/classification of requirements for bx technologies * proposals and justification for benchmarks * summary papers providing novel comparisons between existing technologies * case studies and tool support Submitted papers must be in ACM format in accordance with the other workshops and proceedings at EDBT/ICDT. Papers may be 3-8 pages in length; the length of the paper should be appropriate for the level of completeness of the work. Important Dates: Abstract submission date: 7th December 2013 Paper submission date: 13th December 2013 Author notification: 7th January 2014 Camera-ready date: 20th January 2014 Workshop date: 28th March 2014 Accepted papers will be published in the workshop proceedings of EDBT/ICDT and will be available at the conference. -------------- next part -------------- An HTML attachment was scrubbed... URL: From schmid at sse.uni-hildesheim.de Tue Dec 10 22:23:30 2013 From: schmid at sse.uni-hildesheim.de (Klaus Schmid) Date: Tue, 10 Dec 2013 22:23:30 +0100 Subject: [fg-arc] =?windows-1252?q?Letzter_Aufruf_f=FCr_Workshop-Einreichu?= =?windows-1252?q?ngen=3A_Software_Engineering_Tagung_2014?= Message-ID: <9003a541-c3cc-4c3c-bea1-eada2ebd9771@messagesink.samelson.uni-hildesheim.de> ============================================================================== Letzter Aufruf f?r Workshop-Einreichungen: Software Engineering Tagung 2014 ============================================================================== Die deutsche Software Engineering Tagung ist das wichtigste j?hrliche Treffen der Software Engineering-Community im deutschsprachigen Raum. Ein wesentlicher Teil der SE 2014 wird wieder ein umfangreiches Workshop-Programm sein. Die folgenden Workshops wurden akzeptiert und haben aktuell noch offene Aufrufe f?r Beitr?ge: - 1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (http://www.dfg-spp1593.de/index.php?id=264) - Arbeitstagung Programmiersprachen ATPS (http://heim.ifi.uio.no/~stolz/atps2014/) - CeMoSS?Certification and Model-Driven Development of Safe and Secure Software (http://zemoss.in.tu-clausthal.de) - International Workshop on Comparison and Versioning of Software Models (CVSM 2014) (http://pi.informatik.uni-siegen.de/CVSM2014/) - Lehre f?r Requirements Engineering? (LehRE) (http://www.haw-hamburg.de/index.php?id=31332) - Vierter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020) (http://envision.in.tum.de) Gemeinsame Daten f?r alle Workshops: Einreichung Workshop-Beitr?ge: 16. Dezember 2013 Benachrichtigung zu Workshop-Beitr?gen: 13. Januar 2014 Finale Beitr?ge: 27. Januar 2014 Die Beitr?ge werden anschlie?end in der CEUR Workshop-Proceedings Reihe ver?ffentlicht. Damit sind alle Beitr?ge ?ffentlich zug?nglich und werden (unter anderem) in der DBLP indiziert. Allgemeine Information zu allen Workshops und zur Software Engineering Tagung 2014 ist auch unter http://se2014.kosse-sh.de/workshops/ zu finden. Dort wird ebenfalls die Registrierung zu finden sein. ----------------------------------------------------------------- Prof. Dr. Klaus Schmid University of Hildesheim Tel.: +49(0)5121 / 883-40332 Institute of Computer Science Fax.: +49(0)5121 / 883-40333 Marienburger Platz 22 schmid at sse.uni-hildesheim.de D-31141 Hildesheim, Germany http://www.sse.uni-hildesheim.de ----------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: general WS Call SE 14.pdf Type: application/pdf Size: 192415 bytes Desc: general WS Call SE 14.pdf URL: From Pieter.Philippaerts at cs.kuleuven.be Thu Dec 12 11:21:11 2013 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Thu, 12 Dec 2013 11:21:11 +0100 Subject: [fg-arc] ESSoS Doctoral Symposium (CFP) Message-ID: <004801cef723$e1436710$a3ca3530$@cs.kuleuven.be> CALL FOR PAPERS ESSoS Doctoral Symposium February 26, 2014, Munich The ESSoS Doctoral Symposium 2014 will be held in Munich, Germany on Wednesday, February 26, 2014 in conjunction with the ESSoS 2014 Symposium. Following the aim of the past ESSoS-DS edition, the scope of the current event will be focused on providing PhD students an opportunity to discuss their research in Engineering Secure Software and Systems (ESSoS) in an international forum, and with a panel of well-known experts in the field. NEW in this year's Symposium is the fact that we aim to bring together a broad range of students: PhD students at the start of their trajectory, students who are about to finish (What are the pitfalls in the final stages?) and students in the middle (aiming for the first top-level publication). Students will have the occasion to discuss, in a welcoming and informal atmosphere, the goals already achieved or planned, the research challenges they are interested in, the projects they are working on, the facilities they are developing, the problems they want to solve and are solving in their doctoral work. During the Doctoral Symposium students will receive useful feedback from senior researchers, industrial partners and experts. It will also be a good opportunity for meeting and sharing experiences with other PhD students that are addressing similar topics, or are at a similar stage in their doctoral work. This way, the students will obtain guidance both on the academic content of their current work and on potential future research trajectories. PhD students carrying out research in Engineering Secure Software and Systems are invited to submit a position paper to the PhD Symposium. Short papers will be peer-reviewed by the Symposium's program committee members. The criteria used for accepting a paper include contribution of the work to the ESSoS field, originality of the work, and overall quality of the position paper. TOPICS PhD proposals fitting into the ESSoS conference topics are especially encouraged. This includes a diversity of topics, such as (but not limited to): - scalable techniques for threat modeling and analysis of vulnerabilities - specification and management of security requirements and policies - security architecture and design for software and systems - model checking for security - specification formalisms for security artifacts - verification techniques for security properties - systematic support for security best practices - security testing - security assurance cases - programming paradigms, models and DSLs for security - program rewriting techniques - processes for the development of secure software and systems - security oriented software reconfiguration and evolution - security measurement - automated development - trade-off between security and other non-functional requirements - support for assurance, certification and accreditation Accepted position papers will be presented during the ESSoS 2014 Doctoral Symposium and will be published on the ESSoS website. Presenters of the doctoral Symposium will get an opportunity to present their work in poster format during the main program of ESSoS 2014. The organizers of the doctoral symposium intend to publish post-proceedings of the Doctoral Symposium - details will follow. SUBMISSION INSTRUCTIONS Two types of submissions will be considered: (A) papers reflecting PhD projects in an early stage and (B) papers that represent PhD projects that are in the second half or nearly complete. A) Position papers of PhD students in an early stage of their project should fulfill the following requirements. - Length: two to six pages - Format: Submissions should be formatted according to the LNCS guidelines. - Content: * Authors' names (PhD student + contributing team members if applicable) * affiliation * an abstract (maximum 200 words) * the problem(s) that the proposed research is going to solve, and the motivation for solving them * the aims and objectives of the proposed research * the potential contributions to the state-of-the-art * the research methodology to be used to achieve the research goals, including a brief description of the work done to date and a tentative research plan for future work * the main contribution(s) of the research to the field of Engineering Secure Software and Systems B) Position papers of PhD students in a late to closing stage of their project - should fulfill the following requirements. - Length: two to six pages - Format: Submissions should be formatted according to the LNCS guidelines. - Content: * Authors' names (PhD student + contributing team members if applicable) * affiliation * an abstract (maximum 200 words) * Scope: the domain, scope and objectives of the proposed research * Track record: the results that have been achieved in previous steps and/or publications * The synergy and cohesion between the results, and the approach on how to complete the thesis * The main contribution(s) of the research to the field of Engineering Secure Software and Systems C) Some PhD students who a have delivered a top publication in the midst of their trajectory will be invited to present a testimonial; anybody can volunteer by sending a short email to the PC Chairs (referring to their actual top publication). IMPORTANT DATES Authors should use the Doctoral Symposium Submission site at EasyChair (https://www.easychair.org/conferences/?conf=essosds2014) for the submission of their manuscripts. Paper submission deadline: January 13, 2014 Notification of Acceptance: January 21, 2014 Camera Ready Version: February 12, 2014 CONTACT INFORMATION Doctoral Symposium Chairs: Wouter Joosen (KU Leuven, Leuven, Belgium) and Fabio Martinelli (CNR-ISTI, Pisa, Italy) Authors of accepted papers may apply for a grant to cover their registration for ESSoS 2014. For more information, email to Ghita.Saevels at cs.kuleuven.be Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From pmt6sbc at maths.leeds.ac.uk Mon Dec 16 00:13:54 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sun, 15 Dec 2013 23:13:54 GMT Subject: [fg-arc] 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 Message-ID: <201312152313.rBFNDsEm007049@maths.leeds.ac.uk> ******************************************************************* 2nd CALL FOR PAPERS: CiE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://cie2014.inf.elte.hu IMPORTANT DATES: Submission Deadline for LNCS: 10 January 2014 Notification of authors: 3 March 2014 Deadline for final revisions: 31 March 2014 FUNDING and AWARDS: CiE 2014 has received funding for student participation from the European Association for Theoretical Computer Science EATCS. Please contact the PC chairs if you are interested. The best student paper will receive an award sponsored by Springer. CiE 2014 is the tenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013). The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. We particularly invite papers that build bridges between different parts of the research community. For topics covered by the conference, please visit http://cie2014.inf.elte.hu/?Topics We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. TUTORIAL SPEAKERS: Wolfgang Thomas (RWTH Aachen) Peter Gruenwald (CWI, Amsterdam) INVITED SPEAKERS: Lev Beklemishev (Steklov Mathematical Institute, Moscow) Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University Albert Visser (Utrecht University) SPECIAL SESSIONS: History and Philosophy of Computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Computational Linguistics (organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky) Computability Theory (organizers: Karen Lange, Barbara Csima) Bio-inspired Computation (organizers: Marian Gheorghe, Florin Manea) Online Algorithms (organizers: Joan Boyar, Csanad Imreh) Complexity in Automata Theory (organizers: Markus Lohrey, Giovanni Pighizzini) Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Sandra Alves (Porto) * Hajnal Andreka (Budapest) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau) * Vasco Brattka (Munich) * Bruno Codenotti (Pisa) * Erzsebet Csuhaj-Varju (Budapest, co-chair) * Barry Cooper (Leeds) * Michael J. Dinneen (Auckland) * Erich Graedel (Aachen) * Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku) * Elham Kashefi (Edinburgh) * Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest) * Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg) * Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA) * Georg Moser (Innsbruck) * Benedek Nagy (Debrecen) * Sara Negri (Helsinki) * Thomas Schwentick (Dortmund) * Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam) * Xizhong Zheng (Glenside PA) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014. The submission site https://www.easychair.org/conferences/?conf=cie2014 is open. For submission instructions consult http://cie2014.inf.elte.hu/?Submission_Instructions The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu Website: http://cie2014.inf.elte.hu/ ******************************************************************* From w.hasselbring at gmail.com Thu Dec 19 21:59:53 2013 From: w.hasselbring at gmail.com (W. Hasselbring) Date: Thu, 19 Dec 2013 21:59:53 +0100 Subject: [fg-arc] Aufruf zur Teilnahme GI-Fachtagung Software Engineering 2014 Message-ID: <52B35E49.1010100@googlemail.com> Aufruf zur Teilnahme GI-Fachtagung Software Engineering 2014 Kiel, 25.-28. Februar 2014 http://se2014.kosse-sh.de Als Konferenz des Fachbereichs Softwaretechnik der GI ist die Fachtagung Software Engineering 2014 das j?hrliche Treffen der deutschsprachigen SE-Community. Die SE 2014 steht unter dem Motto Transfer zwischen Wissenschaft und Wirtschaft. In drei Keynote-Vortr?gen werden Sie erfahren wie die Integration von Entwicklung und Betrieb (DevOps) bei otto.de umgesetzt wird, wie Technologie-Transfer im Software Engineering ein Win-win f?r die universit?re Forschung und die Innovationsf?higkeit der Wirtschaft sein kann und wie exzellente Forschung zum Gewinn eines ERC Advanced Grants f?hren kann. In einer Podiumsdiskussion geht es um das Thema Ausgr?ndungen in der Softwaretechnik. Tutorien werden zur Architekturbewertung, zur Fr?herkennung von Projektrisiken und zur Entwicklung interaktiver Software-Systeme mit dem WAM-Ansatz angeboten. Das Konferenzdinner findet im Hotel Kieler Yacht Club statt, mit Vergabe des Software-Engineering-Preises der Ernst-Denert-Stiftung. Das Gesamtprogramm setzt sich aus verschiedenen Programmelementen zusammen. Im wissenschaftlichen Programm, mit neuem Format, werden ?ber 40 hochkar?tige Beitr?ge pr?sentiert, f?r die Sie ansonsten zu Tagungen wie der ICSE nach San Francisco h?tten reisen m?ssen. Weitere Programmelemente umfassen das Technologietransferprogramm, die Pr?sentation von Software Engineering Ideen, die Teiltagung Software & Systems Engineering Essentials, ein Industrieprogramm, ein Doktorandensymposium, ein Studierendenprogramm und drei Tutorien. F?r die assoziierten sechs Workshops werden noch Beitragseinreichungen entgegen genommen. Jeweils aktuelle Informationen zum Programm und zur Anmeldung finden Sie unter http://se2014.kosse-sh.de/programm/ http://se2014.kosse-sh.de/anmeldung/ Die Fr?hbucherfrist endet am 31. Januar 2014. Die Christian-Albrechts-Universit?t zu Kiel, der Verein der Digitalen Wirtschaft Schleswig-Holstein e.V. (DiWiSH), die Gesellschaft f?r Informatik e. V. (GI) und der Kompetenzverbund Software Systems Engineering (KoSSE) laden Sie herzlich zur SE 2014 an der Kieler F?rde ein. Die Tagung wird freundlicherweise unterst?tzt durch die Accso GmbH, die adesso AG, die b+m Informatik AG, die C1 WPS GmbH, die MSG Systems AG, Die ABB AG, die Cap3 GmbH, die ESN EnergieSystemeNord GmbH, die itemis AG, die IVU Traffic Technologies AG und dem dpunkt.verlag als Medienpartner. Details zum wissenschaftlichen Programm: Software Analytics (Donnerstag 27.2.14, 10:30 ? 12:10) Thomas Zimmermann and Nachiappan Nagappan: Software Analytics for Digital Games Widura Schwittek and Stefan Eicker: A Study on Third Party Component Reuse in Java Enterprise Open Source Software Ingo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone and Frank Schweitzer: Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities Walid Maalej and Martin Robillard: Patterns of Knowledge in API Reference Documentation Quality of Service (Donnerstag 27.2.14, 10:30 ? 12:10) Franz Brosch, Heiko Koziolek, Barbora Buhnova and Ralf Reussner: Architecture-Based Reliability Prediction with the Palladio Component Model Norbert Siegmund, Sergiy Kolesnikov, Christian K?stner, Sven Apel, Don Batory, Marko Rosenmueller and Gunter Saake: Performance Prediction in the Presence of Feature Interactions Jons-Tobias Wamhoff:FastLane: Improving Performance of Software Transactional Memory for Low Thread Counts Lars Grunske and Ayman Amin: Reactive vs. Proactive Detection of Quality of Service Problems Verification (Donnerstag 27.2.14, 10:30 ? 12:10) Antonio Filieri, Corina S. Pasareanu and Willem Visser: Reliability Analysis in Symbolic Pathfinder: A brief summary Dirk Beyer, Stefan L?we, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler: Precision Reuse for Efficient Regression Verification Christian Hammer: Detecting Deadlock in Programs with Data-Centric Synchronization Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur and George Candea: Efficient State Merging in Symbolic Execution Software Architecture (Donnerstag 27.2.14, 10:30 ? 11:00) Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek and Indika Meedeniya: Software Architecture Optimization Methods: A Systematic Literature Review Comprehension (Donnerstag 27.2.14, 13:30 ? 15:10) Tobias Roehm, Rebecca Tiarks, Rainer Koschke and Walid Maalej: How Do Professional Developers Comprehend Software? Zoya Durdik and Ralf Reussner: On the Appropriate Rationale for Using Design Patterns and Pattern Documentation Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso and Patrick Senti: Specification Patterns from Research to Industry: A Case Study in Service-Based Applications Dominik Rost, Matthias Naab, Crescencio Lima and Christina Christina von Flach Chavez: Software Architecture Documentation for Developers: A Survey Evolution (Donnerstag 27.2.14, 13:30 ? 15:10) Vasilios Andrikopoulos:On the Evolution of Services Axel Glaser, Tarmo Ploom and Stefan Scheit: Migration von langlaufenden Prozessinstanzen am Beispiel von Credit Suisse Timo Kehrer:Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung Klaus Schmid:Ein formal fundierter Entscheidungs-Ansatz zur Behandlung von Technical Debt Synthesis (Donnerstag 27.2.14, 13:30 ? 15:10) Gerd Kainz, Christian Buckl and Alois Knoll: Tool Support for Integrated Development of Componentbased Embedded Systems Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe: Synthesis of Component and Connector Models from Crosscutting Structural Views (extended abstract) Thomas Th?m: Modular Reasoning for Crosscutting Concerns with Contracts Daniel Wonisch, Alexander Schremmer and Heike Wehrheim: Programs from Proofs ? Approach and Applications Modeling (Freitag 28.2.14, 10:30 ? 12:10) Stefan Wagner: Software-Produktqualit?t modellieren und bewerten: Der Quamoco-Ansatz Richard Pohl, Vanessa Stricker and Klaus Pohl: Messung der Strukturellen Komplexit?t von Feature-Modellen Robert Reicherdt and Sabine Glesner:Methoden der Modellqualit?t im Automotive Bereich: Slicing von Simulink-Modellen Lars Hamann, Martin Gogolla and Oliver Hofrichter: Zur Integration von Struktur- und Verhaltensmodellierung mit OCL Static Analysis (Freitag 28.2.14, 10:30 ? 12:10) Eric Bodden: SPLLIFT ? Statically Analyzing Software Product Lines in Minutes Instead of Years Marco Trudel, Carlo A. Furia, Martin Nordio and Bertrand Meyer:C nach Eiffel: Automatische ?bersetzung und objektorientierte Umstrukturierung von Legacy Quelltext Ahmed Bouajjani, Egor Derevenetc and Roland Meyer: Checking and Enforcing Robustness against Relaxed Memory Models Sebastian Eder, Maximilian Junker, Elmar Juergens, Benedikt Hauptmann, Rudolf Vaas and Karl-Heinz Prommer: How Much Does Unused Code Matter for Maintenance? Specification (Freitag 28.2.14, 13:30 ? 15:10) Jan J?rjens and Kurt Schneider:The SecReq approach: From Security Requirements to Secure Design Christian Hammer: Flexible Access Control for JavaScript James J. Hunt, Maarten De Mol and Arend Rensink: Noninvasive regelbasierte Graphtransformation f?r Java Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis and Michal Young: Second-Order Constraints in Dynamic Invariant Inference Testing (Freitag 28.2.14, 13:30 ? 15:10) Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho and Kurt Schneider:Revisited: Testing Culture on a Social Coding Site Dirk Beyer, Andreas Holzer, Michael Tautschnig and Helmut Veith: Reusing Information in Multi-goal Reachability Analyses Lucia Happe, Jens Happe and Alexander Wert: Supporting swift reaction: automatically uncovering performance problems by systematic experiments Azadeh Farzan, Andreas Holzer, Niloofar Razavi and Helmut Veith: Concolic Testing of Concurrent Programs Details zum Technologietransferprogramm: Transfer Softwarearchitektur (Freitag 10:30 ? 12:10) Balthasar Weitzel, Matthias Naab and Mathias Scheffe: Agilit?t braucht Architektur! Heiko Koziolek and Thomas Goldschmidt: Tool-Driven Technology Transfer to Support Software Architecture Decisions Benjamin Klatt, Klaus Krogmann and Michael Langhammer: Individual Code-Analyzes in Practice Transferprozesse (Freitag 13:30 ? 15:10) Stefan Hellfeld: FZI House of Living Labs ? interdisziplin?rer Technologietransfer 2.0 Andreas Metzger, Philipp Schmidt, Christian Reinartz and Klaus Pohl: Management operativer Logistikprozesse mit Future-Internet-Leitst?nden: Erfahrungen aus dem LoFIP-Projekt Steffen Kruse and Philipp Gringel: Ein gutes Bild erfordert mindestens 1000 Worte ? Daten-Visualisierungen in der Praxis Details zu Software & Systems Engineering Essentials: SEE Softwareprojekte (Freitag 10:30 ? 12:10) Katrin Heymann: Releasemanagement in einem sehr komplexen Projekt Christian Werner, Ulrike Schneider: Open Source als Triebfeder f?r erfolgreiche Softwareprojekte in der ?ffentlichen Verwaltung Ralf Leonhard, Gerhard Pews, Simon Spielmann: Effiziente Erstellung von Software-Factories SEE Softwaretest (Freitag 13:30 ? 15:10) Gerald Zincke: Sieben Strategien gegen bei?ende Hunde Matthias Daigl: Gegen den Trend? Neue Software-Teststandards ISO/IEC/IEEE 29119 Details zu den Software Engineering Ideen: SEI Mensch Maschine Interaktion (Mittwoch 9:00 ? 10:30) Anke Tallig: Sozial empathische Systeme coram publico Marc Paul, Amelie Roenspie?, Tilo Mentler and Michael Herczeg: The Usability Engineering Repository (UsER) SEI Tools (Mittwoch 11:00 ? 12:30) David Georg Reichelt and Lars Braubach: Sicherstellung von Performanzeigenschaften durch kontinuierliche Performanztests mit dem KoPeMe Framework Oliver Siebenmarck: Visualizing cross-tool ALM projects as graphs with the Open Service for Lifecycle Collaboration Martin Wagner: ACCD Access Control Class Diagram SEI Code Generierung und Verifikation (Mittwoch 13:30 ? 15:00) Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck and Johannes Traub: Using formal verification to support the migration of embedded code to multi-core systems Malte Brunnlieb and Arnd Poetzsch-Heffter: Architecture-driven Incremental Code Generation for Increased Developer Efficiency -- Prof. Dr. W. Hasselbring, Software Engineering Group Dept. Computer Science, Kiel University, D-24118 Kiel, Germany Tel: +49 (0)431 880-4664, -3734 (secretary), Fax: -7617 Email: hasselbring at email.uni-kiel.de http://se.informatik.uni-kiel.de/ From penzenst at in.tum.de Thu Dec 19 22:58:39 2013 From: penzenst at in.tum.de (Birgit Penzenstadler) Date: Thu, 19 Dec 2013 22:58:39 +0100 Subject: [fg-arc] Call for Papers and Workshop Proposals for the 2nd Intl. Conf. on ICT for Sustainability (ICT4S) Message-ID: <2248-52b36c00-3-4a10dc80@71996848> Call for Contributions for the 2nd International Conference on ICT for Sustainability August 24-28, 2014 Stockholm, Sweden http://2014.ict4s.org *About the ICT4S conferences* The ICT4S conferences bring together leading researchers in ICT for Sustainability with government and industry representatives, including decision-makers with an interest in using ICT for sustainability, researchers focusing on ICT effects on sustainability and developers of sustainable ICT systems or applications. More information can be found at: www.ict4s.org *Theme & Topics* The theme of the 2014 conference is "ICT and transformational change". Sustainable development needs transformational changes both in technology and in our patterns of production and consumption. Papers relating to ICT for sustainability in a broad sense and especially papers developing the recommendations from ICT4S 2013 and this year?s theme are welcome. *Papers, posters & workshops* We welcome original papers and posters reporting on research, development and demonstrations in the field of ICT4S. We also welcome workshop proposals of diverse types. Instructions for all types of submissions can be found at the conference website. Topics include (but are not limited to) the following examples that all should discuss implications for sustainability - smart cities - intelligent energy management in buildings - smart homes and offices - smart grids - intelligent transportation and travel information - green monitoring and adaptation of software-intensive systems and services - ICT-induced behavioural and societal change - ICT-practices and lifestyles - ICT and design - energy efficient software - software for environmental sustainable ICT - software for sustainable business governance - improved service lives of hardware products - material resources used in production - reduced hardware obsolescence - e-waste and closed material cycles - incentives for more sustainable ICT - case studies and experience reports - tools supporting green decision making and development - challenges for an environmentally sustainable ICT industry - education in ICT for sustainability - systematic interdisciplinary efforts in ICT for sustainability *Important dates* Workshops Proposal submission deadline Jan 15 Workshop acceptance notification Jan 31 *Papers* Abstracts deadline Feb 21 Full papers deadline Feb 28 Paper acceptance notification April 30 Camera-ready deadline May 31 *Posters* Submission deadline April 14 Poster acceptance notification May 5 General chair Mattias H?jer, KTH Royal Institute of Technology Program chairs Patricia Lago, VU University Amsterdam Josefin Wangel, KTH Royal Institute of Technology Steering committee Lorenz Hilty, UZH University of Zurich and Empa Mattias H?jer, KTH Royal Institute of Technology Cecilia Katzeff, KTH Royal Institute of Technology and Interactive Institute Swedish ICT Patricia Lago, VU University Amsterdam ?sa Moberg, KTH Royal Institute of Technology Local chair Daniel Vare, KTH Royal Institute of Technology Contact ict4s-2014 at kth.se 2014.ict4s.org +46 (0)8 790 64 54 (Daniel Vare) Centre for Sustainable Communications KTH Royal Institute of Technology Lindstedtsv?gen 5 SE-100 44 Stockholm, SWEDEN www.cesc.kth.se Arranged by CESC, Centre for Sustainable Communications at KTH Royal Institute of Technology in cooperation with VU University Amsterdam *Call for Workshop Proposals for the 2nd Intl. Conf. on ICT for Sustainability (ICT4S)* A series of workshops will be held in conjunction with the 2nd International Conference on ICT for Sustainability (ICT4S) to facilitate the creation and exchange of ideas between academia, industry, and government participants. Workshops provide a setting for presenting challenges to researchers and practitioners as well as working together with experts in the field to overcome those challenges. Workshops will be held on August 24 and on August 27 or 28 (to be decided later), i.e. before and after the main conference. *Workshop Proposal Guidelines* Proposals must be written in English and not exceed four pages in length. Proposals should contain: 1. Motivation and objectives of the workshop - 300 words with the motivation and objectives of the workshop topic. (Note: If your workshop is accepted then this description will be used as early publicity for the workshop.) - A more detailed discussion of the anticipated outcomes of the workshop (e.g., open research problems to pursue, validation objectives, empirical studies, etc.). 2. Workshop format and needed services - What will be the format for the workshop (e.g., paper presentation and discussion, keynotes, breakout sessions, panel-like discussions, experiments, or a combination thereof)? - How do you plan to make the workshop interactive and result-oriented? - Which roles and responsibilities will you assign to participants during the workshop (e.g., presenter, discussant, facilitator, etc.)? - What are the requirements in terms of rooms, equipment, and support staff (i.e., student volunteers)? - Workshop organizers can work with the workshop chairs to specify the services and facilitation support that they wish to employ. 3. Target audience - What backgrounds should the workshop attendees have? - What is the range (min, max) for number of attendees for the workshop? - Is the workshop open to all conference participants or by invitation only? - What mix of industry and research participants is being sought? 4. Workshop contributions and evaluation - What types of contribution are being solicited for the workshop (e.g., full papers, position papers, posters, demos, experiments, or other interactive sessions)? - What type of evaluation process will be used? - For scientific workshops that solicit submissions: The potential program committee (i.e., how large will the PC reviewing the papers be)? - How do you intend to evaluate the level of success and type of contribution of the workshop itself? 5. Workshop publication plans - We intend to publish workshop proceedings with CEUR-WS (ceur-ws.org), a free open access publication service. If you wish to follow a different publishing plan, then describe how you intend to disseminate the workshop proceedings. 6. Workshop duration - Indicate if you plan for a half-day WS or a full-day WS. Indicate if any of the days allocated for the workshops are unfeasible for you. 7. History of the workshop - Have you offered this workshop before? If so, please provide a history of the venues, dates, and approximate attendance numbers. 8. Short biographies of all workshop organizers *Submission Instructions* Please submit your workshop proposal in PDF format via EasyChair https://www.easychair.org/conferences/?conf=ict4s2014 *Duties of WS organizers* ? Write a summary of the WS on 1-2 pages to be included in the conference proceedings. ? Responsible for managing papers for the WS, including designing a submission and selection process. ? If the WS has proceedings, cooperate with the WS-chairs on this. *Evaluation Criteria* All workshop proposals will be reviewed by the WS chairs and they will come up with a suggestion to the program chairs and general chair, who will take final decision. Acceptance will be based on: ? Relevance to the conference topics (See the description/background information at the conference site) ? Evaluation of the workshop's potential to advance the state of research and/or practice or bridging disciplines, between research and practice. ? Potential for attracting an appropriate number of participants ? Organizers' ability to lead a successful workshop ? Overall composition of the WS topics Queries regarding workshop call and contents: Workshop chairs Birgit Penzenstadler bpenzens at uci.edu and Wolfgang Lohmann wolfgang.lohmann at gmail.com *Important dates* Proposal submission deadline: Jan 15 Workshop acceptance notification: Jan 31 Camera-ready version for proceedings: TBD WS-papers deadline (if applicable): March 31 Paper acceptance notification: April 30 Camera-ready deadline: May 31 Call also available online at http://2014.ict4s.org/call-for-workshops/ From hasselbring at email.uni-kiel.de Thu Dec 19 21:06:24 2013 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Thu, 19 Dec 2013 21:06:24 +0100 Subject: [fg-arc] Aufruf zur Teilnahme GI-Fachtagung Software Engineering 2014 Message-ID: <52B351C0.10208@email.uni-kiel.de> Aufruf zur Teilnahme GI-Fachtagung Software Engineering 2014 Kiel, 25.-28. Februar 2014 http://se2014.kosse-sh.de Als Konferenz des Fachbereichs Softwaretechnik der GI ist die Fachtagung Software Engineering 2014 das j?hrliche Treffen der deutschsprachigen SE-Community. Die SE 2014 steht unter dem Motto Transfer zwischen Wissenschaft und Wirtschaft. In drei Keynote-Vortr?gen werden Sie erfahren wie die Integration von Entwicklung und Betrieb (DevOps) bei otto.de umgesetzt wird, wie Technologie-Transfer im Software Engineering ein Win-win f?r die universit?re Forschung und die Innovationsf?higkeit der Wirtschaft sein kann und wie exzellente Forschung zum Gewinn eines ERC Advanced Grants f?hren kann. In einer Podiumsdiskussion geht es um das Thema Ausgr?ndungen in der Softwaretechnik. Tutorien werden zur Architekturbewertung, zur Fr?herkennung von Projektrisiken und zur Entwicklung interaktiver Software-Systeme mit dem WAM-Ansatz angeboten. Das Konferenzdinner findet im Hotel Kieler Yacht Club statt, mit Vergabe des Software-Engineering-Preises der Ernst-Denert-Stiftung. Das Gesamtprogramm setzt sich aus verschiedenen Programmelementen zusammen. Im wissenschaftlichen Programm, mit neuem Format, werden ?ber 40 hochkar?tige Beitr?ge pr?sentiert, f?r die Sie ansonsten zu Tagungen wie der ICSE nach San Francisco h?tten reisen m?ssen. Weitere Programmelemente umfassen das Technologietransferprogramm, die Pr?sentation von Software Engineering Ideen, die Teiltagung Software & Systems Engineering Essentials, ein Industrieprogramm, ein Doktorandensymposium, ein Studierendenprogramm und drei Tutorien. F?r die assoziierten sechs Workshops werden noch Beitragseinreichungen entgegen genommen. Jeweils aktuelle Informationen zum Programm und zur Anmeldung finden Sie unter http://se2014.kosse-sh.de/programm/ http://se2014.kosse-sh.de/anmeldung/ Die Fr?hbucherfrist endet am 31. Januar 2014. Die Christian-Albrechts-Universit?t zu Kiel, der Verein der Digitalen Wirtschaft Schleswig-Holstein e.V. (DiWiSH), die Gesellschaft f?r Informatik e. V. (GI) und der Kompetenzverbund Software Systems Engineering (KoSSE) laden Sie herzlich zur SE 2014 an der Kieler F?rde ein. Die Tagung wird freundlicherweise unterst?tzt durch die Accso GmbH, die adesso AG, die b+m Informatik AG, die C1 WPS GmbH, die MSG Systems AG, Die ABB AG, die Cap3 GmbH, die ESN EnergieSystemeNord GmbH, die itemis AG, die IVU Traffic Technologies AG und dem dpunkt.verlag als Medienpartner. Details zum wissenschaftlichen Programm: Software Analytics (Donnerstag 27.2.14, 10:30 ? 12:10) Thomas Zimmermann and Nachiappan Nagappan: Software Analytics for Digital Games Widura Schwittek and Stefan Eicker: A Study on Third Party Component Reuse in Java Enterprise Open Source Software Ingo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone and Frank Schweitzer: Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities Walid Maalej and Martin Robillard: Patterns of Knowledge in API Reference Documentation Quality of Service (Donnerstag 27.2.14, 10:30 ? 12:10) Franz Brosch, Heiko Koziolek, Barbora Buhnova and Ralf Reussner: Architecture-Based Reliability Prediction with the Palladio Component Model Norbert Siegmund, Sergiy Kolesnikov, Christian K?stner, Sven Apel, Don Batory, Marko Rosenmueller and Gunter Saake: Performance Prediction in the Presence of Feature Interactions Jons-Tobias Wamhoff:FastLane: Improving Performance of Software Transactional Memory for Low Thread Counts Lars Grunske and Ayman Amin: Reactive vs. Proactive Detection of Quality of Service Problems Verification (Donnerstag 27.2.14, 10:30 ? 12:10) Antonio Filieri, Corina S. Pasareanu and Willem Visser: Reliability Analysis in Symbolic Pathfinder: A brief summary Dirk Beyer, Stefan L?we, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler: Precision Reuse for Efficient Regression Verification Christian Hammer: Detecting Deadlock in Programs with Data-Centric Synchronization Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur and George Candea: Efficient State Merging in Symbolic Execution Software Architecture (Donnerstag 27.2.14, 10:30 ? 11:00) Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek and Indika Meedeniya: Software Architecture Optimization Methods: A Systematic Literature Review Comprehension (Donnerstag 27.2.14, 13:30 ? 15:10) Tobias Roehm, Rebecca Tiarks, Rainer Koschke and Walid Maalej: How Do Professional Developers Comprehend Software? Zoya Durdik and Ralf Reussner: On the Appropriate Rationale for Using Design Patterns and Pattern Documentation Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso and Patrick Senti: Specification Patterns from Research to Industry: A Case Study in Service-Based Applications Dominik Rost, Matthias Naab, Crescencio Lima and Christina Christina von Flach Chavez: Software Architecture Documentation for Developers: A Survey Evolution (Donnerstag 27.2.14, 13:30 ? 15:10) Vasilios Andrikopoulos:On the Evolution of Services Axel Glaser, Tarmo Ploom and Stefan Scheit: Migration von langlaufenden Prozessinstanzen am Beispiel von Credit Suisse Timo Kehrer:Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung Klaus Schmid:Ein formal fundierter Entscheidungs-Ansatz zur Behandlung von Technical Debt Synthesis (Donnerstag 27.2.14, 13:30 ? 15:10) Gerd Kainz, Christian Buckl and Alois Knoll: Tool Support for Integrated Development of Componentbased Embedded Systems Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe: Synthesis of Component and Connector Models from Crosscutting Structural Views (extended abstract) Thomas Th?m: Modular Reasoning for Crosscutting Concerns with Contracts Daniel Wonisch, Alexander Schremmer and Heike Wehrheim: Programs from Proofs ? Approach and Applications Modeling (Freitag 28.2.14, 10:30 ? 12:10) Stefan Wagner: Software-Produktqualit?t modellieren und bewerten: Der Quamoco-Ansatz Richard Pohl, Vanessa Stricker and Klaus Pohl: Messung der Strukturellen Komplexit?t von Feature-Modellen Robert Reicherdt and Sabine Glesner:Methoden der Modellqualit?t im Automotive Bereich: Slicing von Simulink-Modellen Lars Hamann, Martin Gogolla and Oliver Hofrichter: Zur Integration von Struktur- und Verhaltensmodellierung mit OCL Static Analysis (Freitag 28.2.14, 10:30 ? 12:10) Eric Bodden: SPLLIFT ? Statically Analyzing Software Product Lines in Minutes Instead of Years Marco Trudel, Carlo A. Furia, Martin Nordio and Bertrand Meyer:C nach Eiffel: Automatische ?bersetzung und objektorientierte Umstrukturierung von Legacy Quelltext Ahmed Bouajjani, Egor Derevenetc and Roland Meyer: Checking and Enforcing Robustness against Relaxed Memory Models Sebastian Eder, Maximilian Junker, Elmar Juergens, Benedikt Hauptmann, Rudolf Vaas and Karl-Heinz Prommer: How Much Does Unused Code Matter for Maintenance? Specification (Freitag 28.2.14, 13:30 ? 15:10) Jan J?rjens and Kurt Schneider:The SecReq approach: From Security Requirements to Secure Design Christian Hammer: Flexible Access Control for JavaScript James J. Hunt, Maarten De Mol and Arend Rensink: Noninvasive regelbasierte Graphtransformation f?r Java Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis and Michal Young: Second-Order Constraints in Dynamic Invariant Inference Testing (Freitag 28.2.14, 13:30 ? 15:10) Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho and Kurt Schneider:Revisited: Testing Culture on a Social Coding Site Dirk Beyer, Andreas Holzer, Michael Tautschnig and Helmut Veith: Reusing Information in Multi-goal Reachability Analyses Lucia Happe, Jens Happe and Alexander Wert: Supporting swift reaction: automatically uncovering performance problems by systematic experiments Azadeh Farzan, Andreas Holzer, Niloofar Razavi and Helmut Veith: Concolic Testing of Concurrent Programs Details zum Technologietransferprogramm: Transfer Softwarearchitektur (Freitag 10:30 ? 12:10) Balthasar Weitzel, Matthias Naab and Mathias Scheffe: Agilit?t braucht Architektur! Heiko Koziolek and Thomas Goldschmidt: Tool-Driven Technology Transfer to Support Software Architecture Decisions Benjamin Klatt, Klaus Krogmann and Michael Langhammer: Individual Code-Analyzes in Practice Transferprozesse (Freitag 13:30 ? 15:10) Stefan Hellfeld: FZI House of Living Labs ? interdisziplin?rer Technologietransfer 2.0 Andreas Metzger, Philipp Schmidt, Christian Reinartz and Klaus Pohl: Management operativer Logistikprozesse mit Future-Internet-Leitst?nden: Erfahrungen aus dem LoFIP-Projekt Steffen Kruse and Philipp Gringel: Ein gutes Bild erfordert mindestens 1000 Worte ? Daten-Visualisierungen in der Praxis Details zu Software & Systems Engineering Essentials: SEE Softwareprojekte (Freitag 10:30 ? 12:10) Katrin Heymann: Releasemanagement in einem sehr komplexen Projekt Christian Werner, Ulrike Schneider: Open Source als Triebfeder f?r erfolgreiche Softwareprojekte in der ?ffentlichen Verwaltung Ralf Leonhard, Gerhard Pews, Simon Spielmann: Effiziente Erstellung von Software-Factories SEE Softwaretest (Freitag 13:30 ? 15:10) Gerald Zincke: Sieben Strategien gegen bei?ende Hunde Matthias Daigl: Gegen den Trend? Neue Software-Teststandards ISO/IEC/IEEE 29119 Details zu den Software Engineering Ideen: SEI Mensch Maschine Interaktion (Mittwoch 9:00 ? 10:30) Anke Tallig: Sozial empathische Systeme coram publico Marc Paul, Amelie Roenspie?, Tilo Mentler and Michael Herczeg: The Usability Engineering Repository (UsER) SEI Tools (Mittwoch 11:00 ? 12:30) David Georg Reichelt and Lars Braubach: Sicherstellung von Performanzeigenschaften durch kontinuierliche Performanztests mit dem KoPeMe Framework Oliver Siebenmarck: Visualizing cross-tool ALM projects as graphs with the Open Service for Lifecycle Collaboration Martin Wagner: ACCD Access Control Class Diagram SEI Code Generierung und Verifikation (Mittwoch 13:30 ? 15:00) Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck and Johannes Traub: Using formal verification to support the migration of embedded code to multi-core systems Malte Brunnlieb and Arnd Poetzsch-Heffter: Architecture-driven Incremental Code Generation for Increased Developer Efficiency -- Prof. Dr. W. Hasselbring, Software Engineering Group Dept. Computer Science, Kiel University, D-24118 Kiel, Germany Tel: +49 (0)431 880-4664, -3734 (secretary), Fax: -7617 Email: hasselbring at email.uni-kiel.de http://se.informatik.uni-kiel.de/ From franconi at inf.unibz.it Fri Dec 20 03:26:32 2013 From: franconi at inf.unibz.it (Enrico Franconi) Date: Fri, 20 Dec 2013 03:26:32 +0100 Subject: [fg-arc] [Last Call] PhD/PostDoc school on "Change in Ontologies and Databases" (29-31 January 2014) in Bozen-Bolzano, Italy Message-ID: <20122013032632796GGh77pfXqRRd0258@webmail.unibz.it> Research School on the? Foundations and Challenges of Change in Ontologies and Databases 29-31 January 2014?- Bozen-Bolzano, Italy http://www.inf.unibz.it/krdb/events/school-2014/ PhD students and PostDoc fellows are invited to apply to the research school on the "Foundations and Challenges of Change in Ontologies and Databases", to be held on?29-31 January 2014?in Bozen-Bolzano, Italy. This is the follow-up of a successful Dagstuhl seminar held last year .?This year the event will be oriented towards students and postdocs.?There will be five half-day sessions (listed below).?The students/postdocs will be split in small groups, and each group will be responsible to organise a survey talk within a specific session; each group will be given appropriate reading material in advance. In the rest of each session there will be survey/tutorial/advanced presentations by some of the seniors and many discussions. The five sessions are: ? Ontology revisions, versioning, diffs, and non-monotonic aspects; ? The logic of updates, active rules, and triggers in databases; ? Foundations and challenges in temporal and stream data; ? Modelling and reasoning with business processes and workflows; ? Actions representation and reasoning in ontology languages. Please apply by submitting (i) a short statement (as an abstract with a title, showing how your research matches the topics of the school), (ii) your CV (in PDF), and (iii) the chosen topic(s), via EasyChair at by 24 December 2013; late applications may be considered subject to the availability of space. The acceptance to the research school will be notified shortly after, together with the composition of the groups and the preparation material (consisting of few papers).? Before the beginning of the school, each group is required to develop a presentation using the preparation material. During the preparation phase, groups will be supported by high-quality mentors from the committee of the school: each mentor will advise the groups she/he is assigned to about the quality of their presentation while they prepare it before coming to the school. The list of mentors is growing; by now we have: ? Carlo Zaniolo, zaniolo at cs.ucla.edu ? Laura Giordano, laura.giordano at mfn.unipmn.it ? Misha Zakharyaschev, michael at dcs.bbk.ac.uk ? Bernardo Cuenca Grau, Bernardo.Cuenca.Grau at comlab.ox.ac.uk ? Bijan Parsia, bparsia at cs.man.ac.uk ? Emanuele Della Valle, emanuele.dellavalle at polimi.it ? Diego Calvanese, calvanese at inf.unibz.it ? Michael Kifer, michael.kifer at stonybrook.edu ? Katia Sycara, katia at cs.cmu.edu ? Stefano Ceri, ceri at elet.polimi.it ? Ivan Varzinczak, ijv at acm.org ? Renata Wassermann, renata at ime.usp.br ? Liang Chang, changl.guet at gmail.com ? Matthias Thimm, thimm at uni-koblenz.de ? Valentina Gliozzi, gliozzi at di.unito.it There will be no registration fee to the research school; coffee breaks and lunches are included. Information about the school location in Bolzano and how to book online the accommodation is available at . cheers by the organisers ? Jim Delgrande, Enrico Franconi, Tommie Meyer, Uli Sattler -------------- next part -------------- An HTML attachment was scrubbed... URL: