From jose.proenca at di.uminho.pt Tue Feb 2 12:06:57 2016 From: jose.proenca at di.uminho.pt (jose.proenca at di.uminho.pt) Date: Tue, 2 Feb 2016 11:06:57 +0000 Subject: [fg-arc] COORDINATION 2016: 1 week deadline extension Message-ID: <998719c6-7799-493b-be0b-270639bcea1d@SRV-EXCH-CAS-01.uminho.pt> The abstract and paper submission deadlines for COORDINATION 2016 have been extended by 1 week. The new deadlines are: - Abstract Submission: February 8, 2016 - Paper Submission: February 15, 2016 You can find below the updated call for papers. Best wishes, Alberto and José ----------------- COORDINATION 2016 18th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://coordination2016.discotec.org/ June 6-8, 2016, Heraklion, Greece IMPORTANT DATES Abstract Submission: February 8, 2016 Paper Submission: February 15, 2016 Author Notification: March 21, 2016 Camera ready copy: April 4, 2016 Early registration: May 9, 2016 Conference: June 6-8, 2016 The time of all deadlines is 24:00 AoE (UTC-12). SCOPE COORDINATION 2016 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2016 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and parallel software-intensive computing systems. COORDINATION 2016 seeks as well to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more coarse-grained (cognitive, intelligent, goal-oriented) components. Main topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of: * Models and paradigms * Programming abstractions and languages * Foundations, types and semantics * Specification and verification * Middlewares and architectures * Distributed, mobile and networked computing * Parallel and high-performance computing * Nature- and bio-inspired approaches * Self-adaptation, self-organisation and autonomic computing * Collective systems, ensembles, federations, and systems-of-systems * Teamwork, distributed problem solving and collective intelligence * Multiagent systems, auction, negotiation, argumentation, and rational agents * Trust, policies, reputation and security * Applications and case studies SUBMISSION AND PUBLICATION We solicit papers describing thorough and complete research results and/or experience reports on applications and cases studies of coordination. The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (http://ww.springer.com/lncs). Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 16 pages in length, including figures and references, prepared using Springer's LNCS style. The inclusion of appendices that go beyond the limit of 16 pages is allowed. The appendices should be meant to ease the task of the reviewers but the paper should be readable without them. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://easychair.org/conferences/?conf=coordination2016 Post-proceedings publication: Relevant, high-quality papers will be invited to a special issue of a highly reputed journal. Previous special issues are under preparation within the journal on Logical Methods in Computer Science (http://www.lmcs-online.org/). INVITED SPEAKER Vijay Saraswat (IBM T.J. Watson Research Lab, USA) PC CHAIRS Alberto Lluch Lafuente (Technical University of Denmark, Denmark) José Proença (KU Leuven, Belgium and University of Minho, Portugal) PROGRAMME COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Luís Barbosa (University of Minho, Portugal) Jacob Beal (Raytheon BBN Technologies, USA) Simon Bliudze (EPFL, Switzerland) Frank de Boer (CW and Leiden University, The Netherlands) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Einar Broch Johnsen (University of Oslo, Norway) Roberto Bruni (University of Pisa, Italy) Tevfik Bultan (University of California, Santa Barbara, USA) Carlos Canal (University of Málaga, Spain) Dave Clarke (Uppsala University, Sweden) Stephen Cranefield (University of Otago, New Zealand) Ferruccio Damiani (Università di Torino, Italy) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Tom Holvoet (KU Leuven, Belgium) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Rania Khalaf (IBM T.J. Watson Research Center, USA) Ramtin Khosravi (University of Tehran, Iran) Natallia Kokash (Leiden University, the Netherlands) Mieke Massink (CNR-ISTI, Italy) Hernán Melgratti (University of Buenos Aires, Argentina) Sun Meng (Peking University, China) Flemming Nielson (Technical University of Denmark, Denmark) Munindar Singh (North Carolina State University, USA) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Vasco T. Vasconcelos (University of Lisbon, Portugal) Mirko Viroli (University of Bologna, Italy) Takuo Watanabe (Tokyo Institute of Technology, Japan) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) STEERING COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) From afb21 at cam.ac.uk Tue Feb 2 16:19:50 2016 From: afb21 at cam.ac.uk (Alan Blackwell) Date: Tue, 2 Feb 2016 15:19:50 -0000 Subject: [fg-arc] IEEE Visual Languages and Human-Centric Computing CfP Message-ID: <05a201d15dcd$290669a0$7b133ce0$@cam.ac.uk> Call for Papers: IEEE Symposium on Visual Languages and Human-Centric Computing September 4-8, 2016 - Cambridge, UK Deadline for paper submission is Friday 18 March We solicit original research papers on tools and languages for programming, modelling and communicating, with a focus on ease of use. This includes tools and languages for both general audiences (e.g., professional or novice programmers, or the public) and domain-specific audiences (e.g., people working in healthcare, urban design or scientific domains). It encompasses languages and tools for expressing forms of computation and reasoning through any means (e.g., visual, textual, form-based, haptic) and in any computing context (e.g., cloud, web, desktop, mobile or pervasive computing). We have a special emphasis at VL/HCC 2016 on Tools and Techniques for Early Stage Problem Formulation. We particularly encourage work on capturing hand-drawn visual languages, tools that relax the syntax requirements of a visual language and human studies of people formulating and exploring problems using visual languages. In addition to papers, we also invite contributions through linked Workshops, showpieces (Posters & Demos), and participation in our Graduate Consortium. VL/HCC will be co-located in Cambridge, UK with PPIG 2016 (the Psychology of Programming Interest Group). VL/HCC and PPIG timetables will allow full participation in both conferences (PPIG will take place from 8-11 September). Full details are available at our website: https://sites.google.com/site/vlhcc2016/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Thu Feb 4 00:02:01 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 04 Feb 2016 00:02:01 +0100 Subject: [fg-arc] WebST 2016: early registration 14 February Message-ID: <545102060a010b05045257040d0b5900030007535154005003500c550f05050550570d070a5c09060605510a53@grlmc_ip-zone_com-6> WebST 2016: early registration 14 February*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: February 14, 2016 ---   ********************************************************   AIM:   WebST 2016 is a 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, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   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 knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 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:   WebST 2016 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 University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), tba   Amit P. Sheth (Wright State University), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Marc Najork (Google), [introductory] Search Engine Architecture   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/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:   Suggestions of accommodation will be available on the webpage in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From uwe.zdun at univie.ac.at Thu Feb 4 17:00:02 2016 From: uwe.zdun at univie.ac.at (Uwe Zdun) Date: Thu, 4 Feb 2016 17:00:02 +0100 Subject: [fg-arc] Aufruf zur Teilnahme: Software Engineering Tagung 2016 Message-ID: <56B37582.5090403@univie.ac.at> Sehr geehrte/r Kollege/in, ich möchte Sie hiermit auf das Programm der Software Engineering Tagung 2016 aufmerksam machen: Die SE 2016 führt das erfolgreiche Format der letzten Jahre für das wissenschaftliche Programm fort. Alle Vorträge stellen hochkarätige Forschungsbeiträge vor, die in den vergangenen zwei Jahren auf internationalen Spitzenkonferenzen oder in führenden Fachzeitschriften der Softwaretechnik veröffentlicht wurden. Überdies wird ein interessantes Programm mit spannenden Hauptvorträgen und Workshops geboten. Die Hauptvorträge sind: * Prof. Dr. Wilhelm Hasselbring, Universität Kiel: Continuous Software Engineering * Prof. Dr. Uwe Aßmann, TU Dresden: Working with Robots in Smart Homes and Smart Factories – Robotic Co-Working Alle relevanten Informationen finden Sie unter: http://se2016.conf.tuwien.ac.at/ Wir würden uns freuen, Sie in Wien begrüßen zu dürfen! Mit freundlichen Grüßen aus Wien, Konferenz­vorsitzender: Jens Knoop, TU Wien Programm­komitee­vorsitzender: Uwe Zdun, Universität Wien From riebisch at informatik.uni-hamburg.de Thu Feb 4 22:28:57 2016 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Thu, 4 Feb 2016 21:28:57 +0000 Subject: [fg-arc] Position announcement: Tenure Track Assistant Professor Software Engineering - University of Groningen Message-ID: <297B1B64-F33F-4854-A42F-3D5A50D8EFA9@exchange.informatik.uni-hamburg.de> - Please forward this information to colleagues who might be interested - Position announcement - University of Groningen Tenure Track Assistant Professor Software Engineering ----------------------------------------------------- Job description --------------- The vacancy concerns an assistant professor in Software Engineering at the Johann Bernoulli Institute for Mathematics and Computer Science (JBI) of the Faculty of Mathematics and Natural Sciences (FMNS). The position will be embedded in the Software Engineering group (Prof. Paris Avgeriou). The vacancy is positioned broadly within Software Engineering, though emphasis is given on software requirements and software design and architecture. Of particular relevance are empirical research methods and new trends such as security, software analytics, systems of systems, big data in software, and autonomous or self-managing software. These trends are also central in the recently established cross-disciplinary research theme on Data Science and Systems Complexity (DSSC) within the FMNS. The assistant professor is expected to establish an autonomous research programme within the JBI. In such a programme the interaction with other disciplines within the Institute, with the DSSC theme of the FMNS, and with the University as a whole will play an important role. Qualifications -------------- You will need to have the following qualifications: • A Ph.D. degree in the field of Computer Science, Information Systems, or related discipline; • Two years of postdoctoral experience abroad (industrial experience can partly compensate for this requirement); • Excellent research qualities, as evidenced by a publication record in international peer-reviewed journals and renowned conferences, and a relevant international network; • Teaching and organizational experience appropriate to career stage; • Evidence of successful acquisition of external funding appropriate to career stage; • Being a team player with good communication skills. Organisation ------------ The Faculty of Mathematics and Natural Sciences is offering young, talented researchers, tenure track assistant professor positions. These staff members are expected to develop their own line of research within a particular field. The faculty’s career policy is characterised by flexible personnel management with a focus on the individual. Academic achievements are seen as being central to the academic career, and ample opportunities for professional development and supplementary training and education are offered. Arrangements for training in the area of teaching will be made with all new employees. In exceptional cases when candidates with higher qualifications will be available, these candidates may be embedded according to the faculty policy. The University of Groningen has adopted an active policy to increase the number of female scientists across all disciplines of the university. Therefore, female candidates are especially encouraged to apply. The appointment will be on a temporary basis for a maximum of 6 years according to the document "Career Paths in the Sciences" (www.rug.nl/fwn/careerpathsinScience) of the Faculty of Mathematics and Natural Sciences. On completion of 5 years of employment there will be an assessment of performance based on established criteria including research and teaching qualifications. If the outcome of the assessment is positive, the assistant professor will be promoted to the rank of adjunct (associate) professor with tenure and ius promovendi. At the end of a further 4 -7 year period there will be another assessment aimed at a promotion to full professor. Conditions of employment ------------------------ The University of Groningen can offer a salary dependent on qualifications and work experience from € 3,324.- gross per month up to a maximum of € 5,171.- gross per month (scale 11/12) for a full-time position. Applications ------------ Interested candidates should submit a complete application composed of: (i) a letter of motivation, (ii) a complete curriculum vitae, (iii) a list of publications, (iv) a list of five self-selected "best papers", (v) a statement about teaching goals and experience, as well as (vi) a brief description of scientific interests and research plans of maximum 3 pages. Applicants must provide the names of five people as references, complete with title, address and contact information (i.e., phone number and e-mail address). You may apply for this position until March 1, 2016 by means of the application form (click on "Apply" on this page http://www.rug.nl/about-us/work-with-us/job-opportunities/overview?details=00347-02S0004RHP). Information ----------- For information you can contact: Prof. Paris Avgeriou, Head of the Software Engineering group, +31 50 3637057, p.avgeriou at rug.nl, http://www.cs.rug.nl/~paris/ Prof. J.B.T.M. Roerdink, Chairman of the board of the Johann Bernoulli Institute, +31 50 36339 31, j.b.t.m.roerdink at rug.nl About the research group: http://www.cs.rug.nl/search/ -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 496 bytes Desc: Message signed with OpenPGP using GPGMail URL: From hasselbring at email.uni-kiel.de Mon Feb 8 15:36:01 2016 From: hasselbring at email.uni-kiel.de (Wilhelm (Willi) Hasselbring) Date: Mon, 8 Feb 2016 15:36:01 +0100 Subject: [fg-arc] Call for Papers: Theme Issue on the Software Architect's Role in the Digital Age Message-ID: <56B8A7D1.8080006@email.uni-kiel.de> Theme Issue on the Software Architect's Role in the Digital Age Call for Papers Submission deadline: 1 April 2016 Publication: November/December 2016 http://www.computer.org/web/computingnow/swcfp6 After more than a decade of technical development and training programs, have we managed to clarify an architect’s roles, responsibilities, skills, competencies, and career paths? Even if we have, the architect’s role will likely be a moving target in light of recent technology innovations, such as big data, cloud computing, and mobile computing, as well as advances in method engineering, such as agile practices, continuous integration and deployment, and DevOps. In addition, architects must deal with constantly changing social and organizational interactions. These trends provide architects with more and richer information channels but significantly extend the design space—that is, the choices to be made and available options. Challenges such as changing technologies, software becoming ubiquitous, and an industrial revolution empowered by computing must be mastered by software architects, whose roles and responsibilities are also changing at the same time. IEEE Software seeks submissions for a theme issue on the software architect’s role in software development. The issue aims to be a guide for architects and aspiring architects by featuring case studies, good and bad experiences, and examples of proven practices. Possible topics include, but aren’t limited to, the architect’s impact, including social, organizational, and technical aspects; architect career paths and competencies; the skills and responsibilities that belong and don’t belong to architects, for educating undergraduate students and graduates to be successful architects; growing and managing the body of knowledge related to software architecture practice; empirical studies of how practicing professionals use software architecture tools and techniques; practical experiences and industry case studies on how the architect’s role has facilitated or hindered success; industry experiences from software architecture education, certification, and career development initiatives; and industry case studies from application domains requiring specific skills (for example, multidisciplinary systems of systems, cyber-physical systems, platform-as-a-service and other cloud computing offerings, big data, and mobile computing). Questions? For more information about the focus, contact the guest editors: Gregor Hohpe, Allianz, Germany ghohpe at gmail.com Ipek Ozkaya, Carnegie Mellon Software Engineering Institute, USA ozkaya at sei.cmu.edu Uwe Zdun, University of Vienna, Austria uwe.zdun at univie.ac.at Olaf Zimmermann, University of Applied Sciences Rapperswil, Switzerland ozimmerm at hsr.ch Submission Guidelines Manuscripts must not exceed 4,700 words, including figures and tables, which count for 250 words each. Submissions in excess of these limits may be rejected without refereeing. The articles we deem within the theme and scope will be peer-reviewed and subject to editing for magazine style, clarity, organization, and space. We reserve the right to edit the title of all submissions. Be sure to include the name of the theme or theme issue for which you’re submitting. Articles should be novel, have a practical orientation, and be written in a style accessible to practitioners. Overly complex, purely research-oriented or theoretical treatments aren’t appropriate. IEEE Software doesn’t republish material published previously in other venues, including other periodicals and formal conference or workshop proceedings, whether previous publication was in print or electronic. General author guidelines: http://www.computer.org/web/peer-review/magazines Submission details: software at computer.org Submit an article: https://mc.manuscriptcentral.com/cs-ieee From edocconference2016 at gmail.com Tue Feb 9 16:08:54 2016 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Tue, 9 Feb 2016 16:08:54 +0100 Subject: [fg-arc] 1st Call for Demo and Workshop Papers: IEEE EDOC conference 2016 Message-ID: <56BA0106.2060204@gmail.com> We apologize if you receive this message more than once. --- This is the first call for workshop and demo papers to the IEEE EDOC conference 2016. The 20th IEEE International EDOC Conference (EDOC'16) will be complemented by several workshops. These workshops are meant to facilitate the exchange of ideas and experiences between active researchers and practitioners as well as to stimulate discussions on new and emerging issues in line with the conference topics. Workshops may concentrate in-depth on research topics, or may also be devoted to application and/or standardization issues. The following 10 workshops will take place in conjunction with EDOC'16: AdaptiveCM RW-BPMS ProMoS EMA ModTools CeSCoP IOPs EVL-BP TEAR SoEA4EE Also check out the webpage for updates and news: http://edoc2016.univie.ac.at/index.php?option=com_content&view=article&id=14&Itemid=140 More information on the main conference: ============================================================ IEEE EDOC 2016 - The 20th IEEE International EDOC Conference ============================================================ EDOC 2016 - Vienna, Austria September 05-09, 2016 http://edoc2016.univie.ac.at/ http://twitter.com/ieee_edoc IEEE EDOC 2016 is the twentieth 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 EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business models, business processes, people and technology. EDOC 2016 welcomes high quality scientific submissions as well as experience papers on enterprise computing from industry. The main theme of EDOC 2016 is ”Enabling innovative business models in the enterprise of the future” and seeks to explore innovative approaches synthesizing concepts of (1) data science, (2) enterprise computing and (3) social computing. Expert panel discussions and keynotes will address current topics and issues in this domain. Topics ====== The EDOC 2016 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 * Innovative approaches to architecture management 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 * Governance in Service-oriented ArchitecturesService policies, contract definition and enforcement * 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 * Adaptive case management and 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 * Natural language processing in enterprise systems 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 * Complex event processing and event-driven architectures 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 platforms and 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) Important Dates: ================ Conference full paper submission due: April 1, 2016 Conference paper acceptance notifications: May 30, 2016 Conference camera ready papers due: July 1, 2016 Workshop Proposal Submission: January 15, 2016 Workshop Proposal Notification: February 1, 2016 *Workshop Paper Submission: April 15, 2016* Workshop Paper Notification: June 13, 2016 Workshop Camera Ready: July 1, 2016 Workshops: September 05-06, 2016 Conference: September 05-09, 2016 Conference Committees ===================== General Chair Stefanie Rinderle-Ma, University of Vienna, Austria PC Chairs Florian Matthes, TU Munich, Germany Jan Mendling, WU Vienna, Austria *Workshop Chairs* ** Remco Dijkman, TU Eindhoven, The Netherlands Luís Ferreira Pires, University of Twente, The Netherlands Demo Chairs Walid Fdhila, University of Vienna, Austria Stefan Schulte, Technical University of Vienna, Austria Publicity Chair Andreas Rogge-Solti, WU Vienna, Austria Local Organization Chair Monika Hofer-Mozelt, University of Vienna, Austria Web Chairs Georg Kaes, University of Vienna, Austria Manuel Gall, University of Vienna, Austria -------------- next part -------------- An HTML attachment was scrubbed... URL: From uwe.zdun at univie.ac.at Fri Feb 12 08:22:06 2016 From: uwe.zdun at univie.ac.at (Uwe Zdun) Date: Fri, 12 Feb 2016 08:22:06 +0100 Subject: [fg-arc] =?utf-8?q?SE_2016_/_Aufruf_zur_Teilnahme=3A_Fr=C3=BChanm?= =?utf-8?q?eldungsfrist_bis_15=2E02=2E2016?= Message-ID: <56BD881E.1020007@univie.ac.at> Sehr geehrte/r Kollege/in, bis zum 15.02.2016 ist noch eine Anmeldung zum Frühbucherrabatt für die Software Engineering 2016 in Wien möglich, zusätzlich zu Gruppenrabatten bei mehreren Anmeldungen von einer Forschungsgruppe. Reservierungen im Konferenzhotel sind über die Konferenzseite für 109 EUR incl. Frühstück möglich. Die SE 2016 führt das erfolgreiche Format der letzten Jahre für das wissenschaftliche Programm fort. Alle Vorträge stellen hochkarätige Forschungsbeiträge vor, die in den vergangenen zwei Jahren auf internationalen Spitzenkonferenzen oder in führenden Fachzeitschriften der Softwaretechnik veröffentlicht wurden. Überdies wird ein interessantes Programm mit spannenden Hauptvorträgen und Workshops geboten. Die Hauptvorträge sind: * Prof. Dr. Wilhelm Hasselbring, Universität Kiel: Continuous Software Engineering * Prof. Dr. Uwe Aßmann, TU Dresden: Working with Robots in Smart Homes and Smart Factories – Robotic Co-Working Alle weiteren Informationen finden Sie unter: http://se2016.conf.tuwien.ac.at/ Frühanmeldungsfrist: 15.02.2016 Wir würden uns freuen, Sie in Wien begrüßen zu dürfen! Mit freundlichen Grüßen aus Wien, Konferenz­vorsitzender: Jens Knoop, TU Wien Programm­komitee­vorsitzender: Uwe Zdun, Universität Wien From l.duboc at cs.ucl.ac.uk Fri Feb 12 12:38:58 2016 From: l.duboc at cs.ucl.ac.uk (Leticia Duboc) Date: Fri, 12 Feb 2016 12:38:58 +0100 Subject: [fg-arc] RE16: Deadline for Research, RE@Next! & Industry Abstracts Approaching! Message-ID: ===== DEADLINE APPROACHING ======= *The 24th International Requirements Engineering Conference* Do you have a great industrial experience or research work that you would like to share with the RE community? So, watch out: There is less than a month to submit your research & industry paper's abstract to RE'16! RE'16 invites original submissions of *research*, *RE at Next!*, and *industry papers* in all areas of requirements engineering, including elicitation, specifications, modelling, analysis, verification and evolution! *KEY DATES:* Abstract Submissions: 7th of March 2016 Full Papers: 14th of March2016 Please see re16.org for more details. We are looking forward to your contribution! Best regards, Leticia Duboc On behalf of the RE'16 Publicity Team. --- Leticia Duboc Lecturer Department of Computer Science State University of Rio de Janeiro (UERJ) Rio de Janeiro Brazil -------------- next part -------------- An HTML attachment was scrubbed... URL: From sebastian.goetz1 at tu-dresden.de Fri Feb 12 13:14:42 2016 From: sebastian.goetz1 at tu-dresden.de (=?UTF-8?Q?Sebastian_G=c3=b6tz?=) Date: Fri, 12 Feb 2016 13:14:42 +0100 Subject: [fg-arc] CFP: 1st International Workshop on Models@run.time for Self-aware Computing Systems Message-ID: <56BDCCB2.2030108@tu-dresden.de> Call for Papers 1st International Workshop on Models at run.time for Self-aware Computing Systems In conjunction with ICAC 2016 Würzburg, Germany, July 18th, 2016 http://st.inf.tu-dresden.de/MRT16-ICAC/ Important Dates Submissions of abstracts: March 16th, 2016 Submissions of papers: March 23rd, 2016 Notification: April 17th, 2016 Camera Ready: May 6th, 2016 Workshop date: July 18th, 2016 Introduction In order to most effectively use models at runtime, self-aware computing systems need increasingly powerful ways of observing their operational environment and their own performance and behavior and then building and refining their own models accordingly. An inherent principle of self-aware computing systems is having diverse feedback loops, which build a causal connection between the computing system and a reflective layer. The computing system is continously observed and, based on this, the system is able to update and modify its models to reason about its goals, context, operational environment and its own resources, decisions and actions. To effectively and efficiently realize these feedback loops, models and especially modifiable and updatable models at runtime are essential. The models at run. time paradigm proposes to use runtime models as abstractions of the computing system for the purpose of more efficient reasoning upon both its runtime observations and learned knowledge. Hence, models at runtime is especially looking for more innovative approaches to the causal connection between the system and the runtime model, with particular focus on a transaction concept for this causal connection for such issues as timing, roll-back ability and data-consistency. Goal The goal of this workshop is to provide a bridging podium for researchers working in the area of self-awareness, self-modelling, autonomous and organic computing, as well as self-adaptive and self-organizing systems with a focus on runtime representations that can be used by the system to reason about its goals, context, operational environment and its own resources, decisions and actions. Topics of interest We are particularly interested in work covering the following non-exhaustive list of topics: - languagues and formalisms for runtime representations - approaches realizing the causal connection between the computing system and its reflective layer - applications and case studies involving runtime representations - a general discourse on - the need for and characteristics of runtime representations - the properties of causal connections (e.g., temporal properties, uncertainty, etc.) - interdisciplinary approaches to models at run.time, as for example the mutual influence (or coercion) of socio-technical systems - How runtime models can address basic principles of areas such as game theory. - Distributed models at run.time, i.e., having multiple, interacting systems, each having its own runtime model and in general, issues of models at runtime in large scale systems - Incomplete, partial models - Impacts of uncertainty - Approaches to real-time model-building, refinement - Relevant theory on transactions - Relevant lessons learned from bio-inspired, socially-inspired, unconventional systems - Modular models at run.time, i.e., approaches to improve the modularity of models at run.time systems for better reuse - Co-evolving models at run.time, i.e., systematic approaches to synchronize multiple, interacting models at run.time systems - For those papers focusing on executable models at runtime, we encourage the investigation of how the feedback from the systems are reflected in the executable models (so that they have causal (bi-)connections with the systems) The workshop participants will be selected based on their experience and ideas related to this maturing field. You are invited to apply for attendance by sending: - a full paper (8 pages) on original research, lessons learned from realizing an approach or experiences on transferring a research prototype into practice, - a position paper (6 pages) covering a well-argued vision or position, All papers must conform to the double-column IEEE formatting guidelines. At least three PC members will review each submission. The authors will be notified about acceptance before the ICAC 2016 early registration deadline. Organizers - Sebastian Götz (main contact), TU Dresden, Germany - Kirstie Bellman, Topcy House Consulting, US - Nelly Bencomo, Aston University, UK - Gordon Blair, Lancaster University, UK Program Committee - Franck Chauvel, SINTEF, Norway - Hui Song, SINTEF, Norway - Mahdi Derakhshanmanesh, University of Koblenz-Landau, Germany - Antonio Filieri, Imperial College, UK - Ta’id Holmes, Deutsche Telekom AG, Germany - Jean-Marc Jézéquel, Triskell Team,IRISA, France - Chris Landauer, The Aerospace Corporation, USA - Holger Giese, Universität Potsdam, Germany - Matthias Tichy, Uni. Ulm, Germany - Thomas Vogel, Universität Potsdam, Germany - Kurt Geihs, Uni. Kassel, Germany - Lars Grunske, HU Berlin, Germany - Yves La Traon, Uni. Luxembourg, Luxembourg - Lionel Seinturier, Uni. Lille, France Further Information Web site: http://st.inf.tu-dresden.de/MRT16-ICAC/ Contact: Sebastian Götz (sebastian.goetz at acm.org) -- Dr.-Ing. Sebastian Götz Researcher Technische Universität Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2082 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5180 bytes Desc: S/MIME Cryptographic Signature URL: From grlmc at grlmc.com Sun Feb 14 20:00:47 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 14 Feb 2016 20:00:47 +0100 Subject: [fg-arc] LATA 2016: call for participation Message-ID: <545102060a010b02015052040409510100540353075752580404090557015b595650500f0b0f5504535157045456@grlmc_ip-zone_com-6> LATA 2016: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2016 Prague, Czech Republic March 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University in Prague and Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ ********************************************************************************** PROGRAM Monday, March 14 08:55 - 09:40    Registration 09:40 - 09:55    Opening 09:55 - 10:45    Avrim Blum: Reconstructing Preferences from Opaque Transactions - Invited Lecture 10:45 - 11:15    Coffee Break 11:15 - 12:30 Franz Baader, Andreas Ecke: Reasoning with Prototypes in the Description Logic ALC using Weighted Tree Automata Parvaneh Babari, Nicole Schweikardt: +ω-Picture Languages Recognizable by Büchi-Tiling Systems Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade, Ashutosh Trivedi: A Logical Characterization for Dense-Time Visibly Pushdown Automata 12:30 - 14:00    Lunch 14:00 - 15:15 Dana Fisman: A Complexity Measure on Büchi Automata Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski: Compositional Bisimulation Minimization for Interval Markov Decision Processes Heiko Vogler, Manfred Droste, Luisa Herrmann: A Weighted MSO Logic with Storage Behaviour and its Büchi-Elgot-Trakhtenbrot Theorem 15:15 - 15:30    Break 15:30 - 16:45 Rajeev Alur, Dana Fisman: Colored Nested Words Martin Kutrib, Andreas Malcher, Matthias Wendlandt: Input-Driven Queue Automata with Internal Transductions Klaus Meer, Ameen Naif: Periodic Generalized Automata over the Reals Tuesday, March 15 09:00 - 09:50     Martin Grohe: Tangles and Connectivity in Graphs - Invited Lecture 09:50 - 10:05    Break 10:05 - 11:20 Rick Smetsers, Joshua Moerman, David N. Jansen: Minimal Separating Sequences for All Pairs of States Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions Hélène Touzet: On the Levenshtein Automaton and the Size of the Neighbourhood of a Word 11:20 - 11:50    Coffee Break 11:50 - 13:05 Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay: Parallelogram Morphisms and Circular Codes Ananda Chandra Nayak, Amit K. Srivastava: On Del-Robust Primitive Partial Words with One Hole Maxime Crochemore, Roman Kolpakov, Gregory Kucherov: Optimal Bounds for Computing α-gapped Repeats 13:05 - 14:35    Lunch 14:35 - 15:50 Kazuyuki Amano: On XOR Lemma for Polynomial Threshold Weight and Length Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao: The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line Silke Czarnetzki, Andreas Krebs: Using Duality in Circuit Complexity 15:50 - 16:05    Break 16:05 - 17:20 Gabriel Istrate, Cosmin Bonchiş, Liviu Dinu: The Minimum Entropy Submodular Set Cover Problem Orna Kupferman, Sarai Sheinvald: On the Capacity of Capacitated Automata Holger Spakowski: On Limited Nondeterminism and ACC Circuit Lower Bounds Wednesday, March 16 09:00 - 09:50    Frank Wolter: Automata for Ontologies - Invited Lecture 09:50 - 10:05    Break 10:05 - 11:20 Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura: The Complexity of Induced Tree Reconfiguration Problems Stefano Crespi Reghizzi, Pierluigi San Pietro: The Missing Case in Chomsky-Schützenberger Theorem Séverine Fratani, El Makki Voundy: Homomorphic Characterizations of Indexed Languages 11:20 - 11:50    Group Photo and Coffee Break 11:50 - 13:05 Makoto Kanazawa: Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy Sebastian Berndt, Rüdiger Reischuk: Steganography Based on Pattern Languages Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han: Inferring a Relax NG Schema from XML Documents 13:05 - 14:35    Lunch 14:35 - 15:50 Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth: Noise Free Multi-armed Bandit Game Johannes Blum, Frank Drewes: Properties of Regular DAG Languages Adrien Boiret: Normal Form on Linear Tree-to-Word Transducers 16:00 - 18:00    Touristic Visit Thursday, March 17 09:00 - 09:50    Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas: Non-zero Sum Games for Reactive Synthesis - Invited Lecture 09:50 - 10:05    Break 10:05 - 11:20 Manfred Droste, Zoltán Fülöp, Doreen Götze: A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids Nadia Labai, Johann A. Makowsky: Hankel Matrices for Weighted Visibly Pushdown Automata Johannes Osterholzer, Toni Dietze, Luisa Herrmann: Linear Context-Free Tree Languages and Inverse Homomorphisms 11:20 - 11:50    Coffee Break 11:50 - 13:05 Paul C. Bell, Shang Chen, Lisa Jackson: Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages Tatiana Baginová Jajcayová: The Word Problem for HNN-Extensions of Free Inverse Semigroups Henrik Björklund, Frank Drewes, Petter Ericson: Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars 13:05 - 14:35    Lunch 14:35 - 16:05    Giovanni Pighizzini: Restricted Turing Machines and Language Recognition (I) - Invited Tutorial 16:05 - 16:20    Break 16:20 - 17:10 Sanguthevar Rajasekaran, Marius Nicolae: An Error Correcting Parser for Context-Free Grammars that Takes Less than Cubic Time Nathalie Bertrand, Serge Haddad, Engel Lefaucheux: Accurate Approximate Diagnosability of Stochastic Systems Friday, March 18 09:00 - 10:30    Giovanni Pighizzini: Restricted Turing Machines and Language Recognition (II) - Invited Tutorial 10:30 - 10:45    Break 10:45 - 11:35 Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Proof-Based Synthesis of Sorting Algorithms for Trees Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher: Reversible Shrinking Two-pushdown Automata 11:35 - 12:05    Coffee Break 12:05 - 12:55 Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca: Reachability in Resource-Bounded Reaction Systems Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-target Toffoli Circuits 12:55 - 13:10    Closing -------------- next part -------------- An HTML attachment was scrubbed... URL: From esmailzadeh.sadegh at gmail.com Sun Feb 14 23:09:12 2016 From: esmailzadeh.sadegh at gmail.com (Sadegh Soudjani) Date: Sun, 14 Feb 2016 22:09:12 +0000 Subject: [fg-arc] Workshop on Verification and Validation of Cyber-Physical Systems -- deadline extension Message-ID: Call For Submissions -------------------------------------------------------------------- 1st International Workshop on Verification and Validation of Cyber-Physical Systems co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland http://www.cs.ox.ac.uk/conferences/VVCPS16/ -------------------------------------------------------------------- Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects of cyber-physical systems with an emphasis on non-functional properties initiated from the physical world. A cyber-physical system (CPS) is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former. CPSs have applications in a wide-range of systems spanning robotics, transportation, communication, infrastructure, energy, and manufacturing. Many safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive systems, are indeed CPS. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. In fact, many problems in this area are undecidable. Thus, a major step is to find particular abstractions of such systems which might be algorithmically verifiable regarding specific properties of such systems, describing the partial/overall behaviors of CPSs. The ultimate goal is to bring together researchers and experts of the fields of formal verification and CPS to cover the theme of this workshop, namely a wide spectrum of verification and validation methods including (but not limited to) control, simulation, formal methods, etc. Topics of Interest: We welcome extended abstracts and paper submissions for presentation on topics relating to verification and validation of cyber-physical systems as described above. Typical, but not exclusive, topics include: -- Abstractions of CPS for formal verification -- Formal modelling and verification of hybrid systems -- Resource management and processor scheduling -- Power/Energy/Temperature-Aware modelling and verification of CPS -- Approaches towards non-classical formal control methods in CPSs -- Fault tolerance in CPSs -- Fault-injection and test of CPSs -- Resiliency in CPSs -- Dependability of CPSs -- Hardware/Software co-design in CPSs -- CPS and natural models of computation (such as quantum and biological) -- Semantics of CPSs Submission Guidelines: Authors are invited to submit their papers in EPTCS proceedings format. Full papers should not exceed 15 pages. Short papers should not exceed 8 pages. All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. All accepted papers will be included in the workshop proceedings, which will be published as a volume of the EPTCS series. Papers should be submitted via Easychair at: https://easychair.org/conferences/?conf=v2cps16 Important Dates: *Extended submission deadline: March 2, 2016* * Notification of acceptance: April 15, 2016* * Camera ready version: April 30, 2016* * Conference iFM 2016: June 1-4, 2016* * Workshop V2CPS 2016: June 4-5, 2016 * Invited Speakers: -- Alessandro Abate (University of Oxford, UK) -- Sanjoy Baruah (University of North Carolina at Chapel Hill, USA) -- Jyotirmoy Deshmukh (Toyota Technical Center, USA) -- Georgios Fainekos (Arizona State University, USA) -- Sriram Sankaranarayanan (University of Colorado, Boulder, USA) Program Committee: -- Enrico Bini, Scuola Superiore Sant'Anna, IT -- Muffy Calder, University of Glasgow, UK -- Ali Ebnenasir, Michigan Technological University, USA -- Mohammad Reza Mousavi, Halmstad University, SE -- Ali Movaghar, Sharif University of Technology, IR -- Hessam Sarjoughian, Arizona State University, USA -- Krishna Shankarnarayanan, IIT Bombay, IN -- Joseph Sifakis, EPFL and CNRS, FR -- Oleg Sokolsky, University of Pennsylvania, USA -- Sadegh Soudjani, University of Oxford, UK -- Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, DE -- Ufuk Topcu, University of Texas at Austin, USA -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR Organizing Committee: -- Sadegh Soudjani, University of Oxford, UK -- Ashutosh Trivedi, University of Colorado Boulder, USA (PC chair) -- Mehdi Kargahi, University of Tehran, IR (PC chair) -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR Please consult the webpage of the workshop for more information and the updated list of PC http://www.cs.ox.ac.uk/conferences/VVCPS16/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Uwe.Assmann at tu-dresden.de Tue Feb 16 11:21:36 2016 From: Uwe.Assmann at tu-dresden.de (Prof. Dr. Uwe Assmann) Date: Tue, 16 Feb 2016 10:21:36 +0000 Subject: [fg-arc] Call For Papers: Deadline: April 04 - Third Workshop on Model-Driven Robot Software Engineering (MORSE'16: July 01, 2016, Leipzig, Germany - Co-Located with Robocup) Message-ID: <20160216102136.Horde.e2_1qJ4Wrp8_c0boMiZI68F@mail.zih.tu-dresden.de> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS The 3rd Workshop on Model-Driven Robot Software Engineering Co-Located with RoboCup 2016 July 01, 2016, Messe Leizig, Leipzig, Germany http://st.inf.tu-dresden.de/MORSE16/ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Robots are an indispensable part of modern production facilities. In the future, robots will also become more common in daily life. Currently, however, there is a lack of standardization w.r.t. hardware/software platforms for robots, leading to a vast landscape of isolated, incompatible, task-specific and, thus, non reusable solutions. Consequently, there is a need for new engineering methodologies for the design, implementation and execution of software for robotic platforms. Model-Driven Robot Software Engineering (MORSE) is a promising research field combining Software Engineering and Robotics. Its objectives are to introduce model-driven development methodologies for the development of robot software. At the same time, formal methods should be transferred to robotics because "robot apps" must be certified and verified. MORSE attempts to fill this gap. Submissions are encouraged, but not limited, in the following topics: Robotic Platforms: MDA, Models, Processes and Tools - Hardware/Software Abstractions | Architectures | Metamodels - Code- and Application-Reuse | Managed Redundancy | Deployment - Variability in Robotic Systems | Self-Adaptive Systems | Evolution - Programming Languages | Paradigms | Models | DSLs Models for and Modelling in Robotics - Sensors and Actuators | Sensor Integration - Computer Vision and Image Processing | Recognition and Tracking - Knowledge Representation and Reasoning | Context Models - Ontologies and Conceptual Modeling - Localization, Mapping and Navigation - Autonomous Robots | Robot Learning and Artificial Intelligence Robot Ecosystems and Total Cost of Ownership - Product-Line Development - End-User Customization | Multi-Tenancy Model-Driven Quality Assurance of Robotic Systems - Verification | Validation | Testing | Simulation | Debugging | Profiling - Handling Emergent Behavior and Uncertainty | Software Qualities Multi-Robot Systems - Cooperative Perception | Planning | Task Allocation | Coordination - Robot Swarms | Multi-Agent Robotic Systems ----------------------------------- IMPORTANT DATES ----------------------------------- Abstract Submission Deadline: April 4, 2016 Submission Deadline: April 11, 2016 Notification: May 2, 2016 Camera Ready: June 15, 2016 Workshop: July 1, 2016 ----------------------------------- SUBMISSION INFORMATION ----------------------------------- Papers should be submitted electronically by April 11, 2016 in PDF format via EasyChair (https://easychair.org/conferences/?conf=morse2016). Submitted papers must conform to the ACM SIG Proceedings Style (alternate format). Submissions to the workshop are possible in two categories: - Regular Papers should describe original work on a problem or solution w.r.t. the described topics of interest on six to eight pages. - Position Papers should present a well-defined position on how Model-Driven Tequniques can improve the software engineering of robotic systems on two to four pages. The accepted papers will be digitally published in the ACM Digital Library. Authors of accepted papers will be expected to attend the workshop. ----------------------------------- For more information please visit http://st.inf.tu-dresden.de/MORSE16 From j.j.chromik at utwente.nl Fri Feb 19 12:47:30 2016 From: j.j.chromik at utwente.nl (j.j.chromik at utwente.nl) Date: Fri, 19 Feb 2016 11:47:30 +0000 Subject: [fg-arc] Call for participation for MMB&DFT 2016 Message-ID: [Our apologies for multiple copies] ====================== CALL FOR PARTICIPATION FOR MMB & DFT 2016 ====================== 18th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” April 4-6, 2016, Münster (Germany) http://www.mmb2016.de Organized by GI/ITG Technical Committees on "Measurement, Modelling and Evaluation of Computing Systems (MMB)" and "Dependability and Fault-Tolerance (DFT)" The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. In 2016 both committees join forces in a common international conference MMB & DFT 2016. In addition to its scientific programme on performance and dependability evaluation techniques, it will comprise invited talks, tool presentations, state-of-the-art tutorials, and workshops focusing on hot topics. Registration is now open. For further information please visit http://mmb2016.de/page/registration . **HIGHLIGHTS** Keynotes - Enrico Vicario (University of Florence, Italy): "From transient analysis to Probabilistic Model Checking of Markov Regenerative Processes" - Aiko Pras (University of Twente, the Netherlands) "DDoS 3.0: How terrorists bring down the Internet” Workshops - Practical Applications of Stochastic Modelling (PASM 2016) - Mobility Workshop (Emobility 2016) - Network Calculus Workshop (WoNeCa 2016) Full program is available on the conference website: http://mmb2016.de/page/conference-program . **VENUE AND HOTEL INFORMATION** All the events of the conference, including the keynotes, presentations, and workshops, will take place at administrative centre of the Westfälische Wilhelms-Universität in Münster: Schlossplatz 2, 48149 Münster, Germany. For more information see http://mmb2016.de/page/venue-location . Information about the hotels can be found here: http://mmb2016.de/page/accomodation . **TOPICS** Models and Methods - Quantitative evaluation techniques related to performance, dependability, security, survivability, real-time constraints, cost, energy-efficiency and combined aspects like performance-security tradeoffs - Fault-tolerant system and network design, dependable computing, redundancy techniques, fault modelling, fault injection - Testing, measuring, benchmarking and monitoring of systems and networks - Queueing systems, stochastic Petri nets, stochastic process algebras, Markov chains, non-Markovian models, fluid models, network calculus - Simulation techniques including rare events, parallel and distributed simulation - Combination of stochastic modeling and formal methods in engineering - Model checking and theorem proving in model-driven software development - Network economics, accounting, tariffing Applications - Computer and software architectures, cloud computing, organic computing, pervasive and ubiquitous computing, adaptive and self-organizing systems, embedded systems, sensor systems - Fault-tolerant systems and networks, safety-oriented and security-oriented architectures, redundancy techniques - Communication networks including access, backbone and optical networks, high-speed switching, software-defined networking, mobile and wireless networks, sensor networks, car communication, traffic engineering, network planning and optimization - Peer-to-peer, overlay and information-centric networks, web-based systems, multimedia systems - Complex networks, social networks, power-law and scale-invariant systems, biochemical systems - Workflow and logistic systems, traffic and transportation systems Special session on Critical Infrastructures - Green IT, energy-efficient systems - Future smart energy networks Tools and Case Studies in all Areas of Application **IMPORTANT DATES** Early registration deadline: March 1, 2016 Conference: April 4-6, 2016 http://www.mmb2016.de **ORGANIZING COMMITTEE** Conference Chairs Anne Remke WWU Münster Boudewijn Haverkort U Twente Local Organization Evelyn Egelkamp WWU Münster Web Chair Björn Postema U Twente Justyna Chromik U Twente Program Committee Lothar Breuer U Kent Peter Buchholz TU Dortmund Hans Daduna U Hamburg Klaus Echtle U Duisburg-Essen Bernhard Fechner U Augsburg Markus Fidler U Hannover Reinhard German U Erlangen-Nuremberg Gerhard Haßlinger Deutsche Telekom AG Boudewijn Haverkort U Twente Holger Hermanns U Saarbrücken Joost-Pieter Katoen RWTH Aachen Peter Kemper College of William and Mary Jörg Keller FeU Hagen Udo Krieger U Bamberg Kai Lampka U Uppsala Wolfram Lautenschläger Alcatel-Lucent Axel Lehmann UBw München Ralf Lehnert TU Dresden Hermann de Meer U Passau Michael Menth U Tübingen Peter Reichl U Europ. de Bretagne & U Wien Anne Remke WWU Münster Johannes Riedl Siemens AG Ramin Sadre U Louvain Francesca Saglietti U Erlangen-Nuremberg Jens Schmitt TU Kaiserslautern Markus Siegle UBw Munich Helena Szczerbicka U Hannover Dietmar Tutsch U Wuppertal Kurt Tutschku BTH Karlskrona Oliver Waldhorst KIT Verena Wolf U Saarbrücken Bernd Wolfinger U Hamburg Katinka Wolter FU Berlin Armin Zimmermann TU Ilmenau -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Feb 21 00:36:18 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 21 Feb 2016 00:36:18 +0100 Subject: [fg-arc] WebST 2016: early registration deadline 11 March Message-ID: <545102060a010b02065e5303060954525b5e06040a555456010a0c08570401595c59540f0408000500515505570b@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 11 March*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: March 11, 2016 ---   ********************************************************   AIM:   WebST 2016 is a 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, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   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 knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 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:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), tba   Amit P. Sheth (Wright State University), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Marc Najork (Google), [introductory] Search Engine Architecture   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/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:   Suggestions of accommodation will be available on the webpage in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at cs.kuleuven.be Wed Feb 24 14:43:08 2016 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Wed, 24 Feb 2016 14:43:08 +0100 Subject: [fg-arc] [ESSoS'16] Call for Participation Message-ID: <56CDB36C.3050704@cs.kuleuven.be> International Symposium on Engineering Secure Software and Systems (ESSoS) Date: April 6 - 8, 2016 Venue: Royal Holloway, University of London, London, UK Website: https://distrinet.cs.kuleuven.be/events/essos/2016/ Early Registration Deadline: March 10, 2016 In cooperation with: ACM SIGSAC and SIGSOFT == Context and Motivation == Trustworthy, secure software is a core ingredient of the modern world. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. The goal of this symposium, which will be the 8th in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. == Venue == ESSoS 2016 will take place at Royal Holloway, University of London, a 135-acre campus located in Egham, UK, just 40 minutes London city centre and a handful of minutes from London Heathrow Airport. Royal Holloway's campus is one of the most beautiful in the world with everything you need right on your doorstep whether it's teaching spaces, bars and cafes, high-quality accommodation, a sports centre, or our illustrious Picture Gallery. All this is surrounded by stunning parkland that you can explore at your own leisure. The Egham campus features a number of sightseeing options and attractions, sporting and entertainment venues within easy reach. Hotels conveniently located around Royal Holloway have been reserved at preferential rates. Details on the venue are posted to the ESSoS 2016 website. == Program == The symposium will feature one day of workshops, a doctoral symposium, and two days of technical program including 2 invited talks by David Basin (ETH Zurich) and Karsten Nohl (Security Research Labs), 13 full research papers, and 3 idea papers that describe promising approaches. The accepted workshops on April 6th are: ESTImATe: Effective Security risk management in Air Traffic management and Other Critical Infrastructures SERECIN: SEcurity and REsilience of Cyber-Physical INfrastructures IMPS: Innovations in Mobile Privacy and Security STANCE: A Source code analysis Toolbox for software security AssuraNCE Complete overview of the program can be found at: https://distrinet.cs.kuleuven.be/events/essos/2016/programme.html = Keynotes = *How much security is too much?* Karsten Nohl (Security Research Labs) *David Basin (ETH Zurich)* Security Testing beyond Functional Tests = Papers = *On the Static Analyse of Hybrid Mobile Apps* Achim D. Brucker and Michael Herzberg. *POODLEs, More POODLEs, FREAK Attacks too: How Server Administrators Responded to Three Serious Web Vulnerabilities* Benjamin Fogel, Shane Farmer, Hamza Alkofahi, Anthony Skjellum and Munawar Hafiz. *AppPAL for Android: Capturing and Checking Mobile App Policies* Joseph Hallett and David Aspinall. *Progress-Sensitive Security for SPARK* Willard Rafnsson, Deepak Garg and Andrei Sabelfeld. *Sound and Precise Cross-Layer Data Flow Tracking* Enrico Lovat, Martin Ochoa and Alexander Pretschner. *On the Security Cost of Using a Free and Open Source Component in a Proprietary Product* Achim D. Brucker, Stanislav Dashevskyi and Fabio Massacci. *Automatically Extracting Threats from Extended Data Flow Diagrams* Bernhard J. Berger, Karsten Sohr and Rainer Koschke. *Empirical Analysis and Modeling of Black-Box Mutational Fuzzing* Mingyi Zhao and Peng Liu. *PADS: a platform to detect stealth attacks* Mathias Payer. *Semantics-based Repackaging Detection for Mobile Apps* Quanlong Guan, Heqing Huang, Weiqi Luo and Sencun Zhu. *Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality* Andreas Follner, Eric Bodden and Alexandre Bartel. *Accelerometer-based Device Fingerprinting for Multi-factor Mobile Authentication* Wout Scheepers, Tom Van Goethem, Davy Preuveneers, and Wouter Joosen. *Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language* Pauline Anthonysamy, Matthew Edwards, Christian Weichel and Awais Rashid. *Idea: Enforcing Security Properties by Solving Behavioural Equations* Eric Rothstein Morris and Joachim Posegga. *Idea: Usable Platforms for Secure Programming -- Mining Unix for Insight and Guidelines* Sven Türpe. *Idea: Supporting Policy-Based Access Control on Database Systems* Jasper Bogaerts, Bert Lagaisse and Wouter Joosen. = Doctoral Symposium = TBA Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From raoul.strackx at CS.KULEUVEN.BE Wed Feb 24 14:41:42 2016 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Wed, 24 Feb 2016 14:41:42 +0100 Subject: [fg-arc] [ESSOS] [ESSoS'16] Call for Participation Message-ID: <56CDB316.2060901@cs.kuleuven.be> International Symposium on Engineering Secure Software and Systems (ESSoS) Date: April 6 - 8, 2016 Venue: Royal Holloway, University of London, London, UK Website: https://distrinet.cs.kuleuven.be/events/essos/2016/ Early Registration Deadline: March 10, 2016 In cooperation with: ACM SIGSAC and SIGSOFT == Context and Motivation == Trustworthy, secure software is a core ingredient of the modern world. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties. The goal of this symposium, which will be the 8th in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering communities, and promote cross-fertilization. == Venue == ESSoS 2016 will take place at Royal Holloway, University of London, a 135-acre campus located in Egham, UK, just 40 minutes London city centre and a handful of minutes from London Heathrow Airport. Royal Holloway's campus is one of the most beautiful in the world with everything you need right on your doorstep whether it's teaching spaces, bars and cafes, high-quality accommodation, a sports centre, or our illustrious Picture Gallery. All this is surrounded by stunning parkland that you can explore at your own leisure. The Egham campus features a number of sightseeing options and attractions, sporting and entertainment venues within easy reach. Hotels conveniently located around Royal Holloway have been reserved at preferential rates. Details on the venue are posted to the ESSoS 2016 website. == Program == The symposium will feature one day of workshops, a doctoral symposium, and two days of technical program including 2 invited talks by David Basin (ETH Zurich) and Karsten Nohl (Security Research Labs), 13 full research papers, and 3 idea papers that describe promising approaches. The accepted workshops on April 6th are: ESTImATe: Effective Security risk management in Air Traffic management and Other Critical Infrastructures SERECIN: SEcurity and REsilience of Cyber-Physical INfrastructures IMPS: Innovations in Mobile Privacy and Security STANCE: A Source code analysis Toolbox for software security AssuraNCE Complete overview of the program can be found at: https://distrinet.cs.kuleuven.be/events/essos/2016/programme.html = Keynotes = *How much security is too much?* Karsten Nohl (Security Research Labs) *David Basin (ETH Zurich)* Security Testing beyond Functional Tests = Papers = *On the Static Analyse of Hybrid Mobile Apps* Achim D. Brucker and Michael Herzberg. *POODLEs, More POODLEs, FREAK Attacks too: How Server Administrators Responded to Three Serious Web Vulnerabilities* Benjamin Fogel, Shane Farmer, Hamza Alkofahi, Anthony Skjellum and Munawar Hafiz. *AppPAL for Android: Capturing and Checking Mobile App Policies* Joseph Hallett and David Aspinall. *Progress-Sensitive Security for SPARK* Willard Rafnsson, Deepak Garg and Andrei Sabelfeld. *Sound and Precise Cross-Layer Data Flow Tracking* Enrico Lovat, Martin Ochoa and Alexander Pretschner. *On the Security Cost of Using a Free and Open Source Component in a Proprietary Product* Achim D. Brucker, Stanislav Dashevskyi and Fabio Massacci. *Automatically Extracting Threats from Extended Data Flow Diagrams* Bernhard J. Berger, Karsten Sohr and Rainer Koschke. *Empirical Analysis and Modeling of Black-Box Mutational Fuzzing* Mingyi Zhao and Peng Liu. *PADS: a platform to detect stealth attacks* Mathias Payer. *Semantics-based Repackaging Detection for Mobile Apps* Quanlong Guan, Heqing Huang, Weiqi Luo and Sencun Zhu. *Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality* Andreas Follner, Eric Bodden and Alexandre Bartel. *Accelerometer-based Device Fingerprinting for Multi-factor Mobile Authentication* Wout Scheepers, Tom Van Goethem, Davy Preuveneers, and Wouter Joosen. *Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language* Pauline Anthonysamy, Matthew Edwards, Christian Weichel and Awais Rashid. *Idea: Enforcing Security Properties by Solving Behavioural Equations* Eric Rothstein Morris and Joachim Posegga. *Idea: Usable Platforms for Secure Programming -- Mining Unix for Insight and Guidelines* Sven Türpe. *Idea: Supporting Policy-Based Access Control on Database Systems* Jasper Bogaerts, Bert Lagaisse and Wouter Joosen. = Doctoral Symposium = TBA From peter.schuller at marmara.edu.tr Thu Feb 25 08:13:25 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Thu, 25 Feb 2016 09:13:25 +0200 (EET) Subject: [fg-arc] CFP ICLP 2016: 32nd International Conference on Logic Programming, New York City, Oct 17-21 Message-ID: <20160225071325.6A3512C042A@omsievews> Call For Papers 32nd International Conference on Logic Programming New York City, USA October 17‐21, 2016 http://software.imdea.org/Conferences/ICLP2016/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the pre‐ mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: · Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. · Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han‐ dling Rules, Tabling. · Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. · Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. · Related Paradigms: Inductive and Co‐inductive Logic Programming, Constraint Logic Programming, Answer‐Set Programming, SAT‐Checking. · Applications: Databases, Big Data, Data Integration and Federation, Soft‐ ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Paper registration (abstract): 22 April, 2016 Submission deadline: 29 April, 2016 Notification to authors: 17 June, 2016 Revision deadline (when needed): 8 July, 2016 Final notification: 22 July, 2016 Camera‐ready copy due: 5 Aug, 2016 Conference: 17‐21 Oct, 2016 Submission Details Submissions of regular papers must be made in the condensed TPLP format (see http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar) via Easy‐ Chair (see http://www.easychair.org/conferences/?conf=iclp2016). A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets which do not count towards this limit and which will be available as appendices to the published paper. We accept three kinds of papers: · Technical papers for technically sound, innovative ideas that can advance the state of logic programming; · Application papers that impact interesting application domains; · System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni‐ versity Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the deci‐ sion period). The program committee may recommend some papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs) (http://www.dagstuhl.de/publikationen/oasics/). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Pro‐ gramming Newsletter at no cost. Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng‐Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Preliminary Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben‐Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven ‐ University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot‐Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia‐Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni‐ ties for intensive discussions and project collaboration. Autumn School on Computational Logic A school on computational logic is planned. More up to date information will be available at the conference Web page. Doctoral Consortium The Eleventh Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc‐ tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city’s heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush‐ ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world’s largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two‐minute walk from the Flushing‐Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP). Financial Assistance The Association for Logic Programming has funds to assist financially disad‐ vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From raoul.strackx at cs.kuleuven.be Mon Feb 29 11:44:10 2016 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Mon, 29 Feb 2016 11:44:10 +0100 Subject: [fg-arc] [ESSoS'16] ESSoS Doctoral Symposium: CFP (extended deadline March 4th) Message-ID: <56D420FA.2030807@cs.kuleuven.be> = ESSoS Doctoral Symposium 2016 = == Important dates == Paper submission deadline: March 4, 2016 23:59 GMT (extended) Notification of acceptance: March 12, 2016 Camera ready version: March 25, 2016 Doctoral symposium: April 6, 2016 == Description == The ESSoS Doctoral Symposium 2016 will be held in Egham, United Kingdom on Wednesday, April 6, 2016, as a satellite event of the International Symposium on Engineering Secure Software and Systems (ESSoS). Following the aim of the past ESSoS-DS editions, the scope of this year's event will be once more focused on providing PhD students an opportunity to discuss their research in an international forum and with a panel of well-known experts in the field. Following the successful concept of previous years, the Symposium aims on bringing together a broad range of students: PhD students at the start of their trajectory, students who are about to finish (what are the pitfalls in the final stages?) and students in the middle (aiming for the first top-level publication). Students will have the occasion to discuss, in a welcoming and informal atmosphere, the goals already achieved or planned, the research challenges they are interested in, the projects they are working on, the facilities they are developing, the problems they fight to solve and are solving in their doctoral work. During the Doctoral Symposium students will receive useful feedback from senior researchers, industrial partners and experts. It will also be a good opportunity for meeting and sharing experiences with other PhD students that are addressing similar topics, or are at a similar stage in their doctoral work. This way, the students will obtain guidance both on the academic content of their current work and on potential future research trajectories. == Scope == PhD students carrying out research in Engineering Secure Software and Systems are invited to submit a position paper to the PhD Symposium. Short papers will be peer-reviewed by the Symposium's program committee members. The criteria used for accepting a paper include: - Contribution of the work to the ESSoS field - Originality of the work - Overall quality of the position paper == Topics == PhD proposals fitting into the ESSoS conference topics are especially encouraged. This includes but is not limited to: - Secure software engineering - Security testing - Systematic support for best practices - Security requirements and policies - Designing traditional and cloud-based systems for security and privacy - Threat modeling and analysis of vulnerabilities - Specification and verification of security and privacy - Programming languages for security - Security assurance cases - Assurance, certification, and accreditation - Trust modeling and analysis - Digital forensics - Security economics Accepted position papers will be presented during the ESSoS 2016 Doctoral Symposium and will be published on the ESSoS website (no formal proceedings). Presenters of the Doctoral Symposium will get an opportunity to present their work in poster format during the main program of ESSoS 2016. == Submission Instructions == Position papers should be two to six pages and formatted according to the LNCS guidelines. Position papers should include: - Author names and affiliations (PhD student + contributing team members if applicable) - Abstract (maximum 200 words) - The problem that the research addresses, and the motivation for solving it - Research methodology (to be) used to address the problem - Main (potential) contributions to the state of the art - Description of the work done to date (including results / publications), and a tentative research plan - Late stage students: The synergy and cohesion between the results, and the approach on how to complete the thesis Some PhD students who have delivered a top publication in the midst of their trajectory will be invited to present a testimonial; anybody can volunteer by sending a short email to the DS Chair (referring to their actual top publication). Submission site: https://easychair.org/conferences/?conf=essosdc16 == Doctoral Symposium Chair == Johannes Kinder (Royal Holloway, University of London, UK) Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From raoul.strackx at CS.KULEUVEN.BE Mon Feb 29 11:42:48 2016 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Mon, 29 Feb 2016 11:42:48 +0100 Subject: [fg-arc] [ESSOS] [ESSoS'16] ESSoS Doctoral Symposium: CFP (extended deadline March 4th) Message-ID: <56D420A8.60701@cs.kuleuven.be> = ESSoS Doctoral Symposium 2016 = == Important dates == Paper submission deadline: March 4, 2016 23:59 GMT (extended) Notification of acceptance: March 12, 2016 Camera ready version: March 25, 2016 Doctoral symposium: April 6, 2016 == Description == The ESSoS Doctoral Symposium 2016 will be held in Egham, United Kingdom on Wednesday, April 6, 2016, as a satellite event of the International Symposium on Engineering Secure Software and Systems (ESSoS). Following the aim of the past ESSoS-DS editions, the scope of this year's event will be once more focused on providing PhD students an opportunity to discuss their research in an international forum and with a panel of well-known experts in the field. Following the successful concept of previous years, the Symposium aims on bringing together a broad range of students: PhD students at the start of their trajectory, students who are about to finish (what are the pitfalls in the final stages?) and students in the middle (aiming for the first top-level publication). Students will have the occasion to discuss, in a welcoming and informal atmosphere, the goals already achieved or planned, the research challenges they are interested in, the projects they are working on, the facilities they are developing, the problems they fight to solve and are solving in their doctoral work. During the Doctoral Symposium students will receive useful feedback from senior researchers, industrial partners and experts. It will also be a good opportunity for meeting and sharing experiences with other PhD students that are addressing similar topics, or are at a similar stage in their doctoral work. This way, the students will obtain guidance both on the academic content of their current work and on potential future research trajectories. == Scope == PhD students carrying out research in Engineering Secure Software and Systems are invited to submit a position paper to the PhD Symposium. Short papers will be peer-reviewed by the Symposium's program committee members. The criteria used for accepting a paper include: - Contribution of the work to the ESSoS field - Originality of the work - Overall quality of the position paper == Topics == PhD proposals fitting into the ESSoS conference topics are especially encouraged. This includes but is not limited to: - Secure software engineering - Security testing - Systematic support for best practices - Security requirements and policies - Designing traditional and cloud-based systems for security and privacy - Threat modeling and analysis of vulnerabilities - Specification and verification of security and privacy - Programming languages for security - Security assurance cases - Assurance, certification, and accreditation - Trust modeling and analysis - Digital forensics - Security economics Accepted position papers will be presented during the ESSoS 2016 Doctoral Symposium and will be published on the ESSoS website (no formal proceedings). Presenters of the Doctoral Symposium will get an opportunity to present their work in poster format during the main program of ESSoS 2016. == Submission Instructions == Position papers should be two to six pages and formatted according to the LNCS guidelines. Position papers should include: - Author names and affiliations (PhD student + contributing team members if applicable) - Abstract (maximum 200 words) - The problem that the research addresses, and the motivation for solving it - Research methodology (to be) used to address the problem - Main (potential) contributions to the state of the art - Description of the work done to date (including results / publications), and a tentative research plan - Late stage students: The synergy and cohesion between the results, and the approach on how to complete the thesis Some PhD students who have delivered a top publication in the midst of their trajectory will be invited to present a testimonial; anybody can volunteer by sending a short email to the DS Chair (referring to their actual top publication). Submission site: https://easychair.org/conferences/?conf=essosdc16 == Doctoral Symposium Chair == Johannes Kinder (Royal Holloway, University of London, UK)