From riebisch at informatik.uni-hamburg.de Wed Jul 1 09:09:11 2015 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Wed, 1 Jul 2015 07:09:11 +0000 Subject: [fg-arc] Erinnerung: Einladung zur GI-Tagung "Architekturen 2015" - Hamburg, 9. - 10.7.2015 Message-ID: Liebe Mitglieder der GI-Fachgruppe Architekturen, liebe Architekturinteressierte, wir m?chten Sie heute noch einmal daran erinnern, dass am 9. und 10. Juli 2015 in Hamburg die Tagung ?Architekturen 2015? stattfinden wird, die in diesem Jahr unter dem Motto "Softwarearchitekturen f?r digitale Dienstleistungen" steht. Das Vortragsprogramm der Tagung haben wir in den letzten Wochen f?r Sie sukzessive erweitert und hoffen, dass es Ihr Interesse weckt. Zus?tzlich haben wir ein Teilnahmekontingent f?r Studierende eingerichtet, die zu einem erm??igten Tagungsbeitrag teilnehmen k?nnen. Alle Informationen zur Tagung finden Sie unter http://fg-arc.gi.de/veranstaltungen/architekturen-2015.html Wir w?rden uns freuen, wenn wir Sie in Hamburg begr??en d?rfen. Ihre z?gige Anmeldung erleichtert uns in diesem Fall die Organisation. Mit herzlichen Gr??en Ulrike Steffens und Matthias Riebisch -- Prof. Dr.-Ing. habil. Matthias Riebisch Universitaet Hamburg, MIN-Fakultaet, FB Informatik, Software-Entwicklungs- und Konstruktionsmethoden (SWK) Phone +494042883-2427, Sec -2312, Fax -2311 riebisch at informatik.uni-hamburg.de PGP: 0xdedad5543adefe39 http://swk-www.informatik.uni-hamburg.de -------------- next part -------------- A non-text attachment was scrubbed... Name: winmail.dat Type: application/ms-tnef Size: 16137 bytes Desc: not available URL: From burger at kit.edu Thu Jul 2 14:31:19 2015 From: burger at kit.edu (Erik Burger) Date: Thu, 2 Jul 2015 14:31:19 +0200 Subject: [fg-arc] Aufruf zur Einreichung: Modellierung 2016 Message-ID: <55952F17.3090308@kit.edu> +--------------------------------------------------------------------+ | Fachtagung | | | | MODELLIERUNG 2016 | | | | 02.-04. M?rz 2016 | | Karlsruher Institut f?r Technologie | +--------------------------------------------------------------------+ Aufruf zur Einreichung von Beitr?gen ==================================== Modelle stellen eines der wichtigsten Hilfsmittel zur Beherrschung komplexer Systeme dar. Die Themenbereiche der Entwicklung, Nutzung, Kommunikation und Verarbeitung von Modellen sind so vielf?ltig wie die Informatik mit all ihren Anwendungen. Die Fachtagung ?Modellierung? wird vom Querschnittsfachausschuss Modellierung der Gesellschaft f?r Informatik e.V. seit 1998 durchgef?hrt und hat sich als einschl?giges Forum f?r Grundlagen, Methoden, Techniken, Werkzeuge sowie Dom?nen und Anwendungen der Modellierung etabliert. Die ?Modellierung? f?hrt Teilnehmerinnen und Teilnehmer aus allen Bereichen der Informatik sowie aus Wissenschaft und Praxis zusammen. Die Tagung zeichnet sich traditionell durch lebendige und fachgebiets?bergreifende Diskussionen und engagierte R?ckmeldungen aus, weshalb sie gerade auch f?r Nachwuchswissenschaftlerinnen und Nachwuchswissenschaftler interessant ist. Erbeten wird die Einreichung von Originalbeitr?gen mit hoher Qualit?t, die sich mit Fragestellungen zu den genannten Themengebieten besch?ftigen. Im Umfeld des Vortragsprogramms sind Workshops zu speziellen Themen, Tutorien, ein Doktorandinnen- und Doktorandensymposium sowie ein Praxisforum geplant. Hierf?r werden ebenfalls Vorschl?ge erbeten. Die Tagungssprache ist prim?r deutsch. Gleichwohl sind Einreichungen in englischer Sprache sowie Pr?sentationen englischsprechender Teilnehmerinnen und Teilnehmer ebenfalls willkommen. Themen ====== Die nachfolgend genannten Themen f?r Beitragseinreichungen stellen Anregungen dar und sind keineswegs abschlie?end zu verstehen. Grundlagen ---------- * (Dom?nenspezifische) Modellierungssprachen und ihre Semantik * (Nicht-)Ausf?hrbarkeit von Modellen * Formale Grundlagen der Modellbildung (Logiken, Transitionssysteme, etc.) * Integration/Interoperabilit?t verschiedener Modellierungsbereiche * Komplexit?tsreduktion und Skalierbarkeit * Meta-Modellierung * Modellbasiertes Testen * Modellqualit?t * Modelltransformation, -evolution und -integration * Modellverifikation und -validierung * Muster in der Modellbildung * Ontologien in der Modellierung * Modellierung in der Lehre Methoden, Techniken und Werkzeuge --------------------------------- * Aspektorientierte Modellierung * Business/IT-Alignment * Integrierte Modellierungsmethoden * Kollaborative Modellierung * Management von Modellen * Model Engineering * Model-Driven Architecture und Model-Driven Development * Modelle zur Laufzeit * Modellierung kontextsensitiver Systeme * Modellierung von Flexibilit?t * Modellierungswerkzeuge f?r dom?nenspezifische Sprachen * Model-Repositories * Multi-View-Modellierung * Plattformen zur Entwicklung von Modellierungswerkzeugen Dom?nen und Anwendungen der Modellierung ---------------------------------------- * Anforderungsmodellierung * Benutzermodellierung * Gesch?ftsprozess- und Workflow-Modellierung * (Biz)DevOps * Modellierung eingebetteter Systeme * Modellierung in der Informationstechnik * Modellierung serviceorientierter IT-Systeme * Modellierung sicherheitskritischer Systeme * Modellierung verteilter betrieblicher Informationssysteme * Open Models * Referenzmodelle f?r spezielle Anwendungsbereiche * Unternehmensmodellierung und Unternehmensarchitekturen Termine ======= 18.10.2015 Einreichung von Beitr?gen 29.11.2015 Mitteilung der Gutachten 07.12.2015 Stellungnahme der Autorinnen und Autoren 21.12.2015 Mitteilung der Annahmeentscheidung 18.01.2016 Einreichung der Endfassung der Beitr?ge 02.-04.03.2016 Tagung ?Modellierung 2016? Einreichungen zum Doktorandinnen- und Doktorandensymposium werden bis zum 21.12.2015 erbeten, Vorschl?ge f?r Workshops und Tutorien bis 02.10.2015 und Vorschl?ge f?r das Praxisforum bis 21.12.2015. Hierzu werden in K?rze n?here Informationen ver?ffentlicht (http://www.modellierung2016.org/). Beitragseinreichung und Publikation =================================== Wissenschaftliche Beitr?ge k?nnen als Langbeitr?ge (16 Seiten) oder Kurzbeitr?ge (8 Seiten) eingereicht werden. Die Seitengrenzen sind verbindlich und schlie?en Literaturverzeichnis und Anh?nge mit ein. Angenommene Beitr?ge werden im Tagungsband publiziert, der in der GI-Reihe Lecture Notes in Informatics (LNI) erscheinen wird. Die Gestaltung der Beitr?ge wird durch die LNI-Richtlinien bestimmt (http://www.gi-ev.de/fileadmin/redaktion/Autorenrichtlinien/guidelines.pdf). Die Beitr?ge werden in einschl?gigen Indizes, wie z. B. DBLP, gelistet. Autorinnen und Autoren k?nnen angenommene Beitr?ge in ?berarbeiteter Form f?r die Publikation in Fachzeitschriften weiterverwerten. Praxisbeitr?ge k?nnen als Kurzbeitr?ge eingereicht werden. Angenommene Beitr?ge werden in elektronischer Form verf?gbar gemacht. Weitere Details siehe http://www.modellierung2016.org/. Alle Beitr?ge werden dreifach begutachtet. Die Autorinnen und Autoren haben Gelegenheit, zu den Gutachten Stellung zu nehmen, um etwaige Missverst?ndnisse auszur?umen (Rebuttal). Tagungsort ========== Karlsruher Institut f?r Technologie, Kaiserstra?e 12, 76131 Karlsruhe Verantwortliche =============== Tagungsleitung -------------- Andreas Oberweis (KIT/FZI, Karlsruhe) Ralf Reussner (KIT/FZI, Karlsruhe) Workshops --------- Stefanie Betz (KIT, Karlsruhe) Ulrich Reimer (FHS St. Gallen) Praxisforum ----------- Alexander Paar (TWT GmbH) Christian Stahl (TWT GmbH) Doktorandinnen- und Doktorandensymposium ---------------------------------------- J?rg Desel (Fernuniv. Hagen) Gregor Engels (Univ. Padeborn) Tutorien -------- Erik Burger (KIT, Karlsruhe) Norbert Seyff (Universit?t Z?rich) Werkzeugpr?sentation -------------------- Hans-Georg Fill (Universit?t Wien) Agnes Koschmider (KIT, Karlsruhe) Studierendenprogramm -------------------- Robert Heinrich (KIT, Karlsruhe) Homepage ======== http://www.modellierung2016.org -- ______________________________________________________________________ Karlsruhe Institute of Technology (KIT) Faculty of Informatics Institute for Programme Structures and Data Organisation IPD Reussner - Software Design and Quality Dr.-Ing. Erik Burger Researcher Am Fasanengarten 5, Building 50.34, Room 242 76131 Karlsruhe, Germany Phone: +49 721 608-45765 (-45993, secr.) Fax: +49 721 608-45990 Email: burger at kit.edu http://sdq.ipd.kit.edu/people/erik_burger KIT - University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association ______________________________________________________________________ From petriu at sce.carleton.ca Sat Jul 4 00:56:31 2015 From: petriu at sce.carleton.ca (Dorina C. Petriu) Date: Fri, 3 Jul 2015 18:56:31 -0400 Subject: [fg-arc] ACM/SPEC ICPE 2016: Call for Contributions Message-ID: <5597131F.3030400@sce.carleton.ca> CALL FOR CONTRIBUTIONS ICPE 2016 7th ACM/SPEC International Conference on Performance Engineering A Joint Meeting of WOSP/SIPEW sponsored by ACM SIGMETRICS and ACM SIGSOFT in Cooperation with SPEC Delft, the Netherlands March 12-18, 2016 https://icpe2016.spec.org/ ------------------------------------------------------------------------ IMPORTANT DATES Research and Industrial / Experience Abstracts Sep 15, 2015 Research and Industrial / Experience Papers Sep 30, 2015 Research and Industrial / Experience Paper Notification Nov 15, 2015 Work-in-Progress/Vision Papers Nov 23, 2015 Workshop Proposals Nov 23, 2015 Posters and Demos Proposals Nov 23, 2015 Tutorial Proposals Nov 23, 2015 Doctoral Symposium Proposals Nov 23, 2015 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory and practice in the field of performance engineering by providing a forum for sharing ideas and experiences between industry and academia. ICPE is a joint meeting of the ACM Workshop on Software and Performance (WOSP) and the SPEC International Performance Evaluation Workshop (SIPEW). The conference brings together researchers and industry practitioners to share and present their experiences, to discuss challenges, and to report state-of-the-art and in-progress research on performance engineering. This year's main theme is performance in the data center, in particular for hosting cloud applications and services. Topics of interest include, but are not limited to: * Performance in the data center, cloud, and Internet of Things * Performance methods in software development * Model-driven performance engineering * Performance modeling and prediction * Performance measurement and experimental analysis * Benchmarks (workloads, scenarios, and implementations) * Run-time performance and capacity management * Performance in cloud, virtualized, and multi-core systems * Performance-driven resource and power management * Performance of big data systems * Performance modeling and evaluation in other domains * Performance requirements specification * Performance testing and validation * Relationship between performance and architecture * All other topics related to performance ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. A variety of contribution styles for papers are solicited including: basic and applied research papers for novel scientific insights, industrial and experience papers reporting on applying performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. For detailed submission instructions, please visit: https://icpe2016.spec.org/submissions.html. Submissions to all tracks need to be uploaded to ICPE's easychair installation at https://easychair.org/conferences/?conf=icpe2016. At least one author of each accepted paper is required to register at the full rate, attend the conference and present the paper. Presented papers will be published in the ICPE 2016 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference there will be a call for a special issue of a journal. ------------------------------------------------------------------------ ORGANIZING COMMITTEE General Chairs Alberto Avritzer, Siemens, USA Alexandru Iosup, Delft University of Technology, The Netherlands Research Program Chairs Xiaoyun Zhu, Futurewei Technologies, USA Steffen Becker, Chemnitz University of Technology, Germany Industry Program Chairs Jerry Rolia, HP(E) Labs, Canada Manoj Nambiar, Tata Consultancy Services, India Tutorials Chair Andre van Hoorn, University of Stuttgart, Germany Workshops Chairs Mihai Capota, Intel Labs, USA Ana Varbanescu, University of Amsterdam, the Netherlands Posters and Demos Chair Radu Prodan, University of Innsbruck, Austria Doctoral Symposium Chair Dick Epema, TU Delft, the Netherlands Publicity Chairs Alexander Wert, NovaTec Consulting GmbH, Germany Yu Hua, Huazhong University of Science and Technology, China Dorina Petriu, Carleton, Canada Vanish Talwar, HP Labs, USA Daniel Sadoc Menasche, University of Rio de Janeiro, South America Timothy Wood, George Washington University, USA Finance Chair Anne Koziolek, Karlsruhe Institute of Technology, Germany Publication Chair Catia Trubiani, Gran Sasso Science Institute, Italy Web Site Chair Tim Hegeman, TU Delft, the Netherlands ------------------------------------------------------------------------ PROGRAM COMMITTEE (RESEARCH PAPERS) Davide Arcelli, Universita' dell'Aquila, Italy Walter Binder, University of Lugano, Switzerland Anja Bog, SAP Labs, Germany Andre Bondi, Siemens Corporate Research, Inc., USA Lubom?r Bulej, Charles University, Czech Republic Prasad Calyam, University of Missouri-Columbia, USA Niklas Carlsson, Linkoping University, Sweden Giuliano Casale, Imperial College London, UK Lucy Cherkasova, HPLabs, USA Vittorio Cortellessa, Universita' dell'Aquila, Italy Dror Feitelson, Hebrew University of Jerusalem, Israel Tony Field, Imperial College London Karthik Ganesan, Oracle Inc., USA Peter Harrison, Imperial College London, UK Wilhelm Hasselbring, Kiel University, Germany Yu Hua, Huazhong University of Science and Technology, China Gabriela Jacques-Silva, IBM Research, USA Lizy John, The University of Texas at Austin, USA Carlos Juiz, University of the Balearic Islands, Spain Evangelia Kalyvianaki, CIty University London, UK Samuel Kounev, University of Wuerzburg, Germany Diwakar Krishnamurthy, University of Calgary, Canada Lei Lu, VMware, USA Anirban Mahanti, NICTA Sydney, Australia Andrea Marin, University of Venice, Italy Daniel Menasce, George Mason University, USA Daniel Sadoc Menasch?, Federal University of Rio de Janeiro, Brazil Jos? Merseguer, Universidad de Zaragoza, Spain Raffaela Mirandola, Politecnico di Milano, Italy Dorina Petriu, Carleton University, Canada Tilmann Rabl, University of Toronto, Canada Ralf Reussner, KIT, Germany Suzanne Rivoire, Sonoma State University, USA Florian Rosenberg, IBM T.J. Watson Research Center, USA Evgenia Smirni, College of William and Mary, USA Nigel Thomas, Newcastle University, UK Mirco Tribastone, University of Southampton, UK Petr Tuma, Charles University, Czech Republic Ana Lucia Varbanescu, University of Amsterdam, the Netherlands Marco Vieira, University of Coimbra, Portugal Katinka Wolter, Freie Universitaet zu Berlin, Germany Timothy Wood, The George Washington University, USA Murray Woodside, Carleton University, Ottawa, Canada Ming Zhao, Florida International University, USA From peterol at ifi.uio.no Sun Jul 5 22:22:11 2015 From: peterol at ifi.uio.no (=?utf-8?Q?Peter_Csaba_=C3=96lveczky?=) Date: Sun, 5 Jul 2015 22:22:11 +0200 Subject: [fg-arc] Final CfP: International Conference on Formal Aspects of Component Software Message-ID: -------------------------------------------------------------------- Call for Papers FACS 2015 12th International Conference on Formal Aspects of Component Software Rio de Janeiro, Brazil, October 14-16, 2015 http://facs2015.ic.uff.br --------------------------------------------------------------------- *** (Extended) Paper submission deadline: July 12 OVERVIEW AND SCOPE Component-based software development proposes sound engineering principles and techniques to cope with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain. Furthermore, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones in order to take advantage of the opportunities offered by those architectures. As software applications themselves become components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on resources that can change in various ways. FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures and the systems that now pervade the world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, ensembles, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * model-based and GUI-based testing of components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * probabilistic techniques for modeling and verification; * case studies and experience reports; * update and reconfiguration of component and service architectures; * formal and rigorous approaches to software adaptation and self-adaptive systems; * tools supporting formal methods for components and services. PAPER SUBMISSION We solicit high-quality submissions, related to the topics mentioned above, in the following categories: A) original research contributions (18 pages max); B) applications and experiences (18 pages max); C) surveys, comparisons, and state-of-the-art reports (18 pages max); D) tool papers (6 pages max). In addition, we solicit submissions to the Doctoral Track of FACS 2015, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2015. Papers must be formatted according to the guidelines for Springer LNCS papers. PUBLICATION All accepted papers will appear in the pre-proceedings of FACS 2015. Accepted papers in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. IMPORTANT DATES Paper submission deadline: July 12 (AoE) (extended) Notification: August 28 Conference: Oct 14-16 INVITED SPEAKERS Martin Wirsing Ludwig-Maximilians-University Munich David Deharbe Universidade Federal do Rio Grande do Norte, Brazil Renato Cerqueira IBM Research, Brazil PROGRAM COMMITTEE CHAIRS Christiano Braga Universidade Federal Fluminense Peter Olveczky University of Oslo PROGRAM COMMITTEE Dalal Alrajeh Imperial College Farhad Arbab CWI and Leiden University Cyrille Artho AIST Kyungmin Bae Carnegie-Mellon University Luis Barbosa Universidade do Minho Christiano Braga Universidade Federal Fluminense Roberto Bruni Universita di Pisa Carlos Canal University of Malaga Ana Cavalcanti University of York Jose Luiz Fiadeiro Royal Holloway University of London Bernd Fischer Stellenbosch University Marcelo Frias Buenos Aires Institute of Technology Rolf Hennicker Ludwig-Maximilians-Universitat Munchen Ramtin Khosravi University of Tehran Ivan Lanese University of Bologna/INRIA Axel Legay IRISA/INRIA Zhiming Liu Birmingham City University Alberto Lluch Lafuente Technical University of Denmark Markus Lumpe Swinburne University of Technology Eric Madelaine INRIA Robi Malik University of Waikato Hernan Melgratti University of Buenos Aires Alvaro Moreira Universidade Federal do Rio Grande do Sul Arnaldo Moura Universidade Estadual de Campinas Thomas Noll RWTH Aachen University Peter Olveczky University of Oslo Corina Pasareanu CMU/NASA Ames Frantisek Plasil Charles University Camilo Rocha Escuela Colombiana de Ingenieria Gwen Salaun Grenoble INP - INRIA - LIG Augusto Sampaio Universidade Federal de Pernambuco Ralf Sasse ETH Zurich Bernhard Schatz Technical University Munchen From apaiva at fe.up.pt Sun Jul 5 23:15:16 2015 From: apaiva at fe.up.pt (Ana Paiva) Date: Sun, 5 Jul 2015 22:15:16 +0100 Subject: [fg-arc] TESTBEDS - Deadline extension - CFP Message-ID: CALL FOR PAPERS TESTBEDS 2015 - 6th International Workshop on Testing Techniques for Event BasED Software http: //www.fe.up.pt/~testbeds15 November 10, Lincoln, Nebraska, USA ========================================= IMPORTANT DATES Paper Submission: July 3rd extended July 11, 2015 , 23:59 (anywhere in world) Notification: July 30, 2015 Camera-Ready: August 31, 2015 ========================================= GENERAL THEME This workshop aims to bring together researchers from both Academia and Industry with the aim of sharing ideas and presenting research on the state of the art in testing techniques for event based software/systems (EBS). Examples of EBS include graphical user interfaces (GUIs), Web applications, mobile applications, network protocols, embedded software, Web services and device drivers.. === WORKSHOP PAPERS ================================================ TESTBEDS 2014 invites high quality contributions describing significant, original, and unpublished results. Solicited topics include, but are not limited to: ? Web and Web Service Testing ? Mobile Testing ? EBS Mutation Testing ? EBS Test Coverage Analysis ? EBS Testing Tools and Environments ? Test Patterns for EBS ? Model Based Testing of EBS ? EBS Regression Testing ? GUI Based Testing of EBS ? Testing of Embedded EBS ? Performance, Robustness and Security testing of EBS ? Industrial Experiences with EBS Automated Testing ? Experimentation and Benchmarking in EBS Testing Three categories of submissions are solicited: ? Research paper (8 pages) ? Position paper (4 pages) ? Tool demo paper (4 pages) ? Industry presentations (2 pages overview and 2 example slides) Submission: Each paper in the first three categories (full, position and demo) will be reviewed by at least three referees. Papers should be submitted as PDF files in standard ACM two-column conference format (Latex, Word). Industrial presentations are submitted in the form of a 2-page overview and 2 sample presentation slides as pdf files. They will be evaluated by at least two members of the Program Committee for relevance and soundness. Papers accepted for the workshop will appear in the ACM digital library, providing a lasting archived record of the workshop proceedings. Papers will be submitted through EasyChair . *The authors of the best papers will be invited to * *submit extended versions for a special issue of the STVR (Software Testing, * *Verification and Reliability) journal.* Organization: ? Ana C. R. Paiva, Faculty of Engineering of the University of Porto, Portugal ? Anna Rita Fasolino, University of Naples Federico II, Italy Program Committee ? Atif Memon, University of Maryland, USA ? Bruno Legeard, Universit? de Franche-Comt?, France ? Domenico Amalfitano, University of Naples Federico II, Italy ? Filippo Ricca, DIBRIS, Universit? di Genova, Italy ? Gregg Rothermel, University of Nebraska - Lincoln, USA ? Jos? Carlos Maldonado, Universidade de S?o Paulo, Brasil ? M?rcio Delamaro, Universidade de S?o Paulo, Brasil ? Myra Cohen, University of Nebraska - Lincoln, USA ? Pascoal Faria, Faculdade de Engenharia da Universidade do Porto, Portugal ? Renee Bryce, University of North Texas, USA ? Stephan Arlt, University of Freiburg, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From ibichind at oswego.edu Tue Jul 7 15:57:45 2015 From: ibichind at oswego.edu (Isabelle Bichindaritz) Date: Tue, 7 Jul 2015 09:57:45 -0400 Subject: [fg-arc] CFP WK on CBR in Health Sciences @ ICCBR - Deadline 7/10/2015 Message-ID: ICCBR-15 Workshop Workshop on CBR in the Health Sciences Health science domains have provided fertile ground for CBR research and development since the earliest days of case-based reasoning. New advances into health science frontiers ensure that CBR will continue to play a vital role well into the future. This ninth Workshop on CBR in the Health Sciences aims to: * provide a forum for identifying important contributions and opportunities for research on the application of CBR to the health sciences, * promote the systematic study of how to apply CBR to the health sciences, and * showcase applications of CBR in the health sciences. Some of the technical issues addressed, and potential outcomes of the workshop, are to identify challenges specific to applying CBR to the health sciences, required methodological improvements to fit this context's needs, preferred types and domains of applications, and guidelines to better develop CBR systems in this arena. We welcome all those interested in the problems and promise of CBR in the health sciences, whether or not they have participated in past workshops. Topics of interest include (but are not limited to): * Integration of CBR in health care environments * CBR in medical decision-support systems * CBR in medical imaging * CBR and bio signals * CBR in enabling technologies for those with physical disabilities or chronic health problems * CBR and knowledge discovery in medicine and the health sciences * Cognitive approaches to applying CBR to medicine * Theoretical framework for CBR in medical reasoning * CBR in bioinformatics * CBR and evidence-based medicine * CBR in health social networks * CBR in mHealth, eHealth, and wearable health * CBR and personalized medicine * CBR for health and wellness. Paper presentations will be interspersed with discussions in which we characterize, categorize, and discuss the benefits of specific CBR applications in the health sciences. A wrap-up round table discussion will summarize the lessons learnt, issues identified, and future directions. Submission Requirements Submitted papers are limited to 10 pages in length. All papers are to be submitted via the ICCBR-15 EasyChair system https://easychair.org/conferences/?conf=iccbrhs2015. Papers should be in Springer LNCS format. Author's instructions, along with LaTeX and Word macro files, are available at http://www.springer.de/comp/lncs/authors.html. Submissions should be original papers that have not already been published elsewhere. However, papers may include previously published results that support a new theme, as long as all past publications are fully referenced. Dates * Submission Deadline: July 10, 2015 * Notification Date: August 1st 2015 * Camera-Ready Deadline: August 25, 2015 * Workshop date: September 29, 2015 Workshop Web Site: http://cs.oswego.edu/~bichinda/iccbr2015/html/cfp.html Organizing Committee Co-Chairs Isabelle Bichindaritz State University of New York, Oswego Oswego, NY, 13126, USA Phone: +1 315 312 2683 Email: ibichind at oswego.edu Cindy Marling Ohio University Athens, Ohio, 45701, USA Phone: +1 740 593 1246 Email: marling at ohio.edu Stefania Montani University of Piemonte Orientale I-15100 Alessandria, Italy Phone: +30 0131 360158 Email: stefania.montani at unipmn.it -- Dr. Isabelle Bichindaritz Assistant Professor Director of Biomedical Informatics SUNY Oswego Computer Science Department Shineman 427 7060 New York 104 Oswego, NY 13126 USA Ph: (315) 312 2683 Cell: (206) 455 0221 Email: ibichind at oswego.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at CS.KULEUVEN.BE Fri Jul 10 07:06:54 2015 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Fri, 10 Jul 2015 07:06:54 +0200 Subject: [fg-arc] [ESSoS'16] Call for Papers -- International Symposium on Engineering Secure Software and Systems Message-ID: <559F52EE.9090006@cs.kuleuven.be> Call for papers ESSoS International Symposium on Engineering Secure Software and Systems (ESSoS) April 6 - 8, 2016, Royal Holloway, University of London, London, UK In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) https://distrinet.cs.kuleuven.be/events/essos/2016/calls-papers.html == Approaching deadlines == Abstract submission: September 25, 2015 Paper submission: October 2, 2015 == Context and motivation == Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Inter- net, can allow vulnerabilities in software to be exploited from any- where. High-quality security building blocks (e.g., cryptographic com- ponents) are necessary but insufficient to address these concerns. In- deed, 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 technolo- gies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably im- prove the software's security properties. == Goal and setup == The goal of this symposium, which will be the eighth 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 com- munities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. == Topics == The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security == Important Dates == Abstract submission: September 25, 2015 Paper submission: October 2, 2015 Author notification: December 7, 2015 Camera-ready: January 8, 2016 == Submission and format == The proceedings of the symposium are published by Springer-Verlag in t he Lecture Notes in Computer Science Series (http://www.springer.com/l ncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: - FULL PAPERS (max 14 pages without bibliography/appendices): Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with ac- ceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis me- thods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the tech- nical presentation details. - IDEA PAPERS (max 8 pages with bibliography): Such papers may crisply describe a novel idea that is both feasible an d interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security techno- logy. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully- developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and accep- tance will be unlikely without some basic, principled validation (e.g. extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. == Steering committee == - Jorge Cuellar (Siemens AG) - Wouter Joosen (Katholieke Universiteit Leuven) - chair - Fabio Massacci (Università di Trento) - Gary McGraw (Cigital) - Bashar Nuseibeh (The Open University) == Organizing committee == - General chair: Lorenzo Cavallaro (Royal Holloway University of London) - Program co-chairs: Juan Caballero (IMDEA Software Institute), Eric Bodden (Fraunhofer SIT & TU Darmstadt) - Publication chair: Elias Athanasopoulos (FORTH) - Publicity chair: Raoul Strackx (KU Leuven) - Web chair: Ghita Saevels (Katholieke Universiteit Leuven) - Daniel Wallach (Rice University) == Program committee == - Javier Alonso, Universidad de Leon & Duke University, ES - Alexander Pretschner, Technische Universität München, DE - Michele Bugliesi, Università Ca' Foscari Venezia, IT - Werner Dietl, University of Waterloo, CA - Michael Franz, University of California, Irvine, US - Flavio Garcia, University of Birmingham, UK - Christian Hammer, CISPA, Saarland University, DE - Marieke Huisman, University of Twente, NL - Martin Johns, SAP Research, DE - Stefan Katzenbeisser, Technische Universität Darmstadt, DE - Johannes Kinder; Royal Holloway, University of London, UK - Andy King, University of Kent, UK - Jacques Klein, University of Luxembourg, LU - Andrea Lanzi, Universita degli Studi di Milano, IT - Wenke Lee, Georgia Institute of Technology, US - Zhenkai Liang, National University of Singapore, SG - Ben Livshits, Microsoft Research, US - Heiko Mantel, Technische Universität Darmstadt, DE - Nick Nikiforakis, Stony Brook University, US - Martin Ochoa, TU Munich, GE - Mathias Payer, Purdue University, US - Frank Piessens, KU Leuven, BE - Awais Rashid, Lancaster University, UK - Mark Ryan, University of Birmingham, UK - Gianluca Stringhini, University College London, UK - Pierre-Yves Strub, IMDEA Software Institute, ES - Helmut Veith, Vienna University of Technology, AU - Santiago Zanella, Microsoft Research – INRIA, UK Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From raoul.strackx at CS.KULEUVEN.BE Fri Jul 10 07:04:46 2015 From: raoul.strackx at CS.KULEUVEN.BE (Raoul Strackx) Date: Fri, 10 Jul 2015 07:04:46 +0200 Subject: [fg-arc] [ESSOS] [ESSoS'16] Call for Papers -- International Symposium on Engineering Secure Software and Systems Message-ID: <559F526E.5030101@cs.kuleuven.be> Call for papers ESSoS International Symposium on Engineering Secure Software and Systems (ESSoS) April 6 - 8, 2016, Royal Holloway, University of London, London, UK In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP) https://distrinet.cs.kuleuven.be/events/essos/2016/calls-papers.html == Approaching deadlines == Abstract submission: September 25, 2015 Paper submission: October 2, 2015 == Context and motivation == Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the Inter- net, can allow vulnerabilities in software to be exploited from any- where. High-quality security building blocks (e.g., cryptographic com- ponents) are necessary but insufficient to address these concerns. In- deed, 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 technolo- gies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably im- prove the software's security properties. == Goal and setup == The goal of this symposium, which will be the eighth 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 com- munities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned. Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight. == Topics == The Symposium seeks submissions on subjects related to its goals. This includes a diversity of topics including (but not limited to): - Cloud security, virtualization for security - Mobile devices security - Automated techniques for vulnerability discovery and analysis - Model checking for security - Binary code analysis, reverse-engineering - Programming paradigms, models, and domain-specific languages for security - Operating system security - Verification techniques for security properties - Malware: detection, analysis, mitigation - Security in critical infrastructures - Security by design - Static and dynamic code analysis for security - Web applications security - Program rewriting techniques for security - Security measurements - Empirical secure software engineering - Security-oriented software reconfiguration and evolution - Computer forensics - Processes for the development of secure software and systems - Security testing - Embedded software security == Important Dates == Abstract submission: September 25, 2015 Paper submission: October 2, 2015 Author notification: December 7, 2015 Camera-ready: January 8, 2016 == Submission and format == The proceedings of the symposium are published by Springer-Verlag in t he Lecture Notes in Computer Science Series (http://www.springer.com/l ncs). Submissions should follow the formatting instructions of Springer LNCS. Submitted papers must present original, unpublished work of high quality. Two types of papers will be accepted: - FULL PAPERS (max 14 pages without bibliography/appendices): Such papers may describe original technical research with a solid foundation, such as formal analysis or experimental results, with ac- ceptance determined mostly based on novelty and validation. Or they may describe case studies applying existing techniques or analysis me- thods in industrial settings, with acceptance determined mostly by the general applicability of techniques and the completeness of the tech- nical presentation details. - IDEA PAPERS (max 8 pages with bibliography): Such papers may crisply describe a novel idea that is both feasible an d interesting, where the idea may range from a variant of an existing technique all the way to a vision for the future of security techno- logy. Idea papers allow authors to introduce ideas to the field and get feedback, while allowing for later publication of complete, fully- developed results. Submissions will be judged primarily on novelty, excitement, and exposition, but feasibility is required, and accep- tance will be unlikely without some basic, principled validation (e.g. extrapolation from limited experiments or simple formal analysis). In the proceedings, idea papers will clearly identified by means of the "Idea" tag in the title. == Steering committee == - Jorge Cuellar (Siemens AG) - Wouter Joosen (Katholieke Universiteit Leuven) - chair - Fabio Massacci (Università di Trento) - Gary McGraw (Cigital) - Bashar Nuseibeh (The Open University) == Organizing committee == - General chair: Lorenzo Cavallaro (Royal Holloway University of London) - Program co-chairs: Juan Caballero (IMDEA Software Institute), Eric Bodden (Fraunhofer SIT & TU Darmstadt) - Publication chair: Elias Athanasopoulos (FORTH) - Publicity chair: Raoul Strackx (KU Leuven) - Web chair: Ghita Saevels (Katholieke Universiteit Leuven) - Daniel Wallach (Rice University) == Program committee == - Javier Alonso, Universidad de Leon & Duke University, ES - Alexander Pretschner, Technische Universität München, DE - Michele Bugliesi, Università Ca' Foscari Venezia, IT - Werner Dietl, University of Waterloo, CA - Michael Franz, University of California, Irvine, US - Flavio Garcia, University of Birmingham, UK - Christian Hammer, CISPA, Saarland University, DE - Marieke Huisman, University of Twente, NL - Martin Johns, SAP Research, DE - Stefan Katzenbeisser, Technische Universität Darmstadt, DE - Johannes Kinder; Royal Holloway, University of London, UK - Andy King, University of Kent, UK - Jacques Klein, University of Luxembourg, LU - Andrea Lanzi, Universita degli Studi di Milano, IT - Wenke Lee, Georgia Institute of Technology, US - Zhenkai Liang, National University of Singapore, SG - Ben Livshits, Microsoft Research, US - Heiko Mantel, Technische Universität Darmstadt, DE - Nick Nikiforakis, Stony Brook University, US - Martin Ochoa, TU Munich, GE - Mathias Payer, Purdue University, US - Frank Piessens, KU Leuven, BE - Awais Rashid, Lancaster University, UK - Mark Ryan, University of Birmingham, UK - Gianluca Stringhini, University College London, UK - Pierre-Yves Strub, IMDEA Software Institute, ES - Helmut Veith, Vienna University of Technology, AU - Santiago Zanella, Microsoft Research – INRIA, UK From grlmc at urv.cat Sat Jul 11 22:05:53 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 11 Jul 2015 22:05:53 +0200 Subject: [fg-arc] TPNC 2015: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: (to be completed) John A. Smolin (IBM T.J. Watson Research Center, Yorktown Heights), tba Guy Theraulaz (Paul Sabatier University, Toulouse), Stigmergic Interactions and 3D Nest Construction in Ant Colonies PROGRAMME COMMITTEE: Hussein Abbass (University of New South Wales, Canberra, Australia) Andrew Adamatzky (University of the West of England, Bristol, UK) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) Óscar Cordón (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) János Fodor (Óbuda University, Budapest, Hungary) Fernando Gomide (University of Campinas, Brazil) Maoguo Gong (Xidian University, Xi'an, China) Salvatore Greco (Universiy of Catania, Italy) Jin-Kao Hao (University of Angers, France) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Fakhri Karray (University of Waterloo, Canada) László T. Kóczy (Budapest University of Technology and Economics, Hungary) Rudolf Kruse (University of Magdeburg, Germany) José A. Lozano (University of the Basque Country, Donostia, Spain) Jianquan Lu (Southeast University, Nanjing, China) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Vilém Novák (University of Ostrava, Czech Republic) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) Günther Palm (Ulm University, Germany) Linqiang Pan (Huazhong University of Science and Technology, Wuhan, China) Lech Polkowski (Polish-Japanese Academy of Information Technology, Warsaw, Poland) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicenç Torra (University of Skövde, Sweden) José Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mingsheng Ying (University of Technology, Sydney, Australia) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) William Zhu (Minnan Normal University, Zhangzhou, China) Marek Żukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) 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=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS 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/TPNC2015/Registration.php DEADLINES: Paper submission: July 21, 2015 (23:59h, CET) Notification of paper acceptance or rejection: August 18, 2015 Final version of the paper for the LNCS proceedings: September 1, 2015 Early registration: September 1, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2015 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: European Centre for Soft Computing Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. https://www.avast.com/antivirus From christoph.heger at novatec-gmbh.de Wed Jul 15 10:59:16 2015 From: christoph.heger at novatec-gmbh.de (Christoph Heger) Date: Wed, 15 Jul 2015 10:59:16 +0200 (CEST) Subject: [fg-arc] Call for Nominations: SPEC Distinguished Dissertation Award 2015 Message-ID: <037901d0bedc$87b716b0$97254410$@novatec-gmbh.de> Sehr geehrte Damen und Herren, bitte berücksichtigen Sie den nachfolgenden Aufruf zur Nominierung bemerkenswerter Dissertationen im Bereich Computer Benchmarking, Performance Evaluation und Experimental System Analysis im Allgemeinen. Mit freundlichen Grüßen, Christoph Heger ------------------------------------------------------------------------ CALL FOR NOMINATIONS SPEC Distinguished Dissertation Award 2015 https://research.spec.org/awards/call-for-nominations.html Submission deadline: September 30, 2015 ------------------------------------------------------------------------ SPEC DISTINGUISHED DISSERTATION AWARD The SPEC Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The winner will receive $1000, which will be awarded at the ICPE 2016 International Conference on Performance Engineering. Past winners can be found at http://research.spec.org/awards/past-winners.html ------------------------------------------------------------------------ ABOUT SPEC RG The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics - such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability - such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. More details on the award can be found at http://research.spec.org/awards.html ------------------------------------------------------------------------ NOMINATIONS A nomination should include: • A nomination letter with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. • A one-page report that outlines the outstanding contribution of the dissertation. • The dissertation itself, including a one-page extended abstract of the dissertation. If the dissertation is written in language other than English, it may be accompanied by publications, in English, describing the same research as the dissertation. SPEC Distinguished Dissertation Award is open to dissertations that have been defended between October 1, 2014, and September 30, 2015. If there are several outstanding submissions, the committee may split the award between them. The submission deadline is September 30, 2015. Nominations are welcome at any time before the final submission deadline. Nominations, or questions about the application process, should be sent by e-mail to nominations at spec dot org. The nomination can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. ------------------------------------------------------------------------ SELECTION COMMITTEE Chair: Lizy Kurian John, UT Austin, USA Members (Tentative) • Mauricio Breternitz, AMD, USA, • Yaomin Chen, Oracle, USA • Klaus-Dieter Lange, HP, USA • John Murphy, Dublin Ireland • Catalina M. Llado, University of the Balearic Islands, Spain • Seetharami Seelam, IBM, USA • Petr Tuma, Charles University, Czech Republic • Zhibin Yu, Shenzhen Institute of Advanced Technology, China Mit freundlichen Grüßen / Kind Regards Christoph Heger Consultant NOVATEC // Consulting GmbH Dieselstrasse 18/1 // D-70771 Leinfelden-Echterdingen phone: +49 711 22040-7656 fax: +49 711 22040-899 e-mail: christoph.heger at novatec-gmbh.de web: www.novatec-gmbh.de Sitz der Gesellschaft: Waldenbuch // Handelsregister: Stuttgart – HRB 739078 Geschäftsführer: Stefan Bleicher // Hans-Dieter Brenner // Konrad Pfeilsticker // Michael Schuchart -------------- next part -------------- An HTML attachment was scrubbed... URL: From cesar.a.munoz at nasa.gov Mon Jul 13 23:04:37 2015 From: cesar.a.munoz at nasa.gov (MUNOZ, CESAR (LARC-D320)) Date: Mon, 13 Jul 2015 21:04:37 +0000 Subject: [fg-arc] [fm-announcements] Final CFP -- 11th Int. Workshop on Developments in Computational Models Message-ID: FINAL CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 3, 2015 ====================================================== Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. DCM 2015 is the eleventh in a series of international workshops focusing on new computational models. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth International Colloquium on Theoretical Aspects of Computing. == TOPICS OF INTEREST Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting; - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - models of concurrency, including the treatment of mobility, trust, and security; - infinitary models of computation; - information-theoretic ideas in computing. == IMPORTANT DATES - Submission Deadline for Extended Abstracts: August 3 - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December == INVITED SPEAKERS Mauricio Ayala Rincón, Universidade de Brasilia (Brazil). Gilles Dowek, INRIA (France). == SUBMISSIONS Submit your paper in PDF format via the conference EasyChair submission page: https://www.easychair.org/conferences/?conf=dcm2015 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS, following the EPTCS style: http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of EPTCS. == PROGRAM COMMITTEE: Mario Benevides (Brazil) Luís Caires (Portugal) Ugo Dal Lago (Italy) Nachum Dershowitz (Israel) Jérôme Feret (France) Marcelo Frias (Argentina) Russ Harmer (France) Ivan Lanese (Italy) Radu Mardare (Denmark) Elvira Mayordomo (Spain) César A. Muñoz (USA) - chair Jorge A. Pérez (The Netherlands) - chair Andrés Sicard-Ramírez (Colombia) Alexandra Silva (The Netherlands) Daniele Varacca (France) --- 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 j.j.chromik at utwente.nl Fri Jul 17 13:20:34 2015 From: j.j.chromik at utwente.nl (j.j.chromik at utwente.nl) Date: Fri, 17 Jul 2015 11:20:34 +0000 Subject: [fg-arc] MMB & DFT 2016: Call for Papers Message-ID: [Our apologies for multiple copies] ================================ CALL FOR PAPERS MMB & DFT 2016 ================================ 18th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault-Tolerance" April 4-6, 2016, Münster (Germany) Organized by GI/ITG Technical Committees on "Measurement, Modelling and Evaluation of Computing Systems (MMB)" and "Dependability and Fault-Tolerance (DFT)" Conference Homepage: http://www.mmb2016.de The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. In 2016 both committees join forces in a common international conference MMB & DFT 2016. In addition to its scientific programme on performance and dependability evaluation techniques, it will comprise invited talks, tool presentations, state-of-the-art tutorials, and workshops focusing on hot topics. **Topics of MMB & DFT 2016 include:** Models and Methods - Quantitative evaluation techniques related to performance, dependability, security, survivability, real-time constraints, cost, energy-efficiency and combined aspects like performance-security tradeoffs - Fault-tolerant system and network design, dependable computing, redundancy techniques, fault modelling, fault injection - Testing, measuring, benchmarking and monitoring of systems and networks - Queueing systems, stochastic Petri nets, stochastic process algebras, Markov chains, non-Markovian models, fluid models, network calculus - Simulation techniques including rare events, parallel and distributed simulation - Combination of stochastic modeling and formal methods in engineering - Model checking and theorem proving in model-driven software development - Network economics, accounting, tariffing Applications - Computer and software architectures, cloud computing, organic computing, pervasive and ubiquitous computing, adaptive and self-organizing systems, embedded systems, sensor systems - Fault-tolerant systems and networks, safety-oriented and security-oriented architectures, redundancy techniques - Communication networks including access, backbone and optical networks, high-speed switching, software-defined networking, mobile and wireless networks, sensor networks, car communication, traffic engineering, network planning and optimization - Peer-to-peer, overlay and information-centric networks, web-based systems, multimedia systems - Complex networks, social networks, power-law and scale-invariant systems, biochemical systems - Workflow and logistic systems, traffic and transportation systems Special session on Critical Infrastructures - Green IT, energy-efficient systems - Future smart energy networks Tools and Case Studies in all Areas of Application **Submission Formats** - Full conference papers: Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be thoroughly reviewed by at least three referees on the basis of their originality and their scientific and practical contribution to the state-of-the-art. Papers must be written in English and must not exceed 15 pages (LNCS style). The proceedings will be published in the Springer LNCS series. A best paper award will be provided. Practical experience reports and industrial papers: Besides full papers industrial papers and practical experience reports are also solicited. Reports should not exceed 8 pages (LNCS style). - Tool descriptions: Special sessions will be arranged to present and demonstrate tools relevant to any topic covered by the Call for Papers. Accepted tool descriptions should not exceed four pages and will appear in the proceedings. - Tutorial proposals: Please send your tutorial proposals (2 pages) to the conference chair. **Important Dates** All papers & tools description: October 12, 2015 Tutorial Proposals: November 15, 2015 Authors' Notification: December 11, 2015 Final Version: January 11, 2016 Conference: April 4-6, 2016 http://www.mmb2016.de Conference Chairs Anne Remke WWU Münster Boudewijn Haverkort U Twente Local Organization Evelyn Egelkamp WWU Münster Web Chair Björn Postema U Twente Justyna Chromik U Twente Program Committee Lothar Breuer U Kent Peter Buchholz TU Dortmund Hans Daduna U Hamburg Klaus Echtle U Duisburg-Essen Bernhard Fechner U Augsburg Markus Fidler U Hannover Reinhard German U Erlangen-Nuremberg Gerhard Haßlinger Deutsche Telekom AG Boudewijn Haverkort U Twente Holger Hermanns U Saarbrücken Joost-Pieter Katoen RWTH Aachen Peter Kemper College of William and Mary Jörg Keller FeU Hagen Udo Krieger U Bamberg Kai Lampka U Uppsala Wolfram Lautenschläger Alcatel-Lucent Axel Lehmann UBw München Ralf Lehnert TU Dresden Hermann de Meer U Passau Michael Menth U Tübingen Peter Reichl U Europ. de Bretagne & U Wien Anne Remke WWU Münster Johannes Riedl Siemens AG Ramin Sadre U Louvain Francesca Saglietti U Erlangen-Nuremberg Jens Schmitt TU Kaiserslautern Markus Siegle UBw Munich Helena Szczerbicka U Hannover Dietmar Tutsch U Wuppertal Kurt Tutschku BTH Karlskrona Oliver Waldhorst KIT Verena Wolf U Saarbrücken Bernd Wolfinger U Hamburg Katinka Wolter FU Berlin Armin Zimmermann TU Ilmenau -------------- next part -------------- An HTML attachment was scrubbed... URL: From werner.nutt at gmail.com Sat Jul 18 13:54:24 2015 From: werner.nutt at gmail.com (=?ISO-8859-1?Q?Werner_Nutt?=) Date: Sat, 18 Jul 2015 13:54:24 +0200 Subject: [fg-arc] PhD Scholarships in Computer Science at the KRDB Research Centre, Free University of Bozen-Bolzano (Italy) Message-ID: <18072015135424744GGh77pfXqRRd0167@smtp.googlemail.com> The Free University of Bozen-Bolzano announces a public competition, by qualifications, for admission to the PhD program of the Faculty of Computer Science, with the first 8 positions fully covered by scholarships (17,000€ per year). In addition, the students will be financially supported to attend conferences and schools, and to spend a period of 6-12 months abroad. The starting date of the PhD program is November 1, 2015 and the program lasts three years. The official language of the program and of the faculty is English. Instructions for application (pre-enrollment) can be found at: http://www.unibz.it/en/public/research/phd/PhD_31st_cycle.html (Consult both the general part of the call, and the specific part for the PhD program in Computer Science) The deadline for the online application is August 7, 2015. Use the application portal of the Free University of Bozen-Bolzano at https://aws.unibz.it/exup/en Research at the Faculty of Computer Science is carried out within three research groups, and the specific topics for a PhD that are offered by each group are detailed in the call. The KRDB Research Centre for Knowledge and Data (see http://www.inf.unibz.it/krdb/staff.php) offers PhD topics in the broad area of knowledge representation, data management, and process management, with an emphasis on foundational aspects and their practical realization in technologies and tools for data and process management. Specific research topics include: - Logic-based languages for knowledge representation - Intelligent access to data - Information extraction - Semantic technologies - Information integration - Data-aware process modeling, verification, and synthesis - Business process monitoring, mining, and conformance - Temporal aspects of data and knowledge - Extending database technologies - Visual and verbal paradigms for information exploration Candidates interested in carrying out a PhD on these topics are strongly advised to get in contact with Prof. Werner Nutt before applying. Bolzano is the city’s Italian name while Bozen is its German name: it is the capital of the multilingual province of Alto Adige/Südtirol. Near Italy’s northern border with Austria, the city is a gateway to the Dolomites, the majestic white mountain peaks that are part of the Alps. Bolzano is an Italian city with Austrian flair. Its two lifestyles, one Northern European and the other more Mediterranean, combine to make the perfect union, which can be clearly seen in the historic and artistic treasures of this city. Bolzano is constantly among the top-ranked cities in Italy when it comes to quality of life. It has one of Europe's lowest unemployment rates, excellent services and a wonderful landscape. The landscape of the surrounding mountain sides is characterised by old wine hamlets and villages nestling amid vineyards watched over by 200 castles, stately country houses and ruins. From grlmc at urv.cat Sat Jul 18 15:19:57 2015 From: grlmc at urv.cat (GRLMC - URV) Date: Sat, 18 Jul 2015 15:19:57 +0200 Subject: [fg-arc] TPNC 2015: extended submission deadline 27 July Message-ID: <089601d0c15c$78447a10$6500a8c0@GRLMC.local> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: July 27 ***** ---------------------------------------------------------------------------- **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: (to be completed) John A. Smolin (IBM T.J. Watson Research Center, Yorktown Heights), tba Guy Theraulaz (Paul Sabatier University, Toulouse), Stigmergic Interactions and 3D Nest Construction in Ant Colonies PROGRAMME COMMITTEE: Hussein Abbass (University of New South Wales, Canberra, Australia) Andrew Adamatzky (University of the West of England, Bristol, UK) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) Óscar Cordón (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) János Fodor (Óbuda University, Budapest, Hungary) Fernando Gomide (University of Campinas, Brazil) Maoguo Gong (Xidian University, Xi'an, China) Salvatore Greco (Universiy of Catania, Italy) Jin-Kao Hao (University of Angers, France) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Fakhri Karray (University of Waterloo, Canada) László T. Kóczy (Budapest University of Technology and Economics, Hungary) Rudolf Kruse (University of Magdeburg, Germany) José A. Lozano (University of the Basque Country, Donostia, Spain) Jianquan Lu (Southeast University, Nanjing, China) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Vilém Novák (University of Ostrava, Czech Republic) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) Günther Palm (Ulm University, Germany) Linqiang Pan (Huazhong University of Science and Technology, Wuhan, China) Lech Polkowski (Polish-Japanese Academy of Information Technology, Warsaw, Poland) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicenç Torra (University of Skövde, Sweden) José Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mingsheng Ying (University of Technology, Sydney, Australia) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) William Zhu (Minnan Normal University, Zhangzhou, China) Marek Żukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) 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=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS 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/TPNC2015/Registration.php DEADLINES: Paper submission: July 27, 2015 (23:59h, CET) - EXTENDED - Notification of paper acceptance or rejection: August 28, 2015 Final version of the paper for the LNCS proceedings: September 4, 2015 Early registration: September 4, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2015 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: European Centre for Soft Computing Universitat Rovira i Virgili From aali at ltu.edu Wed Jul 22 08:37:03 2015 From: aali at ltu.edu (Ahad Ali) Date: Wed, 22 Jul 2015 02:37:03 -0400 Subject: [fg-arc] 2016 IEOM Conference Malaysia - Scopus & IEEE Indexing Message-ID: <809acc86d51b4a3281e220885f757549@ltu.edu> An HTML attachment was scrubbed... URL: From franconi at inf.unibz.it Wed Jul 22 15:44:38 2015 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 22 Jul 2015 15:44:38 +0200 Subject: [fg-arc] PhD Scholarships in Computer Science at the KRDB Research Centre in Bolzano (Italy) Message-ID: <22072015154438040GGh77pfXqRRd0255@webmail.unibz.it> The Free University of Bozen-Bolzano announces a public competition, by qualifications, for admission to the PhD program of the Faculty of Computer Science, with the first 8 positions fully covered by scholarships (17,000€ per year). In addition, the students will be financially supported to attend conferences and schools, and to spend a period of 6-12 months abroad. The starting date of the PhD program is November 1, 2015 and the program lasts three years. The official language of the program and of the faculty is English. Instructions for application (called pre-enrollment) can be found at:     http://www.unibz.it/en/public/research/phd/PhD_31st_cycle.html (check both the general part of the call and the part for the PhD program in Computer Science). The deadline for the online application is      August 7, 2015. Research at the Faculty of Computer Science is carried out within three research groups. The KRDB Research Centre for Knowledge and Data (see http://www.inf.unibz.it/krdb/) offers PhD topics in the broad area of knowledge representation, data management, and process management, with an emphasis on foundational aspects and their practical realisation in technologies and tools for data and process management. Specific research topics include: - Logic-based languages for knowledge representation - Intelligent access to data - Information extraction - Semantic technologies - Information integration - Data-aware process modelling, verification, and synthesis - Business process monitoring, mining, and conformance - Temporal aspects of data and knowledge - Extending database technologies - Visual and verbal paradigms for information exploration Candidates interested in carrying out a PhD on these topics are strongly advised to get in contact with Prof. Werner Nutt before applying. Bolzano is the city's Italian name while Bozen is its German name: it is the capital of the multilingual province of Alto Adige/Südtirol. Near Italy's northern border with Austria, the city is a gateway to the Dolomites, the majestic white mountain peaks that are part of the Alps and UNESCO World Heritage. Bolzano is an Italian city with Austrian flair. Its two lifestyles, one Northern European and the other more Mediterranean, combine to make the perfect union, which can be clearly seen in the historic and artistic treasures of this city. Bolzano is constantly among the top-ranked cities in Italy when it comes to quality of life. It has one of Europe's lowest unemployment rates, excellent services and a wonderful landscape. The landscape of the surrounding mountain sides is characterised by old wine hamlets and villages nestling amid vineyards watched over by 200 castles, stately country houses and ruins. -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcel at ru.is Fri Jul 24 17:10:12 2015 From: marcel at ru.is (Marcel Kyas) Date: 24 Jul 2015 15:10:12 +0000 Subject: [fg-arc] Integrated Formal Methods iFM 2016, Reykjavik, Iceland: 3rd Call for Workshops Message-ID: <791e57$16hm6@mx01-internal.ru.is> ****************************************************************************** 12th International Conference on integrated Formal Methods, iFM 2016 http://ifm2016.ru.is June 1-5, 2016 - Reykjavik, Iceland ****************************************************************************** *** Extended deadline *** CALL FOR AFFILIATED WORKSHOPS ============================= Prospective workshop organizers are invited to submit proposals for workshops to be affiliated to iFM 2016, on topics related to the conferences main subjects. Important Dates --------------- Submission of workshop proposals: by September 21, 2015 (extended) Notification: by Oktober 5, 2015 (extended) Workshops: June 4-5, 2016 Submission via e-mail --------------------- Marcel Kyas - Workshop chair About iFM --------- iFM 2016 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. One day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. The following speakers are invited to iFM2016: * Marsha Chechik (University of Toronto, Canada) * Edmund M. Clarke (Carnegie Mellon University, USA) * Laura Kovács (Chalmers University of Technology, Sweden) * Reiner Hähnle (Technical University Darmstadt, Germany) The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on June 4-5, 2016. Proposal and Submission Guidelines ---------------------------------- Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to Marcel Kyas (marcel at ru.is). Proposals should include: * The name and the preferred date of the proposed workshop * A short description of the workshop. * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * The target audience and expected number of participants. * Approximate budget proposal (see section Budget below for details). * The equipment and any other resource necessary for the organization of the workshop. * The name and short CV of the organizer(s). * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). Organizers Responsibilities --------------------------- The scientific responsibility of organizing a workshop goes to the workshop organizers. In particular, they are responsible for the following items: * A workshop description (200 words) for inclusion n the iFM site. * Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages. * Workshop proceedings, if any. If there is sufficient interest, the organizer of iFM 2016 may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2016. * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the iFM workshop chair. If you intend to organize a workshop but you need more time to prepare your proposal please let us know. Please note that as the number of tourists travelling to Iceland in summer time is exceeding its population, we need to know the number of participants before March 23 to be able to reserve accommodation. We cannot guarantee accomodation for participants that register after March 23. Budget ------ The iFM organization will provide registration and organizational support for the workshops (including link from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the iFM organizers as part of the registration, then additional funds will be redistributed to the individual workshop organizers. Evaluation Process ------------------ The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2016. Prospective organizers may wish to consult the web pages of previous satellite events as examples: * iFM 2014: http://ifm2014.cs.unibo.it/workshops.html * iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php * iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html * iFM 2010: http://ifm2010.loria.fr/satellite.html * iFM 2009: http://www.formal-methods.de/ifm09/workshops.html Venue ----- iFM 2016 will take place at the Campus of Reykjavik University, Iceland. The campus at Reykjavik University is set in one of the most beautiful areas next to Iceland's only geothermal beach. The building has well equipped classrooms. Further Information and Enquiries --------------------------------- Please contact the workshop chair Marcel Kyas From rim.abid at inria.fr Thu Jul 30 17:50:10 2015 From: rim.abid at inria.fr (rim.abid at inria.fr) Date: Thu, 30 Jul 2015 17:50:10 +0200 (CEST) Subject: [fg-arc] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Second CFP Message-ID: <201507301550.t6UFoAPJ000813@adret.inrialpes.fr> ================================================== 31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy More information: http://antares.sip.ucm.es/svt16/ and http://www.acm.org/conferences/sac/sac2016/ =================================================== Important dates --------------- * September 11, 2015: Paper submission * November 13, 2015: Paper notification * December 11, 2015: Camera-Ready Copies ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2016 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Pisa and Scuola Superiore Sant'Anna University, Italy Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: http://www.acm.org/conferences/sac/sac2016/Paper-SubmissionUploadPage.htm Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2016 proceedings. Paper registration is required, allowing the inclusion of papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. A special issue of Journal of Systems and Software has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Journal of Systems and Software. Student Research Competition ---------------------------- As before, SAC 2016 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2016/. Submission to the SRC program should be in electronic form via the following website http://www.acm.org/conferences/sac/sac2016/SRC-SubmissionUploadPage.htm Program Committee ----------------- Rui Abreu, University of Porto, Portugal Cristiano Braga, Universidade Federal Fluminense, Brazil Radu Calinescu, University of York, UK Ana Cavalli, National Institute of Telecommunications, France Byoungju Choi, Ewha Womans University, Republic of Korea Maximiliano Cristi�, Universidad Nacional de Rosario, Argentina Khaled El-Fakih, American University of Sharjah, UAE Ylies Falcone, University of Grenoble Alpes, France Maria del mar Gallardo, University of Malaga, Spain Arie Gurfinkel, Carnegie Mellon University, USA Tingting Han, University of London, UK Klaus Havelund, Nasa Jet Propulsion Laboratory, USA Ralf Huuck, UNSW, Australia Nikolai Kosmatov, CEA, France Stefan Leue, University of Konstanz, Germany Luis Llana, Universidad Complutense de Madrid, Spain Jasen Markovski, R&D group, GN Resound Benelux, The Netherlands Mohammad Mousavi, Halmstad University, Sweden Madhavan Mukund, Chennai Mathematical Institute, India Shin Nakajima, National Institute of Informatics, Tokyo, Japan Brian Nielsen, Aalborg University, Denmark Peter Olveczky, University of Oslo, Norway Jun Pang, University of Luxembourg, Luxembourg Adenilso Simao, ICMC/USP, Brazil Marjan Sirjani, Reykjavik University, Iceland Marielle Stoelinga, University of Twente, The Netherlands Jun Sun, Singapore University of Technology and Design Tanja Vos, Valencia University, Spain Carsten Weise, Imbus AG, Germany Anton Wijs, Eindhoven University of Technology, The Netherlands Nina Yevtushenko, Tomsk State University, Russia Cemal Yilmaz, Sabanci University, Turkey Fatiha Zaidi, Univ. Paris-Sud, France Gianluigi Zavattaro, University of Bologna, Italy Lijun Zhang, Chinese Academy of Sciences, China Program Committee Chairs ----------------- Mercedes G. Merayo, Universidad Complutense de Madrid, Spain Gwen Sala�n, University of Grenoble Alpes, France