From pedro.lopez at imdea.org Wed Jun 1 07:40:57 2016 From: pedro.lopez at imdea.org (=?UTF-8?B?UGVkcm8gTMOzcGV6IEdhcmPDrWE=?=) Date: Wed, 1 Jun 2016 07:40:57 +0200 Subject: [fg-arc] LOPSTR 2016: 2nd Call for Papers Message-ID: [ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: 2nd Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. 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 which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot 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. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute -------------- next part -------------- An HTML attachment was scrubbed... URL: From Christoph.Torens at dlr.de Wed Jun 1 10:38:40 2016 From: Christoph.Torens at dlr.de (Christoph.Torens at dlr.de) Date: Wed, 1 Jun 2016 08:38:40 +0000 Subject: [fg-arc] Final Call for Papers - 4th Software Challenges in Aerospace symposium Message-ID: Final Call for Papers - 4th Software Challenges in Aerospace Symposium Co-located with SciTech2017 9-13 January 2017 Gaylord Texan, Grapevine, Texas Website: http://www.softwarechallengesaero.com/ MOTIVATION AND OBJECTIVES --------------------------------------------- In the 4th Software Challenges in Aerospace symposium, we will again bring together experts at the intersection of aerospace and computer science. We will focus on software for flight operations (both on the vehicle and ground), and place a priority on the design and analysis of software-intensive aerospace systems for safety assurance. The goal of this symposium is to foster innovation and discussion across the divide between the two academic communities. We place an emphasis on demonstrable research on real-world applications, with clear extensions to aerospace software. Papers will appear in the 2017 SciTech proceedings http://www.aiaa-scitech.org/ . Select papers from the first symposium were invited to extend their papers for a special issue of the Journal of Aerospace Information Systems. We invite papers of the following types: Papers that clearly describe gaps in the capabilities or policies related to aerospace software, and that illuminate frontiers where research will be necessary in order to make progress. Papers which push the boundaries and deliver results in software-intensive systems, highlighting techniques that enable the intelligent and efficient management of system complexity. THEMES --------------------- The topics covered by this workshop include, but are not limited to, the following: Software Synthesis for Aerospace model-based approaches to software and software-intensive system design compositional and hierarchical design approaches for reducing and managing complexity approaches to building intelligent and adaptive systems within a safety-critical framework the generation of code that is correct-by-construction the design of maintainable systems Software Analysis for Aerospace verification and validation for safety-critical software systems security analysis for aerospace communications compositional analysis of code for scalability automated testing techniques statistical techniques (including data mining and learning) for program and software behavior analysis Aerospace System Integration architectures for safety-critical aerospace systems containing software, hardware and people approaches to, benefits of, and limitations of Integrated Modular Avionics frameworks human-computer interaction including intelligent cockpits/control towers adaptive airspace implementations Aerospace Software Policy and Implementation the certification of software systems, including DO-178, DO-278, and safety-case based approaches decision-making in air systems, including both autonomy and human factors issues creating and maintaining a skilled workforce for aerospace software SUBMISSIONS --------------------- Submissions may be made at the AIAA SciTech 2017 website, located here: www.aiaa-scitech.org. Once you have authenticated to Scholar One, choose 'Software' as the topic, and 'Software Challenges in Aerospace Symposium' as the subtopic. Papers will initially be accepted based on a draft manuscript, due no later than June 6th, 2016. We invite three kinds of papers, full-length technical papers (6-10 pages) and short ideas papers and practical experience reports (4-5 pages) in the AIAA conference format. (The author's kit can be found at https://www.aiaa.org/Secondary.aspx?id=4597 ). To encourage thorough and appropriate citation, the references section will not count against the page limits. In both cases, the program committee will assess the papers for originality, importance of the contributions, the quality and clarity of the writing, and the consideration of the current state of practice. Each submission will be reviewed by at least three members of the committee. Technical papers should describe original and unpublished concepts and results at the intersection of aerospace and computing. These papers should have solid and complete evaluations and contribute to knowledge at the frontier. Ideas papers will allow the authors to present and get feedback on novel ideas and on promising work that has not yet been fully evaluated. These papers should focus on inspiring new directions, and/or provocative ideas. Practical experience reports are papers by authors who have attempted to implement software in realistic aerospace contexts. These papers should discuss implementation details and results, and hopefully contain recommendations for future implementation. Accepted full-length technical papers will be presented at the conference as 20-25 minute talks during the AIAA SciTech meeting in a special track during January 2016. Depending on the number and quality of submissions, accepted short idea papers may be presented as full talks or as part of a panel discussion. IMPORTANT DATES ---------------------------- Draft papers due: 6 June 2016, 2000 hrs Eastern Authors notified: 30 August 2016 Final manuscript deadline: 6 December 2016, 2000 hrs Eastern Software Challenges in Aerospace symposium AIAA SciTech 2017: 9-13 January 2017 ORGANIZERS -------------------- Christoph Torens, DLR Institute of Flight Systems, Germany Stephen Blanchette, Software Engineering Institute Misty Davies, NASA Ames Research Center James Murphy, NASA Ames Research Center Chris Thames, NASA Langley Research Center FURTHER INFORMATION ------------------------------------ Please visit the symposium website: http://www.softwarechallengesaero.com/ or contact the organizers (listed above). -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri Jun 3 23:12:51 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 03 Jun 2016 23:12:51 +0200 Subject: [fg-arc] AlCoB 2016: call for participation Message-ID: <545102060a010b0a0252580201090450520556580a055205010a5d57520502545103055504000255510502030e0b@grlmc_ip-zone_com-6> AlCoB 2016: call for participation******************************************************************** 3rd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2016 Trujillo, Spain June 21-22, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-CIEMAT) and Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2016/ ******************************************************************** PROGRAM Tuesday, June 21 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    S. Cenk Sahinalp: Big Data Algorithmics for Cancer Genomics - Invited Lecture 10:30 - 11:00    Coffee Break 11:00 - 12:15 Daniel Figueiredo: Relating Bisimulations with Attractors in Boolean Network Models Tibor Kmet, Maria Kmetova: Neural Network Simulation of Feeding Adaptations of Daphnia Charmi Panchal, Sepinoud Azimi, Ion Petre: Generating the Logicome of a Biological Network 12:15 - 12:30    Break 12:30 - 13:20 Cedric Chauve, Julien Courtiel, Yann Ponty: Counting, Generating and Sampling Tree Alignments Esteban López-Camacho, María Jesús García Godoy, José García-Nieto, Antonio J. Nebro, José F. Aldana Montes: A New Multi-objective Approach for Molecular Docking Based on RMSD and Binding Energy 13:20 - 15:20    Lunch 15:20 - 16:10 Saad Mneimneh, Syed Ali Ahmed: Gibbs/MCMC Sampling for Multiple RNA Interaction with Sub-optimal Solutions Sourya Bhattacharyya, Jayanta Mukhopadhyay: Accumulated Coalescence Rank and Excess Gene Count for Species Tree Inference 16:10 - 16:25    Break and Group Photo 16:25 - 17:15    Evan Eichler: De Novo Genome Assembly and Structural Variation - Invited Lecture 17:15 - 17:30    Break 17:30 -        Poster presentations Wednesday, June 22 09:00 - 09:50     David Sankoff: The Trees in the Peaks - Invited Lecture 09:50 - 10:20    Coffee Break 10:20 - 11:35 Agnieszka Mykowiecka, Pawel Górecki: Bootstrapping Algorithms for Gene Duplication and Speciation Events Laura Urbini, Blerina Sinaimeri, Catherine Matias, Marie-France Sagot: Robustness of the Parsimonious Reconciliation Method in Cophylogeny Carlo Comin, Anthony Labarre, Romeo Rizzi, Stéphane Vialette: Sorting with Forbidden Intermediates 11:35 - 11:50    Break 11:50 - 13:05 Simone Faro: Evaluation and Improvement of Fast Algorithms for Exact Matching on Genome Sequences Mikko Rautiainen, Leena Salmela, Veli Mäkinen: Identification of Variant Compositions in Related Strains without Reference Sergey P. Tsarev, Michael G. Sadovsky: New Error Tolerant Method for Search of Long Repeats in DNA Sequences 13:05 - 13:15    Closing 13:15 -        Lunch -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Jun 6 15:19:04 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 6 Jun 2016 16:19:04 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Third Call for Papers Message-ID: <87MP1FPV-C0Q0-3WIA-GDI1-WNLZE48HLZ2V@cs.ucy.ac.cy> ** Third Call for Papers *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFRoaXJkIENhbGwgZm9yIFBhcGVycwkyOQlMaXN0cwkyOTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Why you should submit to ACM IUI: At ACM IUI, we focus on the interaction between machine intelligence and human intelligence. While other conferences focus on one side or the other, we address the complex interaction between the two. We welcome research that explores how to make the interaction between computers and people smarter, which may leverage solutions from data mining, knowledge representation, novel interaction paradigms, and emerging technologies. We strongly encourage submissions that discuss research from both HCI and AI simultaneously, but also welcome works that focus more on one side or the other. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. Submission Full and Short Papers We invite original paper submissions that describe novel user interfaces, applications, interactive and intelligent technologies, empirical studies, or design techniques. IUI 2017 especially encourages submissions on innovative and visionary new concepts or directions for the design of intelligent interfaces. We do not require evaluations with users, but we do expect papers to include an appropriate evaluation for their stated contribution. Accepted papers will appear in the ACM Digital Library and citation indices. A selected set of accepted top quality full papers will be invited to submit their extended versions for publication in an ACM Transactions on Interactive Intelligent Systems (TiiS, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFRoaXJkIENhbGwgZm9yIFBhcGVycwkyOQlMaXN0cwkyOTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Ftiis.acm.org%29 special issue titled "Highlights of IUI 2017". Examples of ACM IUI topics of interest include, but are not limited to: · Intelligent visualization tools · User-Adaptive interaction and personalization · Recommender systems · Intelligent wearable, mobile and ubiquitous interfaces · Modeling and prediction of user behavior · Information retrieval and search · Education and learning-related technologies · Social media analysis · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological information etc.) · Natural language and speech processing · Generation of multimodal content · Big Data and analytics · Smart environments and tangible computing · Intelligent assistants for complex tasks · Collaborative interfaces · Persuasive and assistive technologies in IUI · Affective and aesthetic interfaces · Interactive machine learning · Planning and plan recognition for IUI · Knowledge-based approaches to user interface design and generation · Proactive and agent-based user interaction · Example-and demonstration-based interfaces · Evaluations of intelligent user interfaces Submission Guidelines · Full paper (anonymized 10 pages, references do not count toward the page limit) should make substantial, novel, and relevant contribution to the field. · Short paper (anonymized 4 pages, references do not count toward the page limit) is a much more focused and succinct contribution to the field. Short papers are not expected to include a discussion of related work that is as broad and complete as that of full papers. · Anonymization: ACM IUI uses a double-blind review process. All submissions must be appropriately anonymized according to the following guidelines: 1. Author's names and affiliations are not visible anywhere in the paper. 2. Acknowledgements should be anonymized or removed during the review process. 3. Self-citations should be included where necessary, but must use the third person. For example, "... as shown in our previous user study [2] ..." is not allowed, whereas "... as shown in Smith et al. [2] " is acceptable (because in this case the citation [2] will NOT be perceived as self-citation). Failure to follow these guidelines may results in submissions being rejected without review. Submissions should follow the standard SigCHI format available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFRoaXJkIENhbGwgZm9yIFBhcGVycwkyOQlMaXN0cwkyOTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2F . You may use either the Microsoft Word template or the LaTeX template. Accepted full papers will be invited for oral presentation. Accepted short papers will be invited either as oral or poster presentation, depending on the quality of the papers. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Important Dates · Abstracts: October 9, 2016 · Full and Short Papers: October 14, 2016 · Reviews to Authors: November 21, 2016 · Rebuttals: November 25, 2016 · Notification of Decisions: December 9, 2016 Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From wendelin.serwe at inria.fr Mon Jun 6 17:57:58 2016 From: wendelin.serwe at inria.fr (Wendelin Serwe) Date: Mon, 6 Jun 2016 17:57:58 +0200 Subject: [fg-arc] PhD position at INRIA Grenoble on formal methods for testing Message-ID: <57559D86.5050901@inria.fr> The CONVECS (Inria Grenoble / LIG) and CTSYS (LCIS Valence) teams are offering a fixed term (3 years) PhD position for research on formal methods for the testing of networks of controllers. See http://convecs.inria.fr/jobs/2016c.html for details. Applications after July might not be considered. Regards, Wendelin Serwe -- Inria/LIG - Convecs, Inovallee, CS 90051 38334 Montbonnot Cedex, FRANCE Tel: (+33) 4 76 61 53 52, Fax: (+33) 4 76 61 52 52 From amedeo.napoli at loria.fr Mon Jun 6 18:25:11 2016 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Mon, 6 Jun 2016 18:25:11 +0200 (CEST) Subject: [fg-arc] Final CFP FCA4AI Workshop at ECAI 2016 **** EXTENDED DEADLINE June 15 2016 **** Message-ID: <220081168.8573861.1465230311186.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Fifth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with ECAI 2016, The Hague, Netherlands August 30 2016 http://www.fca4ai.hse.ru/2016 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (ECAI 2014 and 2012, IJCAI 2015 and 2013) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see CEUR Proceedings Vol-1430, Vol-1257, Vol-1058, and Vol-939). This year, we have the chance to organize a new edition of the workshop in The Hague at the ECAI 2016 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 15, 2016 Notification to authors: July 10, 2016 Final version: July 25, 2016 Workshop: August 30 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2016 (to be opened soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at s-lab.upb.de Tue Jun 7 15:20:24 2016 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Tue, 7 Jun 2016 15:20:24 +0200 Subject: [fg-arc] Einladung: AK-Treffen "Langlebige Softwaresysteme" (L2S2) am 23. Juni 2016 in Hildesheim Message-ID: *** Aufruf zur Einreichung von Vortragsvorschlägen / Call for Presentations *** *** Einladung zur Teilnahme / Call for Participation *** *** Einladung zur AK-Sitzung + Wahl der AK-Leitung *** Liebe Mitglieder, Vertraute und Interessierte des GI-Arbeitskreises "Langlebige Softwaresysteme" (AK L2S2), das nächste Treffen des AK L2S2 [1] findet im Rahmen der Jahrestagung "Architekturen 2016" [2] der gleichnamigen GI-Fachgruppe am *Donnerstag, den 23. Juni 2016 in Hildesheim* statt. Beginn: 9:00 Uhr, Ende: 12:00 Uhr. *Vorträge: *Wir laden Sie herzlich ein, einen Vortrag zum Programm des AK-Treffens beizusteuern; noch sind nicht alle Plätze belegt. Insbesondere Vorträge mit Praxisbezug (z.B. Erfahrungsberichte, industrielle Fallstudien, Ergebnisberichte aus Projekten) oder aus der anwendungsorientierten Forschung und sind herzlich willkommen! Falls Sie Interesse haben, einen Vortrag zu halten, schicken Sie bitte eine kurze E-Mail mit den Namen der Autoren/-innen und der/des Vortragenden, dem Titel des Vortrags und einem kurzen Abstract an sauer at uni-paderborn.de. Weitere Details werden wir dann direkt mit Ihnen abstimmen. Bei Interesse können wir auch eine Veröffentlichung von Kurzbeiträgen in den Softwaretechnik-Trends anstoßen. *AK-Sitzung & Wahl der AK-Leitung:* Im Programm des AK-Treffens findet auch eine 'kompakte' AK-Sitzung statt, bei der unter anderem die AK-Leitung turnusgemäß neu gewählt wird. Die Wahl erfolgt jeweils für zwei Jahre, Wiederwahl ist möglich. Wenn Sie Interesse haben, sich im AK zu engagieren und für die AK-Leitung zu kandidieren, teilen Sie dies doch bitte vorab per E-Mail an sauer at uni-paderborn.de oder spätestens bei der Sitzung mit. Tagesordnung der AK-Sitzung: 1. Begrüßung 2. Bericht der AK-Leitung 3. Wahl der AK-Leitung 4. Ausblick 5. Verschiedenes *Teilnahme: *Im Namen der AK-Leitung möchten wir Sie herzlich zur Teilnahme einladen! Die Anmeldung erfolgt über die Webseite der "Architekturen 2016" [2]. Folgendes *Programm *ist für das AK-Treffen vorgesehen: 9:00 Uhr Eröffnung 9:15 Uhr Vorträge (Teil 1) 10:45 Uhr Pause 11:00 Uhr Vorträge (Teil 2) 11:30 Uhr Arbeitskreissitzung AK L2S2 12:00 Ende Wir würden uns freuen, Sie in Hildesheim begrüßen zu können und freuen uns auf spannende Vorträge, lebhafte Diskussionen und einen regen Austausch! Im Namen der AK-Leitung Stefan Sauer - Benjamin Klatt - Thomas Ruhroth --------------------------------------------------------------- [1] Der AK L2S2 ist ein gemeinsamer Arbeitskreis der Fachgruppen Architekturen (http://fg-arc.gi.de/) und Software-Reengineering (http://fg-re.gi.de/). Er kooperiert mit dem DFG-Schwerpunktprogramm SPP 1593: "Design for Future - Managed Software Evolution" (http://dfg-spp1593.de/). Weitere Informationen zum AK L2S2 finden Sie auf unserer Webseite: http://akl2s2.ipd.kit.edu/ [2] Die Jahrestagung der GI-Fachgruppe „Architekturen 2016“ findet am 23. und 24. Juni 2016 in Hildesheim statt. Sie steht in diesem Jahr unter dem Motto "Software-Architekturen im Zeitalter von Big Data". Diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich abzeichnen und was diese für den praktizierenden Softwarearchitekten bedeuten. Das Organisationsteam rund um Prof. Dr. Klaus Schmid hat ein abwechslungsreiches und spannendes Vortragsprogramm zusammengestellt. Zusätzlich treffen sich am 23. Juni Arbeitskreise, die der Fachgruppe angegliedert sind, unter anderem auch der AK L2S2. Für den Abend des23. Juni erwartet Sie außerdem ein attraktives Rahmenprogramm. Weitere Informationen und Anmeldung unter http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2016.html -- "Vorsprung durch Qualität" Follow us @ Twitter: SoftwareQLab -- Dr. Stefan Sauer Diplom-Informatiker Geschäftsführer Senior Researcher s-lab - Software Quality Lab Universität Paderborn Zukunftsmeile 1 D-33102 Paderborn Fon +49 5251 60-5390 Fax +49 5251 5465-282 E-Mail sauer at s-lab.upb.de Web http://s-lab.upb.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5446 bytes Desc: S/MIME Cryptographic Signature URL: From Jan.Juerjens at isst.fraunhofer.de Tue Jun 7 18:13:36 2016 From: Jan.Juerjens at isst.fraunhofer.de (=?Windows-1252?Q?J=FCrjens=2C_Jan?=) Date: Tue, 7 Jun 2016 16:13:36 +0000 Subject: [fg-arc] =?windows-1252?q?CfP_f=FCr_die_=22Software_Engineering_2?= =?windows-1252?q?017=22_in_Hannover?= Message-ID: Aufruf zu Beiträgen für die „Software Engineering 2017 (SE-17)“ in Hannover Alle Angaben und Neuigkeiten auch auf: http://se17.uni-hannover.de Die SE 2017 findet am 21.-24. Februar 2017 im Welfenschloss und im Courtyard-Hotel in Hannover statt. Programm Chair: Jan Jürjens, Universität Koblenz-Landau und Fraunhofer ISST Tagungsleitung: Kurt Schneider, Leibniz Universität Hannover Hauptvorträge Prof. Dr. Jan Bosch (Chalmers University of Technology, Göteburg): "Speed, Data and Ecosystems: The Future of Software Engineering" Prof. Dr. Barbara Paech (Universität Heidelberg): "Software-Features: Die unbekannten Wesen" Prof. Dr. Boris Otto (TU Dortmund, Audi-Stiftungslehrstuhl „Supply Net Order Management“ und Director Information Management & Engineering am Fraunhofer-Institut für Materialfluss und Logistik): "Industrial Data Space: Architekturentwurf zur Wahrung der digitalen Souveränität für die Wirtschaft" Wichtige Daten 30. September 2016 Annahmeschluss für Beiträge im wiss. Hauptprogramm 31. Oktober 2016 Benachrichtigungen 07. November 2016 Einreichung druckfertiger Beiträge Geplante Programmelemente und Tracks Wissenschaftliches Programm Details siehe unten Leitung: Jan Jürjens Universität Koblenz-Landau und Fraunhofer ISST Neue Ideen für das Software Engineering Leitung: Dirk Beyer, Universität Passau "SE in Versicherungen" und Industrieprogramm Leitung: Kurt Schneider, Leibniz Universität Hannover Tagung SEUH: Software Engineering im Unterricht der Hochschulen Leitung: Bernd Brügge Technische Universität München Workshops und Tutorials Leitung: Joel Greenyer, Leibniz Universität Hannover Treffen der SE-Professoren Leitung: Michael Goedicke, Universität Duisburg-Essen Kreativitätswettbewerb: "Ein neues Bild von Software" Leitung: Kurt Schneider, Leibniz Universität Hannover Software Engineering Preis Ernst-Denert-Stiftung Dieser Call for Papers bezieht sich auf das wissenschaftliche Programm. Weitere Calls für die anderen Tracks und für die SEUH folgen; siehe auch: http://se17.uni-hannover.de Wissenschaftliches Programm Die SE 2017 führt das erfolgreiche Format der letzten Jahre für das wissenschaftliche Programm fort. Alle Vorträge stellen hochkarätige Forschungsbeiträge vor, die in den vergangenen zwei Jahren auf internationalen Spitzenkonferenzen oder in führenden Fachzeitschriften der Softwaretechnik veröffentlicht wurden. Das Ziel des wissenschaftlichen Programms ist die Stimulation des wissenschaftlichen Diskurses innerhalb der deutschsprachigen Software Engineering Community sowie die Erhöhung des "Impacts" bereits veröffentlichter Ergebnisse. Es ist geplant, an den besten wissenschaftlichen Beitrag auf der SE 2017 einen "Best Paper Award" zu verleihen. Einreichungen für das wissenschaftliche Programm bestehen aus zwei Teilen: 1. Vortragszusammenfassung von max. 200 Wörtern (Deutsch oder Englisch) Die Zusammenfassung muss auf einen eigenen Beitrag in einer der internationalen Spitzenkonferenzen oder Fachzeitschriften der Softwaretechnik verweisen. Im ersten Satz der Zusammenfassung (Abstract) ist der genaue Name der Konferenz oder Fachzeitschrift und das Jahr des Erscheinens des Beitrags anzugeben. Es werden ausschließlich Vorschläge von begutachteten technischen Beiträgen akzeptiert, die auf der entsprechenden Hauptkonferenz (bzw. in der Fachzeitschrift) in voller Länge angenommen und bei der SE noch nicht eingereicht wurden. Nicht akzeptiert werden: Kurzbeiträge, eingeladene Beiträge, Beiträge zu Doktorandensymposien, "New Idea" Tracks, Werkzeug-Demonstrationen, Nebenveranstaltungen, Workshops oder ähnliches. 2. PDF-Volltext des Beitrags, der unter (1.) genannt wurde. Dieser Beitrag muss nach dem 01.01.2015 veröffentlicht oder zur Veröffentlichung angenommen sein. Der/die Vortragende muss (Mit-) Autor/Autorin der genannten Beiträge sein und kann zusammen mit den Forschungsergebnissen ggf. auch den größeren Projektkontext vorstellen. Auswahl der Einreichungen Die Einreichungen werden durch das Programm-Komitee ausgewählt. Der Autor/die Autorin verpflichtet sich, sich bei Annahme des Beitrags als Teilnehmer zur Konferenz zu registrieren und vorzutragen. Für jeden akzeptierten Beitrag wird eine Kurzfassung im Umfang von zwei Seiten im LNI-Format in den Tagungsband der SE 2017 aufgenommen. Veröffentlichung Für jeden akzeptierten Beitrag wird eine Kurzfassung im Umfang von zwei Seiten im LNI-Format in den Tagungsband der SE 2017 (in der Reihe Lecture Notes in Informatics) aufgenommen. Programmkomitee (Wissenschaftliches Hauptprogramm) Ruth Breu, Universität Innsbruck Manfred Broy, TU München und Zentrum Digitalisierung.Bayern Gregor Engels, Universität Paderborn Michael Goedicke, Universität Duisburg-Essen Wilhelm Hasselbring, Universität Kiel Jan Jürjens, Universität Koblenz-Landau und Fraunhofer ISST Klaus Pohl, Universität Duisburg-Essen Jakob Rehof, TU Dortmund und Fraunhofer ISST Ralf Reussner, Karlsruher Institut für Technologie und FZI Forschungszentrum Informatik Bernhard Rumpe, RWTH Aachen Andreas Zeller, Universität des Saarlandes -- Prof. Dr. Jan Jürjens Institute for Software Technology (IST), University of Koblenz-Landau http://jan.jurjens.de Director Research Projects, Fraunhofer-Institute for Software and Systems Engineering ISST Compliance Innovation Lab, Fraunhofer Innovation Center for Logistics and IT http://www.filit.fraunhofer.de/de/compliance-innovation-lab/information-in-english.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Sun Jun 12 11:13:21 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 12 Jun 2016 11:13:21 +0200 Subject: [fg-arc] WebST 2016: early registration deadline 23 June Message-ID: <545102060a010b0a0752530204095654000006575352540055550809020f070406040100045855020807550a5351@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 23 June*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/WebST2016/ *****************************************************************************   --- Early registration deadline: June 23, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Data and Algorithmic Bias in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/WebST2016/Registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate covering the attendance to all courses during the week and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at s-lab.upb.de Mon Jun 13 16:19:06 2016 From: sauer at s-lab.upb.de (Stefan Sauer) Date: Mon, 13 Jun 2016 16:19:06 +0200 Subject: [fg-arc] Einladung & Programm: AK-Treffen "Langlebige Softwaresysteme" (L2S2) am 23. Juni 2016 in Hildesheim Message-ID: *** Einladung zur Teilnahme / Call for Participation *** *** Einladung zur AK-Sitzung + Wahl der AK-Leitung *** Liebe Mitglieder, Vertraute und Interessierte des GI-Arbeitskreises "Langlebige Softwaresysteme" (AK L2S2), das nächste Treffen des AK L2S2 [1] findet im Rahmen der Jahrestagung "Architekturen 2016" [2] der gleichnamigen GI-Fachgruppe am *Donnerstag, den 23. Juni 2016 in Hildesheim* statt. Beginn: 9:00 Uhr, Ende: 12:00 Uhr. Wir haben und entschlossen, ein *gemeinsames fachliches Programm* der beiden Arbeitskreise *Langlebige Softwaresysteme (L2S2)* und *Modellgetriebene Software-Architektur (MDA)* abzuhalten. Hierfür haben wir drei spannende Vorträge zum Themenkomplex _Modellgetriebene Software-Migration/-Modernisierung_ gewinnen können. Folgender zeitlicher Ablauf ist für das AK-Treffen vorgesehen: *Architekturen 2016**--- Gemeinsames AK-Treffen L2S2 & MDA* 9:00 Uhr Begrüßung /Gemeinsames Vortragsprogramm/ 9:15 Uhr /Marvin Grieger/: Modellgetriebene Software-Modernisierung: konzeptbasierte Entwicklung situativer Methoden 9:50 Uhr /Steffen Becker/: Suche von Skalierbarkeitsproblemen mit der CloudScale-Methode während der modellgetriebenen Migration in die Cloud 10:25 Uhr Pause 10:50 /Markus Völter/: Von MS Word zu DSLs - ein Beispiel für modellgetriebene Migration 11:25 Uhr Ende des gemeinsamen Teils 11:30 Uhr Getrennte AK-Sitzungen der AKs L2S2 & MDA 12:00 Uhr Ende *AK-Sitzung & Wahl der AK-Leitung:* Gegen Ende des AK-Treffens findet eine 'kompakte' AK-Sitzung statt, bei der unter anderem die AK-Leitung turnusgemäß neu gewählt wird. Die Wahl erfolgt jeweils für zwei Jahre, Wiederwahl ist möglich. Wenn Sie Interesse haben, sich im AK zu engagieren und für die AK-Leitung zu kandidieren, teilen Sie dies doch bitte vorab per E-Mail an sauer at uni-paderborn.de oder spätestens bei der Sitzung mit. Tagesordnung der AK-Sitzung: 1. Begrüßung 2. Bericht der AK-Leitung 3. Wahl der AK-Leitung 4. Ausblick 5. Verschiedenes *Teilnahme: *Im Namen der AK-Leitung möchten wir Sie herzlich zur Teilnahme einladen! Die Anmeldung erfolgt über die Fachgruppentagung. Informationen hierzu finden Sie auf der Webseite der "Architekturen 2016" [2]. Wir würden uns freuen, Sie in Hildesheim begrüßen zu können und freuen uns auf spannende Vorträge, lebhafte Diskussionen und einen regen Austausch! Im Namen der AK-Leitung Stefan Sauer - Benjamin Klatt - Thomas Ruhroth --------------------------------------------------------------- [1] Der AK L2S2 ist ein gemeinsamer Arbeitskreis der Fachgruppen Architekturen (http://fg-arc.gi.de/) und Software-Reengineering (http://fg-re.gi.de/). Er kooperiert mit dem DFG-Schwerpunktprogramm SPP 1593: "Design for Future - Managed Software Evolution" (http://dfg-spp1593.de/). Weitere Informationen zum AK L2S2 finden Sie auf unserer Webseite: http://akl2s2.ipd.kit.edu/ [2] Die Jahrestagung der GI-Fachgruppe „Architekturen 2016“ findet am 23. und 24. Juni 2016 in Hildesheim statt. Sie steht in diesem Jahr unter dem Motto "Software-Architekturen im Zeitalter von Big Data". Diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich abzeichnen und was diese für den praktizierenden Softwarearchitekten bedeuten. Das Organisationsteam rund um Prof. Dr. Klaus Schmid hat ein abwechslungsreiches und spannendes Vortragsprogramm zusammengestellt. Zusätzlich treffen sich am 23. Juni Arbeitskreise, die der Fachgruppe angegliedert sind, unter anderem auch der AK L2S2. Für den Abend des23. Juni erwartet Sie außerdem ein attraktives Rahmenprogramm. Weitere Informationen und Anmeldung unter http://fg-arc.gi.de/veranstaltungen/naechste-veranstaltungen/architekturen-2016.html -- "Vorsprung durch Qualität" Follow us @ Twitter: SoftwareQLab -- Dr. Stefan Sauer Diplom-Informatiker Geschäftsführer Senior Researcher s-lab - Software Quality Lab Universität Paderborn Zukunftsmeile 1 D-33102 Paderborn Fon +49 5251 60-5390 Fax +49 5251 5465-282 E-Mail sauer at s-lab.upb.de Web http://s-lab.upb.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From Christoph.Heger at novatec-gmbh.de Tue Jun 14 15:25:44 2016 From: Christoph.Heger at novatec-gmbh.de (Heger Christoph) Date: Tue, 14 Jun 2016 13:25:44 +0000 Subject: [fg-arc] Call for Nominations: SPEC Distinguished Dissertation Award 2016 Message-ID: Dear Sir or Madam, please consider the following call for nominations for the SPEC Distinguished Dissertation Award that aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. The award is open to dissertations that have been defended between October 1, 2015 and September 30, 2016, and the nomination submission deadline is September 30, 2016. Nominations, or questions about the application process, should be sent by e-mail to nominations at spec.org. More information is available at https://research.spec.org/awards/call-for-nominations.html Kind Regards Christoph Heger Dr.-Ing. Christoph Heger Senior Consultant Application Performance Management NOVATEC // Consulting GmbH Dieselstrasse 18/1 // D-70771 Leinfelden-Echterdingen phone: +49 711 22040-700 fax: +49 711 22040-899 e-mail: christoph.heger at novatec-gmbh.de web: www.novatec-gmbh.de Sitz der Gesellschaft: Waldenbuch // Handelsregister: Stuttgart - HRB 739078 Geschäftsführer: Stefan Bleicher // Hans-Dieter Brenner // Konrad Pfeilsticker // Michael Schuchart -------------- next part -------------- An HTML attachment was scrubbed... URL: From pedro.lopez at imdea.org Tue Jun 14 23:17:57 2016 From: pedro.lopez at imdea.org (pedro.lopez) Date: Tue, 14 Jun 2016 23:17:57 +0200 Subject: [fg-arc] LOPSTR'16: Final Call for Papers and *Deadline Extension* Message-ID: <173535933e4f17c223ac8e7275319875@imdea.org> [ Please distribute, apologies for multiple postings. ] ====================================================================== LOPSTR 2016: Final Call for Papers / Deadline Extension ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== NEW DEADLINES: Abstract submission (extended): June 20, 2016 Paper/Extended abstract submission (extended): June 27, 2016 ====================================================================== INVITED SPEAKERS: Francesco Logozzo (Facebook, USA) [jointly with PPDP] Greg Morrisett (Cornell University, USA) [jointly with PPDP] Martin Vechev (ETH Zurich, Switzerland) [jointly with SAS ] ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission (*extended*): Jun 20, 2016 Paper/Extended abstract submission (*extended*): Jun 27, 2016 Notification: Aug 3, 2016 Camera-ready (for electronic pre-proceedings): Aug 19, 2016 Symposium: Sep 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. 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 which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot 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. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK and BUGSENG Srl, Italy Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming The IMDEA Software Institute From grlmc at grlmc.com Sun Jun 19 11:08:36 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 19 Jun 2016 11:08:36 +0200 Subject: [fg-arc] WebST 2016: early registration deadline 23 June Message-ID: <545102060a010b020054520401015a5d50520d54510603590a065c50050554545402050f050d530200040501500750@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 23 June*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/WebST2016/ *****************************************************************************   --- Early registration deadline: June 23, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Data and Algorithmic Bias in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/WebST2016/Registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate covering the attendance to all courses during the week and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- next part -------------- An HTML attachment was scrubbed... URL: From redl at kr.tuwien.ac.at Mon Jun 20 12:29:54 2016 From: redl at kr.tuwien.ac.at (Christoph Redl) Date: Mon, 20 Jun 2016 12:29:54 +0200 Subject: [fg-arc] 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming Message-ID: Apologies if you receive multiple copies of this email. Please distribute to interested parties. ======================================================================= The *submission* deadline of the 1st Workshop on Trends and Applications of Answer Set Programming (*TAASP 2016*) at KI 2016 was extended to *July 4, 2016*. TAASP is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided and the papers will be posted informally website/ArXiv. Therefore, it will be possible to submit to other conferences and journals both in parallel and subsequent to TAASP 2016. ======================================================================= CALL FOR PAPERS TAASP 2016 Workshop on Trends and Applications of Answer Set Programming September 26th, 2016 Affiliated with the German Conference on Artificial Intelligence 2016 Klagenfurt, Austria September 26-30, 2016 ======================================================================= AIMS AND SCOPE Answer set programming (ASP) is a widely used declarative programming paradigm based on the stable-model semantics. Over the years, the formalism has been extended with new language elements, advanced evaluation techniques have been developed, and efficient and expressive systems have been realized. These advancements turned ASP into a rich modeling language which was successfully applied to various tasks in artificial intelligence and beyond, including combinatorial problems and knowledge-intense tasks. Driven by the needs of applications, ongoing research in the field comprises, for instance, the integration with other paradigms (such as constraint programming), distributed computation, temporal and stream reasoning. These developments aim at the ultimate goal of equipping ASP with the features needed for realizing modern information systems. This workshop focuses on recent trends in the area of ASP, including novel techniques for the evaluation of ASP programs, extensions of the formalism, integration with other formalisms, and advancements of systems. Furthermore, discussions of applications of ASP and its extensions in AI and industry are welcome. TOPICS Topics of interests include (but are not limited to): - Evaluation algorithms and techniques for ASP. - Grounding including lazy-grounding and grounding-on-the-fly. - Integration of ASP with constraint programming. - Integration of ASP with description logics. - Integration of ASP with external computations. - Integration of ASP with other declarative formalisms. - Integration of ASP with procedural languages. - Other language extensions to ASP. - ASP and argumentation. - ASP and multi-agent systems. - ASP and multi-context systems. - Stream and temporal reasoning based on ASP. - Modularity techniques in ASP. - Advancements of ASP systems. - Evaluation and comparison of ASP to other paradigms. - Applications of ASP and its extensions in AI. - Applications of ASP and its extensions in other fields and industry. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. All submissions will be peer-reviewed. The submission page is available at https://www.easychair.org/conferences/?conf=taasp2016 IMPORTANT DATES Paper submission deadline: July 4, 2016 Author notification: July 25, 2016 Camera-ready articles due: August 8, 2016 Workshop: September 26, 2016 LOCATION The workshop will be held in Klagenfurt, Austria, collocated with the German Conference on Artificial Intelligence (KI) 2016. PROCEEDINGS Accepted papers will be made available online. WORKSHOP CO-CHAIRS Thomas Eiter, TU Wien, Austria Wolfgang Faber, University of Huddersfield, United Kingdom Stefan Woltran, TU Wien, Austria ORGANIZATION COMMITTEE Johannes Fichte, TU Wien, Austria Christoph Redl, TU Wien, Austria PROGRAM COMMITTEE Mutsunori Barbara, Kobe University, Japan Bart Bogaerts, Aalto University, Finland Pedro Cabalar, Corunna University, Spain Marc Denecker, University of Leuvenm, Belgium Cristina Feier, University of Bremen, Germany Sarah Alice Gaggl, TU Dresden, Germany Antti Hyvärinen, Lugano, Switzerland Daniela Inclezan, Miami University, USA Joao Leite, Universidade Nova de Lisboa, Portugal Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, DIBRIS - University of Genova, Italy Michael Morak, TU Wien, Austria Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Andreas Pfandler, TU Wien, Austria Mirek Truszczynski, University of Kentucky, USA Jörg Pührer, Leipzig University, Germany Francesco Ricca, University of Calabria, Italy Claudia Schulz, Imperial College London, UK Orkunt Sabuncu, University of Potsdam, Germany Peter Schüller, Marmara University, Istanbul, Turkey Daria Stepanova, Max Planck Institute for Informatics, Germany Johannes Peter Wallner, University of Helsinki, Finland Antonius Weinzierl, TU Wien, Austria Fangkai Yang, University of Texas at Austin, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From peter.schuller at marmara.edu.tr Wed Jun 22 00:58:33 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Wed, 22 Jun 2016 00:58:33 +0200 (CEST) Subject: [fg-arc] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Message-ID: <20160621225833.127AC36067D@inspiredeb> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) -------------------------------------------------------------------------------- ICLP DC 2016 Twelfth ICLP Doctoral Student Consortium to be held in New York City, USA, 18 October 2016 http://dc-iclp16.cs.bath.ac.uk/ -------------------------------------------------------------------------------- The ICLP Doctoral Consortium (DC) is the twelfth doctoral consortium to be held as part of the 32nd International Conference on Logic Programming (ICLP 2016). The DC will take place during ICLP 2016 in New York City, USA. It provides a forum for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. ** Target Audience ** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming - Logic Programming and Nonmonotonic Reasoning - Logic Programming and Causality - Logic Programming Systems Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. ** Application Process ** An application for participation in the ICLP DC 2016 consists of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). All applications must be in English and submitted electronically via EasyChair by 17 July 2016. Detailed submission instructions are provided at the ICLP DC 2016 website: http://dc-iclp16.cs.bath.ac.uk/ The DC program committee will select participants based on their anticipated contribution to the DC objectives. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. The works accepted for presentation at the DC will be published in conjunction with the ICLP proceedings. Updates follow as soon as we have more information regarding this. There will be some financial support available to students who attend the DC. The details will be announced soon. ** Important Dates ** Application Submission: 17 July 2016 Acceptance Notification: 1 August 2016 Camera-ready Version: 14 August 2016 Doctoral Consortium: 18 October 2016 ** Organization ** - Program Committee: Martin Gebser, Aalto Jose F. Morales, IMDEA Software Research Institute Ekaterina Komendantskaya, School of Computing, University of Dundee Fabio Fioravanti, University of Chieti-Pescara Francesco Ricca, Department of Mathematics University of Calabria Frank Valencia, LIX, Ecole Polytechnique Takehide Soh, Information Science and Technology Center, Kobe University - Program Chairs: Marina De Vos, University of Bath (M.D.Vos at bath.ac.uk) Neda Saeedloei, University of Minnesota Duluth (nsaeedlo at d.umn.edu) Website: http://dc-iclp16.cs.bath.ac.uk/ From announce at cs.ucy.ac.cy Wed Jun 22 18:11:07 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 22 Jun 2016 19:11:07 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): First Call for Student Travelling Support Message-ID: *** First Call for Student Travelling Support *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IEZpcnN0IENhbGwgZm9yIFN0dWRlbnQgVHJhdmVsbGluZyBTdXBwb3J0CTM0CUxpc3RzCTI5OAljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017 Following the tradition of previous years, we will offer student participation support to attend the IUI 2017 Conference. Currently, the support is provided in the form of an ACM SIGCHI Student Travel Grant (SSTG) which includes free registration and some travelling support. The grant is intended for student authors who personally present papers accepted in any of the tracks (full papers, short papers, posters, demos, workshop papers), or participate in the Doctoral Consortium. Students should submit applications regardless of whether or not their papers have been accepted. However, travel awards will only be given to students who have an accepted paper, note or poster and who will be presenting that work themselves, or who present their PhD project at the Doctoral Consortium. Applications must be submitted by August 1st, 2016. Late applications will not be considered. To apply for a SSTG Student Travel Award, the student should submit the following: · A completed application form · A resume · A letter of support from the student's research advisor · Optionally: Background material that supports the application, e.g. benefits of attending the conference or the student's research background · You must be a member of SIGAI before you apply ($11 dues) Students should apply by submitting their application to PCS (http://precisionconference.com/~sigchi/?goto=submissions/) and include the information detailed in the Student Award Application. More information and a link for submitting an application (in early July 2016) can be found on the SIGCHI website (http://www.sigchi.org/conferences/funding/student-travel-grant). Deadline for applications for student support: August 1st, 2016. Notification of Results: August 15th, 2016. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Jun 23 15:39:53 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 23 Jun 2016 16:39:53 +0300 Subject: [fg-arc] The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): Second Call for Papers, Special Sessions and Tutorials Message-ID: *** Second Call for Papers, Special Sessions and Tutorials *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMsIFNwZWNpYWwgU2Vzc2lvbnMgYW5kIFR1dG9yaWFscwkzNQlMaXN0cwkyOTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMTZ0aCBJRUVFIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIFNpZ25hbCBQcm9jZXNzaW5nIGFuZCBJbmZvcm1hdGlvbiBUZWNobm9sb2d5IChJU1NQSVQgMjAxNik6IFNlY29uZCBDYWxsIGZvciBQYXBlcnMsIFNwZWNpYWwgU2Vzc2lvbnMgYW5kIFR1dG9yaWFscwkzNQlMaXN0cwkyOTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Proposals for Tutorials & Special Sessions: August 5th, 2016 · Regular paper submission: September 15th, 2016 · Notification of acceptance: October 26th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus · Vasos Vasssiliou, University of Cyprus, Cyprus PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece · Vicky Lesta Papadopoulou, European University Cyprus PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Jun 24 14:36:34 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 24 Jun 2016 15:36:34 +0300 Subject: [fg-arc] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Third Call for Workshop Proposals Message-ID: ** Third Call for Workshop Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFRoaXJkIENhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2FscwkzNwlMaXN0cwkyNDUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite proposals for workshops to be held in conjunction with the conference. The goal of the workshops is to provide a venue for presenting research on focused topics of interest and an informal forum to discuss research questions and challenges. Workshops will be held on the first day of the conference. We invite submissions of full-day (6 hours) and half-day (3 hours) workshop proposals on any of the conference topics. We encourage proposals for a wide range of workshops, including but not limited to: · "Mini-conferences" on specialized topics; such workshops may have their own paper submission and review processes. · "Late breaking work" meetings; such workshops usually have a lighter review process (e.g. based on abstracts only). · "Hands-on" workshops around a specific problem or topic that may wish to ask participants to submit a position statement. · "Project centric" workshops that may be closely related to the scope of an existing large scale (e.g. EU funded) project. · "Mini-competitions", challenges, or hack-a-thons around selected topics with individual or team participation. Proposal Format Note: The key to a successful workshop submission is to CONTACT THE CHAIRS WITH YOUR IDEAS (workshop2017 at iui.acm.org), and work together to prepare an exciting proposal! Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI Paper Format, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFRoaXJkIENhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2FscwkzNwlMaXN0cwkyNDUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Please submit your proposal by e-mail to the workshop chairs at workshop2017 at iui.acm.org. The proposals should be organized as follows: · Name and title: A one-word workshop acronym and a full title. · Description of workshop topic and goal: This description should discuss the relevance of the suggested topic to IUI and its interest for the IUI 2017 audience. Include a brief discussion of why and for which audience the workshop is of particular interest. · Organizers: Names, affiliations, emails, and web pages of the workshop organizers. This can be a single person or a group of people. Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who plan to attend the workshop. · Previous history: List of previous workshops that were held on the topic including the conferences that hosted past workshops and the number of participants. Also please provide the list of other workshops organized by workshop organizers in the past. · Workshop program committee: Names and affiliation of the members of the workshop program committee that will evaluate the workshop submissions. · Participants: A statement saying how many participants you expect and how you plan to invite participants for the workshop. We recommend the proposal to include the names of at least 10 people who have expressed interest to participate in the workshop. · Workshop format: A brief description of the workshop format regarding the mix of events such as paper presentations, invited talks, panels, demonstrations, and general discussion. · Length: Full-day or half-day. · Proposal format: Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMm5kIEFDTSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgVXNlciBJbnRlcmZhY2VzIChJVUkgMjAxNyk6IFRoaXJkIENhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2FscwkzNwlMaXN0cwkyNDUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Additional Guidelines · Workshop proposals will be reviewed and evaluated by the workshop chairs and the IUI 2017 program committee chairs. · Organizers: We strongly encourage the workshop organizers to attend IUI and take part in their workshop. This can make the workshops more appealing for the participants and strengthen the discussion part. · Workshop summary: An extended abstract (max. 3 pages) with a summary of the workshop goals and an overview of the workshop topics will be included in the ACM Digital Library for IUI 2017. · Workshop proceedings: At the convenience of the workshop organizers, we will arrange a joint volume of online proceedings for the workshop papers. Workshops should request the authors to submit papers in the ACM SIGCHI Paper Format. · Cancellation: Workshops with fewer than 10 submissions by December 23, 2016 may be cancelled. This will be done in consultation between the workshop chairs of IUI 2017 and the workshop organizers. Additionally, we strongly encourage to have workshop organizers from different institutions and research communities, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that attracts various types of contributions and ensures rich interactions. The organizers of accepted workshops are responsible for producing a call for participation and publicizing it, such as distributing the call to relevant newsgroups and electronic mailing lists, and especially to potential audiences from outside the IUI conference community. Workshop organizers will maintain their own web site with updated information about the workshop and the IUI 2017 web site will refer to the workshop site. The workshop organizers will coordinate the paper sollicitation, collection, and review process, and coordinate the production of the joint online proceedings with IUI 2017 workshop chairs. Important Dates Discuss your topic with the workshop chairs: ASAP (workshop2017 at iui.acm.org) · Workshop Proposals: September 16, 2016 · Decisions Sent: October 7, 2016 ** TENTATIVE dates of the review cycle ** · Submission Deadline: December 16, 2016 · Final go/no-go Decision: December 23, 2016 · Camera-Ready of Workshop Summary: January 5, 2017 · Notifications to Authors: January 23, 2017 · Camera-Ready of Accepted Papers: February 6, 2017 · Workshop Date: March 13, 2017 Workshops Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From fsen2017 at ipm.ir Fri Jun 24 16:24:59 2016 From: fsen2017 at ipm.ir (Marjan Sirjani) Date: Fri, 24 Jun 2016 10:24:59 -0400 Subject: [fg-arc] First Call for Papers: FSEN 2017 Message-ID: <576D42BB.4080908@ipm.ir> ###################################################################### CALL FOR PAPERS Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17) http://fsen.ir/2017 Tehran, Iran April 26-28, 2017 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, April 26-28, 2017. -- Important Dates -- Abstract Submission: October 22, 2016 Paper Submission: October 29, 2016 Notification: December 17, 2016 Camera Ready: January 21, 2017 Conference: April 26-28, 2017 -- Keynote Speakers -- TBD -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format through the EasyChair conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. Papers should not be submitted simultaneously for publication elsewhere. You can submit your papers/abstracts via the following link: https://www.easychair.org/conferences/?conf=fsen2017 -- Proceedings and Special Issues -- The post-proceedings of FSEN'17 will be published by Springer Verlag in the LNCS series (to be confirmed). There will be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of FSEN, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'17 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland -- Publicity Chair -- Hossein Hojjat - Cornell University, USA -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi, Iran University of Science and Technology, Iran Erika Abraham, RWTH Aachen University, Germany Christel Baier, Technical University of Dresden, Germany Ezio Bartocci, TU Wien, Austria Mario Bravetti, University of Bologna, Italy Michael Butler, University of Southampton, UK Erik De Vink, Technische Universiteit Eindhoven, Netherlands Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands Adrian Francalanza, University of Malta, Malta Masahiro Fujita, University of Tokyo, Japan Maurizio Gabbrielli, University of Bologna, Italy Jan Friso Groote, Technical University of Eindhoven, Netherlands Hassan Haghighi, Shahid Beheshti University, Iran Philipp Haller, KTH Royal Institute of Technology, Sweden Hossein Hojjat, Cornell University, USA Mohammad Izadi, Sharif University of Technology, Iran Joost-Pieter Katoen, RWTH Aachen University, Germany Narges Khakpour, Linnaeus University, Sweden Ramtin Khosravi, University of Tehran, Iran Natallia Kokash, Leiden University, Netherlands Eva Kühn, Vienna University of Technology, Austria Zhiming Liu, Southwest University, USA Mieke Massink, CNR-ISTI, Italy Seyyed Hassan Mirian Hosseinabadi, Sharif University of Technology, Iran Ugo Montanari, University of Pisa, Italy Peter Mosses, Swansea University, UK Mohammad Reza Mousavi, Halmstad University, Sweden Ali Movaghar, Sharif University of Technology, Iran Peter Olveczky, University of Oslo, Norway Meriem Ouederni, IRIT/INP Toulouse/ ENSEEIHT, France Wishnu Prasetya, Universiteit Utrecht, Netherlands Jose Proenca, University of Minho, Portugal Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany Philipp Ruemmer, Uppsala University, Sweden Gwen Salaun, Grenoble INP, Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Ina Schaefer, Technische Universität Braunschweig, Germany Wendelin Serwe, INRIA, France Alexandra Silva, University College London, UK Meng Sun, Peking University, China Carolyn Talcott, SRI International, USA From mayerhofer at big.tuwien.ac.at Sun Jun 26 14:04:42 2016 From: mayerhofer at big.tuwien.ac.at (Mayerhofer Tanja) Date: Sun, 26 Jun 2016 12:04:42 +0000 Subject: [fg-arc] Second Call for Papers: 2nd International Workshop on Executable Modeling (EXE 2016) Message-ID: <2617677fc1ef4619a53701eceefe45ee@mbx13b.intern.tuwien.ac.at> ------------------------------------------------------------------------ Second Call for Papers: 2nd International Workshop on Executable Modeling (EXE 2016) co-located with MODELS 2016 October 3, 2016, Saint-Malo, France http://www.modelexecution.org/exe2016 ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, on October 3, 2016. --------------------------- Scope and Topics --------------------------- The complexity of modern software systems, time-to-market pressures, and the need for high quality software are current challenges faced by the software industry. To address these challenges, model-driven engineering (MDE) advocates the elevation of models into the center of the development process. Models provide abstractions over the system to be developed, while also providing enough detail to automate the development of implementation artifacts and perform early software analysis. In this context, executable models become more and more important. Executable models provide abstractions of a system's behavior and constitute the basis for performing early analyses of that behavior. The ability to analyze a system's behavior early in its development has the potential to turn executable models into important assets of a model-driven software development process. Despite the potential benefits of executable models, there are still many challenges to solve, such as the lack of maturity in the definition of and tooling for executable modeling languages, and the limited experience with executable modeling in much of the software development industry. EXE 2016 will provide a forum for researchers and practitioners to discuss these challenges and propose potential solutions, as well as to assess and advance the state-of-the-art in this area. Topics of interest for the workshop include but are not limited to the following: * Methodologies, languages, techniques, and methods for designing and implementing executable modeling languages * Model execution tools for the validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution) * Case studies and experience reports on the successful or failed adoption of executable modeling in different application domains and application contexts * Empirical investigations and evaluations of model execution tools * Executable modeling in education * Automation techniques for the development of model execution tools * Evolution in the context of executable modeling (e.g., evolution of executable modeling languages, execution semantics, executable models, model execution tools) * Verification of semantic conformance (e.g., among executable modeling languages, executable models, model execution tools) * Customization of executable modeling languages and model execution tools (e.g., semantic variation points, profiles) * Composition, extension, and reuse of executable modeling languages and model execution tools * Integration of executable modeling languages and programming languages * Semantics-aware model transformations and code generation * Scalability of model execution and execution-based model analysis * Execution of partial and underspecified models * Model execution in the presence of non-determinism and concurrency * Surveys and benchmarks of different approaches for the development of executable modeling languages, model execution, and execution-based model analysis --------------------------- Submissions --------------------------- We accept the following types of submissions (please indicate the type of your submission as a footnote to the title of your paper): * Research papers (up to 7 pages) presenting novel and innovative approaches in one of the topics of the workshop. We also strongly encourage the submission of comparative studies and benchmarks of existing approaches in one of the topics. * Experience reports (up to 7 pages) presenting experiences and lessons learned in one of the topics of the workshop. Experience reports should discuss knowledge gained from an executable modeling project experience and identify key challenges encountered. * Position papers (up to 3 pages) presenting new ideas or early research results in one of the topics of the workshop. * Tool demonstration papers (up to 3 pages) presenting novel tools or novel features of state-of-the-art tools related to executable modeling. Submissions of tool demonstration papers should consist of two parts. The first part (up to 3 pages) will be included in the proceedings and should describe the tool presented (please include the URL of the tool if available). The second part (up to 2 pages) should explain how the tool demonstration will be carried out at the workshop, including examples and screenshots. All submissions should follow the IEEE formatting instructions available at http://www.ieee.org/conferences_events/conferences/publishing/templates.html. Please submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2016. All submissions will be evaluated by at least three members of the program committee. Research papers, experience reports, and tool demonstration papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the workshop call. Position papers will be evaluated primarily concerning validity and ability to generate discussion (even controversy), as well as alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. A pre-workshop version of the accepted papers will be available on the workshop website and a post-workshop version will be published as part of the workshop's post-proceedings at CEUR workshop proceedings (http://ceur-ws.org). --------------------------- Important Dates --------------------------- Submission deadline: July 17, 2016 Author notification: August 14, 2016 Workshop: October 3, 2016 --------------------------- Workshop Format --------------------------- EXE 2016 is a full-day workshop held as part of MODELS 2016. The workshop will comprise a keynote in the morning, followed by two sessions of presentations of the accepted papers. The last session of the day will be a discussion session, where challenges, questions, experiences, opinions, and requirements related to executable modeling will be discussed. --------------------------- Keynote Speaker --------------------------- * Stephen J. Mellor (http://www.stephenmellor.com/) We are happy to announce Stephen J. Mellor as keynote speaker of EXE 2016. --------------------------- Organizers --------------------------- * Tanja Mayerhofer, TU Wien, Austria * Philip Langer, EclipseSource, Austria * Ed Seidewitz, independent, USA * Jeff Gray, University of Alabama, USA --------------------------- Program Committee --------------------------- * Colin Atkinson, University of Mannheim, Germany * Francis Bordeleau, Ericsson, Canada * Jordi Cabot, ICREA - UOC, Spain * Tony Clark, Sheffield Hallam University, United Kingdom * Peter Clarke, Florida International University, United States * Benoit Combemale, IRISA and University of Rennes, France * Julien Deantoni, University Nice Sophia Antipolis, CNRS, I3S, Inria, France * Juergen Dingel, Queen's University, Canada * Martin Gogolla, University of Bremen, Germany * Timothy Lethbridge, University of Ottawa, Canada * Nicholas Matragkas, University of Hull, United Kingdom * Marjan Mernik, University of Maribor, Slovenia * Zoltan Micskei, Budapest University of Technology and Economics, Hungary * Richard Paige, University of York, United Kingdom * Alessandro Romero, Brazilian National Institute for Space Research, Brazil * Bernhard Rumpe, RWTH Aachen University, Germany * Jesús Sánchez Cuadrado, Universidad Autónoma de Madrid, Spain * Markus Scheidgen, Humboldt University Berlin, Germany * Bran Selic, Malina Software Corporation, Canada * Cortland Starrett, One Fact Inc, United States * Eugene Syriani, University of Montreal, Canada * Jérémie Tatibouët, CEA, France * Massimo Tisi, Ecole des Mines de Nantes, France * Mark Van Den Brand, Eindhoven University of Technology, The Netherlands * Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada From grlmc at grlmc.com Sun Jun 26 11:34:05 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 26 Jun 2016 11:34:05 +0200 Subject: [fg-arc] TPNC 2016: 3rd call for papers Message-ID: <545102060a010b0200515305040a5a0655020452055457030b565d540002515057540702005b565601515253550550@grlmc_ip-zone_com-6> TPNC 2016: 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 THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   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 2016 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 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   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 2016 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect   Luis Martínez López (University of Jaén), Managing Natural Noise in Recommender Systems   Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2016   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 the journal Soft Computing (Springer, 2014 JCR impact factor: 1.304) 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/TPNC2016/Registration.php   DEADLINES:   Paper submission: July 26, 2016 (23:59h, CET) Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Tohoku University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Jun 30 15:45:30 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 30 Jun 2016 16:45:30 +0300 Subject: [fg-arc] 21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers Message-ID: <8BITVYL-6872-JLQQ-401C-1NDN6H1ASXL@cs.ucy.ac.cy> FM 2016 Industry Track part of the 21st International Symposium on Formal Methods http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hbCBNZXRob2RzIChGTSAyMDE2KTogQ2FsbCBmb3IgSW5kdXN0cnkgVHJhY2sgUGFwZXJzCTM5CUxpc3RzCTI0NQljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html Limassol, Cyprus, November 7-11, 2016 IMPORTANT DATES * Industry Track Submission: July 31, 2016 (AoE) * Industry Track Notification: August 22, 2016 * Industry Track Camera Ready: September 5, 2016 * Industry Track Date: November 10, 2016 CALL FOR INDUSTRY TRACK PAPERS FM 2016 is the 21st in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The industry track of FM 2016 welcomes short papers and extended abstracts describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome engineering and qualification problems, led to improvements in design or provided new insights. A survey of industrial applications of formal methods has been conducted and is continuously being extended (now with more than 100 entries). It would be welcome if submissions to the industrial track also would take the time to supply an entry to this survey (http://fm2016.cs.ucy.ac.cy/img/EntryTemplate.xlsx). We hope during the industry track of FM 2016 to provide a new status of this survey so you will be able to see how your findings compare to others. PAPER SUBMISSION Industry track papers should not exceed 6 pages (including appendices and references) for short papers. Accepted short papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. Extended abstracts of 2-4 pages are also welcome and will be added in a conference report. Submitted papers (written in English) should not have been published or submitted elsewhere concurrently for publication, shall not contain any proprietary information that might hamper publication (to be checked and confirmed by author prior to submission) and should be in Springer's LNCS format. All submissions will be evaluated by at least three members of the industry track program committee. Accepted papers shall be presented at the conference in person by at least one of the authors of the paper. Papers should be submitted through the FM 2016 Industry Track EasyChair web site. http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEZvcm1hbCBNZXRob2RzIChGTSAyMDE2KTogQ2FsbCBmb3IgSW5kdXN0cnkgVHJhY2sgUGFwZXJzCTM5CUxpc3RzCTI0NQljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dfm2016 (select "FM Industry Track" when adding a new submission) A number of invited papers from the industry are also expected for presentation in the Industry track of FM 2016. INDUSTRY TRACK PROGRAM COMMITTEE Ewen Denney, NASA, US Thai-Son Hoang, University of Southampton, UK Ralf Huuck, NICTA, AU Georgia Kapitsaki, University of Cyprus, CY (co-chair) Thomas Kropf, Bosch, DE Thierry Lecomte, SAP, FR Tiziana Margaria, University of Limerick and Lero, IE (co-chair) Nico Plat, West Consulting BV, NL Judi Romijn, Movares, NL Andreas Roth, SAP, DE Marcel Verhoef, European Space Agency, NL (co-chair) Aneta Vulgarakis, Ericsson Research, SE -------------- next part -------------- An HTML attachment was scrubbed... URL: