From Pieter.Philippaerts at cs.kuleuven.be Fri Jan 3 13:47:45 2014 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Fri, 3 Jan 2014 13:47:45 +0100 Subject: [fg-arc] Final call: ESSoS Doctoral Symposium Message-ID: <005001cf0881$ffcad500$ff607f00$@cs.kuleuven.be> [Our sincere apologies if you receive this multiple times] CALL FOR PAPERS ESSoS Doctoral Symposium February 26, 2014, Munich IMPORTANT DATES Paper submission deadline: January 13, 2014 Notification of Acceptance: January 21, 2014 Camera Ready Version: February 12, 2014 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). Authors should use the Doctoral Symposium Submission site at EasyChair (https://www.easychair.org/conferences/?conf=essosds2014) for the submission of their manuscripts. CONTACT INFORMATION Doctoral Symposium Chairs: Wouter Joosen (KU Leuven, Leuven, Belgium) and Fabio Martinelli (CNR, 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 Fri Jan 3 11:19:31 2014 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Fri, 3 Jan 2014 10:19:31 GMT Subject: [fg-arc] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP Message-ID: <201401031019.s03AJVKt027356@maths.leeds.ac.uk> Subject: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 3rd 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/ __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu CiE Membership Application Form http://www.lix.polytechnique.fr/CIE AssociationCiE on Twitter http://twitter.com/AssociationCiE __________________________________________________________________________ From Wendelin.Serwe at inria.fr Mon Jan 6 14:59:23 2014 From: Wendelin.Serwe at inria.fr (Wendelin Serwe) Date: Mon, 06 Jan 2014 14:59:23 +0100 Subject: [fg-arc] First Call for Papers: FMICS 2014 Message-ID: <52CAB6BB.4090607@inria.fr> Our apologies if you have received multiple copies. ############################################################################ FIRST CALL FOR PAPERS FMICS 2014 19th International Workshop on Formal Methods for Industrial Critical Systems 11-12 September 2014, Florence, Italy In co-location with EPEW, FORMATS, QEST, and SAFECOMP (http://florence2014.org/conferences.html) ############################################################################ The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates Abstract submission: April 4th Paper submission: April 11th Notification: June 9th Final version due: June 27th Workshop: September 11th-12th Topics of interest include (but are not limited to): Design, specification, code generation and testing based on formal methods. Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). Tools for the development of formal design descriptions. Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardization and industrial forums. Paper Submission Submissions must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly demonstrate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), or provide specific motivation for further research and development. Submissions should not exceed 15 pages formatted according to the LNCS style (Springer), and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site. All submissions will be reviewed by the program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. The proceedings of the workshop will be published in the Springer series Lecture Notes in Computer Science (LNCS). An USB stick with an electronic version of the proceedings will be distributed among participants during the workshop. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past editions, a special issue of the journal Science of Computer Programming will be devoted to FMICS 2014. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will again be reviewed by a program committee, which will decide on their final publication on the special issue. Programme Committee PC Chairs Francisco Flammini (Ansaldo STS, Italy) Fr?d?ric Lang (Inria & LIG, France) Publicity Chair Wendelin Serwe (Inria & LIG, France) PC Members Maria Alpuente (Universitat Polit?cnica de Val?ncia, Spain) Alvaro Arenas (IE University, Spain) Jiri Barnat (Masaryk University, Czech Republic) Cinzia Bernardeschi (University of Pisa, Italy) Simona Bernardi (Centro Universitario de la Defensa, AGM, Zaragoza, Spain) Jean Paul Blanquart (Astrium Satellites, France) Eckard B?de (Offis, Germany) Rocco De Nicola (IMT Lucca, Italy) Michael Dierkes (Rockwell Collins, France) Susanna Donatelli (University of Torino, Italy) Cindy Eisner (IBM Research - Haifa, Israel) Alessandro Fantechi (Universit? di Firenze, Italy) J?r?me Feret (CNRS & ENS & Inria, France) Wan Fokkink (Vrije Universiteit Amsterdam and CWI, Netherlands) Andrew Gacek (Rockwell Collins, USA) Stefania Gnesi (ISTI-CNR, Italy) Matthias G?demann (Systerel, France) Keijo Heljanko (Aalto University, Finland) Jan J?rjens (TU Dortmund & Fraunhofer ISST, Germany) Tiziana Margaria (University of Potsdam, Germany) Pedro Merino (University of M?laga, Spain) Benjamin Monate (TrustInSoft, France) Gethin Norman (University of Glasgow, UK) Dave Parker (University of Birmingham, UK) Charles Pecheur (Universit? catholique de Louvain, Belgium) Ralf Pinger (Siemens AG, Germany) Wendelin Serwe (Inria & LIG, France) Hans Svensson (Quviq, Sweden) Jaco van de Pol (University of Twente, Netherlands) Valeria Vittorini (University of Naples Federico II, Italy) Angela Vozella (CIRA, Italy) From sauer at s-lab.upb.de Thu Jan 9 13:48:01 2014 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Thu, 09 Jan 2014 13:48:01 +0100 Subject: [fg-arc] [MMSM 2014] 2. Workshop "Modellbasierte und Modellgetriebene Softwaremodernisierung" - Einreichungsfrist 25.01.2014 Message-ID: <52CE9A81.2000408@s-lab.upb.de> *MMSM 2014** **2. Workshop "Modellbasierte und Modellgetriebene Softwaremodernisierung"* 19. M?rz 2014 - Wien, Austria http://akmda.ipd.kit.edu/mmsm/mmsm_2014/ Gemeinsamer Workshop der Arbeitskreise "Modellgetriebene Software-Entwicklung" (MDA), "Traceability/Evolution" und "Langlebige Software-Systeme" (L2S2) der GI-Fachgruppe "Architekturen" *Termine* Einreichung der Beitr?ge: 25. Januar 2014 Benachrichtigung der Autoren: 15. Februar 2014 Einreichung der Endfassung: 1. M?rz 2014 Workshop: 19. M?rz 2014 *Ziele * Forderungen nach permanenter ?nderbarkeit und nach verbesserten Qualit?tseigenschaften von Software-systemen wie Performanz, Sicherheit und Zuverl?ssigkeit erfordern umfangreiche und regelm??ige Modernisie-rungsma?nahmen. Diese Forderungen werden umso dr?ngender, je wichtiger diese Systeme f?r Gesch?fts-prozesse und Produkte sind. Wegen der Kritikalit?t und der Gr??e der Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und gro?en Risiken. Die Verwendung von Modellen kann helfen, die Komplexit?t zu beherrschen und durch fr?hzeitige Bewertung von Qualit?tseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends und Herausforderungen auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ans?tzen zur Probleml?sung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden f?r die Softwaremodernisierung. *Schwerpunkte * Beitr?ge werden insbesondere zu der folgenden, nicht abschlie?enden Liste von Themen erwartet: - Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung - Transformationen von Architekturmodellen - Methoden des Architektur-Reengineering - Visualisierung von Architekturen - Modellbasiertes Refactoring - Architekturqualit?t - Reengineering-Entscheidungen - Modellierung von Traceability w?hrend des Reengineering - Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering - Modellbasierte Interoperabilit?tspr?fung und Adaption von Komponenten - Modellbasierte Integration und Migration *Einreichungen und Publikation * Zum Workshop k?nnen sowohl wissenschaftlich-technische Positionspapiere als auch Erfahrungsberichte eingereicht werden. Sie sollen eine L?nge von 2 Seiten im Format der Softwaretechnik-Trends (DIN A4, zwei-spaltig, siehe http://pi.informatik.uni-siegen.de/stt/) nicht ?berschreiten. Die eingereichten Beitr?ge werden von einem Programmkomitee begutachtet und f?r den Workshop ausgew?hlt. Die elektronische Einreichung der Beitr?ge im PDF-Format und die Begutachtung erfolgen ?ber EasyChair: https://www.easychair.org/conferences/?conf= mmsm2014 Die akzeptierten Beitr?ge werden in der Zeitschrift Softwaretechnik-Trends publiziert (sowohl gedruckt als auch online). *Workshop-Format * Der eint?gige Workshop im Programm der Konferenz "Modellierung 2014" bietet neben Pr?sentationen der akzeptierten Beitr?ge Raum f?r viele Diskussionen. Er?ffnet wird das Programm durch einen eingeladenen Vortrag von Prof. Dr. Uwe Zdun, Universit?t Wien. *Organisatoren * Steffen Becker, Universit?t Paderborn Benjamin Klatt, FZI Karlsruhe Thomas Ruhroth, TU Dortmund Stefan Sauer, s-lab, Universit?t Paderborn Matthias Riebisch, Universit?t Hamburg *Kontakt * mmsm2014 at easychair.org -- "Vorsprung durch Qualit?t" Follow us @ Twitter: SoftwareQLab -- Dr. Stefan Sauer Diplom-Informatiker Gesch?ftsf?hrer Senior Researcher s-lab - Software Quality Lab Universit?t Paderborn Zukunftsmeile 1 D-33102 Paderborn Fon +49 5251 60-5390 Fax +49 5251 5465-282 E-Mail sauer at s-lab.upb.de Web http://s-lab.upb.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From langer at big.tuwien.ac.at Thu Jan 9 16:01:50 2014 From: langer at big.tuwien.ac.at (Langer Philip) Date: Thu, 9 Jan 2014 15:01:50 +0000 Subject: [fg-arc] CfP: 1st International Workshop on Modeling Inter-Organizational Processes (with Modellierung 2014) Message-ID: <1389279710.3045.28.camel@philip-thinkpad> ******************* Apologies for multiple postings ****************** C A L L F O R P A P E R S MinoPro 2014 1st International Workshop on Modeling Inter-Organizational Processes March 19, 2014, Vienna, Austria, co-located with Modellierung 2014 http://minopro2014.big.tuwien.ac.at ********************************************************************** This workshop aims to provide a forum for researchers and practitioners from various backgrounds who share an interest in inter-organizational processes. We invite you to contribute to the workshop on practical and theoretical aspects of modeling inter-organizational processes. **** TOPICS OF INTEREST **** The topics of interest include, but are not restricted to: * Modeling Inter-Organizational Processes covering choreography, rules, constraints, or resources * Changing Inter-Organizational Processes including concepts for flexibility, adaptation, or variant management * Correctness of Inter-Organizational Processes in terms of verification, validation, testing, or conformance checking * Reliability of Inter-Organizational Processes in relation to monitoring, configuration, or scaling * Maintainability of Inter-Organizational Processes with respect to user support and concepts adapted from domain-specific languages **** IMPORTANT DATES **** * Feb 10, 2014 : Paper Submission * Feb 24, 2014 : Author Notification * Mar 01, 2014 : Camera-ready Copy * Mar 19, 2014 : Workshop **** SUBMISSION and PUBLISHING **** MinoPro 2014 invites two types of contributions to the workshop. * Full scientific papers must present unpublished work, but can present unfinished research. It should clearly establish the research contribution and relation to previous research. Authors are requested to prepare submissions in English of max 12 pages. * Short papers may be practical experience reports or tool demos, as well as short scientific papers. Short papers in English of max 6 pages may be submitted. All papers must be formatted in English following the LNI instructions for authors . Electronic submission of manuscripts (in PDF) is required using EasyChair . Papers accepted for the workshop will be published online as CEUR Workshop Proceedings . **** ORGANIZATION **** Gerti Kappel (Vienna University of Technology) Jan Mendling (Vienna University of Economics and Business) Stefanie Rinderle-Ma (University of Vienna) For more details, please, visit the workshop Web site under http://minopro2014.big.tuwien.ac.at From Pieter.Philippaerts at cs.kuleuven.be Sun Jan 12 21:50:22 2014 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Sun, 12 Jan 2014 21:50:22 +0100 Subject: [fg-arc] ESSoS Doct. Symp. - deadline extended! Message-ID: <018f01cf0fd7$e98ed130$bcac7390$@cs.kuleuven.be> [Our sincere apologies if you receive this multiple times] The deadline of the ESSoS PhD Symposium has been extended. CALL FOR PAPERS ESSoS Doctoral Symposium February 26, 2014, Munich IMPORTANT DATES Paper submission deadline: January 13, 2014 January 20, 2014 Notification of Acceptance: January 28, 2014 Camera Ready Version: February 12, 2014 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). Authors should use the Doctoral Symposium Submission site at EasyChair (https://www.easychair.org/conferences/?conf=essosds2014) for the submission of their manuscripts. CONTACT INFORMATION Doctoral Symposium Chairs: Wouter Joosen (KU Leuven, Leuven, Belgium) and Fabio Martinelli (CNR, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From lina.ye at inria.fr Mon Jan 13 10:55:59 2014 From: lina.ye at inria.fr (lina.ye at inria.fr) Date: Mon, 13 Jan 2014 10:55:59 +0100 (CET) Subject: [fg-arc] SEFM 2014: Second Call for Papers and Workshop Proposals Message-ID: <201401130955.s0D9tx8b026996@ubac.inrialpes.fr> Our apologies if you have received multiple copies. #################################################################### SECOND CALL FOR PAPERS AND WORKSHOP PROPOSALS 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) http://sefm2014.inria.fr/ Grenoble, France September 1-5, 2014 #################################################################### IMPORTANT DATES * Papers (research and tool) Abstract Submission: March 14, 2014 Paper Submission: March 21, 2014 (AoE) Notification: May 19, 2014 Camera Ready: June 13, 2014 Main conference: September 3-5, 2014 * Workshops Proposal Submission: January 31, 2014 Notification: February 7, 2014 Workshops: September 1-2, 2014 -------------------------------------------------------------------- BACKGROUND AND OBJECTIVES The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in the software industry and to encourage their integration with practical engineering methods. Papers that apply formal methods to software engineering are especially welcome. Satellite workshops provide further opportunities for collaborating and exchanging ideas about specific topics of Formal Methods and Software Engineering, from conceptual to practical aspects. To this end, researchers and practitioners are invited to submit proposals for workshops on topics in the fields of the conference. -------------------------------------------------------------------- TOPICS OF INTEREST The topics of this conference include, but are not limited to: - Formal requirement analysis, modeling, specification and design - Abstraction and refinement - Formal methods for probabilistic verification and synthesis - Programming languages, program analysis and type theory - Formal methods for self-adaptive systems, service-oriented and cloud computing - Formal aspects of security and mobility - Model checking, theorem proving and decision procedures - Formal methods for real-time, hybrid and embedded systems - Formal methods for safety-critical, fault-tolerant and secure systems - Software architecture and coordination languages - Software verification and validation - Component, object and multi-agent systems - Formal aspects of software evolution and maintenance - Formal methods for testing, re-engineering and reuse - Light-weight and scalable formal methods - Tool integration - Applications of formal methods, industrial case studies and technology transfer - Education and formal methods - Interactive systems and human error analysis - Formal methods for HCI - Formal analysis of human behaviour -------------------------------------------------------------------- SUBMISSION AND PUBLICATION Submissions will be peer-reviewed by at least three members of the program committee. They will be evaluated on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers should conform to the Springer LNCS style and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair: https://www.easychair.org/account/signin.cgi?conf=sefm2014 We solicit two categories of papers: - Research papers should describe fully developed work and should not exceed 15 pages. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available to reviewers. Case study papers should describe significant case studies and lessons learned. - Tool papers should describe an operational tool and its contributions. Tool papers should not exceed 6 pages. Please include the URL of the tool (if available). Two additional pages of appendices are allowed that will not be included in the proceedings. The proceedings of SEFM'14 will be published by Springer Verlag in the LNCS series. After the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a relevant journal. -------------------------------------------------------------------- WORKSHOP PROPOSAL SUBMISSION GUIDELINES Workshop proposals should consist of the following items: - name and acronym of the workshop - motivations: short (up to 1 page) scientific justification of the proposed topic and scope, its significance and relevance to SEFM, and the particular benefits of the workshop to both Formal Methods and Software Engineering communities - name, affiliation, and short (up to 10 lines) bio of the workshop organizers - contact organizer - desired length of the workshop, (half day, full day, 2 days) - estimate of the audience size - proposed format and agenda (e.g., demo sessions, tutorials, etc.) - potential invited speakers - any specific requirement the workshop may have - procedures for selecting papers and participants - plans for dissemination, if any (e.g., workshop proceedings, or special issues of journals) - preliminary call for papers (list of topics, preliminary PC, deadlines, etc.) and link to the workshop website (if possible) - information about previous editions (if applicable) Workshop proposals should consist of one pdf file and should be submitted by email at sefm14-workshops at inria.fr by the end of January, 2014. -------------------------------------------------------------------- WORKSHOP ORGANISATION DETAILS In order to make SEFM workshops appealing for participants, we plan to keep the fares as low as possible. Precise figures have not been decided yet, but we estimate that the workshop fee will be about 80 euros per day, with a full fee of around 500 euros for the whole week (SEFM conference + workshops). We also understand that having a good proceedings publication will attract submissions. For that, we plan to organize a joint LNCS proceedings volume. Nevertheless, if you have your own agreements for proceedings or special issue publication, you can maintain them. All accepted workshops would be asked to produce a Webpage and a call for papers. Both workshop organizers and participants will be required to register through the SEFM 2014 registration Webpage and attend their workshop. -------------------------------------------------------------------- CONFERENCE CHAIR Radu Mateescu - Inria Grenoble, Rh?ne-Alpes, France PROGRAM CHAIRS Dimitra Giannakopoulou, NASA Ames, USA Gwen Sala?n, Grenoble INP, Inria, France WORKSHOP CHAIRS Carlos Canal, University of Malaga, Spain Marc Frappier, Sherbrooke University, Canada Akram Idani, Grenoble INP, France PROGRAM COMMITTEE Wolfgang Ahrendt, Chalmers University of Technology, Sweden Bernhard K. Aichernig, TU Graz, Austria Dalal Alrajeh, Imperial College, London, UK Farhad Arbab, CWI, The Netherlands Luis Barbosa, Universidade do Minho, Portugal Howard Barringer, The University of Manchester, UK Domenico Bianculli, University of Luxembourg Jonathan P. Bowen, Birmingham City University, UK Mario Bravetti, Universit? di Bologna, Italy Tevfik Bultan, UC Santa Barbara, USA Hung Dang Van, Vietnam National University, Vietnam Francisco Duran, University of Malaga, Spain George Eleftherakis, CITY College of Thessaloniki, Greece Jos? Luiz Fiadeiro, Royal Holloway, University of London, UK Mamoun Filali, IRIT CNRS Universit? de Toulouse, France Martin Fr?nzle, Carl von Ossietzky Universit?t Oldenburg, Germany Marc Frappier, Sherbrooke University, Canada Hubert Garavel, Inria, France Stefania Gnesi, ISTI-CNR, Italy Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA Rob Hierons, Brunel University, UK Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Ireland Falk Howar, Carnegie Mellon University, USA Florentin Ipate, University of Bucharest, Romania Martin Leucker, University of L?beck, Germany Peter Lindsay, The University of Queensland, Australia Ant?nia Lopes, University of Lisbon, Portugal Mercedes G. Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, Inria, France Mizuhito Ogawa, Japan Advanced Institute of Science and Technology, Japan Fernando Orejas, Universitat Polit?cnica de Catalunya, Spain Gordon Pace, University of Malta, Malta Dave Parker, University of Birmingham , UK Corina Pasareanu, NASA Ames, USA Anna Philippou, University of Cyprus, Cyprus Sanjiva Prasad, Indian Institute of Technology Delhi, India Jakob Rehof, Fraunhofer ISST, Germany Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil Bernhard Rumpe, RWTH Aachen University, Germany Augusto Sampaio, Federal University of Pernambuco, Brazil Gerardo Schneider, Chalmers | University of Gothenburg, Sweden Marjan Sirjani, Reykjavik University, Iceland Matthew Staats, University of Luxembourg Martin Steffen, Olso University, Norway Jing Sun, University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design Serdar Tasiran, Koc University, Turkey Massimo Tivoli, University of L'Aquila, Italy Dongmei Zhang, Microsoft Research, China Jianjun Zhao, Shanghai Jiao Tong University, China From heiko.koziolek at de.abb.com Mon Jan 13 11:29:08 2014 From: heiko.koziolek at de.abb.com (Heiko Koziolek) Date: Mon, 13 Jan 2014 11:29:08 +0100 Subject: [fg-arc] Save the Date: Jahrestagung der GI-Fachgruppe Architekturen Message-ID: Sehr geehrte Damen und Herren, am 07./08. Juli 2014 findet die Jahrestagung der GI-Fachgruppe "Architekturen" (http://fg-arc.gi.de/) am ABB Forschungszentrum in Ladenburg bei Mannheim statt. Das Motto der diesj?hrigen Veranstaltung lautet: "Architekturen f?r die Industrie 4.0". Die vierte industrielle Revolution bezeichnet die Reorganisation von industriellen Produktionsprozessen zur umfassenden Ausnutzung der M?glichkeiten sogenannter Cyber-Physical Systems. Dabei verschmelzen physikalische und virtuelle Welt unter einer zunehmender Vernetzung. Dies soll zur Realisierung wandlungsf?higer, ressourceneffizienter und ergonomischer Produktionsprozesse f?hren. Dazu werden im Rahmen von Vortr?gen aus Wissenschaft, Technologietransfer und Industrie entsprechende L?sungsans?tze aus Perspektive des Softwarearchitekten diskutiert. Auf der Tagung "Architekturen 2014" erwartet Sie ein wissenschaftlich-technisches Programm zu verschiedensten Architekturthemen: - Referenzarchitekturen f?r die Industrie 4.0 - Architekturma?namen f?r sichere vernetzte Produktionsanlagen - Einsatz von Smart Devices und Cloud Computing in der industriellen Produktion - Architektur Know-how zur Ausnutzung von Big Data in der Industrie Weitere Details zur Veranstaltung folgen in K?rze. Wir w?rden uns freuen Sie auf der Jahrestagung im Sommer begr??en zu d?rfen! Mit freundlichen Gr??en, Heiko Koziolek Heiko Koziolek Dr.-Ing. Principal Scientist and Global Research Area Coordinator Industrial Software Technologies DECRC/I1 ABB AG Forschungszentrum Wallstadter Stra?e 59 68526 Ladenburg Office Phone: +49 6203 712138 Office Fax: +49 6203 716253 e-mail: heiko.koziolek at de.abb.com ABB AG Sitz/Head Office: Mannheim Registergericht/Registry Court: Mannheim Handelsregisternummer/Commercial Register No.: HRB 4664 Vorstand/Managing Board: Dr. Peter Terwiesch (Vorsitzender/Chairman), Hans-Georg Krabbe, Dr. Martin Schumacher, Markus Ochsner Vorsitzender des Aufsichtsrats/Chairman of Supervisory Board: Bernhard Jucker Diese E-Mail enth?lt vertrauliche und/oder rechtlich gesch?tzte Informationen. Wenn Sie nicht der richtige Adressat sind oder diese E-Mail irrt?mlich erhalten haben, informieren Sie bitte sofort den Absender und vernichten Sie diese Mail. Das unerlaubte Kopieren sowie die unbefugte Weitergabe dieser Mail ist nicht gestattet. This e-mail may contain confidential and/or privileged information. If you are not the intended recipient (or have received this e-mail in error) please notify the sender immediately and destroy this e-mail. Any unauthorized copying, disclosure or distribution of the material in this e-mail is strictly forbidden. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/gif Size: 454 bytes Desc: not available URL: From mail at ansgarscherp.net Wed Jan 15 21:03:17 2014 From: mail at ansgarscherp.net (Ansgar Scherp) Date: Wed, 15 Jan 2014 21:03:17 +0100 Subject: [fg-arc] CfP - Erster Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2014 in Stuttgart Message-ID: <1389816197.27358.12.camel@scherp-ThinkPad-X1> === Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2014 === === am 25. und 26. September 2014 === === im Rahmen der INFORMATIK 2014 vom 22.-26.9.2014 in Stuttgart === === siehe http://informatik2014.de/doktoranden.html === Das Doktorandenprogramm der INFORMATIK 2014 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. Das Doktorandenprogramm der INFORMATIK 2014 findet zusammen mit dem Doktorandenprogramm der Konferenz f?r K?nstliche Intelligenz (KI) statt. Einreichungen aus dem Themenbereich der KI werden daher dasselbe Begutachtungsverfahren wie die anderen Einreichungen des Doktorandenprogramms durchlaufen. 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. Zudem sind in 2014 auch Einreichungen als Kurzbeitr?ge der L?nge von 4-6 Seiten m?glich. Diese werden im Rahmen der Postersession am Donnerstag pr?sentiert. Eine Einbettung in das ?bergeordnete Thema ist f?r Kurzbeitr?ge nicht erforderlich. Alle akzeptierten 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 sowie den Postern des Studierendenprogramms der GI Jahrestagung 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. Am 26. September wird zudem ein Promotionsworkshop mit eingeladenen Vortr?gen zum Thema "Wie promoviere ich?" angeboten. Dieser Workshop ist offen f?r alle interessierte Forscher und Forscherinnen der INFORMATIK 2014. ** Best Paper Award ** Im Rahmen des Doktorandenprogramms der INFORMATIK 2014 wird ein Preis f?r den besten Vollbeitrag ausgelobt. Der Preis wird gemeinsam von der GI Jahrestagung und der KI festgelegt und im Rahmen der Postersession bekanntgegeben. ** Wichtige Daten ** - Einreichung der Beitr?ge: 22. April 2014 - Benachrichtigung zur Begutachtung: 20. Mai 2014 - Einreichung der finalen Version: 23. Juni 2014 - Vortr?ge: 25. / 26. September 2014 - Vorstellung der Poster: 25. September 2014 (Poster-Session der INFORMATIK 2014) - Mentorenprogramm: am 25. September 2014 ** Informationen zur Einreichung ** * Umfang und Gestaltung der Vollbeitr?ge: - 10-12 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK 2014 im GI-Format). - Beitr?ge sollen einen thematischen Fokus haben sowie auf 1-2 Seiten die Einbettung in das ?bergeordnete Thema der Dissertation beschreiben. * Umfang und Gestaltung der Kurzbeitr?ge: - 4-6 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK 2014 im GI-Format). - Beitr?ge sollen einen thematischen Fokus haben. Eine Einbettung in das ?bergeordnete Thema der Dissertation ist nicht notwendig. * Beitr?ge k?nnen in Deutsch oder Englisch (bevorzugt!) eingereicht werden. * Akzeptierte Vollbeitr?ge werden entweder als Vortrag oder Poster-Pr?sentation vorgestellt. Akzeptierte Kurzbeitr?ge werden als Poster pr?sentiert. * Einreichung von Beitr?gen erfolgt ?ber EasyChair der INFORMATIK 2014. ** Leitung des Doktorandenprogramms ** - Ansgar Scherp, Universit?t zu Kiel und Leibniz Informationszentrum f?r Wirtschaft - Dirk Pfl?ger, Universit?t Stuttgart - Markus Kr?tzsch, TU Dresden (KI) -- Prof. Dr. Ansgar Scherp Kiel University and Leibniz Information Center for Economics (ZBW) Phone: +49 431 8814-443 Fax : +49 431 8814-520 Mail : mail at ansgarscherp.net WWW: http://www.ansgarscherp.net/about/ -- WWW: http://www.ansgarscherp.net/about/ From steffen.becker at uni-paderborn.de Thu Jan 16 10:54:37 2014 From: steffen.becker at uni-paderborn.de (Steffen Becker) Date: Thu, 16 Jan 2014 10:54:37 +0100 Subject: [fg-arc] CfP HotTopiCS 2014 Message-ID: <52D7AC5D.2020002@uni-paderborn.de> *** C a l l f o r P a p e r s *** International Workshop on Hot Topics in Cloud service Scalability (HotTopiCS 2014) 22 March 2014 Dublin (co-located with ICPE2014) http://icpe2014.ipd.kit.edu/conference_workshops/hottopics2014/ Motivation ---------- Software services are becoming more and more important and intertwined with our daily activities. With the growing complexity of software services and their unpredictably increasing workload, the scalability of these services becomes more and more critical. A scalable service's implementation can sustain increasing work or load by consuming more hardware resources, as well as releasing hardware resources with decreasing work or load, all while fulfilling its SLAs. The focus of this workshop is on service scalability: the mapping between a service's work and load and its resulting resource consumption. Even more than performance, scalability is deeply rooted in the service's architecture and high-level design. In this workshop, we will look at software service scalability from different angles. Scalability is relevant in conventional architectures but even more in cloud computing. Both modelling and analyses of scalability or its related properties like elasticity or efficiency as well as measurements to quantify scalability, elasticity or efficiency are relevant topics for the workshop. Hot Topics in Cloud services Scalability provides a platform for academics and industrial practitioners to exchange novel research ideas and current problems from practice and to identify new and "hot" topics in the field of software service scalability. As indicated by the co-location with ICPE, we are particularly interested in work tackling performance- or scalability- related problems (understood in a very broad sense), but other work related to the creation and management of scalable service-based cloud applications (e.g., from an economic perspective) are equally welcome. Topics ------ Core topics of interest include: * Scalability, elasticity and efficiency concepts, definitions, metrics and * modelling * Scalability patterns and anti-patterns * Software architectures for scalability * Design of scalable services * Quantifying and measuring scalability * Benchmarking of scalability * Scalability requirements engineering * SLAs for scalable services * Scalability tools * Scalability case studies * Scalability for big data * Scalability for cloud services Related topics of interest include, especially if there is a clear connection to scalability, elasticity and efficiency (but are not limited to) the following areas: * Cloud computing, including economic modelling of them * Energy efficient computing * Multi-tenancy * Workload characterisation and reproducibility * Mobile services * Autonomic architectures * Resource management * Virtualisation platforms * Storage architectures * Network architectures Submission Format, Publication Submission ---------- Authors are invited to submit original, unpublished papers that are not being considered in another forum. Duplicate submissions will be rejected without review. At least one author of each accepted paper is required to attend the workshop and present the paper. Only the accepted and presented papers will be included in the Workshop Proceedings which will be published by ACM in the ACM Digital Library. Papers should be up to 8 pages in the standard ACM format for conference proceedings and must be written in English. We explicitly invite work-in-progress papers as well as position or vision papers. Papers can be submitted through EasyChair until the deadline. Submission URL: https://www.easychair.org/conferences/?conf=hotopics2014 Important Dates --------------- * Submission of abstracts: Febrary 3rd, 2014 * Submission of papers: February 10th, 2014 * Notification of acceptance: February 28th, 2014 * Workshop: March 22, 2014 Programme Committee ------------------- * Luca Berardinelli, University of L'Aquila, Italy * Andre Bondi, Siemens Corporate Research, Inc., USA * Thomas Bures, Carles University, Prague, Czech Republic * Radu Calinescu, University og York, UK * Paolo Cremonesi, Politecnico di Milano, Italy * Lucia Happe, University Karlsruhe, Germany * Wilhelm Hasselbring, Kiel University, Germany * Darko Huljenic, Ericsson Nikola Tesla d.d., Croatia * Heiko Koziolek, ABB Corporate Research, Germany * Alexandru Iosup, Delft University of Technology, The Netherlands * Raffaela Mirandola, Politecnico di Milano, Italy * Ralf Reussneser, Karlsruhe Institute of Technology, Germany * Arnor Solberg, SINTEF ICT Oslo, Norway * Michael Stal, Siemens AG, Germany * Alexander Wolf, Imperial College London, UK * Murray Woodside, Carleton University, Ottawa, Canada * Yagiz Onat Yazir, University of Victoria, Canada Workshop Co-Organisers ---------------------- Steffen Becker, University of Paderborn, Germany Gunnar Brataas, Sintef Trondheim, Norway Roozbeh Farahbod, SAP, Germany -- ________________________________________________ Jun.-Prof. Dr.-Ing. Steffen Becker Heinz Nixdorf Institut Universit?t Paderborn Softwaretechnik Zukunftsmeile 1 33102 Paderborn Telefon: +49 (0) 52 51 / 60 33 20 Telefax: +49 (0) 52 51 / 60 35 30 www.upb.de/cs/ag-schaefer ________________________________________________ -------------- next part -------------- A non-text attachment was scrubbed... Name: steffen_becker.vcf Type: text/x-vcard Size: 338 bytes Desc: not available URL: From sauer at s-lab.upb.de Mon Jan 20 08:41:48 2014 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Mon, 20 Jan 2014 08:41:48 +0100 Subject: [fg-arc] =?iso-8859-15?q?=5BMMSM_2014=5D__-_Einreichungsfrist_25?= =?iso-8859-15?q?=2E_Januar_n=E4hert_sich!?= Message-ID: <52DCD33C.5040808@s-lab.upb.de> Nur noch _5 Tage_ bis zum Ende der Einreichungsfrist!!! Wir freuen uns auf Ihre/eure Beitr?ge! AK MDA - Steffen Becker, Universit?t Paderborn AK L2S2 - Benjamin Klatt, FZI Karlsruhe - Thomas Ruhroth, TU Dortmund - Stefan Sauer, s-lab, Universit?t Paderborn AK Traceability/Evolution - Matthias Riebisch, Universit?t Hamburg -------------------------------------------------------------------------------- *MMSM 2014** **2. Workshop "Modellbasierte und Modellgetriebene Softwaremodernisierung"* 19. M?rz 2014 - Wien, Austria http://akmda.ipd.kit.edu/mmsm/mmsm_2014/ Gemeinsamer Workshop der Arbeitskreise "Modellgetriebene Software-Entwicklung" (MDA), "Traceability/Evolution" und "Langlebige Software-Systeme" (L2S2) der GI-Fachgruppe "Architekturen" *Termine* Einreichung der Beitr?ge: 25. Januar 2014 Benachrichtigung der Autoren: 15. Februar 2014 Einreichung der Endfassung: 1. M?rz 2014 Workshop: 19. M?rz 2014 *Ziele * Forderungen nach permanenter ?nderbarkeit und nach verbesserten Qualit?tseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverl?ssigkeit erfordern umfangreiche und regelm??ige Modernisierungsma?nahmen. Diese Forderungen werden umso dr?ngender, je wichtiger diese Systeme f?r Gesch?ftsprozesse und Produkte sind. Wegen der Kritikalit?t und der Gr??e der Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und gro?en Risiken. Die Verwendung von Modellen kann helfen, die Komplexit?t zu beherrschen und durch fr?hzeitige Bewertung von Qualit?tseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends und Herausforderungen auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ans?tzen zur Probleml?sung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden f?r die Softwaremodernisierung. *Schwerpunkte * Beitr?ge werden insbesondere zu der folgenden, nicht abschlie?enden Liste von Themen erwartet: - Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung - Transformationen von Architekturmodellen - Methoden des Architektur-Reengineering - Visualisierung von Architekturen - Modellbasiertes Refactoring - Architekturqualit?t - Reengineering-Entscheidungen - Modellierung von Traceability w?hrend des Reengineering - Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering - Modellbasierte Interoperabilit?tspr?fung und Adaption von Komponenten - Modellbasierte Integration und Migration *Einreichungen und Publikation * Zum Workshop k?nnen sowohl wissenschaftlich-technische Positionspapiere als auch Erfahrungsberichte eingereicht werden. Sie sollen eine L?nge von 2 Seiten im Format der Softwaretechnik-Trends (DIN A4, zweispaltig, siehe http://pi.informatik.uni-siegen.de/stt/) nicht ?berschreiten. Die eingereichten Beitr?ge werden von einem Programmkomitee begutachtet und f?r den Workshop ausgew?hlt. Die elektronische Einreichung der Beitr?ge im PDF-Format und die Begutachtung erfolgen ?ber EasyChair: https://www.easychair.org/conferences/?conf=mmsm2014 Die akzeptierten Beitr?ge werden in der Zeitschrift Softwaretechnik-Trends publiziert (sowohl gedruckt als auch online). *Workshop-Format * Der eint?gige Workshop im Programm der Konferenz "Modellierung 2014" bietet neben Pr?sentationen der akzeptierten Beitr?ge Raum f?r viele Diskussionen. Er?ffnet wird das Programm durch einen eingeladenen Vortrag von Prof. Dr. Uwe Zdun, Universit?t Wien. *Organisatoren * Steffen Becker, Universit?t Paderborn Benjamin Klatt, FZI Karlsruhe Thomas Ruhroth, TU Dortmund Stefan Sauer, s-lab, Universit?t Paderborn Matthias Riebisch, Universit?t Hamburg *Kontakt * mmsm2014 at easychair.org -- "Vorsprung durch Qualit?t" Follow us @ Twitter: SoftwareQLab -- Dr. Stefan Sauer Diplom-Informatiker Gesch?ftsf?hrer Senior Researcher s-lab - Software Quality Lab Universit?t Paderborn Zukunftsmeile 1 D-33102 Paderborn Fon +49 5251 60-5390 Fax +49 5251 5465-282 E-Mail sauer at s-lab.upb.de Web http://s-lab.upb.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From reussner at ipd.uka.de Tue Jan 21 15:17:39 2014 From: reussner at ipd.uka.de (Ralf Reussner) Date: Tue, 21 Jan 2014 15:17:39 +0100 Subject: [fg-arc] CfP WCOP 2014, Doctoral Symposium of CompArch 2014 Message-ID: <52DE8183.6070805@ipd.uka.de> ***************************************************************** *** *** *** WCOP @ CompArch 2014 *** *** 19th International Doctoral Symposium *** *** on Components and Architecture *** *** *** *** June 30th, 2014 *** *** Lille, France *** *** *** *** http://wcop.ipd.kit.edu/wcop2014/ *** *** http://www.comparch2014.eu/ *** *** *** *** CALL FOR PAPERS *** *** *** *** SUBMISSION DEADLINE : February 27, 2014 *** *** *** ***************************************************************** IMPORTANT DATES: ----------------------- Submission deadline: February 27, 2014. Notification deadline: March 31, 2014. Submission of camera ready version: April 28, 2014. GOALS & SCOPE ----------------------- In the frame of the CompArch 2014 conference, WCOP is organised as a Doctoral Symposium for young researchers in the area of component based software engineering, software architecture and software quality. The doctoral symposium is aimed to give feedback from established researchers to promising new ideas in the field of component-based software engineering, software architecture and software quality to young researchers in all phases of their Phd career. Therefore we intentionally encourage PhD students, young Post-Doc researchers, and junior academics to submit their proposal statements with potentially unfinished and not yet validated ideas. CompArch YOUNG INVESTIGATOR AWARD ----------------------- Each year, the CompArch Young Investigator Award may be given to an outstanding paper accepted for WCOP and written by a PhD student(s). The award includes a free registration to CompArch and the presentation of the paper during the main CompArch program. TOPICS ----------------------- Areas of interest are component based software engineering, software architecture and software quality in general. More specifically, this includes: * software-services (as deployed components), * specification and analysis of quality of service properties, * predictable assembly of components / compositional reasoning, * component-oriented development processes, * traceability between architecture, components and code, * components as a means to implement architectures, * mobile and ubiquitous components for pervasive computer applications, * security and privacy of component based architectures, * performance/efficiency and reliability of component-based systems, * specification and analysis of component-based architectures, * deployment attribution / constraints, * COP and Model-driven Development (MDA), * addressing variability requirements in component-based solutions, * system design for independent extensibility, * maintainability and evolution of component based systems, * component versus application evolution, * management of component based systems, * domain-specific (vertical) standards, * organizational and business aspects of components and software architectures. SUBMISSION GUIDELINES: ----------------------- Submitted research proposals should not be longer than 6 pages in double column ACM format. The submitted research proposal should address motivation, idea, benefits and planned next steps as well as related work and potential ideas of validation. It is well admitted, if a proposal primarily aims at discussion than at the presentation of solutions. Papers are to be submitted via the EasyChair conference system. PROCEEDINGS: ----------------------- Accepted proposals will be published in the ACM Digital Library. The acceptance of a paper requires at least one author to register, present and to participate during the discussions of the workshop. ORGANIZING COMMITTEE: ----------------------------------- Barbora Buhnova, Masaryk University, Czech Republic Ralf Reussner, Karlsruhe Institute of Technology (KIT), Germany Clemens Szyperski, Microsoft, USA Wolfgang Weck, University of Applied Sciences and Arts Northwestern Switzerland PROGRAM COMMITTEE: ----------------------------------- Eduardo Almeida (Federal University of Bahia, Brazil) Steffen Becker (University of Paderborn, Germany) Tomas Bures (Charles University, Czech Republic) Ivica Crnkovic (M?lardalen University, Sweden) Ian Gorton (Pacific North West National Laboratory, USA) Lars Grunske (University of Stuttgart, Germany) Jan Kofron (Charles University, Czech Republic) Grace A. Lewis (Software Engineering Institute, USA) John D. McGregor (Clemson University, USA) Raffaela Mirandola (Politecnico di Milano, Italy) Sven Overhage (University of Bamberg, Germany) Heinz Schmidt (RMIT University, Australia) Judith Stafford (Tufts University, USA) MORE INFORMATION: ----------------------------------- http://wcop.ipd.kit.edu/wcop2014/ http://research.microsoft.com/~cszypers/events/WCOP2014/ http://www.comparch2014.eu/ -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) and Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Software Design and Quality: reussner at kit.edu FZI: Executive: reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu / http://www.fzi.de KIT -- University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association -------------------------------------------------------------- From Wendelin.Serwe at inria.fr Thu Jan 30 16:12:12 2014 From: Wendelin.Serwe at inria.fr (Wendelin Serwe) Date: Thu, 30 Jan 2014 16:12:12 +0100 Subject: [fg-arc] Post-doc position at Convecs team (Inria/LIG) Message-ID: <52EA6BCC.5090004@inria.fr> The Convecs team of Inria and LIG is offering a post-doctoral position. For more information see: http://convecs.inria.fr/jobs/2014a.html -- Inria / LIG - Convecs, Inovallee 38334 St-Ismier Cedex, FRANCE Tel: (+33) 4 76 61 53 52, Fax: (+33) 4 76 61 52 52