From ruy at cin.ufpe.br Sat Jan 2 11:40:58 2016 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 2 Jan 2016 07:40:58 -0300 Subject: 23rd WoLLIC 2016 (Puebla, Mexico) - 2nd Call for Papers Message-ID: [Please circulate. Apologies for any duplicates] WoLLIC 2016 23rd Workshop on Logic, Language, Information and Computation August 16th-19th, 2016 Puebla, Mexico SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) IN COOPERATION WITH ACM SIGLOG (to be confirmed) ORGANISATION Fundación Universidad de las Américas, Puebla, Mexico Benemérita Universidad Autónoma de Puebla, Mexico Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Benemérita Universidad Autónoma de Puebla, Mexico CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at the Department of Computer Science, Benemérita Universidad Autónoma de Puebla, Mexico, from August 16th to 19th, 2016. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 15 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2016 EasyChair website. (Please go to http://wollic.org/wollic2016/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 14, 2016, and the full paper by Mar 21, 2016 (firm date). Notifications are expected by Apr 22, 2016, and final papers for the proceedings will be due by May 6, 2016 (firm date). PROCEEDINGS The proceedings of WoLLIC 2016, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series (FoLLI subseries). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL (Oxford U Press), and selected contributions will be published as a special post-conference WoLLIC 2016 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Pablo Barceló (Santiago de Chile) Alessandra Parmigiano (Delft) Sonja Smets (Amsterdam) Andres Villaveces (Bogotá) (more to be confirmed) SPECIAL SCREENING - A TRIBUTE TO THE LEGACY OF GEORGE BOOLE In celebration of the 200th anniversary of George Boole's birth (1815), there will be a special session with a screening of the documentary film "The Genius of George Boole" (2015, 58min). (to be confirmed) STUDENT GRANTS ASL sponsorship of WoLLIC 2016 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2016). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 14, 2016: Paper title and abstract deadline Mar 21, 2016: Full paper deadline Apr 22, 2016: Author notification May 6, 2016: Final version deadline (firm) PROGRAM COMMITTEE Samson Abramsky (U Oxford, UK) Dietmar Berwanger (ENS Cachan, France) Guram Bezhanishvili (New Mexico State U, USA) Arnaud Durand (U Paris 7, France) Pietro Galliani (U Helsinki, Finland) Nina Gierasimczuk (U Amsterdam, The Netherlands) Jeroen Groenendijk (U Amsterdam, The Netherlands) Lauri Hella (U Tampere, Finland) Wesley Holliday (U Calif Berkeley, USA) Juha Kontinen (Helsinki U, Finland) Larry Moss (Indiana U, USA) André Nies (U Auckland, New Zealand) Aarne Ranta (Chalmers U, Sweden) Mehrnoosh Sadrzadeh (Queen Mary Coll, UK) Norma Short (U Aix-Marseille, France) Jouko Väänänen (U Helsinki, Finland & U Amsterdam, The Netherlands) (CHAIR) Rineke Verbrugge (U Groningen, The Netherlands) Heribert Vollmer (U Hannover, Germany) Dag Westerståhl (Stockholm U, Sweden) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz. ORGANISING COMMITTEE Mauricio Osorio (Fundación Universidad de las Américas, Puebla) (Local co-chair) Claudia Zepeda Cortés (Facultad de Ciencias de la Computación, Benemérita Universidad Autónoma de Puebla) (Local co-chair) José R. Arrazola Ramírez (Facultad de Ciencias Físico Matemáticas, Benemérita Universidad Autónoma de Puebla) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2016/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cmt at microsoft.com Sat Jan 2 17:34:04 2016 From: cmt at microsoft.com (Conference Management Toolkit) Date: 2 Jan 2016 08:34:04 -0800 Subject: [IEEE] CoDIT2016: Last Reminder Call for Papers Message-ID: <9wysu8v8SGW22GoeoEi2LA@ismtpd0011p1las1.sendgrid.net> Dear coleague: Please consider submitting a paper to The 3rd International Conference on Control, Decision and Information Technologies (CoDIT 2016) to be held at Saint Julian's, Malta from April 6-8, 2016. Paper submission deadline has been extended to January 7th, 2016. The conference features an excellent line-up of keynote speakers as well as 10 special sessions. More info at http://www.codit2016.com/ Publication and Indexing: 1. Papers presented will be published on IEEE Xplore 2. Indexed in Socpus & ISI Conference Proceedings Citation Index (Thomson Reuters). Scope and Topics: (More details: http://codit2016.com/index.php/scope-and-topics) Track I. Control, Robotics and Automation. Track II. Decision and Optimization. Track III. Information Technologies and Computer Science. We wish to see you at the conference. ************* Best regards On behalf of the Organizing Committe of CoDIT'16 Dr. Achraf J TELMOUDI Communication Chair of CoDIT'16 www.codit2016.com From s.verberne at cs.ru.nl Tue Jan 5 11:42:39 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 05 Jan 2016 10:42:39 +0000 Subject: 2nd Call for workshops at ECAI 2016 Message-ID: <94eb2c06bf9686ee20052893e56a@google.com> (Apologies for cross-posting) CALL FOR WORKSHOPS AT ECAI 2016, the 22nd European Conference on Artificial Intelligence Under the general theme of "AI for human values", ECAI 2016 (www.ecai2016.org) will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice. This location is highly appropriate to the conference theme. The conference dates are 29 August - 2 September 2016, with the workshops taking place on 29-30 August. The organising committee welcomes proposals for workshops by all members of the international AI community. There is no restriction regarding topics, as long as there is a clear relevance to ECAI. We encourage workshops in the traditional AI topics as Planning, Reasoning, Learning, Multi-Agent Systems etc., but also multidisciplinary topics as learning in automated software, AI for Computational Sustainability, AI in the serve of cyber security and so on. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day or shorter workshops can also be accommodated. If you are considering to propose a workshop or if you have any question, please do not hesitate to get in touch with the ECAI-2016 Workshop Chair Meir Kalech (workshop-chair at ecai2016.org). == Important Dates = - Workshop proposal submission: 18 January 2016 - Workshop proposal notification: 15 February 2016 - Notification of workshop papers: 28 June 2016 == Further Information for Workshop Organizers = Proceedings: It is up to the workshop organizers to decide if they provide proceedings or not. ECAI-2014 will not issue workshop proceedings. Although the reviewing process is up to the workshop organisers, we suggest a submission deadline no later than June 1. Registration: All workshop participants and organizers are required to register for the workshop and the main conference. Each workshop will be given 1 workshop-fee waiver to be used at the discretion of the organizers. Cancellations: Please understand that we may have to cancel a workshop if not enough participants register or if deadlines are not met. We are aiming for 20 participants on average per workshop, with a minimum of 10. == Submission details = Please submit your proposal by via easychair: https://easychair.org/conferences/?conf=workshopsecai2016 Each workshop proposal (pdf file) must include: - Title and acronym - Names, affiliations, and contact details of all organizers (please indicate a primary contact person to whom correspondence should be directed). - Short description (workshop format and duration, tentative call for papers, tentative invited speakers and members of the program committee). - Audience: research groups working in the field; (if applicable) details about previous editions of the workshop; related workshops in other venues; expected number of submissions. - One paragraph about each organizer (scientific profile, previous events you have organized). Every information you deem to be relevant. -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Tue Jan 5 12:00:24 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 05 Jan 2016 11:00:24 +0000 Subject: 2nd Call for tutorials at ECAI 2016 Message-ID: <001a113f8f3a01691f052894254e@google.com> (apologies for cross-posting) CALL FOR TUTORIAL PROPOSALS The ECAI 2016 (www.ecai2016.org) Organizing Committee invites proposals for tutorials to be held in conjunction with the conference. Under the general theme of "AI for human values", ECAI 2016 will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice. This location is highly appropriate to the conference theme. The tutorials will be scheduled on August 29-30. As in former editions, tutorial participation is free for all conference participants in order to encourage high participation rates in the tutorials. == Format and application = In addition to "standard" half-day tutorials, ECAI 2016 will also feature "spotlight" tutorials, organized in a single 90-minute slot each. Spotlight tutorials are meant to address emerging areas, techniques, methodologies and perspectives in AI. Standard tutorials are meant to cover rather established areas of AI such as Machine Learning, Knowledge Representation, Natural Language Processing and others, as well as, in particular, topics in the overlap of such areas. Applications must be made via EasyChair at http://www.easychair.org/conferences/?conf=ecai2016-tutorials (to be opened soon) They should include a 2-page abstract, indicating title, topic and motivation for the tutorial, intended audience, preferred format (standard or spotlight), relevance to the ECAI community, list of previous venues and audience numbers for related tutorials, specific equipment requirements, and a short bio of the presenter(s), including name, affiliation, email address and website. Notice that we might ask you to switch to the other format for organizational reasons. == Important Dates = - Tutorial proposal submission: 18 January 2016 - Tutorial proposal notification: 15 February 2016 == Areas = The tutorial should concern artificial intelligence and its applications. We welcome tutorials about both well established areas, as well as up and coming topics. == Policy on multiple submissions = We encourage proposals of brand new tutorials, as well as tutorials that have already been successfully offered before, or that are also being proposed to other venues (e.g., other major AI conferences). In that case, the application should include a complete list of such venues. == Benefits = For each full tutorial 1 free conference registration to ECAI 2016 will be available. Giving a tutorial is an excellent way to gain visibility, to build your professional network, and is seen as an important service to the community. == Cancellation = Please understand that we may have to cancel a tutorial if not enough participants register or if deadlines are not met. At least 10 participants need to be registered by the early registration deadline to guarantee that the tutorial goes ahead. == Inquiries = Direct all your inquires to the tutorial chairs Sophia Ananiadou and Leon van der Torre via tutorial-chairs at ecai2016.org -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Wed Jan 6 14:11:29 2016 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Wed, 6 Jan 2016 14:11:29 +0100 Subject: CFP: IJAR Special issue on Probabilistic Logic Programming In-Reply-To: References: Message-ID: International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 2nd Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2015). Call for additional contributions. Deadline: Jan 15th, 2016 The 2nd PLP workshop was held on the 31st of August 2015, in Cork, Ireland as part of the International Conference on Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Cork, as well as new submissions on all topics of the workshop. Topics include but are not limited to: ------ * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Editors ----- Fabrizio Riguzzi (University of Ferrara, Italy) Joost Vennekens (KU Leuven, Belgium) Deadline: 15th January 2016 Submissions: Authors should prepare their manuscript according to the Guide for Authors available from the online submission page of the (IJAR) at http://ees.elsevier.com/ija/admin/default.asp Please select "SI: Prob. Log. Prog. 2015" at the "Article Type" step in the submission process. All papers will be peer-reviewed following the IJAR reviewing procedures. The CFP for this special issue can be found here: http://www.journals.elsevier.com/international-journal-of-approximate-reasoning/call-for-papers/2nd-probabilistic-logic-programming-workshop/ The special issue will follow the Virtual Special Issue (VSI) model: an online-only grouping of articles traditionally assigned to a single special issue. Each article in a VSI is published in a regular journal issue as soon as available. A VSI speeds up the publication of individual articles as, unlike the publication process for conventional Special Issue articles, a VSI does not need to wait for the final article to be ready before publication. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Wed Jan 6 14:31:18 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Wed, 06 Jan 2016 13:31:18 +0000 Subject: PAIS'16 2nd Call for papers Message-ID: <001a113726e285ab310528aa5eae@google.com> (apologies for cross-posting) PAIS'16 Call for papers Conference on Prestigious Applications of Intelligent Systems - PAIS 2016, co-located with the European Conference on Artificial Intelligence, ECAI 2016, www.ecai2016.org 31 August - 2 September 2016, The Hague, The Netherlands The PAIS 2016 Programme Committee invites papers describing innovative applications of AI techniques to real-world systems and problems to be submitted to the Technical Programme of the 9th International Conference on Prestigious Applications of Intelligent Systems - a sub-conference of the 22nd European Conference on Artificial Intelligence (ECAI 2016). Artificial Intelligence (AI) is a central topic in contemporary computer science and has enabled many ground-breaking developments which have significantly influenced our society. Techniques, concepts, and results developed under the banner of AI research have proven to be of fundamen-tal importance in areas such as medicine, biology, economics, philosophy, linguistics, psychology and engineering; also, have proven to have a significant impact on several real-world applications, such as e-commerce, tourism, e-government, national security, manufacturing and other economic sectors. Consequently, AI has become increasingly important in neighbouring fields and therefore remains a topic of continuing fascination in our culture. Papers highlighting all aspects of the application of intelligent systems technology are most welcome. Our aim is to provide a forum for academic and industrial researchers and practitioners to share experience and insight on the applicability, development and deployment of intelligent systems. PAIS is the largest showcase of real applications using AI technology in Europe and is the ideal place to meet developers of successful applications. Under the general theme of "AI for human values", PAIS 2016/ECAI 2016 will be held in the city of The Hague, opposite the Peace Palace, seat of the International Court of Justice. The theme "AI for human values" is appropriate to this location, and highly relevant to the PAIS conference. == Topics of Interest = Papers on all novel and significant applications of intelligent systems are welcome. In particular, we encourage submissions on deployed (in production use for some time) and emerging applications (in field testing). Papers considering deployed applications should clearly highlight the benefits of the application, describe how AI methods are applied or enhanced, and finally present the contri-bution of AI methods to the overall success. For emerging applications authors must convincingly argue the benefits of the productive use. The following list of AI application areas is indicative only: * Active lifestyle and sport * Assisted Living * Aerospace * Autonomous Vehicles * Digital Humanities * Energy * Engineering * Ecology * Education * Life Sciences and Medicine * Marketing * Mobile Computing and the Internet * Multimedia * Persuasive Technologies * Production * Process management * Sales assistance * Sensor Networks * Smart Retail * Smart Surroundings == Important Dates = * Paper submission: 15th April 2016 (23:59:59 CET) * Author feedback: 29th-31st May 2016 * Notification of acceptance/rejection: 7th June 2016 == Submission = Both long and short papers can be submitted. While long papers should report on substantial results, short papers are intended for highly promising but possibly more preliminary work. Rejected long papers will be considered for the short paper track. Formatting: Submitted papers must be formatted according to the camera-ready style for ECAI 2016. Long papers must not exceed six (6) pages and short papers must not exceed two (2) pages. Over-length submissions will be rejected without review. Details of the ECAI 2016 formatting style are available at: insert Originality: Submissions must be original and in particular should not have been formally published, accepted for publication or under review. Also, submissions must not be submitted elsewhere during the PAIS 2016 reviewing phase. Submitting and Reviewing: Submission and review of papers for PAIS 2016 will be managed via the EasyChair system: https://easychair.org/conferences/?conf=pais16 All submissions will be subject to peer review by the PAIS 2016 Programme Committee and evaluated on the basis of relevance, significance of contribution, impact, technical quality, scholarship and quality of presentation. During the author feedback phase, the (primary) authors of submitted papers will be offered the opportunity to respond to the reviews for their papers before the final decision on acceptance or otherwise is made. Based on the recommendations made by the reviewers and a separate award committee, one of the accepted long papers will receive the "best PAIS paper award". Proceedings and presentation The proceedings of PAIS 2016 will be included in the proceedings of the full ECAI 2016 conference and will be published and distributed by IOS Press as an online open access book. The proceedings of recent ECAI conferences are freely available on the IOS website. Authors of accepted papers must provide camera-ready versions in PDF format, conforming to the ECAI 2016 format, available at http://www.ecai2016.org/content/uploads/2015/10/ecai.tar.gz. Furthermore, at least one author of each accepted long or short paper must attend the conference to present the contribution. Long papers will be presented as talks; short papers will be presented in poster form. All PAIS participants have to register for the ECAI conference. == Organisation =PAIS 2016 Conference Chairs: Eyke Hüllermeier (University of Paderborn, Germany) Paolo Bouquet (University of Trento, Italy - OKKAM srl, Italy) -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Wed Jan 6 14:32:58 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Wed, 06 Jan 2016 13:32:58 +0000 Subject: STAIRS 2016 2nd Call for Papers Message-ID: <001a1141697c79ed350528aa64d4@google.com> (apologies for cross-posting) STAIRS 2016 We invite students and young post-doctoral AI fellows to submit their work to the Eighth European Starting AI Researcher Symposium (STAIRS). STAIRS is an international meeting intended to support AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year. STAIRS 2016 will be co-located with ECAI 2016, the European Conference on AI, in The Hague, Holland, 26 Aug - 2 Sept 2016. STAIRS offers doctoral students and young post-doctoral AI researchers: * a first experience of submitting and presenting a paper in an international forum with a broad scope and a peer review process * an opportunity to discuss and explore their research interests and European career objectives and opportunities. (+) Topics of Interest Papers are welcome on all aspects of contemporary AI, including, but not restricted to: * Applications of AI * Autonomous Agents & Multi-agent Systems * Case-Based Reasoning * Cognitive Modelling & Cognitive Architectures * Computational Creativity * Constraints, Satisfiability, and Search * Information Retrieval & Natural Language Processing * Knowledge Representation, Reasoning, and Logic * Machine Learning & Data Mining * Model-Based Reasoning * Natural Language Processing * Planning and Scheduling, * Robotics, Perception, Vision and Sensing * Social Intelligence and Socio-Cognitive Systems * Uncertainty in AI * Web and Knowledge-based Information Systems * Multidisciplinary Topics (+) Important Dates - Paper submission deadline: 16.5 - Notification of acceptance/rejection: 10.6 - Camera-Ready Copy Due: 17.6 - Conference: 29th-30th August, 2016 The proceedings of STAIRS will be published and distributed by IOS Press' "Frontiers in Artificial Intelligence and Applications" (FAIA) series. More info can be found at http://www.ecai2016.org/calls/stairs-call-for-papers/ STAIRS Co-Chairs: H. Sofia Pinto, sofia at inesc-id.pt (IST, Universidade de Lisboa, Portugal) David Pearce, david.pearce at upm.es (Universidad Politecnica de Madrid, Spain) -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From N.Bulling at tudelft.nl Thu Jan 7 08:08:20 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Thu, 7 Jan 2016 07:08:20 +0000 Subject: Second CfP: Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS 2016) Message-ID: ======================================================== 9th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2016 *** (satellite workshop of AAMAS 2016) May 10, 2016, Singapore http://ii.tudelft.nl/~nils/lamas2016/ 2nd Call for Papers ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas. The workshop is intended to cover, but it is not limited to, the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, please see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2016 ================================= PROCEEDINGS AND POST-PROCEEDINGS (Journal Special Issue of STUDIA LOGICA) ================================= All accepted workshop papers will be made available to workshop registrants in electronic form. No formal publication of workshop papers is planned, besides the selected "visionary paper" and "best paper" as explained below. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. Authors of selected papers will be invited to submit to the special issue. All submissions will be subject to another reviewing and selection process according to the standards of STUDIA LOGICA. ================================= VISIONARY PAPER AND BEST PAPER ================================= The most “visionary paper” will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Additionally, the “best paper” will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request. ================================= Keynote Speaker ================================= To be announced ================================= IMPORTANT DATES ================================= Paper submission: February 1, 2016 Author notification: March 2, 2016 Camera-ready deadline: March 10, 2016 Workshop: May 10, 2016 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, TU Delft, NL Davide Grossi, University of Liverpool, UK ================================= PROGRAM COMMITTEE (confirmed members) ================================= Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Thomas Bolander, DTU Mehdi Dastani, Utrecht University Michael Fisher, University of Liverpool Nina Gierasimczuk, ILLC, University of Amsterdam Valentin Goranko, Stockholm University Andreas Herzig, IRIT-CNRS Koen Hindriks, Delft University of Technology Wiebe van der Hoek, University of Liverpool Wojtek Jamroga, Polish Academy of Sciences Joao Leite, NOVA LINCS, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Emiliano Lorini, IRIT John-Jules Meyer, Utrecht University Aniello Murano, Universita’ di Napoli "Federico II" Alessandra Palmigiano, Technical University of Delft Wojciech Penczek, ICS PAS and Siedlce University Daniele Porello, ISTC, CNR R. Ramanujam, Institute of Mathematical Sciences, Chennai Pierre-Yves Schobbens, University of Namur Sonja Smets, University of Amsterdam Nicolas Troquard, LACL, Univ. Paris Est-Créteil ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, TU Delft, and Davide Grossi, University of Liverpool. In case of questions, do not hesitate to contact us at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk, respectively. — Priv.-Doz. Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology The Netherlands http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcvanzee at gmail.com Fri Jan 8 18:14:40 2016 From: marcvanzee at gmail.com (Marc van Zee) Date: Fri, 8 Jan 2016 18:14:40 +0100 Subject: "A Decade of ICR" - Symposium, March 17-18, 2016 Message-ID: ====================== Invitation: A Decade of ICR - Symposium, March 17-18, 2016 ====================== Dear all, Hard to imagine, but next year, the "Individual and Collective Reasoning" research group from the University of Luxembourg will have been flourishing for already 10 years, becoming one of the leading "AI and Logic"-groups in Europe, and helping to form the next generation of research leaders. In order to celebrate this memorable event, and to discuss future plans, we are going to organize the Symposium “A Decade of ICR”, which will take place March 17-18, 2016, in Luxembourg-City, where we hope for nice and interesting presentations and discussions. The symposium is open to all and there are no registration fees. To register send an e-mail to a.decade.of.icr at gmail.com For more information, see the website of the symposium: http://icr.uni.lu/icrworkshop2016/ The program will be available shortly. We look forward to seeing you in Luxembourg! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From samhar.mahmoud at kcl.ac.uk Mon Jan 11 10:45:47 2016 From: samhar.mahmoud at kcl.ac.uk (Mahmoud, Samhar) Date: Mon, 11 Jan 2016 09:45:47 +0000 Subject: 2nd CfP COIN@AAMAS16: Coordination, Organizations, Institutions and Norms in Agent Systems Message-ID: [Apologies if you receive this more than once] -------------------------------------------------------------------------- 2nd Call for papers Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN at AAMAS2016) (http://ais.dcs.kcl.ac.uk/coin2016) A workshop co-located with the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (http://sis.smu.edu.sg/aamas2016) May 9 or 10, 2016, in Singapore OBJECTIVES The pervasiveness of open systems raises a range of challenges and opportunities for research and technological development in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a social space. These entities join the social space in order to achieve some goals that are unattainable by agents in isolation. However, when those entities are autonomous, they might misbehave and, furthermore, in open systems one may not know what entities will be active beforehand, when they may become active or when these entities may leave the system. The challenge in the design and construction of open systems is to devise mechanisms that foster interactions that are conducive to achieving individual or collective goals. Coordination, organizations, institutions and norms are four key governance elements, and the COIN workshops constitute a space for debate and exploration of these four elements for the design and use of open systems. We seek to attract high-quality papers and an active audience to debate mathematical, logical, computational, methodological, implementational, philosophical and pragmatic issues related to the four aspects of COIN. In particular we seek to attract: * papers that present formal treatment of topics, * papers that present interdisciplinary treatment of topics, * papers that provide experimental support to claims, * papers that discuss tools, prototypes and actual working systems, * papers that propose novel and challenging positions, * papers that report on the experience of deployment and application of regulated open MAS, and * papers concerned with modelling, animation and simulation techniques for these types of multi-agent systems. Of particular interest for the workshop are those papers that articulate a challenging or innovative view. COIN is ranked B on the CORE Conference Ranking list: http://portal.core.edu.au/conf-ranks/2160/ IMPORTANT DATES February 1, 2016: Deadline for paper submissions March 7, 2016: Paper notifications sent March 10, 2016: Camera-ready copy due May 9 or 10, 2016: Date of workshop INSTRUCTIONS FOR AUTHORS For preparation of papers please follow the instructions for authors available at the Springer LNCS Web page. The length of each paper including figures and references may not exceed 16 pages. All papers must be written in English and submitted in PDF format. For submission of papers, please use the EasyChair site at https://easychair.org/conferences/?conf=coinaamas2016. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. PROCEEDINGS Preliminary proceedings will be available before the conference. They will also be distributed to AAMAS 2016 registrants in electronic form. As with previous COIN workshops, we will have an LNCS postproceedings. Authors will be invited to submit revised and extended versions of their paper for consideration for a Springer LNCS volume combining the postproceedings of this workshop with those for a second COIN workshop to be held later in 2016. Revised papers must take into account the discussion held during the workshop; hence, only papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. PROGRAM COMMITTEE Mohsen Afsharchi (University of Zanjan, IR) Huib Aldewereld (Delft University of Technology, NL) Estefania Argente (Universidad Politecnica de Valencia, ES) Alexander Artikis (National Centre for Scientific Research, GR) Tina Balke (University of Surrey, UK) Assoc Prof Guido Boella (University of Torino, IT) Patrice Caire (University of Luxembourg, LU) Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, IT) Rob Christiaanse (TU Delft, NL) Luciano Coutinho (Universidade Federal do Maranhao ) Natalia Criado (Liverpool John Moores University) Mehdi Dastani (Utrecht University, NL) Geeth de Mel (IBM TJ Watson, US) Frank Dignum (Utrecht University, NL) Virginia Dignum (Utrecht University, NL) Nicoletta Fornara (Universita della Svizzera Italiana, Lugano, CH) Amineh Ghorbani (Delft University of Technology, NL) Aditya Ghose (University of Wollongong, AU) Chris Haynes (King's College London, UK) Ozgur Kafali (Royal Holloway, University of London, UK) Anup Kalia (North Carolina State University, US) Martin Kollingbaum (University of Aberdeen, UK) Christian Lemaitre (Universidad Autonoma Metropolitana, MX) Henrique Lopes Cardoso (University of Porto, PT) Maite Lopez Sanchez (University of Barcelona, ES) Emiliano Lorini (IRIT-CNRS, FR) Eric Matson (Purdue University) Felipe Meneguzzi (Pontifical Catholic University of Rio Grande do Sul, BR) John-Jules Meyer (Utrecht University, NL) Daniel Moldt (University of Hamburg, DE) Pablo Noriega (Artificial Intelligence Research Institute, ES) Andrea Omicini (Universita di Bologna, IT) Nir Oren (University of Aberdeen, UK) Sascha Ossowski (University Rey Juan Carlos, ES) Julian Padget (University of Bath, UK) Simon Parsons (King's College London, UK) Alessandro Ricci (University of Bologna, IT) Juan-Antonio Rodriguez-Aguilar (IIIA-CSIC, ES) Bastin Tony Roy Savarimuthu (University of Otago, NZ) Murat Sensoy (Ozyegin University) Christophe Sibertin-Blanc (University of Toulouse, FR) Viviane Silva (IBM Research) Liz Sonenberg (University of Melbourne, AU) Luca Tummolini (ISTC-CNR) Wamberto Vasconcelos (University of Aberdeen, UK) Harko Verhagen (Stockholm University, SE) George Vouros (University of Piraeus) Leendert van der Torre (U. Luxembourg, LU) COIN STEERING COMMITTEE Huib Aldewereld (Delft University of Technology, NL) Frank Dignum (Utrecht University, NL) Pablo Noriega (Utrecht University, NL) Viviane Torres da Silva (IBM Research, BR) Olivier Boissier (Ecole Nationale SupÈrieure des Mines de Saint-Etienne, FR) Virginia Dignum (Utrecht University, NL) Julian Padget (University of Bath, UK) Wamberto Vasconcelos (University of Aberdeen, UK) Tina Balke (University of Surrey, UK) Nicoletta Fornara (Universita della Svizzera Italiana, Lugano, CH) Birna van Riemsdijk (Delft University of Technology, NL) Javier Vazquez-Salceda (Universitat PolitËcnica de Catalunya, ES) Stephen Cranefield (University of Otago, NZ) Eric Matson (Purdue University, US) Jaime Sichman (Universidade de Sao Paulo, BR) Marina de Vos (University of Bath, UK) George Vouros (University of Piraeus, GR) COIN at AAMAS2016 CO-CHAIRS Samhar Mahmoud (King's College London, United Kingdom) Samhar.mahmoud at kcl.ac.uk Stephen Cranefield (University of Otago, New Zealand) scranefield at infoscience.otago.ac.nz From olanochka at gmail.com Mon Jan 11 13:20:18 2016 From: olanochka at gmail.com (Olana Missura) Date: Mon, 11 Jan 2016 07:20:18 -0500 Subject: ECMLPKDD2016 Conference Track CfP Message-ID: ----------------------------------------------------------------------- ECMLPKDD 2016 Conference Track Call for Papers http://www.ecmlpkdd2016.org/ ----------------------------------------------------------------------- Important dates - Abstract submission deadline: *Friday, April 1, 2016* - Paper submission deadline: *Monday, April 4, 2016* - Author notification: *Monday, June 20, 2016* - Camera ready submission:* Friday, July 1, 2016* Submissions are solicited for the 2016 edition of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD). The conference provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning and knowledge discovery in databases and other innovative application domains. The 2016 conference will take place in Riva Del Garda, Italy, September 19-23. This edition will feature a full day of plenary presentations, for papers of general interest to the whole community, and two days of parallel sessions. All papers will be presented both orally and as posters. Papers on all topics related to machine learning, knowledge discovery, and data mining are invited. Submission process Electronic submissions will be handled via CMT at the following address: https://cmt2.research.microsoft.com/ECMLPKDD2016/. Please note that user accounts in each CMT conference is independent of other conferences so you will need to create a new account. Abstracts need to be registered by Friday April 1, 2016, 23:59 Central European Time, and full submissions will be accepted until Monday April 4, 2016, 23:59 Central European Time. Papers must be written in English and formatted according to the Springer LNAI guidelines. Author instructions, style files and copyright form can be downloaded at: http://www.springer.de/comp/lncs/authors.html. The maximum length of papers is 16 pages in this format. Overlength papers will be rejected without review (papers with smaller page margins and font sizes than specified in the author instructions and set in the style files will also be treated as overlength). Up to 10 MB of additional materials (e.g. proofs, audio, images, video, data or source code) can be attached to the submission. Note that the reviewers and the program committee reserve the right to judge the paper solely on the basis of the 16 pages of the paper; looking at any additional material is up to the discretion of the reviewers and is not required. Reviewing process The review process is single-blind (authors identities known to reviewers). Submissions will be evaluated on the basis of technical quality, novelty, potential impact, and clarity. Authors will have the opportunity to point out factual errors, obvious mistakes, or misconceptions by reviewers during a rebuttal phase following the release of initial reviews. Dual submissions policy Papers submitted should report original work. ECML PKDD 2016 will not accept any paper that, at the time of submission, is under review or has already been accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the review period. The dual submissions policy applies during the whole ECMLPKDD 2016 reviewing period from April 1 to June 20, 2016. Reproducible research papers Authors are encouraged to adhere to the best practices of Reproducible Research (RR), by making available data and software tools for reproducing the results reported in their papers. Authors of accepted papers may flag their submissions as RR and make software and data accessible to reviewers and to the program committee who will verify the accessibility of software and data. Links to data and code will be then inserted in the final version of RR papers. For the sake of persistence and proper authorship attribution, we require the use of standard repository hosting services such as Dataverse, mldata.org, OpenML, etc. for data sets, and mloss.org, Bitbucket, GitHub, etc. for source code. If data or code gets updated after the paper is published, it is important to enable researchers to access the versions that were used to produce the results reported in the paper. Proceedings The conference proceedings will be published by Springer in the Lecture Notes in Artificial Intelligence series (LNAI). There will be no difference in the proceedings between papers presented in parallel sessions and papers presented during the plenary day. In addition to normal conference submissions, papers can be submitted to the ECMLPKDD 2016 journal track. Accepted papers will be presented at the conference and published either in Machine Learning or in Data Mining and Knowledge Discovery. For information about the journal track, please see the separate Journal Track call for papers. Contact For any additional questions you can contact the Program Chairs (Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken) at program_chairs at ecmlpkdd2016.org. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From etroubit at abo.fi Mon Jan 11 15:32:38 2016 From: etroubit at abo.fi (Elena Troubitsyna) Date: Mon, 11 Jan 2016 16:32:38 +0200 Subject: CFP SAFECOMP 2016 Message-ID: <20160111163238.2gx9ymz9c00s0s4w@webmail2.abo.fi> (Apologies for multiple postings) =========================================================== CALL FOR PAPERS SAFECOMP2016 The 35th International Conference on Computer Safety, Reliability and Security 20 - 23 September 2016 Trondheim, Norway http://www.ntnu.edu/safecomp2016 =========================================================== IMPORTANT DATES Workshop proposal submission: 1 February 2016 Full paper submission: 4 March 2016 Notification of acceptance: 6 May 2016 Fast Abstract submission: 13 June 2016 Workshops: 20 September 2016 Conference: 21-23 September 2016 ABOUT SAFECOMP Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a single track conference without parallel sessions, allowing easy networking. TOPICS The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems. Major topics include, but are not limited to: * Fault-tolerant and resilient hardware and sofware architectures * Error detection and error recovery mechanisms * Distributed and real-time monitoring and control * Security and privacy protection mechanisms * Safety/security risk assessment * Model-based design and analysis * Risk reduction and mitigation techniques * Formal methods, verification and validation * In-the-loop and model-based testing * Methods for qualification, assurance and certification * Dependability analysis using simulation and experimental measurement * Human and social aspects in dependability analysis * Cyber-physical threats and vulnerability analysis * Safety guidelines, standards and certification * Safety and security interactions and tradeoffs * Safety and security cases Domains of application include (but are not limited to): * Railways, automotive, aerospace and avionics * Telecommunication and networks * Critical infrastructures, smart grids, SCADA * Medical devices and healthcare * Defense, emergency & rescue * Logistics, production automation and robotics, off-shore technology * Education & training WORKSHOPS, TUTORIALS AND EXHIBITION It is planned to have one day as a tutorial and workshop day. Tutorial and workshop proposals are welcome. Information about submissions are available at the conference website. A dedicated space will be available for a Technical Exhibition in the communication area where coffee breaks and lunches take place. Organisations wishing to present their products or projects are invited to request further information from the conference secretariat. PAPER SUBMISSION DETAILS The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit three types of papers: regular papers (up to 12 pages), practical experience reports and tools (up to 8 pages) and fast abstracts/Work in Progress papers (2 pages). All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. CONFERENCE PROCEEDINGS & JOURNAL SPECIAL ISSUE All accepted Regular papers, Practical Experience Reports and tools will be published by Springer in the LNCS series. In addition, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal. COMMITTEES EWICS TC7 Chair Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE) General Chair Amund Skavhaug (NTNU, NO) Program Co-Chairs Jérémie Guiochet (LAAS-CNRS, FR) Amund Skavhaug (NTNU, NO) Publication Chair Friedemann Bitsch, (THALES Transportation Systems GmbH, DE) Local Organizing Committee Sverre Hendseth (NTNU, NO) Knut Reklev (NTNU, NO) Adam L. Kleppe (NTNU, NO) Workshop Chair Erwin Schoitsch (AIT, AT) Publicity Chair Elena Troubitsyna (Åbo Akademi University, FI) International Program Committee Bitsch, F. (DE) Kelly, T. (UK) Bologna, S. (IT) Knight, J. (US) Bondavalli, A. (IT) Koopman,P. (US) Braband, J. (DE) Koornneef, F. (NL) Casimiro, A. (PT) Larrouchi, Y. (FR) Chozos, N. (UK) Littlewood, B. (UK) Cotroneo, D. (IT) Meulen, M.van der (NO) Daniel, P. (UK) Moraes,R. (BR) Denney, E. (US) Nanya, T. (JP) Di Giandomenico,F. (IT) Nordland, O. (NO) Ehrenberger, W. (DE) Ortmeier, F. (DE) Flammini, F. (IT) Palanque, P. (FR) Gallina, B. (SE) Pattabiraman, K.(CA) Gashi, I. (UK) Paulitsch, M. (DE) Gorski, J. (PL) Romanovski, A. (UK) Grunske, L. (DE) Rushby, J. (US) Guiochet, J. (FR) Saglietti, F. (DE) Gulijk, C.van (UK) Schmitz,C. (CH) Halang, W. (DE) Schoitsch, E. (AT) Heegaard, P. (NO) Schon, W. (FR) Heisel, M. (DE) Seguin,C. (FR) Helvik, B. (NO) Skavhaug, A. (NO) Pfeifer, H. (DE) Sujan,M. (UK) Holger, P. (DE) Tonettas, S. (IT) Johnson, C. (UK) Törngren, M. (SE) Jonsson, E. (SE) Trapp,M. (DE) Kaâniche, M. (FR) Troubitsyna, E. (FI) Kanoun, K. (FR) Verhoef, M. (NL) Waeselynck, H. (FR) CONFERENCE VENUE Trondheim and the Mid-Norway region are steeped in both history and today's world. Think of it as an ancient city with a modern soul. Trondheim was Norway's first capital city, founded more than 1,000 years ago, in 997 - but now instead of Viking raiders and Hanseatic traders, you will find jazz musicians and an international student body savouring Trondheim city life. The city's cafes spill out onto cobblestone streets lined with colourful wooden buildings, while the twin towers and copper-clad spire of Europe's northernmost gothic cathedral frame the southern skyline. Trondheim is the leader among Norwegian regions for technological R&D activity. This activity is strongly oriented toward high technology with the electronics manufacturers such as Atmel, communication devices (Nordic Semiconductors) being world leaders, as well as software providers such as the major Web-search-tech companies and others complement the traditional Norwegian research strengths such as in Oil&Gas, marine technologies and fish and seafarming tecnologies. The Norwegian University of Science and Technology, NTNU, has its main campus almost inside the city-centre. The conference will take place in Scandic Nidelven hotel, a modern conference-hotel, with sights and attractions such as the Nidaros Cathedral, Bakklandet, and Gamle Bybro within short walking distance. It has a beautiful location by the river Nidelven, situated next to one of Trondheim's most popular areas with many restaurants and cafés. Buses from the airport takes 30 minutes and stops nearby. From marianne.huchard at lirmm.fr Mon Jan 11 22:15:39 2016 From: marianne.huchard at lirmm.fr (Marianne Huchard) Date: Mon, 11 Jan 2016 22:15:39 +0100 Subject: CFP: CLA 2016, The 13th International Conference on Concept Lattices and Their Applications Message-ID: <56941B7B.8040403@lirmm.fr> ** We apologize if you receive multiple copies of this CFP ** ------------------------------------------------------------------------ CLA 2016 The 13th International Conference on Concept Lattices and Their Applications July 18–22, 2016 Moscow, Russia CLA 2016 Webpage http://cla2016.hse.ru/ ------------------------------------------------------------------------ # CLA 2016 will be organized by National Research University Higher School of Economics, Moscow, Russia **** Abstract submission deadline: March 7, 2016 **** **** Paper submission deadline: March 14, 2016 **** # Scope and Areas CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, workshops, tutorials, and poster sessions. Papers in all areas relevant to theory and applications of FCA are solicited. Those areas include but are not restricted to: * foundations, * concept lattices and related structures, * attribute implications and data dependencies, * algorithms, * visualization, * data preprocessing, * redundancy and dimensionality reduction, * information retrieval, * classification, * clustering, * association rules and other data dependencies, * ontologies, * applications. # Important Dates Abstract submission: March 7, 2016 Paper submission: March 14, 2016 Notification of acceptance/rejection: May 9, 2016 Camera-ready papers due: May 30, 2016 Conference: July 18-22, 2016 # Paper Submission and Publication Papers of up to 12 pages may be submitted in PDF or Postscript format. Papers need to be formatted using the Springer Lecture Notes in Computer Science style (http://www.springer.de/comp/lncs/authors.html). The submission is to be done via https://easychair.org/conferences/?conf=cla2016 All papers will be judged based on their technical merits, originality, relevance to areas of interest, and presentation clarity. Papers should describe original work that has not been published before, is not under review elsewhere, and will not be submitted elsewhere during CLA 2016's review period. Accepted papers will be published in conference proceedings (with ISBN), available at the conference (printed) and at CEUR Workshop Proceedings and CLA Homepage (online). Selected papers accepted to CLA 2016 will be invited to further revise and extend their work in a special issue of a well-established journal (name will come). # Program co-chairs Marianne Huchard, LIRMM, Université de Montpellier (France) Sergei O. Kuznetsov, National Research University Higher School of Economics (Russia) # Program Committee Cristina Alcalde, Universidad Del Pais Vasco, UPV/EHU, Spain Simon Andrews, Sheffield Hallam University, United Kingdom Gabriela Arevalo, Facultad de Ingenieria - Universidad Austral, Argentina Jaume Baixeries, Ciències de la Computació, Catalonia Radim Belohlavek, Palacky University, Olomouc, Czech Republic Anne Berry, Université Blaise Pascal, Clermont-Ferrand, France Karell Bertet, Laboratory L3I, University of La Rochelle, France François Brucker, Ecole Centrale Marseille, France Ana Burusco, Universidad Publica De Navarra, Spain Aleksey Buzmakov, INRIA-LORIA(CNRS-Université de Lorraine), Nancy, France Peggy Cellier, IRISA/INSA Rennes, France Pablo Cordero, Universidad de Málaga, France Jean Diatta, Université de la Réunion, France Stephan Doerfel, University of Kassel, Germany Xavier Dolques, LHYGES, Université de Strasbourg/ENGEES, Strasbourg, France Florent Domenach, University of Nicosia, Cyprus Vincent Duquenne, CNRS, Paris, France Sebastien Ferre, Universite de Rennes 1, France Alain Gély, LITA, Université Lorraine, Metz, France Robert Godin, Université du Québec à Montréal, Canada Dmitry Ignatov, National Research University Higher School of Economics, Russia Mehdi Kaytoue, LIRIS - INSA de Lyon, France Stanislav Krajci, P. J. Safarik University, Slovak Republic Francesco Kriegel, Technische Universität Dresden, Germany Jan Konecny, Dept. Computer Science, Palacky University, Olomouc, Czech Republic Michal Krupka, Palacky University, Olomouc, Czech Republic Marzena Kryszkiewicz, Warsaw University of Technology, Poland Leonard Kwuida, Bern University of Applied Sciences, switzerland Florence Le Ber, LHYGES, Université de Strasbourg/ENGEES, Strasbourg, France Jesús Medina Moreno, University of Cádiz, Spain Engelbert Mephu Nguifo, LIMOS - Blaise Pascal University – CNRS, France Amedeo Napoli, LORIA Nancy, France Sergei Obiedkov, National Research University Higher School of Economics, Russia Manuel Ojeda-Aciego, Dept. of Applied Mathematics, University of Malaga, Spain Petr Osička, Palacky University in Olomouc, Czech Republic Jan Outrata, Dept. Computer Science, Palacky University, Czech Republic Jean-Marc Petit, Université de Lyon, INSA Lyon, France Uta Priss, Ostfalia University, Germany Olivier Raynaud, LIMOS - Blaise Pascal University – CNRS, France Sándor Radeleczki, Department of Analysis, University of Miskolc, Hungary François Rioult, GREYC CNRS UMR6072 - Université de Caen, France Camille, Roth, CNRS, France Sebastian Rudolph, Technische Universität Dresden, Germany Christian Sacarea, Babes-Bolyai University, Romania Barış Sertkaya, Frankfurt University of Applied Sciences, Germany Laszlo Szathmary, University of Debrecen, Hungary Andreja Tepavcevic, University of Novi Sad, Serbia Petko Valtchev, Université du Québec À Montréal, Canada Francisco José Valverde Albacete, Universidad Carlos III de Madrid, Spain # Organization Committee Chair Sergei O. Kuznetsov, National Research University Higher School of Economics (Russia) # Steering Committee Radim Belohlavek , Univerzita Palackého, Olomouc, Czech Republic Sadok Ben Yahia, Faculté des Sciences de Tunis, Tunis, Tunisia Jean Diatta, Iremia – Université de la Réunion, Saint-Denis, France Peter Eklund , University of Wollongong, Wollongong, Australia Sergei O. Kuznetsov, Higher School of Economics, Moscow, Russia Engelbert Mephu Nguifo, Limos, Clermont-Ferrand, France Amedeo Napoli, Inria – Loria, Nancy, France Manuel Ojeda-Aciego, Universidad de Málaga, Málaga, Spain Jan Outrata , Univerzita Palackého, Olomouc, Czech Republic ------------------------------------------------------------------------ CLA Homepage http://cla.inf.upol.cz ------------------------------------------------------------------------ From giacomo.cabri at unimore.it Tue Jan 12 12:20:37 2016 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Tue, 12 Jan 2016 12:20:37 +0100 Subject: CfP 2nd Workshop on Distributed Adaptive Systems (DAS) at ICAC 2016 Message-ID: <5694E185.60707@unimore.it> The 2nd Workshop on Distributed Adaptive Systems (DAS), colocated at the 13th IEEE International Conference on Autonomic Computing (ICAC) Call for papers [DAS at ICAC2016] On the account of the recent advances in technology, computational systems have to be thought as ever growing distributed artificial environments in which requirements, constituent components and user needs dynamically change in unpredictable ways. Coping with such uncertainties represents an interesting challenge for the designer of these systems, specifically regarding how to guarantee adaptivity towards both functional and non-functional requirements, as well as autonomously handling coordination and collaboration aspects among constituent units that have to act as autonomous and heterogeneous agents. These agents more often rely on incomplete information regarding the whole system in which they are integrated, but yet, in order to foster their Self-* properties, they need to discover, learn and evolve their behavior by taking into account how other agents are performing within the considered environment. The purpose of this workshop is therefore to create an useful forum of discussion on how Self-* properties and design & implementation concepts that are nowadays considered in Autonomic Computing literature can be extended and exploited in case of distributed autonomous systems , hence how to create adaptivity as a whole by starting from single autonomous units. Practitioners and researchers are therefore invited to submit interesting contributions both in theoretical work and real world applications so to create a fruitful discussion regarding the presented challenges and the following related topics: Models and Methods for designing DAS Distributed learning and experience sharing among agents Advances in Multi-Agent System coordination Formal methods and languages for distributed adaptive systems Modelling distributed adaptive systems Collectivism in distributed adaptive systems Optimization in distributed adaptive systems Framework and design patterns for distributed adaptive systems Bio-inspired and evolutionary approaches to distributed adaptive systems Tools and simulation software for distributed adaptive systems Case studies and real world applications. Mechanisms and Patterns for decentralized decision making and control Industrial best practices and case studies Surveys and Comparative studies in distributed adaptive systems Important dates Paper Submission March 20, 2016 Notification April 30, 2016 Camera Ready May 8, 2016 Workshop date July 19, 2016 Paper submission All papers must represent original and unpublished work that is not currently under review. Papers will be judged on originality, significance, interest, correctness, clarity, and relevance to the broader community. Papers are strongly encouraged to report on experiences, measurements, user studies, and provide an appropriate quantitative evaluation if at all possible. The maximum number of allowed pages is 6. Submission instruction will follow. Author Kit/Submission Instructions can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html The submission of paper can be done by EasyChair at: https://easychair.org/conferences/?conf=dasicac2016 Accepted papers will be included in the ICAC Workshop 2016 Proceedings, which will be published in IEEE Xplore. Outstanding papers will be recommended for publication in IEEE SMC magazine, special issue, http://www.ieeesmc.org/publications/smc-magazine IET Software, special issue on Software Architectures for Decentralized Adaptive Systems, http://digital-library.theiet.org/files/IET_SEN_DAS_SI_CFP.pdf At least one author of each accepted paper is expected to attend the workshop. Program Chairs Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy bucchiarone at fbk.eu Giacomo Cabri, Universit‡ di Modena e Reggio Emilia, Modena, Italy giacomo.cabri at unimore.it Nicola Capodieci, Universit‡ di Modena e Reggio Emilia, Modena, Italy nicola.capodieci at unimore.it Haibin Zhu, Nipissing University, Canada haibinz at nipissingu.ca -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From alachhab at gmail.com Tue Jan 12 21:57:44 2016 From: alachhab at gmail.com (Mohammed Al Achhab) Date: Tue, 12 Jan 2016 20:57:44 +0000 Subject: Second Call for Contributions - 4th IEEE CiSt'16, Tangier-Assilah, 24-26, October 2016, Morocco Message-ID: Second Call for Contributions: *4th International Colloquium on Information Science and Technology (IEEE CiSt'16)* 24-26, October 2016, Tangier-Assilah, Morocco website: http://www.ieee.ma/cist16/ Conference Indexed by IEEE, Scopus and DBLP IEEE CIST 2016 will award best doctoral paper awards, one for the main conference and one for each of the invited sessions. The conference sponsors will also provide, under special circumstances, grants for IEEE student members who will be applying to attend the technical conference talks and meetings. After holding three editions, the IEEE international Colloquium in Information Science and Technology is emerging as a key event that aims to serve as a forum to promote the exchange of the latest advances achieved by IT researchers, IT decision makers, IT managers, application designers and software engineers in the domain of computer based information and communication sciences. Computing challenges, conceptual models, implementation techniques and tools, applications architectures, and IT solutions will be discussed from the perspectives of academia, businesses, industry and government. The 2016 edition will also include tutorials and keynote sessions from world class speakers. CiSt’2016 will also provide a platform for supporting innovative and original contributions. CiSt’2016 will include tutorials, presentations of contributed papers, posters, a research panel, an industrial track and state-of-the-art lectures by invited keynote speakers. Parallel events encompassing selected thematic focuses that will run in parallel to the main conference will be announced soon. Themes and topics of interest: DATABASE AND INFORMATION SYSTEMS: ANALYSIS, SPECIFICATION AND INTEGRATION • Requirement Engineering and Information Modeling Concepts • Foundations and Concept Formalization for Database Schemas • Distributed Database Systems and Mobile Database Applications • Big Data, Data Warehouses, and Business Intelligence • Knowledge Management Systems, Data mining and Knowledge discovery ENTERPRISE ARCHITECTURE • Enterprise Engineering, Models and Frameworks • Enterprise Resource Planning and Enterprise Application Integration • Enterprise Knowledge Engineering, Management and Security • Business Modeling and Business Process Management • Governance and Business-IT Alignment • EA and Service Oriented Architecture (SOA) • Measurements, Metrics and Evaluation of EA Artifacts and Processes • Architectures and Design Principles for Enterprise Repositories AMBIENT INTELLIGENCE & SOFTWARE AGENTS AND MOBILE COMPUTING • Framework for Mobile Computing and applications • Web Services and cloud computing • Social Networking and Collaborative Computing • Profiling and Recommendation Systems • Semantic Web Technologies and Applications • Ontology Modeling and Deployment • Natural Language Interfaces and Systems • Multi-Agent Systems and Case-Based Reasoning Systems SPECIAL & INVITED SESSIONS • Arabic Natural Language Processing (ANLP) • Image and Multimedia processing (IMP) • E-learning and Innovation in Education (ELED) • Innovation & Product Development Management (PDM) • Smart Cities and Innovative Systems (SCIS) • Innovative Business Models for new Spin-off Company (IBMS) Important Dates and Deadlines Paper Submission: March 16, 2016 Acceptance Notification: May 19, 2016 Camera-ready Submission: June 15, 2016 Author Registration: July 18, 2016 Call for Attendees CFP can be downloaded from the conference website. Prospective authors should submit by using the online abstract submission form an extended abstract of 4 to 6 pages maximum (including references) in scholarly English, describing their original work using the IEEE template. Publication and Presentation Accepted papers will be published in the proceeding and submitted to IEEE Xplore Library, Scopus and DBLP. Furthermore, Authors of high quality papers will be invited to submit an extended version of their work for potential publication in a special issue/section of an international journal. For any inquiry, contact us: e-mail: sc-cist16 at ieee.ma http://www.ieee.ma/cist16/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From olanochka at gmail.com Wed Jan 13 15:58:13 2016 From: olanochka at gmail.com (Olana Missura) Date: Wed, 13 Jan 2016 09:58:13 -0500 Subject: ECMLPKDD 2016 Tutorials and Workshops Call Message-ID: ------------------------------------------------------------------- ECML-PKDD 2016 Tutorials and Workshops Call http://www.ecmlpkdd2016.org/ ------------------------------------------------------------------- The ECML-PKDD 2016 Organizing Committee invites proposals for half-day tutorials, combined tutorials and workshops, and full-day workshops in established and emerging topics in machine learning and data mining. Important dates The following deadlines are important for the tutorial organizers: Tutorial proposal deadline Monday, April 18, 2016 Tutorial acceptance notification Monday, May 2, 2016 Tutorial final abstract submission Monday, May 16, 2016 Tutorial course material (slides, bibliography) online Monday, September 5, 2016 The following deadlines are important for the workshop organizers: Workshop proposal deadline Monday, April 18, 2016 Workshop acceptance notification Monday, May 2, 2016 Workshop websites and call for papers online Monday, May 16, 2016 Workshop program and proceedings online Monday, September 5, 2016 For paper submission, reviewing and final revisions, please consider the following deadlines: Workshop paper submission deadline Monday, July 4, 2016 Workshop paper acceptance notification Monday, July 25, 2016 Workshop paper camera-ready deadline Monday, August 8, 2016 For detailed information and submission guidelines keep reading or go to http://www.ecmlpkdd2016.org/submission.html#CallTutorialsWorkshops Call for Tutorial Proposals The ECML-PKDD 2016 Organizing Committee invites proposals for half-day tutorials to be held on the first and last days of the conference (September 19 and 23, 2016), which will take place in Riva del Garda, Italy. Tutorials are intended to provide a comprehensive introduction to established or emerging research topics of interest for the machine learning and the data mining community. These topics include related research fields or applications but also well-developed tools and suites that support ML/DM research. The ideal tutorial should attract a wide audience. It should be broad enough to provide a basic introduction to the chosen area, but it should also cover the most important topics in depth. Each tutorial should be well-focused so that its content can be covered in a half-day slot. Proposals that exclusively focus on the presenter’s own work or commercial demonstrations are strongly discouraged. Tutorial slides will be made available online at the ECML-PKDD website, although authors can provide them on additional websites as well. Depending on the budget, we expect to offer a waived registration fee to one speaker of each accepted tutorial (i.e., no guarantee). Guidelines for proposals Tutorial proposals should contain at least the following: A title and an abstract of the tutorial. A brief description of the tutorial content and its relevance to the ECML-PKDD community (no more than 2 pages). A brief outline of the tutorial structure showing that the tutorial’s core content can be covered in a 4 hours slot (including 30 minutes break). The names and contact information of the tutorial instructors, including one-paragraph statements of their research interests and areas of expertise; it is required to indicate in the proposal who is planning to attend the conference and present which part. A list of previous venues and approximate audience sizes, if the same or a similar tutorial has been given elsewhere; otherwise an estimate of the audience size. A description of special requirements for technical equipment (e.g., audio equipment). Combined Tutorial & Workshop Especially for a relatively novel but rapidly maturing topic, a half day tutorial (4h incl. one 30 minute break) followed by a half day workshop (4h incl. one 30 minute break) could be a good format. We kindly ask you to write a single proposal for the tutorial and workshop that covers the different guidelines and requirements for tutorials and workshops. In addition, the links should be clearly described and the proposal should be submitted to the workshop and tutorial chairs (select both 'Workshop' and 'Tutorial' as topics). For workshop guidelines, please see the separate Call For Workshop Proposals. Proposal reviewing process The proposal will be reviewed by the workshop and tutorial co-chairs, who may use the help of external reviewers, expert on the submission topics. The features that will be evaluated are: The interestingness for the ECML-PKDD areas, which should result in a large audience. The clarity of the tutorial, which should emerge from its description. Good organization as appearing from the outline. The adequacy of the speakers, i.e., her/his background/experience in teaching the target topics. The ability to explain the topics to a large audience with heterogeneous background. Submission Please submit your tutorial proposals in PDF format using EasyChair. Important dates The following deadlines are important for the tutorial organizers: Tutorial proposal deadline Monday, April 18, 2016 Tutorial acceptance notification Monday, May 2, 2016 Tutorial final abstract submission Monday, May 16, 2016 Tutorial course material (slides, bibliography) online Monday, September 5, 2016 Contact In case you have further questions, please do not hesitate to contact the Workshop and Tutorial Chairs (Matthijs van Leeuwen, Fabrizio Costa, Albrecht Zimmermann) at wt_chairs at ecmlpkdd2016.org. We are looking forward to your proposals. Call for Workshop Proposals The ECML-PKDD 2016 Organizing Committee invites proposals for workshops to be held on the first and last days of the conference (September 19 and 23, 2016), which will take place in Riva del Garda, Italy. We invite proposals for both full- and half-day workshops in current and emerging topics in machine learning and data mining. Workshops provide an opportunity to discuss novel topics in a small and interactive atmosphere. They can concentrate in-depth on research topics, but can also be devoted to application issues, or to questions concerning the economic and social aspects of machine learning and data mining. Multidisciplinary workshops that bring together researchers and practitioners from different communities are particularly welcome. If the budget permits, one organizer or invited speaker of an accepted workshop will be offered the possibility of waived registration fee for attendance on the workshop day (only). Duration & format We welcome both full- and half-day workshop proposals. Full-day workshops will have a program of typically 8 hours including two 30-minute coffee breaks and a 90-minute lunch break. Half-day workshops will have a 4 hours program with a 30-minute coffee break. We would like to encourage proposers to aim for a program that is both varied and interesting. Especially where the format of the workshop is concerned, we would like you to think about ways of going beyond the usual list of presentations of accepted papers. Keep in mind that the main conference is necessarily more time-constrained and workshops therefore allow for group explorations of interesting topics, for example by means of discussions, demo sessions, invited talks, and panels. Another way of extending the usual format is to include a specific challenge problem that can be addressed by the workshop participants, with a dedicated challenge session in the workshop program. Note, however, that the challenge should be only one of the components of the workshop, targeting a problem which is specific to the workshop topic(s). For some workshops, it may be useful to first present an introduction to the state-of-the-art in the field given by experienced invited presenters, and afterwards discuss more technical or novel work in a standard (or non-standard!) workshop setting. Combined Tutorial & Workshop Especially for a relatively novel but rapidly maturing topic, giving the afore-mentioned introduction of the state-of-the-art may go beyond the scope of an invited presentation. In this case, a half day tutorial (4h incl. one 30 minute break) followed by a half day workshop (4h incl. one 30 minute break) could be a good format. We kindly ask you to write a single proposal for the tutorial and workshop that covers the different guidelines and requirements for tutorials and workshops. In addition, the links should be clearly described and the proposal should be submitted to the workshop and tutorial chairs (select both 'Workshop' and 'Tutorial' as topics). For tutorial guidelines, please see the separate Call For Tutorial Proposals. Guidelines for proposals Workshop proposals should contain the necessary information for the workshop chairs and reviewers to judge the importance, quality, and community interest in the proposed topic (a minimum of 15-20 expected participants is required). Each workshop should have one or more designated organisers and a program. When proposing a workshop, please provide (at least) the following information: A brief description of the specific issues that the workshop will address, the reasons why the workshop is of interest in these times, the main research areas involved, and what the workshop will add to the conference (e.g., do you expect papers of a theme that would not fit the main conference?). Contact information of the workshop chairs, their competence in the proposed topic(s), and previous experience in chairing scientific events. A tentative list of Program Committee members and potential invited speakers. A draft of the Call for Papers, including information on accepted formats (e.g., regular papers, extended abstracts, oral-only presentations of relevant recently published or submitted contributions, etc.) and expected format of the workshop (e.g., invited talks, presentations, poster sessions, panel discussions, challenge sessions, or other ideas for ensuring an interactive atmosphere). In the case of a combined tutorial-workshop, please clearly indicate the format. Any special requirements regarding logistics (e.g., poster stands, audio equipment), if applicable. An estimate of the number of expected submissions, and an estimate of the number of expected workshop participants at the conference. Submission Please submit your workshop proposals in PDF format using EasyChair. Proposals will be reviewed in close collaboration with the conference chairs and the program committee. Important dates The following deadlines are important for the workshop organizers: Workshop proposal deadline Monday, April 18, 2016 Workshop acceptance notification Monday, May 2, 2016 Workshop websites and call for papers online Monday, May 16, 2016 Workshop program and proceedings online Monday, September 5, 2016 For paper submission, reviewing and final revisions, please consider the following deadlines: Workshop paper submission deadline Monday, July 4, 2016 Workshop paper acceptance notification Monday, July 25, 2016 Workshop paper camera-ready deadline Monday, August 8, 2016 These deadlines are somewhat flexible, but consider as constraints that the paper submission deadline should be after conference author notification (June 20) and acceptance notification should be before the conference early registration deadline (July 30). Contact In case you have further questions, please do not hesitate to contact the Workshop and Tutorial Chairs (Matthijs van Leeuwen, Fabrizio Costa, Albrecht Zimmermann) at wt_chairs at ecmlpkdd2016.org. We are looking forward to your proposals. From geoff at cs.miami.edu Wed Jan 13 18:08:05 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 13 Jan 2016 12:08:05 -0500 (EST) Subject: AiML-2016: 1ST CALL FOR PAPERS Message-ID: <20160113170805.1C2111216CB@mcclellan.cs.miami.edu> (sorry for multiple copies) AiML-2016: 1ST CALL FOR PAPERS 11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016 http://phil.elte.hu/aiml2016/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2016 is the 11th conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions to AiML-2016: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://easychair.org/conferences/?conf=aiml16 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2016 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML-2016 website http://phil.elte.hu/aiml2016/ in due time. We also ask authors of full papers to submit the abstract in plain text via EasyChair by 10 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS INCLUDE: Kit Fine (New York University, USA) Sonja Smets (ILLC, Universiteit van Amsterdam) Yde Venema (ILLC, Universiteit van Amsterdam) LOCAL ORGANIZING COMMITTEE Tamas Bitai (Eotvos University, Budapest, Hungary) Reka Markovich (Eotvos University, Budapest, Hungary) Andras Mate (Eotvos University, Budapest, Hungary) P�ter Mekis (Eotvos University, Budapest, Hungary) Attila Molnar (Eotvos University, Budapest, Hungary) Gergely Szekely (Alfred R�nyi Institute of Mathematics, Hungarian Academy of Sciences) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Carlos Areces (FaMAF, Universidad Nacional de C�rdoba) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (FNWI ILLC) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Serenella Cerrito (Laboratoire IBISC, Evry France) St�phane Demri (LSV, CNRS, ENS Cachan) David Fernandez-Duque (Instituto Tecnol�gico Aut�nomo de M�xico) Melvin Fitting (Lehman College, CUNY, USA) David Gabelaia (gabelaia at gmail dot com) (The Free University of Tbilisi, Tbilisi, Georgia) Silvio Ghilardi (Universit� degli Studi di Milano, Italy) Valentin Goranko (Stockholm University) Rajeev Gore (The Australian National University) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Martin Lange (University of Kassel, Germany) Carsten Lutz (Universit�t Bremen) Andras Mate (Eotvos University, Budapest, Hungary) Angelo Montanari (University of Udine) Larry Moss (Indiana University, USA) Sergei Odintsov (Novosibirsk State University) Hiroakira Ono (Japan Advanced Insitute of Science and Technology) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Renate Schmidt (University of Manchester) Valentin Shehtman (Institute for the Information Transmission Problems) Thomas Studer (Universit�t Bern) Heinrich Wansing (Ruhr University Bochum) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Stephane Demri (LSV, CNRS, ENS Cachan) IMPORTANT DATES Abstracts of full papers submission deadline: 10 March 2016 Full papers submission deadline: 17 March 2016 Full papers acceptance notification: 14 May 2016 Short presentations submission deadline: 16 May 2016 Short presentations acceptance notification: 30 May 2016 Final version of full papers and short presentations due: 8 June 2016 Conference: 29 August -- 2 September 2016 FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml16 at easychair.org From alqithami at gmail.com Thu Jan 14 09:45:11 2016 From: alqithami at gmail.com (Saad Alqithami) Date: Thu, 14 Jan 2016 02:45:11 -0600 Subject: 2nd CFP: COOS workshop at AAMAS16 Message-ID: The 4th International Workshop on Collaborative Online Organizations - Singapore: MAY 10, 2016 - http://www2.cs.siu.edu/~mas/coos16/ - Organized in conjunction with AAMAS 2016 - [ Scope ]: There is a strong ongoing trend for traditional organizations to adapt to socially networked nature of human population. This trend allows organizations to be transformed from brick and mortar to a more online nature. In the collaborative online organizations workshop, we aim to understand the current range of nascent network centric organizations. At one end of the spectrum, this includes human efforts to form collaborative units. On the other end of the spectrum, we seek to understand techniques and methodologies for constructing online agent organizations that represent interests of their human counterparts and take actions autonomously. This workshop will reflect the impacts of social network proliferation and start of agent systems that exploit and explore opportunities heralded by the social media and ever faster pace of interconnectivity. Agents must multitask. Beyond performing their design tasks, they must be aware of the social climate of their environment. They must account for interactions with other agents and humans so as to perform social acts in order to complement their physical and speech acts. Substantial amount of research work is ongoing in distributed knowledge management. Therefore, COOS workshop emphasizes the operational elements of social networks that facilitate elements of online organization. Since this is the growing workshop on this topic, we continue to generate interest for a more in depth and wider span of explorations into the future. Social as well as cognitive foundations surrounding collaborative organizations are of special interest and the focal theme for 2016. This theme includes nature of interactions among individuals engaged in meaningful exchange. Network of interactions in organizations generate and reflect social behaviors embedded in collaboration networks that play central role for their continued functioning and maintenance. Explorations of roles of social capital are within the scope. - [ Topics include but not limited to ]: * Agents-based collaborative environments * Architectures of cognitively reasoned interactions * Cooperation and collaboration mechanisms * Collaborative architectures, infrastructures, intelligence, services, filtering or games * Collaborative social networks and web-based collaboration * Cloud-based collaboration and crowdsourcing * Collective benefits of political fallouts and economic externalities * Computational models of organizations * Digital communities and virtual organizations * Distributed technologies for group collaboration * Globalized networks and grid alliances * Human/robot collaboration * Network-centric warfare * Networked individualism * Networked organizations * Social capital and human-centric based group collaboration * Social networks and community discovery * Social computing and inter-cultural collaboration * Theoretical aspects of distributed collaboration - [ Important Dates ]: Paper Submission: February 1, 2016 Author Notification: March 7, 2016 - For submission instructions and more information, visit: http://www2.cs.siu.edu/~mas/coos16/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jan 15 18:28:18 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 15 Jan 2016 12:28:18 -0500 (EST) Subject: UNIF 2016 - Call for Papers Message-ID: <20160115172818.6BD28121491@mcclellan.cs.miami.edu> UNIF 2016 - Call for papers The 30th International Workshop on Unification is the 30th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two terms equal, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory. The workshop will be hosted by the 1st International Conference on Formal Structures for Computation and Deduction (FSCD, Porto, June 2016) Description of the Topic ------------------------ Unification is one of the central notions in automated reasoning and lies at the heart of many reasoning systems. Unification is concerned with the problem of making two terms equal, either syntactically or modulo a theory. UNIF 2016 will be the 30th in a series of annual international workshops on unification. Previous editions have taken place mostly in Europe (Austria, Denmark, France, Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage at http://www.pps.jussieu.fr/~treinen/unif/. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense, encompassing also research in constraint solving, admissibility of inference rules, and applications such as type checking, query answering and cryptographic protocol analysis. A non-exhaustive list of topics of interest includes: + Unification algorithms, calculi and implementations + Equational unification and unification modulo theories + Unification in modal, temporal and description logics + Admissibility of Inference Rules + Narrowing + Matching algorithms + Constraint solving + Combination problems + Disunification + Higher-Order Unification + Type checking and reconstruction + Typed unification + Complexity issues + Query answering + Implementation techniques + Applications of unification + Antiunification/Generalization Submission Details ------------------ Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF files through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2016 Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in printed form at the workshop and in electronic form from the UNIF homepage: http://www.pps.jussieu.fr/~treinen/unif/ Based on the number and quality of submissions we will decide whether to organize a special journal issue. Important Dates --------------- + Paper Submission: May 1, 2016 + Notif. of Acceptance: May 29 2016 + Final version: June 5, 2016 + Conference: June 26, 2016 Organizers ---------- Silvio Ghilardi Department of Mathematics Universite degli Studi di Milano Milano, Italy email: silvio.ghilardi at unimi.it homepage: http://users.mat.unimi.it/users/ghilardi/ phone: +39 02 5031 6142 Manfred Schmidt-Schauss Department of Computer Science and Mathematics Goethe University Frankfurt, Germany email: schauss at ki.informatik.uni-frankfurt.de homepage: http://www.ki.informatik.uni-frankfurt.de phone: +49 69 798 2859 From mpavone at dmi.unict.it Sun Jan 17 22:37:47 2016 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sun, 17 Jan 2016 22:37:47 +0100 Subject: Extended deadline for HM 2016: 5th Feb 2016 - Save the Date! Message-ID: <20160117223747.Horde.NgBbR_ph4B9WnAmrfPFSImA@mbox.dmi.unict.it> *** CALL FOR PAPERS *** ** Apologies for cross-posting ** ** Please forward to anybody who might be interested. ** HM 2016 - 10th International Workshop on Hybrid Metaheuristics June 8-10, 2016 - Plymouth, United Kingdom http://www.dmi.unict.it/hm2016/ https://easychair.org/conferences/?conf=hm2016 hm2016 at dmi.unict.it **** EXTENDED deadline to 5th February 2016 **** **** PROCEEDINGS in LNCS, Springer http://www.dmi.unict.it/hm2016/submission.html **** SPECIAL ISSUE in SOFT COMPUTING, Springer http://www.dmi.unict.it/hm2016/call.html **** You are invited to submit papers to this exciting event! *** **** HM 2016 is organized as a NON-PROFIT event. **** PLENARY SPEAKERS ** ** Carlos A. Coello Coello, CINVESTAV, Mexico ?Evolutionary Multi-Objective Optimization using Hybrid Approaches? ** Jin-Kao Hao, University of Angers, France ?Hybrid Methods for some Knapsack Problems: lessons learnt? ** Helena Ramalhinho Lourenço, Universitat Pompeu Fabra, Spain Title: TBA **** SUBMISSIONS HM 2016 includes two different types of submission: 1) *regular paper*: 15 pages maximum length in Springer LNCS format, including figures, table & references, and should report on new and unpublished work; 2) *abstract for oral/poster presentation* (no page restriction; any format): it should discuss work in progress; new research ideas; works previously published elsewhere (it is essential that a reference to the previous article is clearly cited); and all that may be relevant and fruitful for soliciting discussions at the workshop. **** SPECIAL SESSIONS ** ** special sessions deadline: 15th February 2016 ** ** ?Hybrid Metaheuristics for Bioinformatics? organizers: Laetitia Jourdan and Julia Handl ** ?Hybrid Metaheuristics for Dynamic Environments? organizers: Amir Nakib and Antonio Masegosa ** ?Engineering Applications of Hybrid Metaheuristics? organizer: Alessandro Di Nuovo, Graziella Figueredo ** ?Hybrid metaheuristics in Operational Research? organizer: Djamila Ouelhadj and Mario Pavone more special sessions will be announced! http://www.dmi.unict.it/hm2016/special-sessions.html **** PC Members http://www.dmi.unict.it/hm2016/committee.html **** Organizing Team - honorary chair: Angelo Cangelosi - general chairs: Vincenzo Cutello & Alessandro Di Nuovo - Program Chairs: Christian Blum, Mario Pavone & El-Ghazali Talbi - Publication Chair: Maria J. Blesa - Publicity Chair: Antonio D. Masegosa ----- http://www.dmi.unict.it/hm2016/ hm2016 at dmi.unict.it Looking forward to welcoming you to Plymouth in June 2016. -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================================== ** SAVE THE DATE!! ** =========================================================================== HM 2016 - 10th International Workshop on Hybrid Metaheuristics 8-10 June 2016, Plymouth, UK - http://www.dmi.unict.it/hm2016/ =========================================================================== From adrianrp at unimelb.edu.au Mon Jan 18 03:16:39 2016 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Mon, 18 Jan 2016 02:16:39 +0000 Subject: AAMAS-16 Demo track (Call for Demos) Message-ID: AAMAS-16 Demo track (Call for Demos) The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems, robotic systems and novel applications are particularly welcome. There will be a "Best Demo Award." Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: * Single- and multi-agent robotic systems * Interactive agent-based software systems * Personal robotics * Agent-based simulation environments * Innovative applications of agent-based systems or prototypes * Agent-based games * Agent platforms and development environments * Open-source software tools for agent-based system development * Human-robot interactive systems * Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board (A0), a monitor, and a table for each demonstration. SUBMISSION REQUIREMENTS Submissions accepted for the demonstration session will be advertised on the AAMAS website. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the original contribution and innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style. Submissions are NOT required to be anonymous. The page limit is 2 pages, except for the bibliographic references, which can be on a 3rd page ( i.e., if the paper is no longer than 2 pages, an extra page should only contain bibliographic references.) 2. A list of requirements/description of demo setting. This list should be attached to the extended abstract, in a separate page. 3. Video or PPT or other media: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (e.g. YouTube) or a Powerpoint presentation showing and explaining what happens. We strongly advice to use the video option, but other formats are also possible if they can more clearly illustrate the demo. The objective is to give a precise idea, in 5 minutes, of what the demo will look like. Accepted Demos will have the 3-page papers included in the AAMAS proceedings. Submissions will be managed using CME at: https://cmt3.research.microsoft.com/AAMASDEMO2016/ SELECTION PROCESS The submission and selection processes for the AAMAS 2016 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Program Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: * Relevance to the AAMAS conference * Significance and originality * Presentation and technical quality * Maturity and readiness for demonstration * Potential for public interaction * Potential impact in the intended application domain * Potential interest to a broader audience At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. IMPORTANT DATES * Submission deadline : February 20, 2016 * Notification of acceptance/rejection : March 5, 2016 * Camera-ready paper : March 11, 2016 ORGANIZATION Demos Chairs: * Ann Nowe, Vrije Universiteit Brussel * Shih-Fen Cheng, Singapore Management University Program Committee: Will be announced soon CONTACT INFORMATION Contact the Demos Chairs at aamas2016.demos at gmail.com From universal.logic at ufc.br Tue Jan 19 05:36:17 2016 From: universal.logic at ufc.br (Universal Logic) Date: Tue, 19 Jan 2016 02:36:17 -0200 (BRST) Subject: Logic Area of the Internet Encyclopedia of Philosophy Message-ID: <182ab2f842e2ea9f93355075083b2fec.squirrel@correio3.ufc.br> Dear Colleagues As the successor of Val Goranko for the edition of the Logic Area of the Internet Encyclopedia of Philosophy - IEP. I am working on the production of many logical articles for IEP. IEP was founded in 1995 and is presently visited 1 million times per month. Entries are designed so that they can be useful for students and a wide audience. Here are entries related to logic which have been recently released: Modal Logic: A Contemporary View by Johan van Benthem http://www.iep.utm.edu/modal-lo/ Natural Deduction by Andrzej Indrzejczak http://www.iep.utm.edu/nat-ded/ Classification by Daniel Parrochia http://www.iep.utm.edu/classifi/ Dialogical Logic by Thomas Piecha http://www.iep.utm.edu/dial-log/ Adolf Lindenbaum by Jan Wolenski http://www.iep.utm.edu/lindenba/ Leibniz: Logic by Wolgang Lenzen http://www.iep.utm.edu/leib-log/ Peirce: Logic by Francesco Bellucci and Ahti-Veikko Pietarinen http://www.iep.utm.edu/peir-log/ The Yablo Paradox by Roy Cook http://www.iep.utm.edu/yablo-pa/ The logical entries are classified in three categories: (1) Logicians / Works /History (2) Logics/Techniques /Theorems (3) Notions/Topics Here you can find the list of desired entries: http://www.jyb-logic.org/iep.html Everybody is welcome to submit an entry. Write to: iep at jyb-logic.org There is also a philosophy of mathematics area as well as a philosophy of language area. Check the list of areas and editors here: http://www.iep.utm.edu/eds/ This is a joint project with the first ever Encyclopaedia of Logic a book that will be published by College Publication (Dov Gabbay's Publishing Company) http://www.collegepublications.co.uk/eol/ Best Wishes Jean-Yves Beziau Logic Area Editor of IEP From lpulina at uniss.it Tue Jan 19 10:05:23 2016 From: lpulina at uniss.it (Luca Pulina) Date: Tue, 19 Jan 2016 10:05:23 +0100 Subject: QBFEVAL'16 - Second Call for Solvers & Benchmarks Message-ID: <569DFC53.3010400@uniss.it> [apologies for any cross-posting] ****************************************************************** QBFEVAL'16 - Competitive evaluation of QBF solvers Second Call for Solvers & Benchmarks A joint event with SAT 2016 - The Nineteenth International Conference on Theory and Applications of Satisfiability Testing - Bordeaux, France, July 5-8, 2016 ****************************************************************** QBFEVAL'16 will be the 2016 competitive evaluation of QBF solvers, and the eleventh evaluation of QBF solvers and instances ever. QBFEVAL'16 will award solvers that stand out as being particularly effective on specific categories of QBF instances. The evaluation will run using the computing infrastructure made available by StarExec. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. People thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'16, please get in touch with qbf16 at qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval16.php Important Dates Registration open: February 1st 2016 Registration close: February 29th 2016 Solvers participating in competitive tracks due: March 1st 2016 Final versions of solvers participating in competitive tracks due: March 15th 2016 Benchmarks due: March 15th 2016 Solvers participating in non-competitive tracks due: April 30th 2016 Results: presented at SAT'16 Organizing committee Organization Luca Pulina, University of Sassari Judges Hubie Chen, University of the Basque Country and Ikerbasque Martina Seidl, Johannes Kepler Universität Linz Christoph Wintersteiger, Microsoft Research Limited -- 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 s.verberne at cs.ru.nl Tue Jan 19 11:44:15 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 19 Jan 2016 10:44:15 +0000 Subject: ECAI workshops and tutorials deadline extension Message-ID: <001a1147f9f00723ed0529ad8dc3@google.com> (apologies for cross posting) Due to several requests, the deadline for submission of ECAI2016 Workshop and Tutorial proposals is extended until *Monday 25 January 2016* Call for Workshop proposals: http://www.ecai2016.org/calls/call-for-workshops/, contact: workshop-chairs at ecai2016.org Call for Tutorial proposals: http://www.ecai2016.org/calls/call-for-tutorials/ , contact: tutorial-chairs at ecai2016.org -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sabatucci at pa.icar.cnr.it Tue Jan 19 22:33:36 2016 From: sabatucci at pa.icar.cnr.it (Luca Sabatucci) Date: Tue, 19 Jan 2016 22:33:36 +0100 Subject: CfP: Smart Environments and Information Systems @ KES-IIMSS-16 Message-ID: <8E1307A1-4A25-4126-9010-2AC613E34627@pa.icar.cnr.it> [ apologies for cross-posting ] ************************************************************************ Call for Papers Smart Environments and Information Systems Invited Session 9th International KES Conference on INTELLIGENT INTERACTIVE MULTIMEDIA: SYSTEMS AND SERVICES KES-IIMSS-16 (http://iimss-16.kesinternational.org/index.php) (http://ecos.pa.icar.cnr.it/events/kesSession) Hotel Botanico & The Oriental Spa Garden, Puerto de la Cruz, Tenerife, Spain 15-17 June 2016 ************************************************************************ Smart environments compile a huge number of heterogeneous data, which have to be processed to provide responses in real time. This requires for new ways to consider the information system platforms supporting them. As a matter of fact, by sensing our surrounding environment and/or adding effectors of many sorts we are currently building a new generation of information systems able to improve our everyday lives. The applications covered by this kind of systems range from health and safety to power efficiency and comfort. This special session has the purpose of discussing the requirements of the information systems supporting smart environments, as well as the methods and techniques that are currently being explored in this area. The list of topics includes: Theories, techniques and technologies for ubiquitous systems, smart environments, smart spaces, smart cities/buildings/grids/... Dynamic/adaptive/runtime service coordination/orchestration techniques Self-adaptative systems Self-organizing systems Intelligent and multi-agent systems Modelling/programming languages, design methodologies for intelligent and multi-agent systems Tools to support the development of information and control systems for smart environments. PROCEEDINGS The conference proceedings will be published by Springer as book chapters in a volume of the KES Smart Innovation Systems and Technologies series, submitted for indexing in Scopus and Thomson_Reuters Conference Proceedings Citation Index (CPCI) and the Web of Science. SUBMISSIONS Submissions must be formatted according to the instructions which can be found on the Springer website (http://www.springer.com/series/8767) under "Instructions for Authors". Papers must be submitted in PDF format for review purposes, but authors are required to upload editable word-processor files (LaTeX or MS Word) at the end of the review process. The required paper length is 10 pages in publisher format. Papers longer than this may be subject to an additional charge. Papers much longer or shorter than the required length may be rejected, at the decision of the organisers. Papers to be considered for the conference must be submitted in PDF form through the PROSE online submission and review system (http://iimss-16.kesinternational.org/prose.php). IMPORTANT DATES Paper submission deadline: 15th February Paper notifications: 29th February 2016 Camera ready paper (pre-proceedings): 7th March 2016 Invited session: 15th-17th June 2016 COMMITTEES Organizing Committee Massimo Cossentino (National Research Council of Italy, Italy) Vincent Hilaire (Université de Belfort-Montbeliard, France) Juan Pavon (Universidad Complutense de Madrid, Spain) Publicity Chair Luca Sabatucci (National Research Council of Italy, Italy) Program Committee TBA From nsmattei at gmail.com Wed Jan 20 05:31:42 2016 From: nsmattei at gmail.com (Nicholas Mattei) Date: Wed, 20 Jan 2016 15:31:42 +1100 Subject: [Final Call] CFP: EXPLORE 2016 @ AAMAS 2016: The 3rd Workshop on Exploring Beyond the Worst Case in Computational Social Choice Message-ID: [Apologies for multiple postings.] *[Final Call] CFP: EXPLORE 2016 @ AAMAS 2016: The 3rd Workshop on Exploring Beyond the Worst Case in Computational Social Choice * To be held at the 15th Conference for Autonomous Agents and Multi-Agent Systems, AAMAS 2016. May 10th, 2016 Singapore http://www.explore-2016.preflib.org/ Computational Social Choice (ComSoc) is a rapidly developing field at the intersection of computer science, economics, social choice, and political science. Many, often disjoint, groups of researchers both outside and within computer science study group decision making and preference aggregation. The computer science view of social choice focuses on computational aspects of social choice and importing ideas from social choice into computer science, broadly. While the surge of research in this area has created dramatic benefits in the areas of market matchings, recommendation systems, and preference aggregation, much of the ComSoc community remains focused on worst case assumptions. As ComSoc evolves there is an increased need to relax or revise some of the more common assumptions in the field: worst case complexity, complete information, and overly-restricted domains, among others. This means going beyond traditional algorithmic and complexity results and providing a more nuanced look, using real data, parameterized algorithms, and human and agent experimentation to provide a fresh and impactful view of group decision making. This goes hand in hand with highlighting the practical applications of much of the theoretical research — as much of the most impactful work in ComSoc does. It also involves looking at more complex preference aggregation settings that help model real world requirements. We encourage research related to: * Algorithms * Empirical Studies * Average case analysis * Identification of tractable sub-cases * Fixed parameter complexity analysis * Benchmarking and analysis from the preference handling and recommendation systems * Studies of matching and auction mechanisms * Crowd-sourcing and other real-world data aggregation domains. Many of these tools, techniques, and studies are concentrated in a particular sub-field and researchers in other areas of ComSoc and related communities may be keen to import some of the tools and techniques developed in other areas. Program Notes ------------------------------ The workshop is currently scheduled for a full day. We plan for the program to include an invited talk from a local researcher and possibly a short tutorial. AAMAS-2016 is happy to announce that selected workshop papers will be published by Springer under two books. The aim of these books is to encourage innovative and visionary papers, even if their research work is still at a preliminary stage. The first book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. The second book will be a compilation of the best papers of the AAMAS-2016 Workshops, where again one paper (different from the selected visionary paper) will be selected from each AAMAS-2016 workshop. These papers will be selected by the PC nominated to the AAMAS workshop chairs. Important Dates ------------------------------- Paper Submission Deadline: February 7, 2016 Author Notification: March 1, 2016 Conference and Workshop: May 10, 2016 Submission Instructions ------------------------------- Submissions will be handled by EasyChair, the site is available at https://easychair.org/conferences/?conf=explore2016. Papers should be in AAMAS format, allowing 8 pages of text plus 1 page for references. Organization Committee ------------------------------- Haris Aziz, Data61 and UNSW Felix Brandt, Technische Universität München David Manlove, University of Glasgow Nicholas Mattei, Data61 and UNSW Program Committee ------------------------------- Peter Biro, Institute of Economics, Centre for Economic and Regional Studies, Hungarian Academy of Sciences Markus Brill, Oxford University John P. Dickerson, Carnegie Mellon University Edith Elkind, University of Oxford Gabor Erdelyi, University of Siegen Piotr Faliszewski, AGH University of Science and Technology Rupert Freeman, Duke University Serge Gaspers, UNSW Australia and Data61 Umberto Grandi, University Toulouse 1 Capitole Jerome Lang, LAMSADE Kate Larson, University of Waterloo Omer Lev, University of Toronto Reshef Meir, Technion-Israel Institute of Technology Nina Narodytska, Samsung Research America Maria Silvia Pini, University of Padova Mark Wilson, University of Auckland Lirong Xia, Rensselaer Polytechnic Institute (RPI) K. Brent Venable, Tulane University and IHMC Travel and Attendance Information ----------------------------------- The workshop will be held in conjunction with AAMAS 2016 in Singapore. Please see the AAMAS website for more information regarding registration, travel, and accommodations: http://sis.smu.edu.sg/aamas2016. We hope to see you there. --Haris, Felix, David, and Nicholas. -- *Nicholas Mattei* Senior Researcher | Optimisation / Algorithmic Decision Theory Lecturer | University of New South Wales (UNSW) *DATA61 | CSIRO* E nicholas.mattei at nicta.com.au T +61 2 8306 0464 W www.nickmattei.net Neville Roach Laboratory (UNSW Campus), Locked Bag 6016, Sydney NSW 1466, Australia www.data61.csiro.au CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kuhntobias at gmail.com Wed Jan 20 07:54:50 2016 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Wed, 20 Jan 2016 07:54:50 +0100 Subject: Call for Papers: Fifth Workshop on Controlled Natural Language (CNL 2016) Message-ID: <569F2F3A.3010003@gmail.com> Fifth Workshop on Controlled Natural Language (CNL 2016) 25-27 July 2016 in Aberdeen, Scotland This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces. Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop. Important Dates Submission deadline: 1 March 2016 Notification of acceptance: 1 April 2016 Deadline for revised papers: 13 May 2016 Registration deadline: 11 July 2016 Posters/demos deadline: 11 July 2016 Workshop: 25-27 July 2016 Sponsors Contact Adam Wyner, azwyner at abdn.ac.uk, if you want to become a sponsor. Topics Possible topics for CNL 2016 include: - CNL for knowledge representation - CNL for query interfaces - CNL for specifications - CNL for business rules - CNL for dialogue systems - CNL for machine translation - CNL for improved understandability of texts - CNL for natural language generation - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - multilingual CNLs - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Submissions and Proceedings We invite researchers to submit papers with novel contributions in the area of CNL. Submit your paper via Easychair: https://easychair.org/conferences/?conf=cnl2016 The proceedings of the workshop will appear in Springer's LNAI series. Website: http://www.sigcnl.org/cnl2016.html Organization Committee - Adam Wyner (University of Aberdeen, Scotland; azwyner at abdn.ac.uk) - Brian Davis (INSIGHT at NUI Galway, Ireland; brian.davis at insight-centre.org) - Gordon Pace (University of Malta, Malta; gordon.pace at um.edu.mt) Program Committee Krasimir Angelov (Chalmers University, Sweden) Paul Buitelaar (INSIGHT at NUI Galway, formerly DERI, Ireland) Rogan Creswick (Galois, USA) Brian Davis (INSIGHT at NUI Galway, formerly DERI, Ireland) Ronald Denaux (iSOCO, Spain) Ramona Enache (Chalmers University, Sweden) Esra Erdem (Sabanci University, Turkey) Sebastien Ferre (University Rennes 1, France) Norbert E. Fuchs (University of Zurich, Switzerland) Normunds Gruzitis (University of Latvia) Kaarel Kaljurand (Nuance Communications, Austria) Peter Koepke (University of Bonn, Germany) Tobias Kuhn (ETH Zurich, Switzerland) Adegboyega Ojo (INSIGHT at NUI Galway, formerly DERI, Ireland) Gordon Pace (University of Malta) Laurette Pretorius (University of South Africa) Aarne Ranta (University of Gothenburg, Sweden) Mike Rosner (University of Malta) Uta Schwertel (imc, Germany) Rolf Schwitter (Macquarie University, Australia) Geoff Sutcliffe (University of Miami, USA) Irina Temnikova (Qatar Computing Research Institute, Qatar) Camilo Thorne (Free University of Bozen-Bolzano, Italy) Jeroen Van Grondelle (HU University of Applied Sciences Utrecht, Netherlands) Adam Wyner (University of Aberdeen, UK) Previous Events There were four previous events in the same series: - CNL 2009 in Marettimo, Italy. http://attempto.ifi.uzh.ch/site/cnl2009/ - CNL 2010 in Marettimo, Italy. http://staff.um.edu.mt/mros1/cnl2010/index.html - CNL 2012 in Zurich, Switzerland. http://attempto.ifi.uzh.ch/site/cnl2012/ - CNL 2014 in Galway, Ireland. http://attempto.ifi.uzh.ch/site/cnl2014/ From mvm at cs.uns.edu.ar Wed Jan 20 16:49:50 2016 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Wed, 20 Jan 2016 12:49:50 -0300 Subject: FoIKS 2016 --- Call for Participation Message-ID: =========================================================================== Apologies for cross-postings! CALL FOR PARTICIPATION 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) March 7-11, 2016, Linz, Austria http://cdcc.faw.jku.at/FoIKS2016/ =========================================================================== 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. The FoIKS symposia are a forum for intense discussions. Typical about FoIKS are the generally long talks with ample time for questions. Participants receive a copy of the proceedings which are published by Springer in the Lecture Notes in Computer Science Series. 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, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. Keynote Speakers: ----------------------- - Christoph Beierle, Department of Computer Science, University of Hagen, Germany - Joachim Biskup, TU Dortmund, Germany - Reinhard Pichler, Faculty of Informatics, Vienna University of Technology, Austria - Henry Prakken, Department of Information and Computing Sciences, Utrecht University & Faculty of Law, University of Groningen - José María Turull Torres, Dept. of Engineering Universidad Nacional de La Matanza, Argentina, and Massey University, New Zealand Accepted Contributions: ---------------------------------- See the Symposium's web pages, at http://cdcc.faw.jku.at/FoIKS2016/. Program Chairs: ----------------------- Guillermo R. Simari Universidad Nacional del Sur, Argentina grs at cs.uns.edu.ar Marc Gyssens Hasselt University, Belgium marc.gyssens at uhasselt.be Local Organization Chair: ------------------------------------ Flavio Ferrarotti Software Competence Centre Hagenberg, Austria flavio.ferrarotti at scch.at -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From olanochka at gmail.com Thu Jan 21 01:34:32 2016 From: olanochka at gmail.com (Olana Missura) Date: Wed, 20 Jan 2016 19:34:32 -0500 Subject: ECML-PKDD 2016 Joint Call for Papers Message-ID: ECMLPKDD 2016 Joint Call for Papers Riva Del Garda, Italy, September 19-23 Apart from the main conference track the ECMLPKDD conference offers a variety of other tracks tailored to specific interests, such as - Journal Track - Demos - Nectar Track - Industrial Track - PhD Forum For a short summary of each and their important dates, read below. Detailed information about all tracks and submission procedures is available at http://www.ecmlpkdd2016.org/submission.html. Note: All deadlines are at 23:59 CET (Central European Time). Journal Track The 2016 cut-off dates for the bi-weekly batches are: Jan 31, Feb 14, Feb 28, Mar 13, Mar 27. Papers on all topics related to machine learning, knowledge discovery, and data mining are invited. However, given the special nature of the journal track, only papers that satisfy the quality criteria of journal papers and at the same time lend themselves to conference talks will be considered. Additional information about the submission guidelines is available at http://www.ecmlpkdd2016.org/submission.html#call-journal. Demos Track - Demo submission deadline: Friday, May 13, 2016 - Notification of acceptance: Monday, June 20, 2016 - Camera-ready paper due: Friday, July 1, 2016 Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. Systems that use basic statistics are not acceptable. A commercial software is not acceptable. The accepted papers for demos will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. The demos will be presented in a special demonstration session. At least one of the demo submitters must register for the conference, and perform the demo on site. Additional information about the submission guidelines is available at http://www.ecmlpkdd2016.org/submission.html#call-demos. Nectar Track - Submission deadline: Friday, May 13, 2016 - Notifications of acceptance: Monday, June 20, 2016 - Submission of camera ready copies: Friday, July 1, 2016 The goal of the Nectar Track, started in 2012, is to offer conference attendees a compact overview of recent scientific advances at the frontier of machine learning and data mining with other disciplines, as published in related conferences and journals. We invite senior and junior researchers to submit summaries of their own work published in neighbouring fields, such as (but not limited to) artificial intelligence, data analytics, bioinformatics, games, computational linguistics, natural language processing, computer vision, geoinformatics, health informatics, database theory, human computer interaction, information and knowledge management, robotics, pattern recognition, statistics, social network analysis, theoretical computer science, uncertainty in AI, network science, complex systems science, and computationally oriented sociology, economy and biology, as well as critical data science/studies. Particularly welcome is work that summarises a line of work that comprises older and more recent papers. The described work should be relevant to a broad audience within ECMLPKDD, and (a) illustrate the pervasiveness of data-driven exploration and modelling in science, technology, and the public, as well as innovative applications, and/or (b) focus on theoretical results. Additional information about the submission guidelines is available at http://www.ecmlpkdd2016.org/submission.html#call-nectar. PhD Forum - Paper submission: Wednesday, June 15, 2016 - Author notification: Friday, July 15, 2016 - Camera-ready: Friday, August 5, 2016 - PhD Forum: Monday, September 19, 2016 (tentative) The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) includes a PhD Forum on machine learning and knowledge discovery. The purpose of this forum is to provide an environment specifically for junior PhD students to exchange ideas and experiences with peers in an interactive atmosphere and to get constructive feedback from senior researchers in data mining, machine learning, and related areas. The focus of the discussion at the PhD Forum would be the work in progress of junior PhD students, with 1-3 years of research experience, towards their dissertation. The PhD Forum is open to two types of submissions: work-in-progress papers and PhD project plans. Detailed information about the submission guidelines is available at http://www.ecmlpkdd2016.org/submission.html#CallPhD. Industrial Track - Abstract submission deadline: Friday, April 15, 2016 - Paper submission deadline: Wednesday, April 20, 2016 - Author notification: Monday, June 20, 2016 - Camera-ready: Friday, July 1, 2016 - Industrial track presentations: Friday, September 23, 2016 The INDUSTRIAL, GOVERNMENTAL & NGO Track of ECMLPKDD 2016 aims to bring together participants from academia, industry, governments and NGOs (non-governmental organizations) in a venue that highlights practical and real-world studies of machine learning, knowledge discovery and data mining. This track wants to encourage mutually-beneficial links between those engaged in scientific research and practitioners working to improve big data mining and large scale machine learning analytics. Novel ideas, controversial issues, open problems and comparisons of competing approaches are strongly encouraged. Experiences from practitioners provide crucial input into future research directions and allow others to learn from successes and failures. Submissions are invited on innovative real-world data systems and applications, state-of-the-art practices, surveys from real-world projects and industrial experiences, and identification of unsolved research challenges of machine learning, knowledge discovery and data mining. The INDUSTRIAL, GOVERNMENTAL & NGO track is distinct from the Research Track in that submissions solve real-world problems and focus on applications and challenges. Submissions must clearly identify one of the following three areas they fall into: “Engineering Systems”, “Data Science”, or “Challenges”. Detailed information about the submission guidelines is available at http://ecmlpkdd2016.org/submission.html#call-industrial. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Fri Jan 22 12:26:07 2016 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Fri, 22 Jan 2016 11:26:07 +0000 Subject: RoboCup 2016 Virtual Robot Competition - Final Call for Participation Message-ID: (Please apologize for multiple postings.) ********************************************************************************************** Final Call for Participation ***Deadline for pre-registration: January 31, 2016*** RoboCup 2016 Virtual Robot Competition June 30 - July 4, 2016 (Leipzig, GERMANY) http://www.robocup2016.org/ We would like to invite all robot rescue teams to participate in the 2016 RoboCup Rescue Simulation League World Championship. The Virtual Robot Competition will be largely renewed (also as outcome of The Future of Robot Rescue Simulation Workshop to be held from February 29 to March 4, 2016, in Leiden, https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/) both in terms of simulation environment, with the transition from the current Unreal-based environment (which has been used in the previous years) to a ROS/Gazebo based environment, and in terms of challenges and rules. If you are interested to participate please take the time to pre-register your team for the RoboCup 2016 Virtual Robot Competition as soon as possible, so that we can inform you about the latest developments. 1) RoboCup Rescue Simulation League and Virtual Robot Competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as fire fighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Real-world interfaces such as helicopter images synchronize the virtuality and the reality by sensing data. Mission-critical human interfaces such as PDAs support disaster managers, disaster relief brigades, residents, and volunteers to decide their action to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, realtime/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. The next version of the Virtual Robot Competition is based on ROS/Gazebo, an advanced robot simulator in which users can simulate multiple agents whose capabilities closely mirror those of real robots. ROS/Gazebo currently features several ground and air robots, as well as a wide range of sensors and actuators. Moreover, exploiting ROS, users can easily develop their robot systems integrating standard modules. Note that the 2016 Virtual Robot Competition will be based on the new simulator and on the rules that will be available just after The Future of Robot Rescue Simulation Workshop. See, for more information, http://www.robocuprescue.org/wiki/index.php?title=VRCompetitions A document describing the architecture of the new simulator is available here: http://robocup.oss-cn-beijing.aliyuncs.com/symposium%2FRoboCup_Symposium_2015_submission_14.pdf while part of the code is available here: https://github.com/m-shimizu/RoboCupRescuePackage 2) Pre-registration ------------------- For the pre-registration please send before January 31, 2016 an email to francesco.amigoni at polimi.it with as attachment the following form filled in: http://www.robocuprescue.org/wiki/images/IntentVirtual2016.txt 3) Qualification material ------------------------- Besides the pre-registration, please prepare before March 30, 2016, a Team Description Paper describing the most innovative contributions or scientific results your team is intended to provide. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The Team Description Paper is an overview of the methodologies you used and intend to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. Given the reduced time between the end of The Future of Robot Rescue Simulation Workshop and the deadline for qualification material, the qualification material should reflect the team ideas and intentions rather than being a technically detailed document. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the pre-registration information. 4) Deadlines ----------- - Deadline for pre-registration Virtual Robot Competition: January 31, 2016 - Deadline for qualification material Virtual Robot Competition: March 30, 2016 - Team qualification notification: April 5, 2016 5) Rules -------- The rules for the RoboCup 2016 Virtual Robot Competition will be published at: http://www.robocuprescue.org/wiki/index.php?title=VRCompetitions The rules will be the output of The Future of Robot Rescue Simulation Workshop, but before the workshop an initial discussion of the rules can take place. The participating teams are encouraged to be engaged in the discussion, even when they are not present at the workshop. We hope to see you all in Germany. With kind regards, Sanaz Taleghani, Masaru Shimizu, and Francesco Amigoni, 2016 RoboCup Rescue Simulation Virtual Robot Competition Technical Committee --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From cfp2016a at cicling.org Fri Jan 22 14:17:26 2016 From: cfp2016a at cicling.org (Alexander Gelbukh (CFP)) Date: Fri, 22 Jan 2016 07:17:26 -0600 Subject: CFP: CICLing 2016 (NLP) - Springer LNCS / IEEE - Turkey - collocated: Arabic, Turkish Message-ID: CICLing 2016 - ACLing 2016 - IWTCLS 2016 17th International Conference on Intelligent Text Processing and Computational Linguistics Joint: 2nd Intern. Conference on Arabic Computational Linguistics Joint: 1st Intern. Workshop on Turkish Computational Linguistics Konya, Turkey - April 3-9, 2016 Springer LNCS, journals; IEEE CPS Deadline: Abstract February 8; then full text February 15 Monetary prizes for best papers www.CICLing.org/2016 TOPICS: All topics related to computational linguistics, natural language processing, human language technologies, information retrieval, opinion mining, sentiment analysis, etc. For collocated events: focused on Arabic or Turkish. PUBLICATION: Springer LNCS - Lecture Notes in Computer Science; special issues of journals KEYNOTE SPEAKERS: Pascale Fung, Tomas Mikolov, Simone Teufel, Piek Vossen CULTURAL PROGRAM: Three days of cultural activities: Cappadocia "fairy chimneys", underground city, Konya, Tinaztepe cave, Lystra Ancient City, the underground city of Kaymakli, and much more; pre- and post-conf tours (for separate fee) AWARDS: 1000 euro award fund sponsored by Springer: Best paper, best student paper, best presentation, best poster, best software SUBMISSION DEADLINES: Feb 8: Registration of tentative abstract / title (why not register your tentative abstract right now?), Feb 15: Full text of the registered papers (contact us for late submissions) COLLOCATED EVENT: ACLing 2016, Arabic CL. Publication: IEEE CPS, Joint submission with CICLing: same deadline COLLOCATED EVENT: IWTCLS 2016, Turkish CL. Publication: IEEE CPS. Joint submission with CICLing: same deadline; Submission to IWTCLS only: February 21 Want to organize a future CICLing event? Contact us! See complete CFP and contact on www.CICLing.org/2016 Please pass this CFP to relevant colleagues. If this message was sent to you by error, please reply. From grlmc at grlmc.com Sat Jan 23 16:39:58 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 23 Jan 2016 16:39:58 +0100 Subject: AlCoB 2016: submission deadline extended to February 2 Message-ID: <09e66cd74434765b0d6efebd77e5ce87@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: February 2 ***** ---------------------------------------------------------------------------- ************************************************************************************ 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   ALCOB 2016   TRUJILLO, SPAIN   JUNE 21-23, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-Ciemat) Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2016/ ************************************************************************************ AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. Previous events were held in Tarragona (2014) and Mexico City (2015). The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE: AlCoB 2016 will take place in Trujillo, homeland of the so-called "conquistadores" who arrived in Peru in the XVI century. The venue will be the Extremadura Centre for Advanced Technologies.   SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE: AlCoB 2016 will consist of: invited lectures peer-reviewed contributions   INVITED SPEAKERS: Evan Eichler (University of Washington, Seattle), De Novo Genome Assembly and Structural Variation S. Cenk Sahinalp (SimonFraserUniversity), Big Data Algorithmics for Cancer Genomics David Sankoff (University of Ottawa), The Evolution of Gene Order in the Flowering Plants   PROGRAMME COMMITTEE: Can Alkan (Bilkent University, Ankara, Turkey) Timothy L. Bailey (University of Queensland, Brisbane, Australia) Vladimir Bajic (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia) Geoff Barton (University of Dundee, UK) Inanc Birol (University of British Columbia, Vancouver, Canada) Jacek Błażewicz (PoznańUniversity of Technology, Poland) Alan P. Boyle (University of Michigan, Ann Arbor, USA) Vladimir Brusic (NazarbayevUniversity, Astana, Kazakhstan) Liming Cai (University of Georgia, Athens, USA) Rita Casadio (University of Bologna, Italy) Ken Chen (University of Texas MD AndersonCancerCenter, Houston, USA) Jason Ernst (University of California, Los Angeles, USA) Laurent Gautier (Novartis Institutes for BioMedical Research, Cambridge, USA) Manolo Gouy (ClaudeBernardUniversity Lyon 1, France) Michael Gribskov (PurdueUniversity, West Lafayette, USA) Iman Hajirasouliha (Stanford University, USA) John Hancock (Genome Analysis Centre, Norwich, UK) Artemis Hatzigeorgiou (University of Thessaly, Volos, Greece) Fereydoun Hormozdiari (University of California, Davis, USA) Kazutaka Katoh (Osaka University, Japan) Evangelos Kranakis (Carleton University, Ottawa, Canada) Lukasz Kurgan (University of Alberta, Edmonton, Canada) Bill Majoros (DukeUniversity, Durham, USA) Lennart Martens (Ghent University, Belgium) Maria-Jesus Martin (European Bioinformatics Institute, Hinxton, UK) Carlos Martín-Vide (Rovira i VirgiliUniversity, Tarragona, Spain, chair) Folker Meyer (Argonne National Laboratory, USA) Kenta Nakai (University of Tokyo, Japan) Matteo Pellegrini (University of California, Los Angeles, USA) Mihaela Pertea (JohnsHopkinsUniversity, Baltimore, USA) Ben Raphael (BrownUniversity, Providence, USA) Paolo Ribeca (Pirbright Institute, Woking, UK) Denis Shields (UniversityCollegeDublin, Ireland) Fredj Tekaia (Pasteur Institute, Paris, France) Alessandro Verri (University of Genova, Italy) Fuli Yu (BaylorCollege of Medicine, Houston, USA) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Kaizhong Zhang (University of WesternOntario, London, Canada) Weixiong Zhang (WashingtonUniversity in St. Louis, USA) Zhongming Zhao (VanderbiltUniversity, Nashville, USA) Yaoqi Zhou (GriffithUniversity, Brisbane, Australia) ORGANIZING COMMITTEE: María Botón-Fernández (Trujillo, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Leslye Alarcón (Cáceres) María Botón-Fernández (Trujillo, co-chair) José M. Granado-Criado (Cáceres) Sergio Santander-Jiménez (Cáceres) Miguel A. Vega-Rodríguez (Cáceres, co-chair)   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=alcob2016   PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of the journal IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION: The period for registration is open from October 30, 2015 to June 21, 2016. The registration form can be found at: http://grammars.grlmc.com/alcob2016/Registration.php DEADLINES: Paper submission: February 2, 2016 (23:59 CET) - EXTENDED - Notification of paper acceptance or rejection: March 1, 2016 Final version of the paper for the LNCS/LNBI proceedings: March 15, 2016 Early registration: March 15, 2016 Late registration: June 7, 2016 Submission to the journal special issue: September 23, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: AlCoB 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Centro Extremeño de Tecnologías Avanzadas (CETA-CIEMAT) Universidad de Extremadura Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Sun Jan 24 10:03:10 2016 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Sun, 24 Jan 2016 01:03:10 -0800 Subject: =?UTF-8?Q?Call_For_Papers_And_Participation=3A_SDM=E2=80=9916_Workshop?= =?UTF-8?Q?s?= Message-ID: SIAM International Conference on Data Mining May 5 - May 7, 2016 Hilton Miami Downtown, Miami, Florida, USA SDM 2016 organizing committee kindly invites you for participation in the workshops held in conjunction with the conference. Researchers and practitioners from academia, industry, and government are all welcome to submit their work and participate in the workshops. This year SDM will host the following workshops. Data Mining for Medicine and Healthcare Organizers: Nitesh Chawla, Gregor Stiglic, Fei Wang Paper submission deadline: 27 Jan, 2016 Machine Learning Methods for Recommender Systems (MLRec) Organizers: Jiayu Zhou, Deguang Kong, George Karypis Paper submission deadline: 29 Jan, 2016 Mining Networks and Graphs: A Big Data Analytic Challenge (MNG 2016) Organizers: Maleq Khan, Christine Klymko, Larry Holder Paper submission deadline: February 1, 2016 Hope to see you in Miami! SDM Organizing Committe -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From braubach at informatik.uni-hamburg.de Mon Jan 25 16:32:35 2016 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Mon, 25 Jan 2016 16:32:35 +0100 Subject: CFP IEEE/WIC/ACM International Conference on Web Intelligence 2016 (WI'16) Message-ID: <56A64013.7090703@informatik.uni-hamburg.de> [Apologies if you receive this more than once] -------------------------------------------------------------------------- IEEE/WIC/ACM International Conference on Web Intelligence 2016 (WI'16) October 13-16, 2016, Hilton Omaha, USA CALL FOR PAPERS Homepage: http://wibih.unomaha.edu/wi (FULL PAPER SUBMISSION DEADLINE: April 1, 2016) Sponsored By: IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) *** KEYNOTE SPEAKERS *** Butler Lampson (Turing Award 1992), Microsoft & MIT Leslie Valiant (Turing Award 2010), Harvard University **************** Web Intelligence (WI) aims to achieve a multi-disciplinary balance between research advances in theories and methods usually associated with collective intelligence, data science, human-centric computing, knowledge management, and network science. It is committed to addressing research that both deepen the understanding of computational, logical, cognitive, physical, and social foundations of the future Web, and enable the development and application of technologies based on Web intelligence. The IEEE/WIC/ACM International Conference on Web Intelligence (WI) has been held jointly with the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT) since 2001 in Europe, North America, and Asia Pacific. Starting from 2016, the IAT conference as well as its themes and topics will be embedded inside WI. WI'16 features high-quality, original research papers and real-world applications in all theoretical and technology areas that make up the field of WI. WI'16 will be co-located with the 2016 International Conference on Brain Informatics & Health (BIH'16) (http://wibih.unomaha.edu/bih). Under our theme Connecting Network and Brain with Big Data, WI'16 and BIH'16 will provide a broad forum that academia, professionals and industry people can use to exchange their ideas, findings and strategies in utilizing the power of human brains and man-made networks to create a better world. The attendees only need to register for one of the 2 conferences, but they can attend all sessions and social events of the 2 conferences. WI'16 welcomes both research and application papers submissions. All submitted papers will be reviewed on the basis of technical quality, relevance, significance and clarity. Accepted full papers will be included in the proceedings published by IEEE Computer Society Press. Tutorial, Workshop and Special-Session proposals and Industry/Demo-Track papers are also welcome. *** Topics and Areas *** Track-1: Collective Intelligence Track-2: Data Science Track-3: Human-Centric Computing Track-4: Knowledge Management Track-5: Network Science Please find the topics and areas of interest of WI'16 at http://wibih.unomaha.edu/wi +++++++++++++++ IMPORTANT DATES +++++++++++++++ Workshop and Special-Session proposals submission: March 20, 2016 Notification of Workshop and Special-Session acceptance: April 3, 2016 Submission of full papers: April 1, 2016 Submission of Workshop/Special-Session full papers: June 1, 2016 Notification of full paper acceptance: June 10, 2016 Notification of Workshop/Special-Session full paper acceptance: June 25, 2016 Tutorial proposal submission: July 10, 2016 Tutorials, Workshop and Special-Sessions: October 13, 2016 Main conference: October 14-16, 2016 ++++++++++++++++++++++++++++++++ PAPER SUBMISSION AND PUBLICATION ++++++++++++++++++++++++++++++++ WI'16 solicits original work submitted as a regular paper (limited to 6-8 pages) or as short paper (limited to 4 pages) in IEEE 2-column format. Each paper will be peer-reviewed by at least three PC members on the basis of technical quality, relevance, originality, significance and clarity. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press and indexed by EI. Selected WI'16 papers will be further invited for expansion and publication in Web Intelligence journal and other international journals. ++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR TUTORIALS/WORKSHOPS/SPECIAL-SESSIONS ++++++++++++++++++++++++++++++++++++++++++++++ WI'16 solicits proposals for tutorials, workshops, and special sessions on specific topics of interests, which will form an integral part of the conference program. Inquiries and submission of proposals should be addressed to the respective chairs. ++++++ AWARDS ++++++ Best Paper awards will be conferred at the conference on the authors of (1) the best research paper, (2) the best student paper. Application-oriented submissions will be considered for the best application paper award. ++++++++++++++++++++ ORGANIZING COMMITTEE ++++++++++++++++++++ General Chairs Hesham Ali (University of Nebraska at Omaha, USA) Deepak Khazanchi (University of Nebraska at Omaha, USA) Yong Shi (University of Nebraska at Omaha/Chinese Academy of Sciences) WI'16 PC Chairs Zbigniew W. Ras (University of North Carolina at Charlotte, USA) Yuefeng Li (Queensland University of Technology, Australia) Matthias Klusch (German Research Center for Artificial Intelligence, Germany) WI'16 Workshop/Special-session/Tutorial Chairs Saeid Belkasim (Georgia State University, USA) Stefano Ferilli (University of Bari, Italy) Marek Reformat (University of Alberta, Canada) WI'16 Industry Track & Demo/Poster Session Chair Saurav Karmakar (Media iQ Digital LTD) WI'16 Publicity Chairs Kate Cooper (University of Nebraska at Omaha, USA) Daniel Tao (University of Southern Queensland, Australia) Lars Braubach (University of Hamburg, Germany) Local Organizing Committee Prithviraj (Raj) Dasgupta Zhengxin Chen Peter Wolcott Haifeng Guo Mark Pauley Wikil Kwak Kerry Ward Dhundy (Kiran) Bastola Kate Cooper (publicity) Bettina Lechner (webmaster) WI Steering Committee Co-chairs Ning Zhong (Maebashi Institute of Technology, Japan) Jiming Liu (Hong Kong Baptist University, HK SAR, China) *** Contact Information *** kdempsey at unomaha.edu y2.li at qut.edu.au ras at uncc.edu From giacomo.cabri at unimore.it Mon Jan 25 22:00:30 2016 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Mon, 25 Jan 2016 22:00:30 +0100 Subject: CfP: Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) @ IEEE WETICE 2016 Message-ID: <56A68CEE.1070800@unimore.it> Call for Papers 14th Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) @ IEEE WETICE2016 June 13 - 16, 2016 Paris, France http://acec.portals.mbs.ac.uk/ *** Overview *** The autonomy and intelligence of software agents have greatly enhanced automation in many operational domains. A major benefit of using agents is the ability to assist in the collaboration among humans and software mechanisms, alike. Agent-enacted collaboration can be extremely helpful in areas such as Computer Supported Collaborative Work, Workflow and Supply Chain Management, Automation in Virtual Enterprises, and Automated Distributed Component Composition. The forthcoming 14th episode of the Agent-based Computing for Enterprise Collaboration (ACEC) will concentrate on two main themes: # Adaptive and Agent-based Services # Agent-based Techniques for Organizational/Enterprise Use of Emerging Web Paradigms (Cloud, Crowd-Sourcing, Mobile Apps) These two themes represent important areas where software agents can leverage their distributed nature along with their proactive and autonomous characteristics to provide solutions for complex problems which are difficult to address using traditional/existing technologies. With the popularity and pervasiveness of services in the emerging digital world, enterprises must carefully evaluate how to make their services openly accessible. Furthermore, it is important for enterprises to learn how to exploit the services of others while taking into account the unexpected circumstances and changing scenarios, which frequently occur in business ecosystems. In both of these (above given) contexts, software agents can play an important role. In this respect, ACEC 2016 intends to bring together researchers and practitioners to discuss the key issues, approaches, open problems, innovative applications, and trends in this research area. We enthusiastically solicit papers that address agent mediation and management of services and/or products of on-line businesses. *** Topics *** Topics of interests include but are not limited to: ·Adaptive and/or agent-mediated workflow, supply chain, or virtual enterprises ·Methodologies, languages and tools to support agent collaboration ·Agent architectures and infrastructures for dynamic collaboration ·Adaptive and/or Agent-based service architectures and infrastructures ·Service Oriented Architecture (SOA) based on agents ·Services for dynamic agent collaboration ·Agent-to-Human service interactions ·Autonomous, Adaptive and/or Agent-mediated service integration ·Organizational and enterprise systems that leverage Web 2.0 ·Adaptive and Agent-mediated cloud environments *** Important Dates *** Deadline for paper submission: February 15, 2016 Decision to paper authors: March 28, 2016 Camera Ready papers due to IEEE: April 11, 2016 25th IEEE WETICE-2016 conference: 13 - 16 June 2016 *** Paper Submission *** https://easychair.org/conferences/?conf=wetice2016 Accepted papers will be published in IEEE proceedings. -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From alqithami at gmail.com Mon Jan 25 22:18:40 2016 From: alqithami at gmail.com (Saad Alqithami) Date: Mon, 25 Jan 2016 15:18:40 -0600 Subject: Final CFP: COOS workshop at AAMAS16 Message-ID: The 4th International Workshop on Collaborative Online Organizations - Singapore: MAY 10, 2016 - http://www2.cs.siu.edu/~mas/coos16/ - Organized in conjunction with AAMAS 2016 - [ Scope ]: There is a strong ongoing trend for traditional organizations to adapt to socially networked nature of human population. This trend allows organizations to be transformed from brick and mortar to a more online nature. In the collaborative online organizations workshop, we aim to understand the current range of nascent network centric organizations. At one end of the spectrum, this includes human efforts to form collaborative units. On the other end of the spectrum, we seek to understand techniques and methodologies for constructing online agent organizations that represent interests of their human counterparts and take actions autonomously. This workshop will reflect the impacts of social network proliferation and start of agent systems that exploit and explore opportunities heralded by the social media and ever faster pace of interconnectivity. Agents must multitask. Beyond performing their design tasks, they must be aware of the social climate of their environment. They must account for interactions with other agents and humans so as to perform social acts in order to complement their physical and speech acts. Substantial amount of research work is ongoing in distributed knowledge management. Therefore, COOS workshop emphasizes the operational elements of social networks that facilitate elements of online organization. Since this is the growing workshop on this topic, we continue to generate interest for a more in depth and wider span of explorations into the future. Social as well as cognitive foundations surrounding collaborative organizations are of special interest and the focal theme for 2016. This theme includes nature of interactions among individuals engaged in meaningful exchange. Network of interactions in organizations generate and reflect social behaviors embedded in collaboration networks that play central role for their continued functioning and maintenance. Explorations of roles of social capital are within the scope. - [ Topics include but not limited to ]: * Agents-based collaborative environments * Architectures of cognitively reasoned interactions * Cooperation and collaboration mechanisms * Collaborative architectures, infrastructures, intelligence, services, filtering or games * Collaborative social networks and web-based collaboration * Cloud-based collaboration and crowdsourcing * Collective benefits of political fallouts and economic externalities * Computational models of organizations * Digital communities and virtual organizations * Distributed technologies for group collaboration * Globalized networks and grid alliances * Human/robot collaboration * Network-centric warfare * Networked individualism * Networked organizations * Social capital and human-centric based group collaboration * Social networks and community discovery * Social computing and inter-cultural collaboration * Theoretical aspects of distributed collaboration - [ Important Dates ]: Paper Submission: February 1, 2016 Author Notification: March 7, 2016 - For submission instructions and more information, visit: http://www2.cs.siu.edu/~mas/coos16/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From N.Bulling at tudelft.nl Mon Jan 25 23:40:19 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Mon, 25 Jan 2016 22:40:19 +0000 Subject: 3rd CfP: Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS 2016) Message-ID: ======================================================== 9th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2016 *** (satellite workshop of AAMAS 2016) May 10, 2016, Singapore http://ii.tudelft.nl/~nils/lamas2016/ 3rd Call for Papers ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas. The workshop is intended to cover, but it is not limited to, the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, please see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2016 ================================= PROCEEDINGS AND POST-PROCEEDINGS (Journal Special Issue of STUDIA LOGICA) ================================= All accepted workshop papers will be made available to workshop registrants in electronic form. No formal publication of workshop papers is planned, besides the selected "visionary paper" and "best paper" as explained below. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. Authors of selected papers will be invited to submit to the special issue. All submissions will be subject to another reviewing and selection process according to the standards of STUDIA LOGICA. ================================= VISIONARY PAPER AND BEST PAPER ================================= The most “visionary paper” will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Additionally, the “best paper” will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request. ================================= Keynote Speaker ================================= To be announced ================================= IMPORTANT DATES ================================= Paper submission: February 1, 2016 Author notification: March 2, 2016 Camera-ready deadline: March 10, 2016 Workshop: May 10, 2016 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, TU Delft, NL Davide Grossi, University of Liverpool, UK ================================= PROGRAM COMMITTEE ================================= Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Thomas Bolander, DTU Mehdi Dastani, Utrecht University Michael Fisher, University of Liverpool Nina Gierasimczuk, ILLC, University of Amsterdam Valentin Goranko, Stockholm University Andreas Herzig, IRIT-CNRS Koen Hindriks, Delft University of Technology Wiebe van der Hoek, University of Liverpool Wojtek Jamroga, Polish Academy of Sciences Joao Leite, NOVA LINCS, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Emiliano Lorini, IRIT John-Jules Meyer, Utrecht University Aniello Murano, Universita’ di Napoli "Federico II" Alessandra Palmigiano, Technical University of Delft Wojciech Penczek, ICS PAS and Siedlce University Daniele Porello, ISTC, CNR R. Ramanujam, Institute of Mathematical Sciences, Chennai Pierre-Yves Schobbens, University of Namur Sonja Smets, University of Amsterdam Nicolas Troquard, LACL, Univ. Paris Est-Créteil ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, TU Delft, and Davide Grossi, University of Liverpool. In case of questions, do not hesitate to contact us at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk, respectively. — Priv.-Doz. Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology The Netherlands http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Jan 26 11:19:28 2016 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Tue, 26 Jan 2016 10:19:28 +0000 Subject: LOFT Final CPF (deadline 1st of March) Message-ID: <0960E27E-09B7-4B16-A2DE-BFC154C99EE9@liverpool.ac.uk> LOFT12 2016: Call for Papers for the Twelfth Conference on Logic and the Foundations of Game and Decision Theory University of Maastricht, The Netherlands, July 20-22, 2016 http://loft.epicenter.name/ IMPORTANT DATES: Deadline for submission: 1 March, 2016 Deadline for reviews: 1 April, 2016 Notification to authors: 15 April, 2016 Conference: July 20-22, 2016 AIMS OF THE CONFERENCE This is the twelfth in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eleven conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, Sevilla (Spain), 2012 and Bergen (Norway), 2014. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://easychair.org/conferences/?conf=loft2016 The deadline for submission is March 1, 2016, and authors will be notified of acceptance decisions by April 15, 2016. PROGRAM CHAIRS: Giacomo Bonanno, University of California Davis, U.S.A. Andrés Perea, University of Maastricht, The Netherlands Wiebe van der Hoek, University of Liverpool, United Kingdom PROGRAM COMMITTEE: Christian Bach Alexandru Baltag Juan Block Jan Broersen Edith Elkind Spyros Galanis Valentin Goranko Olivier Gossner Davide Grossi Julian Gutierrez Ziv Hellman Andreas Herzig Wesley Holliday Willemien Kets Piotr Krysta Jérôme Lang Harvey Lederman Emiliano Lorini Larry Moss Eric Pacuit Paul Pedersen Antonio Penta Martin Peterson Daniele Porello Wlodek Rabinowicz Bryan Renne Olivier Roy Marija Slavkovik Elias Tsakas Hans van Ditmarsch Yanjing Wang Peio Zuazo-Guarin PUBLICATION OF CONTRIBUTED PAPERS: We anticipate that, as in the past, a selection of papers presented at LOFT12 will be published in one or two special issues of journals. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From C.Orasan at wlv.ac.uk Thu Jan 28 15:19:36 2016 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 28 Jan 2016 14:19:36 +0000 Subject: 2nd CfP: 2nd Workshop on Natural Language Processing for Translation Memories (NLP4TM 2016) at LREC 2016 Message-ID: <1453990775.3067.28.camel@wlv.ac.uk> (apologies for cross-posting) 2nd Workshop on Natural Language Processing for Translation Memories (NLP4TM 2016) http://rgcl.wlv.ac.uk/nlp4tm2016/ to be held at LREC 2016 (Portorož, Slovenia), May 28, 2016 Submission deadline: February 10, 2016 1. Call For Papers Translation Memories (TM) are amongst the most used tools by professional translators, if not the most used. The underlying idea of TMs is that a translator should benefit as much as possible from previous translations by being able to retrieve how a similar sentence was translated before. Moreover, the usage of TMs aims at guaranteeing that new translations follow the client’s specified style and terminology. Despite the fact that the core idea of these systems relies on comparing segments (typically of sentence length) from the document to be translated with segments from previous translations, most of the existing TM systems hardly use any language processing for this. Instead of addressing this issue, most of the work on translation memories focused on improving the user experience by allowing processing of a variety of document formats, intuitive user interfaces, etc. The term second generation translation memories has been around for more than ten years and it promises translation memory software that integrates linguistic processing in order to improve the translation process. This linguistic processing can involve tasks such as matching of subsentential chunks, edit distance operations between syntactic trees, incorporation of semantic and discourse information in the matching process. This workshop invites papers presenting second generation translation memories and related initiatives. Terminologies, glossaries and ontologies are also very useful for translation memories, by facilitating the task of the translator and ensuring a consistent translation. The field of Natural Language Processing (NLP) has proposed numerous methods for terminology extraction and ontology extraction. Researchers are encouraged to submit papers to the workshop which show how these methods are being successfully applied to Translation Memories. In addition, papers discussing the integration of Machine Translation and Translation Memories or studies about automatic building of translation memories from corpora are also welcomed. 2. Topics of interest This workshop invites original papers which show how language processing can help translation memories. Topics of interest include but are not limited to: - Improving matching and retrieval of segments by using morphological, syntactic, semantic and discourse information - Automatic extraction of terminologies and ontologies for translation memories - Integration of named entity recognition and terminologies in matching and retrieval - Using natural language processing for automatic construction of translation memories - Extracting and aligning TM segments from a parallel or comparable corpus - Construction of translation memories using the Internet - Corpus based studies about the usefulness of TM for specific domains - Development of hybrid TM and MT translation systems - Study of NLP techniques used by TM tools available in the market - Automatic methods for TM cleaning and maintenance 3. Shared task A shared task on cleaning translation memories will be organised. A training set will be distributed to be used to develop and train the participants’ systems. The testing will be done on 500 segments distributed during the testing phase. TASK: Automatically clean translation memories TRAINING SET: 1,500 TM segments annotated with information on whether they are a valid translation of each other TEST SET: 500 TM segments LANGUAGE PAIRS: - English-Italian - English-German - English-Spanish RELEASE OF THE TRAINING DATA: first week of February 2016 Participants are encouraged to submit working notes of their systems to be presented during the workshop. More details, including the shared task schedule will be announced soon in a dedicated Call for Participation. 4. Submission information We invite contributions of either long papers (8 pages + 2 references) which present unpublished original research or short paper/demos of systems which present work in progress or working systems (4 pages + 2 references). The submissions do not need to be anonymised. All the papers will have to be submitted in PDF format via the START system. More information about submission is available at  http://rgcl.wlv.ac.uk/nlp4tm2016/submission-information/ 5. Identify, Describe and Share your LRs As scientific work requires accurate citations of referenced work so as to allow the community to understand the whole context and also replicate the experiments conducted by other researchers, LREC 2016 endorses the need to uniquely Identify LRs through the use of the International Standard Language Resource Number (ISLRN, www.islrn.org), a Persistent Unique Identifier to be assigned to each Language Resource. The assignment of ISLRNs to LRs cited in LREC papers  will be offered at submission time. 6. Important dates Submission deadline: 10th February 2016 Acceptance notification: 7th March 2016 Camera-ready versions: 31st March 2016 Workshop date: 28th May 2016 7. Organising committee For the workshop - Constantin Orasan, University of Wolverhampton, UK - Carla Parra, Hermes, Spain - Eduard Barbu, Translated, Italy - Marcello Federico, FBK, Italy For the shared task - Eduard Barbu, Translated, Italy - Carla Parra, Hermes, Spain - Luca Mastrostefano, Translated, Italy - Matteo Negri, FBK, Italy - Marco Turchi, FBK, Italy - Luisa Bentivogli, FBK, Italy - Constantin Orasan, University of Wolverhampton, UK The organisers can be contacted by sending an email to nlp4tm2016 gmail.com. 8. Program Committee - Juanjo Arevalillo, Hermes, Spain - Yves Champollion, WordFast, France - Gloria Corpas, University of Malaga, Spain - Maud Ehrmann, EPFL, Switzerland - Kevin Flanagan, Swansea University, UK - Corina Forascu, University “Al. I. Cuza”, Romania - Gabriela Gonzalez, eTrad, Argentina - Rohit Gupta, University of Wolverhampton, UK - Manuel Herranz, Pangeanic, Spain - Samuel Läubli, Autodesk, Switzerland - Liangyou Li, DCU, Ireland - Qun Liu, DCU, Ireland - Ruslan Mitkov, University of Wolverhampton, UK - Aleksandros Poulis, Lionbridge, Sweden - Gabor Proszeky, Morphologic, Hungary - Uwe Reinke, Cologne University of Applied Sciences, Germany - Michel Simard, NRC, Canada - Mark Shuttleworth, UCL, UK - Masao Utiyama, NICT, Japan - Mihaela Vela, Saarland University, Germany - Andy Way, DCU, Ireland - Jörn Wübker, Lilt, USA - Marcos Zampieri, Saarland University and DFKI, Germany -- Dr. Constantin Orasan Reader in Computational Linguistics Coordinator of the EXPERT project Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From grlmc at grlmc.com Thu Jan 28 21:54:48 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 28 Jan 2016 21:54:48 +0100 Subject: BigDat 2016: registration deadline 5 February Message-ID: <545102060a010b02035255060d0656070305000501500e5605040d540754010455530653510006560154550307@grlmc_ip-zone_com-6> BigDat 2016: registration deadline 5 February*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   2nd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2016   Bilbao, Spain   February 8-12, 2016   Organized by: DeustoTech, University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/bigdat2016/   ********************************************************   --- Regular registration deadline: February 5, 2016 ---   ********************************************************   AIM:   BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 18 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics   Chih-Jen Lin (National Taiwan University), When and When Not to Use Distributed Machine Learning   Jeffrey Ullman (Stanford University), Theory of MapReduce Algorithms   Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery   PROFESSORS AND COURSES:   Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities   Ernesto Damiani (University of Milan & EBTIC/Khalifa University), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service   Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing   George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems   Chih-Jen Lin (National Taiwan University), [introductory/intermediate] Large-scale Linear Classification   Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering   Wladek Minor (University of Virginia), [introductory/intermediate] Big Data in Biomedical Sciences   Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data   Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services   Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks   Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016.   ORGANIZING COMMITTEE:   Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/bigdat2016/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions of accommodation are available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sdm.publicity at gmail.com Thu Jan 28 23:44:28 2016 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Thu, 28 Jan 2016 14:44:28 -0800 Subject: Call for Doctoral Forum Submissions: SDM '16 Message-ID: SIAM International Conference on Data Mining May 5 - May 7, 2016 Hilton Miami Downtown, Miami, Florida, USA SDM 2016 organizing committee invites Ph.D. students to present their dissertation work at the Doctoral Forum associated with the conference. Selected students will be given student travel scholarships to cover the registration and travel expenses. The purpose of the SDM Doctoral Forums is to provide an opportunity for Ph.D. students working on topics related to data mining and knowledge discovery to discuss and receive feedback on their research from peers and senior practitioners in the field. The Doctoral Forum is an integral part of the SDM program and aims at offering encouragement, advice, and constructive criticisms to the presenters. Participation of women and other minority groups that are presently underrepresented in the Computer Science research community is welcome and strongly encouraged. In SDM 2016 the Doctoral Forum will take the form of a poster session. Students who have a paper (either a talk or a poster) in the main conference and wish to participate in the Doctoral Forum should present work that is separate from the work included in the SDM 2016 Proceedings. Details about the application process are here: http://www.siam.org/meetings/sdm16/forum.php Important Dates: Applications must be submitted by Sunday, February 15th, 2016 to ensure full consideration. The notifications will be sent by Sunday, March 7th, 2016. Hope to see you in Miami! SDM Organizing Committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schon at uni-koblenz.de Fri Jan 29 14:34:04 2016 From: schon at uni-koblenz.de (Claudia Schon) Date: Fri, 29 Jan 2016 14:34:04 +0100 Subject: Workshop on Bridging the Gap between Human and Automated Reasoning - Call for Papers Message-ID: <5EBC4011-1150-4A3C-87FE-1BF21F5EE5AE@uni-koblenz.de> CALL FOR PAPERS +----------------------------------------------------------+ | Second Workshop on: | | Bridging the Gap between Human and Automated Reasoning | +----------------------------------------------------------+ an IJCAI-16 workshop (supported by IFIP TC12) New York, USA, July 9th, 2015 http://ratiolog.uni-koblenz.de/bridging2016 Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research. This workshop is a follow-up event of the successful Bridg- ing workshop (http://ratiolog.uni-koblenz.de/bridging.html) which was located at CADE-25. Like its preceding event, it is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following: o limits and differences between automated and human reason- ing o psychology of deduction o common sense reasoning o logics modeling human cognition o modeling human reasoning using automated reasoning systems o non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning o application fields of automated reasoning in the interac- tion with human reasoners The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12. IMPORTANT DATES Full Paper submission deadline: April 18th, 2016 Notification: May 16th, 2016 Final submission: May 23rd, 2016 Workshop: July 9th, 2016 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be sub- mitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at https://easychair.org/conferences/?conf=bridging2016 PROCEEDINGS Proceedings of the workshop will be published as CEUR workshop proceedings. Depending on the number and qual- ity of the submission we are planning post proceedings in the Springer AICT Series http://www.springer.com/series/6102. ORGANIZERS Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Marco Ragni, University of Freiburg Natarajan Shankar, SRI International PROGRAM COMMITTEE Ruth Byrne, University of Dublin Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Gabriele Kern-Isberner, TU Dortmund University Kai-Uwe Kühnberger, University of Osnabrück Laura Martignon, MPI Berlin Ursula Martin, University of Oxford Luis Moniz Pereira, Universidade Nova de Lisboa Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz Natarajan Shankar, SRI International Keith Stenning, Edinburgh University Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon, schon at uni-koblenz.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From newsletter at saso-conference.org Sun Jan 31 14:15:04 2016 From: newsletter at saso-conference.org (newsletter) Date: Sun, 31 Jan 2016 14:15:04 +0100 Subject: =?utf-8?b?Q2ZQOiBTQVNPIDIwMTYgLSBJRUVFIEludGVybmF0aW9uYWwgQ29uZmVy?= =?utf-8?b?ZW5jZSBvbiBTZWxmLUFkYXB0aXZlIGFuZCBTZWxmLU9yZ2FuaXppbmcg?= =?utf-8?b?U3lzdGVtcywgU2VwdGVtYmVyIDEyLTE2LCBBdWdzYnVyZywgR2VybWFu?= =?utf-8?b?eQ==?= Message-ID: ************************************************************************* CALL FOR PAPERS Tenth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016) Augsburg, Germany; 12-16 September 2016 http://uni-augsburg.de/saso2016 @SASO2016Conf ************************************************************************* Part of FAS* - Foundation and Applications of Self* Computing Conferences Co-located with: The International Conference on Cloud and Autonomic Computing (ICCAC 2016) http://iccac2016.se.rit.edu ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing systems conference series (SASO) is to provide a forum for the foundations of a principled approach to engineering systems, networks, and services based on self-adaptation and self-organization. The complexity of current and emerging networks, software, and services, especially when dealing with dynamics in the environment and problem domain, has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, sociology, and biology) to find new ways of designing and managing such computing systems. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other self-* properties, such as self-configuration, self-healing, or self-optimization. Systems exhibiting such properties are often referred to as self-* systems. The tenth edition of the SASO conference embraces the inter-disciplinary nature and the scientific, empirical, and application dimensions of self-* systems and welcomes novel results on both self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Systems theory: theoretical frameworks and models; biologically- and socially-inspired paradigms; inter-operation of self-* mechanisms; - Systems techniques: techniques to specify and analyze self-* systems, like statistical physics, machine learning, multi-agent systems, or other novel techniques; - Systems engineering: reusable mechanisms, design patterns, architectures, methodologies; software and middleware development frameworks and methods, platforms and toolkits; hardware; self-* materials; governance of self-* systems, emergent behavior in self-* systems; - System properties: robustness, resilience, and stability; emergence; computational awareness and self-awareness; reflection; anti-fragility; - Cyber-physical and socio-technical systems: human factors and visualization; self-* social computers; crowdsourcing and collective awareness; human-in-the-loop; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; - Ethics and Humanities in self-* systems; - Applications and experiences with self-* systems in any of the following domains: + Smart-*: application of self-* principles to smart-grids, smart-cities, smart-environments, smart-vehicles + Industrial automation: embedded self-* systems, adaptive industrial plants, smart industries (Industry 4.0) + Transportation: autonomous vehicles, coordination between vehicles, pedestrians, and infrastructure, and traffic optimization + Unmanned systems: aerial vehicles, undersea vehicles, other robotic platforms + Internet of Things: challenges, applications, and benefits; self-* for network management, self-* applied to Cybersecurity We are looking for contributions that present novel theoretical or experimental results, novel design patterns, mechanisms, system architectures, frameworks or tools, or practical approaches and experiences in building or deploying real-world systems and applications. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Likewise, papers describing substantial innovation or insights in the use and communication of self-* systems in the classroom are welcome. Where relevant and appropriate, accepted papers will also be encouraged to participate in the Demo or Poster Sessions. -------------------- Important Dates -------------------- Abstract submission: May 2, 2016 Paper submission: May 9, 2016 Rebuttal phase: June 16-20, 2016 Notification: June 23, 2016 Camera ready copy due: July 5, 2016 Conference: September 12-16, 2016 ---------------------------- Submission Instructions ---------------------------- Submissions can be up to 10 pages, formatted according to the standard IEEE Computer Society Press proceedings style guide, and submitted electronically in PDF format. Please register as authors and submit your papers using the SASO 2016 conference management system https://easychair.org/conferences/?conf=saso2016. The proceedings will be published by IEEE Computer Society Press, and made available as a part of the IEEE Digital Library. Note that a separate Call for Poster and Demo Submissions will also be issued. As per the standard IEEE policies, all submissions should be original, i.e., they should not have been previously published in any conference proceedings, book, or journal and should not currently be under review for another archival conference. We also highlight IEEE’s policies regarding plagiarism and self-plagiarism (http://www.ieee.org/publications_standards/publications/rights/ID_Plagiarism.html). --------------------- Review Criteria --------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, motivated by problems from current practice or applied research. Both theoretical and empirical contributions should be highlighted, substantiated by formal analysis, simulation, experimental evaluations, comparative studies, and so on. Appropriate references must be made to related work. Because SASO is a cross-disciplinary conference, we encourage papers to be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers should provide an indication of the real world relevance of the problem that is solved, including a description of the deployment domain, and some form of evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome, especially if they highlight insights into any aspect of design, implementation or management of self-* systems that would be of benefit to practitioners and the SASO community. All submissions will be rigorously peer reviewed and evaluated on the basis of the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. ------------------------------- Conference General Chair ------------------------------- Wolfgang Reif University of Augsburg, DE -------------------- Program Chairs -------------------- Giacomo Cabri, University of Modena and Reggio Emilia, IT Gauthier Picard, École Nationale Supérieure des Mines de Saint-Étienne, FR Niranjan Suri, Florida Institute of Human and Machine Cognition, FL, USA From marcvanzee at gmail.com Sun Jan 31 22:31:24 2016 From: marcvanzee at gmail.com (Marc van Zee) Date: Sun, 31 Jan 2016 21:31:24 +0000 Subject: "A Decade of ICR" - Symposium, March 17-18, 2016 Message-ID: ====================== Invitation: A Decade of ICR - Symposium, March 17-18, 2016 ====================== Dear all, Hard to imagine, but next year, the "Individual and Collective Reasoning" research group from the University of Luxembourg will have been flourishing for already 10 years. In order to celebrate this memorable event, and to discuss future plans, we are going to organize the Symposium “A Decade of ICR”, ===== Venue The symposium will take place March 17-18, 2016, in Luxembourg-City, where we hope for nice and interesting presentations and discussions. ===== Registration The symposium is open to all and there are no registration fees. To register send an e-mail to a.decade.of.icr at gmail.com. ===== Speakers (Provisional list) Antonic Bikakis, University College London (TBC) Richard Booth, Cardiff University Jan Broersen, Utrecht University Martin Caminada, Cardiff University Marcos Cramer, University of Luxembourg Juergen Dix, Institut für Informatik, TU Clausthal Dov Gabbay, King's College, London Giovanni Casini, University of Luxembourg Dragan Doder, University of Luxembourg Aldo Gangemi, CNR-ISTC Rome Joris Hulstijn, Delft University of Technology Wojtek Jamroga, Polish Academy of Sciences (TBC) Gabriella Pigozzi, University of Paris-Dauphine Francois Schwarzentruber, ENS Rennes Marija Slavkovik, University of Bergen Leon van der Torre, University of Luxembourg Srdjan Vesic, CNRS Lens Serena Villata, INRIA Sophia Antipolis Emil Weydert, University of Luxembourg ====== More information For more information, see the website of the symposium: http://icr.uni.lu/symposium2016/ The program will be available shortly. We look forward to seeing you in Luxembourg! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: