From announce at cs.ucy.ac.cy Tue Sep 1 16:45:41 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 1 Sep 2015 17:45:41 +0300 Subject: IEEE/ACM UCC 2015: Last Mile for Posters & Demos and Doctoral Symposium Message-ID: <4WOTEGWG-C465-IN3P-JFYH-Y8AA0ZGDMZ7@cs.ucy.ac.cy> *** Last Mile for Posters & Demos and Doctoral Symposium *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 *** FINAL DEADLINE: 7 September, 2015 *** CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). TOPICS OF INTEREST · Formal Modeling and analysis of Cloud Computing · Big Data and Analytics · Principles and theoretical foundations of Utility Computing, including pricing and service models · Policy languages and Programming models · Utility driven model and mechanisms for Cloud federations · Autonomic techniques for Clouds and Cloud applications · Utility-driven platforms for Clouds · Architectural models to achieve Utility in Clouds · Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated · Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) · Virtualization technologies and other enablers · Economic models and scenarios of use · Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces · Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring · Applications: games, social networks, scientific computing (e-science) and business · Mobile and energy-efficient use of Clouds · Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts All accepted contributions (Posters & Demos and Doctoral Symposim) will appear in the UCC 2015 Conference Proceedings. The proceedings will be published by the IEEE Computer Society and will be made available online through the IEEE Digital Library. SUBMISSION GUIDELINES FOR POSTERS & DEMOS Authors are invited to submit original unpublished research posters and demos to the UCC 2015 conference. The submission areas of interest include but are not limited to the topics listed above. Authors are required to submit a 2-page short paper describing the poster/demo content, research, relevance and importance to the cloud computing community. If accepted, these 2-page short papers will be published in the proceedings of the conference. Participants will be able to display the poster and showcase the demo during the conference. Authors are invited to submit their contributions electronically through EasyChair: https://www.easychair.org/conferences/?conf=ucc2015posters The authors of accepted posters will be given a 3-minutes time slot to present their work, following the three minutes thesis (3MT) style, at the UCC 2015 Poster Session. The authors will also present their posters and discuss their research with the conference attendees and visitors in the poster exhibition session. The recommended poster size is A0 (33.1 x 46.8 in, portrait). The best poster will receive a best poster award based on evaluation rating from the Award/Review Committee. SUBMISSION GUIDELINES FOR DOCTORAL SYMPOSIUM The aim of the Doctoral Symposium of UCC 2015 is to provide PhD students at all stages of their research a supportive environment to discuss their research proposal, practices and methods, and to promote networking and collaboration.The Doctoral Symposium is an opportunity for students to obtain helpful feedback of their research from leading academics and practitioners in cloud computing technology. PhD Students are invited to submit new contributions describing their research. The submission areas of interest include but are not limited to the topics listed above. Submissions will be assessed by at least three members of the Program Committee. They will be evaluated on the basis of their relevance to the UCC conference series, research potential, and the quality and rigour of the research methods described. All contributions must be in IEEE double-column format, available for download: https://www.ieee.org/conferences_events/conferences/publishing/templates.html and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair, using the link: https://easychair.org/conferences/?conf=ucc20150 We solicit three categories of contributions: · Doctoral Research Papers, maximum 6 pages · Extended Research Abstracts, maximum 4 pages · Posters Presentations, maximum 2 pages. IMPORTANT DATES · All types of submissions due: 7 September, 2015 (final deadline!) · Notification of Acceptance for all types of submission: 18 September, 2015 · Camera-Ready version due for all types of submission: 21 September, 2015 COMMITTEES General Chairs · Ashiq Anjum, University of Derby, UK · George Papadopoulos, University of Cyprus Program Committee Chairs · Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) · Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair · Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs · Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) · Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs · Ewa Deelman, USC, USA (deelman AT isi.edu) · Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters/Demos Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chairs · Sandra Gesing, University of Notre Dame, USA · Ian Taylor, Cardiff University, UK Industry Chair · Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs · Nick Antonopoulos, University of Derby, UK · George Palis, University of Cyprus, Cyprus Publicity Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Program Committee http://cyprusconferences.org/ucc2015/?page_id=281 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at cnr.it Wed Sep 2 18:06:27 2015 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Wed, 2 Sep 2015 18:06:27 +0200 Subject: CfP: SHAPES 3.0 - The shape of things, 2 Nov. 2015 (deadline: Sept 15) In-Reply-To: <55E71E5C.6060003@gmail.com> References: <55E71E5C.6060003@gmail.com> Message-ID: <55E71E83.7010006@cnr.it> (Please distribute as appropriate) ********************************************************************** SECOND CALL FOR PAPERS: SHAPES 3.0 - THE SHAPE OF THINGS at the Ninth International and Interdisciplinary Conference on Modeling and Using Context Larnaca, Cyprus, 2-6 November 2015 http://www.shapes-research.org/ IAOA supported event (www.iaoa.org) Submissions due: September 15, 2015 Workshop date: November 2, 2015 - ORGANISING COMMITTEE: Oliver Kutz (KRDB, Free University of Bolzano, Italy) Stefano Borgo (LOA, ISTC-CNR, Trento, Italy) Mehul Bhatt (University of Bremen, Germany) ********************************************************************** SHAPE, FORM, and STRUCTURE are some of the most elusive notions within many different disciplines ranging from the natural sciences through engineering to art. Several approaches have been proposed to study notions of shape, form and structure from different viewpoints, yet a comprehensive formal treatment of these notions is currently lacking and an interdisciplinary perspective has not yet been put forward. This workshop serves as an interdisciplinary platform for the discussion of all topics connected to shape (broadly understood): perspectives from psycho-linguistics, ontology, logic, computer science, mathematics, aesthetics, cognitive science and beyond are welcome to contribute and participate. We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary ideas, methods, and applications in the area of modelling shape, form, pattern and function. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and demos, and will allow ample time for open discussions amongst the participants. TOPICS INCLUDE: LINGUISTICS / PHILOSOPHY shape and form in natural language differences between shape, form, structure, and pattern shape in natural and artificial objects COGNITION shape perception and mental representation gestalt vs. structuralist understanding of shape cognition perception and shape (e.g. identifying objects from incomplete visual information) affordances, dispositions, and shape LOGICS, SPATIAL REPRESENTATIONS formal characterisations of shape and form logics for shape: e.g. fuzzy, modal, intensional, etc. logics for topology, symmetry, shape similarity etc. design semantics, spatial semantics shape and 3D space shape and space in creative assistance systems ONTOLOGY ontologies and classifications of shapes ontological relations among shape, objects and functions patterns as shapes of processes forms and patterns in ontology APPLICATIONS biology & chemistry: molecular shapes, shape in anatomy and phenotype definitions, shape in medical image analysis and annotation visual art and aesthetics; shape in Film and Photography; shape, form and structure in music; shape in computational creativity; naive physics and geography: e.g. qualitative classifications of shapes of geographic objects design & architecture: shape grammars; CAD, symmetry and beauty in architectural design engineering: formal shape analysis in engineering processes KEY DATES: Paper, Abstract, and Demo submissions: September 15 Notification of paper acceptance: October 10 Camera-ready copies: October 20 Online papers/proceedings: November 1 Workshop date: November 2, 2015 SUBMISSION POSSIBILITIES AND GUIDELINES: http://www.shapes-research.org/ ONLINE SUBMISSIONS VIA: https://easychair.org/conferences/?conf=shapes30 SPECIAL STUDENT SESSION AND SCHOLARSHIPS: In addition to full paper contributions, extended abstracts or work-in-progress short papers are invited. Such papers may be allotted a regular or a short presentation slot. Please refer to the online submission guidelines. We especially encourage young students or doctoral researchers to make use of the short submission format. However, the short paper format is open to all researchers. A limited number of student scholarships will be competitively made available to assist students to participate in the workshop. Awarded scholarships include a 1-year IAOA membership. DEMOS: We also invite proposals to present a system demonstration. Proposals should address the relevance of the demo to the topics of the workshop. Demos are not restricted to scientific projects; interdisciplinary collaborations involving partnerships, e.g., between artists, designers, researchers, are welcome to apply too. PROGRAM COMMITTEE: Frieder Nake (Bremen) Ingvar Johansson (Umeå) Tarek Besold (Osnabrück) Pieter Vermaas (Delft) Michael Gruninger (Toronto) Paulo E. Santos (Sao Paulo) Tillman Weyde (London) Giancarlo Guizzardi (Espírito Santo) Maria Rosaria Stufano Melone (Bari) Emilios Cambouropoulos (Thessaloniki) Nicola Guarino (Trento) —to be completed— For more information, the workshop website can be accessed at: http://www.shapes-research.org/ Organisers can be contacted by email at: shapes.workshop at gmail.com ************************************************************************** From marco.gavanelli at unife.it Thu Sep 3 07:47:39 2015 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Thu, 3 Sep 2015 07:47:39 +0200 Subject: CfP PADL16: Practical Aspects of Declarative Languages Message-ID: <55E7DEFB.3040505@unife.it> Call for Papers =============== 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) http://conf.researchr.org/home/PADL-2016 St. Petersburg, Florida, United States Mon 18 - Tue 19 January 2016 Co-located with ACM POPL 2016 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2016 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2016 will be co-located with the Symposium on Principles of Programming Languages (POPL 2016), in St. Petersburg, Florida (USA). Important Dates and Submission Guidelines ========================================= Abstract Submission: September 10, 2015 Paper Submission: September 18, 2015 Notification: October 21, 2015 Camera-ready: November 10, 2015 Symposium: January 18-19, 2016 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2016 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2016 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2016 will appear in the LNCS series of Springer Verlag. Program Committee ================= - Mario Alviano, University of Calabria (Italy) - Lars Bergstrom, Mozilla Research (USA) - Edwin Brady, University of St Andrews (UK) - Mats Carlsson, SICS (Sweden) - Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute (Spain) - Thomas Eiter, Vienna University of Technology (Austria) - Thom Fruehwirth, University of Ulm (Germany) - Marco Gavanelli, University of Ferrara (Italy) - Geoffrey Mainland, Drexel University (USA) - Enrico Pontelli, New Mexico State University (USA) - John Reppy, University of Chicago (USA) - Ricardo Rocha, University of Porto (Portugal) - Torsten Schaub, University of Potsdam (Germany) - Tom Schrijvers, KU Leuven (Belgium) - Paul Tarau, University of North Texas (USA) - Niki Vazou, Univesrity of California, San Diego (USA) - Dimitrios Vytiniotis, Microsoft Research - Daniel Winograd-Cort, Yale University (USA) - Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center (USA) - Lukasz Ziarek, SUNY Buffalo (USA) Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Marco Gavanelli and John Reppy University of Ferrara University of Chicago Italy USA http://docente.unife.it/marco.gavanelli http://people.cs.uchicago.edu/~jhr email: padl2016 at easychair.org From geoff at cs.miami.edu Thu Sep 3 17:04:22 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 3 Sep 2015 11:04:22 -0400 (EDT) Subject: LPAR-20 Short Presentation Papers Message-ID: <20150903150422.6E4AA121501@mcclellan.cs.miami.edu> =============================================================================== The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Suva, Fiji, 23rd-28th November 2015 www.LPAR-20.info CALL FOR SHORT PRESENTATION PAPERS In keeping with the tradition of LPAR, researchers and practitioners are invited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published. The short presentation papers will be published electronically as a volume in the EPiC series, see http://www.easychair.org/publications/EPiC. The LaTeX and Microsoft Word templates for the EPiC series can be downloaded from http://www.easychair.org/publications/for_authors. Short papers may be up to 15 pages long, and must be submitted through the EasyChair system using the web page https://www.easychair.org/conferences/?conf=lpar20. Paper submission deadline: 19th October 2015 Notification of acceptance: 2nd November 2015 Final version: 9th November 2015 ... however, in order to facilitate authors making travel arrangements, papers submitted before the deadline will be reviewed immediately, and a decision made in approximately one week. Submit early, and submit often! =============================================================================== From modworkshop2015 at gmail.com Thu Sep 3 18:01:14 2015 From: modworkshop2015 at gmail.com (MOD 2015 Organizing Committee) Date: Thu, 3 Sep 2015 18:01:14 +0200 Subject: Call for PhD program in Mathematics and Computer Science in Catania - connection to ITN ModCompShock European project Message-ID: Dear Colleague, With this email I inform you that the call for PhD positions at the University of Catania has been posted on July 15th, with deadline September 8th, at the address http://www.unict.it/content/dottorati-di-ricerca-xxxi-ciclo In particular, there are several positions for the PhD in Mathematics and Computer Science, and *two of them are reserved to foreign students. * Very soon there will be a call for the European ITN-Marie Curie project “ModCompShock - Modelization and computation of shocks and interfaces”. Students who are interested in doing a PhD in Mathematics in Catania on the subject of the European project are supposed to apply to both the call for PhD position and the call for the ITN fellowship, which will appear soon. The ITN grant is very attractive, since the gross income is about 3000 Euros per month plus mobility and family allowance. I ask you to please spread the information among students who are potentially interested in the calls. For any questions I am available by email at russo at dmi.unict.it. Best regards, Giovanni Russo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at gmail.com Fri Sep 4 16:46:20 2015 From: evomusart at gmail.com (Colin Johnson) Date: Fri, 4 Sep 2015 15:46:20 +0100 Subject: [Info] CfP EvoMUSART 2016 Message-ID: ---------------------------------------------------------------------------- Please distribute (Apologies for cross posting) ---------------------------------------------------------------------------- CALL FOR PAPERS EvoMUSART 2016 http://www.evostar.org/2016/cfp_evomusart.php 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design 30 March - 1 April 2016 Porto, Portugal Part of evo* 2016 evo*: http://www.evostar.org Following the success of previous events and the importance of the field of evolutionary and biologically inspired (artificial neural network, swarm, alife) music, sound, art and design, evomusart has become an evo* conference with independent proceedings since 2012. Thus, evomusart 2016 is the fifth International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design. The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks. The main goal of evomusart 2016 is to bring together researchers who are using biologically inspired computer techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held in April, 2016 in Porto, Portugal, as part of the evo* event. ---------------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------------- Submission: 1 November 2015 Notification to authors: 04 January 2016 Camera-ready deadline: 18 January 2016 Evo*: 30 March - 1 April 2016 ---------------------------------------------------------------------------- Publication Details ---------------------------------------------------------------------------- Submissions will be rigorously reviewed for scientific and artistic merit. Accepted papers will be presented orally or as posters at the event and included in the evomusart proceedings, published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. The acceptance rate at EvoMUSART 2015 was 27.9% for papers accepted for oral presentation, and 25.6% for poster presentation. Submitters are strongly encouraged to provide in all papers a link for download of media demonstrating their results, whether music, images, video, or other media types. Links should be anonymised for double-blind review, e.g. using a URL shortening service. ---------------------------------------------------------------------------- Topics of interest ---------------------------------------------------------------------------- Submissions should concern the use of biologically inspired computer techniques -- e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, other artificial intelligence techniques -- in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: -- Generation - Biologically Inspired Design and Art -- Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; - Biologically Inspired Sound and Music -- Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; - Robotic-Based Evolutionary Art and Music; - Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc.; -- Theory - Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; - Representation techniques; - Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; - Validation methodologies; - Studies on the applicability of these techniques to related areas; - New models designed to promote the creative potential of biologically inspired computation; -- Computer Aided Creativity and computational creativity - Systems in which biologically inspired computation is used to promote the creativity of a human user; - New ways of integrating the user in the evolutionary cycle; - Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; - Collaborative distributed artificial art environments; -- Automation - Techniques for automatic fitness assignment; - Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; - Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object. ---------------------------------------------------------------------------- Additional information and submission details ---------------------------------------------------------------------------- Submit your manuscript, at most 16 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submission link: http://myreview.csregistry.org/evomusart16/ *** NEW Page limit: 16 pages *** The reviewing process will be double-blind; please omit information about the authors in the submitted paper. Website: http://www.evostar.org/ Facebook: fb.com/evostarconf Twitter: twitter.com/Evostar2016 LinkedIn: www.linkedin.com/groups/EVOstar-1908983 ---------------------------------------------------------------------------- Conference chairs ---------------------------------------------------------------------------- Colin Johnson University of Kent, UK c.g.johnson(at)kent.ac.uk Vic Ciesielski RMIT University, Australia vic.ciesielski(at)rmit.edu.au Publication chair João Correia University of Coimbra, Portugal jncor(at)dei.uc.pt From announce at cs.ucy.ac.cy Fri Sep 4 14:54:19 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 4 Sep 2015 15:54:19 +0300 Subject: The 15th International Conference on Software Reuse (ICSR 2016): First Combined Call for Contributions Message-ID: *** First Combined Call for Contributions *** The 15th International Conference on Software Reuse (ICSR 2016) June 5-7, 2016, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/icsr2016/ For decades the International Conference on Software Reuse (ICSR) has been the premier event in the field of software reuse research and technology. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 15th International Conference on Software Reuse (ICSR 2016) will be held on June 5-7 2016, in Cyprus. CALL FOR RESEARCH PAPERS We invite submissions on new and innovative research results and industrial experience reports in the area of software reuse. The guiding theme of ICSR 2016 is: Software reuse: bridging with social-awareness Development online social networks are gaining ground lately with software engineers participating in different fora collaborating and exchanging ideas and expertise. Software reuse needs to utilize, but also strengthen, this new form of synergies that can be built among engineers. ICSR special theme aims to bring this aspect in software reuse by raising social-awareness, strengthening the existing platforms and tools, and utilizing the vast software information that exists in development social networks. Amongst the numerous important challenges we identified the following major topics for research focusing on reuse with social-awareness: · Social network interactions between developers to support software reuse · Utilization of online social development tools for software reuse · Software reuse to enhance social-awareness · Trust, security and semantic issues of social aspects of software reuse Beyond those novel challenges for software reuse, we solicit submissions dealing with all aspects of software reuse, including, but not limited to the following ones: · Domain analysis and modelling · Asset search and retrieval · Architecture-centric reuse approaches · Component-based reuse · Service-oriented architectures · COTS-based development and reuse of open source assets · Generative development · Domain-specific languages · Software composition and modularization · Model-driven development · Reengineering for reuse · Software product line techniques · Quality assurance for software reuse, such as testing and verification · Reuse of non-code artifacts (process, experience, etc.) · Economic models of reuse · Benefit and risk analysis, scoping · Legal and managerial aspects of reuse · Transition to software reuse · Industrial experience with reuse · Light-weight reuse approaches · Agile reuse · Software evolution and reuse · Reuse for mobile and ubiquitous applications Paper Submission Novel and well-founded work in the wider area of software reuse is highly welcome. We look for strong research work which might have a strong theoretical or empirical foundation. Theoretical work should in particular provide innovative ideas and should be based on a sound theoretical basis. Empirical work based on case studies, empirical research and experiments is also highly welcome. Industrial submissions describing practical experience are also strongly encouraged. Submissions must conform to Springer's Lecture Notes in Computer Science format, and are limited to 16 pages in length, in English. Short papers (up to 8 pages) are accepted as well and should be marked accordingly. You will be able to submit your paper via Easychair. Each submission will be reviewed by at least three members of the Program Committee. We plan to have a best paper award for this conference, details will be announced in due time. Accepted papers will be published in Springer's highly visible LNCS series again. Please note that a full conference (i.e. not a student) registration is required for a technical paper to be published. Moreover, the prestigious Journal of Systems and Software will dedicate a special issue on software reuse for which the authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material). The CFP of the special issue can be found here: http://www.journals.elsevier.com/journal-of-systems-and-software/call-for-papers/special-issue-on-software-reuse-cfp/ CALL FOR WORKSHOP PROPOSALS ICSR 2016, the premier conference on software reuse, invites proposals for one-day and half-day workshops to be hosted in conjunction with the conference. Since software reuse is pervasive in all aspects of software development, workshops on a variety of topics including, but not limited to those listed above may be appropriate. Submissions in the area of the conference's main topic will receive preferential treatment. Workshop proposals are limited to 3 pages in length. The proposal should include the following information: · A title of the workshop · Names of organizers and their affiliations · A summary of workshop objectives · A statement of why the workshop would be of interest to potential ICSR attendees · A description of the qualifications of the organizers to host the workshop · A preliminary schedule for the workshop · Your estimates on number of interested attendees · Any past experience with hosting such workshops · Any special workshop requirements · A one-page Workshop CFP (such as the one the organizers would send out to invite attendees). Please email your workshop proposals to Tommi Mikkonen (tjm at cs.tut.fi). Proposals are reviewed as they are received on a first come first served basis. Workshop descriptions and associated papers will be part of the conference post-proceedings. Springer will be contacted for potential inclusion in the Communications in Computer and Information Science (CCIS) series (http://www.springer.com/series/7899). CALL FOR TUTORIAL PROPOSALS ICSR 2016, the premier conference on software reuse, invites submissions for tutorial proposals. The purpose of the tutorial program is to provide participants with the opportunity to expand their software reuse knowledge and skills. Tutorials may focus on well-established or cutting-edge topics, particularly welcome are those consistent with ICSR 2016 theme, and in general the ones concerning software reuse as listed in the CFP. Proposals for tutorials are limited to 3 pages and should include: · The tutorial title and keywords · The tutorial length (half or full day) · Presenter information (short bio) · Tutorial description, history (if a similar tutorial was given before by the presenters) · Presentation format/method including technical requirements (beamer, whiteboards, etc.) Please email your tutorial proposals to Tommi Mikkonen (tjm at cs.tut.fi). Tutorial proposals are reviewed as they are received on a first come first served basis. Tutorial descriptions will not appear in the ICSR Proceedings, but all speakers can have any relevant materials posted on the ICSR web site. DOCTORAL SYMPOSIUM CALL FOR PAPERS The goal of the Doctoral Symposium is to provide a forum for doctoral students working in the area of software reuse (or in areas closely related to reuse) to discuss their proposed thesis. Students will get feedback on their work from the Symposium Expert Panelists, and will be able to attend regular ICSR sessions. Participants will present their work highlighting the main research challenges, solution directions, results obtained thus far, evaluation plan, and research plan towards the completion of the Ph.D. studies. Presentation - limited to twenty minutes - should be supported by slides. An Expert Panel composed of software reuse researchers will provide feedback to help students shape their work. There will be an award for the most promising idea for original research. The winner will be selected based on the submitted paper, presentation and discussions. Accepted papers will be published (probably at CEUR, http://ceur-ws.org). Submission Instructions Currently registered doctoral students are invited to submit their proposal for participation in the Doctoral Symposium, provided they have already selected a research topic and outlined the research plan in some detail. The event serves as an opportunity to receive early feedback on a thesis topic or later feedback to help tune a dissertation. To be considered, a student should submit a research papers and his/her supervisor should submit a recommendation letter as follows: The research paper should be written in the style of the thesis proposal, addressing the research problem description and its importance (who will benefit from the solution and how), research challenges, research approach, related work (highlight the novelty of your approach), results to date, plans for evaluation, and references. Please indicate on the top of the front page: your name, the date (month/year) that you started your Ph.D., the expected defense date (month/year), and the name of your advisor. The paper is limited to four pages in length and must conform to Springer's Lecture Notes in Computer Science format. Submit the paper directly to the symposium chair Maurizio Morisio (maurizio.morisio at polito.it), with subject "ICSR DS Symposium Proposal". Recommendation letter: A thesis advisor should e-mail a brief recommendation letter directly to the symposium chair Maurizio Morisio, with subject "ICSR DS Symposium Recommendation Letter". An Expert Panel will evaluate all submissions and accepted proposals will be presented at the ICSR Doctoral Symposium. It is important to notice that the person that will present an accepted paper must be the doctoral student, author of the paper. Professors and colleagues are not allowed to present papers on behalf of the doctoral student. CALL FOR TOOL DEMONSTRATIONS The ICSR Tool Demonstrations enable industry and academic researchers to share their ideas and present the state of the art and practice in Software Reuse. ICSR 2016 presents an excellent opportunity for researchers and professional software engineers to present their working tools and systems to the Software Reuse community. Submission Instructions We invite proposals for tool demonstrations on any topics related to software reuse. Tools suggesting their reuse recommendations directly in IDEs (such as Eclipse etc.) are especially welcome. All selected tools will be presented during the conference in two ways: · A formal lecture-style presentation session · An informal demo session where individuals can walk around, ask specific questions, and interact with the tools. Submissions should not exceed four pages in proceedings format. Proposals for tool demonstrations should be sent to the tools demonstration chair Frederik Kramer (frederik.kramer at initos.com). Demo papers are envisaged to appear as a technical report online. Authors are encouraged to share their tools and presentations as well as illustrative videos. IMPORTANT DATES FOR ALL TYPES OF SUBMISSIONS · Submission of research papers and industrial reports: 28 December 2015 · Notification for research papers and submission reports: 25 February 2016 · Camera Ready submission of research papers and industrial reports: 10 March 2016 · Special Issue JSS: 03 October 2016 · Submission of workshop proposals: 28 January 2016 · Notification for workshop proposals: 10 February 2016 · Submission of tutorial proposals: 28 January 2016 · Notification for tutorial proposals: 10 February 2016 · Submission of Doctoral Symposium papers: 28 January 2016 · Notification for Doctoral Symposium papers: 20 February 2016 · Camera Ready submission of Doctoral Symposium papers: 10 March 2016 · Submission of tool demos : 28 January 2016 · Notification for tool demos: 20 February 2016 COMMITTEES General Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Co-Chairs · Georgia Kapitsaki (University of Cyprus, Cyprus) · Eduardo Almeida (Federal University of Bahia, Brazil) Doctoral Consortium Chair · Maurizio Morisio (Politecnico di Torino, Italy) Workshops and Tutorials Chair · Tommi Mikkonen (Tampere University of Technology, Finland) Industry Fair/Tools Chair · Frederik Kramer (Otto-von-Guericke-Universitat Magdeburg, initOS, Germany) Program Committee http://cyprusconferences.org/icsr2016/pco.html -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mvm at cs.uns.edu.ar Fri Sep 4 20:33:40 2015 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Fri, 4 Sep 2015 15:33:40 -0300 Subject: cfP: FoIKS 2016 || March 7-11, 2016 - Linz, Austria (Deadline is one month away!!) Message-ID: **Apologies for cross-postings*** ============== FoIKS 2016 | Call for Papers =============== CALL FOR PAPERS 9th International Symposium on Foundations of Information and Knowledge Systems March 7-11, 2016 - Linz, Austria The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2016 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. Previous FoIKS symposia were held in Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, SchlossSalzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics include, but are not limited to: ================================================= * Database Design: formal models, dependencies and independencies; * Big Data: models for data in the Cloud, programming languages for big data, query processing. * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. Submission of Papers: ==================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at https://www.easychair.org/conferences/?conf=foiks2016. Publication: =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. Important Dates: =============== * Abstract submission deadline: October 04, 2015 * Paper submission deadline: October 11, 2015 * Author notification: November 22, 2015 * Camera-ready paper due: December 13, 2015 * FoIKS 2016 Symposium in Linz, Austria: March 07-11, 2014 More information in: =================== * Conference Web Page: http://cdcc.faw.jku.at/FoIKS2016/ * Facebook Fan Page: FOIKS 2016 (www.facebook.com/foiks16) * Twitter: https://twitter.com/FoIKS2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From e.haasdijk at vu.nl Mon Sep 7 11:52:01 2015 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Mon, 7 Sep 2015 11:52:01 +0200 (CEST) Subject: [CfP] EvoROBOT 2nd Call for Papers Message-ID: <20150907095203.5FD01381D9B8F@MW-020708.clients.vu.nl> --------------------------------------------------------------- EvoROBOT 2016 Porto, Portugal, 30 March - 1 April 2016 --------------------------------------------------------------- Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Porto, Portugal. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 1 November 2015 Notification: 4 January 2016 Camera-ready: 18 January 2016 EvoStar dates: 30 March - 1 April 2016 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Best Paper Award Best Paper Award ---------------- Frontiers in Robotics and AI is offering the best paper award at the upcoming EvoROBOT track. The Evolutionary Robotics specialty grants the winner a full waiver of the publication fee for the submission of an extended version of the work presented at EvoROBOT in Porto. Naturally, the final decision to publish the extended version will be made adhering to the Frontiers policies of originality and review. See http://www.frontiersin.org/evolutionary_robotics for details of this open-access journal. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 12 pages. Track Chairs ------------ Gusz Eiben Evert Haasdijk Programme Committee ------------------- Joshua Auerbach Nicolas Bredeche Anders Christensen Stephane Doncieux Marco Dorigo Kai Olav Ellefsen Heiko Hamann Jacqueline Heinerman Joost Huizinga Jean-Marc Montanier Jean-Baptiste Mouret Geoff Nitschke Stefano Nolfi Abraham Prieto Diederik Roijers Claudio Rossi Sanem Sariel Thomas Schmickl Kasper Stoy Jon Timmis Roby Velez Alan Winfield Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From feeds at sentic.net Mon Sep 7 16:29:55 2015 From: feeds at sentic.net (feeds) Date: Mon, 7 Sep 2015 09:29:55 -0500 (EST) Subject: [SenticNet] CFP: AAAI FLAIRS AI4BigData Message-ID: <2099807427.144959.1441636195254.JavaMail.open-xchange@bosoxweb05.eigbox.net> Apologies for cross-posting, Submissions are invited to AI4BigData'16 to be held at AAAI FLAIRS-29 at Key Largo on 16th May 2016. For more information, please visit: http://sentic.net/ai4bigdata RATIONALE As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming increasingly enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. The main aim of AI4BigData is to explore the new frontiers of big data computing for opinion mining and sentiment analysis through machine learning techniques, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web. TOPICS The special track aims to provide an international forum for researchers in the field of big data computing for opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of AI4BigData comprehends AI, information retrieval, natural language processing, and web mining. Topics of interest include but are not limited to: • Machine learning for sentiment mining • Concept-level sentiment analysis • Biologically-inspired opinion mining • Sentiment identification & classification • Association rule learning for opinion mining • Time evolving opinion & sentiment analysis • Multi-modal sentiment analysis • Multi-domain & cross-domain evaluation • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment topic detection & trend discovery • Social ranking • Social network analysis • Human computation • Opinion spam detection The special track also welcomes papers on specific application domains of knowledge-based systems for big data analysis, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, and art. TIMEFRAME November 16th, 2015: Paper submission deadline January 18th, 2016: Notification of paper acceptance February 22nd, 2016: Camera-ready of accepted papers May 17th, 2016: Special track date SUBMISSION AND PROCEEDINGS Submitted papers must be original, and not submitted concurrently to a journal or another conference. Double-blind reviewing will be provided, so submitted papers must use fake author names and affiliations. Papers must use the latest AAAI Press template, and must be submitted as PDF through EasyChair. There are three kinds of submissions: full papers (up to 6 pages), short papers (up to 4 pages), and poster abstracts (up to 250 words). Acceptance as a full paper entails a 20 minute presentation during a regular session, while short papers and abstracts will be required to participate in the poster session. Rejected full papers may still be accepted as short papers or poster abstracts. Selected, expanded versions of Special Track papers will be published in a follow-on Special Issue of Springer's Cognitive Computation journal. ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Viviana Patti, University of Turin (Italy) • Amir Hussain, University of Stirling (UK) • Newton Howard, MIT Media Laboratory (USA) From marco.gavanelli at unife.it Tue Sep 8 23:00:21 2015 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Tue, 8 Sep 2015 23:00:21 +0200 Subject: Best PADL 2016 papers at TPLP rapid publications Message-ID: <55EF4C65.9040502@unife.it> * NEWS: Best PADL 2016 papers at TPLP rapid publications * Up to two of the best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication on the journal Theory and Practice of Logic Programming (see below). Call for Papers =============== 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) http://conf.researchr.org/home/PADL-2016 St. Petersburg, Florida, United States Mon 18 - Tue 19 January 2016 Co-located with ACM POPL 2016 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2016 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2016 will be co-located with the Symposium on Principles of Programming Languages (POPL 2016), in St. Petersburg, Florida (USA). Important Dates and Submission Guidelines ========================================= Abstract Submission: September 10, 2015 Paper Submission: September 18, 2015 Notification: October 21, 2015 Camera-ready: November 10, 2015 Symposium: January 18-19, 2016 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2016 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2016 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2016 will appear in the LNCS series of Springer Verlag. Up to two best papers accepted for publication at PADL'16 will be invited to submit an extended version to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. In the case of rapid publications the extra material should consist of extensions of the existing material, such as proofs, further experimental results, implementation details and such like. Papers containing substantial revision and new results compared to the conference paper should be submitted as regular articles as normal. Authors invited to submit a rapid publication should confirm that such extra material is available. Program Committee ================= - Mario Alviano, University of Calabria (Italy) - Lars Bergstrom, Mozilla Research (USA) - Edwin Brady, University of St Andrews (UK) - Mats Carlsson, SICS (Sweden) - Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute (Spain) - Thomas Eiter, Vienna University of Technology (Austria) - Thom Fruehwirth, University of Ulm (Germany) - Marco Gavanelli, University of Ferrara (Italy) - Geoffrey Mainland, Drexel University (USA) - Enrico Pontelli, New Mexico State University (USA) - John Reppy, University of Chicago (USA) - Ricardo Rocha, University of Porto (Portugal) - Torsten Schaub, University of Potsdam (Germany) - Tom Schrijvers, KU Leuven (Belgium) - Paul Tarau, University of North Texas (USA) - Niki Vazou, Univesrity of California, San Diego (USA) - Dimitrios Vytiniotis, Microsoft Research - Daniel Winograd-Cort, Yale University (USA) - Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center (USA) - Lukasz Ziarek, SUNY Buffalo (USA) Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Marco Gavanelli and John Reppy University of Ferrara University of Chicago Italy USA http://docente.unife.it/marco.gavanelli http://people.cs.uchicago.edu/~jhr email: padl2016 at easychair.org From tsingliangchen at gmail.com Wed Sep 9 15:50:18 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Wed, 9 Sep 2015 21:50:18 +0800 Subject: Call for Demos - PRIMA2015 Message-ID: Call for Demos - PRIMA2015 http://apice.unibo.it/xwiki/bin/view/PRIMA2015/cfd The PRIMA 2015 Demonstrations Track complements the Research Paper track of the conference and offers an opportunity for presenting late-breaking research results, on -going research projects, and speculative or innovative work in progress. The informal setting of the Demonstrations Track encourages presenters and participants to engage in discussions about the presented work. Such discussions can be invaluable inputs for the future work of the presenters, while offering participants an effective way to broaden their knowledge of the emerging research trends and to network with other researchers. We invite submissions relevant to the area of multiagent systems and which address, but are not limited to, the topics of the Research Track. Reports on agent-based software systems, even if in progress, are welcome. Demonstrations are intended to showcase innovative agent-based related implementations and technologies. All submissions are intended to convey a scientific result or work in progress and should not be advertisements for commercial software packages. Authors of full papers accepted for the Research Track are explicitly invited to submit a demonstration. The submission should be formatted as the other demonstrations but must cite the accepted full paper and needs to include an explanation of its added value with respect to the conference paper, i.e., a demonstration of a supporting prototype implementation. Submission Information Authors must submit a four-page extended abstract for evaluation. All submissions will undergo a review process, including those related to already accepted full papers. Decisions about acceptance will be based on relevance to multiagent systems, originality, potential significance, topicality and clarity. Authors are strongly encouraged to include in their submission a link where the demo (live or recorded video) can be found. They should also make clear what exactly will be demonstrated to the participants (e.g., what data sets will be used, which functionalities will be shown). All demo papers have to be submitted electronically by sending an email with the paper in attachment to prima2015 at easychair.org Submissions must use the PDF file format and must adopt the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Details are provided on Springer's Author Instructions page. At least one of the authors must be a registered participant at the conference, and attend the Demo Session to present the work. The abstracts of accepted demonstrations will be given to all conference attendees and published on the conference web site, but will not be published by Springer in the printed conference proceedings. They will, however, be compiled into a CEUR-WS Proceedings for easy Web retrieval and archival. Important Dates Demo Submission: September 15th, 2015 Notifications: September 30th, 2015 Camera-Ready Versions: October 15th, 2015 ---- PRIMA-2015 Program Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From georgev at unipi.gr Fri Sep 11 12:08:42 2015 From: georgev at unipi.gr (George Vouros) Date: Fri, 11 Sep 2015 13:08:42 +0300 Subject: CfP: EUMAS 2015 & AT 2015 (Extended Deadlines) Message-ID: ============================================== We apologize for multiples copies -- Please distribute this CFP among your colleagues ============================================== Please note that due to multiple requests, the submission deadline for AT and EUMAS 2015 has been EXTENDED to: * Deadline for registering abstracts: September 17, 2015 (Extended) * Deadline for papers submission: September 20, 2015 (Extended) Also, * Final decisions to authors: October 15, 2015 (Extended) * Camera Ready Papers: October 20, 2015 (Extended) * Conference: 17- 18 December, 2015 URL: http://ai-group.ds.unipi.gr/eumas-at2015 Below you can find: A. The CfP for the 3rd INTERNATIONAL CONFERENCE ON AGREEMENT TECHNOLOGIES (AT 2015) B. The CfP for the 13th EUROPEAN CONFERENCE ON MULTI-AGENT SYSTEMS (EUMAS 2015) EUMAS 2015 and AT 2015 are co-located in ATHENS, GREECE December 17-18 The EUMAS & AT 2015 Conference Chairs ============================================== CALL FOR PAPERS 3rd INTERNATIONAL CONFERENCE ON AGREEMENT TECHNOLOGIES December 17-18, Athens, Greece (http://ai-group.ds.unipi.gr/eumas-at2015/at2015) **Special track published in AI-COMMUNICATIONS** This year the Agreement Technologies Conference (AT 2015) is collocated with EUMAS 2015. Sessions of both conferences will be open to all participants of EUMAS and AT. We hope that this will allow us to develop a rich and inspiring program of high-quality papers reporting original results. **Proceedings will be published in a Springer LNCS/LNAI volume and authors of selected papers from AT 2015 will be invited to submit an extended and improved version to a special track published in AI-COMMUNICATIONS** AIMS AND SCOPE Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. An agent may choose whether to fulfil an agreement or not, and it should fulfil it when there is an obligation to do so derived from the standing agreements. Autonomy, interaction, mobility and openness are key concepts studied within the Agreement Technologies approach. Semantic alignment, negotiation, argumentation, virtual organisations, trust and reputation and several other technologies are part of the sandbox to define, specify and verify such systems. The International Conference Series on Agreement Technologies is an interdisciplinary forum that brings together researchers and practitioners working on the various topics comprising this emergent and vibrant field. It provides an avenue to discuss and exchange new ideas and techniques for the design, implementation and verification of next generation open distributed systems centred on the notion of agreement among computational agents. AT 2015 follows the successful outcome of the first and second edition of the International Conference on Agreement Technologies: AT 2012 in Dubrovnik, Croatia, and AT 2013 in Beijing. TOPICS OF INTEREST * Argumentation and negotiation * Trust and reputation * Coalition & Team Formation * Coordination and distributed decision making * Computational social choice * Semantic alignment * Inter-theory relations * Decision and game theoretic foundations for agreement * Agent commitments * Semantic service coordination * Normative systems * Individual reasoning about norm adoption * Collective deliberation about norm adoption * Autonomic Electronic Institutions * Group planning agreements * Deliberative agreement: social choice and collective judgment * Evolution of organizational structures * Social Intelligence * Logics for agreements * Real-time agreements * Agreement patterns * Agreement technologies architectures, environments and methodologies * Applications of agreement technologies (e.g. web service composition, contract automation, supply chain automation, sensor networks, etc.) SUBMISSIONS AT 2015 welcomes original, unpublished papers. We specially invite submissions by students who we think will receive valuable feedback from the discussion-oriented focus of the conference. Authors are invited to submit papers in the following two categories: Full Papers: Papers in this category should represent original and previously unpublished work that is currently not under review in any conference or journal. Both basic and applied research papers are welcome. Papers should not exceed 15 pages including references and figures. Position Papers: Contributions in this category may represent either a summary of original work that has already been published in a conference or journal (in this case submissions must include explicitly a reference to the already published work), or ongoing research that can lead to important contributions to Agreement Technologies. Submissions in this category should not exceed 4 pages. Each submission will be peer-reviewed. All submissions must be written in English and formatted according to the Springer LNCS style, which can be obtained fromhttp://www.springer.de/comp/lncs/authors.html. PROCEEDINGS All accepted papers will be published in a Springer LNCS/LNAI volume. Full research papers and short papers describing original, unpublished work accepted at AT 2015 will be included in the proceedings. We also plan to give authors of accepted papers the opportunity to revise the camera ready version of their paper(s) in order to incorporate feedback received upon the presentation of their work during the conference. Best papers from the AT 2015 conference will be published in the AI-COMMUNICATIONS Journal (http://www.iospress.nl/journal/ai-communications/). AI Communications is a journal on Artificial Intelligence which has a close relationship to ECCAI (the European Coordinating Committee for Artificial Intelligence) Submissions must be done via Easychair through this link: https://easychair.org/conferences/?conf=at15 IMPORTANT DATES * Deadline for registering abstracts: September 17, 2015 * Deadline for papers submission: September 20, 2015 * Final decisions to authors: October 15, 2015 * Camera Ready Papers: October 20, 2015 * Conference: 17- 18 December, 2015 All deadlines are at 23:59 UTC-12, i.e. before midnight on the respective date anywhere in the world. ============================================== CALL FOR PAPERS 13th EUROPEAN CONFERENCE ON MULTI-AGENT SYSTEMS December 17-18, Athens, Greece (http://ai-group.ds.unipi.gr/eumas-at2015) **Proceedings will be published in a Springer LNCS/LNAI volume and authors of selected papers will be invited to submit an extended and improved version to a special issue published in an ISI-ranked journal** AIMS AND SCOPE: In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key intelligent systems technologies in the 21st century. The aim of the EUMAS series is to provide a forum for academics and practitioners in Europe at which current research and application issues are presented and discussed. EUMAS 2015, the 13th installment of the conference series follows the tradition of previous editions (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Maastricht 2011, Dublin 2012, Toulouse 2013, Prague 2014), and aims to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. The conference is primarily intended as a European forum for anybody interested in the theory and practice of autonomous agents and multi-agent system can meet, present challenges, preliminary and mature research results in an open and informal environment. To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2015 offers three submission types and formal proceedings. Also, post-publication in form of a special issues of a high-quality journal in the area are planned. This year EUMAS is co-located with the 3rd edition of the International Agreement Technologies (AT) Conference. This will allow us to produce a rich and inspiring program of high-quality papers reporting original results. Sessions of both conferences will be open to all participants of EUMAS and AT. EUMAS 2015 is a designated event of the European Association of Multi-Agent Systems (EURAMAS): http://www.euramas.org TOPICS OF INTEREST Topics of interest include, but are not limited to: - Action and Planning - Adaptation and Learning - Agent Architectures - Agent Programming Languages - Agents and Complex Systems - Agent-Based Simulation - Argumentation - Autonomy - Biologically inspired approaches - Cognitive Models - Collective and Swarm Intelligence - Collective Intentionality - Communication, Cooperation, and Coordination - Electronic Commerce - Economic Models - Emergence - Formal Modelling - Game-Theoretic Methods - Logics for Multi-Agent Systems - Agent Development Methodologies - Automated negotiation - Agent organisations and Institutions - Proactivity and Reactivity - Protocols - Robotics - Self-organisation - Semantic Web Agents - Socio-technical Systems - Agent-oriented Software Engineering - Teamwork - Theories of Agency - Agent Development Tools - Trust and Reputation - Ubiquitous Computing - Verification - Virtual Agents SUBMISSIONS EUMAS 2015 welcomes both original, unpublished papers, as well as papers that are under submission or have been published in a relevant conference, conference or journal. We especially invite submissions by students who we think will receive valuable feedback from the discussion-oriented focus of the conference. Authors are invited to submit papers in the following three categories: (1) Full research papers of 12 to 15 pages, describing original and unpublished work. Simultaneous submission to another venue is not allowed. (2) Short papers of 6 to 8 pages reporting on original and unpublished work in progress or system descriptions. Simultaneous submission to another venue is not allowed. (3) Full research papers up to 15 pages reporting on interesting and relevant work that has been published (or accepted for publication) in the last 18 months. Each submission will be peer-reviewed. All submissions should be formatted following Springer's LNCS format. For templates and instructions for authors,see http://www.springer.de/comp/lncs/authors.html. We request the submission of title and abstract prior to paper submission to support the tight schedule of reviewing. Authors must submit their abstracts and papers through the EUMAS 2015 Easychair submission site https://easychair.org/conferences/?conf=eumas15. PROCEEDINGS EUMAS proceedings will be published as a Springer LNCS/LNAI (post-)proceedings volume (www.springer.com/lncs). Full research papers and short papers describing original, unpublished work (categories 1 and 2) accepted at EUMAS 2015 will be included in the proceedings. We will give authors of accepted papers the opportunity to revise the camera-ready version of their paper(s) in order to incorporate feedback received upon the presentation of their work during the conference. JOURNAL SPECIAL ISSUE We also plan to publish a special issue of an ISI-ranked journal consisting of a small number of best papers extended with additional unpublished original work and fully refereed according to usual journal standards. After the conference, authors of selected papers will be invited to submit to the special issue. *** Important Dates *** - Deadline for registering abstracts: September 17, 2015 - Deadline for papers submission: September 20, 2015 - Final decisions to authors: October 15, 2015 - Camera Ready Papers: October 20, 2015 - Conference: 17- 18 December, 2015 All deadlines are at 23:59 UTC-12, i.e. before midnight on the respective date anywhere in the world. ============================= George Vouros Professor Dept of Digital Systems, ICT School, University of Piraeus Greece URL: http://ai-group.ds.unipi.gr/georgev/ Email: georgev at unipi.gr Voice: +30 210 4142552 From marco.gavanelli at unife.it Sat Sep 12 10:05:47 2015 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Sat, 12 Sep 2015 10:05:47 +0200 Subject: PADL 2016: Extended deadline. Best papers at TPLP rapid publications Message-ID: <55F3DCDB.2060703@unife.it> * NEWS: Extended deadlines and Best PADL 2016 papers at TPLP rapid publications * Due to the many requests, the deadlines have been extended: - Abstract submission: September 18, 2015 - Paper submission: September 27, 2015 Up to two of the best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication on the journal Theory and Practice of Logic Programming (see below). Call for Papers =============== 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) http://conf.researchr.org/home/PADL-2016 St. Petersburg, Florida, United States Mon 18 - Tue 19 January 2016 Co-located with ACM POPL 2016 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2016 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2016 will be co-located with the Symposium on Principles of Programming Languages (POPL 2016), in St. Petersburg, Florida (USA). Important Dates and Submission Guidelines ========================================= Abstract submission: September 18, 2015 Paper submission: September 27, 2015 Notification: October 21, 2015 Camera-ready: November 10, 2015 Symposium: January 18-19, 2016 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2016 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2016 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2016 will appear in the LNCS series of Springer Verlag. Up to two best papers accepted for publication at PADL'16 will be invited to submit an extended version to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. In the case of rapid publications the extra material should consist of extensions of the existing material, such as proofs, further experimental results, implementation details and such like. Papers containing substantial revision and new results compared to the conference paper should be submitted as regular articles as normal. Authors invited to submit a rapid publication should confirm that such extra material is available. Program Committee ================= - Mario Alviano, University of Calabria (Italy) - Lars Bergstrom, Mozilla Research (USA) - Edwin Brady, University of St Andrews (UK) - Mats Carlsson, SICS (Sweden) - Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute (Spain) - Thomas Eiter, Vienna University of Technology (Austria) - Thom Fruehwirth, University of Ulm (Germany) - Marco Gavanelli, University of Ferrara (Italy) - Geoffrey Mainland, Drexel University (USA) - Enrico Pontelli, New Mexico State University (USA) - John Reppy, University of Chicago (USA) - Ricardo Rocha, University of Porto (Portugal) - Torsten Schaub, University of Potsdam (Germany) - Tom Schrijvers, KU Leuven (Belgium) - Paul Tarau, University of North Texas (USA) - Niki Vazou, Univesrity of California, San Diego (USA) - Dimitrios Vytiniotis, Microsoft Research - Daniel Winograd-Cort, Yale University (USA) - Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center (USA) - Lukasz Ziarek, SUNY Buffalo (USA) Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Marco Gavanelli and John Reppy University of Ferrara University of Chicago Italy USA http://docente.unife.it/marco.gavanelli http://people.cs.uchicago.edu/~jhr email: padl2016 at easychair.org From grlmc at grlmc.com Sat Sep 12 14:22:00 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 12 Sep 2015 14:22:00 +0200 Subject: BigDat 2016: early registration deadline 22 September Message-ID: <273ee1ad23945759001d6fb3d551048f@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOLON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: Deusto University Rovira i Virgili University http://grammars.grlmc.com/BigDat2016/ ******************************************************** --- Early registration deadline: September 22, 2015 --- ******************************************************** AIM: BigDat 2016 will be 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 and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 5 keynote lectures, 16 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. 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. BigDat 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, 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: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering DeustoUniversity Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: tba PROFESSORS AND COURSES: (to be completed) Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), tba Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), tba Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/advanced] Large Scale Graph Analytics and Mining 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 adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/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: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be available on the webpage in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: DeustoUniversity Rovira i VirgiliUniversity -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at cnr.it Sat Sep 12 17:17:58 2015 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Sat, 12 Sep 2015 17:17:58 +0200 Subject: Final CfP: SHAPES 3.0, Cyprus, November 2-6, CONTEXT conference In-Reply-To: <55F43FF7.5020809@gmail.com> References: <55F43FF7.5020809@gmail.com> Message-ID: <55F44226.5090800@cnr.it> FINAL CALL FOR PAPERS: SHAPES 3.0 - THE SHAPE OF THINGS at the Ninth International and Interdisciplinary Conference on Modeling and Using Context Larnaca, Cyprus, 2-6 November 2015 http://www.shapes-research.org/ IAOA supported event (www.iaoa.org) Submissions due: September 15, 2015 Workshop date: November 2, 2015 KEYNOTES: - John Bateman (Bremen): The Shape of Creativity - Emilios Cambouropoulos (Thessaloniki): The Shape Of Music - The Music Of Shape ORGANISING COMMITTEE: Oliver Kutz (KRDB, Free University of Bolzano, Italy) Stefano Borgo (LOA, ISTC-CNR, Trento, Italy) Mehul Bhatt (University of Bremen, Germany) ********************************************************************** SHAPE, FORM, and STRUCTURE are some of the most elusive notions within many different disciplines ranging from the natural sciences through engineering to art. Several approaches have been proposed to study notions of shape, form and structure from different viewpoints, yet a comprehensive formal treatment of these notions is currently lacking and an interdisciplinary perspective has not yet been put forward. This workshop serves as an interdisciplinary platform for the discussion of all topics connected to shape (broadly understood): perspectives from psycho-linguistics, ontology, logic, computer science, mathematics, aesthetics, cognitive science and beyond are welcome to contribute and participate. We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary ideas, methods, and applications in the area of modelling shape, form, pattern and function. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and demos, and will allow ample time for open discussions amongst the participants. TOPICS INCLUDE: LINGUISTICS / PHILOSOPHY shape and form in natural language differences between shape, form, structure, and pattern shape in natural and artificial objects COGNITION shape perception and mental representation gestalt vs. structuralist understanding of shape cognition perception and shape (e.g. identifying objects from incomplete visual information) affordances, dispositions, and shape LOGICS, SPATIAL REPRESENTATIONS formal characterisations of shape and form logics for shape: e.g. fuzzy, modal, intensional, etc. logics for topology, symmetry, shape similarity etc. design semantics, spatial semantics shape and 3D space shape and space in creative assistance systems ONTOLOGY ontologies and classifications of shapes ontological relations among shape, objects and functions patterns as shapes of processes forms and patterns in ontology APPLICATIONS biology & chemistry: molecular shapes, shape in anatomy and phenotype definitions, shape in medical image analysis and annotation visual art and aesthetics; shape in Film and Photography; shape, form and structure in music; shape in computational creativity; naive physics and geography: e.g. qualitative classifications of shapes of geographic objects design & architecture: shape grammars; CAD, symmetry and beauty in architectural design engineering: formal shape analysis in engineering processes KEY DATES: Paper, Abstract, and Demo submissions: September 15 Notification of paper acceptance: October 10 Camera-ready copies: October 20 Online papers/proceedings: November 1 Workshop date: November 2, 2015 SUBMISSION POSSIBILITIES AND GUIDELINES: http://www.shapes-research.org/ ONLINE SUBMISSIONS VIA: https://easychair.org/conferences/?conf=shapes30 SPECIAL STUDENT SESSION AND SCHOLARSHIPS: In addition to full paper contributions, extended abstracts or work-in-progress short papers are invited. Such papers may be allotted a regular or a short presentation slot. Please refer to the online submission guidelines. We especially encourage young students or doctoral researchers to make use of the short submission format. However, the short paper format is open to all researchers. A limited number of student scholarships will be competitively made available to assist students to participate in the workshop. Awarded scholarships include a 1-year IAOA membership. DEMOS: We also invite proposals to present a system demonstration. Proposals should address the relevance of the demo to the topics of the workshop. Demos are not restricted to scientific projects; interdisciplinary collaborations involving partnerships, e.g., between artists, designers, researchers, are welcome to apply too. PROGRAM COMMITTEE: Frieder Nake (Bremen) Ingvar Johansson (Umeå) Tarek Besold (Osnabrück) Pieter Vermaas (Delft) Michael Gruninger (Toronto) Paulo E. Santos (Sao Paulo) Tillman Weyde (London) Giancarlo Guizzardi (Espírito Santo) Maria Rosaria Stufano Melone (Bari) Emilios Cambouropoulos (Thessaloniki) Nicola Guarino (Trento) Antony Galton (Exeter) For more information, the workshop website can be accessed at: http://www.shapes-research.org/ Organisers can be contacted by email at: shapes.workshop at gmail.com ************************************************************************** From ijv at acm.org Sat Sep 12 19:30:32 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 12 Sep 2015 14:30:32 -0300 Subject: Call for Papers KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: CALL FOR PAPERS *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) KR 2016 IMPORTANT DATES ----------------------- * Submission of title and abstract: 21 November 2015 * Paper submission deadline: 28 November 2015 * Notification of acceptance: 21 January 2016 * Camera-ready papers due: 19 February 2016 * Conference: 25-29 April 2016 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics SUBMISSION INFORMATION ---------------------- Submissions must be original, and should not have been previously published, accepted for publication, or currently be under review. Authors may not submit their paper elsewhere during the KR 2016 reviewing period. These considerations apply only to journals and conferences, and not to workshops and forums with a limited audience and without archival proceedings. In case of doubt, please contact the Program Chairs. Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip The conference proceedings will be published by AAAI Press. For complete details, see the 'Submission information' page at http://www.kr.org/KR2016 PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From adrianrp at unimelb.edu.au Mon Sep 14 05:28:05 2015 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Mon, 14 Sep 2015 03:28:05 +0000 Subject: AAMAS 2016 Workshop Call Message-ID: ********************************************* AAMAS 2016 CALL FOR WORKSHOPS http://sis.smu.edu.sg/aamas2016?itemid=9906 ********************************************* AAMAS-2016 invites proposals for the Workshop Program, to be held on May 9-10, 2016, immediately prior to the technical AAMAS conference. The objective of the AAMAS-2016 workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2016 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. All members of the AAMAS community are invited to submit workshop proposals for review. We encourage workshops that focus on emerging topics and applications, on open research questions and challenges, and on broader topics that are of interest to a wider community. Workshops can vary in length from half a day to two days, though we expect most to be one full day in duration. As attendance will be limited to registered participants, workshop organisers and attendees must register for their workshop, whose fee will be separate from the main conference fee. Workshop attendees do not need to register for the main AAMAS conference, but are encouraged to do so. AAMAS-2016 reserves the right to cancel workshops whose attendance does not support their running costs. _______________________ AAMAS-2016 is happy to announce that selected workshop papers will be published by Springer under two books. The aim of these books is to encourage innovative and visionary papers, even if their research work is still at a preliminary stage, as well as encourage the submission of good quality papers in general to all AAMAS-2016 workshops. To achieve these aims, the first book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. This book will be published under Springer's Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The second book will be a compilation of the best papers of the AAMAS-2016 Workshops, where again one paper (different from the selected visionary paper) will be selected from each AAMAS-2016 workshop. This second book will be published under Springer's Communications in Computer and Information Science (CCIS) series. By submitting a workshop proposal the workshop organisers commit to perform this selection in collaboration with the Workshop Co-chairs. ********************************************* Important Dates ********************************************* *** Strict Dates When submitting workshop proposals, the organisers commit to respect the following deadlines. - October 16, 2015: Deadline for workshop proposal submission - November 6, 2015: Acceptance notification - March 10, 2016: Deadline for sending two nominated "visionary papers" and two nominated "best papers" to the AAMAS-2016 Workshop Co-chairs - April 8, 2016: Deadline for sending the AAMAS-2016 Workshop Co-chairs: (1) the LATEX files of the agreed upon "visionary paper" and the agreed upon "best paper"; and (2) the PDF of the workshop proceedings, together with a list of audio-visual requirements and any special room requirements. - May 9-10, 2016: AAMAS-2016 Workshop days *** Suggested Dates Although we do not require all workshops to follow the same timeline for issuing their call for papers, paper submission, acceptance notification, and camera ready submission, we strongly suggest the following dates to ensure workshop organisers meet the strict deadlines above, especially those on March 10 and April 8, 2016. - November 30, 2015: Deadline to post, disseminate, and publicise the workshop's 1st call for papers - December 18, 2015: Deadline to post, disseminate, and publicise the workshop's 2nd call for papers - January 11, 2016: Deadline to post, disseminate, and publicise the workshop's 3rd call for papers - January 26, 2016: Acceptance notification for the AAMAS-2016 conference papers - February 1, 2016: Deadline for paper submissions to the workshop - March 7, 2016: Deadline for announcing accepted papers by the workshop - March 10, 2016: Deadline for collecting camera-ready papers (including latex files) from authors ********************************************* Requirements for submission ********************************************* The workshop proposals should be submitted electronically as a single PDF file through the Easychair system. The submission website is https://easychair.org/conferences/?conf=aamas2016workshops Proposals for workshops should be a maximum of five pages in length, and should contain the following information: 1- Title and acronym of the workshop. 2- A brief technical description of the workshop, specifying the workshop's goals, the technical issues that it will address, the relevance of the workshop to the main conference, together with a brief discussion of why and to whom the workshop is of interest. 3- A preliminary workshop format and a proposed schedule for organising the workshop, including the desired length for the workshop (usually 1 full day). Please include a brief description of how the organisers intend to encourage an atmosphere appropriate for a workshop, and indicate whether you intend to have any activities other than contributed talks (e.g., invited talks, panels, or posters). 4- A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Please include, when information is available: when and where they have been offered in the past (i.e., with AAMAS or another conference), organisers' names and affiliations, number of submitted/accepted papers, approximate attendance numbers, and follow-up publications (e.g., journal special issues). For workshops that have had previous editions (even if they had different titles and were not held with AAMAS), include a list of URLs of the websites of the previous editions. 5- Description of the paper review process and acceptance standards. 6- The names, affiliations, URLs, and email addresses of the proposed workshop organisers. This committee must consist of two to four people knowledgeable about the technical issues to be addressed. The organising committee should include individuals from multiple institutions, spreading across different regions. By submitting the workshop proposal, the organisers commit to fulfilling their responsibilities, outlined below in the "Responsibilities" section. 7- The name of the primary contact for the organising committee. 8- Mini CVs of the organising committee members, focusing on the qualifications of the individual committee members with respect to organising an AAMAS workshop, and including a list of key publications demonstrating scholarship in the field and a list of workshops previously arranged, if any. Note that strong proposals should include organisers who bring differing perspectives to the workshop topic and who are actively connected to the communities of potential participants. 9- A list of potential program committee members, including their titles and affiliations. 10- A tentative list of places (distribution lists, websites, journals, etc.) where the workshop is planned to be advertised. 11- If available, a list of tentatively confirmed attendees. ********************************************* Selection criteria ********************************************* The selection of workshops for the final program will be based upon multiple factors, including the scientific/technical interest of the topics in relation to the AAMAS community, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the capacity of the organisers in leading a successful workshop, and the capacity of the conference workshop program. Please note that AAMAS may request proposers addressing similar or overlapping content areas to merge their proposals. ********************************************* Responsibilities ********************************************* *** For all accepted proposals, AAMAS will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organisers, determining the workshop date and time. AAMAS reserves the right to cancel workshops, for example in case of a low number of registrants. *** Workshop organisers will be responsible for: - Replying promptly to email messages from the AAMAS-2016 Workshop Co-chairs. - Setting up a website for the workshop and providing its URL to the Workshop Co-chairs. - Adding the following text to the workshop's call for papers, preferably under a section on "proceedings": "The most 'visionary paper' will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Additionally, the 'best paper' will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop." - Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request. - Advertising the workshop and issuing the call for papers and the call for participation promptly, as per the suggested dates above. - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. - All workshop organisers are strongly advised to adopt the suggested deadlines for paper submissions, notifications of acceptance, and camera ready submissions, as per the suggested dates above. - Sending two nominated "visionary papers" and two nominated "best papers" to the AAMAS-2016 Workshop Co-chairs by March 10, 2016 the latest. Please note this is a strict deadline. Workshop organisers shall also collaborate with the Workshop Co-chairs in the selection process of their workshop's "visionary paper" and "best paper". - Sending the latex files of the agreed upon "visionary paper" and the agreed upon "best paper" to the AAMAS-2016 Workshop Co-chairs by April 8, 2016 the latest. Please note this is a strict deadline. - Making the PDF of the workshop proceedings available to the AAMAS-2016 Workshop Co-chairs by April 8, 2016, together with a list of audio-visual requirements and any special room requirements. Please note this is a strict deadline. For the proceedings, no shared latex format is required but \documentclass{proc} is encouraged. - Ensuring that the workshop organisers and the participants register for the workshop and are invited to register to the main conference. Please note that at least one author must register for the workshop in order for a paper to appear in the workshop proceedings. - Devising a schedule that meshes with shared breaks (coffee and lunch). - Coordinating and moderating workshop participation and content. AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. ********************************************* Inquiries ********************************************* Please send any inquiries to the AAMAS-2016 Workshop Co-chairs: Nardine Osman [nardine at iiia.csic.es] Artificial Intelligence Research Institute (IIIA-CSIC), Spain Carles Sierra [sierra at iiia.csic.es] Artificial Intelligence Research Institute (IIIA-CSIC), Spain From nivelle at ii.uni.wroc.pl Mon Sep 14 11:43:15 2015 From: nivelle at ii.uni.wroc.pl (Hans de Nivelle) Date: Mon, 14 Sep 2015 11:43:15 +0200 Subject: event@in.tu-clausthal.de In-Reply-To: References: Message-ID: <20150914094315.GA13553@ii.uni.wroc.pl> hello, could you please include this in the next Digest? On Time Registration for TABLEAUX/FroCoS 2015 in Wroclaw ending soon -------------------------------------------------------------------- On Time Registration: Registrations received before or on Sept 16th cost 1200 PLN. (290 Euro) Registrations received after this date will cost 25% more. Dates: 20-24 september 2015. Invited Speakers: Christoph Benzmueller: On a (Quite) Universal Theorem Proving Approach and its Application to Metaphysics Roy Dyckhoff: Coherentisation of First-Order Logic Andreas Herzig: Knowledge and Action: How should we combine their logics? Oliver Ray: Symbolic Support for Scientific Discovery in Systems Biology Philipp Ruemmer: Free variables and theories: Revisiting Rigid E-Unification Thomas Sturm: From Complete Elimination Procedures to Subtropical Decisions over the Reals Tutorials: - The distributed Ontology, Modeling and Specification Language (DOL), Till Mossakowski - Formal Representation of Inductive and Coinductive Datatypes with Applications to Modelling Tableaux Structures, Andrei Popescu - Automated Reasoning Building Blocks, Christoph Weidenbach - A Taste of CVC4, Cesare Tinelli, Andrew Reynolds, Clark Barrett Wroclaw: Wroclaw is a pleasant, moderately sized town in the center of Europe, approximately 350 km from Berlin, Prag and Warsaw. The old town is nice, and the conference is only 20 minutes walking away from the centre. TABLEAUX 2015: Tableaux methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableaux methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. The conference series aims to bring together researchers interested in all aspects of tableaux - theoretical foundations, applications, and implementation techniques. FroCoS 2015: In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led---in many research areas---to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2015 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use. Websites: http://tableaux2015.ii.uni.wroc.pl/ http://frocos2015.ii.uni.wroc.pl/ From manolis.stamatogiannakis at vu.nl Tue Sep 15 01:12:30 2015 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Tue, 15 Sep 2015 01:12:30 +0200 Subject: CFP Extension: BADGERS'15 - Big Data for Security Message-ID: <55F7545E.1060509@vu.nl> NEW DEADLINE --> September 22 ===================================================================== Call for Papers: BADGERS 2015 4th International Workshop on Building Analysis Datasets and Gathering Experience Returns for Security ===================================================================== http://bit.ly/badgers2015 - http://necoma-project.eu/badgers15/ Overview ------------------------------------ The BADGERS workshop is the venue for research on Big Data for security. This year, BADGERS will be collocated with RAID 2015 in Kyoto, Japan, in the first week of November. The workshop is scheduled for November 5, 2015. In contrast to the systems community, security researchers have only recently started collecting and looking at Internet-scale, real-world data (e.g., the EU WOMBAT and the US PREDICT initiatives). Experimental security analysis performed on such data is often hampered by concerns such as confidentiality, privacy, and liability. However attackers have become experts in leveraging the whole Internet to achieve their goals. To understand the modus operandi and the motivations of attackers, both the access to Internet-scale, real-world data and the techniques to mine it for relevant security knowledge are necessary. Hence there is a growing need to widen the scope of data-driven security analysis. The BADGERS workshop is positioned at the confluence of computer security and general purpose large-scale data processing and aims at bringing together people (e.g., researchers, practitioners, system administrators, security analysts) active in the emerging domain of security-related data collection and analysis for Internet-scale computer systems and networks. By giving visibility to existing solutions, the workshop promotes and encourages the better sharing of data and knowledge. The increasing availability of tools and techniques to process large-scale data (aka Big Data) will benefit computer security. Important Dates ------------------------------------ * Submission due: Sep 22, 2015 (EXTENDED) * Acceptance notification: Oct 15, 2015 * Workshop date: Nov 5, 2015 * Camera-ready due: Nov 26, 2015 At the workshop, the preliminary versions of the accepted papers will be available at the workshop website. After the workshop, the camera-ready manuscripts will be collected to be published as the official proceedings. Topics of Interest ------------------------------------ The BADGERS workshop seeks contributions in all areas related to Big Data for security, including the following: * Scalable data collection from networks, hosts, or applications * Real-time gathering and aggregation of diverse sets of raw data * Summarization of raw data with respect to security goals * Attack-resilient data collection * Characterization of dataset external validity * Scalability of security analysis with data volume * Scalability of security analysis with concurrent-attack volume * Combined historical and real-time security analysis * Evaluation of result accuracy for large datasets * Design of realistic large-scale testbeds * Real-time, incremental anonymization for data sharing * Successful, failed, and novel models of data sharing * Sharing of analysis results and supporting data * Internet-scale sharing of security intelligence * Legal issues of data collection and sharing We especially encourage novel and controversial ideas that are not on the above list. Our goal is to create through BADGERS a venue for fruitful discussion about Big Data for security. Submission Formats ------------------------------------ Conference proceedings are planned to be published by IEEE/CPS. Please use the IEEE/CPS Conference Templates to prepare your submission: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Submitted papers should be up to 12 pages excluding bibliography and well-marked appendices, and should not exceed 16 pages including bibliography and appendices. Submissions need not be anonymized. MS Word users should use the A4 sized template. Submissions will be handled by EasyChair: https://easychair.org/conferences/?conf=badgers2015 Organisation Committee ------------------------------------ Program Chairs: * Mihai Christodorescu, Qualcomm Research, USA * Katsunari Yoshioka, Yokohama National University, Japan Steering Committee: * Marc Dacier * Thorsten Holz, Ruhr University Bochum, Germany * Engin Kirda, Northeastern University, USA * Sotiris Ioannidis, FORTH, Greece Program Committee: * Daisuke Inoue, NICT, Japan * Engin Kirda, Northeastern University, USA * Kanta Matsuura, University of Tokyo, Japan * Jose Nazario, Invincea Labs, USA * Moheeb Rajab, Johns Hopkins Univesity, USA * Marc Stoecklin, IBM Research Zurich, Switzerland * Rodrigo Diaz, Atos, Spain * Jouni Viinikka, 6cure SAS, France * Gregory Blanc, Telecom SudParis, France * Youki Kadobayashi, Nara Institute of Science and Technology, Japan * Joaquin Garcia-Alfaro, Telecom SudParis, France * Elias Athanasopoulos, FORTH, Greece * Piotr Kijewski, CERT Polska, Poland * Antonis Papadogiannakis, ProtectWise, USA Publicity and Publication Chair: * Manolis Stamatogiannakis, VU University Amsterdam, The Netherlands Sponsors ------------------------------------ The BADGERS workshop is sponsored by: * FP7 project NECOMA (http://necoma-project.eu @necomaproject) * FP7 Network of Excellence SysSec (http://syssec-project.eu @syssecproject) Follow the sponsors on twitter for BADGERS updates. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsingliangchen at gmail.com Wed Sep 16 16:07:32 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Wed, 16 Sep 2015 22:07:32 +0800 Subject: Call for Participation: PRIMA 2015 Message-ID: Call for Participation: PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems Dates: 26th-30th October 2015 Location: Bertinoro, Italy http://prima2015.apice.unibo.it ============================================= Early registration deadline is 21st September ============================================= Welcome to the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015). Originally started as a regional (Asia-Pacific) workshop in 1998, PRIMA has become one of the leading and influential scientific conferences for research on multi-agent systems. Each year, PRIMA brings together active researchers, developers and practitioners from both academia and industry to showcase, share and promote research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research. The PRIMA-2015 is a very special one, because this is the very first time that PRIMA is brought to Europe, since it emerged as a fully-fledged international conference in 2009. Previous successful editions were held in Nagoya, Japan (2009), Kolkata, India (2010), Wollongong, Australia (2011), Kuching, Malaysia (2012), Dunedin, New Zealand (2013), and Gold Coast, Australia (2014). PRIMA 2015 offers convenient EARLY registration fees including full board accommodation, the social events and the conference proceedings as well. The registration page with additional information is http://www.ceub.it/default.asp?id_c=476&id=436#.Vfl0rvOqqkr The programme of the conference is here: http://apice.unibo.it/xwiki/bin/view/PRIMA2015/Program Looking forward to seeing you in Bertinoro, Italy! ------------------------- PRIMA-2015 Program Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From p.torroni at unibo.it Thu Sep 17 12:07:05 2015 From: p.torroni at unibo.it (Paolo Torroni) Date: Thu, 17 Sep 2015 10:07:05 +0000 Subject: Second Call for Papers: Special Section of the ACM Transactions on Internet Technology Message-ID: <90283ED1-6DA3-410C-9E67-D51CB6B47C0C@unibo.it> [apologies for cross-posting] ARGUMENTATION IN SOCIAL MEDIA Call for Papers for a Special Section of the ACM Transactions on Internet Technology http://toit.acm.org/CfP.html Guest-edited by Iryna Gurevych, UKP Lab, TU Darmstadt Marco Lippi, DISI, University of Bologna Paolo Torroni, DISI, University of Bologna AIMS AND SCOPE Argumentation is a rapidly expanding multidisciplinary research area at the confluence of diverse fields such as philosophy, communication studies, logic and artificial intelligence, computational linguistics, social sciences, political sciences, and law. The contributions coming from these heterogeneous disciplines and the large number of potential applications that can be triggered by these studies have made argumentation one of the hottest topics within the artificial intelligence community with immediate relevance to the Web, distributed computing, and mobile systems. The Internet and the Web have inspired a variety of real-world applications for argumentation, since social media, social networks, and distributed platforms are some of the favorite sources and outlets for opinions, advice, and comments of any sort for a large share of the world population, and this type of content could very well lend itself to argumentative analysis. However, current argumentative analysis methodologies are costly and pose clear issues of scalability, since they are mainly manual or only semi-automated, and they require a great deal of expertise. Indeed, current text-based social media analytics mainly focuses on approaches such as sentiment analysis, and does not yet consider argument analysis. Sentiment analysis lets us analyze the users' opinions about certain topics, but falls short of identifying the reasons for the opinions expressed and the users' chains and patterns of reasoning. Recently we have observed tremendous interest and rapid expansion of argumentation mining -- the process of automatically extracting arguments from unstructured text -- as a means of filling this gap. Developing enabling platforms for formal and informal argumentation in distributed settings, mining dynamic natural language text, managing consistency and accuracy in data representation, and information presentation and visualization at large are very important and certainly challenging domains for argumentation mining. Social networks and social media in particular provide high-throughput, highly heterogeneous and highly dynamic sources of data, which are likely to include significant argumentative content. With argumentation mining, the potential behind the combination of social media and argumentation studies has grown, encompassing domains such as social issues and public policy, with applications ranging from the analysis of the dynamics of social debates on the Web to the detection of anomalous behavior; and from the study of how influential arguments spread and become dominant within social networks to the role of specific users within this kind of process. The aim of this TOIT special section is to address the important challenges that argumentation in the Web poses, involving the perspective of distributed computing. These include, but are not limited to, the development of algorithms and architectures for mining large volumes of highly dynamic unstructured or semi-structured data especially natural language text coming from social media; the definition of appropriate models and structures that enable processing and visualizing such data; the privacy, trust, legal, and ethical issues related to the management and processing of user-generated argumentative content; the development of enabling platforms for formal and informal argumentation in distributed and agent-based environments; the management of consistent and accurate data representations; the novel use of resources such as ontologies and vocabulary systems; and the presentation of large, complex, community-based argumentative content in a usable way. TOPICS A list of topics to be covered by this special section includes, but is not limited to a set of areas listed below. Foundations · Information models of user-generated arguments and debate in social media · Argumentation-enabled collective intelligence and collaboration · Security, privacy, trust, and ethical issues related to argumentative analysis Methods and technologies · Mining and visualization of large volumes of highly dynamic data · Argumentation and social informatics, social computing, and crowdsourcing · Innovative semantic search methods, algorithms, and tools · Middleware and APIs for online debating technologies Applications · Argumentation mining in social media · Processing of user reviews for online entertainment, e-commerce, and e-business applications · Argumentation for e-learning · Argumentation analysis for policy making · Argumentation and online debates and mining for e-government SUBMISSION INSTRUCTIONS Manuscripts to this special section should be submitted via the Manuscript Central website linked here: http://toit.acm.org/submission.html Please select “Special Section: Argumentation in Social Media” under Manuscript Type dropdown in the Manuscript Central website. Submissions should be in the ACM Transactions style, and limited to 20 pages. Authors should adhere to the submission instructions and editorial policies described at http://toit.acm.org/submission.html IMPORTANT DATES Submissions: 15 January 2016 First decisions: 16 May 2016 Revisions: 20 July 2016 Final decisions: 15 September 2016 Final submissions: 14 October 2016 Publication: January 2017 CONTACT INFORMATION Please direct all your inquiries to asmtoit at gmail.com From fabio.zanasi at ens-lyon.fr Fri Sep 18 16:12:42 2015 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Fri, 18 Sep 2015 16:12:42 +0200 (CEST) Subject: CMCS 2016 : First Call for Papers Message-ID: <20150918141242.E1FFAA3B51@jabiru.ens-lyon.fr> Call for Papers 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, the Netherlands http://www.coalg.org/cmcs16 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016. Keynote Speaker --------------- Jiri Adamek, Braunschweig University of Technology, Germany Invited Speakers --------------- Andreas Abel, University of Gothenburg, Sweden Filippo Bonchi, CNRS/ENS Lyon, France Special Session --------------- There will be a special session on weighted automata, organized by Borja Balle, Lancaster University, United Kingdom Alexandra Silva, University College London, United Kingdom Important dates --------------- Abstract regular papers 4 January 2016 Submission regular papers 13 January 2016 Notification regular papers 12 February 2016 Camera-ready copy 19 February 2016 Submission short contributions 22 February 2016 Notification short contributions 6 March 2016 Programme committee ------------------- Paolo Baldan, University of Padova, Italy Corina Cirstea, University of Southampton, United Kingdom Ugo Dal Lago, University of Bologna, Italy Ichiro Hasuo (chair), University of Tokyo, Japan Tom Hirschowitz, CNRS and University of Savoie, France Bart Jacobs, Radboud University Nijmegen, the Netherlands Shin-ya Katsumata, Kyoto University, Japan Bartek Klin, University of Warsaw, Poland Barbara Koenig, University of Duisburg-Essen, Germany Stefan Milius, FAU Erlangen-Nuernberg, Germany Matteo Mio, CNRS and ENS Lyon, France Rasmus Mogelberg, IT University of Copenhagen, Denmark Larry Moss, Indiana University, United States Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Dirk Pattinson, Australian National University, Australia Daniela Petrisan, Radboud University Nijmegen, the Netherlands Jean-Eric Pin, CNRS and Paris Diderot University, France John Power, University of Bath, United Kingdom Jurriaan Rot, University of Leiden, the Netherlands Jan Rutten, CWI/Radboud University Nijmegen, the Netherlands Alexandra Silva, University College London, United Kingdom Joost Winter, University of Warsaw, Poland James Worrell, University of Oxford, United Kingdom Publicity chair --------------- Fabio Zanasi, ENS Lyon, France PC chair -------- Ichiro Hasuo, University of Tokyo, Japan Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2016. The proceedings of CMCS 2016 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. From grlmc at grlmc.com Sat Sep 19 09:46:55 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 19 Sep 2015 09:46:55 +0200 Subject: LATA 2016: 2nd call for papers Message-ID: <71a2cf4130b35085ccfe35e51ed774ae@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2016   PRAGUE, CZECH REPUBLIC   MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE: LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.   SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata   STRUCTURE: LATA 2016 will consist of: invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS: (to be completed) Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Jean-François Raskin (Free University of Brussels), Non-zero Sum Games for Reactive Synthesis Frank Wolter (University of Liverpool), Automata for Ontologies   PROGRAMME COMMITTEE: Amihood Amir (Bar-IlanUniversity, Ramat Gan, Israel) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Bruno Courcelle (LaBRI, Bordeaux, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Umeå University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Javier Esparza (Technical University of Munich, Germany) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (YonseiUniversity, Seoul, South Korea) Markus Holzer (University of Giessen, Germany) Juraj Hromkovič (ETH Zurich, Switzerland) Oscar H. Ibarra (University of California, Santa Barbara, USA) Costas S. Iliopoulos (King's College London, UK) Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhumäki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Andreas Malcher (University of Giessen, Germany) Oded Maler (VERIMAG, Gières, France) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Bořivoj Melichar (CzechTechnicalUniversity in Prague, Czech Republic) Ugo Montanari (University of Pisa, Italy) František Mráz (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (Bar-IlanUniversity, Ramat Gan, Israel) Martin Plátek (CharlesUniversity in Prague, Czech Republic) Alberto Policriti (University of Udine, Italy) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Frits Vaandrager (RadboudUniversity, Nijmegen, The Netherlands) Pierre Wolper (University of Liège, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janoušek (Prague, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Radomír Polách (Prague) Eliška Šestáková (Prague) Jan Trávníček (Prague) Bianca Truthe (Giessen) 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 [1]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016   PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION: The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php DEADLINES: Paper submission: October 19, 2015 (23:59 CET) Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: LATA 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: České vysoké učení technické v Praze Universitat Rovira i Virgili Links: ------ [1] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Sat Sep 19 11:31:56 2015 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Sat, 19 Sep 2015 11:31:56 +0200 Subject: CFP: IJAR Special issue on Probabilistic Logic Programming Message-ID: International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 2nd Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2015). Call for additional contributions. Deadline: Jan 15th, 2016 The 2nd PLP workshop was held on the 31st of August 2015, in Cork, Ireland as part of the International Conference on Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Cork, as well as new submissions on all topics of the workshop. Topics include but are not limited to: ------ * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Editors ----- Fabrizio Riguzzi (University of Ferrara, Italy) Joost Vennekens (KU Leuven, Belgium) Deadline: 15th January 2016 Submissions: Authors should prepare their manuscript according to the Guide for Authors available from the online submission page of the (IJAR) at http://ees.elsevier.com/ija/admin/default.asp Please select "SI: Prob. Log. Prog. 2015" at the "Article Type" step in the submission process. All papers will be peer-reviewed following the IJAR reviewing procedures. The CFP for this special issue can be found here: http://www.journals.elsevier.com/international-journal-of-approximate-reasoning/call-for-papers/2nd-probabilistic-logic-programming-workshop/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From missura.olana at gmail.com Sat Sep 19 21:21:20 2015 From: missura.olana at gmail.com (Olana Missura) Date: Sat, 19 Sep 2015 15:21:20 -0400 Subject: ECML PKDD 2016 Call for journal track papers Message-ID: Dear all, we invite submissions for the journal track of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) 2016. The conference provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning, data mining, and knowledge discovery. The conference will take place in Riva Del Garda, Italy, September 19-23, 2016. This edition will feature a full day of plenary presentations---for papers of general interest to the whole community---and two days of parallel sessions. All accepted papers will be presented both orally and as posters. *What papers are eligible for the journal track?* Papers on all topics related to machine learning, knowledge discovery, and data mining are invited. However, given the special nature of the journal track, only papers that satisfy the quality criteria of journal papers and at the same time lend themselves to conference talks will be considered. This implies that journal versions of previously published conference papers, or survey papers will not be considered for the special issue. Papers that do not fall into the eligible category may be rejected without formal reviews but can of course be resubmitted as regular papers. Authors are encouraged to adhere to the best practices of Reproducible Research (RR), by making available data and software tools for reproducing the results reported in their papers. For the sake of persistence and proper authorship attribution, we require the use of standard repository hosting services such as http://dataverse.org, http://mldata.org, http://openml.org, etc. for data sets, and http://mloss.org, https://bitbucket.org, https://github.com, etc. for source code. Authors who submit their work to the special ECMLPKDD issues of the journals commit themselves to present their results at the ECMLPKDD 2016 conference in case of acceptance. *How to submit?* To submit to this track, authors have to make a journal submission to either the Springer Data Mining and Knowledge Discovery journal or the Springer Machine Learning journal, and indicate that the submission is for the “ECMLPKDD 2016" special issue. It is recommended that submitted papers do not exceed 20 pages including references and appendices, formatted in the Springer journal slyle (svjour3,smallcondensed). This is a soft limit, but if a submission exceeds the limit, please provide a brief justification regarding the length in the cover letter. Authors are required to include a cover letter containing a short summary of their contribution (2 pages max), where they address the following questions: 1. What is the main claim of the paper? Why is this an important contribution to the machine learning/data mining literature? 2. What is the evidence provided to support claims? Be precise. 3. What papers by other authors make the most closely related contributions, and how is the paper related to them? 4. Who are the most appropriate reviewers for the paper? Authors are encouraged to suggest up to four candidate reviewers (especially if external to the Guest Editorial Board), including a brief motivation for each suggestion. *What is the reviewing process?* The journal track allows continuous submissions from the end of September 2015 to March 2016. We expect two cutoffs per month on which we distribute papers to reviewers with the first one being the 27th of September 2015 and the last one being the 30th of March 2016. For papers accepted without revisions we strive for a turn around time of two months. This means that we should be able to include all of those submissions in the special issue. However, in the last years there has often been the need for revisions and we therefore recommend to submit papers as early as possible. *Contact* You can contact the Journal Track Chairs at jt_chairs at ecmlpkdd2016.org. Sincerely, ECML PKDD 2016 organizers -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mpavone at dmi.unict.it Mon Sep 21 11:01:39 2015 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 21 Sep 2015 11:01:39 +0200 Subject: CfP HM 2016 - 10th International Workshop on Hybrid Metaheuristics, 8-10 June 2016, Plymouth, UK Message-ID: <20150921110139.Horde.AgkpZOph4B9V-8dz6uOTlGA@mbox.dmi.unict.it> CALL FOR PAPERS ** Apologies for cross-posting ** ** Please forward to anybody who might be interested. ** HM 2016 - 10th International Workshop on Hybrid Metaheuristics June 8-10, 2016 - Plymouth, United Kingdom http://www.dmi.unict.it/hm2016/ https://easychair.org/conferences/?conf=hm2016 hm2016 at dmi.unict.it *** You are invited to submit papers to this exciting event! *** -- **** PLENARY SPEAKERS: Carlos A. Coello Coello & Jin-Kao Hao More speakers to be announced **** SUBMISSION DEADLINE: 18th January 2016 http://www.dmi.unict.it/hm2016/dates.html -- ** General Information ** The HM Workshops are intended to be an international forum for researchers in the area of design, analysis, and experimental evaluation of metaheuristics. Metaheuristics, such as simulated annealing, evolutionary algorithms, tabu search, ant colony optimization, scatter search and iterated local search, are considered state-of-the-art methods for many problems. In recent years, however, it has become evident that the concentration on a sole metaheuristic is rather restrictive. A skilled combination of concepts from different optimization techniques can provide a more efficient behavior and a higher flexibility when dealing with real-world and large-scale problems. Hybrid Metaheuristics are such techniques for optimization that combine different metaheuristics or integrate AI/OR techniques into metaheuristics. HM 2016 is organized as a non-profit event. ** Paper Submission ** http://www.dmi.unict.it/hm2016/call.html Authors are encouraged to submit novel and unpublished original contributions in one of the topics of the Workshop, and explain how their work sheds light on the fundamental properties of hybrid metaheuristics field, and makes progress on the important open questions. Please prepare your paper in English using the Lecture Notes in Computer Science (LNCS) template. HM 2016 includes two different types of submission: 1) *regular paper*: 15 pages maximum length in Springer LNCS format, including figures, table & references, and should report on new and unpublished work; 2) *work for oral or poster presentation only* (no page restriction; any format): It should discuss works in progress; new research ideas; works previously published elsewhere (it is essential that a reference to the previous article is clearly cited); and all that may be relevant and fruitful for soliciting discussions at the workshop. All submissions will be subject to peer review by the program committee, and all accepted submissions are allocated either an oral presentation slot or a poster slot with no distinction being made between the submission options. ** Important Dates ** - Paper submission deadline: January 18th, 2016 - Paper Notification: February 18th, 2016 - Camer-ready papers deadline: March 18th, 2016 - Early registration: March 18th, 2016 ** Proceedings ** All accepted *regular* papers will be published in a volume of the series on LNCS - Lecture Notes in Computer Science - from Springer. All the other kind of submissions (short papers, abstract of the oral presentations, poster presentations) will be published in an electronic book on the HM 2016 web site. Significantly extended versions of selected papers from the LNCS proceedings of HM 2016 will be considered for a special issue of an indexed international journal (TBA). ** Program Committee ** http://www.dmi.unict.it/hm2016/committee.html ** Organizing Team ** - General Chairs: Angelo Cangelosi & Vincenzo Cutello - Program Chairs: Christian Blum, Mario Pavone & El-Ghazali Talbi - Publication Chair: Maria J. Blesa - Local Chair: Alessandro Di Nuovo ----- http://www.dmi.unict.it/hm2016/ hm2016 at dmi.unict.it Looking forward to welcoming you to Plymouth in June 2016. -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================================== HM 2016 - 10th International Workshop on Hybrid Metaheuristics June 8-10, 2016 - Plymouth, UK http://www.dmi.unict.it/hm2016/ =========================================================================== SSBSS - International Synthetic & Systems Biology Summer School * Biology meets Engineering and Computer Science * =========================================================================== ICSI^3 - International Congress on Systems Immunology & ImmunoInformatics * Immunology without Borders * =========================================================================== 12th European Conference on Artificial Life - ECAL 2013 http://mitpress.mit.edu/books/advances-artificial-life-ecal-2013 =========================================================================== From calendarsites at insticc.org Mon Sep 21 11:24:08 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Mon, 21 Sep 2015 10:24:08 +0100 Subject: =?iso-8859-1?Q?CFP_1st_International_Conference_on_Complex_Information_Sy?= =?iso-8859-1?Q?stems_-_COMPLEXIS_2016?= Message-ID: <031901d0f44f$6c48abc0$44da0340$@insticc.org> CALL FOR PAPERS 1st International Conference on Complex Information Systems – COMPLEXIS 2016 Website: www.complexis.org April 22 – 24, 2016 Rome, Italy Regular Papers Paper Submission: December 1, 2015 Authors Notification: January 28, 2016 Camera Ready and Registration: February 12, 2016 Position Papers Paper Submission: January 5, 2016 Authors Notification: February 5, 2016 Camera Ready and Registration: February 19, 2016 Workshops Workshop Proposal: November 9, 2015 Special Sessions Special Session Proposal: November 18, 2015 Tutorials, Demos and Panel Proposals December 14, 2015 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: OMG – Object Management Group FIPA - The Foundation for Intelligent Physical Agents WfMC – Workflow Management Coalition Logistics Partner: SCITEVENTS – Science and Technology Events COMPLEXIS – The International Conference on Complex Information Systems, aims at becoming a yearly meeting place for presenting and discussing innovative views on all aspects of Complex Information Systems, in different areas such as Informatics, Telecommunications, Computational Intelligence, Biology, Biomedical Engineering and Social Sciences. Information is pervasive in many areas of human activity – perhaps all – and complexity is a characteristic of current Exabyte-sized, highly connected and hyper dimensional, information systems. COMPLEXIS 2016 is expected to provide an overview of the state of the art as well as upcoming trends, and to promote discussion about the potential of new methodologies, technologies and application areas of complex information systems, in the academic and corporate world. KEYNOTE LECTURES Peter Sloot, University of Amsterdam, Netherlands; Complexity Institute Singapore, Singapore; ITMO St. Petersburg, Russian Federation PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef ( http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library . A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of Open Journal of Big Data (OJBD) . A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of International Journal of Organizational and Collective Intelligence. A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of Future Generation Computer Systems Journal. A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a Journal of Network and Computer Application. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.complexis.org/BestPaperAward.aspx COMPLEXIS CONFERENCE CHAIR Victor Chang, Leeds Beckett University, United Kingdom PROGRAM CO-CHAIRS Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Oleg Gusikhin, Ford Research & Adv. Engineering, United States CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. COMPLEXITY IN INFORMATICS, AUTOMATION AND NETWORKING 2. COMPLEXITY IN BIOLOGY AND BIOMEDICAL ENGINEERING 3. COMPLEXITY IN COMPUTATIONAL INTELLIGENCE 4. COMPLEXITY IN SOCIAL SCIENCES AREA 1: COMPLEXITY IN INFORMATICS, AUTOMATION AND NETWORKING * Complexity Theory * Chaos Theory and Applications * Quantum Computing * Information and Entropy * Simulation and Modeling * Automation, Control and Robotics * Connected Vehicles * Complex Networks * Internet and the Semantic Web * Big Data Analytics * Usability of Complex Information Systems AREA 2: COMPLEXITY IN BIOLOGY AND BIOMEDICAL ENGINEERING * Complex Biomedical Systems and Signals * Bioinformatics * Computational Biology * Biological and Biomedical Data Mining * Ontology Engineering * Biomedical Signal Processing * Biomedical Imaging and Data Visualization * Health Systems Complexity * Artificial Life * Population Models AREA 3: COMPLEXITY IN COMPUTATIONAL INTELLIGENCE * Complex Adaptive Systems * Evolutionary Computing * Neuro-fuzzy Systems * Self-Organizing Systems * Deep Learning * Non-Linear Dynamics * Decision Making under Uncertainty * Knowledge-Based Systems * Intelligent Multi-agent Systems AREA 4: COMPLEXITY IN SOCIAL SCIENCES * Social Networks * Linguistic and Cognitive Systems * Complexity Management * Data-Driven Models * Visualization * Cultural Models * Multi-Agent Systems * Economic Complexity * Information Systems * Security, Privacy and Trust PROGRAM COMMITTEE http://www.complexis.org/ProgramCommittee.aspx Please check further details at the conference website: http://www.complexis.org/ COMPLEXIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 520 184 Fax: +351 265 520 186 e-mail: complexis.secretariat at insticc.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andrea.orlandini at istc.cnr.it Mon Sep 21 22:57:41 2015 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 21 Sep 2015 22:57:41 +0200 Subject: Call for Papers - Robotics Track @ International Conference on Automated Planning and Scheduling (ICAPS 2016) Message-ID: <56006F45.1090806@istc.cnr.it> Apologies for multiple copies == ICAPS 2016 ROBOTICS TRACK -- Call for Papers == The 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) June 12-17, 2016, London, United Kingdom http://icaps16.icaps-conference.org (icaps16london at gmail.com for inquiries) Abstracts due: November 18, 2015 Papers due: November 22, 2015 Notification: January 26, 2016 In 2016 ICAPS will run a robotics track as part of the main conference. Following on from successful events in 2014 and 2015, this will again emphasize the importance and opportunities of reuniting the fields of AI planning and (autonomous) robotics. This provides an opportunity for the AI planning and scheduling community to respond to the challenges that robotics applications pose and contribute to the advance of intelligent robotics. This is also an opportunity for the robotics community to propose integrated solutions, discuss its challenges related to planning for autonomous robots (deliberative, reactive, continuous planning and execution etc.) and present its expectations of the planning and scheduling community. In this regard, the robotics track aims to present research at the intersection of the fields of robotics and planning & scheduling. We welcome work on the planning, execution and coordination of individual or teams of robots, at the level of tasks, (manipulation) actions, perception, behaviors and motions. Submission of work that has been demonstrated on actual robot systems is specifically encouraged. Topics include, but are not limited to: robot motion, path, task and mission planning and execution; learning action and task models; acquisition of planning models for robotics; failure detection and recovery; integrated planning and execution in robotic architectures; planning for long-term autonomy in robotics; planning and coordination methods for multiple robots; mixed-initiative planning and variable autonomy for robotic systems; human-aware planning and execution in human-robot interaction, including safety; adversarial action planning in competitive robotic domains; planning for perception; formal methods for robot planning and control; planning domain representations for robotics applications; benchmark planning domains for robots; real-world planning applications for autonomous robots. Author Guidelines ----------------- Authors may submit long papers (8 pages plus up to one page of references) or short papers (4 pages plus up to one page of references). The type of paper must be indicated at submission time. For more information, see: http://icaps16.icaps-conference.org All papers, regardless of length, will be reviewed against the standard criteria of relevance, originality, significance, clarity and soundness, and are expected to meet the same high standards set by ICAPS. Short papers may be of narrower scope, for example by addressing a highly specific issue, or proposing or evaluating a small, yet important, extension of previous work or new idea. Authors making multiple submissions must ensure that each submission has significant unique content. Papers submitted to ICAPS 2016 may not be submitted to other conferences or journals during the ICAPS 2016 review period nor may they be already under review or published in other conferences or journals. Overlength papers will be rejected without review. All submissions will be made electronically, through the EasyChair conference system: https://www.easychair.org/conferences/?conf=icaps16 Submissions must be in the AAAI format. For more information, see the submission instructions on ICAPS 2016 submission page. The proceedings will be published by AAAI Press. All accepted papers will be published in the main conference proceedings and will be presented orally at the conference (full papers will be allocated more time). Important Dates --------------- Abstracts (electronic submission) due: November 18th, 2015 Papers (electronic submission) due: November 22nd, 2015 Notification of acceptance: January 26th, 2015 The reference timezone for all deadlines is UTC-12. That is, as long as there is still some place anywhere in the world where the deadline has not yet passed, you are on time! Organizing Committee -------------------- Robotics Track chairs: Nick Hawes (University of Birmingham, United Kingdom) AndreA Orlandini (National Research Council, Italy) Conference Chairs: Andrew Coles (King's College London) Daniele Magazzeni (King's College London) Program Chairs: Amanda Coles (King's College London) Stefan Edelkamp (University of Bremen, Germany) Scott Sanner (NICTA and ANU, Australia) Program Committee (to date, more to come) Anthony Barrett (NASA JPL, USA) Michael Beetz (Bremen University, Germany) Sara Bernardini (King's College, United Kingdom) Amedeo Cesta (CNR-ISTC, Italy) Alberto Finzi (University of Napoli "Federico II", Italy) Robert Fitch (University of Sydney, Australia) Malik Ghallab (LAAS-CNRS, France) Joachim Hertzberg (University of Osnabrück, Germany) Laura Hiatt, (Naval Research Laboratory, USA) Andreas Hofmann (MIT, USA) Felix Ingrand (LAAS/CNRS, France) Erez Karpas (MIT, USA) Sven Koenig (University of Southern California, USA) Jonas Kvarnstrom (Linköping University, Sweden) Maxim Likhachev (Carnegie Mellon University, USA) Francisco Melo (Instituto Superior Tecnico/INESC-ID, Spain) Daniele Nardi (Sapienza University, Italy) Bernhard Nebel (Albert-Ludwigs-Universität, Germany) Tim Niemueller (Aachen University, Germany) Leslie P. Kaelbling (MIT, USA) Russell Knight (NASA JPL, USA) Amit Kumat Pandey (Aldebaran, France) Federico Pecora (Örebro University, Sweden) Frederic Py (Faculty of Engineering, Univ. of Porto, Portugal) Kanna Rajan (Faculty of Engineering, Univ. of Porto, Portugal) Alessandro Saffiotti (Örebro University, Sweden) Reid Simmons (Carnegie Mellon University, USA) Siddarth Srivastava (Berkeley University, USA) Manuela Veloso (Carnegie Mellon University, USA) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! From epontell at cs.nmsu.edu Wed Sep 23 04:48:17 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Tue, 22 Sep 2015 20:48:17 -0600 Subject: CFP: First AAAI International Workshop on Artificial Intelligence for Smart Grids and Smart Buildings Message-ID: <87D5852F-2142-4E8A-B4AC-C769F6F85A48@cs.nmsu.edu> First International Workshop on Artificial Intelligence for Smart Grids and Smart Buildings February 12 or 13, 2016 Phoenix, Arizona Co-Located with AAAI-2016 WORKSHOP DESCRIPTION The proliferation of intelligent devices and the availability of electric monitoring facilities, broadband communication networks, computational intelligence, and customer-driven electricity storage and generation capabilities, have posed the foundations for the next generation power grids and buildings: smart grids and smart buildings. AI plays a key role in smart grids and in smart buildings; the infrastructure provides information to support automated decision making on how to autonomously adapt production and consumption of energy, optimize costs, waste, and environmental impact, and ensure safe, secure, and efficient operation. The goal of this workshop is to bring together researchers from diverse areas of AI to explore both established and novel applications of AI techniques to address the design, implementation, and deployment of smart grids and smart buildings. TOPICS • Multi-agent systems in smart grids and smart buildings • Optimization methods for smart grids and smart buildings • Machine learning mechanisms for smart grids and smart buildings • Knowledge-based methods in design of smart grids and smart buildings • Coordination of intelligent agents in smart grids and smarNot buildings • Human-computer interactions within smart grids and smart buildings • Negotiation and trading strategies in energy markets • Simulations of energy markets, smart grids, and smart buildings WORKSHOP FORMAT The workshop will include three components: an invited keynote speaker; a collection of presentations selected from peer-reviewed submissions; and a closing panel to discuss future directions of research in this field. SUBMISSIONS Participants should submit a paper (maximum 6 pages + 1 page of references), describing their work on one or more of the topics relevant to the workshop, using the AAAI style files. Accepted papers will be presented during the workshop and will be published as AAAI technical reports, which will be made freely available in AAAI's digital library. All submissions are conducted via EasyChair: http://www.easychair.org/conferences/?conf=aisgsb2016. Submissions should include the name(s), affiliations, and email addresses of all authors. IMPORTANT DATES * October 23rd: Submission Deadline * November 23rd: Acceptance Notification * December 7th: Camera-Ready Deadline * February 12th or 13th: Workshop ORGANIZATION Enrico Pontelli (Chair), New Mexico State University, epontell at cs.nmsu.edu Alex Rogers, University of Southampton, acr at ecs.soton.ac.uk Sylvie Thiebaux, Australian National University and NICTA, sylvie.thiebaux at nicta.com.au Son Cao Tran, New Mexico State University, tson at cs.nmsu.edu PROGRAM COMMITTEE Mario Berges, Carnegie Mellon University (USA) Archie Chapman, University of Sydney (Australia) Mathijs de Weerdt, Delft University of Technology (The Netherlands) Alessandro Farinelli, University of Verona (Italy) Maria Fox, King’s College London (UK) Chris Kiekintveld, University of Texas El Paso (USA) Akshat Kumar, Singapore Management University (Singapore) Amnon Meisels, Ben-Gurion University (Israel) Chiara Piacentini, King’s College (UK) Sarvapali Ramchurn, University of Southampton (UK) Paul Scott, Australian National University and NICTA (Australia) Sven Seuken, University of Zurich (Switzerland) Pradeep Varakantham, Singapore Management University (Singapore) Meritxell Vinyals Salgado, CEA (France) William Yeoh, New Mexico State University (USA) CONTACT E-mail: aisgsb2016 at easychair.org URL: www.cs.nmsu.edu/aisgsb16 -------------------- College of Arts & Sciences New Mexico State University Las Cruces, NM 88003 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marieke at vpn101020.vpn.utwente.nl Wed Sep 23 11:42:18 2015 From: marieke at vpn101020.vpn.utwente.nl (Marieke Huisman) Date: Wed, 23 Sep 2015 11:42:18 +0200 (CEST) Subject: CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: <20150923094218.1022A21BA82@vpn101020.vpn.utwente.nl> ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) From tsingliangchen at gmail.com Fri Sep 25 16:10:35 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Fri, 25 Sep 2015 22:10:35 +0800 Subject: PRIMA 2015 Last call for Participation, keynotes, and early registration Message-ID: Principles and Practice of Multi-Agent Systems, PRIMA 2015 http://apice.unibo.it/xwiki/bin/view/PRIMA2015/ NEWS *** PRIMA 2015 early registration deadline extended to September 30, 2015 *** NEWS *** Keynote speakers: Michael Mäs, Franco Zambonelli and Marc Cavazza *** The 18th Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) will take place in Bertinoro, FC, Italy from 26 to 30 October 2015. PRIMA 2015 will feature two tutorials, two co-located workshop, three keynote talks, 11 technical sessions and a number of sessions dedicated to discussion and social activities. All-inclusive conference registration covers attendance, accommodation, meals, proceedings, WiFi, social events and more. For details, refer to the conference web site: http://apice.unibo.it/xwiki/bin/view/PRIMA2015/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Sep 26 08:19:04 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 26 Sep 2015 08:19:04 +0200 Subject: TPNC 2015: call for posters Message-ID: <1484a933a9907bf12788f300224fe0ca@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** The 4th International Conference on the Theory and Practice of Natural Computing (TPNC 2015) invites authors to submit poster presentations. TPNC 2015 will be held in Mieres (Spain) on 15-16 December, 2015. See http://grammars.grlmc.com/TPNC2015/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Authors are encouraged to submit presentations displaying novel work in progress on: - nature-inspired models of computation, - synthesizing nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Submission deadline: November 8, 2015 Notification of poster acceptance or rejection: November 15, 2015 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2015 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2015. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer). REGISTRATION At least one author of each accepted poster must register to the conference. Their registration fare is reduced: 225 Euro (appr. half of the cheapest fare for regular participants). Contributors of regular papers who in addition get a poster accepted must register for the latter too. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From R.Mitkov at wlv.ac.uk Wed Sep 30 00:39:27 2015 From: R.Mitkov at wlv.ac.uk (Mitkov, Ruslan) Date: Tue, 29 Sep 2015 22:39:27 +0000 Subject: Journal of Natural Language Engineering: Call for special issue proposals Message-ID: <9B5794214CA57F4C9EEA165836E2000ADC7839AB@EXCHMBX10I04.unv.wlv.ac.uk> Kindly post. Apologies for any duplicates. Thank you. R. Mitkov ---------------- Journal of Natural Language Engineering *** Call for special issue proposals *** The area of Natural Language Engineering, and Natural Language Processing in general, is following the trend of many other areas in becoming highly specialised, with a number of application-orientated and narrow-domain topics emerging or growing in importance. These developments, often coinciding with a lack of related literature, necessitate and warrant the publication of specialised volumes focusing on a specific topic of interest to the Natural Language Processing (NLP) research community. The Journal of Natural Language Engineering (JNLE) published by Cambridge University Press, which now features six 160-page issues per year, invites proposals for special issues on a competitive basis regarding any topics surrounding applied NLP which have emerged as important recent developments and that have attracted the attention of a number of researchers or research groups. In recent years, Calls for Proposals for special issues have resulted in high-quality outputs and this year we look forward to another successful competition. Topics could cover a variety of NLP methods, tasks and resources as well as NLP-related applications but should preferably focus on the practical implications of operation on a large scale. Topics covering NLP methods, tasks and resources could include, but are not limited to: POS tagging; parsing; semantic role labelling; word sense disambiguation; anaphora and coreference resolution; named entity recognition; natural language generation; speech recognition; speech synthesis; multimodal processing; statistical methods in Natural Language Engineering; machine learning; evaluation methodologies; corpora and ontologies. Topics covering NLP applications could include, but are not limited to: machine translation; translation memory and translation tools; summarisation; simplification; information retrieval; information extraction; question answering; text and web mining; opinion mining; and NLP for biomedical texts. Calls for special issue proposals may be based on a successful workshop or a body of work associated with a particular group or section of the community. In all cases, however, the reviewing process of the accepted proposals will be rigorous and all submissions must be reviewed by at least three members of the Guest Editorial Board or other suitable reviewers agreed by the JNLE Editors. In the case of papers previously submitted to workshops, the Guest Editors will not be able to re-use previous workshop reviews. In addition, the call for papers of the accepted proposals must be open to all interested parties and all authors will be given equal treatment; in the case of proposals based on previous workshops, submissions cannot be limited to workshop participants only. Interested editors have the option of preliminary feedback by emailing expressions of interest accompanied by a brief description of the intended special issue to the Executive Editor (R.Mitkov at wlv.ac.uk). He will give a brief indication of whether the topic is appropriate to Natural Language Engineering. In the case of initial positive feedback, the prospective Guest Editors will be asked to submit a proposal for a special issue that will be reviewed by the Editors of the Journal and by other members of the Journal Editorial Board. At least two proposals will be selected on a competitive basis for each call with the envisaged publication date for the successful proposal(s) from this call on or after October 2017. The proposal for a special issue should include a brief outline of the field and rationale as to why it is important to launch a special issue on the particular topic of interest. It should include a relevant literature survey (related previous special issues, volumes, workshop and conference proceedings) and should explain the added value of the proposed special issue against the background of other relevant or competing publications and volumes (if applicable). It is desirable that a rough estimate of expected submissions to the special issue be provided. The proposals should also include a tentative Guest Editorial Board. It is desirable that one of the members of the Guest Editorial Board is a JNLE Editor and at least another member of the Guest Editorial Board should be on the JNLE Editorial Board. The proposal should also include a tentative time-scale for the production of the special issue and information about the prospective Guest Editors (relevant experience, publications etc.). All special issues are required to offer a survey of the field as its first article which can be written either by the Guest Editors or by an invited author / authors. The special issues should consist of 160 pages as with the regular issues; exceptionally, 144 pages can be accepted as well. Time-scale - Deadline for submission of special issue proposals: 10 December 2015 (proposals to be emailed to R.Mitkov at wlv.ac.uk with a copy to jnleea at wlv.ac.uk ) - Notification of acceptance/rejection: 15 January 2016 - Calls for papers related to the successful proposals: 15 February 2016 for the first proposal March-September 2016 for the second proposal; September 2016-March 2017 for the rest of the accepted proposals (if applicable) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: