From edocconference2016 at gmail.com Tue Mar 1 09:34:33 2016 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Tue, 1 Mar 2016 09:34:33 +0100 Subject: [fg-arc] 2nd Call for Papers: IEEE EDOC conference 2016 Message-ID: <56D55419.30507@gmail.com> We apologize if you receive this message more than once. --- This is the second call for papers for the IEEE EDOC conference 2016. There is *only one month left* to prepare your papers for the main conference! Don't miss the opportunity to submit your paper(s)! Also check out the webpage for updates and news: http://tinyurl.com/ieee-edoc16 More information: ============================================================ 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 wojciech.mostowski at hh.se Tue Mar 1 11:35:22 2016 From: wojciech.mostowski at hh.se (Wojciech Mostowski) Date: Tue, 1 Mar 2016 11:35:22 +0100 Subject: [fg-arc] PhD Symposium at iFM 2016 Call for Submissions Message-ID: <56D5706A.6080008@hh.se> (Apologies for multiple copies) ============================================================ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'16) Reykjavik, Iceland, June 5, 2016 http://en.ru.is/ifm/ifm-phd-symposium/ Paper submission: March 15, 2016 Author notification: April 1, 2016 ============================================================ === Scope === The theory, implementation, integration or application of formal methods in a broad sense. === Who can submit? === PhD students and young researchers at an early career stage (up to 2 years after PhD completion). === Why to submit? === Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce a tutorial by Mohammad Reza Mousavi and a talk by Carlo Ghezzi. - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published in a technical report of Reykjavik University, Iceland. === What to submit? === You are welcome to submit an extended abstract of at most 3 pages, describing your research project which you would like to present. Co-authors are allowed, but you should be the first author. The results may have been accepted or even published elsewhere. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=phdifm2016 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of Reykjavik University. === Invited Presentations === * Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about "How to Write and Present a Computer Science Paper". * Carlo Ghezzi (Politecnico di Milano, Italy) will talk about "Formal models and verification to support software evolution". === Symposium Chairs === Marcel Kyas (Reykjavik University, Iceland) Wojciech Mostowski (Halmstad University, Sweden) === Programme Committee === Erika Abraham (RWTH Aachen University, Germany) Carlo Ghezzi (Politecnico di Milano, Italy) Mohammad Reza Mousavi (Halmstad University, Sweden) -- Wojciech Mostowski Centre for Research on Embedded Systems (CERES) School of Information Technology, Halmstad University Box 823, SE-301 18 Halmstad, Sweden e-mail: wojciech.mostowski at hh.se www: http://ceres.hh.se/mediawiki/Wojciech_Mostowski tel: +46-35-16-7137, fax: +46-35-12-0348 From alexander.perucci at graduate.univaq.it Fri Mar 4 11:16:55 2016 From: alexander.perucci at graduate.univaq.it (alexander.perucci at graduate.univaq.it) Date: Fri, 4 Mar 2016 11:16:55 +0100 (CET) Subject: [fg-arc] [VeryComp 2016] - 1st Call for Paper Message-ID: <1503721471.39.1457086601994.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] == FIRST CALL FOR PAPERS == 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) Co-located event of STAF 2016 (http://staf2016.conf.tuwien.ac.at/) Wien, Austria - July 4th 2016 Web site: verycomp2016.disim.univaq.it == IMPORTANT DATES == Paper submissions: April 18, 2016 Notification of authors: May 25, 2016 Camera-ready copies: June 20, 2016 == THEMES AND OBJECTIVES == Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp promotes contributions related to the subject at different levels: from modelling and verification to analysis, from componentization to composition. Foundational contributions as well as concrete application experiments are sought. VeryComp 2016 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://verycomp2016.disim.univaq.it All accepted papers will be published as part of a Springer LNCS Proceedings Volume (Lecture Notes in Computer Science): http://www.springer.com/lncs Furthermore, selected participants will be invited to submit an extended version of their papers after the workshop to a Thematic Series of the Springer JISA journal on Verification and Composition for the Internet of Services and Things (to appear soon on Springer). Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: - Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. - Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, and visionary papers. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. Similarly, authors of tool demonstration papers should make their tool available for use by reviewers. == Workshop Chairs == - Marco Autili, University of L’Aquila, Italy, marco.autili at univaq.it - Massimo Tivoli, University of L’Aquila, Italy, massimo.tivoli at univaq.it - Luca Ferrucci, ISTI-CNR, Italy, ferrucci at isti.cnr.it - Manuel Mazzara, Innopolis University, Russia, m.mazzara at innopolis.ru - Davide Bresolin, DISI - Universitu of Bologna, Italy, davide.bresolin at unibo.it - Marcello Bersani, DEIB - Politecnico di Milano, Italy, marcellomaria.bersani at polimi.it - Marisol Garcia-Valls, University Carlos III, Spain, mvalls at it.uc3m.es == Program Committee == - Domenico Bianculli, UniversitΓ¨ du Luxembourg - Stéphane Demri, NewYork University & CNRS, France - Silvio Ghilardi, UniversitaΜ€ degli studi di Milano, Italy - Nafees Qamar, Vanderbilt University, USA - David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal - Cesar Sanchez, IMDEA Software Institute, Spain - Vincenzo Ciancia, ISTI-CNR, Italy - Gwen Salaun, INRIA, Grenoble-Rhone-Alpes, France - Guglielmo De Angelis, CNR-IASI/ISTI, Italy - Paola Inverardi, University of L’Aquila, Italy - Ivica Crnkovic, MaIardalen University, Sweden - Radu Calinescu, University of York, UK - Schahram Dustdar, University of Technology Wien, Austria - Luciano Baresi, Politecnico di Milano, Italy - Mauro Caporuscio, Linnaeus University, Sweden - Nikolaos Georgantas, INRIA, France - Salvatore Distefano, UniversitΓ  di Messina, Italy - Victor Rivera, Innopolis University, Russia - Pascal Poizat, Paris Ouest University and LIP6, France - Saad Mubeen, MΓ€lardalen University, Sweden - Hernan Melgratti, Universidad de Buenos Aires, Argentina - Julio Medina, Universidad de Cantabria, Spain - Patricia Lago, VU University Amsterdam, Nederland - Carlo Ghezzi, Politecnico di Milano, Italy - Antonio Bucchiarone, FBK-IRST, Italy - Antonio Brogi, UniversitΓ  di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, UniversitΓ  degli studi di Milano, Italy == Web Chair & Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == List of topics (not limited to) == - Specification and design of software composition models - Formal verification and model checking of software integration code - Service-oriented software composition - Automated software composition and coordination - Formal verification of self-adaptive systems - Model-driven software composition - Correct-by-construction software composition - Communication middleware support for service oriented composition - Formal verification and model checking of multi-agent systems From grlmc at grlmc.com Fri Mar 4 01:00:11 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 04 Mar 2016 01:00:11 +0100 Subject: [fg-arc] WebST 2016: early registration deadline 11 March Message-ID: <545102060a010b01015f580a0f0956515656575504045059570a5f0500055b585c070107060a5401025f53510354@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   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:   A suggestion of accommodation is available on the webpage.   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 peter.schuller at marmara.edu.tr Mon Mar 7 07:22:15 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Mon, 7 Mar 2016 08:22:15 +0200 (EET) Subject: [fg-arc] 2nd CFP ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Message-ID: <20160307062215.BD89B2C044B@omsievews> Second 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 edocconference2016 at gmail.com Mon Mar 7 13:10:22 2016 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Mon, 7 Mar 2016 13:10:22 +0100 Subject: [fg-arc] IEEE EDOC conference 2016 - Keynote speakers announced! Message-ID: <56DD6FAE.3030908@gmail.com> We apologize if you receive this message more than once. --- We are happy to inform you that the program for the keynotes is available at the conference web site: http://tinyurl.com/edoc16-keynotes More information: ============================================================ 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. Keynotes ====== Technologies for Happiness - and their Impact on Enterprise Application Architectures *Fabio Casati* University of Trento Abstract Technology has profoundly changed all aspects of our personal and professional lives, and is continuing to do so at an ever increasing pace. Most of these changes help us be more efficient, effective and flexible. What is still unclear is whether this change has made us happier, that is, if it has improved our quality of life or whether it has made it more hectic and stressful.Pursuing happiness is considered a goal worthy in its own right, and happiness has a wide range of "side" benefits as well: happier individuals are healthier, more social, more giving, more collaborative, and so on. It is therefore not surprising that research on happiness has intensified in recent years, with the rise of scientific fields such as positive psychology that studies how we can live more fulfilling lives. This talk is about positive technology, that is, technology that can directly contribute to people's happiness. I'll start by presenting what science today considers as important determinants of happiness, both as adults and as we age, and how it can be "measured". We'll then discuss how technology can affect these determinants and what are the potential and the key ingredients of positive technology as a science. Finally, we'll assess the impact positive technologies can have on enterprises, by enabling employees to become more effective at what they do and more capable of living in a constantly and sometimes "disruptively" changing environment. Speakers's Bio Fabio Casati is professor of social informatics and senator at the University of Trento. Until 2006, he was technical lead for the research program on business process intelligence in Hewlett-Packard USA, where he contributed to several HP commercial products in the area of web services and business process management. He then moved to academia, where he started a research line on technologies for happiness, delivering results that have a direct impact on people’s life. The research results are available atlifeparticipation.org . ------------------------------------------------------------------------ Enterprise Computing in the Context of Networked Business Paradigms *Paul Grefen* Eindhoven University of Technology Abstract In recent years, we have seen the emergence of new business paradigms that highlight the importance of business network thinking. These business paradigms stress the idea that business thinking should not be based primarily on an intra-organizational focus, but rather on the relationships with business organizations, such as collaborators or customers. For example, the service-dominant paradigm is centered at networked co-creation of value for customers through services. The recent outcome economy paradigm revolves around facilitating measurable business results for customers. Combining these paradigms with the concept of agile business leads to dynamic business networks as a first order citizen in business engineering. These developments have a strong impact on the domain of enterprise computing: on the one hand, it requires an outside-in engineering to complement the traditional inside-out approach; on the other hand, it requires a decoupling of strategic resource-based design from tactic value-based design. In this presentation, networked business paradigms are illustrated and their impact on enterprise computing is explored. Speakers's Bio Paul Grefen is a full professor in the School of Industrial Engineering at Eindhoven University of Technology since 2003. He chaired the Information Systems subdepartment from 2006 to 2014. Currently, he is the research director of the School. He received his Ph.D. in 1992 from the University of Twente and held assistant and associate professor positions in the Computer Science Department. He was a visiting researcher at Stanford University in 1994. He has been involved in various European research projects as well as various projects within the Netherlands. He is an editor of the International Journal of Cooperative Information Systems. He is an editor and author of the books on the WIDE and CrossWork projects, and has authored books on workflow management, electronic business and service-dominant business engineering. He is a member of the Executive Board of the European Supply Chain Forum. His current research covers architectural design of business information systems, inter-organizational business process management, and service-oriented business design and support. He teaches at the MSc, PDEng and PhD levels at TU/e and at the executive level for TIAS business school. ------------------------------------------------------------------------ The Role of Big Data and Data Science within Digitization at Allianz Group *Andreas Braun* Global Data & Analytics at Allianz SE Abstract By Big Data Analytics we understand new technologies and methods that go beyond how we previously handled data and analytics. One the data side, for instance, extremely large data sets can be stored and processed, even real-time, and at reasonable cost. This is largely applied also to unstructured data, for example internet and clickstreams, bank and credit card transactions, and GPS/ geospatial data. On the analytical side, methods are no longer limited to on hard-coded (business) rules or statistics, but leverage artificial intelligence (AI) and particularly Machine Learning (ML). Big Data platforms recognize recurring patterns and act context-aware to transform the data mentioned before into more meaningful actionable insights. In the aforementioned scenarios ML not only typically delivers better results than statistical approaches or rule-based systems in particular, they can also be implemented dynamically and adaptive; they are intelligent in a way. As a further key element, ML allows predictions based on what has been learnt so far—hence the term predictive analytics. The application of Big Data today is manifold and of growing importance. However, we believe that Big Data's most tangible and immediate impact in the domain of business is in customer and consumer analytics. This area has been summarized as the Digital Consumer Journey Analytics. Such journeys are constructed from people's movement and navigational patterns in both the virtual and physical world. While individual data points are at first not very expressive nor rich of content, and are seen for themselves also anonymous in a way, the picture created by continuous collection of ubiquitous data and their history allows to unveil almost any identity profile [7]. This is typically used for profiling, predictions, and segmentations. For example, web pathways can be used to derive a socio-economic customer profile to predict interest, purchasing intent, or churn. Comprehensive consumer profiles can be cataloged and used for marketing purposes. The creation of such insight became only possible through the use of Big Data technologies and analytics: first of all, because of the sheer amount of data and their history being used; secondly, because online ML allows for the continuous improvement and fine tuning of initial profiles and models so that they increasingly correlate ever better with reality and the real life situation of an actual person—eventually down to the segment of one. The broader context beyond a single individual, on the other side, allows for various marketing relevant predictions: What do people within a category typically buy? What are they interested to buy next? When do they go on holiday, and where to? What do they spend on the location they have travelled to? How to get in touch and address them? etc. The entrepreneurial and economic value of such analytics is beyond doubt and proven to be immense for businesses. Conveniently enough, various different use cases sit on the same data eco system. For example, while fraud analytics saves two-digit millions in fraudulent claims, the same data is used to “white-flag” uncritical claims to pay customers faster and identify unhappy clients. Retention models reduce churn by more than 20%—compared to the statistical models used previously. Meanwhile, the same data are used to improve the conversion rate in direct insurance by almost 25%. We argue here that the ability to improve the customer experience and innovate the customer journey is the most important change on the new data wave. Besides “white-flagging” claims to pay customers faster, web-pages can be arranged accordingly to customer interest in real-time to optimize usability and minimize navigation effort for the customer as customer-relevant information is prioritized. Big Data Analytics is used to make better and more relevant offers to customers, or to refrain offers in the wrong moment. Customers are understood increasingly well so that a customer need can be identified in real-time: rebates can be added to product-bundles for specifically price-sensitive customer profiles. The customer experience is continuously measured and fine-tuned in the background. Customers, in turn, will also use technology to protect themselves from unwanted advertisements and direct marketing. In the future products and services not only will be developed using Big data but also tailored to a customer's specific need. Staying in the relevant set of customers will be of utmost importance. Hence, we believe the notion of marketing will change and broaden and continuously blend into e.g., product service design and improvement. While information, IT and Cyber Security is discussed since decades the new Big Data-driven challenge will be data privacy and ethics. Basically, this means that legacy approached like anonymization and personally identifiable information or PII are not sufficient any more. The task for marketing hence is to make products relevant and trusted in the digital age/ In this paper, we illustrate a few successful Big Data Use Cases in Consumer Analytics and discuss Privacy by Design as an approach to be trusted. Speakers's Bio Andreas Braun graduated from TU-Munich in Computer Science and theoretical medicine and pursued an Accenture-funded doctorate focused on software architectures for artificial intelligence. Today, Andreas heads up Global Data & Analytics at Allianz SE. In this role, he is responsible for the Global Data & Analytics Competence Center at group level. This spans big data use cases, governance, data sciences and advanced analytics, and the respective technology and architecture. Previously, Andreas was Global Head, Business Applications and Technology in GfK SE, Germany’s largest market research firm, where he was responsible for all customer-facing business software development and new technologies, including e.g., Big Data, Hadoop etc. Earlier in his career, Andreas was overseeing operations, data analytics, and off and near-shoring at TNS Infratest in Germany and Central Eastern Europe; in the 1990s, Andreas co-founded a company focusing on image processing, which he sold in 2000. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mgalster at ieee.org Tue Mar 8 02:24:31 2016 From: mgalster at ieee.org (Matthias Galster) Date: Tue, 8 Mar 2016 14:24:31 +1300 Subject: [fg-arc] CfP: ECSA 2016 - 10th European Conference on Software Architecture Message-ID: CALL FOR PAPERS 10th European Conference on Software Architecture - ECSA 2016 September 5-9, 2016, Istanbul, Turkey http://ecsa2016.iku.edu.tr Call for Papers: http://ecsa2016.iku.edu.tr/#call_for_papers Call for Tool demos: http://ecsa2016.iku.edu.tr/#call_for_tool_demos Women in Software Architecture track: http://ecsa2016.iku.edu.tr/#woman_in_se --- IMPORTANT DATES --- *Papers: Abstract submission: April 17, 2016 Paper submission: April 24, 2016 Notification: June 5, 2016 Camera-ready: June 29, 2016 *Tool demos: Paper submission: June 1, 2016 Notification: June 19, 2016 Camera-ready: June 29, 2016 *Women in Software Architecture track: Paper submission: June 1, 2016 Notification: June 19, 2016 Camera-ready: June 29, 2016 All deadlines are 23:59 Anywhere on Earth --- SCOPE --- The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels. --- TOPICS --- The program committee of ECSA 2016 seeks submissions of papers describing basic and applied research, novel applications and experience reports on all topics related to software architectures including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross disciplinary efforts and software architecture - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Architecture-based synthesis, code generation - Architecture transformation and refinement - Architecture refactoring and reengineering, reverse engineering - Architecture-based evolution - Architectures for reconfigurable and self-adaptive systems - Service-Oriented Architectures (SOA) and Web services, - Architectures for ultra-large scale, long-lived systems and systems-of-systems - Software architecture and the cloud - Software architecture and big data - Software architecture and virtualization - Architectures for cyber-physical systems - Architectural concerns of autonomic systems - Architecture-centric process models and frameworks - Software architecture and agility - Architecture-centric model driven engineering - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Industrial applications, case studies, best practices and experience reports - Empirical studies, systematic literature reviews and mapping studies in software architecture --- SUBMISSIONS --- The ECSA 2016 main track seeks three types of submissions to foster the active participation of researchers and practitioners: - Full research papers and Experience papers (max. 16 pages in LNCS style) that describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated). - Short papers (max. 8 pages in LNCS style) that present promising preliminary results from work-in-progress or research challenges in a topic of software architecture research (submissions should cover work that has a sound basis, but perhaps has not been validated in full). - Education and Training papers (max. 12 pages in LNCS style) that address challenges and best practices in in teaching and training of software architecture, such as methods, project management, and academia-industry collaborations. All submitted papers will undergo a rigorous peer review process, and be selected based on originality, quality, soundness and relevance. All accepted papers will appear in the conference proceedings published by Springer Verlag as part of the Lecture Notes in Computer Science (LNCS) series. For details about submitting papers, see http://ecsa2016.iku.edu.tr. --- CONFERENCE ORGANIZATION --- Program Co-chairs: Bedir Tekinerdogan, Wageningen University, Netherlands; Uwe Zdun, University of Vienna, Austria General chair: Muhammad Ali Babar, University of Adelaide, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Mar 8 23:46:23 2016 From: grlmc at grlmc.com (GRLMC) Date: Tue, 08 Mar 2016 23:46:23 +0100 Subject: [fg-arc] SLSP 2016: 1st call for papers Message-ID: <545102060a010b010757590207095851525350525404520050500953050f515552545351070e5203085455540503@grlmc_ip-zone_com-6> SLSP 2016: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2016   Pilsen, Czech Republic   October 11-13, 2016   Organized by:   Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2016/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2016 will consist of:   invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Boğaziçi University, İstanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nara Institute of Science and Technology, Japan) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France)   ORGANIZING COMMITTEE:   Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://www.easychair.org/conferences/?conf=slsp2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/SLSP2016/Registration.php   DEADLINES:   Paper submission: May 17, 2016 (23:59 CET) Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   SLSP 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Západočeská univerzita v Plzni Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Thu Mar 10 18:40:53 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Thu, 10 Mar 2016 19:40:53 +0200 (EET) Subject: [fg-arc] Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Message-ID: <20160310174053.F101D2C046D@omsievews> *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2016 32nd International Conference on Logic Programming Oct 17 - 21, 2016 New York City, USA http://software.imdea.org/Conferences/ICLP2016/ ICLP 2016, the 32nd International Conference on Logic Programming, will be held in New York City, USA, from October 17 to October 21, 2016. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2016 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2016 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The requested number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by March 29, 2016. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 8, 2016. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The proceedings should be produced and distributed (usually via web pages) by each workshop organizer. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by April 24, 2016, and will published on the ICLP 2016 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Sending workshop program in PDF format to the Workshop Chair for distribution and posting at the conference by September 18, 2016. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. For guidelines, see: http://dtai.cs.kuleuven.be/projects/ALP/electronic_publishing.html We encourage reading these instructions in advance so that you can ask paper authors to prepare the final versions of their papers accordingly. Location: ========= Workshops be collocated with ICLP 2016, in New York City, USA. See the ICLP 2016 web site for location details. Important Dates: ================ March 29, 2016: Proposal submission deadline April 8, 2016: Notification April 24, 2016: Deadline for receipt of CfP and workshop web page URL Sep 18, 2016: Deadline for workshop program Oct 16-17, 2016: ICLP workshops (preliminary dates) Workshop Chair: =============== Marcello Balduccini marcello.balduccini at gmail.com From Klaus.Havelund at jpl.nasa.gov Thu Mar 10 15:29:20 2016 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (349F)) Date: Thu, 10 Mar 2016 14:29:20 +0000 Subject: [fg-arc] [fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the deadline Message-ID: [Our apologies for duplicates] RV 2016 16th International Conference on Runtime Verification September 23-30, Madrid, Spain http://rv2016.imag.fr = Scope Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - runtime enforcement, fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. = Invited Speakers The program of RV 2016 will feature invited talks from: Gul Agha (University of Illinois at Urbana-Champaign, USA) Oded Maler (CNRS and University of Grenoble-Alpes, France) Fred B. Schneider (Cornell University, USA) = Overview RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30). = General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers. — Research Papers Track Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. The Program Committee of RV 2015 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. * Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions. — Tool Papers Track The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference. All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool’s capabilities, highlighting the main characteristics and the usage. Tool papers can be submitted into two categories: * Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. * Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016. — Tutorial Track Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee. = Important Dates Research and tool papers as well as tutorials will follow the following timeline: Abstract deadline: May 8, 2016 Paper and tutorial deadline: May 15, 2016 Tutorial notification: June 1, 2016 Paper notification: July 11, 2016 Camera ready deadline: August 8, 2016 Summer school: September 23-25, 2016 Workshops and tutorials: September 26-27, 2016 Conference: September 28-30, 2016 = Committees — Program Committee Chairs Yliès Falcone, Univ. Grenoble-Alpes and Inria, France Cesar Sanchez, IMDEA Software, Madrid, Spain — Tool Committee Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA — Local Organization Chair Juan E. Tapiador, Universidad Carlos III de Madrid, Spain — Program Committee Erika Abraham, RWTH Aachen University, Germany Howard Barringer, The University of Manchester, UK Ezio Bartocci, TU Wien, Austria Andreas Bauer, NICTA & Australian National University, Australia Saddek Bensalem, Univ. Grenoble Alpes, France Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour, McMaster University, Canada Laura Bozzelli, Technical University of Madrid (UPM), Spain Juan Caballero, IMDEA Software Institute, Spain Wei-Ngan Chin, National University of Singapore, Singapore Christian Colombo, University of Malta, Malta Jyotirmoy Deshmukh, Toyota Technical Center, USA Alexandre Donzé, UC Berkeley EECS Department, USA Yliès Falcone, Univ. Grenoble Alpes and Inria, France Bernd Finkbeiner, Saarland University, Germany Adrian Francalanza, University of Malta, Malta Vijay Garg, The University of Texas at Austin, USA Patrice Godefroid, Microsoft Research, USA Susanne Graf, Univ. Grenoble Alpes and CNRS, France Radu Grosu, Vienna University of Technology, Austria Sylvain Hallé, Université du Québec à Chicoutimi, Canada Klaus Havelund, NASA Jet Propulsion Laboratory, USA Johan Jaffar, National University of Singapore, Singapore Thierry Jéron, Inria Rennes – Bretagne Atlantique, France Johannes Kinder, Royal Holloway University of London, UK Felix Klaedtke, NEC Europe Ltd., Germany Kim G. Larsen, Aalborg University, Denmark Axel Legay, Inria Rennes – Bretagne Atlantique, France Martin Leucker, University of Lübeck, Germany Benjamin Livshits, Microsoft Research, USA Joao Lourenço, Universidade Nova de Lisboa, Portugal Rupak Majumdar, MPI-SWS, Germany Leonardo Mariani, University of Milano Bicocca, Italy David Naumann, Stevens Institute of Technology, USA Dejan Nickovic, Austrian Institute of Technology, Austria Gordon Pace, University of Malta, Malta Doron Peled, Bar Ilan University, Israel Lee Pike, Galois, Inc., USA Grigore Rosu, University of Illinois at Urbana-Champaign, USA Gwen Salaün, Univ. Grenoble Alpes and Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Sriram Sankaranarayanan, University of Colorado Boulder, USA Gerardo Schneider, University of Gothenburg, Sweden Scott Smolka, Stony Brook University, USA Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Scott Stoller, Stony Brook University, USA Volder Stolz, University of Oslo, Norway Jun Sun, Singapore University of Technology and Design, Singapore Juan Tapiador, Universidad Carlos III de Madrid, Spain Serdar Tasiran, Koc Univ., Turkey Michael Whalen, University of Minnesota, USA Eugen Zalinescu, ETH Zurich, Switzerland Lenore Zuck, University of Illinois at Chicago, USA — Tool Committee Steven Artz, EC Spride, Germany Howard Barringer, The University of Manchester, UK Ezio Bartocci, TU Wien, Austria Martin Leucker, University of Luebeck, Germany Gordon Pace, University of Malta, Malta Giles Reger, The University of Manchester, UK Julien Signoles, CEA, France Oleg Sokolsky, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Nikolai Tillmann, Microsoft Research, USA Eugen Zalinescu, ETH Zurich, Switzerland — end — -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From grlmc at grlmc.com Sun Mar 13 01:24:00 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 13 Mar 2016 01:24:00 +0100 Subject: [fg-arc] AlCoB 2016: call for posters Message-ID: <545102060a010b000255540603095150505e505707540f0557510a075750070204550452510e020a510059510506@grlmc_ip-zone_com-6> AlCoB 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   --------------------------------------------   The 3th International Conference on Algorithms for Computational Biology (AlCoB 2016) invites researchers to submit poster presentations. AlCoB 2016 will be held in Trujillo (Spain) on June 21-22, 2016. See   http://grammars.grlmc.com/AlCoB2016/   Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion.   TOPICS   Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics:   - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species.   Posters do not need to show final research results. Work that might lead to new interesting developments is welcome.   KEY DATES   Submission deadline: May 14, 2016 Notification of poster acceptance or rejection: May 21, 2016   SUBMISSION   Please submit a .pdf abstract to:   https://www.easychair.org/conferences/?conf=alcob2016   It should contain the title, author(s) and affiliation, and should not exceed 500 words.   PRESENTATION   Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion.   PUBLICATION   Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2016. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1).   REGISTRATION   At least one author of each accepted poster must register to the conference. The registration fare is reduced: 240 Euro. However, it gives the same rights as all other conference participants (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From abraham at informatik.rwth-aachen.de Thu Mar 10 14:41:13 2016 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Thu, 10 Mar 2016 14:41:13 +0100 Subject: [fg-arc] iFM 2016 Call for Participation Message-ID: <56E17979.6040108@informatik.rwth-aachen.de> =========================================================== CALL FOR PARTICIPATION iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Guaranteed hotel reservations: March 15, 2016 Early registration deadline: April 22, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Invited speakers === - Marsha Chechik (University of Toronto, Canada): Dimensions of Model Transformation Reuse - Laura Kovacs (Chalmers University of Technology, Sweden and TU Wien, Austria): Symbolic Computation and Automated Reasoning for Program Analysis - Reiner Haehnle (Technical University Darmstadt, Germany): Can Formal Methods Improve the Efficiency of Code Reviews? === List of accepted papers === - Daniel Darvas, Istvan Majzik and Enrique Blanco Vinuela. "Formal Verification of Safety PLC Based Control Software" - Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. "Towards a Thread-Local Proof Technique for Starvation Freedom" - Petra van den Bos, Rick Smetsers and Frits Vaandrager. "Enhancing Automata Learning by Log-Based Metrics" - Sean Sedwards, Pedro D'Argenio, Arnd Hartmanns and Axel Legay. "Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata" - Olaf Owe. "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems" - Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison and Mattias Rost. "Probabilistic Formal Analysis of App Usage to Inform Redesign" - Sebastian Krings and Michael Leuschel. "SMT Solvers for Validation of B and Event-B models" - Mathijs Schuts, Jozef Hooman and Frits Vaandrager. "Refactoring of Legacy Software using Model Learning and Equivalence Checking: An Industrial Experience Report" - Stephan Barth. "Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata" - Adrian Riesco and Juan Rodriguez-Hortala. "Temporal Random Testing for Spark Streaming" - Leo Freitas, James Baxter, Ana Cavalcanti and Andy Wellings. "Verifying a Priority Scheduler for an SCJ Runtime Environment" - Andreas Mueller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and Andre Platzer. "A Component-based Approach to Hybrid Systems Safety Verification" - Michael Ameri and Carlo A. Furia. "Why Just Boogie? Translating Between Intermediate Verification Languages" - Sascha Fendrich and Gerald Luettgen. "A Generalised Theory of Interface Automata, Component Compatibility and Error" - Christian Prehofer. "Property Preservation for Extension Patterns of State Transition Diagrams" - Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga and Jacques Combaz. "Monitoring Multi-threaded Component-Based Systems" - Elvira Albert, Miguel Gomez-Zamalloa and Miguel Isabel. "Combining Static Analysis and Testing for Deadlock Detection" - Andrii Kovalov and Juliana Kuester Filipe Bowles. "Avoiding Medication Conflicts for Patients with Multimorbidities" - Pedro Antonino, Bill Roscoe and Thomas Gibson-Robinson. "Efficient Deadlock Checking using Local Analysis and SAT Solving" - Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco Van de Pol, Helen Treharne and Jorden Whitefield. "Symbolic Reachability Analysis of B through ProB and LTSmin" - Bjornar Luteberget, Christian Johansen and Martin Steffen. "Rule-based Consistency Checking of Railway Infrastructure Designs" - Viorel Preoteasa. "Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle" - Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton and Igor Muttik. "On Robust Malware Classifiers by Verifying Unwanted Behaviours" - Ian Cassar and Adrian Francalanza. "On Implementing a Monitor-Oriented Programming Framework for Actor Systems" - Lubos Korenciak, Vojtech Rehak and Adrian Farmadin. "Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-delay CTMC" - Pavel Zaichenkov, Olga Tveretina and Alex Shafarenko. "A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces" - Renata Hodovan and Akos Kiss. "Fuzzing JavaScript Engine APIs" - Matt Luckcuck, Ana Cavaltanti and Andy Wellings. "Formal Model of the Safety-Critical Java Level 2 Paradigm" - Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti and Chetan Bansal. "Enabling Static Driver Verifier using Microsoft Azure" === Workshops === iFM 2016 will be accompanied by a series of satellite events: The 6th International Symposium on Unifying Theories of Programming (UTP 2016) http://utp2016.ecnu.edu.cn/ Workshop on Pre- and Post-Deployment Verification Techniques (PrePost) http://icetcs.ru.is/prepost/ Workshop on Formal Methods for and on the Cloud (iFMCloud'16) https://ifmcloud2016.nntb.no/ Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS) http://www.cs.ox.ac.uk/conferences/VVCPS16/ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM 2016) http://en.ru.is/ifm/ifm-phd-symposium/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From uwe.assmann at tu-dresden.de Wed Mar 16 15:34:51 2016 From: uwe.assmann at tu-dresden.de (Uwe Assmann) Date: Wed, 16 Mar 2016 15:34:51 +0100 Subject: [fg-arc] Second Call for MORSE 2016 Message-ID: <56E96F0B.2030102@tu-dresden.de> Second Call MORSE 2016 - Third Workshop on Model-Driven Robot Software Engineering http://st.inf.tu-dresden.de/MORSE16 ----------------------------------- MORSE'16 is co-located with the RoboCup 2016 Workshop Date: July 1, 2016 Location: Messe Leipzig, Leipzig, Germany ----------------------------------- CALL FOR PAPERS ----------------------------------- 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 Techniques can improve the software engineering of robotic systems on two to four pages. Accepted papers will be 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 -- -------------------------------------------------------------------------------- SE 2016 - http://se2016.conf.tuwien.ac.at/ -------------------------------------------------------------------------------- Prof. Dr. Uwe Aßmann mailto:uwe.assmann at tu-dresden.de Software Engineering Group tel:+49 351 463 38463 Institut für Software- und fax:+49 351 463 38459 Multimediatechnik http://st.inf.tu-dresden.de Fakultät Informatik https://www.facebook.com/stdresden Technische Universitat Dresden building: Noethnitzer Str. 46, 01307 Dresden D-01062 Dresden room/Zimmer: 2087, 2. Stock, West -------------------------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5162 bytes Desc: S/MIME Cryptographic Signature URL: From wojciech.mostowski at hh.se Wed Mar 16 09:12:30 2016 From: wojciech.mostowski at hh.se (Wojciech Mostowski) Date: Wed, 16 Mar 2016 09:12:30 +0100 Subject: [fg-arc] Extended deadline: PhD Symposium at iFM 2016 Call for Submissions In-Reply-To: <1458057400.4160.0.camel@ru.is> References: <1458057400.4160.0.camel@ru.is> Message-ID: <56E9156E.6020602@hh.se> (Apologies for multiple copies) ============================================================ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'16) Reykjavik, Iceland, June 5, 2016 http://en.ru.is/ifm/ifm-phd-symposium/ Paper submission: *Extended* March 20, 2016 Author notification: April 1, 2016 ============================================================ === Scope === The theory, implementation, integration or application of formal methods in a broad sense. === Who can submit? === PhD students and young researchers at an early career stage (up to 2 years after PhD completion). === Why to submit? === Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce a tutorial by Mohammad Reza Mousavi and a talk by Carlo Ghezzi. - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published in a technical report of Reykjavik University, Iceland. === What to submit? === You are welcome to submit an extended abstract of at most 3 pages, describing your research project which you would like to present. Co-authors are allowed, but you should be the first author. The results may have been accepted or even published elsewhere. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=phdifm2016 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of Reykjavik University. === Invited Presentations === * Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about "How to Write and Present a Computer Science Paper". * Carlo Ghezzi (Politecnico di Milano, Italy) will talk about "Formal models and verification to support software evolution". === Symposium Chairs === Marcel Kyas (Reykjavik University, Iceland) Wojciech Mostowski (Halmstad University, Sweden) === Programme Committee === Erika Abraham (RWTH Aachen University, Germany) Carlo Ghezzi (Politecnico di Milano, Italy) Mohammad Reza Mousavi (Halmstad University, Sweden) -- Wojciech Mostowski Centre for Research on Embedded Systems (CERES) School of Information Technology, Halmstad University Box 823, SE-301 18 Halmstad, Sweden e-mail: wojciech.mostowski at hh.se www: http://ceres.hh.se/mediawiki/Wojciech_Mostowski tel: +46-35-16-7137, fax: +46-35-12-0348 From l.duboc at cs.ucl.ac.uk Thu Mar 17 09:45:59 2016 From: l.duboc at cs.ucl.ac.uk (Leticia Duboc) Date: Thu, 17 Mar 2016 09:45:59 +0100 Subject: [fg-arc] RE'16 still accepting submissions to RE:Next! (Extended!) Message-ID: *The 24th International Requirements Engineering Conference*Many thanks to the research and industry paper authors! For those who missed the research and industry deadline, RE:Next! is still accepting submissions. *KEY DATES:* Abstract Submissions: *21th of March 2016* Full Papers: *28th of March2016* Please see Re at Next! call 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 Mar 18 14:01:09 2016 From: sebastian.goetz1 at tu-dresden.de (=?UTF-8?Q?Sebastian_G=c3=b6tz?=) Date: Fri, 18 Mar 2016 14:01:09 +0100 Subject: [fg-arc] 2nd Call for Papers: Models@run.time for Self-aware Computing Systems (extended deadline) Message-ID: <56EBFC15.7070103@tu-dresden.de> 2nd Call for Papers 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 (23:59 AoE) Submissions of abstracts: March 29th, 2016 (extended!) Submissions of papers: March 29th, 2016 (extended!) 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) --- Diese E-Mail wurde von Avast Antivirus-Software auf Viren geprüft. https://www.avast.com/antivirus From grlmc at grlmc.com Sat Mar 19 23:14:38 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 19 Mar 2016 23:14:38 +0100 Subject: [fg-arc] WebST 2016: early registration deadline 6 April Message-ID: <545102060a010b0007535203070907065102030250055203500a0c05060f50515c040100520d0202015352570653@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 6 April*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: April 6, 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, 19 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 (Pompeu Fabra University), Distributed Web Search   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   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   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   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:   A suggestion of accommodation is available on the webpage.   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 Thu Mar 24 11:22:40 2016 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Thu, 24 Mar 2016 11:22:40 +0100 Subject: [fg-arc] [ESSoS'16] Call for Participation Message-ID: <56F3BFF0.1070809@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/ 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: 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 schmid at sse.uni-hildesheim.de Thu Mar 24 19:08:17 2016 From: schmid at sse.uni-hildesheim.de (Klaus Schmid) Date: Thu, 24 Mar 2016 19:08:17 +0100 Subject: [fg-arc] Fachgruppentreffen Software-Architekturen Message-ID: Liebe Kolleginnen und Kollegen, ich möchte Sie herzlich zum Treffen der Fachgruppe Software-Architekturen einladen! Die Veranstaltung wird am 23/24. Juni bei der Robert Bosch GmbH in Hildesheim stattfinden. Das aktuelle Programm ist online: http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2016/programm.html Ebenfalls die Informationen zur Anmeldung: http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2016/anmeldung.html Das diesjährige Motto ist “Software-Architekturen im Zeitalter von Big Data”. Wir haben daher einen gewissen Schwerpunkt bei den Beiträgen auf Big Data gelegt, decken aber auch bewusst einen breiteren Bereich ab (Software-Ökosysteme, Industrie 4.0, Eingebettete Systeme, etc.). Die Robert Bosch GmbH ist ebenfalls Sponsor der Veranstaltung. Ich würde mich sehr freuen Sie in Hildesheim begrüßen zu dürfen! Mit freundlichen Grüßen / Best Regards Klaus Schmid ----------------------------------------------------------------- Prof. Dr. Klaus Schmid University of Hildesheim Tel.: +49(0)5121 / 883-40332 Institute of Computer Science Fax.: +49(0)5121 / 883-40333 Universitaetsplatz 1 schmid at sse.uni-hildesheim.de D-31141 Hildesheim, Germany www.sse.uni-hildesheim.de ----------------------------------------------------------------- From raoul.strackx at CS.KULEUVEN.BE Thu Mar 24 11:20:44 2016 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Thu, 24 Mar 2016 11:20:44 +0100 Subject: [fg-arc] [ESSOS] [ESSoS'16] Call for Participation Message-ID: <56F3BF7C.7050403@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/ 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: 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 Fri Mar 25 08:52:25 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Fri, 25 Mar 2016 09:52:25 +0200 (EET) Subject: [fg-arc] Second Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Message-ID: <20160325075225.229452C00AE@omsievews> *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2016 32nd International Conference on Logic Programming Oct 17 - 21, 2016 New York City, USA http://software.imdea.org/Conferences/ICLP2016/ ICLP 2016, the 32nd International Conference on Logic Programming, will be held in New York City, USA, from October 17 to October 21, 2016. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2016 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2016 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The requested number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by March 29, 2016. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 8, 2016. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The proceedings should be produced and distributed (usually via web pages) by each workshop organizer. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by April 24, 2016, and will published on the ICLP 2016 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Sending workshop program in PDF format to the Workshop Chair for distribution and posting at the conference by September 18, 2016. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. For guidelines, see: http://dtai.cs.kuleuven.be/projects/ALP/electronic_publishing.html We encourage reading these instructions in advance so that you can ask paper authors to prepare the final versions of their papers accordingly. Location: ========= Workshops be collocated with ICLP 2016, in New York City, USA. See the ICLP 2016 web site for location details. Important Dates: ================ March 29, 2016: Proposal submission deadline April 8, 2016: Notification April 24, 2016: Deadline for receipt of CfP and workshop web page URL Sep 18, 2016: Deadline for workshop program Oct 16-17, 2016: ICLP workshops (preliminary dates) Workshop Chair: =============== Marcello Balduccini marcello.balduccini at gmail.com From edocconference2016 at gmail.com Wed Mar 30 15:42:10 2016 From: edocconference2016 at gmail.com (EDOC conference 2016) Date: Wed, 30 Mar 2016 15:42:10 +0200 Subject: [fg-arc] Final CfP (deadline extension): IEEE EDOC conference 2016 Message-ID: <56FBD7B2.5020705@gmail.com> We apologize if you receive this message more than once. --- This is the final call for papers for the IEEE EDOC conference 2016. The deadline for full papers has been extended to April 7th! Thus, there are *eight days left* to prepare your papers for the main conference! Don't miss the opportunity to submit your paper(s)! Also check out the webpage for updates and news: http://tinyurl.com/ieee-edoc16 More information: ============================================================ 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,****April 7, 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 sauer at upb.de Wed Mar 30 19:58:30 2016 From: sauer at upb.de (Stefan Sauer) Date: Wed, 30 Mar 2016 19:58:30 +0200 Subject: [fg-arc] Call for Papers: 7. Workshop Design for Future - Langlebige Softwaresysteme Message-ID: <56FC13C6.1060603@upb.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 11. April 2016 ------------------------------------------------------------------------------------------------------- *7. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2016)* _______________________________________________________________ --- Neue Herausforderungen für alte (langlebige) Systeme --- des GI-Arbeitskreises „Langlebige Softwaresysteme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2016/ 02.–04. Mai 2016 in Bad Honnef gemeinsam mit dem *18. Workshop Software-Reengineering & Evolution (WSRE 2016)* http://fg-sre.gi.de/archiv/wsr/wsre2016.html Wichtige Termine ----------------------- Einreichung von Beiträgen 11. April 2016 Benachrichtigung über die Annahme 18. April 2016 Einreichung der finalen Fassung 22. April 2016 Anmeldeschluss zur Teilnahme 22. April 2016 Workshop 02.-04. Mai 2016 Inhalt und Ziele --------------------- Das Altern von Software ist vor allem bei großen betrieblichen Informationssystemen ein Problem, das unter dem Begriff Legacy bekannt ist und sich in Zukunft noch weiter verschärfen wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen zur Erhöhung der Datenqualität erfordern. Das Problem der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 7. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. Themen ----------- Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: • Anpassungsfähige und zukunftssichere Software-Architekturen • Evolution und Co-Evolution von Modellen und Code • Verhinderung von Software-Erosion • Re-Engineering zum Erkennen und Beheben von Legacy-Problemen • Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme • Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) • Evolutionsherausforderungen im Kontext von Big Data • Qualitätsmanagement für langlebige Softwaresysteme • Fallstudien zu den vorgenannten Themen • Praxis- und Erfahrungsberichte zu den vorgenannten Themen Einreichung & Veröffentlichung von Beiträgen ------------------------------------------------------------- Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=dff2016 freigeschaltet. Organisation ----------------- Der Workshop wird organisiert vom GI-Arbeitskreis „Langlebige Softwaresysteme“ (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 18. Workshop Software-Reengineering & Evolution (WSRE 2016) der Fachgruppe „Software-Reengineering“ durchgeführt. Kontakt ----------- Stefan Sauer, Universität Paderborn, s-lab – Software Quality Lab Zukunftsmeile 1, 33102 Paderborn; E-Mail: sauer at s-lab.upb.de, Telefon: +49 5251 60-5390 Programmkomitee ------------------------- wird noch bekannt gegeben -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5446 bytes Desc: S/MIME Cryptographic Signature URL: