From ndragan at cs.kent.edu Fri Aug 2 05:28:40 2013 From: ndragan at cs.kent.edu (Natalia Dragan) Date: Thu, 01 Aug 2013 23:28:40 -0400 Subject: [fg-arc] Call for Participation - 13th IEEE International Working Conference on Source Code Analysis and Manipulation Message-ID: <51FB2768.70408@cs.kent.edu> Call for Participation - SCAM 2013, the 13th IEEE International Working Conference on Source Code Analysis and Manipulation 22 - 23 September 2013 - Eindhoven, The Netherlands *Early bird registration before August 2, 2013!* Please note that presenting authors should register within August 2, 2013. http://icsm2013.tue.nl/Registration/index.html Student support for attending SCAM: *Travel grants for female students* *NSF grants for US-based students* http://icsm2013.tue.nl/Travel/TravelGrant/index.html Stay informed: http://www.ieee-scam.org/2013/index.html, Twitter: @IEEESCAM The preliminary program is available: http://www.ieee-scam.org/2013/program.html Register here: http://icsm2013.tue.nl/Registration/index.html ============================================================================ The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications that concern analysis and/or manipulation of the source code of software systems. The term "source code" refers to any fully executable description of a software system, such as machine code, (very) high level languages and executable graphical representations of systems. The term "analysis" refers to any (semi-)automated procedure that yields insight into source code, while "manipulation" refers to any automated or semi-automated procedure that takes and returns source code. While much attention in the wider software engineering community is (rightfully!) directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of a system. Hence, the analysis and manipulation of source code remains a pressing concern for which SCAM 2013 solicits high quality paper submissions. SCAM 2013 will have two tracks: Research Track Tools Track Travel Grants: Two kinds of travel grants are available for students attending ICSM or co-located events. Please find the details on the website. http://icsm2013.tue.nl/Travel/TravelGrant/index.html Co-located Events: SCAM is co-located with ICSM 2013 as well as: 15th IEEE International Symposium on Web Systems Evolution (WSE), 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 1st IEEE Working Conference on Software Visualization (VISSOFT) 1st International Workshop on Communicating Business Process and Software Models: Quality, Understandability, and Maintainability (CPSM). The schedule of the events is available here: http://icsm2013.tue.nl/Schedule/index.html Venue: Eindhoven is located in the province of North Brabant in the south of the Netherlands. The city counts 213,809 inhabitants (as of January 1st, 2010), which makes it the fifth-largest city of the Netherlands. Eindhoven is well known for modern art, design and technology. The Van Abbemuseum of Modern Art belongs to the world top ten of modern art museums (http://www.vanabbemuseum.nl/) and hosts works of artists such as Picasso, Chagall, Kandinsky, El Lissitzky, Theo van Doesburg, Mondriaan, and Appel. Main design destinations in Eindhoven are the Design Huis (http://www.designhuis.nl/en), art exhibition of Piet Hein Eek design at Strijp R www.pietheineek.nl and a new neighborhood Strijp-S (http://www.strijp-s.nl/). Technological highlights are the PSV Stadium (http://www.philipsstadion.nl/home.html) and the DAF Museum (www.dafmuseum.nl ). ============================================================================ Please note that registration is via the ICSM 2013 website: http://icsm2013.tue.nl/Registration/index.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From AHARONA at il.ibm.com Thu Aug 1 11:18:48 2013 From: AHARONA at il.ibm.com (Aharon Abadi) Date: Thu, 1 Aug 2013 12:18:48 +0300 Subject: [fg-arc] Call For Papers [CFP] MobileDeLi at SPLASH 2013 Message-ID: Call for Contribution Mobile Development Lifecycle (MobileDeLi) http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/index.shtml October 28, 2013 Indianapolis, Indiana, USA in conjunction with SPLASH 2013 2013 http://splashcon.org/2013/ Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 300 billion applications will be downloaded annually. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. We solicit contributions related to mobile software development. Topics include, but are not limited to: - Mobile development environments and tools - Mobile testing - Agile development for mobile applications - Empirical studies and metrics - Maintenance and evolution - Mobile patterns, frameworks, and product lines - Mobile software refactoring, restructuring, and renovation - Mobile program transformation and optimization - Practice and experience reports - Management of mobile applications - Event processing for mobile - User experience of mobile applications - Hybrid versus native applications - Model-driven development for mobile - Application security - Mobile operating system and middleware security - Secure application development methodologies - Cloud support for mobile security - Static and dynamic analysis of mobile applications - Mobile optimization debugging techniques and tools - Research challenges in mobile software engineering We accept contributions of three types: 1. Research papers up to 8 pages that describe original work in the area of mobile software engineering. Since we wish to create a vibrant significant community, we will not have official proceedings thus accepted authors will be able to submit their work to other venues. 2. Short papers up to 4 pages of emerging ideas and on research in progress. 3. Extended abstracts up to 2 pages on in-practice experience. Your paper must conform to the ACM SIGPLAN Proceedings format ( http://www.sigplan.org/authorInformation.htm). Submit your paper in Adobe PDF via EasyChair (https://www.easychair.org/account/signin.cgi?conf=mobiledeli2013). Authors will be able to decide if they wish to publish their work in the conference proceedings. Important Dates : - Paper submission: August 20, 2013 - Notification of acceptance: September 12, 2013 - Camera-ready submission: September 16, 2013 - The workshop day is on Monday, October 28, 2013 Contact information: mobiledeli2013 at gmail.com Regards, MobileDeLi Organizers Aharon Abadi, IBM Research - Haifa Rafael Prikladnicki, Pontificia Universidade Catolica do Rio Grande do Sul Porto Alegre, RS, Brazil Yael Dubinsky, IBM Research - Haifa From ndragan at cs.kent.edu Fri Aug 2 05:29:53 2013 From: ndragan at cs.kent.edu (Natalia Dragan) Date: Thu, 01 Aug 2013 23:29:53 -0400 Subject: [fg-arc] Call for Participation - ICSM 2013, the 29th IEEE International Conference on Software Maintenance Message-ID: <51FB27B1.7000509@cs.kent.edu> Call for Participation - ICSM 2013, the 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands *Early bird registration before August 2, 2013!* Please note that presenting authors should register within August 2, 2013. http://icsm2013.tue.nl/Registration/index.html Student support for attending ICSM or co-located events: *Travel grants for female students* *NSF grants for US-based students* http://icsm2013.tue.nl/Travel/TravelGrant/index.html Stay informed: http://icsm2013.tue.nl/, Twitter: @IEEEICSM http://icsm2013.tue.nl/Registration/index.html ============================================================================ ICSM is the premiere international venue in software maintenance and evolution, where participants from academia, government, and industry meet and share ideas and experiences for solving critical software maintenance problems. ICSM 2013 will be held in Eindhoven, The Netherlands. The conference venue is the main lecture building (Auditorium) of Eindhoven University of Technology. ICSM 2013 will have five tracks: Research Track Early Research Achievements (ERA) Track Industry Track Tools Track Doctoral Symposium Keynote Speakers: Jeff Magee, Imperial College London, UK: Intrinsic Definition in Software Architecture Evolution Michael Feathers, DepthFirst: Reflecting Upon the Useful Life of Software http://icsm2013.tue.nl/Keynotes/index.html Travel Grants: Two kinds of travel grants are available for students attending ICSM or co-located events. Please find the details on the website. http://icsm2013.tue.nl/Travel/TravelGrant/index.html In addition to ICSM in 2013 we will be welcoming a number of co-located events, for which you can register on the ICSM websitehttp://icsm2013.tue.nl/Registration/index.html : 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 15th IEEE International Symposium on Web Systems Evolution (WSE), 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 1st IEEE Working Conference on Software Visualization (VISSOFT) 1st International Workshop on Communicating Business Process and Software Models: Quality, Understandability, and Maintainability (CPSM). The schedule of the events is available here: http://icsm2013.tue.nl/Schedule/index.html ============================================================================ Eindhoven is located in the province of North Brabant in the south of the Netherlands. The city counts 213,809 inhabitants (as of January 1st, 2010), which makes it the fifth-largest city of the Netherlands. Eindhoven is well known for modern art, design and technology. The Van Abbemuseum of Modern Art belongs to the world top ten of modern art museums (http://www.vanabbemuseum.nl/) and hosts works of artists such as Picasso, Chagall, Kandinsky, El Lissitzky, Theo van Doesburg, Mondriaan, and Appel. Main design destinations in Eindhoven are the Design Huis (http://www.designhuis.nl/en), art exhibition of Piet Hein Eek design at Strijp Rwww.pietheineek.nl > and a new neighborhood Strijp-S (http://www.strijp-s.nl/). Technological highlights are the PSV Stadium (http://www.philipsstadion.nl/home.html) and the DAF Museum (www.dafmuseum.nl >). ============================================================================ Register now: http://icsm2013.tue.nl/Registration/index.html ============================================================================ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Pieter.Philippaerts at cs.kuleuven.be Sat Aug 3 20:24:13 2013 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Sat, 3 Aug 2013 20:24:13 +0200 Subject: [fg-arc] CFP: International Symposium on Engineering Secure Software and Systems (ESSoS'14) Message-ID: <001e01ce9076$a81a0020$f84e0060$@cs.kuleuven.be> =============================================================== International Symposium on Engineering Secure Software and Systems (ESSoS) =============================================================== http://distrinet.cs.kuleuven.be/events/essos/2014/ February 26 - 28, 2014, Munich, Germany =============================================================== In cooperation with (pending): ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) CONTEXT AND MOTIVATION Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. GOAL AND SETUP The goal of this symposium, which will be the sixth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program with keynote presentations by Ross Anderson and Adrian Perrig. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. TOPICS The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (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 DSL's 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 (in particular economic considerations) - support for assurance, certification and accreditation - empirical secure software engineering - security by design IMPORTANT DATES Abstract submission: September 6, 2013 Paper submission: September 13, 2013 Author notification: November 18, 2013 Camera-ready: December 8, 2013 SUBMISSION AND FORMAT The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/lncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, non-published work of high quality. For selected papers, there will be an invitation to submit extended versions to a special issue in the International Journal of Information Security. Two types of papers will be accepted: Full papers (max 14 pages without bibliography/appendices) - May describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or, may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. Idea papers (max 8 pages with bibliography) - May crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. Two affiliated workshops also solicit contributions. Further guidelines will appear on the website of the symposium. STEERING COMMITTEE Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Universit? di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University University) ORGANIZING COMMITTEE General chair: Alexander Pretschner (Technische Universit?t M?nchen, DE) Program co-chairs: Jan J?rjens (TU Dortmund and Fraunhofer ISST, DE), Frank Piessens (Katholieke Universiteit Leuven, BE) eHealth workshop chair: Wouter Joosen (Katholieke Universiteit Leuven) Smart Grid workshop chair: Jorge Cuellar (Siemens AG) Publication chair: Nataliia Bielova (INRIA Rennes, FR) Publicity chair: Pieter Philippaerts (Katholieke Universiteit Leuven, BE) Local arrangements chair: Regina Jourdan (Technische Universit?t M?nchen, DE) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) PROGRAM COMMITTEE Ruth Breu, University of Innsbruck, Austria Lorenzo Cavallaro, Royal Holloway University of London, UK Anupam Datta, Carnegie Mellon University, US Werner Dietl, University of Washington, US Fran?ois Dupressoir, IMDEA, Spain Eduardo Fernandez, Florida Atlantic University, US Eduardo Fernandez-Medina Paton, Universidad de Castilla-La Mancha, Spain Cormac Flanagan, U. C. Santa Cruz, US Dieter Gollmann, TU Hamburg-Harburg, Germany Arjun Guha, Cornell University, US Christian Hammer, Saarland University, Germany Hannes Hartenstein, Karlsruher Institut f?r Technologie, Germany Maritta Heisel, U. Duisburg Essen, Germany Peter Herrmann, NTNU, Trondheim, Norway Valerie Issarny, INRIA, France Limin Jia, Carnegie Mellon University, US Martin Johns, SAP Research, Germany Jay Ligatti, University of South Florida, US Heiko Mantel, TU Darmstadt, Germany Haris Mouratidis, University of East London, UK Mart?n Ochoa, Siemens AG, Germany Jae Park, University of Texas at San Antonio, US Erik Poll, RU Nijmegen, The Netherlands Wolfgang Reif, University of Augsburg, Germany Riccardo Scandariato, Katholieke Universiteit Leuven, Belgium Ketil St?len, SINTEF, Norway Steve Zdancewic, University of Pennsylvania, US Mohammad Zulkernine, Queens University, Canada Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From modellierung2014 at dke.univie.ac.at Tue Aug 6 10:04:13 2013 From: modellierung2014 at dke.univie.ac.at (modellierung2014 at dke.univie.ac.at) Date: Tue, 06 Aug 2013 10:04:13 +0200 Subject: [fg-arc] =?iso-8859-1?q?Modellierungskonferenz_2014_an_der_Univer?= =?iso-8859-1?q?sit=E4t_Wien?= Message-ID: <20130806100413.169879j24onjg8hp@webmail.dke.univie.ac.at> *** Bitte entschuldigen Sie Mehrfachzustellungen *** Fachtagung ================= Modellierung 2014 ================= 19. bis 21. M?rz 2014 an der Universit?t Wien www.modellierung2014.org Aufruf zur Einreichung von Beitr?gen ==================================== Modelle stellen eines der wichtigsten Hilfsmittel zur Beherrschung komplexer Systeme dar. Die Themenbereiche der Entwicklung, Nutzung, Kommunikation und Verarbeitung von Modellen sind so vielf?ltig wie die Informatik mit all ihren Ausdifferenzierungen. Die Fachtagung ?Modellierung? wird vom Querschnittsfachausschuss Modellierung der Gesellschaft f?r Informatik e.V. seit 1998 durchgef?hrt und hat sich als einschl?giges Forum f?r Grundlagen, Methoden, Techniken, Werkzeuge sowie Dom?nen und Anwendungen der Modellierung etabliert. Die ?Modellierung? f?hrt Teilnehmerinnen und Teilnehmer aus allen Bereichen der Informatik sowie aus Wissenschaft und Praxis zusammen. Die Tagung zeichnet sich traditionell durch lebendige und fachgebiets?bergreifende Diskussionen und engagierte R?ckmeldungen aus, weshalb sie gerade auch f?r Nachwuchswissenschaftlerinnen und Nachwuchswissenschaftler interessant ist. Erbeten wird die Einreichung von Originalbeitr?gen mit hoher Qualit?t, die sich mit Fragestellungen zu den genannten Themengebieten besch?ftigen. Im Umfeld des Vortragsprogramms sind Workshops zu speziellen Themen, Tutorien, ein Doktorandinnen- und Doktorandensymposium sowie ein Praxisforum geplant. Hierf?r werden ebenfalls Vorschl?ge erbeten. Die Tagungssprache ist prim?r deutsch. Gleichwohl sind Einreichungen in englischer Sprache sowie Pr?sentationen englischsprechender Teilnehmerinnen und Teilnehmer ebenfalls willkommen. Themen ====== Die nachfolgend genannten Themen f?r Beitragseinreichungen stellen Anregungen dar und sind keineswegs abschlie?end zu verstehen. Grundlagen - (Dom?nenspezifische) Modellierungssprachen und ihre Semantik - (Nicht-)Ausf?hrbarkeit von Modellen - Formale Grundlagen der Modellbildung (Logiken, Transitionssysteme, etc.) - Integration/Interoperabilit?t verschiedener Modellierungsbereiche - Komplexit?tsreduktion und Skalierbarkeit - Meta-Modellierung - Modellbasiertes Testen - Modellqualit?t - Modelltransformation, -evolution und ?integration - Modellverifikation und ?validierung - Muster in der Modellbildung - Ontologien in der Modellierung Methoden, Techniken und Werkzeuge - Aspektorientierte Modellierung - Business/IT-Alignment - Integrierte Modellierungsmethoden - Kollaborative Modellierung - Management von Modellen - Model Engineering - Model-Driven Architecture und Model-Driven Development - Modelle zur Laufzeit - Modellierung kontextsensitiver Systeme - Modellierung von Flexibilit?t - Modellierungswerkzeuge f?r dom?nenspezifische Sprachen - Model-Repositories - Multi-View-Modellierung - Plattformen zur Entwicklung von Modellierungswerkzeugen Dom?nen und Anwendungen der Modellierung - Anforderungsmodellierung - Benutzermodellierung - Gesch?ftsprozessmodellierung - Modellierung eingebetteter Systeme - Modellierung in der Informationstechnik - Modellierung serviceorientierter IT-Systeme - Modellierung sicherheitskritischer Systeme - Modellierung verteilter betrieblicher Informationssysteme - Open Models - Referenzmodelle f?r spezielle Anwendungsbereiche - Unternehmensmodellierung und Unternehmensarchitekturen - Workflowmodellierung Termine ======= 14.10.2013 Einreichung von Beitr?gen 29.11.2013 Mitteilung der Gutachten 06.12.2013 Stellungnahme der Autorinnen und Autoren 20.12.2013 Mitteilung der Annahmeentscheidung 17.01.2014 Einreichung der Endfassung der Beitr?ge 19.-21.03.2014 Tagung ?Modellierung 2014? Einreichungen zum Doktorandinnen- und Doktorandensymposium werden bis zum 20.01.2014 erbeten, Vorschl?ge f?r Workshops und Tutorien bis 14.10.2013 und Vorschl?ge f?r das Praxisforum bis 06.01.2014. Hierzu werden in K?rze n?here Informationen ver?ffentlicht (http://www.modellierung2014.org/). Beitragseinreichung und Publikation =================================== Wissenschaftliche Beitr?ge k?nnen als Langbeitr?ge (16 Seiten) oder Kurzbeitr?ge (8 Seiten) eingereicht werden. Die Seitengrenzen sind verbindlich und schlie?en Literaturverzeichnis und Anh?nge mit ein. Angenommene Beitr?ge werden im Tagungsband publiziert, der in der GI-Reihe Lecture Notes in Informatics (LNI) erscheinen wird. Die Gestaltung der Beitr?ge wird durch die LNI-Richtlinien bestimmt (http://www.gi-ev.de/fileadmin/redaktion/Autorenrichtlinien/guidelines.pdf). Die Beitr?ge werden in einschl?gigen Indizes, wie z. B. DBLP, gelistet. Autorinnen und Autoren k?nnen angenommene Beitr?ge in ?berarbeiteter Form f?r die Publikation in Fachzeitschriften weiterverwerten. Praxisbeitr?ge k?nnen als Kurzbeitr?ge eingereicht werden. Angenommene Beitr?ge werden in elektronischer Form verf?gbar gemacht. Weitere Details siehe http://www.modellierung2014.org/. Alle Beitr?ge werden dreifach begutachtet. Die Autorinnen und Autoren haben Gelegenheit, zu den Gutachten Stellung zu nehmen, um etwaige Missverst?ndnisse auszur?umen (Rebuttal). Tagungsort ========== Gastgeber der Tagung ist die Universit?t Wien. Die Tagung selbst findet an der Fakult?t Wirtschaftsinformatik im Geb?ude W?hringer Stra?e 29 statt. Verantwortliche =============== Programmkomitee-Vorsitz: Dimitris Karagiannis, Universit?t Wien Ulrich Reimer, FH St. Gallen Workshops: Andreas Oberweis, KIT Karlsruher Institut f?r Technologie Friedrich Steimann, FernUniversit?t in Hagen Praxisforum: Heinz Z?llighoven, Universit?t Hamburg Hans-Georg Fill, Universit?t Wien Dokorandinnen- und Doktorandensymposium: Ulrich Frank, Universit?t Duisburg-Essen Heinric C. Mayr, Alpen-Adria-Universit?t Klagenfurt Tutorien: Stefan Strecker, FernUniversit?t in Hagen Susanne Leist, Universit?t Regensburg Lokale Organisation: Elena-Teodora Miron info at modellierung2014.org Tagungsleitung: Dimitris Karagiannis, Ulrich Reimer Programmkomitee =============== - Colin Atkinson, Universit?t Mannheim - Ruth Breu, Universit?t Innsbruck - J?rg Desel, FernUniversit?t Hagen - J?rgen Ebert, Universit?t Koblenz-Landau - Gregor Engels, Universit?t Paderborn - Hans-Georg Fill, Universit?t Wien - Ulrich Frank, Universit?t Duisburg-Essen - Holger Giese, Hasso-Plattner-Institut - Martin Glinz, Universit?t Z?rich, CH - Martin Gogolla, Universit?t Bremen - Ursula Goltz, TU Braunschweig - Maritta Heisel, Universit?t Duisburg-Essen - Holger Herrmanns, Universit?t des Saarlandes - Wolfgang Hesse, Universit?t Marburg - Martin Hofmann, LMU M?nchen - Frank Houdek, Daimler AG - Heinrich Hu?mann, LMU M?nchen - Stefan Jablonski, Universit?t Bayreuth - Matthias Jarke, RWTH Aachen - Jan J?rjens, TU Dortmund und Fraunhofer ISST - Gerti Kappel, TU Wien - Dimitris Karagiannis, Universit?t Wien - Roland Kaschek, Universit?t der F?r?er Inseln - Ralf Kneuper, Darmstadt - Christian Kop, Alpen-Adria-Universit?t Klagenfurt - Thomas K?hne, Victoria University of Wellington, - Jochen K?ster, IBM Research Z?rich, CH - Susanne Leist, Universit?t Regensburg - Horst Lichter, RWTH Aachen - Peter Liggesmeyer, TU Kaiserslautern - Zhendong Ma, AIT Austrian Institute of Technology - Florian Matthes, TU M?nchen - Heinrich C. Mayr, Alpen-Adria-Universit?t Klagenfurt - Mark Minas, Universit?t der Bundeswehr M?nchen - Mirjam Minor, Goethe-Universit?t-Frankfurt - G?nther M?ller-Luschnat, iteratec GmbH, M?nchen - Friederike Nickl, Swiss Life Deutschland - Markus N?ttgens, Universit?t Hamburg - Andreas Oberweis, KIT Karlsruher Institut f?r Technologie - Erich Ortner, TECHNUM - Barbara Paech, Universit?t Heidelberg - Thorsten Pawletta, Hochschule Wismar - Jan Philipps, Validas AG, M?nchen - Klaus Pohl, Universit?t Duisburg-Essen - Alexander Pretschner, TU M?nchen - Erik Proper, Public Research Center Henri Tudor Luxembourg - Ulrich Reimer, FH St. Gallen - Wolfgang Reisig, Humboldt-Universit?t zu Berlin - Ralf Reussner, KIT / FZI - Matthias Riebisch, Universit?t Hamburg - Bernhard Rumpe, RWTH Aachen - Ina Schaefer, TU Braunschweig - Bernhard Sch?tz, fortiss GmbH, M?nchen - Peter Schmitt, KIT Karlsruher Institut f?r Technologie - Andy Sch?rr, Technische Universit?t Darmstadt - Elmar J. Sinz, Universit?t Bamberg - Steffen Staab, Universit?t Koblenz-Landau - Friedrich Steimann, FernUniversit?t Hagen - Susanne Strahringer, TU Dresden - Stefan Strecker, FernUniversit?t Hagen - Peter Tabeling, Intervista AG - Gabriele Taentzer, Philipps-Universit?t Marburg - Bernhard Thalheim, Universit?t Kiel - Klaus Turowski, Otto-von-Guerike-Universit?t Magdeburg - Axel Uhl, SAP AG - Gerd Wagner, Brandenburgische Technische Universit?t - Mathias Weske, HPI an der Universit?t Potsdam - Andreas Winter, Carl von Ossietzky Universit?t Oldenburg - Mario Winter, Fachhochschule K?ln - Robert Winter, Universit?t St. Gallen - Heinz Z?llighoven, Universit?t Hamburg - Albert Z?ndorf, Universit?t Kassel Querschnittsfachausschuss Modellierung ====================================== Die ?Modellierung? ist eine Arbeitstagung des Querschnittsfachausschusses Modellierung (www.gi-modellierung.de), in dem derzeit folgende GI-Fachgliederungen vertreten sind: - EMISA, Entwicklungsmethoden f?r Informationssysteme und deren Anwendung - FoMSESS, Formale Methoden und Software Engineering f?r Sichere Systeme - ILLS, Intelligente Lehr- und Lernsysteme - MMB, Messung, Modellierung und Bewertung von Rechensystemen - OOSE, Objektorientierte Software-Entwicklung - PN, Petrinetze - RE, Requirements Engineering - ST, Softwaretechnik - SWA, Softwarearchitektur - MobIS, Modellierung betrieblicher Informationssysteme - WI-VM, Vorgehensmodelle f?r die betriebliche Anwendungsentwicklung - WM, Wissensmanagement Der Querschnittsfachausschuss ist offen f?r die Aufnahme weiterer GI-Fachgliederungen, die auf dem Gebiet der Modellierung aktiv und an einer fachgebiets?bergreifenden Zusammenarbeit interessiert sind. ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From schmid at sse.uni-hildesheim.de Sun Aug 11 21:33:54 2013 From: schmid at sse.uni-hildesheim.de (Klaus Schmid) Date: Sun, 11 Aug 2013 21:33:54 +0200 Subject: [fg-arc] SE 2014 - Aufruf Tutorien und Workshops Message-ID: <233a3244-fb4b-40fd-a986-f0f681c3d919@messagesink.samelson.uni-hildesheim.de> Liebe Architektur-Interessierte, Die deutsche Software Engineering Tagung ist das wichtigste j?hrliche Treffen der Software Engineering-Community im deutschsprachigen Raum. Im Jahr 2014 steht die Tagung unter dem Motto ?Transfer zwischen Wissenschaft und Wirtschaft?. Auf den Webseiten wurden jetzt auch die Calls f?r die Tutorien und die Workshops ver?ffentlicht: http://se2014.kosse-sh.de/tutorials/ http://se2014.kosse-sh.de/workshops/ Vorschl?ge f?r Tutorien und Workshops k?nnen ab sofort jederzeit bis zum Annahmeschluss eingereicht werden! Mitteilungen ?ber Annahme oder Ablehnung werden fortlaufend gegeben. Bei Tutorien sind insbesondere auch Beitr?ge erw?nscht, die auf international renommierten, wissenschafltichen Konferenzen bereits erfolgreich gehalten wurden (vergleichbar Beitr?gen f?r das wissenschaftliche Programm). Zus?tzlich sind aber auch explizit Tutorien mit einem besonderen Fokus auf Praxis und Technologietransfer, sowie neue, innovative Tutorien erw?nscht. http://se2014.kosse-sh.de/tutorials/ Workshops bieten insbesondere die M?glichkeit eine Community zu neuen, innovativen Themen des Software Engineering zu schaffen. Daher m?chten wir Interessenten, die an solchen innovativen Themen arbeiten, insbesondere zur Einreichung eines Vorschlags auffordern. http://se2014.kosse-sh.de/workshops/ Wir freuen uns auf Ihre Einreichungen, Klaus Schmid (F?r die Workshop- und Tutorien-Komittees) ----------------------------------------------------------------- Prof. Dr. Klaus Schmid University of Hildesheim Tel.: +49 (0) 5121 / 883-761 Institute of Computer Science Fax.: +49 (0) 5121 / 883-769 Marienburger Platz 22 schmid at sse.uni-hildesheim.de D-31141 Hildesheim, Germany http://www.sse.uni-hildesheim.de ----------------------------------------------------------------- From AHARONA at il.ibm.com Sun Aug 11 14:48:06 2013 From: AHARONA at il.ibm.com (Aharon Abadi) Date: Sun, 11 Aug 2013 15:48:06 +0300 Subject: [fg-arc] Call For Papers [CFP] MobileDeLi at SPLASH 2013 Message-ID: Call for Contribution Mobile Development Lifecycle (MobileDeLi) http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/index.shtml October 28, 2013 Indianapolis, Indiana, USA in conjunction with SPLASH 2013 2013 http://splashcon.org/2013/ Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 300 billion applications will be downloaded annually. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. Our excellent keynote speakers http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/keynotes.shtml We solicit contributions related to mobile software development. Topics include, but are not limited to: - Mobile development environments and tools - Mobile testing - Agile development for mobile applications - Empirical studies and metrics - Maintenance and evolution - Mobile patterns, frameworks, and product lines - Mobile software refactoring, restructuring, and renovation - Mobile program transformation and optimization - Practice and experience reports - Management of mobile applications - Event processing for mobile - User experience of mobile applications - Hybrid versus native applications - Model-driven development for mobile - Application security - Mobile operating system and middleware security - Secure application development methodologies - Cloud support for mobile security - Static and dynamic analysis of mobile applications - Mobile optimization debugging techniques and tools - Research challenges in mobile software engineering We accept contributions of three types: 1. Research papers up to 8 pages that describe original work in the area of mobile software engineering. Since we wish to create a vibrant significant community, we will not have official proceedings thus accepted authors will be able to submit their work to other venues. 2. Short papers up to 4 pages of emerging ideas and on research in progress. 3. Extended abstracts up to 2 pages on in-practice experience. Your paper must conform to the ACM SIGPLAN Proceedings format ( http://www.sigplan.org/authorInformation.htm). Submit your paper in Adobe PDF via EasyChair (https://www.easychair.org/account/signin.cgi?conf=mobiledeli2013). Authors will be able to decide if they wish to publish their work in the conference proceedings. Important Dates : - Paper submission: August 20, 2013 - Notification of acceptance: September 12, 2013 - Camera-ready submission: September 16, 2013 - The workshop day is on Monday, October 28, 2013 Contact information: mobiledeli2013 at gmail.com Regards, MobileDeLi Organizers Aharon Abadi, IBM Research - Haifa Rafael Prikladnicki, Pontificia Universidade Catolica do Rio Grande do Sul Porto Alegre, RS, Brazil Yael Dubinsky, IBM Research - Haifa From AHARONA at il.ibm.com Mon Aug 19 17:37:15 2013 From: AHARONA at il.ibm.com (Aharon Abadi) Date: Mon, 19 Aug 2013 18:37:15 +0300 Subject: [fg-arc] MobileDeli 2013: Extended Deadline to August, 25 2013 Message-ID: ----------------------------------------Call for Papers [CFP] MobileDeli 2013---------------------------------------- Call for Contribution Mobile Development Lifecycle (MobileDeLi) http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/index.shtml October 28, 2013 Indianapolis, Indiana, USA in conjunction with SPLASH 2013 2013 http://splashcon.org/2013/ Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 300 billion applications will be downloaded annually. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. We solicit contributions related to mobile software development. Topics include, but are not limited to: - Mobile development environments and tools - Mobile testing - Agile development for mobile applications - Empirical studies and metrics - Maintenance and evolution - Mobile patterns, frameworks, and product lines - Mobile software refactoring, restructuring, and renovation - Mobile program transformation and optimization - Practice and experience reports - Management of mobile applications - Event processing for mobile - User experience of mobile applications - Hybrid versus native applications - Model-driven development for mobile - Application security - Mobile operating system and middleware security - Secure application development methodologies - Cloud support for mobile security - Static and dynamic analysis of mobile applications - Mobile optimization debugging techniques and tools - Research challenges in mobile software engineering We accept contributions of three types: 1. Research papers up to 8 pages that describe original work in the area of mobile software engineering. Since we wish to create a vibrant significant community, we will not have official proceedings thus accepted authors will be able to submit their work to other venues. 2. Short papers up to 4 pages of emerging ideas and on research in progress. 3. Extended abstracts up to 2 pages on in-practice experience. Your paper must conform to the ACM SIGPLAN Proceedings format (http://www.sigplan.org/authorInformation.htm). Submit your paper in Adobe PDF via EasyChair (https://www.easychair.org/account/signin.cgi?conf=mobiledeli2013). Authors will be able to decide if they wish to publish their work in the conference proceedings. Important Dates : - Paper submission: August 20, 2013 - Notification of acceptance: September 12, 2013 - Camera-ready submission: September 16, 2013 - The workshop day is on Monday, October 28, 2013 Contact information: mobiledeli2013 at gmail.com Regards, MobileDeLi Organizers Aharon Abadi, IBM Research - Haifa Rafael Prikladnicki, Pontificia Universidade Catolica do Rio Grande do Sul Porto Alegre, RS, Brazil Yael Dubinsky, IBM Research ? Haifa From mikusz at wius.bwi.uni-stuttgart.de Thu Aug 22 13:18:43 2013 From: mikusz at wius.bwi.uni-stuttgart.de (Martin Mikusz) Date: Thu, 22 Aug 2013 11:18:43 +0000 Subject: [fg-arc] Tagung Vorgehensmodelle 2013 - Einladung zur Teilnahme Message-ID: EINLADUNG ZUR TEILNAHME 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik der Gesellschaft f?r Informatik e.V. Vorgehensmodelle 2013 Vorgehensmodelle ? Anspruch und Wirklichkeit Tagungstermin: 09./10.10.2013 Tagungsort: DHBW L?rrach (D-79539 L?rrach bei CH-Basel) Webseite: http://www.vorgehensmodelle.de Tagungsziel Mit ihrer Veranstaltungsreihe blickt die Fachgruppe Vorgehensmodelle auf eine 20-j?hrige Tradition zur?ck. W?hrend dieses Zeitraumes hat sich die Tagung ?Vorgehensmodelle? als die wichtigste Veranstaltung zu diesem Thema im deutschsprachigen Raum etabliert. Die Veranstaltungsreihe verfolgt das Ziel, fundierte Ans?tze zu Vorgehensmodellen gemeinsam mit Erfahrungen zu deren Anwendung in der Praxis einem Fachpublikum aus Wissenschaftlern und Praktikern vorzustellen. Der intensiven Diskussion der vorgestellten Ans?tze sowie dem Erfahrungsaustausch wird dabei traditionell eine besonders hohe Bedeutung zugemessen. Im Jahr 2013 findet die 20. Tagung der Fachgruppe Vorgehensmodelle statt. Die Fachgruppe nimmt diese Jubil?umstagung zum Anlass, um unter dem Motto ?Vorgehensmodelle ? Anspruch und Wirklichkeit? auf das bisher Erreichte, auf bisher vernachl?ssigte Themen und Entwicklungen, sowie auf die Herausforderungen f?r die Zukunft zu blicken. Tagungsprogramm im ?berblick Das Vortragsprogramm wird an beiden Veranstaltungstagen durch eine Keynote er?ffnet und umfasst dar?ber hinaus ausgew?hlte Beitr?ge aus Praxis und Wissenschaft, die einen Review-Prozess durchlaufen haben und im Tagungsband ver?ffentlicht werden (GI-Edition LNI). Die Beitr?ge beleuchten Diskrepanzen zwischen Anspruch und Wirklichkeit bei Vorgehensmodellen sowohl aus verschiedenen Perspektiven, als auch mit verschiedenen thematischen Schwerpunkten: - Stefan Hilmer - Verantwortung ?bernehmen: Das Project Management Office als Process Owner f?r das unternehmensweite Projektmanagement - Andrea Herrmann und R?diger Wei?bach - Wer macht eigentlich Requirements Engineering & Management? - Hans-Peter Korn - Das ?agile? Vorgehen: Neuer Wein in alte Schl?uche - oder ein ?D?j?-vu?? - Joachim Schramm, Thomas Ternit? und Marco Kuhrmann - Organisationsspezifische Anpassungen von Vorgehensmodellen - Nutzen und Herausforderungen - Alexander Rachmann, Sven Eselgrimm und Frank Engel - Ausgew?hlte Problemfelder und L?sungsansatz des Requirements Engineering in der Telekommunikationsbranche - Feyyat Kaymaz - Prioritization and selection of the right business and IT requirements in the software engineering process - J?rg Hofstetter und Martin Jud - Was fehlt Scrum? ? ein beispielhafter L?sungsansatz aus der Hochschulpraxis - Michael Tonndorf und Thomas Diefenbach - Ein Konzept zur Harmonisierung der Vorgehensmodelle f?r die IT-Steuerung Bund - Roland Petrasch, Torben Franzke und Songsak Rongviriyapanich - Einf?hrung von Scrum in einem Software-Entwicklungsprojekt der ContiTech AG Eine GI-Fachgruppe wie die Fachgruppe ?Vorgehensmodelle? hat die Aufgabe, sich mit der Zukunft ihres Fachgebiets zu besch?ftigen: Wie geht es weiter mit Vorgehensmodellen? Welchen Weg soll man einschlagen? Solche und ?hnliche Fragen sollen in der erstmals eingef?hrten Session ?Future Track? diskutiert werden. F?nf eingeladene Referenten berichten von ihren Erfahrungen mit Vorgehensmodellen und formulieren ihre These, welche sie in einem kurzen Vortrag vorstellen. Danach soll die These ausgiebig im Auditorium diskutiert werden: - Uwe Henker - Human Factors and SCRUM - Rolf Voller - Warum Projekte scheitern - Sven Niemand, Sven Feja, S?ren Witt und Andreas Speck - Vorgehensmodellentwurf f?r Forschungsprototypen - Jan Wehinger - Jenseits der Vorgehensmodelle - Projektteams wirksam in Organisationen verankern, das Viable System Model und MAP - Jane Tr?mner - Was ist dran an Agilen Mythen? Eine ausf?hrliche Beschreibung des Tagungsprogramms finden Sie auf der Webseite der Fachgruppe unter www.vorgehensmodelle.de Anmeldung und Teilnahmegeb?hren F?r die Tagungsteilnahme ist eine Anmeldung erforderlich. Die Teilnehmerzahl ist begrenzt, die Anmeldungen werden in der Reihenfolge ihres Eingangs ber?cksichtigt. Die Anmeldung erfolgt ?ber die Webseite der Fachgruppe unter www.vorgehensmodelle.de. Die Teilnahmegeb?hren betragen (alle Preise sind Bruttopreise): - F?r Mitglieder der GI oder anderer wissenschaftlicher Gesellschaften: 169,- ? - F?r Studierende: 25,- ? f?r studentische Mitglieder der GI oder anderer wissenschaftlicher Gesellschaften, ansonsten 40,- ? - Alle ?brigen Teilnehmer zahlen 189,- ? In der Teilnahmegeb?hr sind Tagungsband sowie weitere Tagungsunterlagen, Pausenverpflegung, Mittagessen sowie die Verk?stigung an der Abendveranstaltung enthalten (Ausnahme: In der reduzierten Teilnahmegeb?hr f?r Studierende ist die Abendveranstaltung nicht enthalten). Kontaktadresse und weitere Informationen Auf der Webseite der Fachgruppe http://www.vorgehensmodelle.de werden laufend aktualisierte Informationen zur Tagung bereitgestellt (Keynotes, Zeitplan, Abendveranstaltung, sonst. Rahmenprogramm, Hotelliste, Anfahrtsbeschreibung etc.). F?r R?ckfragen wenden Sie sich bitte an vm2013 at technologie-service.de. Wir w?rden uns freuen, wenn wir Ihr Interesse geweckt haben, und hoffen, Sie auf der 20. Tagung der Fachgruppe Vorgehensmodelle pers?nlich begr??en zu k?nnen. F?r das Leitungsgremium der Fachgruppe Vorgehensmodelle (WI-VM): - Prof. Eckhart Hanser, Duale Hochschule BW L?rrach (Sprecher der Fachgruppe, Leiter des Organisationskomitees) - Dr. Martin Mikusz, Universit?t Stuttgart (Leiter des Programmkomitees) - Masud Fazal-Baqaie, Universit?t Paderborn (stv. Leiter des Programmkomitees) Webseite der Fachgruppe: http://www.vorgehensmodelle.de Die Fachgruppe auf XING: https://www.xing.com/net/pri9f199bx/vorgehensmodelle/ Verteiler der Fachgruppe: https://mail.gi-ev.de/mailman/listinfo/wi-vm Kooperationspartner der Tagung - Duale Hochschule Baden-W?rttemberg, L?rrach - GSaME, Universit?t Stuttgart - Software Quality Lab - Evonik Industries - Endress+Hauser - Softwareforen Leipzig From hasselbring at email.uni-kiel.de Thu Aug 22 16:02:03 2013 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Thu, 22 Aug 2013 16:02:03 +0200 Subject: [fg-arc] =?utf-8?q?Aufruf_zur_Einreichung_von_Beitr=C3=A4gen_zur_?= =?utf-8?q?Software_Engineering_2014?= Message-ID: <521619DB.3060305@email.uni-kiel.de> Liebe Kolleginnen und Kollegen, die Tagung "Software Engineering" des GI-Fachbereichs Softwaretechnik findet 2014 in Kiel statt: http://se2014.kosse-sh.de/ Unter dem Tagungsmotto "Transfer zwischen Wissenschaft und Wirtschaft" bietet die SE 2014 das Treffen der deutschsprachigen Software Engineering Community. Die Aufrufe zu den peplanten Programmelementen - Wissenschaftliches Programm (mit neuem Format!) - Software Engineering Ideen - Software Engineering Essentials (in K?rze verf?gbar) - Technologietransferprogramm - Industrieprogramm - Doktorandensysmposium - Tutorials - Workshops - Studierendenprogramm - Software-Engineering-Preis finden sich unter http://se2014.kosse-sh.de/call-for-papers/ Hier stehen auch PDF-Versionen bereit, die sich zB zum Aushang eignen. Wir freuen uns auf Ihre Beitr?ge! Sch?ne Gr??e, Wilhelm (Willi) Hasselbring -- 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 AHARONA at il.ibm.com Sat Aug 24 11:18:36 2013 From: AHARONA at il.ibm.com (Aharon Abadi) Date: Sat, 24 Aug 2013 12:18:36 +0300 Subject: [fg-arc] Last Call: [CFP] MobileDeli 2013: Extended Deadline to August, 25 2013 Message-ID: Call for Contribution Mobile Development Lifecycle (MobileDeLi) http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/index.shtml October 28, 2013 Indianapolis, Indiana, USA in conjunction with SPLASH 2013 2013 http://splashcon.org/2013/ Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 300 billion applications will be downloaded annually. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. We solicit contributions related to mobile software development. Topics include, but are not limited to: - Mobile development environments and tools - Mobile testing - Agile development for mobile applications - Empirical studies and metrics - Maintenance and evolution - Mobile patterns, frameworks, and product lines - Mobile software refactoring, restructuring, and renovation - Mobile program transformation and optimization - Practice and experience reports - Management of mobile applications - Event processing for mobile - User experience of mobile applications - Hybrid versus native applications - Model-driven development for mobile - Application security - Mobile operating system and middleware security - Secure application development methodologies - Cloud support for mobile security - Static and dynamic analysis of mobile applications - Mobile optimization debugging techniques and tools - Research challenges in mobile software engineering We accept contributions of three types: 1. Research papers up to 8 pages that describe original work in the area of mobile software engineering. Since we wish to create a vibrant significant community, we will not have official proceedings thus accepted authors will be able to submit their work to other venues. 2. Short papers up to 4 pages of emerging ideas and on research in progress. 3. Extended abstracts up to 2 pages on in-practice experience. Your paper must conform to the ACM SIGPLAN Proceedings format (http://www.sigplan.org/authorInformation.htm). Submit your paper in Adobe PDF via EasyChair (https://www.easychair.org/account/signin.cgi?conf=mobiledeli2013). Authors will be able to decide if they wish to publish their work in the conference proceedings. Important Dates : - Paper submission: August 20, 2013 - Notification of acceptance: September 12, 2013 - Camera-ready submission: September 16, 2013 - The workshop day is on Monday, October 28, 2013 Contact information: mobiledeli2013 at gmail.com Regards, MobileDeLi Organizers Aharon Abadi, IBM Research - Haifa Rafael Prikladnicki, Pontificia Universidade Catolica do Rio Grande do Sul Porto Alegre, RS, Brazil Yael Dubinsky, IBM Research - Haifa From andreas.birk at swpm.de Tue Aug 27 14:53:37 2013 From: andreas.birk at swpm.de (andreas.birk at swpm.de) Date: Tue, 27 Aug 2013 14:53:37 +0200 Subject: [fg-arc] Symposium "Software-Architektur", 26. September 2013, Ostfildern bei Stuttgart Message-ID: Einladung -- http://www.tae.de/software-architektur ============================== SYMPOSIUM SOFTWARE-ARCHITEKTUR ============================== Donnerstag, den 26. September 2013, in Ostfildern bei Stuttgart Themenschwerpunkte: > Architekturdokumentation > Architektur f?r eingebettete Systeme > Variantenreiche Systeme und Produktlinien > Erfahrungen aus der Praxis der Software-Architektur > Die Rolle der Software-Architektur im Unternehmen Keynote: Stefan Z?rner, oose Innovative Informatik GmbH, Hamburg "Warum Sie Ihre Softwarearchitektur dokumentieren sollten, und wie Sie das anstellen" Weitere Informationen und Anmeldung: http://www.tae.de/software-architektur Auszug aus dem Programm: ======================== Architekturpr?fung f?r Produktlinien Thomas Eisenbarth, Axivion GmbH, Stuttgart Die h?ufigsten Modellierungsfehler Dr. habil. Andrea Herrmann, Herrmann & Ehrlich, Stuttgart Software-Architekturen (f?r embedded Systeme) erfolgreich mit der UML modellieren und verifizieren Thomas Batt, MicroConsult GmbH, M?nchen Die Laufzeit-Architektur - oft untersch?tzte Basis f?r robuste Software und effiziente Entwicklung von Embedded Systemen Andreas Willert, Willert Software Tools GmbH, B?ckeburg Welche Architekturdokumentation wollen Entwickler? 147 Praktiker sagen es uns... Dr. Matthias Naab, Dominik Rost, Fraunhofer IESE, Kaiserslautern Offene Diskussion im Plenum: Architekturdokumentation in der Praxis Diskussionsteilnehmer u.a.: Stefan Z?rner, oose Innovative Informatik GmbH, Hamburg Dr. Matthias Naab, Fraunhofer IESE, Kaiserslautern Dominik Rost, Fraunhofer IESE, Kaiserslautern Tools f?r Web Applikations Lasttests Michael Jerger, Informatikb?ro Jerger, Reutlingen SW-Arch?ologie mit Aspekt-Orientierung Oliver B?hm, T-Systems, Leinfelden-Echterdingen http://www.tae.de/software-architektur Organisation/Kontakt: ===================== Andrea Zeh Technische Akademie Esslingen e.V. Tel. 0711 34008-52 E-Mail: andrea.zeh at tae.de Weitere Informationen und Anmeldung: ==================================== http://www.tae.de/software-architektur http://www.tae.de/software-architektur/anmeldung -------------- next part -------------- An HTML attachment was scrubbed... URL: From pmt6sbc at maths.leeds.ac.uk Mon Aug 26 13:08:22 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 26 Aug 2013 12:08:22 +0100 (BST) Subject: [fg-arc] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement. Message-ID: <201308261108.r7QB8MbV011787@maths.leeds.ac.uk> ---------------------------------------------------------------- P R E L I M I N A R Y A N N O U N C E M E N T COMPUTABILITY IN EUROPE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8 ---------------------------------------------------------------- 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), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013). Please mark the conference dates in your agendas for 2014. CONFIRMED TUTORIAL SPEAKER Wolfgang Thomas (RWTH Aachen) CONFIRMED INVITED SPEAKERS 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 on 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, TBA Bio-inspired Computation organizers: Marian Gheorghe, Florin Manea Online Algorithms organizers: Joan Boyar, Csanad Imreh Complexity in Automata Theory organizers: Markus Lohrey, Giovanni Pighizzini The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural 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. The conference will address these aspects besides the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation. Novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency are welcome. Also, massive data analysis and computations are a recent subject of attention, since the most recent technologies produce huge amounts of data, and managing such data requires some theoretical frameworks. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2014 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. The PROGRAMME COMMITTEE consists 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) Barry Cooper (Leeds) Erzsebet Csuhaj-Varju (Budapest, co-chair) Michael J. Dineen (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) In a Call for Papers to be sent out in October 2013, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2014. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. ____________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8 CiE Membership Application Form http://www.cs.swan.ac.uk/acie Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE ____________________________________________________________________ From artur.caetano at inov.pt Thu Aug 29 17:35:20 2013 From: artur.caetano at inov.pt (Artur Caetano) Date: Thu, 29 Aug 2013 16:35:20 +0100 Subject: [fg-arc] CfP - 11th Enterprise Engineering - ACM SAC 2014 Message-ID: <521F6A38.1070807@inov.pt> An HTML attachment was scrubbed... URL: From Pieter.Philippaerts at cs.kuleuven.be Thu Aug 29 15:04:54 2013 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Thu, 29 Aug 2013 15:04:54 +0200 Subject: [fg-arc] CFP: ESSoS'14 - abstracts due in one week! Message-ID: <01eb01cea4b8$5b1abde0$115039a0$@cs.kuleuven.be> =============================================================== International Symposium on Engineering Secure Software and Systems (ESSoS) =============================================================== http://distrinet.cs.kuleuven.be/events/essos/2014/ February 26 - 28, 2014, Munich, Germany =============================================================== IMPORTANT DATES Abstract submission: September 6, 2013 Paper submission: September 13, 2013 Author notification: November 18, 2013 Camera-ready: December 8, 2013 Symposium: February 26-28, 2014 In cooperation with: ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) CONTEXT AND MOTIVATION Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. GOAL AND SETUP The goal of this symposium, which will be the sixth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. The symposium will feature two days of technical program with keynote presentations by Ross Anderson and Adrian Perrig. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. TOPICS The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (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 DSL's 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 (in particular economic considerations) - support for assurance, certification and accreditation - empirical secure software engineering - security by design SUBMISSION AND FORMAT The proceedings of the symposium are published by Springer-Verlag in the Lecture Notes in Computer Science Series (http://www.springer.com/lncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, non-published work of high quality. For selected papers, there will be an invitation to submit extended versions to a special issue in the International Journal of Information Security. Two types of papers will be accepted: Full papers (max 14 pages without bibliography/appendices) - May describe original technical research with a solid foundation, such as formal analysis or experimental results, with acceptance determined mostly based on novelty and validation. Or, may describe case studies applying existing techniques or analysis methods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the technical presentation details. Idea papers (max 8 pages with bibliography) - May crisply describe a novel idea that is both feasible and interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security technology. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully-developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and acceptance will be unlikely without some basic, principled validation (e.g., extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. Two affiliated workshops also solicit contributions. Further guidelines will appear on the website of the symposium. INVITED SPEAKERS Ross Anderson, University of Cambridge Adrian Perrig, ETH Zurich STEERING COMMITTEE Jorge Cuellar (Siemens AG) Wouter Joosen (Katholieke Universiteit Leuven) - chair Fabio Massacci (Universit? di Trento) Gary McGraw (Cigital) Bashar Nuseibeh (The Open University) Daniel Wallach (Rice University University) ORGANIZING COMMITTEE General chair: Alexander Pretschner (Technische Universit?t M?nchen, DE) Program co-chairs: Jan J?rjens (TU Dortmund and Fraunhofer ISST, DE), Frank Piessens (Katholieke Universiteit Leuven, BE) eHealth workshop chair: Wouter Joosen (Katholieke Universiteit Leuven) Smart Grid workshop chair: Jorge Cuellar (Siemens AG) Publication chair: Nataliia Bielova (INRIA Rennes, FR) Publicity chair: Pieter Philippaerts (Katholieke Universiteit Leuven, BE) Local arrangements chair: Regina Jourdan (Technische Universit?t M?nchen, DE) Web chair: Ghita Saevels (Katholieke Universiteit Leuven, BE) PROGRAM COMMITTEE Ruth Breu, University of Innsbruck, Austria Lorenzo Cavallaro, Royal Holloway University of London, UK Anupam Datta, Carnegie Mellon University, US Werner Dietl, University of Washington, US Fran?ois Dupressoir, IMDEA, Spain Eduardo Fernandez, Florida Atlantic University, US Eduardo Fernandez-Medina Paton, Universidad de Castilla-La Mancha, Spain Cormac Flanagan, U. C. Santa Cruz, US Dieter Gollmann, TU Hamburg-Harburg, Germany Arjun Guha, Cornell University, US Christian Hammer, Saarland University, Germany Hannes Hartenstein, Karlsruher Institut f?r Technologie, Germany Maritta Heisel, U. Duisburg Essen, Germany Peter Herrmann, NTNU, Trondheim, Norway Valerie Issarny, INRIA, France Limin Jia, Carnegie Mellon University, US Martin Johns, SAP Research, Germany Jay Ligatti, University of South Florida, US Heiko Mantel, TU Darmstadt, Germany Haris Mouratidis, University of East London, UK Mart?n Ochoa, Siemens AG, Germany Jae Park, University of Texas at San Antonio, US Erik Poll, RU Nijmegen, The Netherlands Wolfgang Reif, University of Augsburg, Germany Riccardo Scandariato, Katholieke Universiteit Leuven, Belgium Ketil St?len, SINTEF, Norway Steve Zdancewic, University of Pennsylvania, US Mohammad Zulkernine, Queens University, Canada Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm -------------- next part -------------- An HTML attachment was scrubbed... URL: