From Klaus.Havelund at jpl.nasa.gov Sat Jul 1 07:07:15 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Sat, 1 Jul 2017 05:07:15 +0000 Subject: [fg-arc] [fm-announcements] RV-CuBES Deadline Extension Message-ID: RV-CuBES An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools Held in conjunction with the 17th International Conference on Runtime Verification (RV 2017) http://rv2017.cs.manchester.ac.uk/rv-cubes/ The goal of this workshop is to provide a venue to discuss ongoing efforts to improve how we evaluate and compare tools for runtime verification. This workshop invites submissions that contribute to this discussion (see below). The workshop replaces the Runtime Verification Competition this year, giving an opportunity for reflection and planning for the future. HIGHLIGHTS * We invite two kinds of submissions: tool overview papers of existing tools and position papers * Attendance at the workshop is not compulsory for submission, but encouraged * The workshop will be integrated into RV 2017 to engage with the wider RV community BACKGROUND Over the last three years, beginning in 2014, the Competition on Runtime Verification (CRV) has compared 14 different runtime verification tools using over 100 different benchmarks. It has motivated the development of new tools and extensions of existing ones. Thanks to the time and effort of the various organisers and participants it has successfully provided a platform to discuss how we evaluate and compare our tools. However, we are aware that the competition has not served all members of the community and required significant effort from its participants and therefore we have decided not to run the competition in the same form in 2017. This workshop has two aims. * Firstly, to kickstart an online repository of tool descriptions that focus on usability, rather than implementation. Much effort within Runtime Verification is spent developing tools. The planned repository will help advertise these tools within and beyond the community and to document their existence. To this end, this workshop invites tool overview papers (details below) that present an opportunity to demonstrate the diverse range of available RV tools and to advertise their advanced features and capabilities. * Secondly, to provide a forum in which the future of the competition, and wider efforts to improve how we evaluate RV tools, can be discussed in a structured and informed way. There have been various informal discussions at the previous three RV conferences and in other settings. By inviting position papers (details below) this workshop aims to establish the issues and possible directions before holding a structured panel session during RV 2017. RELATION TO RV 2017 There is no overlap in scope between this workshop and RV 2017. Any papers containing original technical developments should be submitted to RV 2017 rather than this workshop as the workshop focuses on tool reviews (containing existing work) and position statements. If there is any uncertainty please contact the workshop chairs. The workshop will be integrated into RV 2017. The workshop activities will include a poster presentation session and a panel decision, both of which will be scheduled within the main conference program. A consequence of this is that there will be no separate registration for the workshop. To attend the workshop activities it will be necessary to attend RV 2017. Although, attendance is not a requirement for submission. SUBMISSIONS We invite two forms of submission: Tool Overview papers and Position papers. All submissions will be subject to a lightweight review by the PC to ensure a reasonable standard and to provide constructive feedback to improve the quality of the submission. Tool Overview Papers These should describe an existing tool using a minimum of 5 pages. The paper should at least describe how to obtain the tool, the RV problem the tool is aiming to solve, the key defining features of the tool and relevant references. Additionally, we might expect it to include some of the following: * The history of the tool * High-level overviews of key aspect such as the input language or architecture from a user’s perspective * Usability details undocumented elsewhere * Examples demonstrating key features * Details of case studies or applications to real world problems * Discussion of features particular to the tool * Summaries (rather than detailed tables) of experimental results * Analysis of the kinds of problem the tool is suited for and those it is less-well suited for Ideally, the tool and related material (e.g. benchmarks) will be available online and linked to in the submission. The paper should not cover any significant new contributions (these can be submitted as tool papers to RV 2017) and should rely on previous research and tool papers to provide further details. Note that there is no upper page limit however the number of pages used should reflect the level of detail given. Submissions of 2 pages giving minimal details would be suitable in a situation where the tool is well documented elsewhere but an entry in the repository is still desired. All accepted submissions will be invited for presentation at a special Poster session during RV 2017. Position papers Initial submissions should use a minimum of 2 pages to explore a particular position related to the evaluation, comparison or standardisation of Runtime Verification tools (and benchmarks). Topics may include, but are not limited to: * What should a RV benchmark look like? * Can we have a common specification language for RV? If so, what should it look like? * Is execution time the most important performance criteria? What might be more important? * How can we evaluate hardware monitoring tools? * What are we doing wrong in evaluation? Can we fix this? * What can be borrowed form other communities? A selection of position papers will be used to structure a discussion panel to be held at RV 2017. Again, there is no upper page limit however the number of pages used should reflect the level of detail given. There will be an opportunity to update the paper based on discussions before inclusion in post-proceedings (see below). Publishing and Submission Contributions will be published as a post-proceedings volume in the Open-Access Scopus-Indexed EasyChair Kalpa Series. To be eligible for inclusion in the post-proceedings, papers should be at least 5 pages. Please see the relevant information for authors when preparing your paper. Please submit contributions to the following EasyChair page. https://easychair.org/conferences/?conf=rvcubes2017 DATES * Submission Deadline 1 July 2017 * Abstracts: 8 July 2017 * Final Submission: 15 July 2017 * Notification 1 August 2017 * Workshop at RV 2017 13-16 September 2017 * Post-proceedings deadline 14 October 2017 ORGANISATION For local and general organisation please see RV 2017. Program Committee Chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Committee Ezio Bartocci, TU Wien, Austria Domenico Bianculli, SnT Centre – University of Luxembourg, Luxembourg Borzoo Bonakdarpour, McMaster University, Cananda Christian Colombo, University of Malta, Malta Ylies Falcone, Univ. Grenoble Alpes, Inria, Laboratoire d’Informatique de Grenoble, France Adrian Francalanza, University of Malta, Malta Sylvain Hallé, Université du Québec à Chicoutimi, Canada Felix Klaedtke, NEC Europe Ltd. Daniel Thoma, University of Lübeck, Germany Dmitriy Traytel, ETH Zürich, Switzerland Gordon Pace, University of Malta, Malta Cesar Sanchez, IMDEA Software Institute, Spain Leonardo Mariani, University of Milano Bicocca, Italy Julien Signoles, CEA LIST, France Tarmo Uustalu, Tallin University of Technology, Estonia -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From jpg at ruc.dk Tue Jul 4 10:51:46 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Tue, 4 Jul 2017 08:51:46 +0000 Subject: [fg-arc] FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming Message-ID: <3F106652-7FD9-4C9C-AD2B-09885310E234@ruc.dk> FIRST Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 13 November 2017 (any time zone): Abstract Submission 20 November 2017 (any time zone): Submission deadline 15 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Talks To be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Sondergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard Technical University of Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politècnica de València, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair) John Gallagher Roskilde University and IMDEA Software Institute (co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) From announce at cs.ucy.ac.cy Wed Jul 5 12:36:20 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 5 Jul 2017 13:36:20 +0300 Subject: [fg-arc] 16th World Conference on Mobile and Contextual Learning (mLearn 2017): Last Call for Papers Message-ID: *** Last Call for Papers *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzCTExNAlMaXN0cwkxNzcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP (proceedings in ACM ICPS) *** Submission Deadline: 20th July 2017 (extended and final) *** The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission Deadline for Conference Papers: 20 July 2017 (firm) · Accept/Reject Notification for Conference Papers: 28 August 2017 · Camera-Ready Submission of all Papers: 11 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzCTExNAlMaXN0cwkxNzcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F. Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Fernando Loizides, University of Wolverhampton, United Kingdom · Nicos Souleles, Cyprus University of Technology, Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IExhc3QgQ2FsbCBmb3IgUGFwZXJzCTExNAlMaXN0cwkxNzcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From manna at mat.unical.it Mon Jul 10 00:24:34 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Mon, 10 Jul 2017 00:24:34 +0200 Subject: [fg-arc] CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages Message-ID: [Apologies for cross-posting] Call for Papers =============== 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2018 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past PADL symposia. It will be co-located with the Symposium on Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA. Important Dates and Submission Guidelines ========================================= Abstract submission: September 3, 2017 Paper submission: September 10, 2017 Notification: October 9, 2017 Camera-ready: October 23, 2017 Symposium: January 8-9, 2017 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2018 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2018 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2018 will appear in the LNCS series of Springer Verlag ( www.springer.com/lncs ). Two papers accepted for publication at PADL'18 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= * Daan Leijen, Microsoft Research * Daniel Winograd-Cort, University of Pennsylvania * David Van Horn, University of Maryland * Edwin Brady, University of St. Andrews * Enrico Pontelli, New Mexico State University * Erika Abraham, RWTH Aachen University * Esra Erdem, Sabanci University * Francesco Calimeri, University of Calabria * Geoffrey Mainland, Drexel University * Grigore Rosu, University of Illinois at Urbana-Champaign * James Cheney, University of Edinburgh * Jurriaan Hage, Universiteit Utrecht * Karl Crary, Carnegie Mellon University * Konstantin Schekotihin, University of Klagenfurt * Lars Bergstrom, Mozilla Research * Lukasz Ziarek, SUNY Buffalo * Manuel Carro, Technical University of Madrid and UPM and IMDEA Software Institute * Marcello Balduccini, Saint Joseph's University * Marco Gavanelli, University of Ferrara * Marco Maratea, University of Genova * Martin Gebser, University of Potsdam * Mats Carlsson, SICS * Meera Sridhar, University of North Carolina Charlotte * Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center * Paul Tarau, University of North Texas * Paulo Oliva, Queen Mary University of London * Peter Schüller, Marmara University * Ricardo Rocha, University of Porto * Stefan Woltran, Vienna University of Technology * Stefania Costantini, University of L'Aquila * Wolfgang Faber, University of Huddersfield Publicity Chair: * Marco Manna, University of Calabria, Italy Program Chairs: * Nicola Leone, University of Calabria, Italy * Kevin Hamlen, University of Texas at Dallas, TX, USA Contacts ======== For additional information about papers and submissions, please write to the official conference email address, or contact the Program Chairs: * email: padl2018 at easychair.org * Nicola Leone University of Calabria, Italy https://www.mat.unical.it/leone/ * Kevin Hamlen University of Texas at Dallas, TX, USA http://www.utdallas.edu/~hamlen/ From grlmc at grlmc.com Mon Jul 10 02:11:49 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 10 Jul 2017 02:11:49 +0200 Subject: [fg-arc] TPNC 2017: 3rd call for papers Message-ID: <545102060a010b000654570104025a5d5b020c050455545400075f5555065605515656010100540b06040505545405@grlmc_ip-zone_com-6> TPNC 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2017   Prague, Czech Republic   December 18-20, 2017   Organized by:   Institute of Computer Science Czech Academy of Sciences   Faculty of Mathematics and Physics Charles University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2017/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2017 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2017 will take place in Prague, whose historic centre is UNESCO World Heritage Site and which is home to famous attractions like the Prague Castle, the Charles Bridge, etc. The venue will be:   Faculty of Mathematics and Physics Charles University Ke Karlovu 3 121 16 Praha 2   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2017 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Enrique Alba (University of Málaga), Natural Computing for Smart Cities   Carlos A. Coello Coello (CINVESTAV-IPN), tba   Thomas Stützle (Université Libre de Bruxelles), Automatic Generation of Swarm Intelligence Algorithms   PROGRAMME COMMITTEE:   Ajith Abraham (Machine Intelligence Research Labs, US) Uwe Aickelin (University of Nottingham, UK) Robert Babuska (Delft University of Technology, NL) Thomas Bäck (Leiden University, NL) Gilles Brassard (University of Montréal, CA) Erik Cambria (Nanyang Technological University, SG) Carlos Coello Coello (CINVESTAV-IPN, MX) David W. Corne (Heriot-Watt University, UK) Dipankar Dasgupta (University of Memphis, US) Kalyanmoy Deb (Michigan State University, US) Marco Dorigo (Université Libre de Bruxelles, BE) Andries Engelbrecht (University of Pretoria, ZA) Michel Gendreau (Polytechnique Montréal, CA) Deborah M. Gordon (Stanford University, US) Lawrence Hall (University of South Florida, US) Enrique Herrera-Viedma (University of Granada, ES) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Joshua Knowles (University of Birmingham, UK) Andrew Kusiak (University of Iowa, US) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) José M. Merigó Lindahl (University of Chile, CL) Radko Mesiar (Slovak University of Technology, SK) Risto Miikkulainen (University of Texas, Austin, US) Christos Ouzounis (Centre for Research and Technology Hellas, GR) Henri Prade (Paul Sabatier University, FR) Patrick Siarry (University of Paris-Est, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Thomas Stützle (Université Libre de Bruxelles, BE) Ponnuthurai N. Suganthan (Nanyang Technological University, SG) Johan Suykens (KU Leuven, BE) Guy Theraulaz (Paul Sabatier University, FR) Jon Timmis (University of York, UK) Xin‐She Yang (Middlesex University, UK) Yiyu Yao (University of Regina, CA) Lotfi A. Zadeh (University of California, Berkeley, US) Anton Zeilinger (University of Vienna, AT)   ORGANIZING COMMITTEE:   Carlos Martín-Vide (Tarragona, co-chair) Roman Neruda (Prague, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London) 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 (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/TPNC2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: August 6, 2017 Notification of paper acceptance or rejection: September 6, 2017 Final version of the paper for the LNCS proceedings: September 16, 2017 Early registration: September 16, 2017 Late registration: December 4, 2017 Submission to the post-conference journal special issue: March 20, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   TPNC 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Akademie věd České republiky Univerzita Karlova v Praze Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From sac.soap2018 at gmail.com Mon Jul 10 18:42:37 2017 From: sac.soap2018 at gmail.com (sac.soap2018 at gmail.com) Date: Mon, 10 Jul 2017 18:42:37 +0200 Subject: [fg-arc] SOAP@SAC 2017, April 9-13, Pau, France - call for papers Message-ID: <20170710164237.fdTKcPW06%sac.soap2018@gmail.com> (Apologies for duplicates) CALL FOR PAPERS - SOAP track at SAC Service-Oriented Architectures and Programming track of the 33st ACM/SIGAPP Symposium On Applied Computing 9-13 April 2018, Pau, France http://sac-soap.sdu.dk/soap2018/ IMPORTANT DATES September 15, 2017: Submission of regular papers and SRC research abstracts November 10, 2017: Notification of paper and SRC abstracts acceptance/rejection November 25, 2017: Camera-ready copies of accepted papers/SRC abstracts December 10, 2017: Author registration due date SAC 2018 For the past thirty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be held in Pau, France. CALL FOR PAPERS Service-Oriented Programming (SOP) is quickly changing our vision of software development, bringing a paradigmatic shift in the methodologies followed by programmers when designing and implementing distributed systems. SOP originally triggered a radical transformation of the Web, from being a means of presenting information to a wide spectrum of people to becoming a computational fabric. In such fabric, loosely-coupled services publish their interfaces and, through them, discover and interact with each other abstracting from their internal implementations. While this transformation still continues today, it has also already generated other shifts in how programmers deal with resource handling (Cloud Computing) and the scalability of software architectures from the very small to the very large (Microservices). Research on SOP is giving strong impetus to the development of new technologies and tools for creating and deploying distributed software. In the context of this modern paradigm we have to cope with an old challenge, like in the early days of Object-Oriented Programming (OOP) when consistency in the programming model definition was not achieved until the definition of key features like encapsulation, inheritance, and polymorphism, together with proper design methodologies. The complex scenario of SOP needs to be clarified on many aspects, both from the engineering and from the foundational points of view. From the engineering point of view, there are open issues at many levels. Among others, at the system design level, both traditional approaches based on UML and approaches taking inspiration from business process modelling, e.g. BPMN, are used. At the composition level, orchestration and choreography are continuouslsy improved both formally and practically, with an evident need for their integration in the development process. At the description and discovery level there are two separate communities pushing respectively the semantic approach (ontologies, OWL, ...) and the syntactic one like WSDL. In particular, the role of discovery engines and protocols is not clear. In this respect we still lack adopted standards: UDDI looked to be a good candidate, but it is no longer pushed by the main corporations, and its wide adoption seems difficult. Furthermore, a recent implementation platform, the so-called REST services, is emerging and competing with classic Web Services. Finally, features like Quality of Service, security and dependability need to be taken seriously into account, and this investigation should lead to standard proposals. From the foundational point of view, researchers have discussed widely in the last years, and many attempts to use formal methods for specification and verification in this setting have been made. Session correlation, service types, contract theories and communication patterns are only a few examples of the aspects that have been investigated. Moreover, several formal models based upon automata, Petri nets and algebraic approaches have been developed. However, most of these approaches concentrate only on a few features of Service-Oriented Systems in isolation, and a comprehensive approach is still far from being achieved. Our track aims at bringing together researchers and practitioners having the common objective of transforming SOP into a mature discipline with both solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. In particular, we will encourage works and discussions about what SOP still needs in order to achieve its original goal. Major topics of interest will include: -Formal methods for Service-Oriented Computing -Notations, models, and standards for Service-Oriented Computing -Tools and Middlewares for Service-Oriented Development -Service-Oriented Programming Languages -Service-Oriented Programming in dynamic Open Service Ecosystems -Service Choreographies and Protocol-Driven Service Development -Service Interfaces and Communication Technologies (e.g., REST) -Microservices and Scalable Service-Oriented Computing -Engineering methodologies and Patterns for Service-Oriented Software -Static Analysis and Testing of Service-Oriented applications -Adaptability, Dependability, and Fault handling in Service Systems -Security in Service-Oriented Architectures -Quality of Service and Performance Analysis -Industrial deployment of tools and methodologies, case studies -Service application case studies -Trust and Services -Sustainability and Services, Green Computing -Cloud Computing and Services -Services and Big Data -IoT and Cloud-based Services SUBMISSION Authors are invited to submit original unpublished papers. Submission of the same paper to multiple tracks is not allowed. Peer groups with expertise in the track focus area will double-blindly review submissions. Accepted papers will be published in the annual conference proceedings. SOAP track chairs will not submit to the track. Submissions from SOAP PC members and from PC members and track chairs of other SAC tracks are welcome. Submission guidelines can be found on the SAC 2018 website. Prospective papers should be submitted to the track using the provided automated submission system. Please pay attention to ensure anonimity of your submitted manuscript as detailed in the submission page so to allow for double-blind review. Papers not satisfying this constraint will be automatically rejected. See the SAC site for the page constraints. For each accepted paper, an author or a proxy attending SAC MUST present the paper. This is a requirement for the paper to be included in the ACM/ IEEE digital library. Paper registration is required, allowing the inclusion of the papers, posters, or SRC abstracts in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the presented work to be included in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library. Please submit your contribution via SAC 2018 submission site. SPECIAL ISSUE We plan a special issue of a top-level journal for which we will invite the best papers. STUDENT RESEARCH COMPETITION PROGRAM As before, SAC 2018 organizes a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. For guidelines and information about the SRC program: http://www.sigapp.org/sac/sac2018/src.html. Submission of research abstracts to the SRC program should be in electronic form via SAC 2018 SRC papers submission site. Submission of the same abstract to multiple tracks is not allowed. All research abstract submissions will be reviewed by researchers and practitioners with expertise in the track focus area to which they are submitted. Authors of selected abstracts will have the opportunity to give poster presentations of their work and compete for three top-winning places. The Student Research Competition committee will evaluate and select First-, Second-, and Third- place winners. The winners will receive cash awards and SIGAPP recognition certificates during the conference banquet. Authors of selected abstracts are eligible to apply to the SIGAPP Student Travel Award program for support. PROGRAM COMMITEE -Nazareno Aguirre (Universidad de Río Cuarto, AR) -Farhad Arbab (Leiden University and CWI, Amsterdam, NL) -Luís Barbosa (University of Minho, Braga, PT) -Maurice ter Beek (ISTI-CNR, IT) -Antonio Bucchiarone (FBK, Trento, IT) -Romain Demangeon (Université Pierre et Marie Curie, FR) -Shuiguang Deng (Zhejiang University, PRC) -Schahram Dustdar (Vienna University of Technology, AT) -Gian Luigi Ferrari (Università di Pisa, IT) -José Fiadeiro (Royal Holloway University of London, UK) -Saverio Giallorenzo (University of Bologna, IT) -Ross Horne (Nanyang Technological University, SG) -Vasileios Koutavas (Trinity College Dublin, IR) -Alberto Lluch Lafuente (Technical University of Denmark, DK) -Hernán Melgratti (University of Buenos Aires, AR) -Alberto Núñez (Universidad Complutense de Madrid, SP) -Jorge A. Perez (University of Groningen, NL) -Gustavo Petri (Purdue University, USA) -António Ravara (Universidade Nova de Lisboa, PT) -Victor Rivera (Innopolis University, RU) -Alceste Scalas (Imperial College London, UK) -Nikolay Shilov (Russian Academy of Sciences, Novosibirsk, RU) -Hugo Torres Vieira (IMT Lucca, IT) -Farouk Toumani (Université Blaise Pascal, FR) -Emilio Tuosto (University of Leicester, UK) -Yuhong Yan (Concordia University, CA) -Gianluigi Zavattaro (University of Bologna, IT) -Roberto Zunino (University of Trento, IT) TRACK CHAIRS -Massimo Bartoletti bart @ unica.it Università di Cagliari, Italy -Luís Cruz-Filipe lcf @ imada.sdu.dk University of Southern Denmark, Denmark -Gwen Salaün gwen.salaun @ inria.fr Université Grenoble Alpes, France PUBLICITY CHAIR -Stefano Lande lande @ unica.it Università di Cagliari, Italy STEERING COMMITTEE -Claudio Guidi, italianaSoftware, Italy -Ivan Lanese, University of Bologna, Italy and INRIA, France -Manuel Mazzara, Innopolis University, Russia -Fabrizio Montesi, University of Southern Denmark, Denmark From zimmer at informatik.uni-halle.de Thu Jul 13 16:29:30 2017 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Thu, 13 Jul 2017 16:29:30 +0200 Subject: [fg-arc] CfP: PhD Symposium of the 6th European Conference on Service-Oriented and Cloud Computing (27.9-29.9.2016, Oslo, Norway) Message-ID: The ESOCC 2017 PhD Symposium is an international forum for PhD students working in any of the areas addressed by the ESOCC conference. The main aim of the Symposium is to give PhD students an opportunity to present their research activity and perspectives, to critically discuss them with other PhD students and with established researchers in the area, and to get fruitful feedbacks and advices on their research activity. PhD students working in any area addressed by the ESOCC conference (all aspects of Service-Oriented and Cloud Computing, which constitute the main technology available to date for implementing service-oriented architectures and cloud computing, cf. http://esocc2017.ifi.uio.no/call.html) can submit a short report providing a clear statement of the problem they intend to address, motivating the interest and novelty of the underlying research challenges, demonstrating the ideas by examples, and describing the proposed research plan and expected results. Reports should not exceed 10 pages formatted according to the LNCS proceedings guidelines. The papers should be authored by the PhD student and indicate the name of her/his supervisor. Papers will be peer-reviewed by members of the program committee and have to be submitted by July 19, 2017 via EasyChair (https://easychair.org/conferences/?conf=esocc2017). For any problem regarding the submission process, send an email to wolf.zimmermann at informatik.uni-halle.de. It is planned to provide the participants online proceedings. Important Dates: Paper Submission: July 19, 2017 Notification: August 30, 2017 Final Version: September 14, 2017 Programme Chairs: Gianluigi Zavatarro (University of Bologna, Italy) Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Programme Committee:Flavio De Paoli (Universita' Milano Bicocca, Italy) Friederike Klan (Friedrich-Schiller-University Jena, Germany) Welf Loewe (Linnaeus University, Sweden) Alexander Pokahr (University of Hamburg, Germany) Emilio Tuosto (University of Leicester, UK) Massimo Villari (University of Messina, Italy) John Wittern (IBM Research, USA) -------------- next part -------------- An HTML attachment was scrubbed... URL: From marcello.balduccini at gmail.com Fri Jul 14 23:07:10 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Fri, 14 Jul 2017 17:07:10 -0400 Subject: [fg-arc] KR 2018 Preliminary Call for Papers Message-ID: <201707142107.v6EL7AvD012410@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] PRELIMINARY CALL FOR PAPERS *** KR 2018 *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 reasoning.eas.asu.edu/kr2018/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR], KR 2018 IMPORTANT DATES (Tentative) ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The tentative deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From announce at cs.ucy.ac.cy Mon Jul 17 11:41:00 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 17 Jul 2017 12:41:00 +0300 Subject: [fg-arc] 16th World Conference on Mobile and Contextual Learning (mLearn 2017): Last Mile Message-ID: <06UWD5Z2-15DJ-AQN6-ES6Y-LLGEVJKHKGDE@cs.ucy.ac.cy> *** Last Mile *** 16th World Conference on Mobile and Contextual Learning mLearn 2017 Golden Bay Beach Hotel, Larnaca, Cyprus 30 October - 1 November, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IExhc3QgTWlsZQkxMTcJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F In Cooperation with ACM SIGAPP (proceedings in ACM ICPS) *** Submission Deadline: 20th July 2017 (final and firm) *** The International Association for Mobile Learning (IAmLearn) (www.iamlearn.org) is the custodian of the mLearn conference series. mLearn is the leading annual international conference for researchers, policy makers, educators, developers and solutions providers in the fields of mobile, ubiquitous and contextual learning, as well as learning with emerging ambient and wearable technologies. mLearn attracts a large number of participants from more than 60 countries representing all continents, and is, therefore, the world's largest international conference on mLearning and emerging ambient technologies. Conference Themes The overarching conference theme is 'mLearning and Design for Social Change and Innovation'. Higher education institutions are called upon to provide for the competencies and skills that foster design for social change and innovation. In addition, knowledge and skills alliances are encouraged by funding bodies to cultivate, share and disseminate competencies that foster social entrepreneurship and innovation. However, little is known on how mlearning can facilitate this process, how it can contribute towards social change, innovation and entrepreneurship. The topics of interest can go beyond the conference theme, and can include any of the following: · The development, deployment and implementation of mlearning in the context of social entrepreneurship, innovation and social change · mLearning as a tool that fosters social change and social entrepreneurship · Innovations in mlearning theory and pedagogy · From pilot projects to mainstream implementation: strategies for the deployment of mLearning · Mobile technology to support open and distance learning · Mobile technology for teaching and learning support · Assessment techniques and practices in mLearning · Design and development of learning material for mLearning · Learning objects and metadata for mLearning · Informal and lifelong learning with the aid of mobile technologies · Challenges for mLearning in developing countries · Building and implementing mLearning strategies in educational institutions, companies and public sector organisations · mLearning management systems (mLMSs) · Computer tablets · Creating interactive and collaborative mLearning environments · Future trends in mLearning technology, including the impact of emerging technologies · Emerging hardware and software for mLearning including wearable technologies · Location-aware technologies · Contextual and situated learning · Augmented reality · Serious gaming and simulations · Ambient intelligence and ubiquitous learning Submission Information The conference solicits regular papers (no more than 8 pages), short papers (no more than 4 pages), as well as posters (no more than 2 pages). The Program Committee may require an accepted paper to be adapted into a short paper or poster. All papers must be prepared according to the ACM SIG Proceedings Template format (see the conference web site for further information). The papers must be original contributions not submitted or accepted for publication elsewhere. A submitted contribution should clearly indicate the conference topics it targets. For an accepted contribution to be included in the proceedings, at least one author must register and present the paper at the conference. For further information, see the submission guidelines on the conference web site. The conference proceedings will be published by ACM ICPS and archived in the ACM Digital Library. Important Dates · Submission Deadline for Conference Papers: 20 July 2017 (firm) · Accept/Reject Notification for Conference Papers: 28 August 2017 · Camera-Ready Submission of all Papers: 11 September 2017 Information on registration categories and registration fees for the mLearn 2017 is available online at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IExhc3QgTWlsZQkxMTcJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2F. Organization General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Fernando Loizides, University of Wolverhampton, United Kingdom · Nicos Souleles, Cyprus University of Technology, Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNnRoIFdvcmxkIENvbmZlcmVuY2Ugb24gTW9iaWxlIGFuZCBDb250ZXh0dWFsIExlYXJuaW5nIChtTGVhcm4gMjAxNyk6IExhc3QgTWlsZQkxMTcJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiamlearn.org%2Fmlearn%2Fcommittees.php -------------- next part -------------- An HTML attachment was scrubbed... URL: From Klaus.Havelund at jpl.nasa.gov Thu Jul 20 02:47:13 2017 From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B)) Date: Thu, 20 Jul 2017 00:47:13 +0000 Subject: [fg-arc] [fm-announcements] RV 2017 - 1st Call for Participation Message-ID: CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification, September 13-16 2017, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools === OVERVIEW === Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages monitor construction techniques program instrumentation logging, recording, and replay combination of static and dynamic analysis specification mining and machine learning over runtime traces monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies statistical model checking metrics and statistical information gathering program/system execution visualization fault localization, containment, recovery and repair integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. === INVITED TALKS === Rodrigo Fonseca, Brown University, USA: “The Design and Applications for a Tracing Plane for Distributed Systems” Vlad Levin and Jakob Lichtenberg, Microsoft, USA: “Windows Driver Verification Platform” Andreas Zeller, Saarland University, Germany: “Learning Input Languages for Runtime Verification” === TUTORIALS === Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: “P : Modular and Safe Asynchronous Programming” Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: “Machine-learning State Properties” Adrian Francalanza, University of Malta, Malta: “Foundations For Runtime Monitoring” === ACCEPTED PAPERS === === Regular Papers Bernhard K. Aichernig and Martin Tappler. “Probabilistic Black-Box Reachability Checking” Minjun Seo and Roman Lysecky. “Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems” David Basin, Srđan Krstić and Dmitriy Traytel. “Almost Event-Rate Independent Monitoring of Metric Dynamic Logic” Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles and Arvid Jakobsson. “Runtime Detection of Temporal Memory Errors” Katarína Kejstová, Petr Ročkai and Jiri Barnat. “From Model Checking to Runtime Verification and Back” Zachary Benavides, Rajiv Gupta and Xiangyu Zhang. “Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles” Oliviero Riganelli, Daniela Micucci, Leonardo Mariani and Yliès Falcone. “Verifying Policy Enforcers” Ankush Desai, Tommaso Dreossi and Sanjit A. Seshia. “Combining Model Checking and Runtime Verification for Safe Robotics” Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng and Murat Demirbas. “Monitoring Partially Synchronous Distributed Systems using SMT Solvers” Chaoqiang Deng and Kedar Namjoshi. “Witnessing Network Transformations” Teng Zhang, John Wiegley, Insup Lee and Oleg Sokolsky. “Monitoring Time Intervals” Bjorn Andersson, Sagar Chaki and Dionisio De Niz. “Combining Symbolic Runtime Enforcers for Cyber-Physical Systems” Babak Yadegari and Saumya Debray. “Control Dependencies in Interpretive Systems” Himanshu Chauhan and Vijay Garg. “Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs” Giuseppe Bombara and Calin Belta. “Signal Clustering using Temporal Logics” Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar and Tuhin Sahai. “TeLEx: Passive STL Learning Using Only Positive Examples” Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Christoph Torens. “Stream Runtime Monitoring on UAVs” Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup. “Monitoring Hyperproperties” === Tool Papers Hassan Salehe Matar and Serdar Tasiran. “EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM” Prashanth Nayak, Mike Hibler, David Johnson and Eric Eide. “A Wingman for Virtual Appliances” Shuo Chen. “SVAuth – A Single-Sign-On Integration Solution with Runtime Verification” Raphael Khoury, Sebastien Gaboury and Sylvain Hallé. “Event Stream Processing with Multiple Threads” Daisuke Ishii and Alexandre Goldsztejn. “HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis” === Short Papers Kim Völlinger. “Verifying the Output of a Distributed Algorithm using Certification” Chafik Meniar, Florence Opalvens and Sylvain Hallé. “Runtime Verification of User Interface Guidelines in Mobile Devices” Aaron Paulos, Partha Pal, Shane Clark, Kyle Usbeck and Patrick Hurley. “Trusted Mission Operation – Concept and Implementation” Jun Inoue and Yoriyuki Yamagata. “Operational Semantics of Process Monitors” === VENUE === The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotelsituated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass. === REGISTRATION === Registration is now available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017. Different possibilities of registration are available: Tutorial Day Only (13th September): 210 USD Conference including tutorial day and RV-CuBES (13-16th September) Full Registration Early: 680 USD, Late (after 13 August): 780 USD Student Registration Early: 480 USD, Late (after 13 August): 580 USD === CHAIRS AND ORGANIZERS === General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA RV-CuBES, PC chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA === SPONSORS === Microsoft Springer --- end -- -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From zimmer at informatik.uni-halle.de Fri Jul 21 09:37:25 2017 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Fri, 21 Jul 2017 09:37:25 +0200 Subject: [fg-arc] ESOCC PhD Symposium - Deadline Extension to July 30, 2017 Message-ID: CfP: ESOCC PhD Symposium (27.9-29.9.2016, Oslo, Norway) The ESOCC 2017 PhD Symposium is an international forum for PhD students working in any of the areas addressed by the ESOCC conference. The main aim of the Symposium is to give PhD students an opportunity to present their research activity and perspectives, to critically discuss them with other PhD students and with established researchers in the area, and to get fruitful feedbacks and advices on their research activity. PhD students working in any area addressed by the ESOCC conference (all aspects of Service-Oriented and Cloud Computing, which constitute the main technology available to date for implementing service-oriented architectures and cloud computing, cf. http://esocc2017.ifi.uio.no/call.html) can submit a short report providing a clear statement of the problem they intend to address, motivating the interest and novelty of the underlying research challenges, demonstrating the ideas by examples, and describing the proposed research plan and expected results. Reports should not exceed 10 pages formatted according to the LNCS proceedings guidelines. The papers should be authored by the PhD student and indicate the name of her/his supervisor. Papers will be peer-reviewed by members of the program committee and have to be submitted by July 19, 2017 via EasyChair (https://easychair.org/conferences/?conf=esocc2017). For any problem regarding the submission process, send an email to wolf.zimmermann at informatik.uni-halle.de. It is planned to provide the participants online proceedings. Important Dates: Paper Submission: July 30, 2017 NEW DEADLINE Notification: August 30, 2017 Final Version: September 14, 2017 Programme Chairs: Gianluigi Zavatarro (University of Bologna, Italy) Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Programme Committee: Flavio De Paoli (Universita' Milano Bicocca, Italy) Friederike Klan (Friedrich-Schiller-University Jena, Germany) Welf Loewe (Linnaeus University, Sweden) Flavio De Paoli (Universita' Milano Bicocca, Italy) Alexander Pokahr (University of Hamburg, Germany) Emilio Tuosto (University of Leicester, UK) Massimo Villari (University of Messina, Italy) John Wittern (IBM Research, USA) From andreas.rausch at tu-clausthal.de Mon Jul 24 12:27:38 2017 From: andreas.rausch at tu-clausthal.de (Prof. Dr. Andreas Rausch) Date: Mon, 24 Jul 2017 12:27:38 +0200 Subject: [fg-arc] W2 Professur Embedded Systems Message-ID: Liebe FG'ler, an der TU Clausthal haben wir eine offene W2 Professur Embedded Systems. Falls jemand Interesse hat oder jemanden kennt dann würden wir uns über entsprechende Bewerbungen freuen. Anbei das PDF und der Link: https://www.tu-clausthal.de/stellenangebote/?id=read&nr=1494 Mit freundlichen Grüßen, Prof. Dr. Andreas Rausch Informatik ist unser Bier! Überzeugen Sie sich... -- Prof. Dr. Andreas Rausch Technische Universität Clausthal Institut für Informatik - Software Systems Engineering Lehrstuhl von Prof. Dr. Andreas Rausch Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Telefon: +49 5323 72-7177 - Sekretariat: -8220 Telefax: +49 5323 72-99-7160 Raum: Arnold-Sommerfeld-Straße 1, Gebäude C10, Raum 201 WWW: http://sse-world.de/ -------------- next part -------------- A non-text attachment was scrubbed... Name: TU Clausthal - Stellenangebote.pdf Type: application/pdf Size: 134890 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2669 bytes Desc: not available URL: From van.hoorn at informatik.uni-stuttgart.de Thu Jul 27 16:57:00 2017 From: van.hoorn at informatik.uni-stuttgart.de (Andre van Hoorn) Date: Thu, 27 Jul 2017 16:57:00 +0200 Subject: [fg-arc] CfP: Symposium on Software Performance 2017 Message-ID: Call for Papers Symposium on Software Performance 2017 Karlsruhe, November 09-10, 2017 http://www.performance-symposium.org/2017/ Performance is one of the most relevant quality attributes of any IT system. While good performance leads to high user satisfaction, weak response times lead to loss of users, perceived unavailability of the system, or unnecessarily high costs of network or computing resources. Therefore, various techniques to evaluate, control, and improve the performance of IT systems have been developed, ranging from online monitoring and benchmarking to modeling and prediction. Experience shows, that for system design or later optimization, such techniques should be applied in smart combination. Therefore, the "Symposium on Software Performance" brings together researchers and practitioners interested in all facets of software performance, ranging from modeling and prediction to monitoring and runtime management. The symposium is organized by the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. The symposium program will include contributions (in form of talks, demos, and posters) from practitioners and researchers in the field of software performance. SSP 2017 is supported by the GI special interest group "Softwaretechnik" and by the GI special interest committee "Messung, Modellierung und Bewertung (MMB) von Rechensystemen". Submission We solicit technical papers (maximum 3 pages), extended abstracts for industry or experience talks (maximum 700 words), and posters. Submission deadlines are in August 2017, see web pages at http://www.performance-symposium.org/2017/important_dates/ -- Dr.-Ing. André van Hoorn University of Stuttgart, Inst. of Software Technology Reliable Software Systems (RSS) Group Universitätsstraße 38, D-70569 Stuttgart, Germany Room: 1.332 Phone: +49 (0)711 685-88-252, Fax: -472 E-Mail: van.hoorn at informatik.uni-stuttgart.de http://www.iste.uni-stuttgart.de/rss/people/vanhoorn/ http://kieker-monitoring.net/, http://research.spec.org/ == Call for Contributions: 9th ACM/SPEC Int. Conference on Performance Engineering (ICPE 2018) Upcoming deadline for research and industry papers: Oct 18, 2017 https://icpe2018.spec.org/ == From grlmc at grlmc.com Sat Jul 29 17:09:41 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 29 Jul 2017 17:09:41 +0200 Subject: [fg-arc] SLSP 2017: call for posters Message-ID: <545102060a010b00065e550005065a5d55520c5850090650060a5d0003535b0304035356070c070553535107500756@grlmc_ip-zone_com-6> SLSP 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** The 5th International Conference on Statistical Language and Speech Processing (SLSP 2017) invites researchers to submit poster presentations. SLSP 2017 will be held in Le Mans (France) on October 23-25, 2017. See  http://grammars.grlmc.com/SLSP2017/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 16, 2017 Notification of poster acceptance or rejection: September 23, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2017 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2017. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2015 impact factor: 1.324). REGISTRATION At least one author of each accepted poster must register to the conference by October 9, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jul 31 15:38:06 2017 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 31 Jul 2017 16:38:06 +0300 Subject: [fg-arc] 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Call for Participation Message-ID: *** Call for Participation *** 21st European Conference on Advances in Databases and Information Systems ADBIS 2017 Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjAJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F *** Early Registration Deadline: 13 August 2017 *** (collocated with the 9th International Conference on Computational Collective Inteligence, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjAJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F%29 The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The 21st edition of the conference will be held in Nicosia, Cyprus. Nicosia (or Leukosia) is the largest city on the island of Cyprus. It is the capital and seat of the government of the Republic of Cyprus, and as such is the farthest south-east of all EU member states' capitals. Apart from its legislative and administrative functions, Nicosia has established itself as the island's financial capital and its main international business centre. It is also a centre of culture in Cyprus. The Cyprus Museum in Nicosia is the largest and oldest archaeological museum in Cyprus. In the beautiful old city of Nicosia, the Ethnological Museum is the most important example of urban architecture of the last century of Ottoman domination which survives in old Nicosia. The conference venue is the well known 5* hotel, Hilton Cyprus Hotel. Hilton Cyprus is the only five-star hotel in Nicosia and counts 40 years of operation. Just 35 minutes from Larnaca International Airport, 1 hour and 36 minutes from Paphos International Airport and only 10 minutes walking distance from the city centre, shopping and entertainment areas; conveniently located next to the business district. The hotel's guest facilities and services include a Business Centre, hairdresser & barber, bookshop, bank, taxi and car-hire services and free car-parking facilities. The program of ADBIS 2017 includes keynotes, research papers, thematic workshops, and a Doctoral Consortium. The conference attracted 107 paper submissions from 38 countries from many continents. After rigorous reviewing by the Program Committee, the 26 papers included in the LNCS proceedings volume were accepted as full contributions, making an acceptance rate of 24%. Springer sponsored the ADBIS 2017 best paper award. Furthermore, the Program Committee selected 12 more papers as short contributions. Besides the main conference event, ADBIS 2017 features four workshops (BigNovelTI, AMSD, SW4CH and DaS) and a Doctoral Consortium as Satellite Events. The four workshops have accepted 25 papers and the DC has accepted 3 papers. Short papers, workshop papers, and a paper on Contributions from the ADBIS 2017 workshops are published in a companion volume entitled "New Trends in Databases and Information Systems" in the Springer series "Communications in Computer and Information Science". The selected papers span a wide spectrum of topics in databases and related technologies, tackling challenging problems and presenting inventive and efficient solutions. In ADBIS 2017, the papers are organized according to nine sessions: · Conceptual modeling and human factors · Subsequence matching and streaming data · OLAP · Graph databases · Spatial data management · Parallel and distributed data processing · Query optimiza-tion, recovery, and databases on modern hardware · Semantic data processing · Additional database and information systems topics ADBIS 2017 has two keynote talks: · Model-based Big Data As a Service Ernesto Damiani, Khalifa University of Science, Technology & Research, United Arab Emirates · Indoor Navigation Services from Mobile Data Demetris Zeinalipour, University of Cyprus, Cyprus COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy Steering and Program Committees http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEV1cm9wZWFuIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRGF0YWJhc2VzIGFuZCBJbmZvcm1hdGlvbiBTeXN0ZW1zIChBREJJUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjAJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fcommittees.html -------------- next part -------------- An HTML attachment was scrubbed... URL: