From peterschueller at sabanciuniv.edu Mon Jun 3 16:03:45 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Mon, 03 Jun 2013 17:03:45 +0300 Subject: [fg-arc] [Deadline extended: June 15] CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS AND POSTER ABSTRACTS Workshop on Knowledge Representation and Reasoning in Robotics at the International Conference on Logic Programming (ICLP). Location: Istanbul, Turkey. Date of Workshop: August 25, 2013. Workshop web site: http://www.cs.ttu.edu/~smohan/krr_iclp13/ Conference web site: http://www.iclp2013.org/en/default.asp WORKSHOP SCOPE Mobile robots (and agents) are increasingly being used in a range of application domains such as disaster rescue, surveillance, health care and navigation. A formidable challenge to the widespread deployment of robots in our homes, offices and other complex domains is the ability to represent, reason with and revise incomplete and inconsistent domain knowledge obtained from sensor inputs and high-level human feedback. Although many algorithms have been developed for representing and reasoning with domain knowledge, the research community is fragmented, with separate vocabularies that are increasingly (and ironically) making it difficult for these researchers to communicate with each other. As a result, the rich body of research in knowledge representation for cognitive agents is not fully exploited by robotics researchers. For instance, declarative programming paradigms provide non-monotonic reasoning capabilities essential for robotics, although they do not always consider the challenge of modeling the uncertainty in robot application domains. In parallel, many robotics researchers are developing probabilistic reasoning algorithms that elegantly model the uncertainty in sensing and navigation on robots, although it is a challenge to use such algorithms to represent and reason with commonsense knowledge. In recent years, algorithms have also been developed for combining logical and probabilistic reasoning, but these algorithms do not support the desired knowledge representation and reasoning capabilities, or fail to address problems (e.g., frame problem, ramification problem) that are well understood in the logic programming community. This workshop seeks to engage the logic programming community in robotics research challenges. The objective is to promote a deeper understanding of recent breakthroughs and tough challenges in the logical programming and probabilistic robotics communities, resulting in collaborative efforts towards addressing the knowledge representation and reasoning challenges in robotics. Topics of interest include (but are not limited to): * Knowledge acquisition and representation. * Reasoning with incomplete and inconsistent knowledge. * Reasoning about actions and change. * Planning and scheduling. * Learning and symbol grounding. * Cognitive architectures. * Multiagent systems. We are especially interested in papers describing efforts to integrate knowledge representation, logical reasoning and/or probabilistic reasoning on robots and agents in different application domains. PAPER SUBMISSION Paper submissions can be in one of the following categories: * Regular paper: the length of regular papers (including figures and bibliography) should not exceed 12 pages. * Poster/summary paper: the length of poster/summary papers (including all figures and bibliography) should not exceed 4 pages. Papers must be written in English using the same format used for ICLP submissions: http://www.iclp2013.org/en/Submissions.html Easychair paper submission web site: https://www.easychair.org/conferences/?conf=krr2013 IMPORTANT DATES Submission deadline: June 15, 2013 Notifications: June 30, 2013 Camera-ready deadline: July 10, 2013 Workshop at ICLP: August 25, 2013 ORGANIZERS Mohan Sridharan Department of Computer Science Texas Tech University, USA http://www.cs.ttu.edu/~smohan/ Fangkai Yang Department of Computer Sciences The University of Texas at Austin, USA http://www.cs.utexas.edu/~fkyang Volkan Patoglu Mechatronics Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://myweb.sabanciuniv.edu/vpatoglu/ Peter Schueller Computer Science Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://www.peterschueller.com/ From matthes at tum.de Wed Jun 5 18:54:26 2013 From: matthes at tum.de (Matthes, Florian) Date: Wed, 5 Jun 2013 16:54:26 +0000 Subject: [fg-arc] Aufruf zur Teilnahme: Jahrestreffen GI FG Architekturen 2013 - 1.-2.Juli 2013 in Kaiserslautern Message-ID: Jetzt registrieren, nur noch 4 Wochen bis zur Veranstaltung. Aufruf zur Teilnahme: Architekturen 2013 Architekturen f?r Smart Ecosystems Jahrestagung der GI-Fachgruppe Architekturen 1. und 2. Juli 2013 Kaiserslautern- Fraunhofer Zentrum Software Ecosystems integrieren Einzelsysteme zu einem funktionalen Ganzen, wobei die einzelnen Teilsysteme typischerweise von unterschiedlichen Organisationen entwickelt und betrieben werden. Smart werden Ecosystems, wenn sowohl Informationssysteme als auch eingebettete Systeme ?ber das Internet miteinander verbunden sind. Dieser Br?ckenschlag zwischen den Dom?nen erm?glicht neue, innovative Anwendungen, die ohne Vernetzung der Systeme nicht m?glich w?ren. Architekturen bilden das Fundament, auf dem die Struktur und das Verhalten von komplexen ?kosystemen definiert wird und sorgen f?r eine nachhaltige Integration der Systeme. Zu diesem Thema findet am 1. und 2. Juli 2013 die Jahrestagung der GI-Fachgruppe Architekturen im Fraunhofer-Zentrum in Kaiserslautern statt. Bei Architekturen 2013 erwartet Sie ein wissenschaftlich-technisches Programm mit einer abwechslungsreichen Themenmischung aus Wissen?schaft, Technologie?transfer und Industrie?beitr?gen zu verschiedenen Architekturthemen in der Informatik und Softwaretechnik. Montag, 1.7.2013 09.00-12.00 Arbeitskreis-Treffen: AK MDA Steffen Becker Universit?t Paderborn inkl. Kaffeepause 12.00-13.30 Mittagspause & Registrierung 13.30-13.45 Er?ffnung Peter Liggesmeyer TU Kaiserslautern/Fraunhofer IESE 13.45-14.30 Vielfalt minimalinvasiv integrieren Heinz Z?llighoven Universit?t Hamburg 14.30-15.00 Herausforderungen und L?sungsans?tze eines App-basierten ?kosystems f?r Landmaschinen Michael H?h John Deere 15.00-15.30 Kaffeepause 15.30-16.15 Applikationsentwurf f?r die Cloud: Ziele, Ans?tze und L?sungsmuster Dirk Muthig Lufthansa Systems 16.15-16.45 Architekturmanagement in einem Versicherungsunternehmen Stefan Georg Cosmos Direkt 16:45-17:15 Software Architekt als Berufsbezeichnung Wolfgang Fahl iSAQB 17.15-18.15 Sitzung der Fachgruppe Architekturen Florian Matthes, Matthias Riebisch TU M?nchen, Universit?t Hamburg 19.00-23:00 Social Event Dienstag, 2.7.2013 08.30-09.00 System- und Softwarearchitekturen f?r Pr?fsysteme Christian Allmann Audi 09.00-09.30 Ein h-Index zur Messung von Software-Komplexit?t? Oliver Hummel KIT 09.30-10.00 Titel steht noch nicht fest Ottmar Bender Cassidian 10.00-10.30 Kaffeepause 10.30-11.00 Architekturen f?r Smart Ecosystems Jens Knodel Fraunhofer IESE 11.00-11.30 Erfahrungen aus dem Aufbau einer Mobile Architektur bei Finanzinformatik Matthias Tenhaeff Sparkasse Finanzinformatik 11.30-12.00 Towards the Automation Cloud: Architectural Challenges for a Novel Smart Ecosystem Heiko Koziolek ABB 12.00-12.15 Abschluss Jahrestagung Thorsten Keuler, Jens Knodel, Matthias Naab Fraunhofer IESE 12.15-13.30 Mittagspause 13.30-17.00 Arbeitskreis-Treffen ? Traceability & Evolution ? AK Langlebige technische Systeme Matthias Riebisch Detlef Streitferdt Universit?t Hamburg, TU Illmenau Weitere Informationen (Abendprogramm, Hotels) und das Formular zur Anmeldung finden Sie auf der Webseite http://www.iese.fraunhofer.de/de/veranstaltungen_messen/architekturen2013.html -- Prof. Dr. Florian Matthes Technische Universit?t M?nchen, Lehrstuhl f?r Informatik 19 (sebis) Software Engineering betrieblicher Informationssysteme Fakult?t f?r Informatik Boltzmannstrasse 3, D-85748 Garching bei M?nchen T +49 89 289 - 17132 F +49 89 289 - 17136 matthes at in.tum.de http://wwwmatthes.in.tum.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From Pieter.Philippaerts at cs.kuleuven.be Fri Jun 7 16:36:34 2013 From: Pieter.Philippaerts at cs.kuleuven.be (Pieter Philippaerts) Date: Fri, 7 Jun 2013 16:36:34 +0200 Subject: [fg-arc] CFP: International Symposium on Engineering Secure Software and Systems (ESSoS'14) Message-ID: <003301ce638c$690130a0$3b0391e0$@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 pmt6sbc at maths.leeds.ac.uk Mon Jun 10 19:36:35 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 10 Jun 2013 18:36:35 +0100 (BST) Subject: [fg-arc] Book announcement: ALAN TURING - His Work and Impact Message-ID: <201306101736.r5AHaZt9028673@maths.leeds.ac.uk> ************************************************************************ New book announcement: "ALAN TURING: His Work and Impact" - edited by S. Barry Cooper and Jan van Leeuwen http://store.elsevier.com/product.jsp?isbn=9780123869807 "The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine." -TIME Magazine In one accessible volume, this book presents the most significant original works from the 4-volume set of A.M Turing's collected works, along with key commentary from over 70 great scholarly leaders in the field, providing interested readers with unique insight into the context and significance of Turing's impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. This remarkable volume is an essential addition to any library, private or institutional. * See below for an engrossing article from Elsevier Connect on the book and its genesis: - New book spotlights Alan Turing, Nazi code-breaker and 'father of computer science' - Turing's work has influenced scholars in many fields; Editor Barry Cooper talks about compiling their commentary along with Turing's writing http://elsevierconnect.com/new-book-spotlights-alan-turing-nazi-code-breaker-and-father-of-computer-science/ http://bit.ly/11qVF66 ************************************************************************ From zimmer at informatik.uni-halle.de Fri Jun 14 16:34:51 2013 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Fri, 14 Jun 2013 16:34:51 +0200 Subject: [fg-arc] Call for Contributions: ESOCC 2013 PhD Symposium Message-ID: <51BB2A0B.4040308@informatik.uni-halle.de> The ESOCC 2013 PhD Symposium is an international forum for PhD students working in any of the areas addressed by the ESOCC conference (http://esocc2013.lcc.uma.es). The main aim of the Symposium is to give PhD students an opportunity to present their research activity and perspectives, to critically discuss them with other PhD students and with established researchers in the area, and to get fruitful feedback and advices on their research activity. PhD students working in any area addressed by the ESOCC conference can submit a short report providing a clear statement of the problem they intend to address, motivating the interest and novelty of the underlying research challenges, demonstrating the ideas by examples, and describing the proposed research plan and expected results. Reports should not exceed 6 pages formatted according to the LNCS proceedings guidelines. The papers should be authored by the PhD student and indicate the name of her/his supervisor. Submissions must be sent by email to the symposium chair Wolf Zimmermann (wolf.zimmermann at informatik.uni-halle.de ). Deadline for Submission: June 30, 2013 (Attention: New Deadline) Notification of Acceptance: July 19, 2013 Final Paper due: August 15, 2013 Programme Committee Antonio Brogi (University of Pisa, Italy) Rik Eshuis (Technical University of Eindhoven, Netherlands) Thomas Gschwind (IBM Zurich Research Lab, Switzerland) Birgitta K?nig-Ries (University of Jena, Germany) Welf L?we (Linneaus University, V?xj?, Sweden) Claus Pahl (Dublin City University, Ireland) George A. Papadopoulos (University of Cyprus, Cyprus) Cesare Pautoso (University of Lugano, Switzerland) Ulf Schreier (Furtwangen University of Applied Science, Germany) Massimo Villary (University of Messina, Italy) Wolf Zimmermann (University of Halle, Germany, Chair) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ndragan at cs.kent.edu Sat Jun 15 03:03:03 2013 From: ndragan at cs.kent.edu (Natalia Dragan) Date: Fri, 14 Jun 2013 21:03:03 -0400 Subject: [fg-arc] Call for Papers - IEEE International Workshop on Communicating Business Process and Software Models (CPSM 2013) co-located with ICSM 2013 Message-ID: <51BBBD47.4000601@cs.kent.edu> *Call for Papers * for the 1st IEEE International Workshop on *Communicating Business Process and Software Models * Quality, Understandability, and Maintainability (CPSM 2013) on *September 23, 2013 *in *Eindhoven, the Netherlands * in conjunction with the 29th International Conference on Software Maintenance (ICSM) Eindhoven, the Netherlands, 22-28 September 2013. *Important Dates * *Submission: *Friday, June 21st, 2013 *Notification: *Tuesday, July 16th, 2013 *Camera-ready: *Tuesday, July 30th, 2013 *Workshop: *September 23rd, 2013 http://www.win.tue.nl/cpsm2013/ In recent years, the fact that models are a means for communication gained more attention in research on process modeling and software modeling. Both communities discuss issues related to models, modeling languages, and their use and perception, such as model understandability, complexity of modeling languages, actual usage of language features, cognitive aspects, human perception and subjective perspectives on models, and related issues. These topics are extremely important for the adaption of modeling languages in practice, yet the attention from the research community is still limited. The CPSM 2013 workshop shall provide a forum for researchers and practitioners actively working on quality, usability and maintainability of software and process models. The workshop supports the exchange of ideas, challenges, and insights from two similar domains with the aim of raising awareness of the important "soft skills" of modeling languages. The workshop will give room to present research results, position papers, case studies and share experiences and ideas in panel discussions. *Relevant topics are * - Business process model quality metrics - Business process maintainability - Business process evolution - Business process modeling styles - Business process modeling patterns and anti-patterns - Business process comprehension - Relation between business process models and software / system models - Software model maintainability - Software model evolution and tracking - Software model and implementation alignment - Software model comprehension - Roles and expertise different modeling activities - Empirical studies on understandability of business processes and software models - Empirical studies on quality of business process and software models - Industrial cases on communication and understandability of process and software models We invite full papers that describe consolidated research results or case studies, as well as short papers outlining researches still in progress or position papers. Submissions will be assessed based on their novelty, relevance, empirical evidence, scientific quality, readability, comparison with existing and related works, and the extent to which the paper allows to build bridges between the different domains of process modeling and software engineering. We specifically want to encourage early results. *Format of the Workshop and Proceedings * The workshop will comprise presentations of accepted papers and keynotes from experienced researchers and practitioners. Moreover, we will organize moderated discussions on hot topics that were raised in the different communities and emerged from the workshop submissions. All accepted papers will be published as *IEEE Workshop Proceedings*. As this volume will appear after the conference, there will be informal proceedings during the workshop. At least one author for each accepted paper must register for the workshop and present the paper. *Paper Submission * Prospective authors are invited to submit papers for presentation in any of the areas listed above. Only papers in English will be accepted. Different paper types are distinguished. Length of full papers (completed research or case study) must not exceed 10 pages. Short papers (work in progress or positions paper) should be no longer than 4 pages. Papers should be submitted in the IEEE style in PDF format, templates are available at https://www.ieee.org/conferences_events/conferences/publishing/templates.html. Papers have to present original research contributions not concurrently submitted elsewhere. The title page must contain a short abstract, a classification of the topics covered, preferably using the list of topics above, and an indication of the submission category (full paper | case study | work in progress | position paper). Papers should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=cpsm2013 *Workshop Website * http://www.win.tue.nl/cpsm2013/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ieee_cpsm_2013_call_for_papers.pdf Type: application/pdf Size: 225903 bytes Desc: not available URL: From langer at big.tuwien.ac.at Fri Jun 14 09:02:37 2013 From: langer at big.tuwien.ac.at (Philip Langer) Date: Fri, 14 Jun 2013 09:02:37 +0200 Subject: [fg-arc] Call for Papers -- 1st International Workshop on MDE By Example @ MODELS'13 Message-ID: <51BAC00D.2070304@big.tuwien.ac.at> ******************* Apologies for multiple postings ****************** C A L L F O R P A P E R S MDEBE 2013 1st International Workshop on Model Driven Engineering By Example September 29, 2013, Miami, USA http://www.mdebe.com ********************************************************************** Examples play a key role in the human learning process. There exist numerous theories on learning styles in which examples are used. Thus, the idea of using examples to derive programs has a long tradition in computer science. Like many other domains of software engineering, the model-driven engineering (MDE) community is currently concerned with the use of examples, such as traceability information and different kind of models, to search for solutions that fall within a specified acceptance margin to solve different problems. Much work has been proposed based on learning from examples such as for model transformation, model evolution, model analysis, and model testing. Applying example-based techniques to complex MDE problems necessitates expertise in both, search-based optimization/machine learning algorithms and MDE formalisms and techniques. Suggested topics of interest areas include but are not limited to: * Machine learning applied to MDE * Search-based techniques applied to MDE * The use of traceability information to solve MDE problems * Benchmarking of example-based techniques applied in MDE * Prediction models for MDE problems * New MDE problems that have not been tackled by MDEBE approaches * Learning from model repositories * Solving case studies by applying by-example approaches We invite submissions of technical full papers of up to 10 pages long in Springer LNCS, Short/Position papers of up to 6 pages to briefly present research results or ongoing work, and demo papers of up to 3 pages to present new by example tools. **** PUBLISHING **** MDEBE is seeking original papers, which have not been submitted elsewhere. The proceedings will be published in CEUR and indexed by DBLP. **** ORGANIZATION **** Marouane Kessentini (University of Michigian, USA) Philip Langer (TU Wien, Austria) Houari Sahraoui (Univeristy of Montreal, Canada) **** IMPORTANT DATES **** * Jul 15, 2013 : Paper Submission * Aug 23, 2013 : Notification * Sep 29, 2013 : Workshop **** CONTACT **** Web : http://www.mdebe.com Follow us on twitter: @MDEBEWorkshop From steffen.becker at uni-paderborn.de Sat Jun 29 07:04:14 2013 From: steffen.becker at uni-paderborn.de (Steffen Becker) Date: Sat, 29 Jun 2013 07:04:14 +0200 Subject: [fg-arc] Treffen des AK MDA am Rand der Jahrestagung Architekturen in Kaiserslautern, Montag, 1.7. In-Reply-To: <51934D1A.7040907@uni-paderborn.de> References: <51934D1A.7040907@uni-paderborn.de> Message-ID: <51CE6ACE.4050700@uni-paderborn.de> Liebe Mitglieder des AK MDA, wie bereits am 15.5. (s. unten) angek?ndigt, trifft sich der AK MDA am 1.7. in Kaiserslautern am Rand der Jahrestagung Architekturen. Hierzu noch letzte Informationen. Das Treffen beginnt am Montag, den 1.7. um 9.00 mit einer Einleitung und Begr??ung. Anschlie?end konnten wir einen Fachvortrag von Thomas Goldschmidt von ABB Research zu konkreten, textuellen Syntaxen gewinnen. Nach einer Pause von ca. 10.00 bis 10.30 ist anschlie?end ein Fishbowl Panel geplant, das die Frage der Diskrepanz zwischen MDSD in Lehre und Praxis diskutieren soll. Nach dem AK Treffen besteht dann nat?rlich die M?glichkeit dann am Fachgruppentreffen teilzunehmen. Wer gerne noch am Sonntag abend auf ein Bier dazu kommen mag, kann sich gerne noch bei mir kurzfrisitg per Mail melden. Viele Gr??e Steffen Becker Am 15.05.13 10:53, schrieb Steffen Becker: > Liebe Mitglieder des AK MDA, > > am 1. - 2.7. findet in Kaiserslautern die diesj?hrige Fachtagung der GI > FG Architekturen statt. Die Ank?ndigung kam ja gestern bereits ?ber den > AK MDA Verteiler. > > Dazu schon mal die Vorabank?ndigung, dass sich auch der AK MDA am Rand > der Fachtagung treffen wird. Bitte dies bei der Reiseplanung > ber?cksichtigen. > > Unser Treffen ist am Montag den 1.7. morgens eingeplant. Aktuell haben > wir einen Fachvortrag vorgesehen und eine Paneldiskussion zum Thema > "Diskrepanz zwischen MDSD Lehre und Praxis". Die Diskussion soll durch > das Papier von J. Whittle et al. "Mismatches between Industry Practice > and Teaching of Model-Driven Software Development" inspiriert sein. > > Zur Anmeldung w?re es gut, eine kurze Mail an mich zu senden. > > Viele Gr??e > Steffen Becker > > -- Jun.-Prof. Dr.-Ing. Steffen Becker University of Paderborn Phone: (+49 5251) 60-3320 Heinz Nixdorf Institute Fax: (+49 5251) 60-3530 & Department of Computer Science Office: ZM1.02-10 Software Engineering Research Group E-Mail: steffen.becker at upb.de Zukunftsmeile 1 33102 Paderborn Germany