From announce at cs.ucy.ac.cy Wed Jul 1 15:51:31 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 1 Jul 2015 16:51:31 +0300 Subject: IEEE/ACM UCC 2015: Final Call for Tutorial Proposals Message-ID: *** Final Call for Tutorial Proposals *** 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 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). TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: · Title. · Name and Affiliation of the Speaker(s). · Abstract (one paragraph, 200 words max., including previous experience with such tutorials). · Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). · Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. · Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. · Statement on if this tutorial has been given before and if so how this presentation will be different. · Materials (one paragraph): A description of materials to be provided to attendees on the conference website - course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. · Bio-sketch: A single paragraph bio-sketch per tutorial presenter. · Requested tutorial length (preferably half-a-day). · Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 3rd of July, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing logistics support and a meeting place for the tutorial. · In conjunction with the organizers, determining the tutorial date and time. · Providing copies of the tutorial materials to attendees. IMPORTANT DATES · Tutorial proposals due: 03 July, 2015 · Notification of tutorial proposals: 14 August, 2015 · Final description of accepted proposals: 14 September, 2015 · Tutorial slides due: 13 November, 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 Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · 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 thomas.lukasiewicz at gmail.com Wed Jul 1 22:53:17 2015 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Wed, 01 Jul 2015 21:53:17 +0100 Subject: Deadline Extension: International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015) at ISWC 2015 Message-ID: <5594533D.4010407@cs.ox.ac.uk> Apologies for cross posting -------------------------------------------- URSW 2015 CALL FOR PAPERS -------------------------------------------- ********************************************** DEADLINE EXTENSION: Submissions due on July 15 ********************************************** 11th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2015 In conjunction with the 14th International Semantic Web Conference Bethlehem, PA - US October 11 or 12, 2015 You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 14th International Semantic Web Conference (ISWC) in October 11-15, 2015 Bethlehem, PA - US . ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web / Linked Data community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty remains extremely limited. Thus, there is a continuing demand for uncertainty reasoning technology among Semantic Web researchers and developers, and the URSW workshop creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following Researchers in uncertain reasoning technologies with interest in the Semantic Web and Linked Data Semantic Web and Linked Data developers and researchers People in the knowledge representation community with interest in the Semantic Web and Linked Data Ontology researchers and ontological engineers Web services researchers and developers with interest in the Semantic Web Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web and Linked Data (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. Syntax and semantics for extensions to Semantic Web / Linked Data languages to enable representation of uncertainty Logical formalisms to support uncertainty in Semantic Web / Linked Data languages Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts Architectures for applying plausible reasoning to the problem of ontology mapping Using fuzzy approaches to deal with imprecise concepts within ontologies The concept of a probabilistic ontology and its relevance to the Semantic Web Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web / Linked Data The role of uncertainty as it relates to web services and cloud computing Interface protocols with support for uncertainty as a means to improve interoperability among web services Uncertainty reasoning techniques applied to trust issues in the Semantic Web and Linked Data Existing implementations of uncertainty reasoning tools in the context of the Semantic Web and Linked Data Issues and techniques for integrating tools for representing and reasoning with uncertainty; The future of uncertainty reasoning for the Semantic Web and Linked Data IMPORTANT DATES July 1 EXTENDED TO July 15: Paper submissions due July 30: Paper acceptance notification August 16: Camera-ready papers due Oct 11 or 12: 11th Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2015 Conference, and committed to attend the URSW Workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop’s EasyChair submission site: http://www.easychair.org/conferences/?conf=ursw2015 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2015. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures and references. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2015 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2015 will be a half-day workshop. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2015 conference. ORGANIZING COMMITTEE Fernando Bobillo - University of Zaragoza, Spain Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil Davide Ceolin - VU University Amsterdam, The Netherlands Paulo C. G. Costa - George Mason University, USA Claudia d’Amato - University of Bari, Italy Nicola Fanizzi - University of Bari, Italy Kathryn Laskey - George Mason University, USA Kenneth J. Laskey – MITRE Corporation, USA Thomas Lukasiewicz – University of Oxford, UK Trevor Martin - University of Bristol, UK Matthias Nickles – INSIGHT Centre for Data Analytics, National University of Ireland, Galway, Ireland Michael Pool - Goldman Sachs, USA PROGRAM COMMITTEE Fernando Bobillo - University of Zaragoza, Spain Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil Davide Ceolin - VU University of Amsterdam, The Netherlands Paulo C. G. Costa - George Mason University, USA Fabio G. Cozman - Universidade de Sao Paulo, Brazil Claudia d’Amato - University of Bari, Italy Nicola Fanizzi - University of Bari, Italy Marcelo Ladeira - University of Brasilia, Brazil Kathryn B. Laskey - George Mason University, USA Kenneth J. Laskey - MITRE Corporation, USA Thomas Lukasiewicz - Oxford University, UK Trevor Martin - University of Bristol, UK Alessandra Mileo - INSIGHT Galway, Ireland Matthias Nickles - INSIGHT Galway, Ireland Jeff Z. Pan - University of Aberdeen, UK Rafael Peñaloza, Technical University Dresden, Germany Michael Pool - Goldman Sachs, USA Livia Predoiu - University of Oxford, UK Guilin Qi - Southeast University, China Dave Robertson - University of Edinburgh, UK Daniel Sánchez - University of Granada, Spain Giorgos Stoilos - National and Technical University of Athens, Greece Umberto Straccia – ISTI-CNR, Pisa, Italy Matthias Thimm - University of Koblenz-Landau, Germany Peter Vojtas – Charles University, Czech Republic We are looking forward to seeing you in Bethlehem, PA - US! From geoff at cs.miami.edu Thu Jul 2 16:34:28 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 2 Jul 2015 10:34:28 -0400 (EDT) Subject: LPAR-20 Workshops - Calls for Papers Message-ID: <20150702143428.CA22B121445@mcclellan.cs.miami.edu> LPAR-20 call for workshop papers: - Workshop on the Implementation of Logics(IWIL-2015) - Models for Formal Analysis of Real Systems (MARS 2015) - First International Workshop on Focusing (WoF'15) ================================================================ Call for papers IWIL-2015 LPAR'20 Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2015.html ================================================================= SUBMISSION DEADLINE: 5 October 2015 General Information ------------------- The 11th International Workshop on the Implementation of Logics will be held in November 2015 in conjunction with the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in Suva, Fiji Scope ----- We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: - Propositional logic and decision procedures, including SMT - First-order and higher order logics - Non-classical logics, including modal, temporal, description, non-monotonic reasoning - Formal foundations for efficient implementation of logics - Data structures and algorithms for the efficient representation and processing of logical concepts - Proof/model search organization and heuristics for logical reasoning systems - Data analysis and machine learning approaches to search control - Techniques for proof/model search visualization and analysis - Practical constraint handling - Reasoning with ontologies and other large theories - Implementation of efficient theorem provers and model finders for different logics - System descriptions of logical reasoning systems - Issues of reliability, witness generation, and witness verification - Evaluation and benchmarking of provers and other logic-based systems - I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Submissions ----------- Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full papers (up to 15 pages) via the EasyChair page for IWIL-2015, https://easychair.org/conferences/?conf=iwil2015 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. Proceedings will be published as EasyChair Proceedings. If number and quality of the submissions warrant it, we plan to produce a special issue of a recognized journal on the topic of the workshop. Important Dates --------------- Submission of papers/abstracts: October 5th, 2015 Notification of acceptance: October 26th, 2015 Camera ready versions due: November 9th, 2015 Workshop: November 23rd, 2015 Program committee ----------------- Boris Konev (Co-Chair) University of Liverpool Stephan Schulz (Co-Chair) DHBW Stuttgart Laurent Simon (Co-Chair) University of Bordeaux Christoph Benzmüller Freie Universität Berlin Armin Biere Johannes-Kepler Universität Linz Jasmin Blanchette INRIA/LORIA/Max-Planck-Institut für Informatik Guillaume Burel ENSIIE/CÉDRIC Simon Cruanes INRIA Paris-Rocquencourt Tommi Junttila Aalto University Konstantin Korovin University of Manchester Albert Oliveras Universitat Politècnica de Catalunya Jens Otten Universität Potsdam Andrew Reynolds Ecole polytechnique fédérale de Lausanne Peter Schneider-Kamp University of Southern Denmark Geoff Sutcliffe University of Miami Josef Urban Radboud University/Czech Technical University Uwe Waldmann Max-Planck-Institut für Informatik Previous Workshops ------------------ - Reunion Workshop (held in conjunction with LPAR'2000 on Reunion Island) - Second Workshop (with LPAR'2001 in Havana, Cuba) - Third Workshop (with LPAR'2002 in Tbilisi, Georgia) - Fourth Workshop (with LPAR'2003 in Almati, Kazakhstan) - Fifth Workshop (with LPAR'2004 in Montevideo, Uruguay) - Sixth Workshop (with LPAR'2006 in Phnom Penh, Cambodia) - Seventh Workshop (with LPAR'2008 in Doha, Qatar) - Eighth Workshop (with LPAR‘2010 in Yogyakarta, Indonesia) - Ninth Workshop (with LPAR‘2012 in Merida, Venezuela) - Tenth Workshop (with LPAR‘2013 in Stellenbosch, South Africa) ======================================================================= Call for papers Workshop on Models for Formal Analysis of Real Systems (MARS 2015) Affiliated With LPAR 20 November 23, 2015 Suva, Fiji http://hoefner-online.de/mars15/ ======================================================================= SUBMISSION DEADLINE: 24/31 August 2015 Aim: Logics and techniques for automated reasoning have often been developed with formal analysis and formal verification in mind. To show applicability, toy examples or tiny case studies are typically presented in research papers. Since the theory needs to be developed first, this approach is reasonable. However, to show that a developed approach actually scales to real systems, large case studies are essential. The development of formal models of real systems usually requires a perfect understanding of informal descriptions of the system-sometimes found in RFCs or other standard documents-which are usually just written in English. Based on the type of system, an adequate specification formalism needs to be chosen, and the informal specification translated into it. Abstraction from unimportant details then yields an accurate, formal model of the real system. The process of developing a detailed and accurate model usually takes a large amount of time, often months or years; without even starting a formal analysis. When publishing the results on a formal analysis in a scientific paper, details of the model have to be skipped due to lack of space, and often the lessons learnt from modelling are not discussed since they are not the main focus of the paper. The workshop aims at discussing exactly these unmentioned lessons. Examples are: * Which formalism is chosen, and why? * Which abstractions have to be made and why? * How are important characteristics of the system modelled? * Were there any complications while modelling the system? * Which measures were taken to guarantee the accuracy of the model? The workshop emphasises modelling over verification. In particular, we invite papers that present full Models of Real Systems, which may lay the basis for future formal analysis. The workshop will bring together researchers from different communities that all aim at verifying real systems and are developing formal models for such systems. Areas where large models often occur are within networks, (trustworthy) systems and software verification (from byte code up to programming- and specification languages). An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them. Submission ---------- Submissions must be unpublished and not be submitted for publication elsewhere. Contributions are limited to 8 pages EPTCS style (http://style.eptcs.org) (not counting the appendix), but shorter extended abstracts are welcome. Appendices (of arbitrary length) can be used to present all details of a formalised model; the appendices will be part of the proceedings. Submissions must be in English and submitted in PDF format via EasyChair (TBC). All submissions will be peer reviewed by at least three referees based on their novelty, relevance and technical merit. The proceedings will be published as part of the open access series Electronic Proceedings in Theoretical Computer Science (EPTCS). Important Dates (AoE) --------------- * Submission of abstracts: Monday 24 August 2015 * Submission: Monday 31 August 2015 * Notification: Friday 9 October 2015 * Final version: Monday 2 November 2015 * Workshop: Monday 23 November 2015 Programme Committee ------------------- Rance Cleaveland (University of Maryland, USA) Hubert Garavel (INRIA, France) Rob van Glabbeek (co-chair) (NICTA, Sydney, Australia) Jan Friso Groote (co-chair) (Eindhoven University of Technology, The Netherlands) He Jifeng (Easy China Normal University, China) Holger Hermanns (Saarland University, Germany) Peter Hoefner (co-chair) (NICTA, Sydney, Australia) Gerald Holzmann (NASA/JPL, USA) Magnus Myreen (Chalmers University, Sweden) Viet Yen Nguyen (Fraunhofer IESE, Germany) Bill Roscoe (University of Oxford, UK) Pamela Zave (AT&T Laboratories, USA) PROGRAMME CHAIRS and WORKSHOP ORGANISERS: Rob van Glabbeek (NICTA, Sydney, Australia) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Peter Hoefner (NICTA, Sydney, Australia) CONTACT: mars15 at cs.stanford.edu ======================================================================= Call for papers First International Workshop on Focusing WoF'15 Suva, Fiji, 23 November 2015 Affiliated with LPAR-20 http://www.qatar.cmu.edu/iliano/svc/conf/wof15/ ======================================================================= SUBMISSION DEADLINE: 4/11 September 2015 Focusing is a proof search strategy that alternates two phases: an inversion phase where invertible sequent rules are applied exhaustively and a chaining phase where it selects a formula and decomposes it maximally using non-invertible rules. Focusing is one of the most exciting recent developments in computational logic: it is complete for many logics of interest and provides a foundation for their use as programming languages and rewriting calculi. This workshop has the purposes of bringing together researchers who work on or with focusing, to foster discussion and to report on recent advances. Topics of interest include: - Focusing in forward, backward and hybrid logic programming languages - Focusing in theorem proving - Focusing for substructural logics - Focused term calculi - Implementation techniques - Parallelism and concurrency - Focusing in security - Pearls of focusing Invited Speaker --------------- TBA Important Dates --------------- Abstract submission deadline: Friday September 4th Submission deadline: Friday September 11th Notification to authors: Friday October 9th Final version due: Friday October 30th Workshop date: Monday November 23rd Submission ---------- In addition to regular papers, we also solicit "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be interesting for the community at large. Submitted papers should be in PDF, formatted using the EPTCS style guidelines. The length is restricted to 12 pages for regular papers and6 pages for "Work in Progress" papers. Submission is via EasyChair (link on the WoF'15 web page). Proceedings ----------- Accepted regular papers will be included in the proceedings of WoF'15, which will be published in the Electronic Proceedings in Theoretical Computer Science series (EPTCS). Program Committee ----------------- Iliano Cervesato (Carnegie Mellon University, co-chair) Kaustuv Chaudhuri (Inria & LIX/École polytechnique) Paul Blain Levy (University of Birmingham) Chuck Liang (Hofstra University) Elaine Pimentel (Universidade Federal do Rio Grande do Norte) Carsten Schürmann (ITU Copenhagen & Demtech, co-chair) From announce at cs.ucy.ac.cy Thu Jul 2 17:13:55 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 2 Jul 2015 18:13:55 +0300 Subject: IEEE/ACM UCC 2015: Fifth Call for Papers (Extension Deadline!) Message-ID: *** Fifth Call for Papers *** 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 *** EXTENDED DEADLINE: 17 July, 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). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: · 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 One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 17, 2015 (extended!). All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Please use the following Easy Chair link to update your submission: https://easychair.org/conferences/?conf=ucc2015 . Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. There is NO student rate for the author who is responsible for registration for his/her published paper. If you have more than one accepted paper, you have to register for each one individually. There is no discount if you have two or more papers accepted. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from the conference will be invited to submit an extended version to the IEEE Transactions on Cloud Computing. Papers will be selected based on their reviewers' scores and appropriateness to the journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. IMPORTANT DATES · Paper submissions due: 17 July, 2015 (extended!) · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 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 Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · 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 announce at cs.ucy.ac.cy Fri Jul 3 16:47:41 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 3 Jul 2015 17:47:41 +0300 Subject: Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Last Call for Papers (extended deadline!) Message-ID: *** Last Call for Papers *** Second IEEE/ACM International Conference on Big Data Computing (BDC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus Co-located with the 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) http://datasys.cs.iit.edu/events/BDC2015/ *** EXTENDED DEADLINE: 17 July, 2015 *** CONTEXT AND SCOPE Rapid advances in digital sensors, networks, storage, and computation along with their availability at low cost is leading to the creation of huge collections of data -- dubbed as Big Data. This data has the potential for enabling new insights that can change the way business, science, and governments deliver services to their consumers and can impact society as a whole. This has led to the emergence of the Big Data Computing paradigm focusing on sensing, collection, storage, management and analysis of data from variety of sources to enable new value and insights. To realize the full potential of Big Data Computing, we need to address several challenges and develop suitable conceptual and technological solutions for dealing them. These include life-cycle management of data, large-scale storage, flexible processing infrastructure, data modeling, scalable machine learning and data analysis algorithms, techniques for sampling and making trade-off between data processing time and accuracy, and dealing with privacy and ethical issues involved in data sensing, storage, processing, and actions. The International Symposium on Big Data Computing (BDC) 2015 -- held in conjunction with 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC) 2015, December 7-10, 2015, St. Raphael Resort, Limassol, Cyprus, aims at bringing together international researchers, developers, policy makers, and users and to provide an international forum to present leading research activities, technical solutions, and results on a broad range of topics related to Big Data Computing paradigms, platforms and their applications. The conference features keynotes, technical presentations, posters, and workshops. TOPICS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Big Data Computing. Topics of interest include but are not limited to: I. Big Data Science · Analytics · Algorithms for Big Data · Energy-efficient Algorithms · Big Data Search · Big Data Acquisition, Integration, Cleaning, and Best Practices · Visualization of Big Data II. Big Data Infrastructures and Platforms · Programming Systems · Cyber-Infrastructure · Performance evaluation · Fault tolerance and reliability · I/O and Data management · Storage Systems (including file systems, NoSQL, and RDBMS) · Resource management · Many-Task Computing · Many-core computing and accelerators III. Big Data Security and Policy · Management Policies · Data Privacy · Data Security · Big Data Archival and Preservation · Big Data Provenance IV. Big Data Applications · Scientific application cases studies on Cloud infrastructure · Big Data Applications at Scale · Experience Papers with Big Data Application Deployments · Data streaming applications · Big Data in Social Networks · Healthcare Applications · Enterprise Applications One or more best paper awards will be given for outstanding contributed papers. PAPER SUBMISSION Authors are invited to submit papers electronically. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including figures, tables and references. Authors should submit the manuscript in PDF format and make sure that the file will print on a printer that uses letter size (8.5 x 11) paper. The official language of the meeting is English. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Papers conforming to the above guidelines can be submitted through the BDC 2015 paper submission system: https://www.easychair.org/conferences/?conf=bdc2015). Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the conference PC Chair for more information. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from BDC 2015 will be invited to extend and submit to the Special Issue on Big Data Computing in the IEEE Transaction on Cloud Computing. IMPORTANT DATES · Paper submissions due: 17 July, 2015 (extended!) · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 21 September, 2015 · Proceedings-published posters due: 28 August, 2015 · Notification of acceptance: 18 September, 2015 · Camera ready posters due: 21 September, 2015 ORGANIZATION General Chairs · Rajkumar Buyya, University of Melbourne, Australia · George Papadopoulos, University of Cyprus Program Committee Chairs (bdc15-chairs at datasys.cs.iit.edu) · Amy Apon, National Science Foundation, USA · Ioan Raicu, Illinois Institute of Technology & Argonne National Laboratory, USA · Manish Parashar, Rutgers University, USA Program Committee Vice Chairs · Ilkay Altintas, University of California, San Diego, USA · Omer Rana, Cardiff University, UK Program Committee Members · Alexander Rasin, DePaul University, USA · Alok Choudhary, Northwestern University, USA · Abhishek Chandra, University of Minnesota, USA · Andre Luckow, BMW IT Research Center, USA · Daniel Katz, University of Chicago and Argonne National Lab, USA · Dongfang Zhao, Illinois Institute of Technology, USA · Douglas Thain, University of Notre Dame, USA · Florian Schintke, Zuse Institute Berlin, Germany · Giuliano Casale, Imperial College London, UK · Jaliya Ekanayake, Microsoft, USA · Jessica Chen-Burger, Heriot-Watt University, UK · Judy Qiu, Indiana University, USA · Justin Wozniak, Argonne National Lab, USA · Ke Wang, Illinois Institute of Technology, USA · Kesheng (John) Wu, Lawrence Berkeley National Lab, USA · Kyle Chard, University of Chicago and Argonne National Lab, USA · Lavanya Ramakrishnan, Lawrence Berkeley National Laboratory, USA · Marco Netto, IBM Research, Brazil · Matei Ripeanu, University of British Columbia, Canada · Matei Stroila, HERE, USA · Nagiza Samatova, North Carolina State University, USA · Paolo Missier, Newcastle University, UK · Paul Watson, NewCastle University, UK · Peter Burnap, Cardiff University, UK · Rahul Potharaju, Microsoft, USA · Rajkumar Kettimuthu, Argonne National Lab and University of Chicago, USA · Robert Ross, Argonne National Lab, USA · Samer Al-Kiswany, University of British Columbia, Canada · Scott Klasky, Oak Ridge National Lab, USA · Wei Tang, Argonne National Lab, USA · Weidong Shi, University of Houston, USA · Xiaolin (Andy) Li, University of Florida, USA · Yanlong Yin, Bloomberg, USA · Yong Chen, Texas Tech University, USA · Yong Zhao, University of Electronic Science and Technology, China · Zhao Zhang, University of California, Berkeley, USA Cyber Chair · Dongfang Zhao, Illinois Institute of Technology, USA Local Organizing Committee Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus -------------------------------------------------------------------- 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 sibylle.schwarz at htwk-leipzig.de Fri Jul 3 20:53:31 2015 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Fri, 03 Jul 2015 20:53:31 +0200 Subject: WLP 2015 - EXTENDED DEADLINE In-Reply-To: <557F0EB9.7090809@htwk-leipzig.de> References: <557F0EB9.7090809@htwk-leipzig.de> Message-ID: <5596DA2B.2080201@htwk-leipzig.de> ====================================================================== FINAL CALL FOR PAPERS *** EXTENDED SUBMISSION DEADLINE: July 10, 2015 *** 29th Workshop on Logic Programming (WLP 2015) part of the KI2015 and co-located with the ICCL Summer School on Reasoning Dresden, Germany, September 21 - 22, 2015 http://www.imn.htwk-leipzig.de/WLP2015 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2015. All submissions must be written in English and prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All accepted papers will be published electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/). As for previous events, it is planned to publish selected papers as post-conference proceedings. Important Dates (with extended deadline) =============== Submission of papers: July 10, 2015 Notification of acceptance: July 13, 2015 Early-Registration Deadline: July 15, 2015 Camera-ready papers: July 30, 2015 Workshop: September 21-22, 2015 Program committee ================= Slim Abdennadher - German University in Cairo Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Francois Bry - LMU Muenchen Michael Hanus - CAU Kiel Steffen Hölldobler (chair) - TU Dresden Petra Hofstedt - BTU Cottbus Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Hans Tompits - Vienna University of Technology Janis Voigtländer - Univ. Bonn Workshop Organizers =============== Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden sh at iccl.tu-dresden.de http://www.computational-logic.org/~sh/ Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From fstolzenburg at hs-harz.de Sat Jul 4 17:24:50 2015 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Sat, 04 Jul 2015 17:24:50 +0200 Subject: 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and 4th Workshop KI & Kognition (KIK-2015), September 22, 2015, Dresden, Germany - EXTENDED DEADLINE Message-ID: <5597FAC2.1010209@hs-harz.de> CALL FOR PAPERS *** EXTENDED SUBMISSION DEADLINE: July 10, 2015 *** 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and 4th Workshop KI & Kognition (KIK-2015): Formal and Cognitive Reasoning ============================== http://www.fernuni-hagen.de/wbs/dkbkik2015.html Workshop at KI-2015 38th German Conference on Artificial Intelligence September 21-25, 2015, Dresden, Germany Organized by the "FG Wissensrepraesentation und Schliessen" and the FG "Kognition" of the GI Aims and Scope ************** Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as we l l as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrueck (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013). Previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbruecken (2012), Koblenz (2013), and Stuttgart (2014). This year, we put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning, addressing formal as well as experimental or heuristic issues. Reflecting this focus, the workshop "Formal and Cognitive Reasoning" at KI-2015 is organized jointly by the GI special interest groups "Wissensrepraesentation und Schliessen" and "Kognition". We welcome papers on the following and any related topics: - Action and change - Agents and multiagent systems - Analogical reasoning - Argumentation theories - Belief revision and belief update - Cognitive modeling and empirical data - Common sense and defeasible reasoning - Decision theory and preferences - Inductive reasoning and cognition - Knowledge representation in theory and practice - Learning and knowledge discovery in data - Nonmonotonic and uncertain reasoning - Ontologies and description logics - Probabilistic approaches of reasoning Publication *********** The proceedings will be published as a technical report that will be available at the workshop. It is planned to publish a selection of extended papers after a post-workshop reviewing process in a special issue of an international journal. Important Dates *************** Deadline for Submission: July 10, 2015 (extended) Notification of Authors: July 31, 2015 Final Versions of Papers: August 17, 2015 Workshop: September 22, 2015 Workshop Organizers and Co-Chairs ********************************* Christoph Beierle, FernUniversitaet in Hagen, Germany Gabriele Kern-Isberner, TU Dortmund, Germany Marco Ragni, Universitaet Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Program Committee ***************** Thomas Barkowsky, Universitaet Bremen, Germany Gerd Brewka, Universitaet Leipzig, Germany Igor Douven, Paris-Sorbonne University, France Christian Freksa, Universitaet Bremen, Germany Ulrich Furbach, Universitaet Koblenz, Germany Joachim Hertzberg, Universitaet Osnabrueck, Germany Andreas Herzig, Universite Paul Sabatier, Toulouse, France Steffen Hoelldobler, TU Dresden, Germany Manfred Kerber, University of Birmingham, UK Gerhard Lakemeyer, RWTH Aachen, Germany Bernhard Nebel, Albert-Ludwigs-Universitaet Freiburg, Germany Henri Prade, IRIT - CNRS, France Hans Rott, Universitaet Regensburg, Germany Ute Schmid, Universitaet Bamberg, Germany Matthias Thimm, Universitaet Koblenz-Landau, Germany Paul Thorn, Universitaet Duesseldorf, Germany Hans Tompits, TU Wien, Austria Christoph Wernhard, TU Dresden, Germany Stefan Woelfl, Albert-Ludwigs-Universitaet Freiburg, Germany Paper Submission and Further Information **************************************** http://www.fernuni-hagen.de/wbs/dkbkik2015.html From serge.autexier at dfki.de Mon Jul 6 08:57:24 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 6 Jul 2015 08:57:24 +0200 (CEST) Subject: CICM 2015: Final Call for Participation, Deadline July 6th, 2015 Message-ID: <20150706065724.D699329FC869@mbp-autexier.informatik.uni-bremen.de> Final Call for Participation Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Registration Deadline July 6th, 2015 The programme for this year's CICM in Washington can be found as http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme The accepted papers as http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks In addition we solicit for posters which will not be peer reviewed, but we will just do a screen review for relevance to the conference. A poster presentation will consist of a 5 minute teaser talk and the presentation of the poster on Tuesday morning (together with the other presentations in the Systems/Data/Projects track). You can submit a brief abstract on a poster by 22 June 2015 via EasyChair: https://www.easychair.org/conferences/?conf=cicm2015 You will be informed about acceptance shortly after your submission. Registration to the conference will open shortly. For details on the conference, registration, accommodation, etc. see http://www.cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ "Towards a Global Digital Mathematics Library" * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme is organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we have co-located workshops: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. -------------------------------------------------------------------------------- From mvm at cs.uns.edu.ar Mon Jul 6 21:37:55 2015 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Mon, 6 Jul 2015 16:37:55 -0300 Subject: 2nd cfP: FoIKS 2016 || March 7-11, 2016 - Linz, Austria 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 adrianrp at unimelb.edu.au Tue Jul 7 01:48:10 2015 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Mon, 6 Jul 2015 23:48:10 +0000 Subject: First CFP: AAMAS 2016 - 15th International Conference on Autonomous Agents and Multiagent Systems (Singapore) Message-ID: ********************************************************************************************************************** 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) 9-13th of May, 2016, Singapore Grand Copthorne Waterfront Hotel http://sis.smu.edu.sg/aamas2016 ********************************************************************************************************************** Important Dates --------------- Abstract Submission: 13th of November, 2015 (23:59 UTC-12) Full Paper Submission: 17th of November, 2015 (23:59 UTC-12) Rebuttal Phase: 11-12th of January, 2016 (23:59 UTC-12) Author Notification: 26th of January, 2016 About AAMAS ----------- AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. Information for Authors ----------------------- AAMAS 2016 encourages the submission of analytical, empirical, methodological, technological, and perspective papers. Analytical and empirical papers should make clear the significance and relevance of their results to the AAMAS community. Similarly, methodological and technological papers should make clear their scientific and technical contributions, and are expected to demonstrate a thorough evaluation of their strengths and weaknesses in practice. It is strongly encouraged that papers focusing on specific agent capabilities evaluate their techniques in the context of autonomous agent architectures or multiagent systems. A thorough evaluation, conducted from a theoretical or applied basis, is considered an essential component of any submission. Authors are also requested to pay particular attention to discussing how their work relates to the state of the art in autonomous agents and multiagent systems research as evidenced in, for example, previous AAMAS and related conferences. All submissions will be rigorously peer reviewed and evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. AAMAS 2016, the fifteenth conference in the AAMAS series, seeks the submission of high-quality papers limited to 8 pages in length, with a 9th page being allowed *provided it only contains bibliographic references*. Reviews will be double blind; authors must avoid including anything in their papers that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8-page) papers must be submitted for the review process to begin. All work must be original, i.e., it must not have appeared in a conference proceedings, book, or journal and may not be under review for another archival conference. In addition to submissions in the main track, AAMAS 2016 will be soliciting papers in special tracks. The review process for the special tracks will be similar to the main track, but with programme committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. * JAAMAS Submissions * Finally, AAMAS 2016 will also accept papers for presentation that have appeared in the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) in the 12 months period preceding the AAMAS notification date. These articles also have the option to publish an extended abstract (maximum two pages) in the AAMAS proceedings. The articles must be original and not previously published as a full paper in an archival conference. For details on JAAMAS, visit - http://www.springer.com/computer/ai/journal/10458. Topics of Interest ------------------ The conference solicits papers addressing original research on autonomous agents and their interaction. Topics of interest include (but are not limited to) the following: * Agent Theories and Models: - Logic and Game Theory - Logics for agents and multi-agent systems - Formal models of agency - Belief-Desire-Intention theories and models - Cognitive models - Models of emotions * Agent Communication - Commitments - Communication languages and protocols - Speech act theory * Agent Cooperation: - Biologically-inspired approaches and methods - Collective intelligence - Distributed problem solving - Teamwork, team formation, teamwork analysis - Coalition formation (non-strategic) - Human-robot/agent interaction - Multi-user/multi-virtual-agent interaction - Multi-robot systems * Agent Reasoning: - Planning and Reasoning (single and multi-agent) - Cognitive models - Knowledge representation - Reasoning for robotic agents * Agent Societies and Societal issues: - Artificial social systems - Environments, organizations and institutions - Ethical and legal issues - Privacy, safety and security - Social and organizational structure - Cognitive modeling and emotions - Trust, reliability and reputation * Humans and Agents: - Human-robot/agent interaction - Multi-user/multi-virtual-agent interaction - Agents competing against humans - Agent-based analysis of human interactions - Agents for improving human cooperative activities * Learning and adaptation: - Reward structures for learning - Evolutionary algorithms - Co-evolutionary algorithms - Multiagent learning - Learning agent capabilities (agent models, communication, observation) - Learning agent-to-agent interactions (negotiation, trust, coordination) * Agent-based architectures - service-oriented architectures - mobile agents * Agent-based simulation: - Artificial societies - Emergent behavior - Simulation techniques, tools and environments - Social simulation * Engineering Multi-Agent Systems - Modelling and specification languages - Programming languages and frameworks for agents and multi-agent systems - Development techniques, tools, and platforms - Methodologies for agent-based systems - Verification, fault tolerance and resilience of multi-agent systems * Verification and validation of agent-based systems: - Testing of agent-based systems, including model based testing - Verification of agent-based systems, including model checking - Automatic synthesis of protocols - Fault tolerance and resilience * Agreement technologies: - Argumentation - Collective decision making - Negotiation - Norms * Systems and organization: - Autonomic computing - Complex systems - Self-organization - Novel agent and multiagent applications * Economic paradigms: - Electronic markets - Equilibrium computation and analysis - Social choice theory - Auctions and mechanism design - Cooperative games - Bargaining and negotiation Conference Chairs ----------------- General Chairs: Catholijn Jonker (Delft University of Technology, Netherlands) Stacy Marsella (Northeastern University, USA) Program Chairs: Karl Tuyls (University of Liverpool, UK) John Thangarajah (RMIT University, Australia) Special Tracks -------------- In addition to the above, AAMAS 2016 will feature the following four special tracks and a JAAMAS Track. * Innovative Applications (Chairs: Onn Shehory and Noa Agmon) Due to the growing maturity of the field, there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present, discuss, and demonstrate compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually-beneficial relationships between those doing foundational scientific research and those making autonomous agents and multiagent systems a commercial or public policy reality. * Robotics (Chairs: Francesco Amigoni and Roderich Gross) Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. * Embodied Virtual Agents and Human-Agent Interaction (Chairs: Tim Bickmore and Hannes Vilhjálmsson) Virtual agents are embodied agents that emulate autonomous human-like behavior in simulated interactive or physical environments. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. Of particular interest are papers addressing how humans interact with virtual agents. The goal is to provide an opportunity for continued interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. * Blue Sky Ideas (Chair: Frank Dignum) The emphasis of this track is on visionary ideas, long-term challenges, and new research opportunities that are outside the current mainstream of the field. This track is designed to overcome the constraints of the traditional review process, and will serve as an incubator for innovative approaches, risky and provocative ideas, and to propose challenges and opportunities for the field in the near future. General Information ------------------- All full papers accepted to the main track and the special tracks will be presented in parallel technical sessions. All the papers will be published in the conference Proceedings and will be permanently available after the conference at . In addition, AAMAS 2016 will include: * Workshops * Demonstrations * Posters presentations for full papers and extended abstracts * Invited talks and panel discussions The submission processes for the workshops and demonstrations are separate from the main paper submission process. Relevant information will be posted on the relevant pages. Policies -------- Policy on multiple and previous submissions. Authors may not submit any paper to AAMAS 2016 that has already appeared in an archival forum. Authors must ensure that no submission to AAMAS 2016 is under review for another archival forum between the AAMAS 2016 submission and decision dates. Policy on harassment at the conference environment. IFAAMAS is committed to organising the AAMAS conference and its affiliated events in an environment that is free of harassment for everyone involved: delegates, organisers, conference workers, and reviewers. All participants in IFAAMAS events are asked to embrace our intention to foster a harassment-free scientific community, and to understand that IFAAMAS will respond appropriately to incidents of harassment if they occur. The complete IFAAMAS harassment policy is available in the AAMAS 2016 website. For further details about AAMAS 2016, please visit the website at or contacpcchair-aamas2016 at gmail.com From C.Orasan at wlv.ac.uk Tue Jul 7 15:53:35 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 7 Jul 2015 13:53:35 +0000 Subject: Last CFP for the 37th Translating and the Computer Conference (TC37) Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D244926B@EXCHMBX10X03.unv.wlv.ac.uk> [apologies for cross-posting] *** DEADLINE for submission of ABSTRACTS FOR PRESENTATIONS AND POSTERS EXTENDED TO 13 JULY 2015 *** (see revised submission guidelines) 37th Translating and the Computer Conference (TC37), 26-27 November 2015, London ASLING (Association internationale pour la promotion des technologies linguistiques / International Association for the Advancement in Language Technology) is delighted to announce the forthcoming, 37th edition of the annual Translating and the Computer Conference (TC37) to take place on 26 and 27 November 2015 in London. The TC conference has emerged as a leading forum for users, developers and vendors of Translation Technology tools, being a distinctive event for discussing the latest developments. It is an annual meeting where translators, researchers and business people, from translation companies, international organisations, universities and research labs, as well as freelance professionals, exchange ideas and discuss hot topics. The TC conference takes the form of presentations as well as posters and also features panel discussions and workshops. If you or a colleague have something interesting to contribute, this call invites you to consider submitting an extended abstract of a paper or poster for the TC37 conference. If on the other hand you have a workshop to propose, please provide an abstract (maximum 750 words) describing the topic and an outline of the structure. Conference topics Contributions are invited on any topic related to the technology used in translation and interpreting, including, but not limited to, CAT tools (Translation Memory (TM) systems, integration of Machine Translation in TM systems), Terminology Management, Machine Translation (training, quality assessment, post-editing, adaptation), Quality Control, Interoperability, Crowd-sourcing, Natural Language Processing and Translation Workflow and Management. Among the other important topics are training (including university-level translation and interpretation programmes and the rapidly changing translation industry), resources for translators, tools and resources for interpreters, how to facilitate collaboration between translators and translation companies, and mobile technologies to support translators' work. Submission guidelines Original unpublished papers and posters on all aspects of translation and interpretation technology are invited. Topics of interest include, but are not limited to, those listed above. Papers and posters may report (among other things) on research, on commercial translation products or on user experiences. The difference between papers and posters is that while papers are expected to report on more conclusive results, posters can present ongoing and not necessarily completed research, teaching or training activity, practical work, software programs, projects or new developments. Papers: Authors are invited to submit an extended abstract (maximum of 750 words) of the paper they would like to present, together with a short 200 word abstract and short biography. Although the extended abstract is limited to 750 words (longer papers will NOT be considered), it should provide sufficient information to allow evaluation of the submission by the programme committee. The abstracts of accepted papers will be used in online programme and event advertising. Camera-ready versions of the accepted papers will be published in the conference e-proceedings with an assigned ISBN number, subject to the presenter having duly registered for the conference. Their length should not exceed 5,000 words. Posters: Poster proposals are invited in the form of poster abstracts not exceeding 500 words. Authors should submit a 200-word version as well as a short biography for dissemination. Camera-ready versions of the accepted posters will be published in the conference e-proceedings with an assigned ISBN number, subject to the presenter having duly registered for the conference. Their length should not exceed 2,000 words. Submission: Both papers and posters should be submitted via the START conference submission system. For further information, go to the conference website (http://www.translatingandthecomputer.com/) and follow the information and links to "upload submissions for Papers and Posters". A direct link to the START conference management system site, to which you need to upload your proposal for this conference is: https://www.softconf.com/e/tc2015/ (If you have never registered as a user in the Softconf START conference management system, follow the link "New user? please register first by clicking HERE." to create a user entry for yourself. If you used this system to submit a proposal to Translating and the Computer 2012-2014, or for any other conference that uses this START system, you can use your previous user name to enter the system. "If you lost or forgot your password", there is a link on the site labelled as such, to reset your password.) The website also provides further guidelines. Successful submissions will require that the final full length papers or poster make use of format stylesheets. These will be made available in the form of Word (and LaTeX) stylesheets, in due time. Schedule 13 July 2015 - extended deadline for abstracts of papers and posters 10 August 2015 - all authors notified of decisions 30 September 2015 - speakers' full papers and posters to be submitted for inclusion in the e-proceedings 14 November 2015 - speakers' presentations to be submitted 26-27 November 2015 - conference takes place in London Conference Chairs João Esteves-Ferreira, Tradulex, International Association for Quality Translation Juliet Macan, Arancho Doc srl. Ruslan Mitkov, University of Wolverhampton Olaf-Michael Stefanov, United Nations (ret), JIAMCATT Programme Committee Juanjo Arevalillo, Hermes Traducciónes Wilker Aziz, University of Amsterdam David Chambers, World Intellectual Property Organisation (ret) Gloria Corpas Pastor, University of Málaga Iwan Davies, Institute of Translation and Interpreting Joanna Drugan, University of East Anglia David Filip, CNGL / ADAPT Paola Valli, TAUS/University of Trieste Nelson Verástegui, International Telecommunications Union (ret) David Verhofstadt, International Atomic Energy Agency AsLing.org Association internationale pour la promotion des technologies linguistiques International Association for Advancement in Language Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ibichind at oswego.edu Tue Jul 7 15:57:45 2015 From: ibichind at oswego.edu (Isabelle Bichindaritz) Date: Tue, 7 Jul 2015 09:57:45 -0400 Subject: CFP WK on CBR in Health Sciences @ ICCBR - Deadline 7/10/2015 Message-ID: ICCBR-15 Workshop Workshop on CBR in the Health Sciences Health science domains have provided fertile ground for CBR research and development since the earliest days of case-based reasoning. New advances into health science frontiers ensure that CBR will continue to play a vital role well into the future. This ninth Workshop on CBR in the Health Sciences aims to: * provide a forum for identifying important contributions and opportunities for research on the application of CBR to the health sciences, * promote the systematic study of how to apply CBR to the health sciences, and * showcase applications of CBR in the health sciences. Some of the technical issues addressed, and potential outcomes of the workshop, are to identify challenges specific to applying CBR to the health sciences, required methodological improvements to fit this context's needs, preferred types and domains of applications, and guidelines to better develop CBR systems in this arena. We welcome all those interested in the problems and promise of CBR in the health sciences, whether or not they have participated in past workshops. Topics of interest include (but are not limited to): * Integration of CBR in health care environments * CBR in medical decision-support systems * CBR in medical imaging * CBR and bio signals * CBR in enabling technologies for those with physical disabilities or chronic health problems * CBR and knowledge discovery in medicine and the health sciences * Cognitive approaches to applying CBR to medicine * Theoretical framework for CBR in medical reasoning * CBR in bioinformatics * CBR and evidence-based medicine * CBR in health social networks * CBR in mHealth, eHealth, and wearable health * CBR and personalized medicine * CBR for health and wellness. Paper presentations will be interspersed with discussions in which we characterize, categorize, and discuss the benefits of specific CBR applications in the health sciences. A wrap-up round table discussion will summarize the lessons learnt, issues identified, and future directions. Submission Requirements Submitted papers are limited to 10 pages in length. All papers are to be submitted via the ICCBR-15 EasyChair system https://easychair.org/conferences/?conf=iccbrhs2015. Papers should be in Springer LNCS format. Author's instructions, along with LaTeX and Word macro files, are available at http://www.springer.de/comp/lncs/authors.html. Submissions should be original papers that have not already been published elsewhere. However, papers may include previously published results that support a new theme, as long as all past publications are fully referenced. Dates * Submission Deadline: July 10, 2015 * Notification Date: August 1st 2015 * Camera-Ready Deadline: August 25, 2015 * Workshop date: September 29, 2015 Workshop Web Site: http://cs.oswego.edu/~bichinda/iccbr2015/html/cfp.html Organizing Committee Co-Chairs Isabelle Bichindaritz State University of New York, Oswego Oswego, NY, 13126, USA Phone: +1 315 312 2683 Email: ibichind at oswego.edu Cindy Marling Ohio University Athens, Ohio, 45701, USA Phone: +1 740 593 1246 Email: marling at ohio.edu Stefania Montani University of Piemonte Orientale I-15100 Alessandria, Italy Phone: +30 0131 360158 Email: stefania.montani at unipmn.it -- Dr. Isabelle Bichindaritz Assistant Professor Director of Biomedical Informatics SUNY Oswego Computer Science Department Shineman 427 7060 New York 104 Oswego, NY 13126 USA Ph: (315) 312 2683 Cell: (206) 455 0221 Email: ibichind at oswego.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaannounce.org Tue Jul 7 17:00:59 2015 From: invitation at iariaannounce.org (ICSNC 2015) Date: Tue, 07 Jul 2015 11:00:59 -0400 Subject: Last Submission Days: ICSNC 2015 || November 15 - 20, 2015 - Barcelona, Spain Message-ID: <1436281259604.3802@iariaannounce.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2015. Note that we are few days away from the submission deadline of July 12, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2015, The Tenth International Conference on Systems and Networks Communications November 15 - 20, 2015 - Barcelona, Spain General page: http://www.iaria.org/conferences2015/ICSNC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICSNC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICSNC15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: July 12, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2015 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2015/ComICSNC15.html ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From geoff at cs.miami.edu Tue Jul 7 18:58:25 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 7 Jul 2015 12:58:25 -0400 (EDT) Subject: GCAI 2015 - Extended Deadline (for more good papers) Message-ID: <20150707165825.1D5CE121566@mcclellan.cs.miami.edu> GCAI 2015: The First Global Conference on Artificial Intelligence Tbilisi, Georgia, October 16-19, 2015 http://easychair.org/smart-program/GCAI2015/ Second Call for Papers - Extended Deadline (The program can accomodate more good papers) GCAI 2015 will be held in Tbilisi State University on October 16-19, 2015. The conference is organized jointly by LRG and Tbilisi State University. INVITED SPEAKERS: Sophia Ananiadou (The University of Manchester). Events, pathways and the Big Mechanism Robert Nieuwenhuis ((Technical University of Catalonia). SAT-based techniques for integer linear constraints SUBMISSION Submissions in all areas of artifical intelligence are welcome. Submitted papers must be original and not submitted simultaneously elsewhere. More information can be found on the conference Web pages. The submission page is https://easychair.org/conferences/?conf=gcai2015 . PROGRAM COMMITTEE The program committee contains 121 researchers from 34 countries. The program chairs are - Georg Gottlob (Oxford University) - Geoff Sutcliffe (University of Miami) - Andrei Voronkov (The University of Manchester) DATES - Submission: July 17, 2015 - Notification: August 10, 2015 - Final version: August 25, 2015 - Early registration deadline: September 1, 2015 - Conference: October 16-19, 2015 PUBLICATION The GCAI proceedings will be published by EasyChair in the EPiC Series in Computing. The volume will be open access and the authors will retain copyrights. From lpulina at uniss.it Wed Jul 8 17:45:33 2015 From: lpulina at uniss.it (Luca Pulina) Date: Wed, 08 Jul 2015 17:45:33 +0200 Subject: RuleML and RR -- Call for Participation Message-ID: <559D459D.6040401@uniss.it> Dear Colleagues, "Berlin on the Rules" - for the first time the three major events of the Web Rules community - RR 2015, Reasoning Web 2015 and RuleML 2015 - are co-located this year in Berlin, Germany, together with the Conference on Automated Deduction (CADE) and the Workshop on Formal Ontologies meet Industry (FOMI). Speakers, attendees and supporters of Web rules and standards all look forward to sharing new ideas whilst learning from the broad network of world-class scientists and professionals. Don't miss this opportunity! The 9th International Web Rule Symposium (RuleML 2015) August 2-5, 2015 http://2015.ruleml.org The 9th International Conference on Web Reasoning and Rules (RR 2015) August 4-5, 2015 http://www.csw.inf.fu-berlin.de/rw2015/ The 11th Reasoning Web Summer School (RW 2015) July 30th to August 4th, 2015 http://www.csw.inf.fu-berlin.de/rw2015/ Freie Universitaet Berlin, Berlin, Germany -- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina at uniss.it http://sites.google.com/site/lpulina From publicity at ecmlpkdd2015.org Thu Jul 9 23:38:24 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Thu, 9 Jul 2015 22:38:24 +0100 Subject: ECMLPKDD 2015: Summer School on Data Sciences for Big Data - Resource Aware Data Mining Message-ID: <01e501d0ba8f$97bc3cd0$c734b670$@ecmlpkdd2015.org> >From 2nd to 5th of September 2015, the TU Dortmund University and LIAAD-INESC TEC will organize a Summer School on Data Sciences for Big Data - Resource Aware Data Mining. The School will be hosted at Faculty of Sciences, University of Porto and is collocated with ECMLPKDD 2015 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (http://www.ecmlpkdd2015.org/). For the summer school, world leading researchers in machine learning and data mining will give lectures on recent techniques dealing with huge amounts of data, spatio-temporal streaming data, distributed and graph data, sensors and embedded systems. The summer school is designed for Master and PhD students, and professionals who wanted to learn cutting edge techniques for data mining with constrained computational resources. For further details go to: http://www.ecmlpkdd2015.org/summer-school/about -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From e.haasdijk at vu.nl Fri Jul 10 15:01:24 2015 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Fri, 10 Jul 2015 15:01:24 +0200 (CEST) Subject: EvoROBOT Call for Papers Message-ID: <20150710130124.C0DBE32919570@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 ------------------- Nicolas Bredeche Anders Christensen Stephane Doncieux Marco Dorigo Heiko Hamann Jacqueline Heinerman Joost Huizinga Jean-Marc Montanier Jean-Baptiste Mouret Stefano Nolfi Abraham Prieto Claudio Rossi Sanem Sariel Thomas Schmickl Kasper Stoy Jon Timmis Alan Winfield Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From announce at cs.ucy.ac.cy Fri Jul 10 16:57:30 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 10 Jul 2015 17:57:30 +0300 Subject: IEEE/ACM UCC 2015: Combined Call for Workshops Papers Message-ID: *** Combined Call for Workshops Papers *** 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 This call informs about dedicated workshops which will be co-located with UCC 2015, a premier conference for discussing cloud systems, virtualisation and containers, utility computing, big data and cloud application management platforms. Twelve workshops are open for submissions of scientific papers. · 5th International Workshop on Network Infrastructure Services as part of Cloud Computing (NetCloud 2015) - http://www.cyclone-project.eu/netcloud2015 · 4th International Workshop on Clouds and (eScience) Applications Management (CloudAM 2015) - http://cloudam2015.lncc.br/ · 3rd International Workshop on Big Data and Social Networking Management and Security (BDSN 2015) - http://www.staffs.ac.uk/personal/engineering_and_technology/eb26/BDSN-2015/ · 2nd IEEE International Workshop on Cloud Federation Management: From the Network to the Applications (CFM 2015) - http://www.cloudfederationmanagement.org/ · 2nd International Workshop on Trust in Cloud Computing (IWTCC 2015) - http://computing.derby.ac.uk/IWTCC2015/ · 2nd International Workshop on Smart City Clouds: Technologies, Systems and Applications (SSCTSA 2015) - http://www1.uwe.ac.uk/et/research/cccs/events/scctsa2015.aspx · 2nd International Workshop on Education in the Cloud (EC 2015) - http://commerce3.derby.ac.uk/ec2015/ · 1st International Workshop on Cloud and Service Management and Simulation (CSMS 2015) - http://users.metu.edu.tr/elgedawy/CSMS.htm · 1st International Workshop on Cloud Security and Data Privacy by Design (CloudSPD 2015) - https://sites.google.com/site/cloudspd15/home · 1st International Workshop on Sustainable Data Centres and Cloud Computing (SD3C 2015) - http://www.zurich.ibm.com/sd3c/ · 1st International Workshop on Privacy In Cyber-physical Cloud Computing (PCPCC 2015) - http://computing.derby.ac.uk/pcpcc/ · 1st International Workshop on Information Security, Assurance and Reliability in the Cloud (WISARC 2015) - http://www.di.ubi.pt/~inacio/wisarc/ Please refer to the respective websites to find detailed call for papers, including deadlines, formatting instructions and any up-to-date information. 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 Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · 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 feeds at sentic.net Sat Jul 11 08:28:38 2015 From: feeds at sentic.net (feeds) Date: Sat, 11 Jul 2015 01:28:38 -0500 (EST) Subject: [SenticNet] CFP: IEEE CIM Special Issue on Computational Intelligence for Big Social Data Analysis Message-ID: <1287190668.1315125.1436596118746.JavaMail.open-xchange@bosoxweb05.eigbox.net> Apologies for cross-posting, A special issue of the IEEE Computational Intelligence Magazine (IEEE CIM) will be dedicated to Computational Intelligence for Big Social Data Analysis. Prospective authors are invited to submit their original unpublished research and application papers. Comprehensive tutorial and survey papers will also be considered. For more information, please visit http://sentic.net/ci4bigdata RATIONALE In the era of social connectedness, Web users are becoming increasingly enthusiastic about interacting, sharing, and collaborating through 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. Big social data analysis grows out of this need and combines disciplines such as social network analysis, multimedia management, social media analytics, trend discovery, and opinion mining. For example, studying the evolution of a social network merely as a graph is very limiting as it does not take into account the information flowing between network nodes. Similarly, processing social interaction contents between network members without taking into account connections between these is limited by the fact that information flows cannot be properly weighted. Big social data analysis, instead, aims to study large-scale Web phenomena such as social networks from a holistic point of view, i.e., by concurrently taking into account all the socio-technical aspects involved in their dynamic evolution. Hence, big social data analysis is inherently interdisciplinary and spans areas such as machine learning, graph mining, information retrieval, knowledge-based systems, linguistics, common-sense reasoning, natural language processing, and big data computing. Besides these areas, the Special Issue also aims to cover application domains of big social data analysis, e.g., stock market prediction, political forecasting, time-evolving opinion mining, social network analysis, cyber-issue detection, customer experience management, computer mediated human-human communication, personalization and persuasion, human-agent, -computer and -robot interaction, intelligent user interfaces, and social media marketing. TOPICS Big social data is high volume, high velocity, and high variety information assets that require new forms of processing to enable enhanced sentiment analysis, trend discovery and marketing prediction. The main motivation for this Special Issue is to explore how computational intelligence can help process such assets and, hence, enable a more efficient passage from (unstructured) social information to (structured) machine-processable data, in potentially any domain. Topics include, but are not limited to: • Computational Intelligence for opinion mining • Computational Intelligence for social network analysis • Computational Intelligence for explicit and latent semantic analysis of big social data • Computational Intelligence for big social knowledge construction and integration • Computational Intelligence for transfer learning of big social data • Computational Intelligence for time-evolving social data analysis • Computational Intelligence for recommendation across heterogeneous social data • Computational Intelligence for corpora and resources for big social data analysis • Computational Intelligence for social language normalization • Computational Intelligence for multi-modal sentiment analysis • Computational Intelligence for multi-domain and cross-domain evaluation • Computational Intelligence for multi-lingual sentiment analysis SUBMISSION PROCESS The paper length for the manuscript is typically 20 pages in a single-column double-space format including tables, figures and references (10 pages in a two-column single-space format). Authors of papers should specify in the first page of their manuscripts the corresponding author’s contact and up to 5 keywords. Submission should be made via EasyChair (http://easychair.org/conferences/?conf=ci4bigdata). TIMEFRAME 15th November, 2015: Submission of Manuscripts 15th January, 2016: Notification of Review Results 15th February, 2016: Submission of Revised Manuscripts 15th March, 2016: Submission of Final Manuscripts August 2016: Publication GUEST EDITORS • Erik Cambria, Nanyang Technological University (Singapore) • Newton Howard, MIT Media Lab (USA) • Yunqing Xia, Tsinghua University (China) • Tat-Seng Chua, NUS (Singapore) From announce at cs.ucy.ac.cy Sat Jul 11 15:57:05 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 11 Jul 2015 16:57:05 +0300 Subject: IEEE/ACM UCC 2015: New Call for Tutorial Proposals Message-ID: *** New Call for Tutorial Proposals *** 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/?page_id=935 *** Final Extended Deadline: August 7th, 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). TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: · Title. · Name and Affiliation of the Speaker(s). · Abstract (one paragraph, 200 words max., including previous experience with such tutorials). · Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). · Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. · Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. · Statement on if this tutorial has been given before and if so how this presentation will be different. · Materials (one paragraph): A description of materials to be provided to attendees on the conference website - course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. · Bio-sketch: A single paragraph bio-sketch per tutorial presenter. · Requested tutorial length (preferably half-a-day). · Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 7th of August, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing logistics support and a meeting place for the tutorial. · In conjunction with the organizers, determining the tutorial date and time. · Providing copies of the tutorial materials to attendees. IMPORTANT DATES · Tutorial proposals due: 07 August, 2015 (final extended deadline) · Notification of tutorial proposals: 14 August, 2015 · Final description of accepted proposals: 14 September, 2015 · Tutorial slides due: 13 November, 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 Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · 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 grlmc at urv.cat Sat Jul 11 22:01:51 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 11 Jul 2015 22:01:51 +0200 Subject: TPNC 2015: 2nd call for papers Message-ID: <67DCC4596FA84D0B87AB51CDB2B2CEA5@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: (to be completed) John A. Smolin (IBM T.J. Watson Research Center, Yorktown Heights), tba Guy Theraulaz (Paul Sabatier University, Toulouse), Stigmergic Interactions and 3D Nest Construction in Ant Colonies PROGRAMME COMMITTEE: Hussein Abbass (University of New South Wales, Canberra, Australia) Andrew Adamatzky (University of the West of England, Bristol, UK) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) Óscar Cordón (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) János Fodor (Óbuda University, Budapest, Hungary) Fernando Gomide (University of Campinas, Brazil) Maoguo Gong (Xidian University, Xi'an, China) Salvatore Greco (Universiy of Catania, Italy) Jin-Kao Hao (University of Angers, France) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Fakhri Karray (University of Waterloo, Canada) László T. Kóczy (Budapest University of Technology and Economics, Hungary) Rudolf Kruse (University of Magdeburg, Germany) José A. Lozano (University of the Basque Country, Donostia, Spain) Jianquan Lu (Southeast University, Nanjing, China) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Vilém Novák (University of Ostrava, Czech Republic) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) Günther Palm (Ulm University, Germany) Linqiang Pan (Huazhong University of Science and Technology, Wuhan, China) Lech Polkowski (Polish-Japanese Academy of Information Technology, Warsaw, Poland) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicenç Torra (University of Skövde, Sweden) José Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mingsheng Ying (University of Technology, Sydney, Australia) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) William Zhu (Minnan Normal University, Zhangzhou, China) Marek Żukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/TPNC2015/Registration.php DEADLINES: Paper submission: July 21, 2015 (23:59h, CET) Notification of paper acceptance or rejection: August 18, 2015 Final version of the paper for the LNCS proceedings: September 1, 2015 Early registration: September 1, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: European Centre for Soft Computing Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. https://www.avast.com/antivirus From announce at cs.ucy.ac.cy Sun Jul 12 12:07:47 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 12 Jul 2015 13:07:47 +0300 Subject: Last Mile: 8th IEEE/ACM International Conference on Utility and Cloud Computing Message-ID: *** Last Mile *** 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 *** DEADLINE: 17 July, 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). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: · 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 One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 17, 2015. All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Please use the following Easy Chair link to update your submission: https://easychair.org/conferences/?conf=ucc2015 . Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. There is NO student rate for the author who is responsible for registration for his/her published paper. If you have more than one accepted paper, you have to register for each one individually. There is no discount if you have two or more papers accepted. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from the conference will be invited to submit an extended version to the IEEE Transactions on Cloud Computing. Papers will be selected based on their reviewers' scores and appropriateness to the journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. IMPORTANT DATES · Paper submissions due: 17 July, 2015 · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 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 Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · 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 calimeri at mat.unical.it Mon Jul 13 15:28:24 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 13 Jul 2015 15:28:24 +0200 Subject: [LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available) Message-ID: [apologies for multiple posting] Call for Participation *** REGISTRATION is now open *** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By Jérôme Lang, Université Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From publicity at ecmlpkdd2015.org Mon Jul 13 20:34:00 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Mon, 13 Jul 2015 19:34:00 +0100 Subject: ECMLPKDD 2015: Reduced Early Fee until July 15 Message-ID: <55A40498.6050509@ecmlpkdd2015.org> Time is running out for the reduced early fee of ECMLPKDD 2015 until July 15 (two days from now)! Register here: http://www.ecmlpkdd2015.org/attending/registration Early registration fees will only be confirmed if the registration form and the payment are received by the Conference Secretariat on July 15, 2015 at the latest. PS: please disregard this message if you're already registered in ECMLPKDD 2015 The organization of the ECMLPKDD 2015 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martin.lange at uni-kassel.de Thu Jul 16 13:27:03 2015 From: martin.lange at uni-kassel.de (Martin Lange) Date: Thu, 16 Jul 2015 13:27:03 +0200 Subject: Call for participation: TIME 2015 in Kassel, Germany, 23/09/15 - 25/09/15 Message-ID: <55A79507.90406@uni-kassel.de> *** Apologies for multiple copies *** Call for participation 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 September 23rd - 25th, 2015, Kassel, Germany http://time2015.uni-kassel.de *** Early registration deadline: July 31st, 2015 *** TIME 2015 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 22nd edition, has a wide remit and intends to cater both for theoretical aspects and well-founded applications. One of the key aspects of the time symposium is its inter- disciplinarity with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification. The two-and-a-half-days scientific programme with 3 invited presentations, 17 contributed talks and a panel session on temporal databases will be complemented with two social events on the first and second evening. Please consult the TIME 2015 website for further information, including the list of accepted papers. Invited Speakers **************** - Carlo Zaniolo (UCLA): User-Friendly Temporal Queries on Wikipedia - Benedikt Bollig (ENS Cachan): Verification of Distributed Algorithms - Giuseppe de Giacomo (Sapienza Università di Roma): Linear dynamic logic on finite traces: from verification to synthesis Venue ****** TIME2015 will be held at the University of Kassel. The city of Kassel is situated in the center of Germany with convenient train connections to major cities and airports, including Frankfurt. Kassel is a center of culture and art, once home to the famous Brothers Grimm, now hosting an art school of high reputation and the documenta - regarded to be Europe’s most important modern art exhibition taking place every fifth year only. The 300-year-old “Bergpark”, a large park-like area with a castle and monuments at Kassel’s western boundaries, has recently been given the status of a UNESCO heritage site and become a major tourist attraction since. For more information please consult http://www.kassel.de/englisch/. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.bikakis at ucl.ac.uk Fri Jul 17 15:31:10 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Fri, 17 Jul 2015 16:31:10 +0300 Subject: MIWAI'15: Final Deadline Extension (27 July) Message-ID: == MIWAI'15: FINAL DEADLINE EXTENSION - 27 JULY == The 9th Multi-Disciplinary International Workshop on Artificial Intelligence - MIWAI'15 November 13-15, 2015, Fuzhou, Fujian Province, China http://khamreang.msu.ac.th/miwai15/ == DEADLINE EXTENSION == Due to multiple requests, we extended the paper submission deadline to the 27th of July. == HIGHLIGHTS == Keynote Talks by Luc de Raedt and Fangzhen Lin All accepted papers will be published by Springer in a LNAI volume Selected papers will be invited for publication in three AI journals == IMPORTANT DATES (NEW!) == Submission deadline: July 27, 2015 Author notification: August 20, 2015 Camera-ready papers due: August 31, 2015 Author / early bird registration: August 31, 2015 Late Registration: November 1, 201 Workshop dates: November 13-15, 2015 == ABOUT MIWAI == Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others. The ever-evolving needs in society and business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities and establish new collaborations. The main purposes of the MIWAI series of workshops are: - to provide a meeting place for AI researchers and practitioners. - to inform research students about cutting-edge AI research via the presence of outstanding international invited speakers. - to raise the standards of practice of AI research by providing researchers and students with feedback from an internationally-renowned program committee. == KEYNOTE SPEAKERS == - Luc De Raedt, Katholieke Universiteit Leuven, http://people.cs.kuleuven.be/~luc.deraedt/ - Fangzhen Lin, Fangzhen Lin, Hong Kong University of Science and Technology, http://www.cs.ust.hk/~flin/ == TOPICS == Artificial intelligence is a broad area of research. We encourage researchers to submit papers in the following areas but not limited to: THEORY, METHODS AND TOOLS: - Cognitive Science - Computational Philosophy - Computational Intelligence - Computer Vision - Evolutionary Computing - Game Theory - Knowledge Representation and Reasoning - Machine Learning - Multi-agent Systems - Natural Language Processing - Planning and Scheduling - Robotics - Speech Recognition - Uncertainty in AI - Vision - Web and AI APPLICATIONS: - Ambient Intelligence - Big Data - Biometrics - BioInformatics - Chatbots - Decision Support Systems - E-commerce - Industrial Applications of AI - Knowledge Management - Privacy - Recommender Systems - Semantic Web - Security - Social Networking - Software Engineering - Spam Filtering - Surveillance - Telecommunications and Web Services == PROCEEDINGS & SPECIAL ISSUE == MIWAI'15 Proceedings will be published in Springer LNAI (Lecture Notes in Artificial Intelligence). A selection of the best papers will be invited to be revised and extended for the post-conference publication in a Special Issue of IJAIT (International Journal of Artificial Intelligence Tools). Two EI-indexed Chinese journals will also publish selected papers from MIWAI’15: Journal of South China University of Technology (Natural Science Edition), and Journal of Sichuan University: Engineering Science Edition. == SUBMISSION GUIDELINES == Submission link: https://www.easychair.org/conferences/?conf=miwai2015 Both research and application papers are solicited. All submitted papers will be carefully peer-reviewed on the basis of technical quality, relevance, significance, and clarity. Each paper should have no more than twelve (12) pages in the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Unpublished work of the authors should not be cited. Springer-Verlag author instructions are available at: http://www.springer.com/lncs == CONFERENCE CHAIRS == General Chairs: - Shuying Cheng (Fuzhou University, China) - Weixing Wang (KTH, Sweden) - Grigoris Antoniou (University of Huddersfield, UK) PC Chairs: - Xianghan Zheng (Fuzhou University, China) - Antonis Bikakis (UCL, UK) == STEERING COMMITTEE == - Arun Agarwal, University of Hyderabad, India - Rajkumar Buyya, University of Melbourne, Australia - Patrick Doherty, University of Linkoping, Sweden - Jerome Lang, University Paris-Dauphine, France - James F. Peters, University of Manitoba, Canada - Srinivasan Ramani, IIIT Bangalore, India - C Raghavendra Rao, University of Hyderabad, India - Leon Van Der Torre, University of Luxembourg, Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Werner.Nutt at unibz.it Sat Jul 18 12:21:41 2015 From: Werner.Nutt at unibz.it (=?ISO-8859-1?Q?Werner_Nutt?=) Date: Sat, 18 Jul 2015 12:21:41 +0200 Subject: PhD Scholarships in Computer Science at the KRDB Research Centre, Free University of Bozen-Bolzano (Italy) Message-ID: <18072015122141585GGh77pfXqRRd0155@webmail.unibz.it> The Free University of Bozen-Bolzano announces a public competition, by qualifications, for admission to the PhD program of the Faculty of Computer Science, with the first 8 positions fully covered by scholarships (17,000€ per year). In addition, the students will be financially supported to attend conferences and schools, and to spend a period of 6-12 months abroad. The starting date of the PhD program is November 1, 2015 and the program lasts three years. The official language of the program and of the faculty is English. Instructions for application (pre-enrollment) can be found at: http://www.unibz.it/en/public/research/phd/PhD_31st_cycle.html (Consult both the general part of the call, and the specific part for the PhD program in Computer Science) The deadline for the online application is August 7, 2015. Use the application portal of the Free University of Bozen-Bolzano at https://aws.unibz.it/exup/en Research at the Faculty of Computer Science is carried out within three research groups, and the specific topics for a PhD that are offered by each group are detailed in the call. The KRDB Research Centre for Knowledge and Data (see http://www.inf.unibz.it/krdb/staff.php) offers PhD topics in the broad area of knowledge representation, data management, and process management, with an emphasis on foundational aspects and their practical realization in technologies and tools for data and process management. Specific research topics include: - Logic-based languages for knowledge representation - Intelligent access to data - Information extraction - Semantic technologies - Information integration - Data-aware process modeling, verification, and synthesis - Business process monitoring, mining, and conformance - Temporal aspects of data and knowledge - Extending database technologies - Visual and verbal paradigms for information exploration Candidates interested in carrying out a PhD on these topics are strongly advised to get in contact with Prof. Werner Nutt before applying. Bolzano is the city’s Italian name while Bozen is its German name: it is the capital of the multilingual province of Alto Adige/Südtirol. Near Italy’s northern border with Austria, the city is a gateway to the Dolomites, the majestic white mountain peaks that are part of the Alps. Bolzano is an Italian city with Austrian flair. Its two lifestyles, one Northern European and the other more Mediterranean, combine to make the perfect union, which can be clearly seen in the historic and artistic treasures of this city. Bolzano is constantly among the top-ranked cities in Italy when it comes to quality of life. It has one of Europe's lowest unemployment rates, excellent services and a wonderful landscape. The landscape of the surrounding mountain sides is characterised by old wine hamlets and villages nestling amid vineyards watched over by 200 castles, stately country houses and ruins. From grlmc at urv.cat Sat Jul 18 15:14:04 2015 From: grlmc at urv.cat (GRLMC - URV) Date: Sat, 18 Jul 2015 15:14:04 +0200 Subject: TPNC 2015: extended submission deadline 27 July Message-ID: <089101d0c15b$a6569060$6500a8c0@GRLMC.local> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: July 27 ***** ---------------------------------------------------------------------------- **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: (to be completed) John A. Smolin (IBM T.J. Watson Research Center, Yorktown Heights), tba Guy Theraulaz (Paul Sabatier University, Toulouse), Stigmergic Interactions and 3D Nest Construction in Ant Colonies PROGRAMME COMMITTEE: Hussein Abbass (University of New South Wales, Canberra, Australia) Andrew Adamatzky (University of the West of England, Bristol, UK) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) Óscar Cordón (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) János Fodor (Óbuda University, Budapest, Hungary) Fernando Gomide (University of Campinas, Brazil) Maoguo Gong (Xidian University, Xi'an, China) Salvatore Greco (Universiy of Catania, Italy) Jin-Kao Hao (University of Angers, France) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Fakhri Karray (University of Waterloo, Canada) László T. Kóczy (Budapest University of Technology and Economics, Hungary) Rudolf Kruse (University of Magdeburg, Germany) José A. Lozano (University of the Basque Country, Donostia, Spain) Jianquan Lu (Southeast University, Nanjing, China) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Vilém Novák (University of Ostrava, Czech Republic) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) Günther Palm (Ulm University, Germany) Linqiang Pan (Huazhong University of Science and Technology, Wuhan, China) Lech Polkowski (Polish-Japanese Academy of Information Technology, Warsaw, Poland) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicenç Torra (University of Skövde, Sweden) José Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mingsheng Ying (University of Technology, Sydney, Australia) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) William Zhu (Minnan Normal University, Zhangzhou, China) Marek Żukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/TPNC2015/Registration.php DEADLINES: Paper submission: July 27, 2015 (23:59h, CET) - EXTENDED - Notification of paper acceptance or rejection: August 28, 2015 Final version of the paper for the LNCS proceedings: September 4, 2015 Early registration: September 4, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: European Centre for Soft Computing Universitat Rovira i Virgili From invitation at iariaevent.org Sat Jul 18 15:21:19 2015 From: invitation at iariaevent.org (ICNS 2016) Date: Sat, 18 Jul 2015 09:21:19 -0400 Subject: 1st CfP: ICNS 2016 and CONNET 2016 || June 26 - 30, 2016 - Lisbon, Portugal Message-ID: <1437225679140.1116@iariaevent.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: The submission deadline is February 9, 2016. - ICNS 2016, The Twelfth International Conference on Networking and Services - CONNET 2016, The International Symposium on Advances in Content-oriented Networks and Systems Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICNS 2016 | CONNET 2016 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICNS 2016, The Twelfth International Conference on Networking and Services General page: http://www.iaria.org/conferences2016/ICNS16.html Submission page: http://www.iaria.org/conferences2016/SubmitICNS16.html CONNET 2016, The International Symposium on Advances in Content-oriented Networks and Systems General page: http://www.iaria.org/conferences2016/CONNET.html Submission page: http://www.iaria.org/conferences2016/CONNET.html#SubmitAPaper Events schedule: June 26 - 30, 2016 - Lisbon, Portugal Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: February 9, 2016 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and comply with the editorial rules: http://www.iaria.org/editorialrules.html ICNS 2016 Topics (for topics and submission details: see CfP on the site) Call for Papers: http://www.iaria.org/conferences2016/CfPICNS16.html ============================================================ ENCOT: Emerging Network Communications and Technologies Access and home networks; Ad hoc networks; Application-specific networks (e.g. SANs); Autonomic Networks; Delay-tolerant Networking; Distributed communications systems & applications; Energy-efficient networking; High-speed & optical networks; Mobile networking and systems; 5G and LTE approaches; Multimedia and multicast communications; Networking Communication theory; Network modeling & simulation; Network monitoring techniques; Network security; Next Generation Networks (NGN); Overlay networks; Peer-to-peer networking; Programmable and Active Networks; Sensor networks; Wireless and Satellite Networks; Content-oriented networks; Ambient environments CGNS: CLOUD/GRID Networks and Services CLOUD frameworks, architectures, computation, storage; GRID theory, frameworks, methodologies, architecture, ontology; Cloud and GRID infrastructure and technologies; CLOUD/GRID middleware; CLOUD computing, utility computing, autonomic computing, metacomputing; Programmable CLOUD/GRID; CLOUD services and applications; VIRTUALIZATION, modeling, and metadata; Resource management, scheduling, and scalability in CLOUD/GRID; CLOUD/GRID monitoring, control, and management; Traffic and load balancing in CLOUD/GRID; User profiles and priorities in CLOUD/GRID; Performance and security in CLOUD/GRID systems; Fault tolerance, resilience, survivability, robustness in CLOUD/GRID; QoS/SLA in CLOUD/GRID networks; CLOUD/GRID fora, standards, development, evolution; CLOUD/GRID case studies, validation testbeds, prototypes, and lessons learned UBI: Ubiquitous mobile services and protocols Frameworks, architectures, and languages for ubiquitous services; Queries, transactions and workflows in mobile and ubiquitous Networks; Algorithms for ubiquitous systems; SLA/QoS in ubiquitous services; Ontology-based services; Location-based services; Protocols and interaction mechanisms for ubiquitous services; Mobile services and service convergence; Service discovery mechanisms; Tracking in ubiquitous environments; Measurement, control, and management of ubiquitous services; Design and development of ubiquitous services; Wireless/mobile service delivery SERVI: Multi-technology service deployment and assurance Service-oriented architectures; Service definition, creation, bundling, deployment; Service reuse, composition and service feature interaction; Service orchestration and federation; Inter-provider service dependency; Intra-provider service dependency and service interaction; Service middleware and service development platforms (SDPs); Service open architecture (SOA); Profiling and service adaptation; Service privacy and security; Quality of service, service level agreement [QoS/SLA]; Service agreement violations; Mobile services and service migration; Reliability, availability, serviceability [RAS]; Service performance metrics; Traffic engineering, metering, monitoring; Voice over IP services; IP Multimedia services; Real-time/not-real-rime services; Real-time services over IP/IPv6; Service performance evaluation, tools, simulation NGNUS: Next Generation Networks and Ubiquitous Services Methodologies, development support, and tools for NGN and converging services; NGN and convergence of ubiquitous services; NGN frameworks, architectures, and concepts; NGN technologies and mechanisms; QoS/SLA, traffic in NGN; NGN transport/service layered capabilities and operations; NGN concepts for active, ad hoc, mobile, and wireless networks; 3G, 4G, and 5G Mobile networks; Fixed/mobile networks integration and internetworking; Services and service differentiation over NGN; Managing ubiquitous services in NGN; NGN interworking, non-NGN interoperability, migration; Regulatory services in NGN and standard activities; NGN device instrumentation; NGN policy-based control; Next Generation Internet COMAN: Network Control and Management Network, control and service architectures; Measurement of stream characteristics (reordering, delay, losses, jitter, etc.); Network signaling, pricing and billing; Network middleware; Network management, monitoring and control; Network resource scheduling; Networks policy-based management; Management of autonomic networks and systems; Telecommunication networks architectures; On-demand networks, utility computing architectures; Traffic engineering; Impact of packet dynamics on application performance; Applications and case studies MPQSI: Multi Provider QoS/SLA Internetworking Architectures, frameworks, mechanisms for admission control and measurement; QoS in multi-provider and multi-technology networks; Service classes and multi-provider service class discovery; Service level agreement and service assurance in multi-provider environments; Carrier-class end-to-end SLA and QoS monitoring and management; Multi provider accounting/billing/cost sharing; Management, monitoring, and measurements in multi-provider networks; End-to-end QoS/SLA advanced network services in multi-provider networks; End-to-end QoS/SLA for multimedia applications and services in multi-provider networks; Security issues in multi-service provider networks; Business models for multi-providers under QoS/SLA constraints; Standards and fora activities SDN: Software Defined Networking SDN architectures; Openflow protocols; SDN switches and routers; SDN controllers; Network operating systems; SDN scalability; Virtualization; Flow based operation; Distributed Controllers; State distribution in SDN control; Fault tolerance in SDN; Secure and dependable SDN; Openflow vulnerabilities; Software defined Internet architectures;Scaling virtualized functions; Traffic engineering with SDN; Abstractions for SDN; Network programming languages; Information centric networking and SDN; SDN in cloud computing; SDN applications; SDN in wireless environment; Controller performance evaluations; Mobility solutions EDNA: Emergency Services and Disaster Recovery of Networks and Applications Theory on disaster-tolerant robust networks; Recovery by disruption resource procedures; Security issues with emergency services and disaster recovery; Networks resiliency methods; Formal methods for safety-critical systems; Networks emergency services; Public safety, reliable emergency communications, and applications; Response to the networks emergency services; Disaster prevention and recovery; Fighting mechanisms for disaster of networks and applications; Notifications and recovery in various network technologies; Customer protection and serviceability perception; Cost models and business impact; Cultural and legal aspects; Future advanced network development and evolution; Standards and guidelines; Lawful interception and defense strategies; DEPLOY: Deploying the Future Infrastructures Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices; Deploying large-scale Internet of Things (IoT)-based networks and services; Optical Network Infrastructures; Deploying 5G and beyond networks; Deploying sensor networks; Deploying wireless and wired body-networks CGOBS: CLOUD/GRID over Optical Burst Switching Networks Terabit burst switching; Burst assembly for IP DiffServ over optical burst switching networks; Optical network infrastructure for CLOUD/GRID; Synchronous stream optical burst switching; Optical burst switching based CLOUD/GRID architectures; Reliable optical burst switching for next-generation Grid networks; Optical burst switching for IP-over-WDM/DWDM; Customizable Grid-to-optical network; Ultra high capacity optical networks; Hybrid optical burst/circuit switched for CLOUD/GRID-enabled optical networks; Job scheduling in optical burst switching CLOUD/GRID networks; Architecture and middleware for CLOUD/GRID-Over-OBS APP: Users, applications, and business models Mobile user interfaces; Ubiquitous user-generated content (weblogs, wikis, etc.); Mobile and ubiquitous computing; User modeling and personalization; Context- and location-aware applications; Toolkits, testbeds, development environments; Tools and techniques for designing, implementing, & evaluating ubiquitous networks and services; Constructing, deploying and prototyping of ubiquitous applications; Evaluation of user models for ubiquitous environments; On-line analytical techniques; Human-computer interaction in ubiquitous computing environments; Ubiquitous e-Development (business, science, health, etc.); Case Studies; Emerging industrial/business/scientific ubiquitous scenarios CONNET 2016 Topics (for topics and submission details: see CfP on the site) CfP: http://www.iaria.org/conferences2016/CONNET.html#CallForPapers ========================== CON and CDN concepts and architectures Content naming in CON Content-based (adaptive) routing and forwarding CON content delivery and dissemination In-network caching policies in CON CDN and P2P caching policies and solutions CON specific protocols Resources and traffic management in CON CON multicast and mobility solutions Media and real time content delivery and QoS assurance in CON CON solutions for security Energy-efficient CON networking CON performance evaluation and scalability Application Programming Interfaces CON implementation and deployment in real networks: seamless or revolutionary CON Publish/subscribe systems CON in cloud environments CON in SDN (Software Defined Networking) and virtualization frameworks CON-CDN-P2P cooperation for content delivery Content-based high level communication services Content-based approach in special contexts: vehicular networks, Web Servers Clusters, Delay-tolerant networks ------------------------ ICNS 2016 Committee: http://www.iaria.org/conferences2016/ComICNS16.html CONNET 2016 Committee: http://www.iaria.org/conferences2016/CONNET.html#Committees To stop receiving notices about ICNS, please reply with "DROP ICNS event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From p.torroni at unibo.it Tue Jul 21 08:57:22 2015 From: p.torroni at unibo.it (Paolo Torroni) Date: Tue, 21 Jul 2015 06:57:22 +0000 Subject: CfP: ACM TOIT Special Section on Argumentation in Social Media Message-ID: <2DE83EB3-3014-46C4-AB91-CA7BB693C7A4@unibo.it> 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 franconi at inf.unibz.it Wed Jul 22 15:43:41 2015 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 22 Jul 2015 15:43:41 +0200 Subject: PhD Scholarships in Computer Science at the KRDB Research Centre in Bolzano (Italy) Message-ID: <22072015154341575GGh77pfXqRRd0185@webmail.unibz.it> The Free University of Bozen-Bolzano announces a public competition, by qualifications, for admission to the PhD program of the Faculty of Computer Science, with the first 8 positions fully covered by scholarships (17,000€ per year). In addition, the students will be financially supported to attend conferences and schools, and to spend a period of 6-12 months abroad. The starting date of the PhD program is November 1, 2015 and the program lasts three years. The official language of the program and of the faculty is English. Instructions for application (called pre-enrollment) can be found at:     http://www.unibz.it/en/public/research/phd/PhD_31st_cycle.html (check both the general part of the call and the part for the PhD program in Computer Science). The deadline for the online application is      August 7, 2015. Research at the Faculty of Computer Science is carried out within three research groups. The KRDB Research Centre for Knowledge and Data (see http://www.inf.unibz.it/krdb/) offers PhD topics in the broad area of knowledge representation, data management, and process management, with an emphasis on foundational aspects and their practical realisation in technologies and tools for data and process management. Specific research topics include: - Logic-based languages for knowledge representation - Intelligent access to data - Information extraction - Semantic technologies - Information integration - Data-aware process modelling, verification, and synthesis - Business process monitoring, mining, and conformance - Temporal aspects of data and knowledge - Extending database technologies - Visual and verbal paradigms for information exploration Candidates interested in carrying out a PhD on these topics are strongly advised to get in contact with Prof. Werner Nutt before applying. Bolzano is the city's Italian name while Bozen is its German name: it is the capital of the multilingual province of Alto Adige/Südtirol. Near Italy's northern border with Austria, the city is a gateway to the Dolomites, the majestic white mountain peaks that are part of the Alps and UNESCO World Heritage. Bolzano is an Italian city with Austrian flair. Its two lifestyles, one Northern European and the other more Mediterranean, combine to make the perfect union, which can be clearly seen in the historic and artistic treasures of this city. Bolzano is constantly among the top-ranked cities in Italy when it comes to quality of life. It has one of Europe's lowest unemployment rates, excellent services and a wonderful landscape. The landscape of the surrounding mountain sides is characterised by old wine hamlets and villages nestling amid vineyards watched over by 200 castles, stately country houses and ruins. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Thu Jul 23 21:23:48 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Thu, 23 Jul 2015 21:23:48 +0200 Subject: [LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS) Message-ID: [apologies for possible multiple copies] Call for Participation *** EARLY REGISTRATION CLOSES SOON *** *** NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS *** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. Early registration closes before the end of July. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By Jérôme Lang, Université Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. NOTE: Students planning to request financial aid should directly contact Miroslaw Truszczynski before they register. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From sender at ekimelu.com Mon Jul 27 21:37:07 2015 From: sender at ekimelu.com (sender at ekimelu.com) Date: Mon, 27 Jul 2015 19:37:07 -0000 Subject: WSTI-2015 Message-ID: <20150727193707.19851.52714@chaiten.ccurico.local> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at fct.unl.pt Tue Jul 28 19:46:21 2015 From: jleite at fct.unl.pt (Joao Leite) Date: Tue, 28 Jul 2015 14:46:21 -0300 Subject: NOVA LINCS Post-Doctoral Fellowship in Dynamic Knowledge Representation and Reasoning Message-ID: NOVA LINCS Post-Doctoral Fellowships Principles and Techniques for Dynamic Knowledge Representation and Reasoning Knowledge-Based Systems research group (NOVALINCS/KBS/2015/BPD.2) The NOVA Laboratory of Computer Science and Informatics is a Portuguese leading research unit hosted at Departamento de Informatica - Universidade Nova de Lisboa (see http://nova-lincs.di.fct.unl.pt). NOVA LINCS was awarded the highest research rating by the last (2013) FCT/MEC evaluation exercise (Excellent), among all national units focused exclusively in Computer Science and Informatics. We are currently pursuing an ambitious research program at the highest international level on principles and engineering for global software systems as a collaboration of our four groups Computer Systems, Knowledge-based Systems, Multimodal Systems and Software Systems. In the context of the 2015-20 strategic project NOVA LINCS seeks to appoint 1 post-doctoral research associate to become part of the Knowledge-Based Systems research group. Admission Requirements: To apply for this position, the candidate is required to have a strong background in computer science at the PhD level, and a proven publication track record in either Knowledge Representation and Reasoning, or Databases. Previous experience in the following topics will be valued: complex event processing; stream reasoning; dynamical systems; design and implementation of reasoning engines. We expect the research outcomes of the activity to be published at premier artificial intelligence, web and/or databases conferences and journals. The candidates should have excellent communication skills, be fluent in English (spoken and written). Candidates close to completion of their PhD will also be considered, provided that they will have their thesis defended when the contract is signed. Work Objectives: In the context of the 2015-20 strategic project NOVA LINCS seeks to appoint a post-doctoral research associate to become responsible for the development of novel methods and tools enabling knowledge-rich software applications that support dynamic data. Aimed at advancing the state of the art in stream reasoning, this project will require both foundational work in the form of knowledge representation languages, semantics, querying and reasoning procedures, as well as the development of efficient tools. This activity integrates a broader research line within NOVA LINCS, which targets the development of knowledge-rich software applications and services, application integration, automation and interoperation of processes, and problem-solving in various domains. The successful candidate will integrate the Knowledge-Based Systems research group, but is expected to be open to collaborations with other groups across the laboratory (for further information see http://nova-lincs.di.fct.unl.pt/research/knowledge-based-systems). Amount of the Fellowship: monthly payment of €1.495 net (€17.940 net per year, no taxes applicable), according to FCT/MEC regulations, plus coverage of social security insurance. Call for applications is open until November 30, 2015. The application must include the following documents: motivation letter, CV, copy of academic records/certificates and two contact references. Applications should be sent to Prof. Jose Alferes (jja at fct.unl.pt) and/or Prof. Joao Leite (jleite at fct.unl.pt) and cc to nova-lincs.secretariado at fct.unl.pt with reference NOVALINCS/KBS/2015/BPD.2. Contacts Email: nova-lincs.secretariado at fct.unl.pt Phone: (+351) 212948536 (direct) (+351) 212948300 (central) (+351) 212948500 (central) Fax: (+351) 212948541 -- --------------------------------------------------------------- Joao Leite NOVA LINCS Universidade Nova de Lisboa, e-mail: jleite at fct.unl.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: