From reussner at ipd.uka.de Tue Oct 1 10:30:43 2013 From: reussner at ipd.uka.de (Ralf Reussner) Date: Tue, 01 Oct 2013 10:30:43 +0200 Subject: [fg-arc] =?iso-8859-15?q?Aufruf_f=FCr_Beitr=E4ge_zum_Technologiet?= =?iso-8859-15?q?ransferprogramm_der_SE_2014?= Message-ID: <524A8833.2030602@ipd.uka.de> *Aufruf f?r Beitr?ge zum Technologietransferprogramm * pdficon_largeals pdf herunterladen Eine Besonderheit der universit?ren Informatik-Forschung in Deutschland ist der rege Austausch mit der Industrie. Beispielsweise kooperieren viele Lehrst?hle der Software-Technik an Universit?ten mit Firmen; Fraunhofer-Institute sowie Institute verschiedener Bundesl?nder widmen sich dem Technologie-Transfer. Dies geschieht zum wechselseitigen Nutzen: dem Transfer von neuestem Wissen steht im Austausch ein besserer Verst?ndnis von Randbedingungen des industriellen Einsatzes neuer Methoden, M?glichkeiten zur Real-Welt-Validierung von neuen Ans?tzen sowie die Kenntnis aktueller wirklicher Herausforderungen gegen?ber, die f?r die weitere Grundlagenforschung sinnvoll eingebracht werden k?nnen. Daher m?chte sich das Technologietransferprogramm der SE 2014 dediziert dem Austausch der Erfahrungen im Technologie-Transfer von Software-Technik-Forschung widmen. *Einreichungen* Konkret werden Beitr?ge erbeten, die * generalisierbares Wissen aus Technologietransferprojekten berichten, * negative Erfahrungen dokumentieren (welche Ans?tze waren wider Erwarten schlecht umsetzbar?), * ?ber neue Organisationsformen von Technologie-Transfer(LivingLabs, Offene Innovationsplattformen, etc.) berichten, * berichten, wie Software-Technik-Innovation allgemein verst?ndlich dargestellt wurde, * ?ber Software-Technik im Verbund mit Anwendungsgebieten (z.B. Energie, Mobilit?t, Gesundheit) berichten. Beitr?ge sollten ?ber reine Projektverlaufsberichte hinausgehen und die gemachten Erfahrungen explizit darstellen sowie ggf. neue Hypothesen f?r die Forschung ableiten. Beitr?ge sollten bis zu 6 Seiten im LNI-Format umfassen. Akzeptierte Beitr?ge werden in den Tagungsband der SE 2014 aufgenommen. Es wird erwartet, dass sich bei Annahme mindestens ein Autor/eine Autorin als Teilnehmer zur Konferenz registriert und dort vortr?gt. *Wichtige Daten* Einreichung von Abstracts: bis 04. Oktober 2013 Einreichung von Beitr?gen: bis 11. Oktober 2013 Benachrichtigung: bis 16. November 2013 Beitr?ge f?r den Tagungsband: bis 1. Dezember 2013 *Nutzen Sie f?r die Einreichung diese Webseite: Easychair-Konferenzverwaltungssystem zum SE Technologietransferprogramm 2014. * *Programm-Komitee* Ralf Reussner, KIT / FZI (Vorsitz) Gregor Engels, s-lab / c-lab, Paderborn Wilhelm Hasselbring, KoSSE, Kiel Stefan J?hnichen, FZI, Berlin Rainer Koschke, TZI, Bremen Martin Leucker, KoSSE, L?beck Peter Loos, DFKI, Saarbr?cken Alexander Pretschner, TU M?nchen Dieter Rombach, Fraunhofer IESE, Kaiserslautern Bernhard Rumpe, RWTH Aachen Heinz Z?llighoven, Universit?t Hamburg -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) and Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Software Design and Quality: reussner at kit.edu FZI: Executive: reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu / http://www.fzi.de KIT -- University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association -------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: pdficon_large.png Type: image/png Size: 1397 bytes Desc: not available URL: From reussner at ipd.uka.de Mon Oct 7 08:17:08 2013 From: reussner at ipd.uka.de (Ralf Reussner) Date: Mon, 07 Oct 2013 08:17:08 +0200 Subject: [fg-arc] =?iso-8859-15?q?Fristverl=E4ngerung_Einreichungen_Techno?= =?iso-8859-15?q?logietransferprogramm_der_SE_2014?= Message-ID: <525251E4.9040606@ipd.uka.de> Sehr geehrte Kolleginnen und Kollegen, aufgrund zahlreicher Nachfragen werden die Einreichefristen f?r das Technologietransferprogramm bei der SE 2014 um eine Woche verl?ngert. (Abstratcs also bis 11.10., Artikel bis 18.10.). Anbei der aktualisierte Aufruf zur Einreichung. Beste Gr??e Ralf Reussner Technologietransferprogramm *Aufruf f?r Beitr?ge zum Technologietransferprogramm * pdficon_largeals pdf herunterladen Eine Besonderheit der universit?ren Informatik-Forschung in Deutschland ist der rege Austausch mit der Industrie. Beispielsweise kooperieren viele Lehrst?hle der Software-Technik an Universit?ten mit Firmen; Fraunhofer-Institute sowie Institute verschiedener Bundesl?nder widmen sich dem Technologie-Transfer. Dies geschieht zum wechselseitigen Nutzen: dem Transfer von neuestem Wissen steht im Austausch ein besserer Verst?ndnis von Randbedingungen des industriellen Einsatzes neuer Methoden, M?glichkeiten zur Real-Welt-Validierung von neuen Ans?tzen sowie die Kenntnis aktueller wirklicher Herausforderungen gegen?ber, die f?r die weitere Grundlagenforschung sinnvoll eingebracht werden k?nnen. Daher m?chte sich das Technologietransferprogramm der SE 2014 dediziert dem Austausch der Erfahrungen im Technologie-Transfer von Software-Technik-Forschung widmen. *Einreichungen* Konkret werden Beitr?ge erbeten, die * generalisierbares Wissen aus Technologietransferprojekten berichten, * negative Erfahrungen dokumentieren (welche Ans?tze waren wider Erwarten schlecht umsetzbar?), * ?ber neue Organisationsformen von Technologie-Transfer(LivingLabs, Offene Innovationsplattformen, etc.) berichten, * berichten, wie Software-Technik-Innovation allgemein verst?ndlich dargestellt wurde, * ?ber Software-Technik im Verbund mit Anwendungsgebieten (z.B. Energie, Mobilit?t, Gesundheit) berichten. Beitr?ge sollten ?ber reine Projektverlaufsberichte hinausgehen und die gemachten Erfahrungen explizit darstellen sowie ggf. neue Hypothesen f?r die Forschung ableiten. Beitr?ge sollten bis zu 6 Seiten im LNI-Format umfassen. Akzeptierte Beitr?ge werden in den Tagungsband der SE 2014 aufgenommen. Es wird erwartet, dass sich bei Annahme mindestens ein Autor/eine Autorin als Teilnehmer zur Konferenz registriert und dort vortr?gt. *Wichtige Daten* Einreichung von Abstracts: bis 11. Oktober 2013 Einreichung von Beitr?gen: bis 18. Oktober 2013 Benachrichtigung: bis 16. November 2013 Beitr?ge f?r den Tagungsband: bis 1. Dezember 2013 *Nutzen Sie f?r die Einreichung diese Webseite: Easychair-Konferenzverwaltungssystem zum SE Technologietransferprogramm 2014. * -- -------------------------------------------------------------- Karlsruhe Institute of Technology (KIT) and Forschungszentrum Informatik (FZI) Prof. Dr. Ralf H. Reussner KIT: Chair Software Design and Quality: reussner at kit.edu FZI: Executive: reussner at fzi.de Am Fasanengarten 5, Building 50.34, Room 328 D-76131 Karlsruhe GERMANY Phone: +49 721 608-45993 Fax: +49 721 608-45990 http://sdq.ipd.kit.edu / http://www.fzi.de KIT -- University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association -------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: pdficon_large.png Type: image/png Size: 1397 bytes Desc: not available URL: From jeremy.gibbons at cs.ox.ac.uk Sun Oct 13 21:29:06 2013 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Sun, 13 Oct 2013 20:29:06 +0100 Subject: [fg-arc] Call for Talk Proposals: Data-Centric Programming, San Diego, Jan 2014 Message-ID: <7B370B19-B417-46D4-BA5D-759871A5B012@cs.ox.ac.uk> ACM SIGPLAN Workshop on Data-Centric Programming 2014 ----------------------------------------------------- Colocated with POPL, January 25, 2014 | San Diego, USA http://research.microsoft.com/DCP2014 Submission: November 18, 2013 Notification: December 2, 2013 We're very pleased to announce DCP 2014, an exciting workshop which builds on the success of the Data-Driven Functional Programming (DDFP) workshop at POPL 2013. This workshop is for anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to the workshop - whatever your flavor of data, whatever your flavor of data-centric programming. We want this to be a great event that opens up opportunities at the intersection of data and programming. Functional programming techniques are increasingly important in data-centric programming: languages like Haskell, Scala, and C# draw heavily on a range of functional techniques and find application in numerous data-driven domains; paradigms like map/reduce and its extensions lie at the core of modern scalable data processing; and "information-rich" languages like Ur, F#, and Gosu use meta-programming to integrate type-safe queries, web-based APIs, and scalable data sources - along with associated semantically-rich metadata - into the programming language. In principle, the expressiveness, strong typing, and core functional paradigm of these languages make them an ideal choice for expressing robust and scalable data-centric programming. On the other end, the web of data is growing at an enormous pace, with few dedicated software applications capable of dealing efficiently in information-rich spaces. Reasons for that include one (or more) of the following research issues: lack of integrated development environments (IDEs, such as Visual Studio and Eclipse), poor programming language support, lack of standard testbeds and/or benchmarks, inadequate training, and perhaps the need for curriculum revision. Properly addressing these issues requires interdisciplinary skills, and the collaboration between academia and industry. Many challenges remain. Workshop Goals -------------- This workshop invites submissions that explore the gap between today's data management challenges, particularly the ones related to dealing with large amounts of semantically rich data, and the lack of adequate tools. We are looking for contributions that discuss, promote and further advance the programming of semantically-rich data including the development of new languages, extension of existing ones, and the inclusion of semantic-enabled capabilities into existing IDEs. In this forum, we will discuss, promote, and advance the use of data-centric programming in information-rich data spaces - including the development of new programming and data-manipulation systems as well as the extension of existing ones. By devising methods for handling data from the programming level, we can promote the research and development of better data-centric programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing. Talk Proposals -------------- We want DCP to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on the workshop website. We invite proposals for talks in any area related to the connection between programming and data, including, but not limited to: * Formal systems that capture the essential theoretical elements of data-centric programming * Experimental systems that demonstrate novel data-centric programming techniques * Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs * Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data * Programming-related aspects of knowledge representation techniques including database theory, ontology techniques, and linked data * Impact of specific application areas (e.g. e-science, e-gov, sensors) on information-rich application design * Data exploration and visualization * Evaluation of data quality * Plugins and IDEs for information-rich application development * Cleaning and provenance of data, services, and processes Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address dcp.2014 at lambda-calcul.us . We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format. We plan to allocate 30-minute talk slots; but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. Organization ------------ Program Chairs Jeremy Gibbons, University of Oxford, United Kingdom Evelyne Viegas, Microsoft Research, United States Program Committee (others to be confirmed) Soren Auer, University of Leipzig, Germany Nate Foster, Cornell University, United States Juliana Freire, Polytechnic Institute of New York University, United States Erik Meijer, Applied Duality, United States Steffen Staab, University of Koblenz, Germany Don Syme, Microsoft Research Cambridge, United Kingdom Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ From neha.s.rungta at nasa.gov Fri Oct 18 01:42:42 2013 From: neha.s.rungta at nasa.gov (Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]) Date: Thu, 17 Oct 2013 23:42:42 +0000 Subject: [fg-arc] [fm-announcements] Call for papers: AAAI Symposium on formal verification in HMI Message-ID: <2D9687A1-DB1F-442D-B722-32978E24B4A7@nasa.gov> The deadline for submissions to the AAAI Spring Symposium on formal verification in human-machine systems has been changed to Oct 22. http://faculty.cs.byu.edu/~mike/mikeg/WORKSHOP/cfp.html The goal of the workshop is to bring together the fields of formal verification, cognitive modeling, and task analysis to study the design and verification of real human-machine systems. We solicit papers describing original work either in-progress or finished, position papers or extended abstracts describing research or positions in any of the aforementioned topics or at the intersections of these topics. Papers should follow the AAAI formatting, with a page-limit of 6 pages. Proceedings of the symposium will be published by AAAI as a CD, distributed at the symposium. Selected papers will be invited to submit extended versions of their contributions for review in a follow-on special issue of the IEEE Transactions on Human-Machine Systems dedicated to the same topic. Important Dates Oct 22, 2013: Submission deadline Dec 10, 2013: Notification of acceptance/rejection Jan 10, 2014: Camera-ready papers due Mar 1, 2014: Registration deadline March 24-26, 2014: Symposium -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From Kristin.Y.Rozier at nasa.gov Thu Oct 17 15:29:11 2013 From: Kristin.Y.Rozier at nasa.gov (Kristin Yvonne Rozier) Date: Thu, 17 Oct 2013 13:29:11 -0000 Subject: [fg-arc] [fm-announcements] Call for Papers: NFM 2014 Message-ID: <524A267A.2080208@nasa.gov> ************************************************** The Sixth NASA Formal Methods Symposium http://www.NASAFormalMethods.org/ 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA ************************************************** Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in safety-critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages carrying throughout system development. Topics of Interest: ------------------- * Model checking * Theorem proving * Static analysis * Model-based development * Runtime monitoring * Formal approaches to fault tolerance * Applications of formal methods to aerospace systems * Formal analysis of cyber-physical systems, including hybrid and embedded systems * Formal methods in systems engineering, modeling, requirements, and specifications * Requirements generation, specification debugging, formal validation of specifications * Use of formal methods in safety cases * Use of formal methods in human-machine interaction analysis * Formal methods for parallel hardware implementations * Use of formal methods in automated software engineering and testing * Correct-by-design, design for verification, and property-based design techniques * Techniques and algorithms for scaling formal methods; e.g. abstraction and symbolic methods, compositional techniques, parallel and distributed techniques * Application of formal methods to emerging technologies Important Dates: ---------------- Abstract Submission: 14 Nov 2013 Paper Submission: 21 Nov 2013 Paper Notifications: 14 Jan 2014 Camera-ready Papers: 11 Feb 2014 Symposium: 29 April - 1 May 2014 Location & Cost: ---------------- The symposium will take place at the Gilruth Center, NASA Johnson Space Center, Houston, Texas, USA, 29 April to 1 May 2013. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. Submission Details: ------------------- There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (15 pages) 2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer's Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. Keynote Speakers: ----------------- * Larry Paulson, University of Cambridge, UK * Moshe Y. Vardi, Rice University, USA * Special Guest Talk: "NASA Future Challenges in Formal Methods" by Bill McAllister, Chief, Safety and Mission Assurance, International Space Station Safety Panels, Avionics and Software Branch Panel Feature: "Future Directions of Specifications for Formal Methods" ----------------------------------------------------------------------- Specifications are required for all applications of formal methods yet extracting specifications for real-life safety critical systems often proves to be a huge bottleneck or even an insurmountable hurdle to the application of formal methods in practice. This is the state for safety-critical systems today and as these systems grow more complex, more pervasive, and more powerful in the future, there is not a clear path even for maintaining the bleak status quo. Therefore, we propose highlighting this issue in the home of an important critical system, the Mission Control Center of NASA's most famous critical systems, and asking our panelists where we can go from here. Organizers: ----------- Mike Hinchey (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Program Committee: ------------------ Domagoj Babic, Google Research, USA Calin Belta, Boston University, USA Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Jonathan P. Bowen, Museophile Limited, UK Guillaume Brat, CMU/NASA Ames Research Center, USA Gianfranco Ciardo, Iowa State University, USA Frederic Dadeau, FEMTO-ST/INRIA, France Ewen Denney, SGT/NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA James Disbrow, NASA Dryden Flight Research Center, USA Steven Drager, Air Force Research Laboratory, USA Alexandre Duret-Lutz, LRDE/EPITA, France Cindy Eisner, IBM Research-Haifa, Israel ?ric F?ron, Georgia Institute of Technology, USA Shalini Ghosh, SRI, USA Alwyn Goodloe, NASA Langley Research Center, USA Arie Gurfinkel, Carnegie Mellon University Software Engineering Institute, USA John Harrison, Intel Corporation, USA Klaus Havelund, NASA/Jet Propulsion Laboratory, USA Connie Heitmeyer, Naval Research Laboratory, USA Gerard Holzmann, NASA/Jet Propulsion Laboratory, USA Hadas Kress-Gazit, Cornell University, USA Joe Leslie-Hurd, Intel Corporation, USA David R. Lester, University of Manchester, UK Kenneth McMillan, Microsoft Research, USA Steven Miller, Rockwell Collins, USA Sheena Judson Miller, Barrios Technology/NASA Johnson Space Center, USA Cesar Munoz, NASA Langley Research Center, USA Suzette Person, NASA Langley Research Center, USA Lee Pike, Galois, Inc., USA Andr? Platzer, Carnegie Mellon University, USA Neha Rungta, NASA Ames Research Center, USA Johann Schumann, SGT/NASA Ames Research Center, USA Cristina Seceleanu, M?lardalen University, Sweden Sandeep K. Shukla, Virginia Tech, USA Radu Siminiceanu Oksana Tkachuk, NASA Ames Research Center, USA Stefano Tonetta, FBK-irst, Italy Helmut Veith, Vienna University of Technology, Austria Arnaud Venet, CMU/NASA Ames Research Center, USA Mike Whalen, University of Minnesota Software Engineering Center, USA Nok Wongpiromsarn, Singapore-MIT Alliance for Research and Technology, Singapore Karen Yorav, IBM Haifa Research Lab, Israel Steering Committee: ------------------- Ewen Denney, SGT/NASA Ames Ben Di Vito, NASA Langley Klaus Havelund, NASA/JPL Gerard Holzmann, NASA/JPL Cesar Munoz, NASA Langley Corina Pasareanu, CMU/NASA Ames Suzette Person, NASA Langley Kristin Y. Rozier, NASA Ames -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From pmt6sbc at maths.leeds.ac.uk Mon Oct 21 05:26:27 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 21 Oct 2013 04:26:27 +0100 (BST) Subject: [fg-arc] TAMC2014 in Chennai, India, April 11-13, 2014 Message-ID: <201310210326.r9L3QRC8029221@maths.leeds.ac.uk> ********************************************************************** CALL FOR PAPERS: 11th Annual Conference on Theory and Applications of Models of Computation [TAMC 2014] 11- 13 April 2014 Vivekananda Auditorium, Anna University, Chennai, India http://www.annauniv.edu/tamc2014/ Important Dates: Submission Deadline: 15 November 2013, 11:59pm EST. Notification of Acceptance: 15 December 2013 Final Camera Ready Version Due: 15 January 2014 Proceedings: Springer Lecture Notes in Computer Science ********************************************************************** Scope and Topics TAMC 2014 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory. Typical but not exclusive topics of interest include: algebraic computation algorithmic coding theory algorithmic number theory approximation algorithms automata theory circuit complexity combinatorial algorithms computability computational biology, and biological computing computational complexity [including circuits, communication, derandomization, PCPs, proof complexity, structural complexity] computational game theory computational logic computational geometry continuous and real computation cryptography data structures design and analysis of algorithms distributed algorithms domain models [Assets, Price of Abstraction, frameworks] fixed parameter tractability geometric algorithms graph algorithms information and communication complexity learning theory memory hierarchy tradeoffs model theory for computing [modal and temporal logics, specification, verification, synthesis or automated software construction, aesthetics, software behavior, transformation of models] natural computation nature inspired computing network algorithms networks in nature and society online algorithms optimization parallel algorithms philosophy of computing [emerging paradigms, morality, intentionality] privacy and security property testing proof complexity process models [for software construction, validating software under construction, supply - chain] quantum computing randomness, pseudo-randomness randomized algorithms space - time tradeoffs streaming algorithms systems theory [Concurrent, Timed, Hybrid and Secure systems] VLSI Models of Computation [Models for Hardware - Software Codesign] Paper Submission The format of the papers should confirm to the ACM Guidelines (option 2) available at: http://www.acm.org/sigs/publications/proceedings-templates For submitting your papers, please visit: http://senldogo0039.springer-sbm.com/ocs/home/TAMC2014 Steering Committee Manindra Agrawal (Indian Institute of Technology, Kanpur, India) Jin-Yi Cai (University of Wisconsin - Madison, USA) S. Barry Cooper (University of Leeds, Leeds, UK) John Hopcroft (Cornell University) Angsheng Li (Chinese Academy of Sciences) Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences) Programme Committee Aaron D. Jaggard,U.S. Naval Research Laboratory, USA Ajith Abraham, Machine Intelligence Research Labs (MIR Labs), USA Bakhadyr Khoussainov, University of Auckland, New Zealand Carlo Alberto Furia, ETH Zurich, Switzerland Chaitanya K Baru, University of California, San Diego, USA Christel Baier, Technische Universitat Dresden, Germany Cristian S. Calude, University of Auckland, New Zealand Dimitris Fotakis, National Technical University of Athens, Greece Dipti Deodhare, Centre for Artificial Intelligence and Robotics (CAIR),India Hongan Wang, State Key Laboratory for Computer Science (LCS), China Jacques Sakarovitch, Ecole nationale superieure des telecommunications, France & Chair: International Federation for Information Processing (IFIP) TC-1-Foundations of Computer Science Jianxin Wang, Central South University (CSU), China Jose R. Correa, Universidad de Chile, Chile Kamal Lodaya, Institute of Mathematical Sciences, India Kazuhisa Makino, University of Tokyo, Japan R Nadarajan, PSG College of Technology, India Y Narahari, Indian Institute of Science, India Naijun Zhan, State Key Laboratory for Computer Science (LCS), China Navin Goyal, Microsoft Research, India Pan Peng, Institute of Software, Chinese Academy of Sciences, China C Pandurangan, Indian Institute of Technology, Madras, India Rajagopal Srinivasan,Tata Consultancy Services,India Rajeeva Karandikar, Chennai Mathematical Institute, India Richard Banach, University of Manchester, UK R K Shyamasundar, Tata Institute of Fundamental Research (TIFR), India Somenath Biswas, Indian Institute of Technology, Kanpur, India Toshihiro Fujito,Toyohashi University of Technology, Japan Venkat Chakaravarthy, IBM Research, India Vincent Duffy, Purdue University, USA Wenhui Zhang, State Key Laboratory of Computer Science, China Xiaoming Sun, Institute of Computing Technology, China Academy of Sciences, China For any further Clarifications, please contact: Dr. T V Gopal Conference Chair - TAMC 2014 & Professor Department of Computer Science and Engineering College of Engineering Anna University Chennai - 600 025, INDIA E-mail: gopal at annauniv.edu ; gayamadhgop at hotmail.com Ph : (Off) 22351723 Extn. 3340 ; (Res) 24454753 http://www.csi-india.org/web/software/home ********************************************************************** From riebisch at informatik.uni-hamburg.de Fri Oct 25 13:26:22 2013 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Fri, 25 Oct 2013 11:26:22 +0000 Subject: [fg-arc] Einladung zu GI-Workshop 11.11. Dortmund "Entscheidungsfindung und Konsistenz bei Evolution von Systemen und Software" Message-ID: Einladung zum n?chsten Workshop dieses Arbeitskreises Traceability / Evolution der Fachgruppe Architekturen der GI "Entscheidungsfindung und Konsistenz bei Evolution von Systemen und Software" Der n?chste Workshop kn?pft inhaltlich an den vorhergehenden Workshop "Konsistenz w?hrend Evolution" an. Zur Teilnahme sind alle Mitgleider des Arbeitskreises sowie alle weiteren Interessenten herzlich eingeladen. Der Workshop ist durch ein starkes Mass an Interaktion und wenig Formalismen gekennzeichnet. Die Teilnehmer sind eingeladen, ihre Position zu den Fragestellungen in einem kurzen Statement (5-10 Minuten) zu pr?sentieren, dies ist jedoch nicht Voraussetzung f?r eine Teilnahme. Zeit: 11. November 2013, 11:00 - 16:00 Uhr Ort: Fakult?t f?r Informatik der TU Dortmund, Campus Nord Ablauf: - Er?ffnung und kurze Vorstellung der Teilnehmer - Vortrag "Einhaltung semantischer Konsistenz bei Evolution - Vorstellung aktueller Arbeiten" (Prof. J?rjens, TU Dortmund) - Diskussion der Fragestellungen - Abschluss: Zusammenfassung der Ergebnisse und Entscheidung ?ber n?chste Schritte Themen und Fragestellungen: - Wie k?nnen Constraints und Anforderungen formalisiert werden, um Werkzeugunterst?tzung f?r Entscheidungen zu erm?glichen - Wie k?nnen Zusammenh?nge zwischen verschiedenen Aspekten ausgedr?ckt werden, um modell?bergreifende Abh?ngigkeiten auszuwerten - Welche Abh?ngigkeiten sind bei evolution?rer Entwicklung im Software- und Systems-Engineering zu verfolgen - Wie l?sst sich die Konsistenz zwischen Designentscheidungen und Architektur aufrechterhalten Teilnahmebedingungen und Anmeldung: Die Teilnahme ist kostenlos m?glich. Die Anzahl m?glicher Teilnehmer ist aufgrund der R?umlichkeiten begrenzt auf voraussichtlich 12 Personen. Eine Anmeldung per Email an ak-traceability-owner(at)gi-ev.de ist deshalb erforderlich. Links: Aktuelle Informationen zur Veranstaltung http://ak-traceab.gi.de/naechste-veranstaltung.html Webseite des Arbeitskreises http://ak-traceab.gi.de Webseite der Fachgruppe Architekturen der GI http://fg-arc.gi.de/ From koziolek at ipd.uka.de Mon Oct 28 09:08:04 2013 From: koziolek at ipd.uka.de (Heiko Koziolek) Date: Mon, 28 Oct 2013 09:08:04 +0100 Subject: [fg-arc] CFP: SAM 2014 - 1st Int. Workshop on Software Architecture Metrics at WICSA 2014 in Sydney Message-ID: <20131028090804.gu2p14btw40ogcwg@webmail.ira.uni-karlsruhe.de> Call for Papers First International Workshop on Software Architecture Metrics (SAM) in conjunction with WICSA 2014, Sydney, Australia http://www.sei.cmu.edu/community/sam2014/ Architecting complex software systems faces the challenge of how best to assess the achievement of quality attributes and other key drivers, how to reveal issues and risks early, and how to make decisions on architecture improvement. Software architecture quality has a large impact on this effort but is usually not assessed with quantitative measures. As the pace of software delivery and technology churn increases, organizations need guidance on how to meet business goals (e.g., time to market, cost, productivity, quality) of their software. There is an increasing need to provide ongoing insights into the quality of the system being developed. Additionally, it is highly desirable to accelerate the feedback loop between development and deployment through measurable means for intrinsic quality, value, and cost, and how they vary over time. There is also increasing attention to other fields (such as software analytics as well as empirical software engineering and measurement) that can provide the theory, tooling, or inspiration to develop measurement and analysis frameworks for software architecture. The software engineering community has an opportunity to improve the way architecture is measured reliably, consistently, and with repeatable results. The goal of this workshop is to discuss progress on architecture metrics, measurement, and analysis; to gather empirical evidence on the use and effectiveness of metrics; and to identify priorities for a research agenda. The workshop addresses both academic researchers and industrial practitioners for an exchange of ideas and collaboration. We are seeking papers on practical experiences and research approaches to evaluate and manage architecture through metrics including, but not limited to, the following topics: * Proposing and validating new metrics o architecture quality, value, cost, and uncertainty o architecture properties: understandability, maintainability, evolvability, concern dispersion, and modularization o architecture models and views: completeness, consistency, and violation of reference models or patterns o traceability: the connection between architecture and other artifacts, such as requirements and code o architecture knowledge and decision models: confidence, completeness, relevance, and coverage * Creating and validating tools and techniques o eliciting and visualizing architecture metrics o composing architecture metrics by aggregating or combining code-level metrics o associating multiple views and quality concerns with metrics * Using architecture metrics o application to software evolution, maintenance, refactoring, or software aging o analytics on software architecture data for managers and software engineers to make better decisions o support for project management with data such as velocity, scrap and rework rates, and uncertainty o use by product management for the software business case o input to economic models: technical debt management, real option analysis, and valuation * Principles and practices o Creating principles for industrial software architecture metrics o Executing empirical studies on how architecture metrics are used in practice and their effectiveness We invite submissions of papers in any areas related to the themes and goals of the workshop in the following categories: 1. research papers - describing innovative and significant original research in the field (8 pages) 2. industrial papers - describing industrial experience, case studies, challenges, problems, and solutions (4-8 pages) 3. position and future-trend papers - describing ongoing research, new results, and future trends (4 pages) Papers must conform to the ACM proceedings format (http://www.acm.org/sigs/publications/proceedings-templates). Papers must be original and not under consideration for publication elsewhere. All submissions will be reviewed by members of the program committee for quality and relevance. Accepted papers will become part of the workshop proceedings and published in the WICSA companion proceedings. Submit your paper electronically via EasyChair (https://www.easychair.org/conferences/?conf=sam2014). Important dates: Submission: January 12, 2014 Final camera-ready copy: February 10, 2014 Notification of acceptance: January 27, 2014 Workshop: April 7, 2014 Organizers: Paris Avgeriou, University of Groningen Heiko Koziolek, ABB Corporate Research Robert L. Nord, Carnegie Mellon Software Engineering Institute Ipek Ozkaya, Carnegie Mellon Software Engineering Institute Program Committee: Pierre America, Philips Research, NL Steffen Becker, University of Paderborn, DE Eric Bouwers, Technical University Delft, NL Yuangfang Cai, Drexel University, US Jane Cleland-Huang, DePaul University, US Neil Ernst, Software Engineering Institute, US Rich Hilliard, Consulting Software Systems Architect, US Oliver Hummel, Karlsruhe Institute of Technology, DE Anton Jansen, ABB, SE Rainer Koschke, University of Bremen, DE Philippe Kruchten, University of British Columbia, CA Tim Menzies, West Virginia University, US Matthias Naab, Fraunhofer IESE, DE Oscar Pastor, Valencia University of Technology, ES Neeraj Sangal, Lattix, US Jean-Guy Schneider, Swinburne University of Technology, AU Carolyn Seaman, University of Maryland Baltimore County, US Bran Selic, Malina Software Corp., CA Will Snipes, ABB, US Michael Stal, Siemens, DE Robert Stoddard, Software Engineering Institute, US Uwe Zdun, University of Vienna, AT Liming Zhu, National ICT Australia, AU Olaf Zimmermann, University of Applied Sciences, CH