From grlmc at grlmc.com Wed Jan 3 17:01:06 2018 From: grlmc at grlmc.com (GRLMC) Date: Wed, 03 Jan 2018 17:01:06 +0100 Subject: [fg-arc] BigDat 2018: regular registration January 19 Message-ID: <545102060a010b060254500107035a03520557560155540756060854025250585d020252000d560252505104555357@grlmc_ip-zone_com-6> BigDat 2018: regular registration January 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *******************************************************   4th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2018   Timișoara, Romania   January 22-26, 2018   Organized by: West University of Timișoara Rovira i Virgili University   http://grammars.grlmc.com/BigDat2018/   *******************************************************   --- Regular registration deadline: January 19, 2018 ---   *******************************************************   SCOPE:   BigDat 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 25 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Also, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:   Universitatea de Vest Blvd. Vasile Parvân, nr. 4 300223 Timișoara   KEYNOTE SPEAKERS:   Bing Liu (University of Illinois, Chicago), Towards Machines that Learn like Humans   Jeffrey Ullman (Stanford University), Data Science: Is it Real?   PROFESSORS AND COURSES:   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Diego Calvanese (Free University of Bozen-Bolzano), [intermediate] tba   Nick Duffield (Texas A&M University), [introductory/intermediate] Sampling for Big Data   Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Integration of HPC, Big Data Analytics and Software Ecosystem   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Data Streaming Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing   Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Applications in NLP   B.S. Manjunath (University of California, Santa Barbara), [introductory] Unstructured (Big) Data   Folker Meyer (Argonne National Laboratory), [introductory/intermediate] Efficient Multi Cloud Execution of Reproducible Data Analytics using Common Workflow Language, AWE and SHOCK   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Fionn Murtagh (University of Huddersfield), [introductory/advanced] The New Science of Big Data Analytics, Based on the Geometry and the Topology of Complex, Hierarchic Systems   Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations   Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals   Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis   Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Pattern Mining on Big Data   Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by January 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Viorel Negru Manuel J. Parra Royón Dana Petcu Monica Sancira (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2018/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. During the event, participants will be free to attend the courses they wish.   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 if the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universitatea de Vest din Timișoara Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From epontell at cs.nmsu.edu Thu Jan 4 00:49:10 2018 From: epontell at cs.nmsu.edu (epontell) Date: Wed, 03 Jan 2018 16:49:10 -0700 Subject: [fg-arc] CFP: International Conference on Logic Programming 2018 Message-ID: 34th International Conference on Logic Programming (ICLP 2018) Call for Papers ===================== July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018. Scope: ------ ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on: * Foundations: semantics, execution algorithms, formal models * Implementation: virtual machines, compilation, memory management, parallel execution, foreign interfaces * Language Design: inference engines, type systems, concurrency and distribution, modules, metaprogramming, relations to object-oriented  and functional programming, logic-based domain-specific languages * Software-Development Techniques: declarative algorithms and data  structures, design patterns, debugging, testing, profiling, execution visualization * Transformation and Analysis:  assertions, type and mode inference,  partial evaluation, abstract interpretation, program transformations * Applications and Synergies:  interaction with SAT, SMT and CSP solvers,  logic programming techniques for type inference and theorem proving, Horn-clause analysis, knowledge representation, cognitive computing, artificial intelligence, natural language processing, information retrieval, web programming, education, computational life sciences,   computational mathematics. Submission Details: ------------------- Submissions of regular papers must be made in the condensed TPLP format via EasyChair. 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. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. 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 University 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 decision period). The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. 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 Programming Newsletter at no cost. Important Dates: ---------------- Abstract registration February 5, 2018 Paper submission February 12, 2018 Notification March 20, 2018 Revision submission (TPLP papers) April 5, 2018 Final notifications (TPLP papers) April 15, 2018 Camera-ready copy May 1, 2018 Conference July 14 / July 17, 2018 General Chair: Marco Gavanelli Program Chairs:    Alessandro Dal Palù    University of Parma    Paul Tarau             University of North Texas Program Committee: Mario Alviano             University of Calabria Hassan Ait-Kaci   Marcello Balduccini       St. John's University Mutsunori Banbara         Kobe University Pedro Cabalar             University of Corunna Mats Carlsson             SICS Manuel Carro              UPM and IMDEA Software Institute Michael Codish            Ben-Gurion University of the Negev Marina De Vos             University of Bath Thomas Eiter              TU Wien Esra Erdem                Sabanci University Thom Fruehwirth           University of Ulm Marco Gavanelli           University of Ferrara Martin Gebser             University of Potsdam Gopal Gupta               University of Texas at Dallas Michael Hanus             CAU Kiel Amelia Harrison           University of Texas at Austin Manuel Hermenegildo       UPM Tomi Janhunen             Aalto University Angelica Kimmig           Cardiff University Ekaterina Komendantskaya  Heriot-Watt University Nicola Leone              University of Calabria Michael Leuschel          University of Dusseldorf Yuliya Lierler            University of Nebraska at Omaha Vladimir Lifschitz        University of Texas at Austin Barry O'Sullivan          University College Cork David Pearce              Technical University of Madrid (UPM) Enrico Pontelli           New Mexico State University Ricardo Rocha             University of Porto Chiaki Sakama             Wakayama University Vitor Santos Costa        University of Porto Tom Schrijvers            KU Leuven Tran Cao Son              New Mexico State University Theresa Swift             Universidade Nova de Lisboa Peter Szeredi             Budapest University of Technology and Economics Mirek Truszczynski        University of Kentucky German Vidal              Universitat Politècnica de València Jan Wielemaker            VU University of Amsterdam Stefan Woltran            TU Wien Roland Yap                National University of Singapore Jia-Huai You              University of Alberta Neng-Fa Zhou              CUNY Brooklyn College and Graduate Center -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcello.balduccini at gmail.com Thu Jan 4 17:00:14 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Thu, 4 Jan 2018 11:00:14 -0500 Subject: [fg-arc] KR18 - Call for Tutorial and Workshop Proposals Message-ID: <201801041600.w04G0Ex6003210@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] KR18 - Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 2 November 2018 http://kr2018.org/ *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: 1) Tutorial proposals: http://tinyurl.com/kr18tute 2) Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr From jpg at ruc.dk Mon Jan 8 17:20:11 2018 From: jpg at ruc.dk (John Patrick Gallagher) Date: Mon, 8 Jan 2018 16:20:11 +0000 Subject: [fg-arc] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) Message-ID: <6C97AAB7-EA62-4C19-A50A-5525B85F85DE@ruc.dk> FINAL CALL FOR PAPERS Sixth International Workshop on Verification and Program Transformation ==> April 20th 2018, Thessaloniki, Greece Co-Located with ETAPS 2018 The Sixth International Workshop on Verification and Program Transformation (VPT 2018) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The previous workshops in this series were: VPT 2013, Saint Petersburg, Russia VPT 2014, Vienna, Austria VPT 2015, London, UK VPT 2016, Eindhoven, The Netherlands VPT 2017, Uppsala, Sweden The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: Verification by Program Transformation Verification Techniques in Program Transformation and Synthesis Verification and Certification of Programs Transformations Program Analysis and Transformation Program Testing and Transformation Verifiable Computing and Program Transformation Case studies Important Dates January 16th, 2018: Abstract submission deadline January 22nd, 2018: Paper submission deadline February 19th, 2018: Acceptance notification February 25th, 2018: Camera ready version (for the pre-proceedings) April 21st, 2018: Workshop Submission Guidelines Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2018 : https://easychair.org/conferences/?conf=vpt2018 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Proceedings The post-proceedings will be published in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop attracts sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. Program Committee: Emanuele De Angelis, University G.d'Annunzio of Chieti-Pescara, Italy Olivier Danvy, Yale-NUS College, Singapore John Gallagher, Roskilde University and IMDEA Software Institute, Denmark and Spain (Chair) Robert Glueck, University of Copenhagen, Denmark Geoff W. Hamilton, Dublin City University, Republic of Ireland Bishoksan Kafle, The University of Melbourne, Australia Julia Lawall, INRIA Paris, France Alexei Lisitsa, The University of Liverpool, UK Andrei P. Nemytykh, Program Systems Institute of RAS, Russia Maurizio Proietti, IASI-CNR, Rome, Italy C. R. Ramakrishnan, Stony Brook University, USA Kostis Sagonas, Uppsala University, Sweden Hirohisa Seki, Nagoya Institute of Technology, Japan Organisers: Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) John Gallagher (Roskilde University and IMDEA Software Institute) Contacts E-mail: Alexei Lisitsa, a.lisitsa at csc.liv.ac.uk Andrei P. Nemytykh, nemytykh at math.botik.ru John Gallagher, jpg at ruc.dk Web: http://refal.botik.ru/vpt/vpt2018/, http://www.etaps.org/index.php/2018/workshops From M.Pavlidis at brighton.ac.uk Mon Jan 8 23:56:15 2018 From: M.Pavlidis at brighton.ac.uk (Michalis Pavlidis) Date: Mon, 8 Jan 2018 22:56:15 +0000 Subject: [fg-arc] CfP: IEEE 12th International Conference on Research Challenges in Information Science (RCIS 2018) Message-ID: <84B5E311-4832-43F1-9B71-42277B76F525@brighton.ac.uk> CALL FOR PAPERS for the 12th IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE 29-31 May 2018, Nantes, France Paper submission deadline: February 2nd, 2018 http://rcis-conf.com/ co-located with the 36th French conference INFORSID http://www.inforsid.fr/Nantes2018/ RCIS has become a recognized conference on research challenges in information science. The goal of RCIS is to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and provide opportunities for knowledge sharing and dissemination. Organized for the 12th time in a row, RCIS 2018 will be held from May 29-31, 2018. IMPORTANT DATES * Regular paper submission deadline: February 2nd, 2018 (23:59 Central European Time) * Author notification: March 28th, 2018 * Camera-ready deadline: April 13th, 2018 * Author registration deadline: April 13th, 2018 * RCIS 2018 Conference: May 29-31, 2018 TOPICS OF INTEREST At RCIS 2018, among other regular topics a particular attention will be given to the special topic: Enterprise of the future. This theme is intended to explore how Information Science, in terms of methods and tools, can help enterprises and organisations face a wide range of challenges, thanks to the power of Information. Indeed, enterprises need to be able to continually innovate as fast as (or faster than) their highly fluctuating environments and markets. However, complexity of information representation and exploitation, decision-making processes at multiple levels and their important often unforeseen - effects, drastically impact enterprises agility and innovation. How does Information Science currently influence the future of enterprises and how can it influence it in a more efficient and innovative way? What are the main strategic challenges? How can Information Sciences strengthen and become an unavoidable and fundamental pillar of the Enterprise of the Future? RCIS welcomes submissions from a diverse spectrum: the list of themes and topics includes, but is not limited to, the following themes and topics: Information Systems and their Engineering * Requirements Engineering * Software Engineering and Testing * Model-Driven Engineering * Information Systems Development Methods and Method Engineering User-Oriented Approaches * Human-Computer Interaction * Social Computing and Social Network Analysis * User-Centered Approaches * Collaborative Computing * Information Science and the Wisdom of the Crowd Data and Information Management * Databases and Information * Information Search and Discovery * Conceptual Modeling and Ontologies * Information Security and Risk Management * Big Data, Right Data Enterprise Engineering * Business Process Engineering and Reengineering * Process Mining * Enterprise Modeling * Information Science within Reengineering Scenarios * Context-aware Organizations Applications * E-Health * E-Government * E-Commerce * Web-Based Applications and Services * Smart Cities Business Intelligence * Big Data & Business Analytics * Decision Information Systems * Knowledge Management * Knowledge Discovery from Data * Information and Value Management Information Infrastructures * Cyber-Physical Systems * Web Information Systems * Grid Computing and Cloud Computing * Internet of Things * Pervasive and Mobile Computing Reflective Research and Practice * Research Methodologies in Information Science * Impact of Information on the Enterprise and the Individual * Lifecycle Models * Design Science and Rationale * Action Research and Case Studies in Information Science Tutorials, Doctoral Consortium, Posters and Demos will complement the main conference. An updated version of this call can always be found at http://rcis-conf.com/. SUBMISSION PROCESS Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2018. Papers should be in English and must be associated to one of the following categories: - Technical solution papers present solutions that are novel or significantly improve existing solutions. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in later research. Maximum page count is 12. - Evaluation papers evaluate existing problem situations or validate proposed solutions through scientific means, i.e. by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Maximum page count is 12. - Industrial practice and experience papers present problems or challenges encountered in practice, describe success or failure stories, or report on industrial practice. The practice must be clearly described and its context must be given. Maximum page count is 12. - Work in progress papers present relevant preliminary results that may not have been fully validated yet. The work presented should be advanced enough as to show its contribution and significance. Maximum page count is 6. The submission site address is https://easychair.org/conferences/?conf=rcis2018 By submitting a paper, authors implicitly agree that at least one of them will register to the conference and present the paper. It is expected that at least one author will register for each accepted paper. Only papers that have been presented by their authors during the conference will be published as part of the IEEE Proceedings. Accepted papers will be submitted to IEEE for publication in IEEE Xplore digital library using the IEEE 2-column format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). CONFERENCE COMMITTEES General Chair: Marko Bajec, University of Ljubljana, Slovenia Program chairs: Haralambos Mouratidis, University of Brighton, UK Benedicte Le Grand, University Paris1 Panthéon-Sorbonne, France Organization chairs: Dalila Tamzalit, LS2N, University of Nantes France Alain Bernard, LS2N, Centrale Nantes, France ___________________________________________________________ This email has been scanned by MessageLabs' Email Security System on behalf of the University of Brighton. For more information see: https://staff.brighton.ac.uk/is/computing/Pages/Email/spam.aspx -------------- next part -------------- An HTML attachment was scrubbed... URL: From karsten.wendt at tu-dresden.de Tue Jan 9 12:54:13 2018 From: karsten.wendt at tu-dresden.de (Karsten Wendt) Date: Tue, 9 Jan 2018 12:54:13 +0100 Subject: [fg-arc] EXTENDED SUBMISSION DEADLINE : Call for Papers - 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018) Message-ID: --------------------------------------------------------------------------------------------------------- CALL FOR PAPER --------------------------------------------------------------------------------------------------------- 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018) --------------------------------------------------------------------------------------------------------- Website: http://st.inf.tu-dresden.de/LIFEWEAR-2018 --------------------------------------------------------------------------------------------------------- In conjunction with the Smart System Integration Conference 2018 in Dresden, April 11, 2018 --------------------------------------------------------------------------------------------------------- With the advent of standard sensor-actuator platforms for wearable devices, such smart watches (e.g., Apple Watch), smartglasses (e.g., Microsoft Hololens), smart clothing (e.g., data gloves), exoskeletons, and many more, people carry multiple devices simultaneously. This trend imposes completely new challenges to software engineers w.r.t. adaptivity, distribution, interaction, system integration, data handling, resiliency, security and software architectures. Software engineering helps to design and develop complex systems by automating the development process concentrating on different levels of abstraction. Model-driven techniques must be established to improve the quality (e.g., re-usability, reliability, maintainability) of the developed wearable systems. Because hardware and software interact tightly, new skills and processes are required when designing and implementing solutions based on wearable devices. In addition, the integration of wearable devices with other smart devices installed in the environment (e.g., sensors in a room) requires that the system architecture is highly dynamic. Therefore, there is a need for a new paradigm of software and system development for wearables in smart rooms, based on sensor nets, fog, and edge computing. This trend suggests establishing a new joint community of researchers from sensor nets and software engineering. The LIFEWEAR workshop aims to bring together researchers and practioneers from the communities interested in wearables, to present current approaches w.r.t. software engineering of wearable devices, gather requirements for future wearable systems and develop a roadmap for software enginnering for wearables. This includes the following research areas ■ Model-driven software development for wearable systems ■ Innovative interaction approaches of humans with wearables ■ Interactions of wearables with machines (e.g., robots) ■ End-user application development ■ Embedding of wearables into a fog or edge of a smart room ■ Sensor data analytics and data aggregation ■ Technical approaches to ensure data security and privacy ■ Total cost of ownership of wearable systems --------------- IMPORTANT DATES --------------- EXTENDED SUBMISSION DEADLINE - January 28th, 2018 Submission Deadline - January 28th, 2018 Notification - February 11th, 2018 Camera Ready - March 11th, 2018 Workshop - April 12th, 2018 ---------------------- SUBMISSION INFORMATION ---------------------- Papers should be submitted electronically in PDF format via EasyChair ( https://easychair.org/conferences/?conf=lifewear2018). Submitted papers must conform to the Lecture Notes in Computer Science (LNCS). Submissions to the workshop are possible in two categories: ■ Regular Papers schould describe original work on a problem or solution w.r.t the described topics of interest on up to fifteen pages. ■ Interested workshop participants will have to submit a position paper (two to four pages) containing a description of the area of research, specifc work on the workshop topic, and the innovative character of the research. The accepted papers will be digitally published in the CEUR Workshop Proceedings. ---------- ORGANIZERS ---------- Karsten Wendt, Technische Universität Dresden Uwe Aßmann, Technische Universität Dresden Maria Piechnick, Technische Universität Dresden For more Information please visit http://st.inf.tu-dresden.de/LIFEWEAR-2018/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Wed Jan 10 01:45:37 2018 From: grlmc at grlmc.com (GRLMC) Date: Wed, 10 Jan 2018 01:45:37 +0100 Subject: [fg-arc] HighPer 2018: early registration January 20 Message-ID: <545102060a010b06025e500707045a06510706040406020250515b0357570658505357520b5a030506510705520259@grlmc_ip-zone_com-6> HighPer 2018: early registration January 20*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: January 20, 2018 ---   *****************************************************************************   SCOPE:   HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 24 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science   PROFESSORS AND COURSES: (to be completed)   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] High Performance Computing on Parallel Computers and GPUs with Julia   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Studying Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [advanced] Embracing the Exascale Challenge: From Accelerators over Scalable Program Tracing to Resilience   J. (Ram) Ramanujam (Louisiana State University), tba   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   El-Ghazali Talbi (University of Lille 1), [introductory] Parallel Metaheuristics for Optimization and Machine Learning   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Jeffrey S. Vetter (Oak Ridge National Laboratory), [intermediate] Exploiting Deep Memory Hierarchies   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.uni-stuttgart.de Wed Jan 10 09:03:23 2018 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Wed, 10 Jan 2018 09:03:23 +0100 Subject: [fg-arc] Request for help: Software Architecture Survey Message-ID: Dear software architects, we plan to empirically investigate the question whether current software architecture research addresses the topics that software architects in practice care about. For this research, we depend on your contributions! Thus, we would very much appreciate if you would fill out our mini-questionnaire (at most 15 minutes). Questionnaire: https://tinyurl.com/SoftwareArchitectSurvey Thank you very much for your contribution! Marie Platenius & Steffen Becker -- -- Universität Stuttgart - Institut für Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html -------------- next part -------------- A non-text attachment was scrubbed... Name: steffen_becker.vcf Type: text/x-vcard Size: 478 bytes Desc: not available URL: From flm at informatik.uni-kiel.de Wed Jan 10 11:11:27 2018 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Wed, 10 Jan 2018 11:11:27 +0100 Subject: [fg-arc] CiE 2018: Final Call for Papers Message-ID: <7adbb205b458db6d0ddb6be3111c301e@informatik.uni-kiel.de> Apologies for multiple postings. ========================= FINAL CALL FOR PAPERS: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de http://www.computability.org.uk IMPORTANT DATES: ============================ *** Deadline for abstract submission: January 17, 2018 *** *** Deadline for article submission: February 1, 2018 *** Notification of acceptance: April 6, 2018 Final versions due: April 20, 2018 Deadline for informal presentations submission: April 20, 2018 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: May 30, 2018 CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), and Turku (2017). TUTORIAL SPEAKERS: ================== Pinar Heggernes (Bergen, Norway) Bakhadyr Khoussainov (Auckland, NZ) INVITED SPEAKERS: ================= Kousha Etessami (Edinburgh, UK) Johanna Franklin (Hempstead, US) Mai Gehrke (Paris, France) Alberto Marcone (Udine, Italy) Alexandra Silva (London, UK) Jeffrey O. Shallit (Waterloo, Canada) ORGANIZED BY: ============= Department of Computer Science, Kiel University For questions please contact the organisers at the email address cie2018 at email.uni-kiel.de SPECIAL SESSIONS (and organisers): ================================== Approximation and Optimisation — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel) Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest) Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison) Continuous Computation — Organisers: Ulrich Berger (Swansea), Dieter Spreen (Siegen) History and Philosophy of Computing — Organisers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex) SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds) The speakers of the special sessions will be announced soon on the website of the conference. PROGRAMME COMMITTEE: ==================== Eric Allender (Rutgers), Arnold Beckmann (Swansea), Marco Benini (Insubria), Olaf Beyersdorff (Leeds), Patricia Bouyer (Paris), Alessandra Carbone (Paris), Barbara Csima (Waterloo), Anuj Dawar (Cambridge), Henning Fernau (Trier), Ekaterina Fokina (Vienna), Peter Høyer (Calgary), Georgiana Ifrim (Dublin), Lila Kari (Waterloo), Elham Kashefi (Edinburgh), Karen Lange (Wellesley), Benedikt Löwe (Amsterdam), Barnaby Martin (Durham), Florin Manea (Kiel), Klaus Meer (Cottbus), Russell Miller (New York, co-chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, co-chair), Arno Pauly (Bruxelles), Isabella Peters (Kiel), Giuseppe Primiero (Middlesex), Henning Schnoor (Kiel), Monika Seisenberger (Swansea), Shinnosuke Seki (Tokyo), Mariya Soskova (Wisconsin–Madison), Raymond Turner (Essex), Peter Van Emde Boas (Amsterdam), Heribert Vollmer (Hannover). CONTRIBUTED PAPERS: =================== The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings at https://easychair.org/conferences/?conf=cie2018 . Papers must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ======================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2018. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol at univ-lille3.fr, before 15 May 2018 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2018. HaPoC Grants | Commission for the History and Philosophy of Computing ===================================================================== The HaPoc Council is happy to announce the availability of two HAPOC travel grants of 250USD each to support participation to the conference. To be eligible for a grant, a paper or informal presentation in the area of history and/or philosophy of computing accepted at CiE 2018 is required. In order to apply for a grant, please send the following details to info at hapoc.org: cv, the paper or informal presentation submitted, accompanied by the acceptance email, a detailed budget indicating any other funding possibilities (if available). Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From einarj at ifi.uio.no Fri Jan 12 18:36:44 2018 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Fri, 12 Jan 2018 18:36:44 +0100 Subject: [fg-arc] Final CfP: FM 2018 Message-ID: <20180112173644.51058229A77@sudur.ifi.uio.no> [Apologies for multiple copies] *********************************************************************** last Call for Papers 22nd International Symposium on Formal Methods FM 2018 Oxford UK, July 15-17 2018 carrier conference of FLoC 2018 http://www.fm2018.org *********************************************************************** FM 2018 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. FM 2018 will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences. FM 2018 will highlight the development and application of formal methods in a wide range of domains including software and integrated computer-based systems. In the latter field, cyber-physical systems, systems-of-systems, human-computer interaction, manufacturing, sustainability, power, transport, cities, healthcare, and biology are of particular interest. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. Submission Guidelines FM 2018 encourages submissions on formal methods for developing and evaluating systems that interact with physical processes, and systems that use artificial intelligence technology. Examples include autonomous systems, robots, and cyber-physical systems in general. Applying formal methods to these systems of growing interest and importance is challenging because they exhibit much greater non-determinism than traditional systems, making them challenging to assure. All papers must be original and not simultaneously submitted to another journal or conference. Broad topics of interest for FM 2018 include, but are not limited to: * Interdisciplinary formal methods: Techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. * Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. * Tools for formal methods: Advances in automated verification, model-checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. * Role of formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. * Theoretical foundations: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. Submission Information Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through Easychair (https://easychair.org/conferences/?conf=fm2018). Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by reviewers. We solicit two categories of papers: * Regular papers should not exceed 15 pages, not counting references and appendices. * Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted — there will be no "demotions" from a regular to a short paper. Keynote Speakers The FM 2018 program includes three invited talks Annabelle McIver, Macquarie University, Sydney, Australia Leonardo de Moura, Microsoft Research, Redmond, USA Kim Guldstrand Larsen, Aalborg University & UP4ALL, Denmark Best Paper Award During the conference, the Programme Committee Chairs will present an award to the authors of the submission selected as the FM 2018 Best Paper. Publication Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science. Extended versions of selected papers will be invited for publication in a special issue of one or more journals. Location FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conference 2018. Important Dates Abstract submission deadline 8 January, 2018 Paper submission deadline 22 January, 2018 Notification 9 April, 2018 Camera ready 9 May, 2018 Programme Chairs Bill W. Roscoe, University of Oxford, GB Jan Peleska, University of Bremen, DE Program Committee Bernhard K. Aichernig, TU Graz, AT Joerg Brauer, Verified Systems International GmbH, DE Ana Cavalcanti, University of York, GB Frank De Boer, CWI, NL John S. Fitzgerald, Newcastle University, GB Martin Fraenzle, Universitaet Oldenburg, DE Vijay Ganesh, University of Waterloo, CA Diego Garbervetsky, Universidad de Buenos Aires, AR Dimitria Giannakopoulou, NASA Ames, US Thomas Gibson-Robinson, University of Oxford, GB Stefania Gnesi, ISTI-CNR, IT Anne E. Haxthausen, Technical University of Denmark, DK Ian J. Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jozef Hooman, TNO-ESI and Radboud University Nijmegen, NL Laura Humphrey, Air Force Research Laboratory, US Fuyuki Ishikawa, National Institute of Informatics, JP Einar Broch Johnson, University of Oslo, NO Cliff Jones, Newcastle University, GB Joost-Pieter Katoen, RWTH Aachen University, DE Gerwin Klein, NICTA and University of New South Wales, AU Laura Kovacs, Chalmers University of Technology, SE Peter Gorm Larsen, Aarhus University, DK Yves Ledru, Université Grenoble Alpes, FR Rustan Leino, Amazon, US Elizabeth Leonard, Naval Research Laboratory, US Martin Leucker, University of Lübeck, DE Michael Leuschel, University of Düsseldorf, DE Zhiming Liu, Southwest University, CN Tiziana Margaria, University of Limerick and Lero, IE Mieke Massink, CNR-ISTI, IT Annabelle McIver, Macquarie University, AU Dominique Mery, LORIA and Université de Lorraine, FR Mohammad Reza Mousavi, University of Leicester, GB Peter Müller, ETH Zürich, CH Colin O'Halloran, D-RisQ Software Systems, GB Jose Oliveira, Universidade do Minho, PT Olaf Owe, Universitity of Oslo, NO Sam Owre, SRI International, US Alexandre Petrenko, CRIM, CA Anna Philippou, University of Cyprus, CY Elvinia Riccobene, University of Milan, IT Grigore Rosu, University of Illinois at Urbana-Champaign, US Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Natasha Sharygina, University of Lugano, CH Ana Sokolova, University of Salzburg, AT Jun Sun, Singapore University of Technology and Design, SG Stefano Tonetta, FBK-irst, IT Farn Wang, National Tainwan University, TW Heike Wehrheim, University of Paderborn, DE Michael Whalen, University of Minnesota, US Jim Woodcock, University of York, GB Hüsnü Yenigün, Sabanci University, TR Fatiha Zaidi, Université Paris-Sud, FR Gianluigi Zavattaro, Universita di Bologna, IT All questions about submissions should be emailed to the programme chairs. From announce at cs.ucy.ac.cy Sun Jan 14 21:17:20 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 14 Jan 2018 22:17:20 +0200 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): First Call for Papers and Special Sessions Message-ID: *** FIRST CALL FOR PAPERS AND SPECIAL SESSIONS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM2CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM2CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: · Enterprise Systems for Industry 4.0 · Cyber Physical Systems for Industry 4.0 · Internet of Things for Industry 4.0 · Big Data for Industry 4.0 · Security and Privacy Protection for Industry 4.0 · System Engineering and Human Factors for Industry 4.0 · IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. SPECIAL SESSIONS The goal of Special Sessions is to provide a focused discussion of new or innovative topics. Special Session organizers consist of at least 5 papers. Please download the template of Special Sessions and submit it to the Special Session Chair (relevant information is available on conference web site). All Special Session papers will be reviewed with the same criteria as Regular Session papers. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: · Full papers present final result. They must not exceed 8 pages. · Short papers can contain preliminary results. They must not exceed 6 pages. · Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM2CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM2CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for two journal special issues, the first to be published by Enterprise Information Systems, Taylor and Francis, with theme "Spacecraft Informatics", and the second by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES · Special Sessions Proposals due: 2nd April 2018 · Regular Paper Submissions (al types) due: 14th May 2018 · Notification of Acceptance/Rejection: 23rd July 2018 · Camera-Ready Versions of Accepted Papers: 13th August 2018 · Author Registration: 13th August 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs · Aurona Gerber, South Africa, IEEE SMC EAE TC Chair · Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair · Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs · Ling Xia Li, Old Dominion University, USA · Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand · Yale Yu, Infosys Australia & New Zealand · Chris Zhang, University of Saskatchewan, Canada · Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM2CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jan 15 17:23:53 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 15 Jan 2018 18:23:53 +0200 Subject: [fg-arc] 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): First Call for Papers and Special Sessions Message-ID: *** FIRST CALL FOR PAPERS AND SPECIAl SESSIONS *** 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018) St. Raphael Resort, Limassol, Cyprus, 29-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fismis2018 WELCOME ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. SCOPE The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. TOPICS ISMIS 2018 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: · Active Media Human-Computer Interaction · Autonomic and Evolutionary Computation · Digital Libraries · Health Informatics · Intelligent Agent Technology · Intelligent Data Processing and Analytics · Intelligent Information Retrieval · Intelligent Information Systems · Intelligent Language Processing · Knowledge Integration and Aggregation · Knowledge Discovery and Data Mining · Knowledge Visualization · Logic for Artificial Intelligence · Multimedia Information Retrieval · Soft Computing · Text Mining · Web Intelligence · Web Mining In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. art, human genome, global change, manufacturing, social good, etc. PAPER SUBMISSION Authors are invited to submit their manuscripts in LNCS/LNAI style (maximum 10 pages). All paper submissions will be handled electronically. All submissions will be subject to review by the ISMIS 2018 Program Committee. Papers should be prepared using the Springer LNCS/LNAI style (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), maximum 10 pages. Papers should be submitted in PDF form via ISMIS 2018 Online Submission System: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dismis2018 . SPECIAL SESSIONS ISMIS 2018 solicits proposals for special sessions within the technical scope of the conference. Special sessions supplement the regular program of the conference and provide a sample of the state-of-the-art research in specific topics. Special-session proposals should be submitted by the prospective organizer(s) who will commit to promoting and handling the review process of their special session as Chairs or Co-Chairs of the event. Proposals should include the following information: · Title · Name(s) of organizer(s) · Email of main contact person · Brief bio(s) of organizer(s) · Brief description · Related topics (with respect to those of the Main Conference) · Potential participants · A draft of the CFP · Description of publicity and promotion plan Papers submitted to special sessions will have to be evaluated and peer- reviewed along the very same criteria as the regular sessions. It is expected that 4 or 5 papers are presented at each special session. The accepted papers will be published by Springer in the same conference volume with the regular accepted papers. Special-session proposals should be submitted in PDF format by E-mail to the Special Sessions Chair Stefano Ferrili at: stefano.ferilli at uniba.it . PUBLICATION AND JOURNAL SPECIAL ISSUES The ISMIS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Journal of Intelligent Information Systems (JIIS) (http://www.springer.com/computer/database+management+%26+information+retrieval/journal/10844) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES · Special Sessions Proposals Submissions due: 2nd February 2018 · Special Sessions Proposals Notification: 9th February 2018 · Paper Submissions due: 10th May 2018 · Notification of Acceptance/Rejection: 10th July 2018 · Camera-Ready Versions of Accepted Papers: 31st July 2018 · Author Registration: 31st Juy 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Steering Committee Chair · Zbigniew Ras (UNC-Charlotte, USA & Polish-Japanese Academy of IT, Poland) Symposium Chair · George Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs · Michelangelo Ceci (Universita degli Studi di Bari, Italy) · Nathalie Japkowicz (American University, USA) · Jiming Liu (Hong Kong Baptist University, Hong Kong) Special Sessions Chair · Stefano Ferilli (University of Bari, Italy) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFNwZWNpYWwgU2Vzc2lvbnMJMTM3CUxpc3RzCTE3OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fcyprusconferences.org%2Fismis2018%2Fcommittees%2F -------------- next part -------------- An HTML attachment was scrubbed... URL: From wadt18 at outlook.com Mon Jan 15 21:16:57 2018 From: wadt18 at outlook.com (Ionut Tutu) Date: Mon, 15 Jan 2018 20:16:57 +0000 Subject: [fg-arc] =?utf-8?q?WADT_2018_=E2=80=93_1st_Call_for_Papers?= Message-ID: ====================================================================== FIRST CALL FOR PAPERS WADT 2018 24th International Workshop on Algebraic Development Techniques http://wadt18.cs.rhul.ac.uk July 2–5, 2018, Royal Holloway University of London, Egham, UK ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Formal testing and quality assurance, validation, and verification – Algebraic approaches to cognitive sciences, including computational creativity WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk). Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS Artur d'Avila Garcez (City, University of London, UK) Rolf Hennicker (LMU Munich, Germany) IMPORTANT DATES Submission deadline for abstracts: April 27th, 2018 Notification of acceptance: May 18th, 2018 Early registration: June 1st, 2018 Final abstract due: June 1st, 2018 Workshop: July 2–5, 2018 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. Abstracts have to be submitted electronically via the EasyChair system at https://easychair.org/conferences/?conf=wadt18. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. Selection will be based on originality, soundness, and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) [co-chair] Rolf Hennicker (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Markus Roggenbach (UK) Grigore Roșu (United States) PROGRAMME COMMITEE Paolo Baldan (Italy) Andrea Corradini (Italy) Răzvan Diaconescu (Romania) José Fiadeiro (UK) [co-chair] Fabio Gadducci (Italy) Artur d'Avila Garcez (UK) Reiko Heckel (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Barbara König (Germany) Antónia Lopes (Portugal) Narciso Marti-Oliet (Spain) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Pierre-Yves Schobbens (Belgium) Lutz Schröder (Germany) Pawel Sobocinski (UK) Ionuț Țuțu (UK) [co-chair] Martin Wirsing (Germany) ORGANIZING COMMITTEE Claudia Chiriță (UK) José Fiadeiro (UK) Ionuț Țuțu (UK) CONTACT INFORMATION Email: wadt18 at cs.rhul.ac.uk Homepage: http://wadt18.cs.rhul.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Tue Jan 16 01:14:22 2018 From: grlmc at grlmc.com (GRLMC) Date: Tue, 16 Jan 2018 01:14:22 +0100 Subject: [fg-arc] AlCoB 2018: 3rd call for papers Message-ID: <545102060a010b060352500a01065a54535e0d565652575702500e5201055651535803000500045753075650075407@grlmc_ip-zone_com-6> AlCoB 2018: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2018   Hong Kong   June 25-27, 2018   Co-organized by:   The Hong Kong Polytechnic University Department of Computing   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2018/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in the world, one of the highest human development indexes, and the longest life expectancy. The venue will be:   M1603, Li Ka Shing Tower The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2018 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Tatsuya Akutsu (Kyoto University), Algorithms for Analysis and Control of Boolean Networks   Bin Ma (University of Waterloo), De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications   Ben Raphael (Princeton University), Algorithms for Cancer Evolution   PROGRAMME COMMITTEE:   Josep Francesc Abril (University of Barcelona, ES) Kees Albers (Radboud University Medical Centre, NL) Emmanuel Barillot (Curie Institute, FR) Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) Rita Casadio (University of Bologna, IT) José C. Clemente (Icahn School of Medicine at Mount Sinai, US) Eytan Domany (Weizmann Institute of Science, IL) Liliana Florea (Johns Hopkins University, US) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina at Chapel Hill, US) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) John Hancock (ELIXIR Europe, UK) Robert Harrison (Georgia State University, US) Martijn Huynen (Radboud University Medical Centre, NL) Jesper Jansson (The Hong Kong Polytechnic University, HK) Pouya Kheradpour (Verily Life Sciences, US) Julien Lagarde (Centre for Genomic Regulation, ES) Gerton Lunter (University of Oxford, UK) Ruibang Luo (Johns Hopkins University, US) Bill Majoros (Duke University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Huaiyu Mi (University of Southern California, US) Ryan E. Mills (University of Michigan, US) Kenta Nakai (University of Tokyo, JP) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) Itsik Pe'er (Columbia University, US) Mihaela Pertea (Johns Hopkins University, US) Paolo Ribeca (The Pirbright Institute, UK) Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) Stephane Rombauts (Ghent University, BE) Russell Schwartz (Carnegie Mellon University, US) Xinghua Shi (University of North Carolina at Charlotte, US) Denis Shields (University College Dublin, IE) Ilya Shmulevich (Institute for Systems Biology, US) Thomas Sicheritz-Pontén (Technical University of Denmark, DK) Steven Skiena (Stony Brook University, US) Wing-Kin Sung (National University of Singapore, SG) Weili Wu (The University of Texas at Dallas, US) Wenzhong Xiao (Massachusetts General Hospital, US) Shibu Yooseph (University of Central Florida, US) Yaoqi Zhou (Griffith University, AU)   ORGANIZING COMMITTEE:   Jesper Jansson (Hong Kong, co-chair) Konstantinos Mampentzidis (Hong Kong) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra-Royón (Granada) Abdul Raheem (Hong Kong) David Silva (London) Sandhya T P (Hong Kong) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) 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://easychair.org/conferences/?conf=alcob2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955) 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/AlCoB2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: February 11, 2018 Notification of paper acceptance or rejection: March 18, 2018 Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 Early registration: March 28, 2018 Late registration: June 11, 2018 Submission to the journal special issue: September 27, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   AlCoB 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGEMENTS:   The Hong Kong Polytechnic University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Jan 16 17:29:57 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 16 Jan 2018 18:29:57 +0200 Subject: [fg-arc] 2018 European Conference on Ambient Intelligence (AmI 2018): First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 2018 European Conference on Ambient Intelligence (AmI 2018) Golden Bay Beach Hotel, Larnaca, Cyprus, 12-14 November, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTEzOQlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fami2018 Ambient intelligence refers to normal working and living environments being surrounded by embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g. The Internet of Things). Such devices, each specialised in one or more capabilities, are intended to work together based on an infrastructure of intelligent systems, to provide a variety of services improving safety, security and the quality of life in ordinary living, travelling and working environments. ABOUT AMI 2018 The 2018 European Conference on Ambient Intelligence (AmI 2018) has a focus on the role of Ambient Intelligence "Towards a Smart and Human Centered Internet of Things". We invite submissions of full and short papers as well as posters, presenting original research. AmI 2018 is an interdisciplinary venue for leading international researchers, designers, and practitioners that present and discuss new results in Ambient Intelligence. AmI builds on the success of thirteen predecessor conferences, which started in 2003 with the EUSAI-event in Veldhoven, The Netherlands. More information about the AmI series can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTEzOQlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fami-conferences.org . The Proceedings of AmI 2018 will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. Furthermore, Springer will sponsor the Best Paper Award with 1,000 EUR. TOPICS AmI 2018 will revolve around the focus topic "Towards a Smart and Human- Centred Internet of Things" that follows the vision of Calm Technology, where technology is useful but does not demand our full attention or interfere with our usual behavior and activities. Relevant research topics include, but are not limited to: · Sensors and Actuators Networks · Ambient Networking and Communication · Mobile, Ubiquitous and Pervasive Computing · Internet of Things and Interconnected devices · Internet of Humans and Human Sensors · Artificial Intelligence Models, Methods and Techniques · Machine Learning, Data mining and Big Data · Modelling Context Awareness and Location-based Services · Agent Technologies and Multi-agent Platforms · Cloud Computing for Intelligent Ambients · Multimodal Human-Computer Interaction · Virtual, Mixed and Augmented Reality · Symmetric Interaction in Real and Virtual worlds · Reliability, Assurance and Safety · Security, Privacy and Trust · Systems Architecture and Middleware · Software Development Methodologies and Tools · Robotic Companions · Industrial Internet and Industry 4.0 · Sustainability and Fair Trade · Smart Homes and Intelligent buildings · Energy Efficiency · Ambient Assisted Living · Healthcare and Well-being · Smart Cities · Connected Cars and Autonomous Driving · ervasive Games in Hybrid Worlds · Ambient Intelligence Education · Evaluation methods and techniques for Trials · Citizen science, Living labs, Maker communities PAPER AND POSTER SUBMISSION Papers must be anonymized to facilitate blind review. Authors are encouraged to minimize any references that may reveal the identity of the authors and their institutions. Relevant references to an author's previous research should not be suppressed but instead referenced in a neutral way. All papers will be reviewed by at least three Program Committee members. The length of each paper including figures and references may not exceed 16 pages for regular papers and 6 pages for short papers. The posters session aims to collect papers showing work in progress and thus raise opportunities to present and discuss current work in an informal setting. These papers will be presented as posters in the conference. Poster contributions may not exceed 2 pages, including figures and references. For more information about what should be considered a regular, short or poster contribution, please refer to the conference web site. All paper and poster submissions must be written in English and submitted in PDF format. Submission of a paper or poster should be regarded as an undertaking that, should the paper or poster be accepted, at least one of the authors will attend the conference to present the work. For preparation of papers and posters please follow the instructions for authors available at the Springer LNCS Web page (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Authors of full and short papers as well as posters are welcome to submit using the conference review system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMDE4IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQW1iaWVudCBJbnRlbGxpZ2VuY2UgKEFtSSAyMDE4KTogRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCTEzOQlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dami2018 . This year's best paper awards are graciously sponsored by Springer with 1,000 EUR. SPECIAL ISSUE The authors of the best papers to be accepted at AmI 2018 will be invited to submit substantially extended and revised versions of their papers with at least 70% new material to a special journal issue for AmI 2018 to be published in the Journal of Ambient Intelligence and Humanised Computing, by Springer. IMPORTANT DATES · Paper and Poster Submissions due: 17th June 2018 · Notification of Acceptance/Rejection: 22nd July 2018 · Camera-Ready Versions due: 29th July 2018 · Author Registration: 5th August 2018 ORGANIZING COMMITTEE General Chair · George Roussos, Birkbeck, University of London, UK Program Chairs · Achilleas D. Kameas, Hellenic Open University, Greece · Kostas Stathis, Royal Holloway, University of London, UK Workshops Chairs · Ioannis Chatzigiannakis, University of Rome, Italy · Fariba Sadri, Imperial College, UK Local Organization Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From burger at kit.edu Wed Jan 17 15:24:34 2018 From: burger at kit.edu (Burger, Erik (IPD)) Date: Wed, 17 Jan 2018 15:24:34 +0100 Subject: [fg-arc] Consistency in the View-based Development of Cyber-Physical Systems (Special Session at SEAA 2018) Message-ID: +---------------------------------------------------------------------+ | Consistency in the View-based Development of Cyber-Physical Systems | | (CVDCPS) | +---------------------------------------------------------------------+ | Special Session at Euromicro DSD/SEAA 2018 | | 29–31 August 2018, Prague, Czech Republic | +---------------------------------------------------------------------+ Cyber-Physical Systems (CPS) are omnipresent and affect ever more aspects of our lives. Most current visions for addressing general challenges of our modern societies, such as mobility, energy, production, or health care, rely on CPS of unknown complexity and flexibility. Examples are interconnected, automatically driving cars, highly adaptive, localised energy network management systems that utilise locally transformed renewable energy forms, or “Industry 4.0” scenarios, where the power of industrialised production is highly software-driven and networked. This enables highly flexible production processes adapting to new products, production technologies and resources including even “lot-size one” manufacturing. Software is the key to ensuring the flexibility already envisioned in future scenarios for mobility, energy supply or Industry 4.0. Such scenarios will lead to CPS with a tremendous increase in the complexity of their design and operation. View-based development is a paradigm that addresses the problem that large cyber-physical systems are usually developed by several roles that all have languages, standards and tools of their own, in which they create representations of the system under development. However, consistency between these representations is often checked only manually, although inconsistencies can lead to costly adaptations if they are discovered in late phases of the development process. Therefore, research is of high interest, where mechanisms, approaches and tools for consistency management are researched. In this special session, we encourage submissions in the field of consistency management for multi-view approaches in cyber-physical systems. The proposed session addresses the following topics: – Model-driven development for CPS – View-based development – Composition of views, models and metamodels – Multi-paradigm modeling – Evolution of models and views – Avoiding inconsistencies, overlap and redundancies between models and views – Role-based modeling – Round-trip engineering – Variants and versions management – Distributed development processes – Dependencies between established views in automotive or automation systems engineering – Syntactic and semantic notions of consistency Important Dates =============== – Paper Submission Deadline: 1st March 2018 – Notification of Acceptance: 5th May 2018 – Camera-Ready Papers: 15th June 2018 Submission ========== https://easychair.org/conferences/?conf=seaa2018 Please select the session "Consistency in the View-based Development of Cyber Physical Systems" (next to last bullet point), not "Cyber-Physical Systems", which is a different session! Session Chairs ============== – Ralf Reussner Karlsruhe Institute of Technology, Germany – Alexander Pretschner Technical University of Munich, Germany Program Committee ================= – Uwe Aßmann, Technical University of Dresden, Germany – Stefan Biffl, Technical University of Vienna, Austria – Ruth Breu, University of Innsbruck, Austria – Hugo Brunelière, IMT Atlantique, Nantes, France – Michael Goedicke, University of Duisburg-Essen, Germany – Jörg Kienzle, McGill University, Montreal, Canada – Anne Koziolek, Karlsruhe Institute of Technology, Germany – Salvador Martínez Pérez, Commissariat à l’énergie atomique et aux énergies alternatives (CEA), Gif-sur-Yvette, France – Noël Plouzeau, Université de Rennes 1, France – Antonio Valecillo, Universidad de Málaga, Spain – Birgit Vogel-Heuser, Technical University of Munich, Germany – Manuel Wimmer, Technical Univeristy of Vienna, Austria – Andreas Winter, University of Oldenburg, Germany – Steffen Zschaler, King’s College, London, United Kingdom -- Karlsruhe Institute of Technology (KIT) Faculty of Informatics Institute for Program 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 http://sdq.ipd.kit.edu/people/erik_burger KIT -- The Research University in the Helmholtz Association -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5383 bytes Desc: S/MIME Cryptographic Signature URL: From koziolek at kit.edu Wed Jan 17 17:14:38 2018 From: koziolek at kit.edu (Anne Koziolek (IPD)) Date: Wed, 17 Jan 2018 17:14:38 +0100 Subject: [fg-arc] CfP: Workshop on Software Qualities and their Dependencies (SQUADE 2018) @ ICSE 2018 Message-ID: ===================================================================== CALL FOR PAPERS (Deadline: February 05, 2018) First International Workshop on Software Qualities and their Dependencies (SQUADE 2018) @ ICSE 2018 Gothenburg, Sweden, May 18, 2018 http://www.mrtc.mdh.se/SQUADE/ (SQUADE is an ICSE 2018 workshop https://www.icse2018.org/) ====================================================================== * Deadline for Paper Submission: February 05, 2018 ====================================================================== *Scope and Objectives* This workshop focuses on increasing our understanding of the nature of Software Qualities (SQs - e.g., reliability, usability, affordability, etc.), their interrelationships, and on bringing them into balance in the practice of software engineering. The relevance and timeliness of this topic reflects the current trend towards more software-intensive systems, with greater complexity, autonomy, speed of change, and the need for interoperability within systems of systems, given the frequent system shortfalls and overruns that occur when their SQ balance is not achieved. Research and practices are becoming available, but there is overall chaos among SQ definitions, standards and relationships. This workshop aims to bring together SQ researchers and practitioners to support more solid foundations in the task of dealing with SQs and their dependencies. *Areas of Interest* Primary areas of interest for the SQUADE workshop are: * SQs in practice: experience reports, lessons learned, case-studies, benchmarks, experiments, negative results due to unknown dependencies, best practices and success stories. * Specification and modelling notations of SQs: analysis of a specific property (cost, performance, resource consumption, reliability, security, etc.), a set of properties, traceability during the development process, traceability over the software lifecycle, model annotations. * SQs validation and verification: dependencies of measurements, evaluation methods, trade-off analysis, formal methods, multi-criteria analysis, testing, simulation of a given property or set of properties. * SQs Data Analytics and Machine Learning: significant progress is being made in large-scale analysis of a software system’s code smells, technical debt, vulnerabilities, and architecture deficiencies across software system’s commits history. Further research is underway in exploring machine learning approaches as learning predictive models, transfer learning, uncertainty in models, continuous verification, deep learning, model optimization, and self-adaptation. * Ontological Dependencies among SQs: dependencies among SQs include synergies, conflicts, means-ends relations, quantitative tradespace models, and SQ variation by system state, process, stakeholder value propositions, and operational context. Ontologies addressing these sources of variation enable more precise and consistent evaluation of SQ dependencies. Contributions from other SQ-relevant topics are welcome as well. *Important Dates* Workshop paper submissions due: Mon February 5th 2018 Notification to authors: Mon March 5th 2018 Camera-ready copies due: Mon March 19th 2018 Workshop date: Mon May 28th 2018 *Program Organizers* Séverine Sentilles, Mälardalen University, Sweden Barry Boehm, USC, USA Catia Trubiani, Gran Sasso Science Institute, L’Aquila, Italy Xavier Franch, Universitat Politèecnica de Catalunya, Barcelona, Spain Anne Koziolek, Karlsruhe Institute of Technology, Karlsruhe, Germany -- Karlsruhe Institute of Technology (KIT) Institute for Program Structures and Data Organization Jun.-Prof. Dr.-Ing. Anne Koziolek (Martens) Am Fasanengarten 5, Building 50.34, Room 326 76131 Karlsruhe, Germany Phone: +49 721 608-4-3473 Fax: +49 721 608-4-5990 Web: http://are.ipd.kit.edu/people/anne_koziolek/ KIT -- The Research University in the Helmholtz Association -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5393 bytes Desc: S/MIME Cryptographic Signature URL: From flm at informatik.uni-kiel.de Thu Jan 18 09:30:15 2018 From: flm at informatik.uni-kiel.de (Florin Manea) Date: Thu, 18 Jan 2018 09:30:15 +0100 Subject: [fg-arc] CiE 2018 - deadline extension Message-ID: <70b518bdb169db623c357a5b5239d876@informatik.uni-kiel.de> Apologies for multiple postings. Please note the extended submission deadlines! ========================= FINAL CALL FOR PAPERS: ========================= CiE 2018: Sailing Routes in the World of Computation Kiel, Germany July 30 - August 3, 2018 http://cie2018.uni-kiel.de http://www.computability.org.uk IMPORTANT DATES (DEADLINE EXTENSION!!): ======================================= *** Deadline for abstract submission: January 24, 2018 AOE (extended) *** *** Deadline for article submission: February 8, 2018 AOE (extended) *** Notification of acceptance: April 6, 2018 Final versions due: April 20, 2018 Deadline for informal presentations submission: April 20, 2018 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: May 30, 2018 CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), and Turku (2017). TUTORIAL SPEAKERS: ================== Pinar Heggernes (Bergen, Norway) Bakhadyr Khoussainov (Auckland, NZ) INVITED SPEAKERS: ================= Kousha Etessami (Edinburgh, UK) Johanna Franklin (Hempstead, US) Mai Gehrke (Paris, France) Alberto Marcone (Udine, Italy) Alexandra Silva (London, UK) Jeffrey O. Shallit (Waterloo, Canada) ORGANIZED BY: ============= Department of Computer Science, Kiel University For questions please contact the organisers at the email address cie2018 at email.uni-kiel.de SPECIAL SESSIONS (and organisers): ================================== Approximation and Optimisation — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel) Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest) Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison) Continuous Computation — Organisers: Ulrich Berger (Swansea), Dieter Spreen (Siegen) History and Philosophy of Computing — Organisers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex) SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds) The speakers of the special sessions will be announced soon on the website of the conference. PROGRAMME COMMITTEE: ==================== Eric Allender (Rutgers), Arnold Beckmann (Swansea), Marco Benini (Insubria), Olaf Beyersdorff (Leeds), Patricia Bouyer (Paris), Alessandra Carbone (Paris), Barbara Csima (Waterloo), Anuj Dawar (Cambridge), Henning Fernau (Trier), Ekaterina Fokina (Vienna), Peter Høyer (Calgary), Georgiana Ifrim (Dublin), Lila Kari (Waterloo), Elham Kashefi (Edinburgh), Karen Lange (Wellesley), Benedikt Löwe (Amsterdam), Barnaby Martin (Durham), Florin Manea (Kiel), Klaus Meer (Cottbus), Russell Miller (New York, co-chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, co-chair), Arno Pauly (Bruxelles), Isabella Peters (Kiel), Giuseppe Primiero (Middlesex), Henning Schnoor (Kiel), Monika Seisenberger (Swansea), Shinnosuke Seki (Tokyo), Mariya Soskova (Wisconsin–Madison), Raymond Turner (Essex), Peter Van Emde Boas (Amsterdam), Heribert Vollmer (Hannover). CONTRIBUTED PAPERS: =================== The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings at https://easychair.org/conferences/?conf=cie2018 . Papers must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ======================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2018. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol at univ-lille3.fr, before 15 May 2018 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2018. HaPoC Grants | Commission for the History and Philosophy of Computing ===================================================================== The HaPoc Council is happy to announce the availability of two HAPOC travel grants of 250USD each to support participation to the conference. To be eligible for a grant, a paper or informal presentation in the area of history and/or philosophy of computing accepted at CiE 2018 is required. In order to apply for a grant, please send the following details to info at hapoc.org: cv, the paper or informal presentation submitted, accompanied by the acceptance email, a detailed budget indicating any other funding possibilities (if available). Association CiE: http://www.computability.org.uk CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ From uwe.assmann at tu-dresden.de Sat Jan 20 19:03:34 2018 From: uwe.assmann at tu-dresden.de (ua1) Date: Sat, 20 Jan 2018 19:03:34 +0100 Subject: [fg-arc] EXTENDED Call for Papers - 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018) Message-ID: EXTENDED SUBMISSION DEADLINE - January 28th, 2018 ---------------------------------------------------------------------- 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018) ---------------------------------------------------------------------- Website: http://st.inf.tu-dresden.de/LIFEWEAR-2018 In conjunction with the Smart System Integration Conference 2018 in Dresden, April 11, 2018 ---------------------------------------------------------------------- With the advent of standard sensor-actuator platforms for wearable devices, such smart watches (e.g., Apple Watch), smartglasses (e.g., Microsoft Hololens), smart clothing (e.g., data gloves), exoskeletons, and many more, people carry multiple devices simultaneously. This trend imposes completely new challenges to software engineers w.r.t. adaptivity, distribution, interaction, system integration, data handling, resiliency, security and software architectures. Software engineering helps to design and develop complex systems by automating the development process concentrating on different levels of abstraction. Model-driven techniques must be established to improve the quality (e.g., re-usability, reliability, maintainability) of the developed wearable systems. Because hardware and software interact tightly, new skills and processes are required when designing and implementing solutions based on wearable devices. In addition, the integration of wearable devices with other smart devices installed in the environment (e.g., sensors in a room) requires that the system architecture is highly dynamic. Therefore, there is a need for a new paradigm of software and system development for wearables in smart rooms, based on sensor nets, fog, and edge computing. This trend suggests establishing a new joint community of researchers from sensor nets and software engineering. The LIFEWEAR workshop aims to bring together researchers and practioneers from the communities interested in wearables, to present current approaches w.r.t. software engineering of wearable devices, gather requirements for future wearable systems and develop a roadmap for software enginnering for wearables. This includes the following research areas ■ Model-driven software development for wearable systems ■ Innovative interaction approaches of humans with wearables ■ Interactions of wearables with machines (e.g., robots) ■ End-user application development ■ Embedding of wearables into a fog or edge of a smart room ■ Sensor data analytics and data aggregation ■ Technical approaches to ensure data security and privacy ■ Total cost of ownership of wearable systems --------------- IMPORTANT DATES --------------- EXTENDED SUBMISSION DEADLINE - January 28th, 2018 Submission Deadline - January 28th, 2018 Notification - February 11th, 2018 Camera Ready - March 11th, 2018 Workshop - April 12th, 2018 ---------------------- SUBMISSION INFORMATION ---------------------- Papers should be submitted electronically in PDF format via EasyChair (https://easychair.org/conferences/?conf=lifewear2018). Submitted papers must conform to the Lecture Notes in Computer Science (LNCS). Submissions to the workshop are possible in two categories: ■ Regular Papers schould describe original work on a problem or solution w.r.t the described topics of interest on up to fifteen pages. ■ Interested workshop participants will have to submit a position paper (two to four pages) containing a description of the area of research, specifc work on the workshop topic, and the innovative character of the research. The accepted papers will be digitally published in the CEUR Workshop Proceedings. ---------- ORGANIZERS ---------- Karsten Wendt, Technische Universität Dresden Uwe Aßmann, Technische Universität Dresden Maria Piechnick, Technische Universität Dresden For more Information please visit http://st.inf.tu-dresden.de/LIFEWEAR-2018/ -------------- 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 abraham at informatik.rwth-aachen.de Mon Jan 22 13:16:07 2018 From: abraham at informatik.rwth-aachen.de (Erika Abraham) Date: Mon, 22 Jan 2018 13:16:07 +0100 Subject: [fg-arc] CfP Gender Equality in Software Engineering In-Reply-To: <558cb59f-c8ce-ecd0-2a9e-7abc87d85552@informatik.rwth-aachen.de> References: <558cb59f-c8ce-ecd0-2a9e-7abc87d85552@informatik.rwth-aachen.de> Message-ID: =========================================================== CALL FOR PAPERS GE at ICSE2018 First Workshop on Gender Equality in Software Engineering May 28, 2018, Gothenburg, Sweden https://sites.google.com/view/ge-icse2018 Satellite event at ICSE 2018 40th International Conference on Software Engineering https://www.icse2018.org =========================================================== === Important dates === Paper submission: February 05, 2018 Paper notification: March 5, 2018 Final version: March 19, 2018 Conference: May 28, 2018 === Objectives and scope === ICT is pervasively influencing all human activities. In this context, more and more people of any age, gender and culture is exposed to such technologies and has to acquire some ability and skill in this context. For reasons that are still being studied, the engagement of genders with ICT is not uniform. This gap is occurring at all levels and it is evident, for instance, in the small percentage of women covering top positions in professional and academic activities in the field. At the same time, the community is realising that diversity, when it does not assume the negative aspects of discrimination, plays a key role to a successful and competitive context for software development and research. Such diversity is not only related to gender aspects but refers also to the combination of culture, religion and geographical distribution. In this context, the purpose of this workshop, which will be held as part of ICSE 2018, is to discuss about the role, difficulties and opportunities concerning people of different gender in the field of software engineering, in research, education and industry. === What to submit === Students, industry professionals, academics, and other leaders in software engineering are invited to submit position papers, collaborate and attend this workshop with the objective of assessing the current gender situation in various contexts and geographic areas, also in combination with any discriminatory factor, and of identifying and discussing possible difficulties and corresponding solutions. Areas of interest include but are not limited to: - Summaries, challenges, and studies regarding the role of different genders in software engineering education and research. - Studies concerning the role of different genders in software engineering industry. - Specific experiences that can be generalized and shared with the public. Also submissions from other scientific areas with contents that are transferable to software engineering are welcome. All contributions will undergo a peer-review process carried out by the Program Committee. Accepted papers will be included in the ACM workshop proceedings. === Submission guidelines === Submissions should have a maximum length of 4 pages and follow the ACM SIGS proceedings format (see https://www.icse2018.org/track/icse-2018-Double-blind-review#Formatting). Submissions should be made using the Easychair site https://easychair.org/conferences/?conf=geicse2018 . === Invited speakers === Gabriele Abermann (Salzburg University of Applied Sciences, Austria) Reyyan Ayfer (Bilkent University in Ankara, Turkey) Anna Nilsson-Ehle (Chalmers University of Technology, Sweden) Philip B. Stark (Berkeley Institute for Data Science, USA) === Committees === Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Elisabetta Di Nitto (Politecnico di Milano, Italy) Raffaela Mirandola (Politecnico di Milano, Italy) Program Committee: Alberto Avritzer (Sonatype, Fulton, USA) Steffen Becker (University of Stuttgart, Germany) Antonella Ferrecchia (University College Dublin, Ireland) Carlo Ghezzi (Politecnico di Milano, Italy) Jane Hillston (University of Edinburgh, UK) Letizia Jaccheri (Norwegian University of Science and Technology, Norway) Rick Kazman (Carnegie-Mellon University and University of Hawaii, USA) Tiziana Margaria (Lero, Ireland) Marija Mikic (Google, USA) Gail Murphy (University of British Columbia, Canada) Bashar Nuseibeh (The Open University, UK and Lero, Ireland) Flavio Oquendo (IRISA / UMR CNRS and University Bretagne-Sud, France) Jennifer Perez Universidad Politecnica de Madrid, Spain) Rafael Prikladnicki (Pontificia Universidade Catolica do Rio Grande do Sul, Brazil) Patrizia Scandurra (DIIMM - University of Bergamo, Italy) David Shepherd (ABB, Inc, USA) Sebastian Uchitel (University of Buenos Aires, Argentinia and Imperial College London, UK) Willem Visser (Stellenbosch University, South Africa) === Sponsor === The workshop is sponsored by Chalmers University of Technology http://www.chalmers.se/en/Pages/default.aspx . From sabel at ki.informatik.uni-frankfurt.de Tue Jan 23 14:45:53 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 23 Jan 2018 14:45:53 +0100 Subject: [fg-arc] PPDP 2018: First Call for Papers Message-ID: ======================================================================                 PPDP 2018: First Call for Papers ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018         http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html              Frankfurt, Germany, September 4-6, 2018              (co-located with LOPSTR 2018 and WFLP 2018) ====================================================================== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declaractive programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to -   Language Design: domain-specific languages; interoperability;     concurrency, parallelism, and distribution; modules; probabilistic     languages; reactive languages; database languages; knowledge     representation languages; languages with objects; language     extensions for tabulation; metaprogramming. -   Implementations: abstract machines; interpreters; compilation;     compile-time and run-time optimization; memory management. -   Foundations: types; logical frameworks; monads and effects;     semantics. -   Analysis and Transformation: partial evaluation; abstract     interpretation; control flow; data flow; information flow;     termination analysis; resource analysis; type inference and type     checking; verification; validation; debugging; testing. -   Tools and Applications: programming and proof environments;     verification tools; case studies in proof assistants or interactive     theorem provers; certification; novel applications of declarative     programming inside and outside of CS; declarative programming     pearls; practical experience reports and industrial application;     education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team atAptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author'srights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== -   23.04.2018 paper submission -   14.06.2018 rebuttal period (48 hours) -   25.06.2018 notification -   16.07.2018 final papers -   03.09.2018 conference starts From jpg at ruc.dk Wed Jan 24 09:44:29 2018 From: jpg at ruc.dk (John Patrick Gallagher) Date: Wed, 24 Jan 2018 08:44:29 +0000 Subject: [fg-arc] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation References: <49A73E1C-84E5-4244-9C75-9B069B03D4EE@ruc.dk> Message-ID: FINAL CALL FOR PAPERS ************************** *** DEADLINE EXTENSION *** ************************** Sixth International Workshop on Verification and Program Transformation April 20th 2018, Thessaloniki, Greece Co-Located with ETAPS 2018 The Sixth International Workshop on Verification and Program Transformation (VPT 2018) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The previous workshops in this series were: VPT 2013, Saint Petersburg, Russia VPT 2014, Vienna, Austria VPT 2015, London, UK VPT 2016, Eindhoven, The Netherlands VPT 2017, Uppsala, Sweden The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: Verification by Program Transformation Verification Techniques in Program Transformation and Synthesis Verification and Certification of Programs Transformations Program Analysis and Transformation Program Testing and Transformation Verifiable Computing and Program Transformation Case studies Important Dates January 29th, 2018: Paper submission deadline - Extended!!! February 19th, 2018: Acceptance notification February 25th, 2018: Camera ready version (for the pre-proceedings) April 20th, 2018: Workshop Submission Guidelines Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2018 : https://easychair.org/conferences/?conf=vpt2018 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Proceedings The post-proceedings will be published in the Electronic Proceedings in Theoretical Computer (EPTCS) series (http://about.eptcs.org/), as was done for previous editions of VPT. If the workshop attracts sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. Program Committee: Emanuele De Angelis, University G.d'Annunzio of Chieti-Pescara, Italy Olivier Danvy, Yale-NUS College, Singapore John Gallagher, Roskilde University and IMDEA Software Institute, Denmark and Spain (Chair) Robert Glueck, University of Copenhagen, Denmark Geoff W. Hamilton, Dublin City University, Republic of Ireland Bishoksan Kafle, The University of Melbourne, Australia Julia Lawall, INRIA Paris, France Alexei Lisitsa, The University of Liverpool, UK Andrei P. Nemytykh, Program Systems Institute of RAS, Russia Maurizio Proietti, IASI-CNR, Rome, Italy C. R. Ramakrishnan, Stony Brook University, USA Kostis Sagonas, Uppsala University, Sweden Hirohisa Seki, Nagoya Institute of Technology, Japan Organisers: Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) John Gallagher (Roskilde University and IMDEA Software Institute) Contacts E-mail: Alexei Lisitsa, a.lisitsa at csc.liv.ac.uk Andrei P. Nemytykh, nemytykh at math.botik.ru John Gallagher, jpg at ruc.dk Web: http://refal.botik.ru/vpt/vpt2018/, http://www.etaps.org/index.php/2018/workshops From gvidal at dsic.upv.es Wed Jan 24 11:00:23 2018 From: gvidal at dsic.upv.es (German Vidal) Date: Wed, 24 Jan 2018 11:00:23 +0100 Subject: [fg-arc] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <989DF62A-E74B-44A4-8897-6269CDABD552@dsic.upv.es> (apologies for multiple copies) Call for Papers 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC 2018 July 13, 2018 - Oxford, UK https://www.sci.unich.it/hcvs18/ Invited speakers: TBA Submission deadlines: - Paper submission: 15 April 2018 - Paper notification: 15 May 2018 - Camera-ready: 31 May 2018 - Workshop: 13 July 2018 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows four previous meetings: HCVS 2017 in Gothenburg, Sweden (w/CADE), HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Elvira Albert (Complutense University of Madrid) - Maria Alpuente (Universitat Politecnica de Valencia) - Nikolaj Bjorner (Microsoft Research) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre-Loic Garoche (ONERA) - Arie Gurfinkel (University of Waterloo) - Temesghen Kahsai (Amazon) -chair - Ekaterina Komendantskaya (Heriot-Watt University) - David Monniaux (CNRS/Verimag) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://www.easychair.org/conferences/?conf=hcvs2018 From grlmc at grlmc.com Wed Jan 24 14:04:05 2018 From: grlmc at grlmc.com (GRLMC) Date: Wed, 24 Jan 2018 14:04:05 +0100 Subject: [fg-arc] DeepLearn 2018: early registration February 14 Message-ID: <545102060a010b060456530002055a545151560206570452060701540300075853040252525f060008545605015458@grlmc_ip-zone_com-6> DeepLearn 2018: early registration February 14*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA-London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: February 14, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Calata Molo Vecchio 15 Modulo 5 – 1° piano 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Li Deng (Citadel), tba   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (Microsoft Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), tba   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   Gökhan Tür (Google Research), [intermediate/advanced] Deep Learning in Conversational AI   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Yudong Zhang (Nanjing Normal University), [introductory/intermediate] Convolutional Neural Network and Its Variants   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 15, 2018.   ORGANIZING COMMITTEE:   Francesco Masulli (co-chair) Manuel J. Parra-Royón David Silva (co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From M.Pavlidis at brighton.ac.uk Sat Jan 27 00:56:27 2018 From: M.Pavlidis at brighton.ac.uk (Michalis Pavlidis) Date: Fri, 26 Jan 2018 23:56:27 +0000 Subject: [fg-arc] Last CFP: IEEE 12th International Conference on Research Challenges in Information Science (RCIS 2018) In-Reply-To: <5ACF4967-F890-4817-91C4-166B77A033E3@brighton.ac.uk> References: <5ACF4967-F890-4817-91C4-166B77A033E3@brighton.ac.uk> Message-ID: <989ED212-D1EA-450D-B63E-A411DB1D7490@brighton.ac.uk> Dear colleagues, Apologies for multiple copies. You still have 1 week to submit a paper to IEEE RCIS conference, doctoral consortium, poster and demo session! (3 weeks for a tutorial proposal) http://rcis-conf.com/ CALL FOR PAPERS for the 12th IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE 29-31 May 2018, Nantes, France Paper submission deadline: February 2nd, 2018 http://rcis-conf.com/ co-located with the 36th French conference INFORSID http://www.inforsid.fr/Nantes2018/ RCIS has become a recognized conference on research challenges in information science. The goal of RCIS is to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and provide opportunities for knowledge sharing and dissemination. Organized for the 12th time in a row, RCIS 2018 will be held from May 29-31, 2018. IMPORTANT DATES * Regular paper submission deadline: February 2nd, 2018 (23:59 Central European Time) * Author notification: March 28th, 2018 * Camera-ready deadline: April 13th, 2018 * Author registration deadline: April 13th, 2018 * RCIS’2018 Conference: May 29-31, 2018 TOPICS OF INTEREST At RCIS 2018, among other regular topics a particular attention will be given to the special topic: “Enterprise of the future”. This theme is intended to explore how Information Science, in terms of methods and tools, can help enterprises and organisations face a wide range of challenges, thanks to the power of Information. Indeed, enterprises need to be able to continually innovate as fast as (or faster than) their highly fluctuating environments and markets. However, complexity of information representation and exploitation, decision-making processes at multiple levels and their important –often unforeseen - effects, drastically impact enterprises agility and innovation. How does Information Science currently influence the future of enterprises and how can it influence it in a more efficient and innovative way? What are the main strategic challenges? How can Information Sciences strengthen and become an unavoidable and fundamental pillar of the Enterprise of the Future? RCIS welcomes submissions from a diverse spectrum: the list of themes and topics includes, but is not limited to, the following themes and topics: Information Systems and their Engineering * Requirements Engineering * Software Engineering and Testing * Model-Driven Engineering * Information Systems Development Methods and Method Engineering User-Oriented Approaches * Human-Computer Interaction * Social Computing and Social Network Analysis * User-Centered Approaches * Collaborative Computing * Information Science and the Wisdom of the Crowd Data and Information Management * Databases and Information * Information Search and Discovery * Conceptual Modeling and Ontologies * Information Security and Risk Management * Big Data, Right Data Enterprise Engineering * Business Process Engineering and Reengineering * Process Mining * Enterprise Modeling * Information Science within Reengineering Scenarios * Context-aware Organizations Applications * E-Health * E-Government * E-Commerce * Web-Based Applications and Services * Smart Cities Business Intelligence * Big Data & Business Analytics * Decision Information Systems * Knowledge Management * Knowledge Discovery from Data * Information and Value Management Information Infrastructures * Cyber-Physical Systems * Web Information Systems * Grid Computing and Cloud Computing * Internet of Things * Pervasive and Mobile Computing Reflective Research and Practice * Research Methodologies in Information Science * Impact of Information on the Enterprise and the Individual * Lifecycle Models * Design Science and Rationale * Action Research and Case Studies in Information Science Tutorials, Doctoral Consortium, Posters and Demos will complement the main conference. An updated version of this call can always be found at http://rcis-conf.com/. SUBMISSION PROCESS Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2018. Papers should be in English and must be associated to one of the following categories: * Technical solution papers present solutions that are novel or significantly improve existing solutions. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in later research. Maximum page count is 12. * Evaluation papers evaluate existing problem situations or validate proposed solutions through scientific means, i.e. by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Maximum page count is 12. * Industrial practice and experience papers present problems or challenges encountered in practice, describe success or failure stories, or report on industrial practice. The practice must be clearly described and its context must be given. Maximum page count is 12. * Work in progress papers present relevant preliminary results that may not have been fully validated yet. The work presented should be advanced enough as to show its contribution and significance. Maximum page count is 6. The submission site address is https://easychair.org/conferences/?conf=rcis2018 By submitting a paper, authors implicitly agree that at least one of them will register to the conference and present the paper. It is expected that at least one author will register for each accepted paper. Only papers that have been presented by their authors during the conference will be published as part of the IEEE Proceedings. Accepted papers will be submitted to IEEE for publication in IEEE Xplore digital library using the IEEE 2-column format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). CONFERENCE COMMITTEES General Chair: Marko Bajec, University of Ljubljana, Slovenia Program chairs: Haralambos Mouratidis, University of Brighton, UK Benedicte Le Grand, University Paris1 Panthéon-Sorbonne, France Organization chairs: Dalila Tamzalit, AeLoS, University of Nantes France Alain Bernard, IS3P, Centrale Nantes, France ___________________________________________________________ This email has been scanned by MessageLabs' Email Security System on behalf of the University of Brighton. For more information see: https://staff.brighton.ac.uk/is/computing/Pages/Email/spam.aspx -------------- next part -------------- An HTML attachment was scrubbed... URL: From einarj at ifi.uio.no Tue Jan 30 16:36:32 2018 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Tue, 30 Jan 2018 16:36:32 +0100 Subject: [fg-arc] 2nd CfP: SEFM 2018 Message-ID: <20180130153632.42A14229148@vestur.ifi.uio.no> SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods will be part of STAF 2018 in Toulouse, France, 27-29 June 2018. https://www.isf.cs.tu-bs.de/cms/events/sefm2018 Twitter: @SEFM_conf ************************ NEWS ************************ SEFM 2018 will feature two exciting keynotes: *** Mark Harman (Facebook / University College London) *** We Need a Formal Semantics for Testability Transformation; SEFM community to the rescue? *** Andrzej Wasowski (IT University of Copenhagen) *** Hunting Resource Manipulation Bugs in Linux Kernel Code ************************ CALL FOR PAPERS ************************ SEFM aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. *** TRACKS AND TOPICS OF INTEREST *** The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods: - Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance, re-engineering and reuse. - Design principles: programming languages; domain specific languages; type theory; abstraction and refinement, correctness-by-construction - Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing. - Functional and non-functional system properties, such as safety-critical, fault-tolerant and secure systems; software certification; performance analysis and management, resource-constrained computing, energy-aware computing. - Design principles and analysis techniques for different system paradigms, such as self-adaptive, service-oriented and cloud computing systems; component-based, object-oriented and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable and variant-rich systems, intelligent systems, e.g., based on machine learning algorithms - Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis. Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. We are planning to publish the proceedings in the Formal Methods subline of Springer's LNCS series. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=sefm18 Information about all committees can be found at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/. *** IMPORTANT DATES *** Abstract Submission: Friday 23 February 2018 Full Paper Submission: 2 March 2018 Notification: Monday 9 April 2018 Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch Johnsen (University of Oslo, Norway) Ina Schaefer (Technische Universität Braunschweig, Germany) Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018 From marcello.balduccini at gmail.com Wed Jan 31 22:28:22 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 31 Jan 2018 16:28:22 -0500 Subject: [fg-arc] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals Message-ID: <201801312128.w0VLSMKD024028@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ******* DEADLINE APPROACHING ******* KR18 - Call for Tutorial and Workshop Proposals ** Apologies if you receive multiple copies of this call ** ** Please distribute to interested parties ** ======================================== Call for Tutorial and Workshop Proposals 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, Arizona (USA) Workshop/Tutorial dates: 27-29 October 2018 KR main program: 30 October to 2 November 2018 http://kr2018.org/ ******* DEADLINE APPROACHING ******* *** Deadline (for proposal submissions): 21 February 2018 *** For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. ** SUBMISSION INSTRUCTIONS ** Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: Tutorial proposal: http://tinyurl.com/kr18tute Workshop proposal: http://tinyurl.com/kr18workshop For all accepted proposals, KR will take care of all local arrangements. * SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS * Each tutorial proposal should contain the following information: - A short title of the tutorial. - A two-paragraph description of the tutorial. - Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). - A detailed outline of the tutorial. - The potential target audience for the tutorial and prerequisite knowledge. - A brief resume of the presenter(s) including: . Name,affiliation, and email address. . Evidence of scholarship in the area, including a list of publications. . Evidence of teaching experience. The main duties of the tutorial organizers are: - Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material. - Deliver the tutorial at KR 2018. * SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS * Each workshop proposal should contain the following information: - Title of the workshop and acronym. - Names, affiliations, and contact details of the organisers. - Short description and format. - History of the workshop (if applicable) and related events. - Size of the workshop and duration. - Tentative list of PC members with their respective affiliations. - Experience of the organisers. - Tentative call for papers. The main duties of the workshop chairs are: - Set up a website for the workshop. - Advertise the workshop and distribute its call for papers. - Coordinate the peer-reviewing of submitted contributions. - Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs. - Coordinate and moderate the workshop participation and content. Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs. ** IMPORTANT DATES ** - Proposal submission deadline: 21 February 2018. - Notification: 31 March 2018. - Workshops paper submission deadline: 21 July 2018. - Workshops paper notification: 25 August 2018. - Workshops registration deadline: TBD. - Tutorial and workshop dates: 27-29 October 2018. ** SUBMISSIONS AND INQUIRIES ** Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms: 1) Tutorial proposals: http://tinyurl.com/kr18tute 2) Workshop proposals: http://tinyurl.com/kr18workshop Inquiries should be sent by email to the tutorials/workshop chairs: Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au Ivan Varzinczak CRIL, Univ. Artois & CNRS, France varzinczak at cril.fr