From cesar.a.munoz at nasa.gov Mon Mar 2 20:18:23 2015 From: cesar.a.munoz at nasa.gov (MUNOZ, CESAR (LARC-D320)) Date: Mon, 2 Mar 2015 19:18:23 +0000 Subject: [fg-arc] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models Message-ID: ====================================================== CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co DEADLINE FOR SUBMISSIONS: AUGUST 3, 2015 ====================================================== Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. DCM 2015 is the eleventh in a series of international workshops focusing on new computational models. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth International Colloquium on Theoretical Aspects of Computing. == TOPICS OF INTEREST Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting; - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - models of concurrency, including the treatment of mobility, trust, and security; - infinitary models of computation; - information-theoretic ideas in computing. == IMPORTANT DATES - Submission Deadline for Extended Abstracts: August 3 - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December == INVITED SPEAKERS Mauricio Ayala Rinc?n, Universidade de Brasilia (Brazil). Gilles Dowek, INRIA (France). == SUBMISSIONS Submit your paper in PDF format via the conference EasyChair submission page: https://www.easychair.org/conferences/?conf=dcm2015 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS, following the EPTCS style: http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of EPTCS. == PROGRAM COMMITTEE: Mario Benevides (Brazil) Lu?s Caires (Portugal) Ugo Dal Lago (Italy) Nachum Dershowitz (Israel) J?r?me Feret (France) Marcelo Frias (Argentina) Russ Harmer (France) Ivan Lanese (Italy) Radu Mardare (Denmark) Elvira Mayordomo (Spain) C?sar A. Mu?oz (USA) - chair Jorge A. P?rez (The Netherlands) - chair Andr?s Sicard-Ram?rez (Colombia) Alexandra Silva (The Netherlands) Daniele Varacca (France) == CONTACT INFORMATION Cesar A. Munoz (cesar.a.munoz at nasa.gov) Jorge A. Perez (j.a.perez at rug.nl) --- 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 uwe.assmann at tu-dresden.de Thu Mar 5 08:57:50 2015 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Thu, 05 Mar 2015 08:57:50 +0100 Subject: [fg-arc] Letzter Aufruf zur Teilnahme SE/SWM 2015 Message-ID: <54F80C7E.5050209@tu-dresden.de> Sehr verehrte Kollegen, die SE/SWM 2015 naht heran, und sofern Sie sich noch nicht das Programm angeschaut haben, sollten Sie das tun, denn es wird ein volles, buntes, intensives Event werden. Bitte, verbreiten Sie den Call noch - an Ihre neuen Mitarbeiter und Kollegen, die vielleicht noch eine Schulung f?r ihren Einstieg gebrauchen k?nnten - das wiss. Programm ist das konzentrierteste Kraftfutter f?r die Ausbildung, das es momentan in Deutschland gibt - an Ihre Kollegen aus Fachdisziplinen, die ?ber die Anwendung des Software Engineerings in ihrer Fachdisziplin Anst??e f?r das Zukunftsthema "Internet der Dinge" brauchen; beachten Sie die strategischen Vortr?ge der anwesenden Firmen - an die Startups Ihrer Fakult?t, die weitere 9 Startups treffen k?nnen und ein tolles neues Programm vorfinden - an alle Eclipse-IoT-Freaks mit freundlichen Gr??en Uwe A?mann, General Chair SE/SWM 2015 ------------------------------------------------------------------------------------------ Final Call for Participation ? Letzter Aufruf zur Teilnahme Software Engineering und Management 17.-20.3.2015 http://swm2015.de/ Dorint-Hotel Dresden http://swm2015.de/organisation Anmeldung Die ?Software Engineering? und die ?Software Management?, die j?hrlichen Konferenzen der Fachbereich Softwaretechnik und Wirtschaftsinformatik der GI, finden dieses Jahr gemeinsam in Dresden statt. * Highlight: Startup-Track http://swm2015.de/se-2015/tracks/startup-se15 Start-Up-Programm mit 9 Startups, mit Vortr?gen erfahrener Gr?nder zum Innovationsmanagement, Gesch?ftsfeldentwicklung, Crowdfunding, Firmen-?kosysteme. Vermittlung von Kontakte zu IT-Netzen und Katalysatoren * Highlight: Industrieprogramm http://swm2015.de/se-2015/tracks/industrie-se15 Das Industrieprogramm pr?sentiert industrielle Forschung und Innovation aus Deutschland: - Roland Weiss, ABB. Software Research Challenges in Industrial Automation - Stefanie Albrecht, Andreas Mo?nch, Saxonia Systems. Zusammenarbeit neu denken - Torsten Keil, iSAX. Codegenerierung aus Konfigurationseigenschaften am Beispiel automatisierter Verfahrensbereitstellung der Deutschen Bahn - Heinz Zu?llighoven, Eugen Reiswich. C1-WPS. Katastrophenschutz und Hafenmanagement mit innovativen Frontends verbessern * Highlight: ?Software Engineering in der DFG? http://swm2015.de/se-2015/tracks/dfg-se15 Treffen aller DFG-Gro?projekte im Software Engineering * Highlight: Eclipse Day ?Internet of Things" http://iotday.dd-eclipse.de/programm/ * Highlight: S?chsischer IT-Summit "Internet der Dinge" http://www.silicon-saxony.de/it-summit Erstmalig findet im Rahmen der SE/SWM der s?chsische IT-Summit statt, auf dem Politik und Wirtschaft Strategien f?r das Software Engineering im ?Internet der Dinge? diskutieren (Do, 19.3., 17:30-19:15): - Begr??ung: Heinz-Martin Esser, Silicon Saxony - Keynote: Martin Dulig, S?chsischer Staatsminister f?r Wirtschaft, Arbeit und Verkehr - Keynote: Dr. Rainer Kallenbach, Bosch Software Innovations "Das Internet der Dinge" - Podiumsdiskussion (Prof. Dr. Frank Sch?nefeld, T-Systems Multimedia Solutions): * Highlight: Keynotes - A.-W. Scheer, Scheer Group: "Tipps f?r Start-ups in der Industrie 4.0" - G. Fettweis, TU Dresden: "The Tactile Internet Enabled by 5G" - B. Br?gge, TU M?nchen: "Schnelle Prototypen f?r intelligente Kleidung" - M. W?rtenberger, BMW Car IT, ?Changing automotive industry? - A. Spillner, Hochschule Bremen: "Pair Requirements Engineering" * Tracks http://swm2015.de/program15 - Das wissenschaftliches Programm der SE pr?sentiert mehr als 60 Vortr?ge ?ber die bereits international akzeptierten Arbeiten der Community der letzten zwei Jahre http://swm2015.de/se-2015/tracks/wissenschaftliches-programm - Das Programm der SWM pr?sentiert Original-Beitr?ge aus Wissenschaft und Technologietransfer http://swm2015.de/tagung-swm - Die ?Software Engineering Ideen? pr?sentiert 9 Beitr?ge mit vision?ren Zielen http://swm2015.de/se-2015/tracks/sei-se15 - Software & Systems Engineering Essentials: 4 Beitr?ge http://swm2015.de/se-2015/tracks/se-essentials - Technologietransferprogramm: 6 Beitr?ge http://swm2015.de/se-2015/tracks/transfer-se15 - Doktorandensymposium: 7 Vortr?ge http://swm2015.de/se-2015/tracks/doksym-se15 - Tutorials ?ber Control-Flow Integration, SOA, XText, C#, Test-driven Requirements Management, Language Workbench MPS http://swm2015.de/se-2015/tutorials-se15 http://swm2015.de/tagung-swm/swm15-tutorials - Workshops zu den Themen ?Evolution and Maintenance of Long-Living Systems (EML)?, ?Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)?, ?Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)?, ?Arbeitstagung Programmiersprachen (ATPS)? http://swm2015.de/se-2015/se15-workshops - Vergabe des Software-Engineering-Preises der Ernst-Denert-Stiftung - Das Konferenzdinner findet im Stadion von Dynamo Dresden statt, eine fantastische Kulisse. Dresden ist immer eine Reise wert! Anmeldung auf der URL: http://swm2015.de/organisation Herzliche Einladung! * Sponsoren Die Tagung wird freundlicherweise unterst?tzt durch die ABB AG, die iSAX GmbH, die Saxonia Systems GmbH, die C1 WPS GmbH, die Salt Solutions GmbH, die DUALIS GmbH IT Solution, die msg systems AG, die itemis AG, die BIT.Group GmbH, die IVU Traffic Technologies AG, die interface:projects GmbH, die MindApproach, und die SQL Projekt AG. * Organisatoren Technische Universit?t Dresden, Fakult?t f?r Informatik, 01062 Dresden, Prof. Uwe A?mann, Dr. Sebastian G?tz (org. Einzelheiten): Tel.: +49 351 463 38346, sebastian.goetz at acm.org Silicon Saxony, Christina Nehls, christina.nehls at silicon-saxony.org -- ----------------------------------------------------------------------------- Visit SE/SWM 2015: http://swm2015.de/se-2015/program15 http://swm2015.de/organisation/anmeldung Startup-Track (still open): http://swm2015.de/se-2015/tracks/startup-se15 ----------------------------------------------------------------------------- Prof. Dr. Uwe A?mann mailto:uwe.assmann at tu-dresden.de Software Engineering Group tel:+49 351 463 38463 Institut f?r Software- und fax:+49 351 463 38459 Multimediatechnik http://st.inf.tu-dresden.de Fakult?t Informatik building: Noethnitzer Str. 46, 01307 Dresden Technische Universitat Dresden room/Zimmer: 2087, 2. Stock, West D-01062 Dresden ----------------------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: cfParticipationFinal.pdf Type: application/pdf Size: 126629 bytes Desc: not available URL: From alexander.perucci at graduate.univaq.it Thu Mar 5 19:12:39 2015 From: alexander.perucci at graduate.univaq.it (Alexander Perucci) Date: Thu, 5 Mar 2015 19:12:39 +0100 (CET) Subject: [fg-arc] SCART 2015 - 1st Call for Papers (at SEFM 2015) Message-ID: <805730235.7835419.1425579159141.JavaMail.zimbra@graduate.univaq.it> [Apologies for multiple postings] -- First Call for Papers -- SCART 2015: 1st International Workshop on the ART of Software Composition, co-located with SEFM 2015 ? York, UK. SCART 2015 ( http://scart2015.disim.univaq.it/ ) provides the opportunity for discussing how the FI affects the traditional SE methods and tools, and how facing its complexity in terms of scalability, heterogeneity, and dinamicity promotes the integration of FM within SE practices. We seek answers on how the rigorousness of FM assists software engineers while designing, developing, validating and operating software systems for the FI, which are build via correct-by-construction service composition. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest research and development. SCART 2015 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://scart2015.disim.univaq.it . At SCART 2015 we will have a Keynote by Paola Inverardi (Tile and abstract to be announced) - http://scart2015.disim.univaq.it/?page_id=139 == IMPORTANT DATES == Paper submissions: May 22, 2015 Notification of authors: June 19, 2015 Camera-ready copies: July 3, 2015 == PAPER SUBMISSION == Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: http://www.cs.york.ac.uk/sefm2015/ Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == ? Marco Autili, University of L?Aquila, Italy marco.autili at univaq.it ? Alfredo Goldman, University of S?o Paulo, Brazil gold at ime.usp.br ? Massimo Tivoli, University of L?Aquila, Italy, massimo.tivoli at univaq.it == Program Committee == ? Domenico Bianculli, Univ. du Luxembourg ? Gwen Sala?n, INRIA, Grenoble-Rhone-Alpes, France ? Guglielmo De Angelis, CNR-IASI/ISTI, Italy ? Ivica Crnkovic, M?lardalen University, Sweden ? Joni da Silva Fraga, UFSC, Brazil (pending) ? Kelly Rosa Braghetto, Univ. of S?o Paulo, Brazil ? Luciano Baresi, Politecnico di Milano, Italy ? Mauro Caporuscio, Politecnico di Milano, Italy ? Miriam Capretz, Faculty of Western Eng., Canada ? Nelson Souto Rosa, UFPE, Brazil ? Nikolaos Georgantas, INRIA, Paris, France ? Paola Inverardi, Univ. of L?Aquila, Italy ? Pascal Poizat, Univ. Paris Ouest, France ? Radu Calinescu, Univ. of York, UK ? Schahram Dustdar, Univ. of Technology Wien, Austria == Publicity Chair == ? Alexander Perucci, University of L?Aquila, Italy == Web Chair == ? Amleto Di Salle, University of L?Aquila, Italy == List of topics (although not limited to) == ? Specification, architecture, and design of software composition models ? Software quality assurance for software composition ? Verification and testing of software integration code ? Adaptive software composition ? Formal methods for automated software composition ? Service-oriented and Component-based software composition ? Non-functional properties of software composition ? Automated software composition and coordination ? Correct-by-construction software composition ? Automated synthesis of software integration code ? Model-driven software composition ? Compositional theories for software composition ? Patterns and frameworks for software composition engineering ? Tools and methods for software composition engineering ? Industrial experience in software composition ? Empirical studies in software composition -------------- next part -------------- An HTML attachment was scrubbed... URL: From muzaffar.igamberdiev at mymail.unisa.edu.au Thu Mar 5 08:39:31 2015 From: muzaffar.igamberdiev at mymail.unisa.edu.au (Igamberdiev, Muzaffar - igamy001) Date: Thu, 5 Mar 2015 07:39:31 +0000 Subject: [fg-arc] EDOC2015: Call for Workshops Message-ID: We apologize if you receive this message more than once. ------------------------------------------------------------ Workshops at EDOC 2015 The 19th IEEE International Enterprise Computing Conference Sponsored by IEEE Computer Society and IEEE Communications Society. September 21-25, 2015, Adelaide, Australia http://www.edocconference.org http://twitter.com/ieee_edoc --------------------------------------------------------------- Workshop paper submissions: April 27, 2015 Workshops paper acceptance notifications: June 15,2015 All camera-ready papers due: July 4, 2015 ------------------------------------------------------------ WORKSHOPS: ------------------------------------------------------------ W1: ModTools - 3rd Int'l Workshop on Methodical Development of Modeling Tools (ModTools'15) W2: HIS - 1st Int'l Workshop on Clinical Process Analytics (HIS'15) W3: SoEA4EE - 7th Int'l Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE'15) W4: EVL-BP - The 8th Int'l Workshop on Evolutionary Business Processes (EVL-BP'15) W5: DPBA - 1st Int'l Workshop on Data-Driven and Predictive Business Analytics (DPBA'15) ------------------------------------------------------------ W1: ModTools - 3rd Int'l Workshop on Methodical Development of Modeling Tools (ModTools'15) ------------------------------------------------------------ Web: http://www.wi-inf.uni-due.de/ModTools15 Modeling techniques are applied in diverse fields of enterprise computing and information systems engineering. Having modeling tools available for creating, editing and analyzing models is a central assumption made in these research areas, because without appropriate tooling support, model-based methods cannot be reasonably applied. Research prototypes of model editors are required for developing and evaluating new modeling methods and languages. To be able to efficiently apply and develop modeling techniques, it is thus desirable to methodically guide the development of modeling tools with regard to their specific characteristics, e. g., by aligning their design with the conceptualizations of modeling languages via meta-models, or by deriving required model editor functionality from high-level process specifications. The workshop "Methodical Development of Modeling Tools" focuses on procedures and architectural principles related to the creation of software for editing, presenting, transforming, or analyzing models. Organizers: Jens Gulden, University of Duisburg-Essen, Germany Jens von Pilgrim, NumberFour AG, Germany ------------------------------------------------------------ W2: HIS - 1st Int'l Workshop on Clinical Process Analytics (HIS'15) ------------------------------------------------------------ Web: http://www.dsl.uow.edu.au/workshops/index.php?l1=cpa15 Process analytics involves the use of rich data store to generate insights into the design, execution, resourcing and overall management of processes. While there has been a growing body of results on the application of process analytics techniques in business processes, much remains to be done in fully realizing the potential of clinical process analytics. This workshop seeks to bring together clinicians and IT researchers to better understand how existing and new process analytics techniques might add value in the practice of medicine. The specific topics of interest include (but are not limited to) the following: Collecting and managing clinical process data, Clinical process data cleaning techniques, Data-driven insights into the design of clinical processes, Predictive analytics for clinical processes, Data-driven diagnostics for clinical processes, Exception handling in process execution, Clinical process variation management, Case studies. Organizers: Andrew Miller, Wollongong Hospital, Australia Aditya Ghose, University of Wollongong, Australia Chee Fon Chang, University of Wollongong, Australia ------------------------------------------------------------ W3: SoEA4EE - 7th Int'l Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE'15) ------------------------------------------------------------ Web: http://crinfo.univ-paris1.fr/users/nurcan/SoEA4EE_2015/ Scientific Enterprise Engineering (EE) is the application of engineering principles to the design of Enterprise Architectures (EA). It allows deriving the Enterprise Architecture from the enterprise goals and strategy. Enterprise architecture aims (i) to understand the interactions and all kind of articulations between business and information technology, (ii) to define how to align business components and IT components, as well as business strategy and IT strategy, and more particularly (iii) to develop and support a common understanding and sharing of those purposes of interest. Enterprise architecture is used to map the enterprise goal and strategy to the enterprise's resources (actors, assets, IT supports) and to take into account the evolution of this mapping. It also provides documentation on the assignment of enterprise resources to the enterprise goals and strategy. There are different paradigms for creating enterprise architecture. The most important is to encapsulate the functionalities of IT resources as services. By this means, it is possible to clearly describe the contributions of IT both in terms of functionality and quality and to define a service-oriented enterprise architecture (SoEA). The goal of the workshop is to develop concepts and methods to assist the engineering and the management of service-oriented enterprise architectures and the software systems supporting them. Organizers: Selmin Nurcan, University Paris 1 Panth?on Sorbonne, France Rainer Schmidt, Aalen University, Aalen, Germany ------------------------------------------------------------ W4: EVL-BP - The 8th Int'l Workshop on Evolutionary Business Processes (EVL-BP'15) ------------------------------------------------------------ Web: http://evl-bp2015.unisa.edu.au The EVL-BP workshop series is devoted to evolution in business processes. Enterprises face the challenge of rapidly adapting to dynamic business environments. Evolving markets, policies, regulations, technologies, and business models are some of the many vectors of change along which enterprise systems must constantly align. The capability of rapidly adapting systems and processes to an ever-changing environment to leverage existing resources has become a crucial factor of an organization's agility. In a recent EDOC publication, Dam et al. pointed out the "need of techniques and tools that provide more effective automated support for change propagation within an Enterprise Architecture model". This workshop focuses on the business process part of an enterprise evolution, called evolutionary business processes. It fosters new approaches that address specific issues related to flexibility and adaptation of business processes such as design of easily adaptable processes, dynamic handling of unexpected situations, optimality of adaptations, or change management. Organizers: Guido Governatori, National ICT Australia Ltd (NICTA), Australia Jens Kolb, University of Ulm, Germany John Wondoh, University of South Australia, Adelaide, Australia ------------------------------------------------------------ W5: DPBA - 1st Int'l Workshop on Data-Driven and Predictive Business Analytics (DPBA'15) ------------------------------------------------------------ Web: http://cs.adelaide.edu.au/~dpba2015/ The workshop aims at discussing the research and open issues related to the data-driven business analytic methodologies and techniques in the context of enterprise Big Data. The contemporary enterprise features the production, integration, analysis, and utilization of Big Data, which have the 4-V characteristics: volume, velocity, variety, and veracity. While the Big data hold the promise of revolutionizing our understanding and decision-making methods towards enter- prises and society, uncovering the value behind Big Data requires developing innovative decision making approaches, especially predictive approaches in various aspects, such as process configurations, resource allocations, scheduling optimizations, and collaboration patterns negotiation. Models and methods from multiple disciplines, such as data integration, data mining, statistics, business intelligence, and information systems apply to the topic. However, the impact of Big Data to business decision and corresponding analytic approaches remain an open issue. This workshop will offer a valuable opportunity for participants to exchange opinions, share experiences, advance ideas, report recent progress, and disseminate research results on the topics related to Data-driven and predictive business analytics. Organizers: Boualem Benatallah, University of New South Wales, Australia Xianzhi Wang, University of Adelaide, Australia Quan Z. Sheng, University of Adelaide, Australia ------------------------------------------------------------ For further information, please visit the conference website at: http://www.edocconference.org Best regards, Muzaffar Igamberdiev Ph.D. Candidate Advanced Computing Research Centre (ACRC) School of Information Technology and Mathematical Sciences University of South Australia, Mawson Lakes, SA 5095, Australia phone: +61 8 8302 3943 e-mail: muzaffar.igamberdiev at mymail.unisa.edu.au [http://www.unisa.edu.au/Templates/UniSA/Styles/Default/images/UniSA_logo.png] -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: image001.jpg Type: image/jpeg Size: 2389 bytes Desc: image001.jpg URL: From Muzaffar.Igamberdiev at unisa.edu.au Fri Mar 6 05:13:17 2015 From: Muzaffar.Igamberdiev at unisa.edu.au (Muzaffar Igamberdiev (IEE)) Date: Fri, 6 Mar 2015 04:13:17 +0000 Subject: [fg-arc] EDOC 2015 - Call for Demonstrations Message-ID: <87dc60acc331425b959e75b779887ecb@ITUPW-EXMBOX2A.UniNet.unisa.edu.au> EDOC 2015 - Call for Demonstrations The IEEE EDOC 2015 Demonstration Track offers an exciting and highly interactive way to present prototypes and applications in the context of enterprise computing. Prototypes and applications may originate either from research projects or from industry. Proposals for demonstrations should focus on innovative concepts or technologies that address models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Authors of accepted conference papers are also invited to propose demonstrations of their work. Topics of Interest Areas of interest for demonstrations include all topics of the IEEE EDOC conference. Specific topics of interest include but are not limited to: Business Process Management (BPM) Business Intelligence and Analytics Big Data Enterprise Architecture and Enterprise Application Architecture Model-based Approaches Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) Governance in Service-oriented Architectures Information Integration and Interoperability Enterprise Applications Deployment and Governance Demo Submissions Demonstration paper submissions are invited for potential inclusion in the demonstration track. Demonstration papers should address the following topics in no more than 4 pages: Title and authors Abstract: A brief description of the prototype or application, together with a statement on how conference participants benefit from attending the demonstration System overview Summary of innovative concepts and significance for the EDOC domain as well as functions or features to be demonstrated. If applicable, include brief descriptions of case studies performed using the prototype or application, provide scalability data or pointers indicating where readers can find more information about these case studies. Link (optional): A link to a Web page where to download or use the tool. Additionally, authors may provide a link to a short online video or screencast not exceeding 6 minutes in length (hard limit) of their demonstration. The video is recommended, not mandatory. The video must be playable using a wide variety of media players. All submissions must be made in PDF format and comply with the IEEE Computer Society Conference Proceedings Format Guidelines (http://www.computer.org/portal/web/cscps/formatting). The demonstration track committee will review all submissions. Accepted demonstration papers are published in the workshop proceedings of the IEEE EDOC conference by the IEEE Computer Society Press and be made accessible through IEEE Xplore and the IEEE Computer Society Digital Library. At least one presenter of each accepted demonstration must register for the conference and be in attendance to present the demonstration. Please submit your demo paper per email to the Demo PC Chairs. Contact details are below. Important Dates Deadline for demo submissions: 4th May 2015 Notification of acceptance: 15th June 2015 Camera-ready papers deadline: 4th July 2015 Demonstration Program Chairs Chee-Fon Chang, University of Wollongong, Australia Matt Selway, University of South Australia, Australia Contacts: cfchang[at]uow.edu.au, matt.selway[at]mymail.unisa.edu.au Demonstration Committee See demo website: https://edoc2015.unisa.edu.au/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2015 at ipm.ir Sat Mar 7 16:49:59 2015 From: fsen2015 at ipm.ir (Marjan Sirjani) Date: Sat, 07 Mar 2015 10:49:59 -0500 Subject: [fg-arc] CfPart: FSEN 2015 Message-ID: <54FB1E27.1020209@ipm.ir> ###################################################################### FSEN 2015 Call for Participation Sixth International Conference on Fundamentals of Software Engineering 2015 Theory and Practice (FSEN'15) http://fsen.ir/2015 Tehran, Iran 22 - 24 April, 2015 ###################################################################### For information on registration and accepted papers check the conference homepage. Keynote Speakers ---------------- Holger Giese, Hasso Plattner Institute, Germany John Hughes, Chalmers University of Technology, Sweden Paola Inverardi, University of L'Aquila, Italy From Muzaffar.Igamberdiev at unisa.edu.au Tue Mar 10 03:20:40 2015 From: Muzaffar.Igamberdiev at unisa.edu.au (Muzaffar Igamberdiev (IEE)) Date: Tue, 10 Mar 2015 02:20:40 +0000 Subject: [fg-arc] EDOC 2015 - Second Call for Papers Message-ID: <4173f0ddf68b44eebab6d7cbd9d1bac0@ITUPW-EXMBOX2A.UniNet.unisa.edu.au> We apologize if you receive this message more than once. --- ============================================================================= Call for Papers: IEEE EDOC 2015 - The 19th IEEE International EDOC Conference ============================================================================= EDOC 2015 - Adelaide, Australia September 21-25, 2015 http://www.edocconference.org http://twitter.com/ieee_edoc IEEE EDOC 2015 is the nineteenth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The IEEE EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business processes, people and technology. EDOC 2015 welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC 2015 is "Leveraging social phenomena and Big Data in the enterprise of the future" and seeks to explore innovative approaches synthesizing concepts of (1) data science, (2) enterprise computing and (3) social networks. Expert panel discussions and keynotes will address current topics and issues in this domain. Topics ====== The IEEE EDOC conference seeks high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to: Enterprise Architecture and Enterprise Application Architecture Enterprise architecture frameworks Enterprise architecture analysis, assessment and prediction Cloud computing and the evolution of enterprise architectures Enterprise ontologies Model-based Approaches Model-driven architectures and model-driven software development Modeling based on domain specific languages (DSL) Approaches based on reference architectures Collaborative development and cooperative engineering issues Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) Service engineering and evolution of related specifications Semantics-based service engineering Service composition, orchestration and choreography Enterprise service bus Complex event processing and event-driven architectures Governance in Service-oriented Architectures Service policies, contract definition and enforcement Security/privacy policy definition and description languages Security/privacy policy interoperability Business process management (BPM) Business process modeling, verification, configuration and implementation Process-aware information systems (PAIS), Human-centric PAIS, Social BPM Managing business process variability, adaptation and evolution in PAIS Process mining and its application in business analytics Distributed and cross-organizational business processes Data-intensive processes Cloud impact on BPM, business processes in the cloud Emerging BPM paradigms (e.g., adaptive case management, data-driven processes) Business analytics Modeling and predictive analytics for enterprise computing Data-driven enterprise strategy Collaboration enterprise analytic platforms Business process intelligence (e.g., process performance management) Continuous, online analytics for big data in the enterprise Business rules Business rule languages and engines Relation between business rules and business processes Business rules and service computing Business rules and compliance management, business process compliance Information integration and interoperability Business object modeling methodologies and approaches Taxonomies, ontologies and business knowledge integration Master data management, data mining and (real-time) data warehousing Flexible information models and systems (e.g., object-driven processes) Data quality and trustworthiness Networked Enterprise Solutions Enterprise interoperability, collaboration and its architecture Virtual organizations, including multi-agent system support Cross-enterprise collaboration in a world of cloud, social and big data Digital ecosystems Trust management Enterprise applications deployment and governance Performance and operational risk prediction and measurement Quality of service (QoS) and cost of service (CoS) Management and maintenance of enterprise computing systems Information assurance Human and social organizational factors in enterprise computing Emerging trends in distributed enterprise applications Social information and innovation networks, social media impact on the enterprise People-centric collaboration systems, people-centric services Private and public cloud computing Infrastructures Idea management and crowdsourcing Enterprise 2.0, Web 2.0 and beyond Mobile enterprise services Industry specific solutions (e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications) Research and public sector collaboration (e.g. in e-health, e-government, e-science) Submission Guidelines ===================== Two types of paper submissions are solicited: a. scientific research papers, and b. industry experience reports or case studies. Scientific research papers should describe original results not been accepted or submitted for publication elsewhere. These papers will be evaluated based on their scientific and technical contribution, originality, and relevance. In turn, industry experience reports should provide new insights gained in case studies or when applying enterprise computing technology in practice; industry experience reports shall further provide important feedback about the state of practice and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, and clarity. Submissions should be full papers with 8-10 pages. All submissions must be made in PDF format and comply with the IEEE Computer Society Conference Proceedings Format Guidelines. They should be made via the electronic submission system of the EDOC Conference Management system hosted on EasyChair: http://www.easychair.org/conferences/?conf=edoc2015 All papers will be refereed by at least 3 members of the international program committee. All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. Post Conference Publication =========================== The authors of a collection of selected papers will be invited to prepare a substantially revised and extended version of their papers for publication in a special journal issue. The journal will be announced in due course. Important Dates: ================ Conference paper abstract submission (optional): April 4, 2015 Conference full paper submission due: April 11, 2015 Conference paper acceptance notifications: June 1, 2015 Conference camera ready papers due: July 4, 2015 Workshop proposal submissions: January 26, 2015 Workshop proposal acceptance notification: February 16, 2015 Workshop paper submissions: April 27, 2015 Workshops paper acceptance notifications: June 15, 2015 Workshops camera-ready papers due: July 4, 2015 Conference: September 21-25, 2015 Conference Committees ===================== General Chairs Aditya Ghose, University of Wollongong, Australia Georg Grossmann, University of South Australia, Australia Program Chairs Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada Wolfgang Mayer, University of South Australia, Australia Workshop Chairs Jens Kolb, Ulm University, Germany Barbara Weber, University of Innsbruck, Austria Demo Chairs Matt Selway, University of South Australia Chee-Fon Chang, University of Wollongong, Australia Publicity Chairs Hoa Khanh Dam, University of Wollongong, Australia Muzaffar Igamberdiev, University of South Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From lucia.happe at kit.edu Mon Mar 9 11:53:35 2015 From: lucia.happe at kit.edu (Happe, Lucia (IPD)) Date: Mon, 9 Mar 2015 11:53:35 +0100 Subject: [fg-arc] Deadline Extension: MB4CP@DSN 2015: CfP for 1th International Workshop on Model-Based Design for Cyber-Physical Systems, June 22th, 2015, Rio de Janeiro, Brasil Message-ID: *** Please accept our apologies should you receive multiple copies of this call from different lists. *** INVITATION: Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to MB4CP 2015. The submission deadline has been extended to Mar 15th, 2015. ===================================================================== Call for Papers - MB4CP 2015 - 1th International Workshop on Model-Based Design for Cyber-Physical Systems Satellite event of DSN June 22th, 2015, Rio de Janeiro, Brasil http://mb4cp.ipd.kit.edu/mb4cp_2015/ ===================================================================== * Submission deadline: Mar 15th, 2015 * Notification of acceptance: April 15th, 2015 ===================================================================== WORKSHOP AIM Emerging cyber-physical systems (CPSs) incorporate intelligence into power distribution networks. These CPSs provide the capabilities required for handling the challenges of increasing complexity in the bulk power grid, responding to growing demand, supporting renewable energy sources, and satisfying the requirements for enhanced, adaptive service quality. Achieving these goals requires a framework for cohesively integrating communication and information technologies using complex, real-time control networks for both energy and information. This framework must support the principal properties of smart grids, including self-healing, availability, and responsiveness to variability in demand and supply. CPSs pose new challenges for security and privacy because of the increased exchange of information. This workshop will focus on understanding and identifying the unique challenges posed by and opportunities associated with modeling and analysis of CPSs, especially as related to the design of large, complex, networked systems. In CPSs, the geographical scale, requirements on real-time performance and reliability, and diversity of application functionality all combine to produce a unique, highly demanding problem domain. The objective of this workshop is to bring together members from the systems, software, power, and other engineering communities to discuss challenges with modeling and model-based design of CPSs and to share experiences, solutions, tools, and techniques. TOPICS The MB4CP workshop is interested in submissions on all topics related to identifying and developing appropriate methods, tools, and techniques for modeling and model-based design of cyber-physical systems. Specifically, we will focus on: * Applications that support power engineering operations. Such applications include, but are not limited to, complex event processing systems for managing and manipulating large amounts of real-time sensor data and systems that provide infrastructure for metering, analysis, decision support, and control applications. * Software and enterprise architectures tailored to CPSs, given the challenges of CPSs as ultra-large-scale systems. * Designing applications with advanced computing capabilities. This requires understanding the implications of, for example, exploiting cloud computing and high performance, multi-core computing platforms for computationally intensive cyber-physical functions. * Designing quantitative modeling and simulation frameworks targeting CPSs. These frameworks can model designs and quantify system properties, such as responsiveness and availability, based on predictive (numerical, simulated) and historical data. * Methodologies that apply advanced software engineering approaches to analyze and improve the properties of cyber-physical applications. These include model-driven development, self-managing and adaptive software systems, and sound reasoning and evaluation frameworks. * Employing best practices for requirements engineering, verification, and validation in CPSs. This includes considering the synergy between requirements and architectures in critical, ultra-large-scale systems. * Standards-based distributed architecture solutions and reference architectures that enable open interfaces with plug-and-play hardware and software components. * Designing and analyzing robust, scalable security and privacy frameworks for CPSs. * Approaches to modeling and monitoring system-wide performance, scalability, and other quality properties of the cyber-physical software framework. * Software engineering approaches for the business and information technology elements of CPSs. * Integrating cyber-physical system modeling and analysis topics into curricula at academic institutions. * Novel architectures for software systems supporting energy trading and business decisions in CPSs. * Lessons learned and experiences from successful applications of cyber-physical industry standards in software systems. SUBMISSIONS All papers (i.e. research papers, experience reports, or vision papers) should be submitted through easychair:https://easychair.org/conferences/?conf=mb4cp * Research papers will be thoroughly reviewed for novelty, technical quality, scientific soundness, and relevance. Research papers should not exceed 8 double-column pages, including figures and tables. * Experience reports cover innovative implementations or novel applications of CPS-related technologies, as well as interesting results and experiences from applying recent research advances to industrial situations in any of the topics of interest. Experience reports should be 6 double-column pages, including figures and tables. * Vision papers present emerging research challenges and long-term research directions on topics of interest in the CPS domain. Submissions should be 4 double-column pages, including figures and tables. Submissions must adhere to the IEEE Computer Society camera-ready 8.5?x11? two-column camera-ready format. The templates are reproduced below for your convenience, and further details can be found here . IMPORTANT DATES * Submission deadline: Mar 15th, 2015 * Notification of acceptance: April 15th, 2015 * Workshop date: June 22, 2015 PROGRAMME COMMITTEE * Catia Trubiani, Gran Sasso Science Institute, Italy * Barbora Buhnova, Masaryk University, Czech Republic * Tomas Bures, Charles University, Czech Republic * Erik Burger, Karlsruhe Institute of Technology, Germany * Anne Remke, University of Twente, Netherlands * Martin Naedele, ABB Corporate Research, Switzerland * Boudewijn Haverkort, University of Twente, Netherlands * Laura Carnevali, University of Florence, Italy * Enrico Vicario, University of Florence, Italy * Anne Koziolek, Karlsruhe Institute of Technology, Germany * Ina Schieferdecker, FU Berlin/Fraunhofer FOKUS, Germany PC CO-CHAIRS * Alberto Avritzer, Siemens Corporate Research, USA * Lucia Happe, Karlsruhe Institute of Technology, Germany * Kishor S. Trivedi, Duke University, USA * Daniel Sadoc Menasche, Federal University of Rio de Janeiro, Brazil * Sahra Sedigh Sarvestani, Missouri University of Science and Technology, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From sren at cis.fiu.edu Tue Mar 10 17:41:55 2015 From: sren at cis.fiu.edu (Shaolei Ren) Date: Tue, 10 Mar 2015 12:41:55 -0400 Subject: [fg-arc] Workshop paper, Short Paper, and Demo ---- ICAC 2015, Call for Papers Message-ID: [Sorry for multiple/cross postings.] =========================================== *12th International Conference on Autonomic Computing (ICAC 2015)* Grenoble, France, July 7-10, 2015 In cooperation with USENIX and SPEC Corporate supporters: Google, HP Labs, Orange Labs _____________________________________________ ========================== CALL FOR WORKSHOP PAPER ========================== *http://icac2015.imag.fr/workshops/ * ========================== CALL FOR POSTERS and DEMOS ========================== *http://icac2015.imag.fr/* Posters and Demos are invited for ICAC 2015 on specific aspects of autonomic software and systems, particularly relating to the subject areas indicated by the conference call for papers. Posters provide a forum for authors to present their work in an informal and interactive setting. They allow authors and interested participants to connect to each other and to engage in discussions about the work presented. A poster submission should motivate its relevance to the autonomic computing community, summarize the challenges, experiences, or the cutting-edge ideas. Demonstrations present an existing tool or research prototype. Authors are expected to perform a live demonstration on their own laptop during the poster and demonstration session. A demonstration submission must describe the novelty and the goals of the demonstration and key ideas involved in building the tool or prototype including possible users, use cases or specific results. IMPORTANT DATES =============== Poster/Demo Proposals Due: March 30, 2015 Notification: Apr 20, 2015 Camera ready: May 1, 2015 SUBMISSIONS ========== All demo and poster submissions must represent original and unpublished work that is not currently under review. Submissions will be judged on originality, significance, interest, correctness, clarity, and relevance to the broader community. Submissions are limited to 2 pages, IEEE format. Accepted papers will be included in the ICAC 2015 Proceedings, which will be published in IEEE Xplore. At least one author of each accepted submission is expected to attend the conference. Submission format: *http://icac2015.imag.fr/instructions-to-authors/* Submission site: *https://easychair.org/conferences/?conf=icac2015* -- ------------------------------------------------------------------------- Shaolei Ren Assistant Professor School of Computing and Information Sciences Florida International University Miami, FL 33199, United States E-mail: sren at cs.fiu.edu Phone: (305) 348-2032 Homepage: http://www.cs.fiu.edu/~sren/ ------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From neha.s.rungta at nasa.gov Wed Mar 11 17:41:04 2015 From: neha.s.rungta at nasa.gov (Rungta, Neha S. (ARC-TI)[SGT, INC]) Date: Wed, 11 Mar 2015 16:41:04 +0000 Subject: [fg-arc] [fm-announcements] Fifth Summer School on Formal Techniques, CA Message-ID: Fifth Summer School on Formal Techniques, May 17 - May 22, 2015, Atherton, California http://fm.csl.sri.com/SSFT15 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fifth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The lecturers at the school include: * Arie Gurfinkel (SEI CMU, USA): Building Program Verifiers from Compilers and Theorem Provers Abstract: Developing an automated program verifier is an extremely difficult task. By its very nature, a verifier shares many of the complexities of an optimizing compiler and of an efficient automated theorem prover. From the compiler perspective, the issues include idiomatic syntax, parsing, intermediate representation, static analysis, and equivalence preserving program transformations. From the theorem proving perspective, the issues include verification logic, verification condition generation, synthesizes of sufficient inductive invariants, deciding satisfiability, interpolation, and consequence generation. Luckily, the cores of both compilers and theorem provers are well understood, well-defined, and readily available. In these lectures, we examine how to build a state-of-the-art program verifier by re-using much of existing compilers and SMT-solvers. The lectures are based on the SeaHorn verification framework developed at CMU. * Cathy Meadows (NRL, USA): Cryptographic Protocol Analysis Modulo Equational Theories: the Maude-NRL Protocol Analyzer Abstract: In this course we give an overview of the Maude-NPA Protocol Analyzer. Maude-NPA is a tool for the symbolic analysis for cryptographic protocols. It searches for ways in which an active attacker could subvert the protocols' goals, such as authentication or secrecy. Maude-NPA is designed to take account of the algebraic properties of the crypto systems involved, in order to give a more complete representation of both the protocol and the attacker's capabilities. We give a presentation of the theory and principles under which Maude-NPA operates, and also give the students the opportunity to gain hands-on experience with the tool. * Bart Jacobs (KU Leuven, Belgium): VeriFast: Modular verification of sequential and concurrent C and Java programs using separation logic Abstract: VeriFast is a tool that takes as input a C or Java program module annotated with preconditions, postconditions, loop invariants, data structure descriptions and proof hints written in a variant of separation logic, and, without further user interaction and usually in a matter of seconds, returns either "0 errors found", or a failed symbolic execution path. If the tool reports "0 errors found" for all modules of a program, this means no execution of the program accesses unallocated memory, performs a data race, or violates any of the user-specified assertions. The tool operates by symbolically executing each function/method, using a separation logic formula to represent the state of memory, and using an SMT solver to decide proof obligations about data values. In these lectures, you will learn how to use VeriFast to modularly verify sequential and concurrent C and Java programs, and you will also learn how VeriFast operates internally, and why, if it reports "0 errors found", the program does indeed satisfy the specified properties. * Kim Guldstrand Larsen (Aalborg University, Denmark): From Timed Automata to Stochastic Hybrid Games -- Model Checking, Performance Evaluation and Synthesis Abstract: Timed automata and games, priced timed automata and energy automata have emerged as useful formalisms for modeling real-time and energy-aware systems as found in several embedded and cyber-physical systems. During the last 20 years the real-time model checker UPPAAL has been developed allowing for efficient verification of hard timing constraints of timed automata. Moreover a number of significant branches exists, e.g. UPPAAL CORA providing efficient support for optimization, and UPPAAL TIGA allowing for automatic synthesis of strategies for given safety and liveness objectives. Most recently, the branch UPPAAL SMC, a highly scalable new engine has been released supporting (distributed) statistical model checking (and synthesis) of stochastic hybrid automata (and games). The lecture will review the various branches of UPPAAL and their concerted applications to a range of real-time and cyber-physical examples including schedulability and performance evaluation of mixed criticality systems, modeling and analysis of biological systems, energy-aware wireless sensor networks, smart grids and energy aware buildings and battery scheduling. Also, we shall see how other branches of UPPAAL may benefit from the new scalable engine of UPPAAL SMC in order to improve their performance as well as scope in terms of the models that they are supporting. This includes application of UPPAAL SMC to counter example generation, refinement checking, controller synthesis, and optimization. The lab sessions will be based on exercises requiring hands-on experience with UPPAAL, UPPAAL TIGA and UPPAAL SMC (all down-loadable from www.uppaal.org). * John Harrison, Intel (Portland, USA): HOL Light --- from foundations to applications Abstract: The HOL Light theorem prover is a real-world theorem proving program with an unusually simple logical kernel. It has been used both for applications in formal verification, especially of floating-point algorithms, and pure mathematics including the Flyspeck project's formal proof of the Kepler conjecture. We will describe how the system is built up from its low-level foundations and how it can be applied in various areas. In the lab exercises we will try to show not only how to perform basic formal proofs, but how conceptually simple it is to add new "correct by construction" derived rules of inference. * Natarajan Shankar (SRI CSL): Speaking Logic Abstract: Formal logic has become the lingua franca of computing. It is used for specifying digital systems, annotating programs with assertions, defining the semantics of programming languages, and proving or refuting claims about software or hardware systems. Familiarity with the language and methods of logic is a foundation for research into formal aspects of computing. This course covers the basics of logic focusing on the use of logic as a medium for formalization and proof. Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 We expect to provide support for the travel and accommodation for a limited number of students registered at US universities, but welcome applications from non-US students as well as non-students (if space permits). Non-US students will have to cover their own travel and will be charged around US$550 for meals and lodging. Applications should be submitted at the website http://fm.csl.sri.com/SSFT15 Applicants are urged to submit their applications before April 30, 2015, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. We strongly encourage the participation of women and under-represented minorities in the summer school. --- 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 alexander.perucci at graduate.univaq.it Tue Mar 17 17:06:15 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Tue, 17 Mar 2015 17:06:15 +0100 (CET) Subject: [fg-arc] SCFI 2015 Call for Papers (at IEEE SERVICES 2015) Message-ID: <2054994792.39.1426608398705.JavaMail.alexander@MacBook-Pro-di-Alexander.local> ======= SCFI 2015 Call for Papers (at IEEE SERVICES 2015) ======= IEEE Service 2015 Visionary Track on Service Composition for the Future Internet (SCFI 2015) Theme SCFI 2015 (http://scfi2015.disim.univaq.it/) visionary track theme aims at providing innovative contributions to the research and development of novel Service Composition approaches to assist the design, development, validation and execution of service-oriented applications for the Future Internet. SCFI 2014 constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo of Service Composition when projected to the Future Internet. Details on key aims of the visionary track can be found at: http://scfi2015.disim.univaq.it. At SCFI 2015 we will have a Keynote by Paola Inverardi (Tile and abstract to be announced) - http://scfi2015.disim.univaq.it/?page_id=130 == IMPORTANT DATES == Submission Due Date (for all Paper types): April 19, 2015 Decision Notification on papers (Electronic): May 04, 2015 Camera-Ready Copy: May 10, 2015 == PAPER SUBMISSION == All accepted papers will be included in the Proceedings of the IEEE 11th World Congress on Services (SERVICES 2015), which will be published by the IEEE Computer Society.? Selected papers will be invited for extension and inclusion in a special issue of a related journal. We invite high-quality English-language submissions of regular papers, roadmaps, visionary papers, experience reports, industrial/academic reflections, and tool demos. Submissions should follow the IEEE Computer Society proceedings style as per IEEE 8.5 x 11 manuscript guidelines and accepted manuscripts must be under 4 or 8 pages. At least one author of each accepted paper is required to attend SCFI track?and present the paper. == Workshop Chairs == - Marco Autili, University of L?Aquila, Italy marco.autili at univaq.it - Alfredo Goldman, University of S?o Paulo, Brazil gold at ime.usp.br - Massimo Tivoli, University of L?Aquila, Italy, massimo.tivoli at univaq.it == Program Committee == - Alex Norta, Tallinn University of Technology, Estonia - Alexander Jungmann, University of Paderborn, Germany - Amel Bennaceur, The Open University, UK - Andre Ludwig, University Leipzig, Germany - Animesh Pathak, INRIA Paris, France - Antonio Bucchiarone, FBK, Italy - Carlos Canal, University of Malaga, Spain - Dimitris Dranidis, University of Munich, Germany - Elisabetta Di Nitto, Politecnico di Milano, Italy - Federico?Ciccozzi, M?lardalen University, Sweden - Gwen Salaun, INRIA Rhone Alpes, France - Lionel Seinturier, University Lille 1, France - Maria-Eugenia Iacob, University of Twente, Netherlands - Pengwei Wang, University of Pisa, Italy - Salvatore Di Stefano, Politecnico di Milano, Italy - Valerio Schiavoni, UNINE, Switzerland - Vincenzo Ciancia, CNR, Italy - Zachary Oster, University of Wisconsin-Whitewater, US == Publicity Chair == - Alexander Perucci, University of L?Aquila, Italy == Web Chair == - Amleto Di Salle, University of L?Aquila, Italy == List of topics (although not limited to) == Service Composition Methods and Practices for FI applications - Engineering Principles - Development Processes - Requirement Elicitation and Analysis - Design and Programming - Verification and Validation - Model-Driven Development Methods and Tools Run-Time Support for Composing Services in the FI - Middleware (description, publication, discovery, access, etc.) - Convergence and Integration of Centralized and/or Decentralized Approaches - Support for Scalability, Mobility, Heterogeneity Quality of FI Service Compositions - Performance, Reliability and Availability Modeling and Evaluation - Security (vulnerabilities, malwares, countermeasures, etc.) - Trust and Privacy - Sustainability FI Crosscutting Concerns - Pervasiveness - Context- and Resource-awareness - Semantic-awareness - Seamlessness - Adaptation - Decentralized vs. Centralized Service Composition Approaches Tools, Case studies, Use cases - Smart grid, Smart house, Smart cities, Sustainable and Green systems - FI Killer applications From alexander.perucci at graduate.univaq.it Tue Mar 17 17:26:32 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Tue, 17 Mar 2015 17:26:32 +0100 (CET) Subject: [fg-arc] Projects Showcase at STAF'15 - Call for Paper Message-ID: <1687155254.39.1426609615342.JavaMail.alexander@MacBook-Pro-di-Alexander.local> ********** Projects Showcase at STAF'15 - Call for Paper ********** --- Goals and Scope During the last decade a number of national and international financial instruments have been funding research, innovation and development programmes. From local to global scales, many projects have been funded delivering research and industrial innovation through reinforcing the excellence of science, speeding up the industrial leadership, and supporting the growth of new markets. These initiatives have been driving economic growth and creating employment opportunities, by addressing societal challenges, boosting productivity and securing competitiveness. The Projects Showcase event at STAF'15 (http://www.disim.univaq.it/staf2015/projects-showcase/) is dedicated to national and international projects dissemination and cooperation. The event provides the opportunity for researchers and practitioners (from both academia and industry) involved in completed, to be started or ongoing research projects related to Software Technologies - Applications and Foundations, and hence to the topics of the leading conferences federated by STAF'15 and other co-located events. The Projects Showcase welcomes contributions disseminating the objectives of the project, outcomes of specific deliverables, the final outcome of the project, as well as, advances beyond the state of the art, overall innovation potential, exploitation approach and (expected) impact, marketing value, barriers and obstacles. Thus, the Projects Showcase at STAF'15 represents a concrete opportunities for participants to share experience, ideas, on-going work, and knowledge that can lead to fruitful collaborations and cross-sectoral concertations among projects. --- Paper Organization Each submission should follow the following structure and clearly indicate: - name and acronym of the project; - source and amount of funding as well as overall total budget (if possible); - consortium of the project or involved people; - link to the official project web site (if available); - current status of the project and its duration; - brief description of the project overall; - objectives of the projects overall; - final (expected) outcomes of the project overall; - the following information (or part of): o description of the (expected) outcomes of specific work package(s); o description of the (expected) outcomes of specific task(s); o description of the (expected) outcomes of specific deliverable(s); o (expected) advances beyond the state of the art; o overall (expected) innovation potential; o exploitation approach and (expected) impact; o barriers and obstacles, and (expected) marketing value; - references to related work and related projects; --- Paper Format Each submission must be a (max) 8-pages paper formatted according to the Springer LNCS formatting instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), be in PDF, and should include the authors' names, affiliations and contact details. All submissions must be in English. All submissions will be peer reviewed by three members of the international Program Committee of the Projects Showcase track. The reviewers will assess the completeness, the quality of and the relevance of the submission for the target audience. --- Submission Please submit via EasyChair https://easychair.org/conferences/?conf=projectsshowcaseatst Each accepted submission will be part of the Projects Showcase proceedings. At least one author of the accepted submission has to register at the conference and present the accepted submission during the Projects Showcase track. --- Important Dates - Abstract submission: 24 April 2015 - Paper submission: 8 May 2015 - Author notification: 5 June 2015 - Camera-ready version: 19 June 2015 --- Chairs - Marco Autili - www.di.univaq.it/marco.autili - Tom Ritter - http://www.fokus.fraunhofer.de/usr/tom.ritter - Andrey Sadovykh - https://fr.linkedin.com/in/sadovykh - Massimo Tivoli - http://www.di.univaq.it/tivoli --- Program Committee - Nikolaos Georgantas, INRIA, Paris - Rocquencourt, France - Rocco Oliveto, University of Molise, Italy - Valerie Issarny, INRIA, Paris - Rocquencourt, France - Paolo Falcarin, University of East London, UK - Luciano Baresi, Politecnico di Milano, Italy - Antonio Brogi, University of Pisa, Italy - Massimiliano Di Penta, University of Sannio, Italy - Apostolos Zarras, University of Ioannina, Greece - Geir Horn, University of Oslo, Norway - Sebastien Gerard, CEA List, France - Holger Giese, HPI, University of Potsdam, Germany - Reda Bendraou, Universit?? Pierre et Marie Curie, France - Alexander Viehl, FZI, Germany From burger at kit.edu Tue Mar 17 18:03:37 2015 From: burger at kit.edu (Erik Burger) Date: Tue, 17 Mar 2015 18:03:37 +0100 Subject: [fg-arc] 3. Workshop on View-based, Aspect-oriented, and Orthographic Software Modelling (VAO) Message-ID: <55085E69.6090407@kit.edu> --------------------------------------------------------------------- | | | VAO 2015 - Call for Contributions | | | | 3rd Workshop on | | View-Based, Aspect-Oriented and Orthographic Software Modelling | | | | A satellite event of STAF 2015 | | | | 21 July 2015, L'Aquila, Italy | | | --------------------------------------------------------------------- | For a complete PDF version of this call please visit: | | | | http://vao.ipd.kit.edu/uploads/media/vao2015_cfp.pdf | | | --------------------------------------------------------------------- In Model-Driven Engineering, the functionality of complex systems lies beyond the representative capabilities of a single model. Therefore, an increasing variety of heterogeneous models and languages are used in the various phases of software development. Information about a system is consequently spread across these various models with possible overlaps, redundancies, and inconsistencies. To cope with this complexity, which normally exceeds the cognitive capacity of a single individual, various approaches have been developed to re-organize information during systems development. Different approaches that allow system modelling from various perspectives or according to separate concerns focus on such diverse issues that it is difficult to compare and evaluate them. Some of them present solutions for a specific set of modelling languages or views, but make it hard to assess the applicability in other scenarios. Others provide means to define new views on models, but do not consider how redundancy-free models can be established. Goal ---- The goal of this workshop is to bring together researchers and practitioners with an interest in model-driven software development to foster a fruitful cross-pollination of ideas between different communities dealing with the separation and integration of views, concerns, and roles in system modelling. In break-out sessions, potential topics for scientific exchange will be elicited, possible comparison criteria will be collected, and ideas for future colaborations will be discussed. In order to provide a foundation for these discussions, we encourage submissions on new concepts, implementations or formalism as well as submissions on controversial positions, requirements for a common case-study or case-study scenarios. Submissions should contribute to investigating and discussing the benefits and drawbacks of different multi-view modelling approaches or identifying best practices. Topics ------ The workshop is interested in submissions on all topics related to model-driven development that deal with the separation and integration of different perspectives, languages, abstractions, views or concerns. More specifically, this includes: - bridging the gap between different views or metamodels, - generating, defining and evolving different views, models and metamodels, - round-trip engineering and co-evolution of different models, - composition of different views, models and metamodels, - (bidirectional) transformations of metamodels, - avoiding inconsistencies, overlap and redundancies between modelling artefacts, - using role modelling concepts for model-driven engineering, - generating models and metamodels for multiple views or formalisms, - separating and re-integrating cross-cutting concerns or model weaving, - dynamic information hiding for partial views, - coupling of software and non-software models Contributions ------------- Submissions to the workshop are possible in two categories. *Research papers* should describe original work on a problem or solution that pertains to the systematic separation or integration of models, concerns, views, or other modelling artefacts on six to eight pages. *Position papers* should present a well-defined position on how various modelling languages, viewpoints, heterogeneous subsystems, or concerns should be handled in MDE on two to four pages. All paper submissions have to adhere to the ACM SIG Proceedings Style (alternate format). Organizers ---------- Uwe A?mann, Technische Universit?t Dresden, Germany Erik Burger, Karlsruhe Institute of Technology, Karlsruhe, Germany Thomas Goldschmidt, ABB Corporate Research, Ladenburg, Germany Ralf Reussner, Forschungszentrum Informatik (FZI), Karlsruhe, Germany Dissemination ------------- The proceedings of VAO 2015 will be published in the ACM Digital Library. Important Dates --------------- Abstract submission: 24 April 2015 Paper submission: 8 May 2015 Author notification: 5 June 2015 Camera-ready version: 19 June 2015 Workshop date: 21 July 2015 Contact ------- vao-workshop at ira.uka.de Homepage -------- http://vao.ipd.kit.edu/ --------------------------------------------------------------------- -- ______________________________________________________________________ Karlsruhe Institute of Technology (KIT) Faculty of Informatics Institute for Programme Structures and Data Organisation IPD Reussner - Software Design and Quality Dr.-Ing. Erik Burger Researcher Am Fasanengarten 5, Building 50.34, Room 241 76131 Karlsruhe, Germany Phone: +49 721 608-45765 (-45993, secr.) Fax: +49 721 608-45990 Email: burger at kit.edu http://sdq.ipd.kit.edu/people/erik_burger KIT - University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association ______________________________________________________________________ From amedeo.napoli at loria.fr Tue Mar 17 15:15:06 2015 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 17 Mar 2015 15:15:06 +0100 (CET) Subject: [fg-arc] CFP FCA4AI Workshop at IJCAI 2015 ``What can FCA do for Artificial Intelligence?'' (4th Edition) In-Reply-To: <183157342.4884212.1426601648313.JavaMail.zimbra@loria.fr> Message-ID: <540710386.4884537.1426601706473.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Fourth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2015, Buenos Aires, Argentina 25 July-1 August 2015 http://www.fca4ai.hse.ru/2015 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (ECAI 2014 Prague, IJCAI 2013 Beijing, and ECAI 2012 Montpellier) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-1257/, http://ceur-ws.org/Vol-1058/, and http://ceur-ws.org/Vol-939/). This year, we have the chance to organize a new edition of the workshop in Buenos Aires at the IJCAI 2015 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: April 26, 2015 Notification to authors: June 15, 2015 Final version: July 1st, 2015 Workshop: July 25 or 26, 2015 (to be confirmed) SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2015 (to be opened soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From winter at se.uni-oldenburg.de Wed Mar 18 18:57:13 2015 From: winter at se.uni-oldenburg.de (Andreas Winter) Date: Wed, 18 Mar 2015 18:57:13 +0100 Subject: [fg-arc] CFP: MESOCA 2015 in Bremen Message-ID: <8B265A67-FC05-4128-9457-68FB492A07C5@se.uni-oldenburg.de> CALL FOR PAPERS MESOCA 2015 2015 IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments Co-located with the 31st IEEE International Conference on Software Maintenance and Evolution (ICSME 2015), Bremen, Germany BACKGROUND Two important areas substantially influence software development in today?s global environment: Service Oriented Architecture (SOA) and Cloud Computing. From a maintenance and evolution perspective, SOA is confronted with two important challenges: deployed service-oriented systems will have to be maintained and evolved, and legacy systems will continue to use service-orientation to make their legacy functionality available to other systems and applications. Cloud computing brings additional challenges such as privacy, security and lock-in, and offers the developer many deployment choices: private, public or hybrid deployments. On the other vein, Service Oriented Architectures and Cloud Computing also offer extensive support to analyze, maintain, and evolve legacy systems. Services defining fundamental functionality in e.g. reverse engineering, software analysis, and quality improvement can be orchestrated to provide reasonable and adaptive tool chains. SYMPOSIUM GOALS The main goal of MESOCA 2015 is to create a focal point and an ongoing forum for researchers and practitioners to share results and open issues in the areas of maintaining and evolving service-oriented and cloud-based systems or applying these techniques to software maintenance and evolution. We are interested in submissions from both industry and academia on all topics related to migration, maintenance, and evolution of service-oriented systems and cloud-based systems/environments including service and cloud oriented tool support. These include, but are not limited to: - Tools, techniques and methods to support migration to service-oriented architecture and cloud computing environments - Tools, techniques and methods to support maintenance and evolution of service-oriented architecture and cloud computing systems - Tools, techniques and methods applying service oriented and cloud-based systems to software evolution - Evolution patterns of service-oriented and cloud-based systems - Transition patterns to service-oriented and cloud environments - Governance to support system evolution in service-oriented and cloud environments - Leverage of service-orientation best practices in cloud environments - Process models on the migration to service-oriented and cloud-based systems and/or on the maintenance of service-oriented and cloud-based systems - Case studies of migration to service-oriented and cloud environments - Model-Driven Engineering (MDE) for migration to SOA and cloud - Reengineering, identifying, and extracting legacy code for creating services and their implementation - Large-scale testing for service-oriented and cloud-based systems - Methods, tools and techniques to measure and ensure the Quality of Services in cloud-deployed systems - Methods, tools and techniques to achieve adaptation and automation in cloud-deployed systems We are soliciting two types of papers, as follows: - Full papers (up to 8 pages). Full papers can be research, evaluation or experience reports. Research papers describe novel and original solutions (theoretical, methodological or conceptual); evaluation papers evaluate or validate existing tools and methods through empirical studies, case studies, simulations, etc.; experience papers present experiences and challenges encountered in practice. - Short papers (up to 4 pages). Short papers can be position/vision papers that describe novel research positions, targets or approaches that go beyond current research and practice. PAPER SUBMISSION DETAILS All submitted papers will be peer-reviewed (single blind) by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. Accepted papers will appear in the symposium proceedings that will be published in the MESOCA 2015 proceedings, which will be available at the IEEE Digital Library. Papers must be formatted in the IEEE Transactions style (as described here: http://www.icsme.uni-bremen.de/formatting.php and must be submitted online via EasyChair https://easychair.org/conferences/?conf=mesoca2015. IMPORTANT DATES Submission Deadline: May 29, 2015 Acceptance Notification: July 3, 2015 Camera Ready: August 3, 2015 Symposium: October 2, 2015 ORGANIZATION General Chair Andreas Winter, Carl von Ossietzky University, Germany Program Chairs Mike Smit, Dalhousie University, Canada M. Ali Babar, University of Adelaide, Australia Steering Committee Grace A. Lewis, CMU Software Engineering Institute, USA Marin Litoiu, York University, Canada Anca Daniela Ionita, University Politechnica of Bucharest, Romania Program Committee Jens Borchers, Sopra Steria Consulting, Germany Hugo Bruneliere, Ecole des Mines de Nantes, France Jose Delgado, Technical University of Lisbon, Portugal Marios-Eleftherios Fokaefs, York University, Canada Jurriaan Hage, Universiteit Utrecht, The Netherlands Zhen Ming (Jack) Jiang, York University, Canada Yanguo Jing, London Metropolitan University, UK Ravi Khadka, Utrecht University, The Netherlands Jan Mendling, Wirtschaftsuniversit?t Wien, Austria Serge Mankovski, CA, USA Nabor Mendonca, University of Fortaleza, Brazil Hausi M?ller, University of Victoria, Canada Leire Orue-Echevarr?a, Tecnalia Research and Innovation, Spain Massimilano di Penta, University of Sannio, Italy Dana Petcu, West University of Timisoara, Romania Matthias Riebisch, Universit?t Hamburg, Germany Harry Sneed, ANECON GmbH, Austria Gabriel Tamura, Icesi University, Colombia Scott Tilley, Florida Institute of Technology, USA Norha Villegas, Icesi University, Colombia Gottfried Vossen, Universit?t M?nster, Germany Norman Wilde, University of West Florida, USA RELEVANT LINKS Symposium website: http://mesoca.etil.ca/ ICSME website: http://www.icsme.uni-bremen.de/ _______________________________________________________________________ Prof. Dr. Andreas Winter Carl von Ossietzky University Department for Computer Science voice: +49 441 798-2992 Software Engineering winter at se.uni-oldenburg.de 26111 Oldenburg, Germany http://se.uni-oldenburg.de/ _______________________________________________________________________ From mail at ansgarscherp.net Fri Mar 20 20:02:46 2015 From: mail at ansgarscherp.net (Ansgar Scherp) Date: Fri, 20 Mar 2015 20:02:46 +0100 Subject: [fg-arc] 2. CfP DOKTORANDENPROGRAMM der INFORMATIK 2015 in Cottbus / 2nd CfP Doctoral Programme of INFORMATIK 2015 Message-ID: <550C6ED6.1080202@ansgarscherp.net> CfP - Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2015 in Cottbus [Note: English Version below!] === Aufruf zum DOKTORANDENPROGRAMM der INFORMATIK 2015 === === am 1. und 2. Oktober 2015 === === im Rahmen der INFORMATIK 2015 vom 28.09.-02.10.2015 in Cottbus === === siehe http://informatik2015.de/doktoranden0.html === Das Doktorandenprogramm der INFORMATIK 2015 erlaubt jungen Forschern und Forscherinnen ihr Thema in einem Vortrag oder als Poster einem breiten Publikum vorzustellen. Es gibt den DoktorandInnen au?erdem die M?glichkeit sich mit anderen Forschern und Doktoranden auszutauschen, gegenseitige Kontakte zu kn?pfen, Probleme und deren L?sungswege zu diskutieren und R?ckmeldungen von promovierten WissenschaftlerInnen und ProfessorInnen auf verwandten Forschungsgebieten zu erhalten. Neben den wissenschaftlichen Pr?sentationen und Diskussionen steht daher im Doktorandenprogramm der pers?nliche Kontakt und Austausch mit erfahrenen Forschern im Vordergrund. Die eingereichten Beitr?ge werden nach den Kriterien Relevanz, Innovation und Interesse f?r ein gr??eres Publikum bewertet und bei Annahme entweder als Vortrag oder im Rahmen einer Poster-Session pr?sentiert. Einreichungen erbitten wir in L?nge von 10-12 Seiten gem?? den Formatierungsrichtlinien der INFORMATIK (das hei?t im LNI-Format, http://www.gi.de/service/publikationen/autorenrichtlinien.html). Neben einer inhaltlichen Fokussierung der Einreichung ist auch die Einbettung in das ?bergeordnete Thema der Dissertation auf 1-2 Seiten zu beschreiben. Zudem sind auch Einreichungen als Kurzbeitr?ge der L?nge von 4-6 Seiten m?glich. Diese werden im Rahmen der Postersession am Donnerstag pr?sentiert. Eine Einbettung in das ?bergeordnete Thema ist f?r Kurzbeitr?ge nicht erforderlich. Im Sinne eines Doktorandenkolloquiums wird ausdr?cklich gebeten, dass die Beitr?ge in Alleinautorenschaft der Doktoranden erstellt werden. Die akzeptierten Beitr?ge m?ssen von den Doktoranden als Vortrag beziehungsweise als Poster pr?sentiert werden. Die Poster werden gemeinsam mit den Postern der GI Jahrestagung sowie den Postern des Studierendenprogramms der GI Jahrestagung vorgestellt. Auf Wunsch k?nnen die Doktoranden zudem an einem Mentorenprogramm teilnehmen, bei dem f?r das Thema passende erfahrene Forscher ausgesucht und f?r ein pers?nliches Gespr?ch zur Verf?gung stehen. Interesse an der Teilnahme an diesem Programm kann bei der Einreichung der Beitr?ge angegeben werden. Das Mentorenprogramm erfolgt vorbehaltlich einer hinreichenden Passgenauigkeit verf?gbarer erfahrener Forscher und wird rechtzeitig bekannt gegeben. Am 2. Oktober wird zudem ein Promotionsworkshop mit eingeladenen Vortr?gen zum Thema "Wie promoviere ich?" angeboten. Dieser Workshop ist offen f?r alle interessierte Forscher und Forscherinnen der INFORMATIK 2015. ** Wichtige Daten ** - Einreichung der Beitr?ge: 20. April 2015 - Benachrichtigung zur Begutachtung: 18. Mai 2015 - Einreichung der finalen Version: 22. Juni 2015 - Vortr?ge: 1. Oktober 2015 - Vorstellung der Poster: 1. Oktober 2015 - Mentorenprogramm: am 1. Oktober 2015 ** Informationen zur Einreichung ** * Umfang und Gestaltung der Vollbeitr?ge: - 10-12 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK im LNI-Format). - Beitr?ge sollen einen thematischen Fokus haben sowie auf 1-2 Seiten die Einbettung in das ?bergeordnete Thema der Dissertation beschreiben. * Umfang und Gestaltung der Kurzbeitr?ge: - 4-6 Seiten (gem?? den Formatierungsrichtlinien der INFORMATIK im LNI-Format). - Beitr?ge sollen einen thematischen Fokus haben. Eine Einbettung in das ?bergeordnete Thema der Dissertation ist nicht notwendig. * Beitr?ge k?nnen in Deutsch oder Englisch (bevorzugt!) eingereicht werden. * Akzeptierte Vollbeitr?ge werden entweder als Vortrag oder Poster-Pr?sentation vorgestellt. Akzeptierte Kurzbeitr?ge werden als Poster pr?sentiert. * Einreichung von Beitr?gen erfolgt ?ber ConfTool der INFORMATIK 2015. ** SKILL ** Ich darf zudem auf die Studierendenkonferenz der INFORMATIK 2015 (SKILL 2015) aufmerksam machen. Die SKILL 2015 richtet sich an alle Studentinnen und Studenten der Informatik sowie angrenzender Disziplinen mit dem Schwerpunkt Informatik. Sie findet ebenfalls am 1. und 2. Oktober 2015 statt. Die Einreichungsfrist ist der 13. April 2015. Aktuelle Informationen finden Sie auf der Webseite der SKILL 2015 unter http://skill.informatik.uni-leipzig.de. ** Leitung des Doktorandenprogramms ** - Ansgar Scherp, Leibniz-Informationszentrum Wirtschaft und Universit?t zu Kiel - Heinrich T. Vierhaus, BTU Cottbus - Steffen Becker, TU Chemnitz --- CfP - Call for Participation to the Doctoral Programme of INFORMATIK 2015 === Call for DOCTORAL PROGRAMME of INFORMATIK 2015 === === to be held during October 1-2, 2015 === === at INFORMATIK 2015 from September 28 to October 2, 2015 in Cottbus, Germany === === details: http://informatik2015.de/doktoranden0.html === The doctoral programme of INFORMATIK 2015 allows young researchers to present his or her topic to a broader audience. Accepted submissions will be presented either as oral presentation or poster. In addition, the doctoral programme allows the researchers to exchange experiences with other students, build contacts, discuss problems and solutions, and receive feedback from senior researchers in related research areas. Thus, focus of the doctoral programme is besides scientific presentations and discussions also the possibility for socializing with researchers in related fields and getting feedback from experienced researchers. The doctoral programme is held in conjunction with the 45th annual meeting of the German Informatics Society (Gesellschaft f?r Informatik e.V. (GI)). Submitted papers are evaluated by relevance, innovation, and interest for a larger audience. We expect full paper submissions of 10-12 pages adhering to the formatting guidelines of INFORMATIK (i.e., GI LNI format, http://www.gi.de/service/publikationen/autorenrichtlinien.html). The papers should be focused on a particular research question as well as provide a 1-2 page description of the broader topic of the dissertation. In addition, we accept short papers of 4-6 pages. They are presented during the poster session on Thursday. A description of the broader topic of the dissertation is not required for short paper submissions. In terms of a doctoral programme, we kindly ask that the papers are authored and submitted by the doctoral students being the only author. Accepted papers are to be presented by the doctoral students either as oral presentation or poster. The posters will be presented together with the posters of the annual GI meeting and the posters of the students programme. Interested students can sign up for a mentoring programme. The organizers will select experienced researchers and assign slots for a personal coaching. Expression of interest to the mentoring programme can be done when submitting the papers. The mentoring programme is offered under the condition of proper fit to the topic and availability of experienced researchers. It will be given due notice. On October 2, there will be an additional PhD workshop on "How to accomplish a Phd study?". This workshop is open to all interested researchers attending INFORMATIK 2015. ** Important Dates ** Submission of papers April 20, 2015 Notification: May 18, 2015 Camera ready version: June 22, 2015 Presentations: October 1, 2015 Poster session: October 1, 2015 Mentoring programme: October 1, 2015 ** Details about the submission: ** * Full papers: - 10-12 pages (according to formatting guidelines of INFORMATIK in LNI format) - Submissions are expected to focus on a research question as well as describe on 1-2 pages the context of the dissertation * Short papers: - 4-6 pages (according to formatting guidelines of INFORMATIK in LNI format) - Submissions are expected to focus on a research question. Description of the broader context of the dissertation is not required. * Submissions in English are preferred, other submission language is German * Accepted submissions are either presented in oral (full papers) or as poster (full papers/short papers). * Submissions are handled through ConfTool of INFORMATIK 2015. ** Organizers of the Doctoral Programme ** - Ansgar Scherp, Leibniz Information Center for Economics, Kiel and Kiel University, Germany - Heinrich T. Vierhaus, BTU Cottbus, Germany - Steffen Becker, TU Chemnitz From alexander.perucci at graduate.univaq.it Mon Mar 23 14:14:29 2015 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Mon, 23 Mar 2015 14:14:29 +0100 (CET) Subject: [fg-arc] FOCLASA 2015 - 2nd Call For Papers Message-ID: <280367942.40.1427116517335.JavaMail.alexander@mbpdialexander.homenet.telecomitalia.it> [Apologies for multiple postings] -- First Call for Papers -- FOCLASA 2015: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es/ 5 September 2015, Madrid (Spain) In conjunction with CONCUR 2015 ============================================================== FOCLASA 2015 is a workshop colocated with the 25th International Conference on Concurrency Theory (CONCUR 2015 - http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. == IMPORTANT DATES == 17 June 2015: Deadline for abstract submission 19 June 2015: Deadline for paper submission 20 July 2015: Notifications 3 August 2015: Final versions 5 September 2015: Workshop in Madrid == TOPICS OF INTEREST == * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in decentralized self-adaptive systems and various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a Service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Service composition and coordination for Future Internet applications, service orchestration and choreographies, related theories and methods, and possible model-driven development approaches. * Tools and environments for the development of concurrent and customizable self-monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems). * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. In particular, practice, experience and methodologies from the following areas are solicited as well: * Cloud computing * Service-oriented computing * Component-based systems * Grid computing * Large-scale distributed systems * Multi-agent systems * Peer-to-peer systems * Networked embedded systems * Business process modeling Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. == PAPER SUBMISSION == Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages in the EPTCS style (http://style.eptcs.org/) and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2015 Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn. The authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper. All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submissions to WS-FM/BEAT (a CONCUR co-located event - International Symposium on Web Services, Formal Methods and Behavioural Types - http://www.projects.science.uu.nl/WSFM- BEAT2015/index.php) and FOCLASA are allowed for those papers that may potentially enhance both venues. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the "Regular paper submitted also to WS- FM/BEAT? category in the FOCLASA EasyChair site). Reviews may be shared between WS-FM/BEAT and FOCLASA. Submissions accepted by WS-FM/BEAT will be considered automatically withdrawn from FOCLASA. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a separate volume. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FOCLASA 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop. == PROGRAM COMMITTEE CHAIRS == * Jose Proenca iMinds-Distrinet, KU Leuven, Belgium and HASLab/INESC TEC, University of Minho, Portugal jose.proenca at cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tivoli at univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Marco Autili, Univ. of L'Aquila, Italy * Luis Barbosa, Universidade do Minho, Portugal * Steffen Becker, University of Paderborn, Germany * Javier Camara, Carnegie Mellon University, USA * Carlos Canal, University of Mal?ga, Spain * Carlos Cuesta, Rey Juan Carlos University, Spain * David Garlan, Carnegie Mellon University, USA * Alfredo Goldmann, University of S?o Paulo, Brazil * Keijo Heljanko, Aalto University, Finland * Jean-Marie Jacquet, University of Namur, Belgium * Christian Krause, SAP Innovation Center, Germany * Sun Meng, Peking University, China * Liliana Pasquale, University of Limerick, Ireland * Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Mirko Viroli, University of Bologna, Italy == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Mal?ga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Mal?ga, Spain * Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France From pmt6sbc at maths.leeds.ac.uk Wed Mar 18 15:48:16 2015 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Wed, 18 Mar 2015 14:48:16 GMT Subject: [fg-arc] Computability in Europe 2015: Call for Informal Presentations Message-ID: <201503181448.t2IEmGAL029341@maths.leeds.ac.uk> ------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ ------------------------------------------------------------------- FUNDING DEADLINE APPROACHING - ASL STUDENT TRAVEL GRANTS: March 28, 2015 SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015 ------------------------------------------------------------------- CALL FOR INFORMAL PRESENTATIONS There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and one page) by: APRIL 24, 2015 Please submit your abstract electronically, via EasyChair , selecting the category "Informal Presentation". You will be notified whether your talk has been accepted for informal presentation usually within a week or two after your submission. If you intend to apply for the ASL Student Travel Award, you might need us to confirm that your are going to give a presentation at CiE 2015 (applications of students who are presenting get higher priority). Therefore, we would like to ask you to submit your informal presentations by March 25 so that we can send you the notification before the ASL deadline of March 28. FUNDING OPPORTUNITIES: CiE 2015 has received funding from the ASL (Association for Symbolic Logic) and EATCS (European Association for Theoretical Computer Science) that allows students who are members of ASL or EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Preference will be given to presenters of accepted papers. Applications for ASL travel grants have to be addressed directly to ASL, with a strict deadline of March 28, 2015. Applications for EATCS travel grants have to be sent to cie2015 at fmi.unibuc.ro prior to the early registration deadline. ___________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015 ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE 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 acdmkrd at gmail.com Tue Mar 24 08:27:21 2015 From: acdmkrd at gmail.com (Dr. Cyrus F Nourani) Date: Tue, 24 Mar 2015 08:27:21 +0100 Subject: [fg-arc] IJCAI Replies Message-ID: Subject: Apple Aademic Series Invitational on innovation and computing chapters Vol 1 and 2 Abstracts now- Chapter Props. May 15, 2015 To: agents at cs.umbc.edu NEW BOOK SERIES: INNOVATION MANAGEMENT AND COMPUTING _CALL FOR BOOK CHAPTERS_ SERIES EDITOR: Cyrus F. Nourani, PhD Research Professor, Simon Fraser University, British Columbia, Canada; Academic R&D at Berlin, Fraunhofer-IMK, and M?nich Germany. Additional affiliation: CBS Copenhagen. E-mail: Acdmkrd at gmail.com or cyrusfn at alum.mit.edu VOLUMES IN THE SERIES: VOLUME 1: INNOVATION MANAGEMENT AND COMPUTING Dr. Cyrus F. Nourani and colleagues _Please submit proposals for chapters by May 15, 2015_ Innovation is the generation and application of new ideas and skills to produce new products, processes, and services that improve economic and social prosperity. This includes management and design policy decisions and encompasses innovation research, analysis, and best practice in enterprises, public and private sector service organizations, government, regional societies and economies. This collection will cover important new innovations in the area of management and computing, particularly business planning for innovations. Areas include:. *Business model innovations *Eco Systems and context driven innovation modeling * strategic decision systems * economics modeling * enterprise modeling * predictive modeling * ERP and Innovation management * task process management * systems that assist to generate greater ideas faster * measuring relevant data on ECO systems * idea streams and innovation platforms * venture start-up management * Innovation platforms VOLUME 2: COMPUTING PREDICTIVE ANALYTICS, BUSINESS INTELLIGENCE, AND ECONOMICS MODELS Dr. Cyrus F. Nourani and colleagues _Please submit proposals for chapters by _July 2, 2105 - Show quoted text - * Businessinterfacedesigns * Business planning uncertainty models * Big data, data reduction, and governance * EC and enterprise models * ERP * Enterprisemodeling * Datasciences * Databases and knowledge bases * Multimediadatamining Authors interested may submit a short proposal [title, authors' names and contact information, summary, keywords] of the chapter by email: Acdmkrd at gmail.com. Authors who cannot meet this deadline of submission of full chapter can indicate their proposed date of submission for consideration. There is no fee for inclusion of chapters. Chapters are filled based on direct or group invitations, with priority, to completing a volume based on the dates received, except for direct invitations. Please send your interest abstract as soon as possible. PLEASE DO NOT SUBMIT COPYRIGHTED ARTICLES that have been published unless you have reprint permission from the original publisher. Manuscript specifications: e-copy of the full chapter submitted in Word on a letter-sized paper with no line numbering, a line spacing of 1.5, Times New Roman 11-point font size, margins top/bottom of 1", margins left/right of 1.25", and editable equations with an equation editor in WORD2010. A typical chapter will include the title, authors' names with affiliation/email/mailing address, introduction, literature review (if applicable), theoretical approach (if applicable), materials and methods, results and discussion, conclusions, summary, detailed list of keywords, references using numbering system and alphabetical order, any appendix, etc. Also, we prefer a numbering system for citations in the body of a chapter. More complete information is available upon request. Apple Academic exciting new series invitation on Innovation and computing link for welcoming your brilliant chapters. Please send abstract first ASAP to my either emails: Acdmkrd@ gmail.com [1] or cyrusfn@ alum.mit.edu [2]. On the subject volume please put Apple Academic Publishers Vol. number. There are ten volumes for your innovative accomplishments on computing science and engineering, cognitive, affective haptic computing and neuroscience, economics and predictive modeling, management science and mathematics, over two years. http://appleacademicpress.com/public_files/NEW_BOOK_SERIES-InnovationManagementandComputing.pdf [3] Vol 1 priority now On 3/17/15, Amedeo Napoli wrote: > ------------------------------------------------------------------------------------------------------------------- > > Call for Papers > ------------------------------------------------------------------------------------------------------------------- > > > -- FCA4AI (Fourth Edition) -- > ``What can FCA do for Artificial Intelligence?'' > co-located with IJCAI 2015, Buenos Aires, Argentina > 25 July-1 August 2015 > http://www.fca4ai.hse.ru/2015 > > > ------------------------------------------------------------------------------------------------------------------- > > > General Information. > > The preceding editions of the FCA4AI Workshop (ECAI 2014 Prague, IJCAI 2013 > Beijing, and ECAI 2012 Montpellier) showed that many researchers working in > Artificial Intelligence are indeed interested by a powerful method for > classification and mining such as Formal Concept Analysis (see > http://ceur-ws.org/Vol-1257/, http://ceur-ws.org/Vol-1058/, and > http://ceur-ws.org/Vol-939/). > This year, we have the chance to organize a new edition of the workshop in > Buenos Aires at the IJCAI 2015 Conference. > > Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed > at data analysis and classification. FCA allows one to build a concept > lattice and a system of dependencies (implications) which can be used for > many AI needs, e.g. knowledge processing involving learning, knowledge > discovery, knowledge representation and reasoning, ontology engineering, and > as well as information retrieval and text processing. Thus, there exist many > ``natural links'' between FCA and AI. > > Recent years have been witnessing increased scientific activity around FCA, > in particular a strand of work emerged that is aimed at extending the > possibilities of FCA w.r.t. knowledge processing, such as work on pattern > structures and relational context analysis. These extensions are aimed at > allowing FCA to deal with more complex than just binary data, both from the > data analysis and knowledge discovery point of view and from the knowledge > representation point of view, including, e.g., ontology engineering. All > these works extend the capabilities of FCA and offer new possibilities for > AI activities in the framework of FCA. > > Accordingly, in this workshop, we will be interested in two main issues: > > - How can FCA support AI activities such as knowledge processing (knowledge > discovery, knowledge representation and reasoning), > learning (clustering, pattern and data mining), natural language > processing, information retrieval. > - How can FCA be extended in order to help AI researchers to solve new > and complex problems in their domain. > > The workshop is dedicated to discuss such issues. > > TOPICS OF INTEREST include but are not limited to: > > - Concept lattices and related structures: description logics, pattern > structures, relational structures. > - Knowledge discovery and data mining with FCA: association rules, itemsets > and data dependencies, attribute implications, data pre-processing, > redundancy and dimensionality reduction, classification and clustering. > - Knowledge engineering and ontology engineering: knowledge representation > and reasoning. > - Scalable algorithms for concept lattices and artificial intelligence ``in > the large'' (distributed aspects, big data). > - Applications of concept lattices: semantic web, information retrieval, > visualization and navigation, pattern recognition. > > The workshop will include time for audience discussion for having a better > understanding of the issues, challenges, and ideas being presented. > > IMPORTANT DATES: > > Submission deadline: April 26, 2015 > Notification to authors: June 15, 2015 > Final version: July 1st, 2015 > Workshop: July 25 or 26, 2015 (to be confirmed) > > > SUBMISSION DETAILS: > > The workshop welcomes submissions in pdf format in Springer's LNCS style. > Submissions can be: > - technical papers not exceeding 8 pages, > - system descriptions or position papers on work in progress not > exceeding 4 pages > > Submissions are via EasyChair at > https://www.easychair.org/conferences/?conf=fca4ai2015 (to be opened soon) > > The workshop proceedings will be published as CEUR proceedings. > A selection of the best papers presented at the workshop will be considered > for a special issue of a high-level journal. > > WORKSHOP CHAIRS: > > Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia > Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France > Sebastian Rudolph Technische Universitaet Dresden, Germany > > PROGRAM COMMITTEE (in constitution) > > ------------------------------------------------------------------------------------------------------------------- > > ------------------------------------------------------------------------------------------------------------------- > > > -- CyrusFN Akdmkrd.tripod.com Projektakdmkrd.tripod.com From Muzaffar.Igamberdiev at unisa.edu.au Mon Mar 30 01:08:10 2015 From: Muzaffar.Igamberdiev at unisa.edu.au (Muzaffar Igamberdiev (IEE)) Date: Sun, 29 Mar 2015 23:08:10 +0000 Subject: [fg-arc] EDOC 2015: Final Call for Paper Message-ID: <6873fd1e00a1419dbaeab00a9ad45dec@ITUPW-EXMBOX2A.UniNet.unisa.edu.au> We apologize if you receive this message more than once. --- ============================================================================= Call for Papers: IEEE EDOC 2015 - The 19th IEEE International EDOC Conference ============================================================================= EDOC 2015 - Adelaide, Australia September 21-25, 2015 http://www.edocconference.org http://twitter.com/ieee_edoc IEEE EDOC 2015 is the nineteenth conference in a series that provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The IEEE EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business processes, people and technology. EDOC 2015 welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC 2015 is "Leveraging social phenomena and Big Data in the enterprise of the future" and seeks to explore innovative approaches synthesizing concepts of (1) data science, (2) enterprise computing and (3) social networks. Expert panel discussions and keynotes will address current topics and issues in this domain. Topics ====== The IEEE EDOC conference seeks high-quality contributions addressing the domains, life-cycle issues, and realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to: Enterprise Architecture and Enterprise Application Architecture Enterprise architecture frameworks Enterprise architecture analysis, assessment and prediction Cloud computing and the evolution of enterprise architectures Enterprise ontologies Model-based Approaches Model-driven architectures and model-driven software development Modeling based on domain specific languages (DSL) Approaches based on reference architectures Collaborative development and cooperative engineering issues Service-oriented Architectures (SOA) and Enterprise Service Architectures (ESA) Service engineering and evolution of related specifications Semantics-based service engineering Service composition, orchestration and choreography Enterprise service bus Complex event processing and event-driven architectures Governance in Service-oriented Architectures Service policies, contract definition and enforcement Security/privacy policy definition and description languages Security/privacy policy interoperability Business process management (BPM) Business process modeling, verification, configuration and implementation Process-aware information systems (PAIS), Human-centric PAIS, Social BPM Managing business process variability, adaptation and evolution in PAIS Process mining and its application in business analytics Distributed and cross-organizational business processes Data-intensive processes Cloud impact on BPM, business processes in the cloud Emerging BPM paradigms (e.g., adaptive case management, data-driven processes) Business analytics Modeling and predictive analytics for enterprise computing Data-driven enterprise strategy Collaboration enterprise analytic platforms Business process intelligence (e.g., process performance management) Continuous, online analytics for big data in the enterprise Business rules Business rule languages and engines Relation between business rules and business processes Business rules and service computing Business rules and compliance management, business process compliance Information integration and interoperability Business object modeling methodologies and approaches Taxonomies, ontologies and business knowledge integration Master data management, data mining and (real-time) data warehousing Flexible information models and systems (e.g., object-driven processes) Data quality and trustworthiness Networked Enterprise Solutions Enterprise interoperability, collaboration and its architecture Virtual organizations, including multi-agent system support Cross-enterprise collaboration in a world of cloud, social and big data Digital ecosystems Trust management Enterprise applications deployment and governance Performance and operational risk prediction and measurement Quality of service (QoS) and cost of service (CoS) Management and maintenance of enterprise computing systems Information assurance Human and social organizational factors in enterprise computing Emerging trends in distributed enterprise applications Social information and innovation networks, social media impact on the enterprise People-centric collaboration systems, people-centric services Private and public cloud computing Infrastructures Idea management and crowdsourcing Enterprise 2.0, Web 2.0 and beyond Mobile enterprise services Industry specific solutions (e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications) Research and public sector collaboration (e.g. in e-health, e-government, e-science) Submission Guidelines ===================== Two types of paper submissions are solicited: a. scientific research papers, and b. industry experience reports or case studies. Scientific research papers should describe original results not been accepted or submitted for publication elsewhere. These papers will be evaluated based on their scientific and technical contribution, originality, and relevance. In turn, industry experience reports should provide new insights gained in case studies or when applying enterprise computing technology in practice; industry experience reports shall further provide important feedback about the state of practice and pose challenges for researchers. These papers will be evaluated based on their appropriateness, significance, and clarity. Submissions should be full papers with 8-10 pages. All submissions must be made in PDF format and comply with the IEEE Computer Society Conference Proceedings Format Guidelines. They should be made via the electronic submission system of the EDOC Conference Management system hosted on EasyChair: http://www.easychair.org/conferences/?conf=edoc2015 All papers will be refereed by at least 3 members of the international program committee. All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. Post Conference Publication =========================== The authors of a collection of selected papers will be invited to prepare a substantially revised and extended version of their papers for publication in a special journal issue. The journal will be announced in due course. Important Dates: ================ Conference paper abstract submission (optional): April 4, 2015 Conference full paper submission due: April 11, 2015 Conference paper acceptance notifications: June 1, 2015 Conference camera ready papers due: July 4, 2015 Workshop proposal submissions: January 26, 2015 Workshop proposal acceptance notification: February 16, 2015 Workshop paper submissions: April 27, 2015 Workshops paper acceptance notifications: June 15, 2015 Workshops camera-ready papers due: July 4, 2015 Conference: September 21-25, 2015 Conference Committees ===================== General Chairs Aditya Ghose, University of Wollongong, Australia Georg Grossmann, University of South Australia, Australia Program Chairs Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada Wolfgang Mayer, University of South Australia, Australia Workshop Chairs Jens Kolb, Ulm University, Germany Barbara Weber, University of Innsbruck, Austria Demo Chairs Matt Selway, University of South Australia Chee-Fon Chang, University of Wollongong, Australia Publicity Chairs Hoa Khanh Dam, University of Wollongong, Australia Muzaffar Igamberdiev, University of South Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at urv.cat Sun Mar 22 09:28:38 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 22 Mar 2015 09:28:38 +0100 Subject: [fg-arc] InfoSec 2015: registration deadline 3 April Message-ID: <61667D044B9848D9A903C6E12ED9084A@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 4th registration deadline: April 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 31 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific background knowledge may be required for some of them. InfoSec 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Cr?peau (McGill University, Montr?al), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Herv? Debar (T?l?com SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Rei Safavi-Naini (University of Calgary), [introductory/intermediate] Information-theoretically Secure Communication Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Mart?n-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Accommodation for participants is available at the Colegio Mayor Deusto (student hostel). Since there may exist problems to find accommodation in Bilbao at a reasonable price during the week of the event, the organizers' advice is to book as soon as possible, and anyway by 27 May. To do it, write to Carlson Wagonlit Travel at estudiantesud at carlsonwagonlit.es CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat ACKNOWLEDGEMENTS: Deusto University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa. http://www.avast.com