From alqithami at gmail.com Mon Feb 1 02:16:37 2016 From: alqithami at gmail.com (Saad Alqithami) Date: Sun, 31 Jan 2016 19:16:37 -0600 Subject: Extended Deadline: COOS @ 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 20, 2016 (*Extended*) 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 s.verberne at cs.ru.nl Mon Feb 1 10:49:59 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Mon, 1 Feb 2016 01:49:59 -0800 Subject: ECAI 2016 - Second call for papers Message-ID: SECOND CALL FOR PAPERS: ECAI 2016 22nd European Conference on Artificial Intelligence – ECAI 2016 ( www.ecai2016.org) 29 August - 2 September 2016, The Hague, The Netherlands The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI. Under the general theme of “AI for human values”, the 22nd edition of ECAI will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice, a location highly appropriate to the conference theme. The conference dates are 29 August - 2 September 2016, with the workshops taking place on 29-30 August. We invite the submission of papers for the technical programme of the 2016 European Conference on Artificial Intelligence (ECAI 2016). High-quality original submissions are welcome from all areas of Artificial Intelligence. The following list of topics is indicative; other topics are welcome. • Autonomous Agents and Multi-agent Systems • Constraints, Satisfiability, and Search • Knowledge Representation, Reasoning, and Logic • Machine Learning and Data Mining • Natural Language Processing • Planning and Scheduling • Robotics, Perception and Vision • Uncertainty in AI • Web and Knowledge-based Information Systems • Cognitive Modeling and Cognitive Architectures • Agent-based and integrated systems • Multidisciplinary topics relevant to artificial intelligence ECAI 2016 also welcomes contributions to a special topic: Artificial Intelligence for Human Values, addressing the ethical, legal, and societal impact of AI. == Important dates == • Paper submission: 15th April 2016 (23:59:59 CET) • Author feedback: 29th-31st May 2016 • Notification of acceptance/rejection: 7th June 2016 == Formatting == Submitted papers must be formatted according to the camera-ready style for ECAI'16 available at http://www.ecai2016.org/content/uploads/2015/10/ecai.tar.gz, and submitted electronically in PDF format through ecai2016.confmaster.net. Authorship is not anonymous. Papers are allowed eight (8) pages. An additional page containing the list of references is allowed---as long as this ninth page contains only references. Short papers, not exceeding two (2) pages, may be submitted for poster presentation and will be subjected to light review. Accepted short papers will not be published in the conference proceedings. Over-length submissions will be rejected without review. == Originality == Submissions must be original, and in particular should not previously have been formally published, accepted for publication, or be currently under review. Also, submissions must not be submitted elsewhere during the ECAI 2016 reviewing phase. These restrictions apply to journals and conferences, not to workshops and similar specialized presentations with a limited audience and without archival proceedings. == Submitting and reviewing == All long paper submissions will be subject to peer review by the ECAI 2016 Program Committee, and evaluated on the basis of: • significance of contribution • originality of contribution • relevance to ECAI • technical quality • presentation quality • scholarship Short paper submissions will be evaluated mostly on the basis of originality and potential impact. Submission and review of papers for ECAI 2016 will be managed via the ConfMaster system: ecai2016.confmaster.net. 2016 is a uniquely busy year for the AI reviewing community, because of the occurrence of IJCAI, ECAI and AAAI, all within months of each other. In order to ensure continuing high reviewing standards, ECAI will introduce two innovations into the reviewing process this year. First, ECAI 2016 provides a way to improve the continuity of the reviewing process. In cases where papers were previously rejected by IJCAI-2016, and have been revised for submission to ECAI, the ECAI process will enable authors to upload the IJCAI reviews of their papers and a response letter explaining changes in the revised submitted version, for consideration during the ECAI reviewing process. This innovation is intended to reduce the “lottery” effect which can happen when revised versions are reviewed by a new team of reviewers. Second, Senior Programme Committee members will have the power to Summarily Reject a paper if, according to the member's expert judgment, the paper falls too far below ECAI standards to justify further reviewing effort. This change to the reviewing procedure is intended to reduce the load on the reviewers. These innovations are being supported by the confmaster system, so authors should follow confmaster instructions on submission of their papers. == Proceedings and presentation == The proceedings of the conference will be published by IOS Press, and made freely available on the IOS website. The chairs of ECAI 2016 are currently in negotiation with a well known journal to seed a special issue of ECAI papers. The details of this arrangement will be confirmed shortly. The authors will be responsible for producing camera-ready copies of papers in PDF format, conforming to the ECAI'16 formatting guidelines for inclusion in the published proceedings of the conference. At least one author of each accepted paper is required to attend the conference to present the contribution. == Workshops and events == Separate calls are issued for workshop and tutorial proposals, as well as for contributions to PAIS 2016, the Prestigious Applications of Intelligent Systems conference, and STAIRS 2016, the Starting AI Researcher Symposium. This year ECAI will host AIckathon, the first hackathon for development of AI apps. Details of this competition, and rules for participation, will be issued separately. -- 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 olgasushka at gmail.com Mon Feb 1 19:21:26 2016 From: olgasushka at gmail.com (=?UTF-8?B?0J7Qu9GM0LPQsCDQodGD0YjQutC+0LLQsA==?=) Date: Mon, 1 Feb 2016 21:21:26 +0300 Subject: The 10th International Web Rule Symposium (RuleML) 2016 Call for Papers Message-ID: The 10th International Web Rule Symposium (RuleML) 2016 Call for Papers The annual International Web Rule Symposium (RuleML) is the leading international event in the field of rules and their applications. RuleML 2016, the tenth event in this series, will be held at Stony Brook University, USA. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards (e.g., RuleML, SWRL, RIF, PRR, SBVR, DMN, CL, Prolog); rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules. RuleML 2016 will host multiple special tracks, as well as hosting the DecisionCAMP 2016, 10th International Rule Challenge, and the 6th RuleML Doctoral Consortium. Objectives RuleML 2016 will bring together practitioners, interested in the theory and applications of rules in academic research, industry, engineering, business and other diverse application areas. It will provide a forum for stimulating co-operation and cross-fertilization between the many different communities focused on the research and development of rule-based systems. The symposium's areas of research and development have helped drive rapid progress in technologies for practical rule and event processing in distributed enterprise, intranets, and open distributed environments. Industry practitioners, rule-system providers, users of rules, technical experts and developers, and researchers who are exploring foundational issues, developing systems and applications, or using rule-based systems are invited to share ideas, results, and experiences. Industry Track The RuleML 2016 Industry Track targets businesses and the private sector interested in sharing, exploring, and learning about the use of rules and rule technologies for solving real life business problems. General Topics (not limited to): * Rules and automated reasoning * Rule-based policies, reputation, and trust * Reaction rules * Rules and the Web * Rule discovery from data * Fuzzy rules and uncertainty * Logic programming and nonmonotonic reasoning * Non-classical logics and the Web (e.g modal, especially deontic and epistemic, logics) * Hybrid methods for combining rules and statistical machine learning techniques (e.g., conditional random fields, Probabilistic Soft Logic) * Rule transformation and extraction * Vocabularies, ontologies, and business rules * Rule markup languages and rule interchange formats * Rule-based distributed/multi-agent systems * Rules, agents, and norms * Rule-based communication, dialogue, and argumentation models * Rule-based data integration * Vocabularies and ontologies for pragmatic primitives (e.g. speech acts and deontic primitives) * Pragmatic web reasoning and distributed rule inference / rule execution * Rules in online market research and online marketing * Applications of rule technologies in health care and life sciences * Rules and Human Language Technology * Industrial applications of rules * Rules and business process compliance checking * Standards activities related to rules * Rules and social media * General rule topics Submission Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=ruleml2016 as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Please upload all submissions in LNCS format. Please enter the track name as the first line in the keywords section. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The RuleML2016 special tracks will be published in the same book. Short papers may contain 1 extra page maximum for which there is a charge of US$200, while for long papers you are allowed 2 extra pages maximum for EACH of which there is a charge of US$200. Student Travel Support Some financial support is available to enable student authors to travel to the Symposium. These are awarded on a case-by-case basis. Proof of studentship will be required at time of registration. RuleML main track and special tracks dates: Register Title and Abstract in Easychair March 11, 2016  Paper Submission: March 18, 2016  Author Notification May 4, 2016  Camera Ready May 18, 2016  Conference: 6-9 July, 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ricardo.campos at ipt.pt Mon Feb 1 20:00:13 2016 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Mon, 1 Feb 2016 19:00:13 +0000 Subject: [Final CFP]: NewsIR Workshop@ECIR2016 In-Reply-To: References: Message-ID: Final Call for Papers *Deadline extended* ====================== First International Workshop on Recent Trends in News Information Retrieval (NewsIR’16) in conjunction with ECIR 2016 in Padua, Italy http://research.signalmedia.co/newsir16/ Important Dates ============ Submission deadline: 8th February 2016 Notification of acceptance: 28th February 2016 Camera-ready due: 11th March 2016 Workshop date: 20th March 2016 Overview ======= Mainstream media outlets are often among the most relevant, influential and powerful sources of information. This ranges from the influence that newspapers have on elections to the damage to a brand’s reputation that a negative article on a popular blog can cause. Information Retrieval (IR) applied to news has been a popular research area for decades but it would be a mistake to assume that news search has been ‘solved’. Not only can algorithms still be improved but also there are serious gaps in the state of the art that need to be addressed. In this workshop, we will stimulate discussion around new and powerful uses of IR applied to news sources. We invite contributions on any of the multiple IR tasks that can help solve real user problems in this area. Topics of Interest =============== Relevant topics of interest for NewsIR’16 include but are not limited to: – Integration of traditional and social media – Credibility, readability and controversy – Bias and plurality in news – News recommendation – Temporal aspects of news – Event and anomaly detection – Diversification – Summarization of multiple documents – Information Filtering – User-generated content (e.g., using comments to enhance news retrieval) – De-duplication and clustering of news articles – Author identification and disambiguation – Evaluation – Data Visualization Data challenge track ================ We have released a new data collection suitable for many research projects. This consists of c.1m recent news articles from a wide range of sources. One goal of the workshop is to define shared challenges using this data, such as news recommendation, deduplication, multi-document summarization, event detection and clustering. We encourage submissions describing experiments for retrieval tasks on the dataset. This includes, but not limited to: detecting and summarising events over time identifying bias in news sources to different topics and/or different entities; identifying influencers in media coverage and visualising information flow; sentiment analysis on media coverage. Further details, including instructions on how to obtain the data, can be found here: http://research.signalmedia.co/newsir16/signal-dataset.html Workshop structure =============== Authors of accepted papers will be invited to present their papers orally at the workshop and also to present them in an interactive poster session, designed to encourage greater discussion and engagement. There will be two keynote presentations from Dr. Jochen Leidner (Thomson Reuters) and Dr Julio Gonzalo (UNED - Universidad Nacional de Educación a Distancia ). The workshop will also include a panel discussion with members drawn from academia and industry. Confirmed members include Dr. Jochen Leidner (Thomson Reuters), Dr. Gabriella Kazai (Lumi) and Dr. Julio Gonzalo (UNED). This discussion will focus on the commonalities and differences between the communities as they face related challenges in news-based information retrieval. Submission Details =============== We welcome submissions of technical papers (4 pages), data challenge, demos and position papers (2 pages). All papers should be formatted in the ACM double-column style. Submissions will be peer-reviewed by at least three members of the programme committee. We plan to publish the papers as CEUR Workshop Proceedings. Further information about the submission can be found here: http://research.signalmedia.co/newsir16/cfp.html Organising Committee ================= – Miguel Martinez-Alvarez, Signal Media Ltd. – Udo Kruschwitz, University of Essex – Gabriella Kazai, Lumi – Frank Hopfgartner, University of Glasgow – David Corney, Signal Media Ltd. – Ricardo Campos, Polytechnic Institute of Tomar / LIAAD-INESC TEC – Dyaa Albakour, Signal Media Ltd. Program Committee ================ – Ramkumar Aiyengar, Bloomberg, UK – Omar Alonso, Microsoft, USA – Alejandro Bellogin Kouki, UAM, Spain – Horatiu-Sorin Bota, University of Glasgow, UK – Igor Brigadir, Insight Centre for Data Analytics, Ireland – Toine Bogers, Aalborg University Copenhagen (AAU-CPH), Denmark – Marco Bonzanini, Bonzanini Consulting Ltd – Ivan Cantador, UAM, Spain – Arjen De Vries, Centrum Wiskunde & Informatica (CWI), Netherlands – Ernesto Diaz Aviles, IBM Research, Ireland – Angel Castellanos Gonzalez , UNED, Spain – Julio Gonzalo, UNED, Spain – David Graus, University of Amsterdam, Netherlands – Jon Atle Gulla, NTNU, Norway – Charlie Hull, Flax, UK – Alípio Jorge, University of Porto / LIAAD-INESC TEC, Portugal – Jussi Karlgren, Gavagai, Sweden – Marijn Koolen, University of Amsterdam, Netherlands – David D. Lewis, David D. Lewis Consulting, USA – Stefano Mizzaro, University of Udine, Italy – Elaheh Momeni, University of Vienna, Austria – Miles Osborne, Bloomberg, UK – Filipa Peleja, Yahoo! Research, Spain – Vassilis Plachouras, Thomson Reuters, UK – Barbara Poblete, University of Chile, Chile – Muhammad Atif Qureshi, National University of Ireland, Ireland – Paolo Rosso, Universidad Politecnica de Valencia, Spain – Alan Said, Recorded Future, Sweden – Damiano Spina, RMIT, Australia – Jeroen Vuurens, TU Delft, Netherlands – Colin Wilkie, University of Glasgow, UK – Arjumand Younus, National University of Ireland, Ireland – Arkaitz Zubiaga, University of Warwick, UK --------------------------------------------------------------------------------------- Ricardo Campos Assistant Professor – ICT Department Polytechnic Institute of Tomar at Tomar, Portugal Researcher LIADD – INESC TEC at University of Porto, Portugal e-mail: ricardo.campos at ipt.pt e-mail: ricardo.campos at inesctec.pt Web: http://www.ccc.ipt.pt/~ricardo --------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nsmattei at gmail.com Tue Feb 2 00:58:00 2016 From: nsmattei at gmail.com (Nicholas Mattei) Date: Tue, 2 Feb 2016 10:58:00 +1100 Subject: [Deadline Extension and Invited Speaker] CFP: EXPLORE @ AAMAS 2016: The 3rd Workshop on Exploring Beyond the Worst Case in Computational Social Choice Message-ID: [Apologies for multiple postings.] *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 *10 May 2016* *Singapore* http://www.explore-2016.preflib.org/ *We are excited to announce that Tuomas Sandholm will be giving an invited talk at EXPLORE-2016.* 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 are excited to announce that Tuomas Sandholm will be giving an invited talk at EXPLORE-2016. Important Dates --------------- Paper Submission Deadline: 7 February 2016 Author Notification: 1 March 2016 Conference and Workshop: 10 May 2016 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 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. 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 N.Bulling at tudelft.nl Tue Feb 2 17:48:09 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Tue, 2 Feb 2016 16:48:09 +0000 Subject: Extended Deadline: Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS 2016) References: Message-ID: <92037533-A62A-4FEE-9E8D-F253D6491379@tudelft.nl> ======================================================== 9th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2016 *** (Extended Deadline) (satellite workshop of AAMAS 2016) May 10, 2016, Singapore http://ii.tudelft.nl/~nils/lamas2016/ Final Call for Papers and Extended Deadline ======================================================== ** Deadline Extended to February 15, 2016 ** Key features of LAMAS 2016: * Publication of best paper and best visionary paper (of each AAMAS workshop) * Post-proceedings in the form of a planned special issue of STUDIA LOGICA * Extended abstracts of relevant work that has been published or has been accepted for publications in the last 12 month are welcome (this includes abstracts of full or short AAMAS 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 15, 2016 *** Extended Deadline *** 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 grlmc at grlmc.com Thu Feb 4 02:17:05 2016 From: grlmc at grlmc.com (GRLMC) Date: Thu, 04 Feb 2016 02:17:05 +0100 Subject: WebST 2016: early registration 14 February Message-ID: <545102060a010b040753550b0d5702510153025702500e0752070d0204075b555c500c0e035809560002570454@grlmc_ip-zone_com-6> WebST 2016: early registration 14 February*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: February 14, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, 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:   Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), tba   Amit P. Sheth (Wright State University), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Marc Najork (Google), [introductory] Search Engine Architecture   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/Registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions of accommodation will be available on the webpage in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Anna.Kobusinska at cs.put.poznan.pl Fri Feb 5 10:53:40 2016 From: Anna.Kobusinska at cs.put.poznan.pl (=?UTF-8?Q?Anna_Kobusi=c5=84ska?=) Date: Fri, 5 Feb 2016 10:53:40 +0100 Subject: IEEE SC2 2016 - CFP: Research Track, Works-in-Progress, Industry & Workshop Track, Demo & Poster In-Reply-To: <56B46DD2.6000203@cs.put.poznan.pl> References: <56B46DD2.6000203@cs.put.poznan.pl> Message-ID: <56B47124.2070003@cs.put.poznan.pl> The 6th IEEE International Symposium on Cloud and Service Computing（IEEE SC2 2016） http://grid.chu.edu.tw/sc2-2016 Fiji, December 8-10, 2016 --------------------------- CALL FOR PAPERS --------------------------- The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and SOA. Services computing is a new cross-discipline subject that covers the science and technology needed to bridge the gap between business services and IT services. In cloud computing, IT-related capabilities and resources are provided as services, via the Internet and on-demand, accessible without requiring detailed knowledge of the underlying technology. SC2 2016 is an important forum for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IT-driven cloud computing technologies and services, as well as to identify emerging research topics and define the future directions of cloud and services computing. IEEE SC2 2016 will be held on Dec. 8-10, 2016 in Fiji. Topics of interest include, but are not limited to: - Cloud architecture - Cloud OS, middleware, and toolkits - Storage architecture - Big data infrastructure, systems, methodologies, and applications - Virtualization techniques - Resource provision, monitoring, and scheduling - Privacy and access control for cloud computing - Performance evaluation and modeling measurement for cloud computing - Programming models for building cloud applications - Networking in cloud computing - Security, privacy and trustworthy in clouds - Security, privacy and trustworthy for service oriented architectures and systems - Energy efficient hardware and software solutions - High availability and reliability - Large scale cloud applications - Internet/web computing and data mining - Volunteer and utility computing - Green and pervasive computing - Service oriented architecture - Discovery of services and data in cloud computing infrastructures - Foundations of services computing - Services-centric business models - Business process integration and management --------------------------------------- PUBLICATION HIGHLIGHTS --------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - EI Engineering Index - ACM Digital Library - dblp - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. ---------------------------- IMPORTANT DATES ---------------------------- Tutorial / Workshop / Special Session Proposal Due: MAY 10, 2016 Paper Submission (Research Track): AUG 10, 2016 Paper Submission (Works-in-Progress/workshop): AUG 30, 2016 Author Notification (Research/workshop/WIP): SEP 15, 2016 Paper Submission (Demo /Poster /Special session): SEP 20, 2016 Author Notification (Poster / Demo): SEP 20, 2016 Camera ready / registration deadline: SEP 30, 2016 --------------------------------------------- SUBMISSION and PUBLICATION --------------------------------------------- Papers need to be prepared according to the IEEE format, and submitted in PDF format via the IEEE SC2 2016 submission site: https://easychair.org/conferences/?conf=ieeesc22016 IEEE formatting information: http://www.ieee.org/conferences_events/conferences/publishing/templates.html - Proposals for organizing tutorials, workshops and special sessions need to be submitted to the Tutorials, Workshops and Special Sessions Chairs, respectively. A proposal should include title, theme, scope and main presenters/organizers. - Research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. - Works-in-Progess (WIP) (6 pages) papers are expected to present either work currently in progress or less developed but highly innovative ideas. - Demo/Poster papers (4 pages) must describe working systems and be related to SC2. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/proposals need to be submitted to the Demo/Poster Chair. - Workshop and Special Session papers (6 pages) need to be submitted to the corresponding workshops and special sessions. ------------------------------- Organizing Committees ------------------------------- General Chairs Chung-Ta King, National Tsing Hua University, Taiwan Hong Shen, University of Adelaide, Australia Hamid R. Arabnia, The University of Feorgia, USA General Executive Chairs Yang Xiang, Deakin University, Australia Shawkat Ali, The University of Fiji, Fiji Program Chairs Lizhe Wang, Chinese Academy of Sciences, China Saeid Abolfazli, YTL Communications and Xchanging, Malasysia Anna Kobusinska, Poznan University of Technology, Poland Workshop Chairs Guilin Chen, Chuzhou University, China Qing Li, City U. of Hong Kong, Hing Kong Demo/Poster Chair Gwan-Hwan Hwang, National Taiwan Normal University, Taiwan Special Session Chair Yue-Shan Chang, National Taipei University, Taiwan Xingde Jia, Texas State University, USA Award Chair Sheng-Lung Peng, National Dong Hua University, Taiwan Tutorial/Panel Chair Victor Chang, Leeds Beckett University, UK International Liaison & Publicity Chair Hsi-Ya Chang, NCHC, Taiwan Carson Leung, University of Manitoba, Canada Raj Kettimuthu, Argonne National Laboratory, USA Shangguang Wang, BUPT, China Koji Nakano, Hiroshima University, Japan Rynson Lau, City U. of Hong Kong, Hong Kong Publication Chair Weiwei Lin, South China University of Technology, China Local Arrangement Chair Rohitash Chandra, The University of The South Pacific Jesmin Nahar, The University of Fiji, Fiji Please visit the IEEE SC2 2016 website http://grid.chu.edu.tw/sc2-2016/tpc.php for the complete listing of organizing committee and TPC members. From paliourg at iit.demokritos.gr Fri Feb 5 19:01:21 2016 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Fri, 5 Feb 2016 20:01:21 +0200 Subject: BioASQ new tasks about to start Message-ID: <027601d1603f$38cbedf0$aa63c9d0$@iit.demokritos.gr> Apologies for cross-posting *** BioASQ challenge on large-scale biomedical semantic indexing and question answering *** part of the Joint Shared Task of the ACL 2016 BioNLP workshop, Humbold University, Berlin, Germany, August 12: BioNLP workshop, August 13: Joint Shared Task workshop Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq BioNLP site: http://aclweb.org/aclwiki/index.php?title=BioNLP_Workshop The BioASQ challenge consists of two different tasks (Task 4a and Task 4b). If you are interested in any of the following areas: * Large-scale and hierarchical classification * Machine learning * Semantic Indexing, semantic similarity then you may want to participate in BioASQ Task 4a (large-scale biomedical semantic indexing). More information at http://bioasq.org/participate/challenges#Task4a. If you are interested in any of the following areas: * Question answering from unstructured and structured data * Single and multi-document summarization * Information retrieval and passage retrieval * Semantic indexing, semantic similarity and reasoning * Machine learning, classification, learning to rank * Named-entity recognition and disambiguation * Information extraction, fact checking, relation extraction * Textual entailment * Natural-language generation then you may want to participate in BioASQ Task 4b (biomedical semantic QA). More information at http://bioasq.org/participate/challenges#Task4b. Important dates: * Task 4a: You can join anytime from February 8, 2016 onwards. New data sets will be released weekly. * Task 4b: You can join on ANY of the following dates: - March 9, 2016 - March 23, 2016 - April 6, 2016 - April 20, 2016 - May 4, 2016. Detailed schedule at http://bioasq.org/participate/schedule Training data for both tasks available at http://participants-area.bioasq.org/ From willer at uchicago.edu Mon Feb 8 13:17:48 2016 From: willer at uchicago.edu (Malte Willer) Date: Mon, 8 Feb 2016 06:17:48 -0600 Subject: CFP DEON 2016 Message-ID: <539CA310-257D-4989-891D-E96DF65570BE@uchicago.edu> [Apologies for cross-posting] The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. [http://www.deon2016.org ] In addition to these general themes, DEON 2016 will encourage a special focus on the topic: “Reasons, Argumentation and Justification” Important Dates Abstract Submission Deadline: February 23, 2016 Paper Submission Deadline: March 1, 2016 Notification: May 1, 2016 Camera Ready: June 1, 2016 General Themes The Program Committee invites papers concerned with the following topics (non-exclusive list): • the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic • the formal analysis of normative concepts and normative systems • the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability • the normative aspects of protocols for communication, negotiation and multi-agent decision making • the formal analysis of the semantics and pragmatics of deontic and normative expressions in natural language • the formal representation of legal knowledge • the formal specification of normative systems for the management of bureaucratic processes in public or private administration applications of normative logic to the specification of database integrity constraints • game theoretic aspects of deontic reasoning • emergence of norms • deontic paradoxes Special Focus DEON 2016’s special focus is “Reasons, Argumentation and Justification”. Reasons play a prominent role in the normative study of action, belief, intention, and the emotions, as well as in everyday justification and argumentation. Recent years have seen numerous fruitful exchanges between deontic logicians, computer scientists, and philosophers on the nature of reasons and their role in practical and theoretical deliberation. There have also been multiple applications of formal frameworks for the study of reasons in areas of interest to linguists and philosophers of language. The goal of DEON 2016’s special focus is to continue this positive trend by encouraging submissions that explore the significance of deontic logic for the study of reasons and their connection with justification and argumentation (and vice versa). Topics of interest in this special theme include, but are not limited to: • the role of general (though perhaps defeasible) principles in justification and argumentation • the relation between practical and epistemic reasons • the formal analysis of reasons and of reasoning about reasons • the role of justification in multi-agent systems • the connection between justification and argumentation We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics) on these specific topics. Submission Details Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of these topics. The paper should be in English, and should be no longer than about 15 pages when formatted according to the 12pt LaTeX specification that will be sent to all authors of accepted papers. The first page should contain the full name and contact information of at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using Easychair: https://www.easychair.org/conferences/?conf=deon2016 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. Publication • The proceedings will be published with College Publications. Copies of the proceedings will be provided to all participants. • In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. ------------------------------------- Malte Willer Assistant Professor Department of Philosophy The University of Chicago 1115 E. 58th St. Chicago, IL 60637 Phone: +1 773-702-8598 Fax: + 1 773-702-5259 E-mail: willer at uchicago.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : DEON 2016 CFP.pdf Dateityp : application/pdf Dateigröße : 105698 bytes Beschreibung: nicht verfügbar URL : -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Tue Feb 9 00:46:23 2016 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Mon, 8 Feb 2016 23:46:23 +0000 Subject: AAMAS-2016 Workshops, Demos & Doctoral Mentoring (2CP & INFO) Message-ID: ============================================================ AAMAS-2016 WORKSHOPS, DEMOS & DOCTORAL MENTORING (INFO & 2CP) ============================================================ ------------------------------------------ AAMAS-2016 WORKSHOPS ------------------------------------------ The goal of the AAMAS-2016 Workshops is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2016 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. LIST OF WORKSHOPS W1. Seventh Workshop on Cooperative Games in Multiagent Systems (CoopMAS) W2. Trust in Agent Societies (TRUST) W3. Security and Multi-agent Systems (SecMAS) W4. Autonomous Robots and Multirobot Systems (ARMS) W5. Optimization in Multi-Agent Systems (OptMAS) W6. Exploring Beyond the Worst Case in Computational Social Choice (EXPLORE) W7. Emergent Intelligence on Networked Agents (WEIN) W8. Issues with Deployment of Emerging Agent-based Systems (IDEAS) W9. Multi-Agent-Based Simulation (MABS) W10. Engineering Multi-Agent Systems (EMAS) W11. Adaptive and Learning Agents (ALA) W12. Coordination, Organizations, Institutions and Norms in Agent Systems (COIN) W13. Creative Agents (CREAS) W14. Agent & Data Mining Interaction (ADMI) W15. Agent-based Complex Automated Negotiations (ACAN) W16. Collaborative Online Organizations (COOS) W17. Collaborative Agents Research & Development (CARE) - CARE for Digital Education W18. Agent Based Modelling of Urban Systems (ABMUS) W19. Logical Aspects of Multi-Agent Systems (LAMAS) W20. TRANSportation applications of Equilibrium, incentives and game Theory (TRANSET) IMPORTANT DATES - Deadlines: Each workshop has its own deadline. Some of these deadlines are currently being extended, please visit the relevant workshop page for further details. - Workshop days: May 9-10, 2016 POST_PROCEEDINGS The most 'visionary paper' will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Additionally, the 'best paper' will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. WORKSHOP CHAIRS Nardine Osman, Artificial Intelligence Research Institute (IIIA-CSIC) Carles Sierra, Artificial Intelligence Research Institute (IIIA-CSIC) WORKSHOPS WEBSITE http://sis.smu.edu.sg/aamas2016?itemid=10961 --------------------------------- AAMAS-2016 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. SUBMISSION REQUIREMENTS Submissions accepted for the demonstration session will be advertised on the AAMAS website. Each Demo submission must consist of a 2-page paper (excluding reference section) in which the authors describe the system to be demonstrated and video or PPT or other media explaining how the demo will look like. Accepted Demos will have their paper included in the AAMAS proceedings. IMPORTANT DATES - Submission deadline : February 20, 2016 - Notification of acceptance/rejection : March 5, 2016 - Camera-ready paper : March 11, 2016 Demo Chairs: - Ann Nowe, Vrije Universiteit Brussel - Shih-Fen Cheng, Singapore Management University Contact the Demos Chairs at aamas2016.demos at gmail.com More information at AAMAS'16 website -> demos: http://sis.smu.edu.sg/aamas2016?itemid=11256 ---------------------------------------------------------------------------- AAMAS 2016 DOCTORAL MENTORING PROGRAM ---------------------------------------------------------------------------- The AAMAS 2016 doctoral mentoring program is intended for Ph.D. students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: 1) To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, provide feedback on research, and help the student form new contacts. 2) To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. 3) To provide students with new contacts and professional networking opportunities. The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentees prior to the conference, as well as a one day doctoral symposium. SUBMISSION REQUIREMENTS We encourage submissions from Ph.D. students at advanced stages of their research within the Autonomous Agents and Multi-Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Each submission should include a set of documents from the student and a recommendation letter from the advisor. The submission package consists of: 1) A two-page extended abstract of the student's thesis (in the AAMAS submission format) 2) A personal statement (one page) in any single column format that includes: country and institute of study, citizenship and gender, area of study (provide 1-3 keywords), whether you have participated in the AAMAS DMC before, one or two names of suggested mentors, 3) A short (2-page) resume (CV) 4) A recommendation letter from the advisor. Student submissions should be done through EasyChair: https://easychair.org/conferences/?conf=aamasdc2016 Advisor recommendation letters should be sent directly to aamasdmc16 at gmail.com. IMPORTANT DATES Feb 9, 2016: Submission package due Mar 1, 2016: Acceptance notification Mar 13, 2016: Camera-ready deadline May 9 or 10, 2016: Doctoral mentoring symposium For questions, please contact the doctoral mentoring co-chairs: Maria Gini University of Minnesota gini at cs.umn.edu Gita Sukthankar University of Central Florida gitars at eecs.ucf.edu From demri at lsv.ens-cachan.fr Tue Feb 9 07:07:18 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Tue, 9 Feb 2016 07:07:18 +0100 Subject: AiML-2016: 2ND CALL FOR PAPERS Message-ID: <9DCE8E9F-93D4-4F2C-8353-3157FE9F34B9@lsv.ens-cachan.fr> (sorry for multiple copies) AiML-2016: 2ND 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) Guram Bezhanishvili (New Mexico State University) 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) Valeria de Paiva (Nuance, USA) David Fernandez-Duque (Instituto Tecnológico Autónomo de México) Melvin Fitting (Lehman College, CUNY, USA) David Gabelaia (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) Sara Negri (University of Helsinki) 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) Viorica Sofronie-Stokkermans (Universitat Koblenz-Landau) Thomas Studer (Universität Bern) Rineke Verbrugge (Groningen, NL) 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From morozov at cplire.ru Tue Feb 9 16:23:39 2016 From: morozov at cplire.ru (Alexei A. Morozov) Date: Tue, 9 Feb 2016 18:23:39 +0300 Subject: "Smart Contracts, Blockchain, and Rules" Track Message-ID: <356246958.20160209182339@cplire.ru> "Smart Contracts, Blockchain, and Rules" Track http://2016.ruleml.org/calls/blockchain-enabled-smart-contracts-and-rules at the 10th International Web Rule Symposium, (RuleML-2016) http://2016.ruleml.org Stony Brook, NY, July 6-9, 2016. Smart Contracts have emerged as means to digitalize and (semi-)automatically enforce (legal) contracts, backed by blockchain technologies --- a set of recent technologies that appeared the first time in the context of the cryptocurrencies bitcoin, but are now being transitioned to different domains. Smart contracts are envisioned to essentially be user-defined programs that specify rules governing transactions, and that are enforced by a distributed network of peers. Traditional rule technologies have a high relevance in the context of Smart Contracts - they can be used for specification, reasoning, and enforcement of smart contracts, among others. At the same time, Smart Contracts represent a potential new application area of traditional rule technologies. The goal of this track is to identify opportunities and challenges for use of rule technologies in Smart Contracts, eventually shaping a better understanding of what Smart Contracts actually are and what they could be used for. During the last years the International Web Rule Symposium (RuleML) has been a leading international conference on research, applications, languages and standards for rule technologies. Due to the relevance of rules in Smart Contracts, it is natural that the emerging area of Smart Contracts finds RuleML a relevant venue for dissemination and that RuleML uses this opportunity to expand the applicability of rule technologies. Topics (not limited to): Design of Smart Contracts Rule-based specification of Smart Contracts Declarative process specification in Smart Contracts Formalization of Smart Contracts Protocols for Smart Contracts Reasoning about Smart Contracts Distribution, sharing and publication of Smart Contracts Deployment and enforcement of Smart Contracts Programming models for Smart Contracts Smart Contracts and Blockchains Smart Contracts and legal rules and regulations Legal systems, Blockchains, and Smart Contracts Identity and reputation management in Smart Contracts Rules and blockchains Smart Contracts Applications and Use Cases Smart Contracts technologies (e.g. Ethereum, Eris, Codius, etc.) RuleML and Smart Contracts Submission Papers must be original contributions written in English and must be submitted at http://www.easychair.org/conferences/?conf=ruleml2016 (please enter the track name as the first line in the keywords section) as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Please upload all submissions in LNCS format. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The RuleML2016 special tracks will be published in the same book. Short papers may contain 1 extra page maximum for which there is a charge of US$200, while for long papers you are allowed 2 extra pages maximum for EACH of which there is a charge of US$200. A selection of the best papers from all tracks will be invited to be revised and extended for the post-conference publication in a Special Issue of TPLP (Theory and Practice of Logic Programming). RuleML main track and special tracks dates: * Register Title and Abstract in Easychair March 11, 2016 * Paper Submission: March 18, 2016 * Author Notification May 4, 2016 * Camera Ready May 18, 2016 * Conference: 6-9 July, 2016 Organizers Sudhir Agarwal, Stanford University, USA Alex Oberhauser, Sigimera, USA Dumitru Roman, SINTEF / University of Oslo, Norway Program Committee (confirmed): Sudhir Agarwal, Stanford University, USA Andrea Bracciali, University of Stirling, UK Primavera De'Filippi, Harvard Berkman Center & COALA, USA Margaret Hagan, Stanford University, USA Steffen Lamparter, Siemens, Germany Andrew Miller, University of Maryland, USA Sergey Nazarov, SmartContract, USA Alex Norta, Tallinn University of Technology, Estonia Alex Oberhauser, Sigimera, USA Monica Palmirani, University of Bologna, Italy Gareth W. Peters, University College London, UK Dumitru Roman, SINTEF / University of Oslo, Norway Giovanni Sarto, European University Institute of Florence, CIRSFID - University of Bologna, Italy Melanie Swan, Singularity University, USA Emilio Tuosto, University of Leicester, UK From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Feb 9 23:35:10 2016 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Tue, 9 Feb 2016 22:35:10 +0000 Subject: Open Access Game Theory Book by Giacomo Bonanno Message-ID: Dear Reader, Giacomo Bonanno recently completed a textbook on Game Theory (with over 150 solved exercises). He decided to make it Open Access. It can be downloaded for free at the link below http://faculty.econ.ucdavis.edu/faculty/bonanno/GT_Book.html Happy reading! Wiebe van der Hoek ------------------------------------------------------------------------------------------------------ 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 liv.ac.uk From epontell at cs.nmsu.edu Thu Feb 11 05:37:00 2016 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Wed, 10 Feb 2016 21:37:00 -0700 Subject: CFP: IJCAI 2016 Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS 2016) Message-ID: <7F3FB13B-7B43-453A-AFF9-E068105BAE13@cs.nmsu.edu> FIRST CALL FOR PAPERS (please accept our apologize, if you received it from more sources) -------------------------------------------------------------------------------- IJCAI 2016 Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS 2016) July 9-11, 2016, New York, U.S.A. http://ktiml.mff.cuni.cz/~bartak/KnowProS2016/ -------------------------------------------------------------------------------- Despite recent attempts in various subareas of AI to integrate technologies to solve complex problems such as autonomous cars, there are still gaps between research communities that prevent efficient transfer of knowledge. For example, knowledge representation techniques focus on formal semantics and flexibility of modeling frameworks and put less emphasis on actual problem solving that requires efficient tools. Other communities such as planning and search put emphasis on efficiency of problem solving, but less attention is given to how the real problem is modeled, the connection between modeling and efficiency of problem solving, and the capability of the models to support other important features like plan revision and adaptation. This workshop attempts to bridge these particular communities with the goal to exchange information leading to more efficient problem solving starting with the the problem requirements and finishing with the solved problem. ********************* *** Workshop topics: Formal problem modeling is a critical step during problem solving. A good modeling framework should be flexible enough to describe important properties of problems solved and should allow application of efficient problem solving techniques. This workshop attracts papers at the frontier between formal problem modeling and problem solving. Papers should see the formal models from the perspective of problem solving and vice versa — problem solving techniques are seen in relation to models of the problem. For example, the paper can discuss the relation between planning domain models and planning algorithms or show how to enhance the domain model by extra information such as control knowledge. Papers discussing methods on how to obtain information that is useful for efficient problem solving are welcome. We are in particular interested in papers addressing some of the following questions. How do the formal models relate to efficiency of problem solving? How do various modeling frameworks compare from the perspective of problem solving? How can the model be acquired? How can the model be verified and validated? How can the formal model be reformulated to get an efficiently-solvable model? How can the solution be checked with respect to the model? How does the model evolve in time? How can the model support solution revisions at execution time? Application papers are also welcome, if they highlight the relation between the formal model of the problem and the solving approach. Description of specific models for specific problems is also possible, if the particular modeling techniques are studied from the perspective of problem solving. Possible topics of papers: - Modeling approaches (problem modeling, knowledge engineering) - Formalisms to describe (real-life) problems - Languages for problem description - Abstraction - Ontologies - Relations between modeling and solving - Automated transformations between formal models - Problem re-formulation - Formats for specification of heuristics, parameters and control knowledge for solvers - Validation of models and solutions - Visualization of models - Automated model acquisition - Tools and applications - Examples of particular modeling techniques ********************* *** Submission Procedure: Submitted papers must be formatted according to IJCAI guidelines (http://ijcai-16.org/downloads/FormattingGuidelinesIJCAI-16.zip) and submitted electronically through the KnowProS 2016 paper submission site at EasyChair (https://easychair.org/conferences/?conf=knowpros2016). Authors are required to submit their electronic papers in PDF format. Submitted technical papers should be no longer than six pages in total (if the length of your paper is longer, please contact the organizers prior submission). Include your names and affiliations (but no page numbers) in the submission. At least one author of each accepted paper is required to attend the workshop to present the work. ********************* *** Important Dates: Submission: April 18, 2016 Notification: May 23, 2016 Camera-ready: June 6, 2016 Workshop: July 9-11, 2016 (one day) ********************* *** Organizers: Roman Barták, Charles University in Prague, Czech Republic Lee McCluskey, University of Huddersfield, UK Enrico Pontelli, New Mexico State University, USA ********************* *** Program Committee: Marcello Balduccini, Drexel University Chitta Baral, Arizona State University Roman Barták, Charles University in Prague Mark Boddy, Adventium Labs Luis Castillo, University of Granada Amedeo Cesta, CNR - National Research Council of Italy Lukáš Chrpa, University of Huddersfield Marc Denecker, K.U.Leuven Patrick Doherty, Linkoping University Agostino Dovier, Universita degli Studi di Udine Esra Erdem, Sabanci University Jeremy Frank, NASA Ames Simone Fratini, European Space Agency - ESA/ESOC Michael Gelfond, Texas Tech University Patrik Haslum, Australian National University Tomi Janhunen, Aalto University Christopher Kiekintveld, University of Texas at El Paso Sven Koenig, University of Southern California Ugur Kuter, Smart Information Flow Technologies Yuliya Lierler, University of Nebraska at Omaha Daniele Magazzeni, King's College London Lee McCluskey, University of Huddersfield Sheila McIlraith, University of Toronto Enrico Pontelli, New Mexico State University Scott Sanner, NICTA Tran Son, New Mexico State University Torsten Schaub, University of Potsdam Tiago Stegun Vaquero, Caltech & MIT Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Hankz Hankui Zhuo, Sun Yat-sen University From martingi at ifi.uio.no Thu Feb 11 14:44:54 2016 From: martingi at ifi.uio.no (Martin Giese) Date: Thu, 11 Feb 2016 14:44:54 +0100 Subject: RuleML 2016 track: Rule- and Ontology-Based Data Access and Transformation Message-ID: <16D4CA30-364B-4883-906F-A037BF49D4FA@ifi.uio.no> *Apologies for cross-postings* ------------------------------ RuleML 2016 Wednesday, 6 July – Saturday, 9 July, 2016, Stony Brook University, New York, USA http://2016.ruleml.org/ *** CALL FOR SPECIAL TRACK PAPERS: *** *** Rule- and Ontology-Based Data Access and Transformation *** http://2016.ruleml.org/calls/rule--and-ontology-based-data-access-and-transformation-track ------------------------- Ontologies and rule systems, isolated and in combination, have established themselves as viable approaches to a number of pressing IT problems: giving both humans and client software (e.g. data analysis) intuitive, domain-oriented, uniform access to data; integrating multiple data sets with heterogeneous schemas; migrating data from legacy systems, etc. This track solicits contributions on theoretical and practical aspects of rule- and ontology-based data access and transformation. TOPICS OF INTEREST include, but are not limited to: * Logics and rule languages of particular interest to data access or transformation * Tractability and intractability results for rule- and ontology-based systems in the presence of large amounts of data * Interactions between rules and ontologies in the presence of large amounts of data * Rule- and ontology-based data integration * Rules & reasoning for Linked Data * Rule and ontology-driven user interfaces * Implementations of rule- and ontology-based data access and transformation systems systems * Reports on applications and lessons learnt IMPORTANT DATES: * Abstract submission: March 11, 2016 * Paper submission: March 18, 2016 * Author notification: May 4, 2016 * Camera ready: May 18, 2016 * Conference:: 6-9 July, 2016 From alqithami at gmail.com Fri Feb 12 08:54:29 2016 From: alqithami at gmail.com (Saad Alqithami) Date: Fri, 12 Feb 2016 00:54:29 -0700 Subject: Final CFP: Collaborative Online Organizations workshop at AAMAS 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 * Computational models of organizations * Digital communities and virtual organizations * Distributed technologies for group collaboration * Globalized networks and grid alliances * Human/robot collaboration * Internet of Agents * 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 20, 2016 (*Extended*) Author Notification: March 7, 2016 - [ Submission ]: The workshop welcomes contributions of full as well as position/short papers. Authors interested in contributing with already published work are allowed to submit a short abstract for the presentation-only option. For the 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 giacomo.cabri at unimore.it Fri Feb 12 14:39:02 2016 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Fri, 12 Feb 2016 14:39:02 +0100 Subject: DEADLINE EXTENSION: 14th Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) @ WETICE 2016 Message-ID: <56BDE076.6030503@unimore.it> *** SUBMISSION DEADLINE EXTENDED TO FEBRUARY 25 *** Call for Papers 14th Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) @ IEEE WETICE2016 June 13 - 16, 2016 Paris, France http://didattica.agentgroup.unimore.it/ACEC2016/ *** 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 (EXTENDED): February 25, 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 |----------------------------------------------------| SASO’16 - Tenth IEEE International Conference on Self-Adaptive and Self Organizing Systems Augsburg, Germany, 12-16 September 2016 @SASO2016Conf http://uni-augsburg.de/saso2016 – Submit! Announce! Participate! From newsletter at saso-conference.org Fri Feb 12 14:51:17 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Fri, 12 Feb 2016 14:51:17 +0100 Subject: Joint Call for Workshop Proposals of SASO 2016 and ICCAC 2016 (FAS*W) Message-ID: ************************************************************************* FAS*W 2016 (SASO and ICCAC) Call For Workshop Proposals International Workshops on Foundations and Applications of Self-* Systems (FAS*W) Augsburg, Germany, September 12 & 16, 2016 http://fasstar2016.informatik.uni-augsburg.de/ http://iccac2016.se.rit.edu/ http://uni-augsburg.de/saso2016 @SASO2016Conf ************************************************************************* The FAS* 2016 Steering Committee invites proposals for the Workshop Program to be held along with the technical conferences SASO 2016 and ICCAC 2016. FAS*W workshops will provide a meeting for presenting novel ideas in a less formal and possibly more focused way than the conferences themselves. Their aim is to stimulate and facilitate active exchange, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Self-Adaptive and Self-Organizing Systems as well as Cloud and Autonomic Computing. To motivate the discussion and participation of all the workshop attendants, we encourage organizers to get away of the typical "mini-conference" format of a workshop, and include more discussion sessions, panels, etc. Members from all areas of the SASO and ICCAC communities are invited to submit workshop proposals for review. Workshops on global challenges, applications or on new and emerging topics are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Optionally, if desired by the organizers, workshop proceedings can be published through IEEE. Attendance of workshops will be included in the registration fee for the main SASO/ICCAC conference. ------------------------------------------------------------------------- Important Dates ------------------------------------------------------------------------- - Workshop proposal submission deadline: April 4, 2016* - Workshop acceptance notification: April 11, 2016* - CfP submission deadline: April 20, 2016 - Workshop paper submission deadline: July 4, 2016 - Workshop paper acceptance notification: July 17, 2016 - Early registration Deadline: TBD - Camera-ready papers due: July 22, 2016 - Workshop notes submission to WS chairs: July 26, 2016 - Workshops dates: September 12 & 16, 2016 * Please submit your workshop proposals as soon as possible (i.e. before April 4)! We will try to decide earlier on workshop acceptance in order to give the organizers more time to solicit papers. ------------------------------------------------------------------------- FAS*W 2016 Workshops - Requirements for Submission ------------------------------------------------------------------------- Proposals for workshops should be separated in two parts. The first part should be organized as preliminary call for papers or call for participation, depending on the intended format of the workshop, with a maximum of two pages and contain the following information: - Title of the workshop. - A brief technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conferences. Please specify which of the two main conferences the workshop is assigned to (if any)! - Description of paper review process (if any) and acceptance standards in order to keep the workshop high in quality. Note that papers must be in the same format as the conference proceedings and may not be more than 6 pages in length. - The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. - The primary email address for contacting the organizing committee. - Expected duration of the workshop (half or full day). - A brief description of the workshop format. - List of potential program committee members (if applicable), including their title and affiliations. - List of potential invited speakers, panelists, or disputants (if applicable). The second part with a maximum of three pages should contain additional information not suitable for a Call for Papers, including: - A discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. - Information about previous offerings of the proposed workshop: when and where it has been offered in the past, organizers names and affiliations, number of submissions, acceptances and registered attendees. - An indication of the envisaged acceptance rate (if applicable). - A description of the qualifications of the individual committee members with respect to organizing a SASO or ICCAC workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. - A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted in plain ASCII text or PDF format by electronic mail to the FAS*W 2016 Workshop Chairs, via Monika Lorenz, as described below. The selection of the workshops to be included in the final FAS* 2016 Workshop program will be based upon multiple factors, including: - the scientific/technical interest of the topics, - the quality of the proposal, - complementarity with the conference topics, - balance and distinctness of workshop topics, and - the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. ------------------------------------------------------------------------- Responsibilities of FAS* 2016 Workshop Organizers ------------------------------------------------------------------------- For all accepted proposals, FAS* 2016 will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistical support and a meeting place for the workshops. - Together with the organizers, determining the workshop date and time. - Liaising and coordinating between the workshop chairs,the finance chair, publicity chair, and web chair for FAS*. - Arranging for publication of proceedings. Workshop organizers will be responsible for the following: - Setting up a web site for the workshop. - Advertising the workshop (and the main FAS* conferences), and issuing a call for papers and a call for participation. - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. All workshop organizers commit themselves to adopt the deadlines set by the committee. - Making the pdf of the whole workshop notes available to the workshop chair, as well as a list of audio-visual requirements and any special room requirements. - Writing a 1-page organizers’ introduction for the workshop proceedings. - Ensuring that the workshop organizers and the participants register for the workshop and/or the main conference (at least one author must register for the paper to appear in the proceedings). FAS* reserves the right to cancel any workshop if the above responsibilities are not fulfilled, or if too few attendees register for the workshop to support its running costs. ------------------------------------------------------------------------- Submissions and Inquiries ------------------------------------------------------------------------- Please send proposals (as a PDF document) and inquiries to: Monika Lorenz lorenz at sra.uni-hannover.de ____________________________________________________________ FAS*W Workshop Chairs Sameh Elnikety Microsoft Research, USA E-Mail: samehe at microsoft.com Peter Lewis School of Engineering and Applied Science, Aston University, UK E-Mail: p.lewis at aston.ac.uk Christian Müller-Schloer Institute for Systems Engineering, Leibniz University Hannover, DE E-Mail: cms at sra.uni-hannover.de ____________________________________________________________ From fabio.zanasi at ens-lyon.fr Sun Feb 14 19:48:55 2016 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Sun, 14 Feb 2016 19:48:55 +0100 (CET) Subject: CMCS 2016: Call for Short Contributions and Participation Message-ID: <20160214184855.897C6320788@labbe.ens-lyon.fr> Call for Short Contributions and Participation 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, the Netherlands http://www.coalg.org/cmcs16 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016. Important dates --------------- Submission short contributions 22 February 2016 Notification short contributions 6 March 2016 Submission guidelines --------------------- Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages n Springer LNCS style. Short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2016. Accepted short contributions will be bundled in a technical report and presented at the workshop. Keynote Speaker --------------- Jiri Adamek, Braunschweig University of Technology, Germany Invited Speakers --------------- Andreas Abel, University of Gothenburg, Sweden Filippo Bonchi, CNRS/ENS Lyon, France Invited Tutorial Speakers ------------------------- There will be a special session on weighted automata, with invited tutorials by Borja Balle, Lancaster University, United Kingdom Alexandra Silva, University College London, United Kingdom Accepted Papers ------------------------- Ekaterina Komendantskaya and John Power. Category theoretic semantics for theorem proving in logic programming: embracing the laxness David Sprunger. A complete logic for behavioural equivalence in coalgebras of finitary set functors Bart Jacobs. Affine Monads and Side-Effect-Freeness Ievgen Ivanov. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems Fredrik Dahlqvist. Coalgebraic completeness-via-canonicity: principles and applications. Mehdi Zarrad and H. Peter Gumm. Transitivity and Difunctionality of Bisimulations Joost Winter. Product Rules and Distributive Laws Luigi Santocanale. Relational lattices via duality Julian Salamanca, Marcello Bonsangue and Jurriaan Rot. Duality of Equations and Coequations via Contravariant Adjunctions Octavian Babus and Alexander Kurz. On the logic of generalised metric spaces Programme committee ------------------- Paolo Baldan, University of Padova, Italy Corina Cirstea, University of Southampton, United Kingdom Ugo Dal Lago, University of Bologna, Italy Ichiro Hasuo (chair), University of Tokyo, Japan Tom Hirschowitz, CNRS and University of Savoie, France Bart Jacobs, Radboud University Nijmegen, The Netherlands Shin-ya Katsumata, Kyoto University, Japan Bartek Klin, University of Warsaw, Poland Barbara Koenig, University of Duisburg-Essen, Germany Stefan Milius, FAU Erlangen-Nuernberg, Germany Matteo Mio, CNRS and ENS Lyon, France Rasmus Mogelberg, IT University of Copenhagen, Denmark Larry Moss, Indiana University, United States Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Dirk Pattinson, Australian National University, Australia Daniela Petrisan, Paris Diderot University, France Jean-Eric Pin, CNRS and Paris Diderot University, France John Power, University of Bath, United Kingdom Jurriaan Rot, University of Leiden, the Netherlands Jan Rutten, CWI/Radboud University Nijmegen, The Netherlands Alexandra Silva, University College London, United Kingdom Joost Winter, University of Warsaw, Poland James Worrell, University of Oxford, United Kingdom Publicity chair --------------- Fabio Zanasi, Radbound University Nijmegen, The Netherlands PC chair -------- Ichiro Hasuo, University of Tokyo, Japan From grlmc at grlmc.com Sun Feb 14 22:15:29 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 14 Feb 2016 22:15:29 +0100 Subject: LATA 2016: call for participation Message-ID: <545102060a010b02025f55050609565c015005075703520405570105530201055c545651060c5406050002535354@grlmc_ip-zone_com-6> LATA 2016: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2016 Prague, Czech Republic March 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University in Prague and Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ ********************************************************************************** PROGRAM Monday, March 14 08:55 - 09:40    Registration 09:40 - 09:55    Opening 09:55 - 10:45    Avrim Blum: Reconstructing Preferences from Opaque Transactions - Invited Lecture 10:45 - 11:15    Coffee Break 11:15 - 12:30 Franz Baader, Andreas Ecke: Reasoning with Prototypes in the Description Logic ALC using Weighted Tree Automata Parvaneh Babari, Nicole Schweikardt: +ω-Picture Languages Recognizable by Büchi-Tiling Systems Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade, Ashutosh Trivedi: A Logical Characterization for Dense-Time Visibly Pushdown Automata 12:30 - 14:00    Lunch 14:00 - 15:15 Dana Fisman: A Complexity Measure on Büchi Automata Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski: Compositional Bisimulation Minimization for Interval Markov Decision Processes Heiko Vogler, Manfred Droste, Luisa Herrmann: A Weighted MSO Logic with Storage Behaviour and its Büchi-Elgot-Trakhtenbrot Theorem 15:15 - 15:30    Break 15:30 - 16:45 Rajeev Alur, Dana Fisman: Colored Nested Words Martin Kutrib, Andreas Malcher, Matthias Wendlandt: Input-Driven Queue Automata with Internal Transductions Klaus Meer, Ameen Naif: Periodic Generalized Automata over the Reals Tuesday, March 15 09:00 - 09:50     Martin Grohe: Tangles and Connectivity in Graphs - Invited Lecture 09:50 - 10:05    Break 10:05 - 11:20 Rick Smetsers, Joshua Moerman, David N. Jansen: Minimal Separating Sequences for All Pairs of States Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions Hélène Touzet: On the Levenshtein Automaton and the Size of the Neighbourhood of a Word 11:20 - 11:50    Coffee Break 11:50 - 13:05 Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay: Parallelogram Morphisms and Circular Codes Ananda Chandra Nayak, Amit K. Srivastava: On Del-Robust Primitive Partial Words with One Hole Maxime Crochemore, Roman Kolpakov, Gregory Kucherov: Optimal Bounds for Computing α-gapped Repeats 13:05 - 14:35    Lunch 14:35 - 15:50 Kazuyuki Amano: On XOR Lemma for Polynomial Threshold Weight and Length Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao: The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line Silke Czarnetzki, Andreas Krebs: Using Duality in Circuit Complexity 15:50 - 16:05    Break 16:05 - 17:20 Gabriel Istrate, Cosmin Bonchiş, Liviu Dinu: The Minimum Entropy Submodular Set Cover Problem Orna Kupferman, Sarai Sheinvald: On the Capacity of Capacitated Automata Holger Spakowski: On Limited Nondeterminism and ACC Circuit Lower Bounds Wednesday, March 16 09:00 - 09:50    Frank Wolter: Automata for Ontologies - Invited Lecture 09:50 - 10:05    Break 10:05 - 11:20 Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura: The Complexity of Induced Tree Reconfiguration Problems Stefano Crespi Reghizzi, Pierluigi San Pietro: The Missing Case in Chomsky-Schützenberger Theorem Séverine Fratani, El Makki Voundy: Homomorphic Characterizations of Indexed Languages 11:20 - 11:50    Group Photo and Coffee Break 11:50 - 13:05 Makoto Kanazawa: Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy Sebastian Berndt, Rüdiger Reischuk: Steganography Based on Pattern Languages Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han: Inferring a Relax NG Schema from XML Documents 13:05 - 14:35    Lunch 14:35 - 15:50 Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth: Noise Free Multi-armed Bandit Game Johannes Blum, Frank Drewes: Properties of Regular DAG Languages Adrien Boiret: Normal Form on Linear Tree-to-Word Transducers 16:00 - 18:00    Touristic Visit Thursday, March 17 09:00 - 09:50    Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas: Non-zero Sum Games for Reactive Synthesis - Invited Lecture 09:50 - 10:05    Break 10:05 - 11:20 Manfred Droste, Zoltán Fülöp, Doreen Götze: A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids Nadia Labai, Johann A. Makowsky: Hankel Matrices for Weighted Visibly Pushdown Automata Johannes Osterholzer, Toni Dietze, Luisa Herrmann: Linear Context-Free Tree Languages and Inverse Homomorphisms 11:20 - 11:50    Coffee Break 11:50 - 13:05 Paul C. Bell, Shang Chen, Lisa Jackson: Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages Tatiana Baginová Jajcayová: The Word Problem for HNN-Extensions of Free Inverse Semigroups Henrik Björklund, Frank Drewes, Petter Ericson: Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars 13:05 - 14:35    Lunch 14:35 - 16:05    Giovanni Pighizzini: Restricted Turing Machines and Language Recognition (I) - Invited Tutorial 16:05 - 16:20    Break 16:20 - 17:10 Sanguthevar Rajasekaran, Marius Nicolae: An Error Correcting Parser for Context-Free Grammars that Takes Less than Cubic Time Nathalie Bertrand, Serge Haddad, Engel Lefaucheux: Accurate Approximate Diagnosability of Stochastic Systems Friday, March 18 09:00 - 10:30    Giovanni Pighizzini: Restricted Turing Machines and Language Recognition (II) - Invited Tutorial 10:30 - 10:45    Break 10:45 - 11:35 Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Proof-Based Synthesis of Sorting Algorithms for Trees Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher: Reversible Shrinking Two-pushdown Automata 11:35 - 12:05    Coffee Break 12:05 - 12:55 Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca: Reachability in Resource-Bounded Reaction Systems Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-target Toffoli Circuits 12:55 - 13:10    Closing -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Sun Feb 14 23:28:41 2016 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Sun, 14 Feb 2016 22:28:41 +0000 Subject: Final CFP: NAACL Workshop on Discontinuous Structures in Natural Language Processing References: <625EE52A-772F-44F1-9C78-CF1DE7054EA3@indiana.edu> Message-ID: <1455488921.10696.15.camel@wlv.ac.uk> (apologies for cross-posting) Workshop on Discontinuous Structures in Natural Language Processing http://rgcl.wlv.ac.uk/disco/ to be held at NAACL 2016 (San Diego, California, USA), June 17, 2016 Submission deadline: February 25, 2016 ---------------------- Final Call For Papers ---------------------- The modeling of certain structures in natural language requires a mechanism for discontinuity, in the sense that we must account for two or more parts of the structure that are not adjacent. This is true across many languages and on different description levels. For instance, on the lexical level, this concerns discontinuous morphological phenomena such as transfixation (templatic morphology), as well as phrasal verbs, and non-contiguous multiword expressions. On the syntactic level, discontinuity is caused by phenomena such as extraposition and topicalization, or argument scrambling. Morphologically rich languages (MRLs) are particularly likely to exhibit such phenomena. Other examples include disfluency and anaphora/coreference resolution with discontinuous antecedents; modeling in both of the latter areas requires an extended domain of locality. On a higher level, discontinuity is a relevant factor in machine translation, as well as in complex question answering and in topic structure modeling. Discontinuity has been studied intensively in a range of different areas, including but not limited to grammar development, syntactic and semantic parsing, morphological analysis, machine translation, anaphora resolution, discourse modeling, automatic summarization and complex question answering.  Nevertheless, the treatment of discontinuous structures remains a challenge, because on the one hand, recovering of non-local information is generally associated with a high computational cost, and on the other hand, discontinuities are inherently a low-frequency phenomenon, which means that statistical approaches have a tendency to analyze them incorrectly as more frequent local phenomena. Additionally, it is not always clear if and how NLP tasks can benefit from knowing about discontinuity, that is, why one should care, particularly considering the given computational cost. The goal of this workshop is to bring together researchers from the different areas to give them a forum to exchange ideas and problem solutions, to create synergy effects, and to enable more powerful solutions. This encompasses not only linguistic analyses and work on analyzing or recovering the corresponding structures, such as, e.g., in non-projective dependency parsing, but also studies on "use cases", which show how information about discontinuity can be used to enhance NLP tasks. The areas of interest of this workshop include but are not limited to the following topics: * Theoretical and empirical analyses of non-local/discontinuous phenomena. * Comparisons of different descriptions of the same type of non-local information. * Use, development, and comparison, of techniques for handling non- local/discontinuous within NLP tasks, especially wrt. to examples of NLP tasks which can benefit from handling discontinuous phenomena are machine translation, complex question answering, modelling of discourse, automatic summarisation and coreference resolution. * "Use cases" that show how information about discontinuity can enhance an NLP task. * Annotation of information about non-locality. --------------------- Submission modalities --------------------- We invite papers which present completed research including new experimental results, resources and/or techniques. The maximum length of the papers is 8 pages plus an unlimited number of pages for references. All submissions must be in PDF format and must follow the NAACL 2016 formatting requirements (available at the NAACL 2016 website: http://naacl.org/naacl-pubs/). We strongly advise the use of the provided Word or LaTeX template files. Reviewing will be double-blind, and thus no author information should be included in the papers; self-reference should be avoided as well. Papers that do not conform to these requirements will be rejected without review. Accepted papers will appear in the workshop proceedings. Papers can be submitted at https://www.softconf.com/naacl2016/DiscoNLP2016/. --------------- Important dates --------------- February 25, 2016: Workshop paper submission deadline  March 20, 2016: Notification of Acceptance March 30, 2016: Camera-ready papers due June 17, 2016: Workshop Date ----------------- Program Committee ----------------- Anne Abeille, University Paris 7 Laura Alonso Alemany, Universidad Nacional de Córdoba Marianna Apidianaki, LIMSI Eric de la Clergerie, INRIA Andreas van Cranenburgh, Royal Netherlands Academy for Arts and Sciences Joachim Daiber, University of Amsterdam Corina Forascu, University "Al. I. Cuza" Iaşi Carlos Gomez Rodriguez, University of A Coruña Eva Hasler, University of Cambridge Mijail Kabadjov, University of Essex Sylvain Kahane, University Paris 10 Laura Kallmeyer, University of Düsseldorf Philipp Koehn, University of Edinburgh Johannes Leveling, Elsevier Timm Lichte, University of Düsseldorf Peter Ljunglöf, University of Gothenburg Georgiana Marsic, University of Wolverhampton Detmar Meurers, University of Tübingen Jean-Luc Minel, Université Paris Ouest Nanterre La Défense Sara Moze, University of Wolverhampton Philippe Muller, University of Toulouse/IRIT Preslav Nakov, Qatar Computing Research Institute Mark-Jan Nederhof, University of St. Andrews Yannick Parmentier, University of Orléans Ted Pedersen, University of Minnesota Irene Renau, Pontificia Universidad Católica de Valparaíso, Chile Lonneke van der Plas, University of Malta Djamé Seddah, University Paris 4 Khalil Sima'an, University of Amsterdam Yannick Versley, University of Heidelberg Suzan Veberne, University of Nijmegen Andy Way, Dublin City University ------------------- Workshop Organizers ------------------- Wolfgang Maier (University of Düsseldorf, Germany) Sandra Kübler (Indiana University, USA) Constantin Orasan (University of Wolverhampton, GB) The workshop organizers can be contacted at discows2016 at gmail.com -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From nils.muellner at mdh.se Mon Feb 15 10:03:45 2016 From: nils.muellner at mdh.se (Nils Muellner) Date: Mon, 15 Feb 2016 09:03:45 +0000 Subject: CFP Dependable Software Engineering Message-ID: [Please accept our apologies if you receive multiple copies of this Call for Papers (CFP)] Symposium on Dependable Software Engineering: Theories, Tools and Applications Nov. 9-11, 2016, Beijing, China IMPORTANT DATES (AoE) * Abstract Submission: May 12, 2016 * Full Paper Submission: May 19, 2016 * Notification to Authors: Jul. 15, 2016 * Camera-ready Paper: Aug. 6, 2016 http://lcs.ios.ac.cn/setta/ Background and Objectives The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. Contributions relating to formal methods or integrating them with software engineering, as well as papers advancing scalability or widening the scope of rigorous methods to new design goals are especially welcome. Being hosted in China, the symposium will also provide a platform for building up research collaborations between the rapidly growing Chinese computer science community and its international counterpart. The symposium will support this process through dedicated events and therefore welcomes both young researchers considering international collaboration in formal methods and established researchers looking for international cooperation and willing to attract new colleagues to the domain. Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods either by substantiating the advantages of integrating formal methods into the development cycle or through delineating need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either normal or short papers. Short papers can discuss ongoing research at an early stage, including PhD projects. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should not exceed 6 pages in LNCS format. The proceedings will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspects of Computing journal. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From N.Bulling at tudelft.nl Mon Feb 15 11:37:33 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Mon, 15 Feb 2016 10:37:33 +0000 Subject: Call for Tutorials: 18th European Agent Systems Summer School (EASSS-2016) Message-ID: ****************************************************************************** * CALL FOR TUTORIAL PROPOSALS * 18th European Agent Systems Summer School (EASSS-2016) to be held at the University of Catania, Catania, Italy 25-30 July 2016 Deadline for Proposals: 18 March 2016 Please submit proposals to: easss2016 at dmi.unict.it ****************************************************************************** We are inviting tutorial proposals for the 18th European Agent Systems Summer School (EASSS-2016), which will be held at the University of Catania, Catania, Italy (http://easss2016.dmi.unict.it). EASSS tutorials are typically 3.5 hours long, divided into two sessions of 1.45 hours each. For a detailed call for tutorials, please see below. ***************************************************************************** *** ABOUT EASSS-2016 ***************************************************************************** Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). *** We are now inviting proposals from members of the research community who are willing to offer tutorials at EASSS-2016. *** We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We are looking for a mix of tutorials on fundamental and clearly established topics on the one hand, as well as overviews of new and emerging areas of research on the other. Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic considerations of the fundamentals presented. We encourage both well-established senior researchers and younger colleagues to put in a proposal. Each tutorial is usually given by one or two people. Exceptions are of course possible; for proposals by more than two tutors, please justify this choice in the proposal and explain how you intend to ensure the coherence of the tutorial. To be able to offer this summer school and keep registration costs manageable for attendees, we are dependent on the support of the research community. We can at this point commit to the provision of up to 400 euros per tutorial proposal, to cover the travel and accommodation costs of all the tutorial's speakers. However, since we expect that some tutorials will be given by region-based speakers with lower costs, we anticipate (but can of course not guarantee at this point) that some surplus monies will be made available for distribution where necessary amongst tutorial speakers whose costs may exceed the 400 euros per tutorial. ****************************************************************************** *** SUBMISSION INSTRUCTIONS ****************************************************************************** A tutorial proposal should take the form of a single PDF document covering the points listed below. Please, submit the proposal by email to easss2016 at dmi.unict.it mentioning [TUTORIAL] in the subject line. The following points should be addressed in the tutorial proposal, preferably in the order stated below: (1) Title of the proposed tutorial. (2) Tutor(s): name, affiliation, full contact details, and a link to the personal homepage of each tutor. (3) Abstract: a short paragraph describing the tutorial (100-300 words), suitable for publication at the EASSS-2016 website. (4) Topics covered: detailed list of topics covered in the tutorial in terms of a list, preferably in the order in which the tutorial will cover them. (5) Type: a clear indication of whether the tutorial takes a theoretical or applications-oriented perspective on the covered material. We encourage tutorials to balance the two perspectives. (6) Level: please indicate the target audience and level of the course. If there are some prerequisites about existing knowledge of students, describe what knowledge will be assumed. (7) Teaching materials: Please indicate what kind of teaching materials you intend to provide. Note that we will require materials by the due date bellow, in order that they can be distributed to EASSS attendees in advance. (8) Duration: Tutorials are typically 3.5 hours long. If you have strong reasons for wanting to deviate from this standard, please explain this in your proposal. (9) Equipment: Please list any special equipment (beyond data projector and blackboard) that you might need. (10) Short biographical sketch(es): a short paragraph on the background of the tutor or tutors (around 100 words per tutor), suitable for publication at the EASSS-2016 website. (11) Experience of tutors: For review purposes, please provide details on relevant teaching experience of the tutor(s). (12) Additional information on the proposed tutorial. Include as much detail as you see fit. ****************************************************************************** *** IMPORTANT DATES ****************************************************************************** Deadline for tutorial proposals: 18 March 2016 Notification of acceptance: 25 March 2016 Teaching materials due: 1 July 2016 Summer school: 25-30 July 2016 ****************************************************************************** *** EASSS-2016 Committees and Contact ****************************************************************************** Scientific Committee: - Davide Grossi, University of Liverpool, UK - Corrado Santoro, University of Catania, Italy - Amal El Fallah Seghrouchni, Unversité Pierre et Marie Curie, France Contact: For all matters concerning EASSS-2016 and this Call for Tutorial Proposals, please contact easss2016 at dmi.unict.it ****************************************************************************** *** PREVIOUS EDITIONS ****************************************************************************** EASSS has been organised annually in different European locations since 1999. Here are the websites of the most recent editions: * EASSS-2015 in Barcelona: http://http://www.iiia.csic.es/easss2015 * EASSS-2014 in Chania: http://www.intelligence.tuc.gr/easss2014 * EASSS-2013 in London: http://www.inf.kcl.ac.uk/events/easss13/index.html EASSS-2012/Valencia, Spain; EASSS-2011/Girona, Spain; EASSS-2010/Saint-Etienne, France; EASSS-2009/Torino, Italy; EASSS-2008/Lisbon, Portugal; EASSS-2007/Durham, UK; EASSS-2006/Annecy,France; EASSS-2005/Utrecht, Netherlands; EASSS-2004/Liverpool, UK; EASSS-2003/Bologna, Italy; EASSS-2002/Barcelona, Spain; EASSS-2001/Prague, Czech Republic; EASSS-2000/Saarbrucken, Germany; EASSS-1999/Utrecht, Netherlands ****************************************************************************** — Priv.-Doz. Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology The Netherlands http://www.nilsbulling.com From marianne.huchard at lirmm.fr Tue Feb 16 14:29:37 2016 From: marianne.huchard at lirmm.fr (Marianne Huchard) Date: Tue, 16 Feb 2016 14:29:37 +0100 Subject: 2nd Call For Paper - CLA 2016 Message-ID: <56C32441.5030702@lirmm.fr> ------------------------------------------------------------------------ 2nd Call For Paper - 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 to software engineering, programming languages, data mining, machine learning, linguistics ... # 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, ICube, 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, ICube, Université de Strasbourg/ENGEES, Strasbourg, France Rokia Missaoui, Université du Québec en Outaouais, LARIM, Canada 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 Gerd Stumme, University of Kassel, 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 serge.autexier at dfki.de Wed Feb 17 09:08:51 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 17 Feb 2016 09:08:51 +0100 (CET) Subject: 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 Message-ID: <20160217080851.9A5FB3728F46@mbp-autexier.informatik.uni-bremen.de> Second Call for Papers & Updates 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 +----------------------------- NEWS ---------------------------------+ | The new abstract submission deadline 9. March 2016 and all other | | deadlines adjusted accordingly | | CICM will host 4 workshops (Formal Mathematics for Mathematicians, | | Mathematical User Interfaces, Openmath, and Theorem Provers | | Components for Educational Software) and 2 tutorials | +--------------------------------------------------------------------+ Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and Washington DC (USA 2015). This is a call for papers for CICM 2016, which will be held in Bialystok, Poland, July 25-29, 2016. The principal tracks of the conference will be: * Track: Calculemus (chair: Leonardo de Moura) * Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa) * Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller) * Track: Systems & Data (chair: Moa Johansson) * Track: Doctoral Programme (chair: TBD) Like in previous years, project descriptions are welcomed as well. The overall programme is organized by the General Program Chair Michael Kohlhase. The workshop and publicity chair is Serge Autexier. The local arrangements will be coordinated by Adam Naumowicz. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *New Important Dates* Conference submissions - Abstract submission deadline: 9. March 2016 - Submission deadline: 16. March 2016 - Reviews sent to authors: 20. April 2016 - Rebuttals due: 23. April 2016 - Notification of acceptance: 5. May 2016 - Camera ready copies due: 20. May 2016 - Conference: 25.-29. July 2016 Work-in-progress and Doctoral Programme - Submission deadline (Doctoral: Abstract+CV): 10. May 2016 - Notification of acceptance: 29. May 2016 - Camera ready copies due: 29. June 2016 More details on the conference are available from http://www.cicm-conference.org/2016/cicm.php?menu=cfp From xrambous at aurora.fi.muni.cz Wed Feb 17 13:31:02 2016 From: xrambous at aurora.fi.muni.cz (TSD 2016) Date: Wed, 17 Feb 2016 13:31:02 +0100 Subject: TSD 2016 - First Call for Papers Message-ID: (We are sorry for previous partial posting) ********************************************************* TSD 2016 - FIRST CALL FOR PAPERS ********************************************************* Nineteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2016) Brno, Czech Republic, 12-16 September 2016 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE SUBMISSION DEADLINES: March 15 2016 ............ Submission of abstracts March 22 2016 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. Moreover, LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX. The TSD 2016 conference will be accompanied by a one-day satellite workshop Community-based Building of Language Resources, CBBLR The main topic of the workshop is directed at building new language resources, especially for languages with no or too little existing language resources. The workshop is organized in cooperation with the HaBiT CZ-NO project Consortium, submissions from other resource development projects are more than welcomed. The workshop submissions will undergo two separate review processes - the best papers which will succeed in both review processes (by the TSD 2016 Conference PC and CBBLR Workshop 2016 PC) will be published in the TSD 2016 Springer Proceedings, all other accepted CBBLR workshop papers will be published in a separate proceedings with ISBN. The CBBLR workshop will take place on September 12 2016 in the conference venue. The TSD 2016 conference will be directly followed by a meeting of the working groups and management committee of the ISCH COST Action IS 1305 European Network of e-Lexicography (ENeL) http://www.elexicography.eu/ TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, United Kingdom Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Pavel Kral, Czech Republic Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia KEYNOTE SPEAKERS Hinrich Schuetze, University of Munich, Germany Ido Dagan, Bar-Ilan University, Israel FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2016 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings, Sample File typeinst.zip). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2016 ............ Submission of abstracts March 22 2016 ............ Submission of full papers May 15 2016 .............. Notification of acceptance May 31 2016 .............. Final papers (camera ready) and registration August 8 2016 ............ Submission of demonstration abstracts August 15 2016 ........... Notification of acceptance for demonstrations sent to the authors September 12-16 2016 ..... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in Springer proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2016 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2016 at tsdconference.org The official TSD 2016 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Munich, or Eindhoven and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From geoff at cs.miami.edu Wed Feb 17 14:30:29 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 17 Feb 2016 08:30:29 -0500 (EST) Subject: 2nd Workshop on Bridging the Gap between Human and Automated Reasoning - Call for Papers Message-ID: <20160217133029.1D658121516@mcclellan.cs.miami.edu> 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, 2016 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 From J.M.Broersen at uu.nl Fri Feb 19 15:58:08 2016 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Fri, 19 Feb 2016 15:58:08 +0100 Subject: Call for Participation: April 18-19, Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet Message-ID: <56C72D80.7080507@uu.nl> Workshop Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet Our tendency to delegate responsibilities to machines (self-driving cars, algorithmic trading, military drones, autonomous surveillance systems, etc.) leads to pressing questions that call for answers from an interdisciplinary perspective. Computer scientists can contribute by studying how to design responsible AI, but they first need to know exactly what is meant by that. Philosophers may be able to tell them what responsibility is, but may find it hard to operationalise their insights in such fundamental topics as action, freedom, ethics, norms, and reasons. And that is where legal theorists may be of help, as they are used to think about the relation between abstract notions like fairness, justice, duty, excuse, complicity, causality and their concrete reflections in the rules of law. On April 18-19 2016, we organise an interdisciplinary workshop where we bring together researchers from Philosophy, Computer Science and Legal Theory to exchange views on the subject of responsible intelligent systems. The list of speakers includes: • Thomas Agotnes, Bergen, Norway, Information Science • Bruce Chapman, Toronto, Canada, Legal Theory and Philosophy • Michael Fisher, Liverpool, UK, Computer Science • John Horty, Maryland, US, Philosophy and Computer Science • Thomas Müller, Konstanz, Germany, Philosophy • Ugo Pagallo, Turin, Italy, Legal Theory and Computer Science • Henry Prakken, Groningen en Utrecht, Netherlands, Computer Science and Legal Theory • Giovanni Sartor, European University Institute Florence, Italy, Legal Theory and Computer Science • Marek Sergot, Imperial College London, UK, Computer Science • Marija Slavkovik, Bergen, Norway, Computer Science Attendance is free and open to all academics. To enable us to estimate how much coffee and sandwiches we have to order, we would be happy if you let us know if you plan to come by sending an email to H.W.A.Duijf at uu.nl with the subject “Attendance REINS workshop”. Please mention your name and affiliation so that we can make a name tag for you to wear at the workshop. Venue: Boothstraat 7, Utrecht, Kerkzaal Details on the exact program will be posted on the website soon: http://www.projects.science.uu.nl/reins/?tribe_events=responsible-intelligent-systems-in-perspective-where-computer-science-philosophy-and-legal-theory-meet -Jan Broersen, Hein Duijf, Jesse Mulder -- ------- Jan Broersen ----------- Theoretical Philosophy Group - - www.uu.nl/hum/staff/JMBroersen ---- Utrecht University ------ ---- tel: +31 302532761 -------------- Janskerkhof 13 --------- ---- fax: +31 302534619 ------------- 3512 BL UTRECHT -------- -- From ijv at acm.org Sat Feb 20 14:24:18 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 20 Feb 2016 14:24:18 +0100 Subject: Call for Participation KR 2016: Registration is now open Message-ID: <70DADE89-2A51-4318-9300-653C38E3FDF2@acm.org> CALL FOR PARTICIPATION *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) ** Registration is now open ** Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Papers have been selected based on whether they present novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. ** The list of accepted papers is available on the KR 2016 website ** TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics REGISTRATION INFORMATION ---------------------- Registration website: http://regonline.com/KRDLNMR_2016 For more information on how to register, the registration rates and deadlines, please visit the KR 2016 website: http://kr2016.cs.uct.ac.za Students and recent graduates who wish to apply for a grant, should do so online when registering. The first round of grants were allocated to DC participants. The second round of grants will be allocated based on applications received by 1 March 2016. The final round will be allocated based on applications received by 1 April 2016. PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (CRIL, Université d'Artois, France) -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From kuhntobias at gmail.com Sat Feb 20 22:34:55 2016 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Sat, 20 Feb 2016 22:34:55 +0100 Subject: Call for papers: Fifth Workshop on Controlled Natural Language (CNL 2016) Message-ID: <56C8DBFF.5080902@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. These research papers should be formatted according to the Springer LNCS (https://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) format and should not exceed 10 pages. Submit your paper via Easychair: https://easychair.org/conferences/?conf=cnl2016 The proceedings of the workshop will appear in Springer’s LNCS/LNAI series and will be indexed in all major citation databases including ISI Web of Science and Scopus. Website: http://www.sigcnl.org/cnl2016.html Social Media: Twitter: https://twitter.com/sig_cnl Google Drive (read only): https://drive.google.com/folderview?id=0Bx9w-S4aWKt3azIxRnJkS3V2WDg&usp=sharing 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 grlmc at grlmc.com Sun Feb 21 02:53:22 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 21 Feb 2016 02:53:22 +0100 Subject: WebST 2016: early registration deadline 11 March Message-ID: <545102060a010b020857530b0109595750040602515054020b0a58520f545b56075103510a5c5506525753540202@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 11 March*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: March 11, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Yahoo Labs), Big Data in the Web   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), tba   Amit P. Sheth (Wright State University), Building Intelligent Systems: Semantic, Cognitive and Perceptual Computing to Exploit Physical-Cyber-Social Big Data   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Aldo Gangemi (Italian National Research Council, Rome), [intermediate/advanced] Open Knowledge Extraction: From Machine Reading to the Semantic Web   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Marc Najork (Google), [introductory] Search Engine Architecture   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] How To Build a Search Engine   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Munindar P. Singh (North Carolina State University), [introductory/intermediate] Web Applications as Sociotechnical Systems: A Basis for a Science of Security and Privacy   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/Registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions of accommodation will be available on the webpage in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From willer at uchicago.edu Mon Feb 22 13:47:44 2016 From: willer at uchicago.edu (Malte Willer) Date: Mon, 22 Feb 2016 06:47:44 -0600 Subject: Final CfP and Deadline Extension: DEON 2016, 18-21 July 2016, Bayreuth, Germany Message-ID: <8812D652-E623-4A96-BFF6-A8446C38F0F8@uchicago.edu> Final Call for Papers *** Submission Deadline Extended to March 1st *** 13th International Conference on Deontic logic and Normative Systems (DEON 2016) 18-21 July 2016, Bayreuth, Germany The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2016 will encourage a special focus on the topic: “Reasons, Argumentation and Justification” There have been twelve previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006; Luxembourg, July 2008; Fiesole, July 2010; Bergen, July 2012; Ghent, July 2014. General Themes The Program Committee invites papers concerned with the following topics (non-exclusive list): - the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic - the formal analysis of normative concepts and normative systems - the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability - the normative aspects of protocols for communication, negotiation and multi-agent decision making - the formal analysis of the semantics and pragmatics of deontic and normative expressions in natural language - the formal representation of legal knowledge - the formal specification of normative systems for the management of bureaucratic processes in public or private administration applications of normative logic to the specification of database integrity constraints - game theoretic aspects of deontic reasoning - emergence of norms - deontic paradoxes Special Focus DEON 2016’s special focus is “Reasons, Argumentation and Justification”. Reasons play a prominent role in the normative study of action, belief, intention, and the emotions, as well as in everyday justification and argumentation. Recent years have seen numerous fruitful exchanges between deontic logicians, computer scientists, and philosophers on the nature of reasons and their role in practical and theoretical deliberation. There have also been multiple applications of formal frameworks for the study of reasons in areas of interest to linguists and philosophers of language. The goal of DEON 2016’s special focus is to continue this positive trend by encouraging submissions that explore the significance of deontic logic for the study of reasons and their connection with justification and argumentation (and vice versa). Topics of interest in this special theme include, but are not limited to: - the role of general (though perhaps defeasible) principles in justification and argumentation - the relation between practical and epistemic reasons - the formal analysis of reasons and of reasoning about reasons - the role of justification in multi-agent systems - the connection between justification and argumentation We welcome theoretical work (formal models, representations, logics, specifications, verification), implementation-oriented work (programming languages, design models, simulations, prototype systems) and empirically driven work (linguistics) on these specific topics. Invited Speakers - John Broome (Oxford) - Janice Dowell (Syracuse) - Xavier Parent (Luxembourg) - Gabriella Pigozzi (Paris) Submission Details Authors are invited to submit an original, previously unpublished, short paper pertaining to any of these topics. The paper should be in English, and should be no longer than about 15 pages when formatted according to the 12pt LaTeX specification that will be sent to all authors of accepted papers. The first page should contain the full name and contact information of at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using Easychair: https://www.easychair.org/conferences/?conf=deon2016 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. Publication The proceedings will be published with College Publications. Copies of the proceedings will be provided to all participants. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. Important Dates Abstract Submission Deadline: March 1st, 2016 Paper Submission Deadline: March 7th, 2016 Notification: May 1, 2016 Camera Ready: June 1, 2016 Chairs of the Program Committee Allard Tamminga, University of Groningen and Utrecht University Malte Willer, University of Chicago Chair of the Local Organizing Committee Olivier Roy, University of Bayreuth ------------------------------------- Malte Willer Assistant Professor Department of Philosophy The University of Chicago 1115 E. 58th St. Chicago, IL 60637 Phone: +1 773-702-8598 Fax: + 1 773-702-5259 E-mail: willer at uchicago.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From prima2016publicity at gmail.com Tue Feb 23 11:02:15 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Tue, 23 Feb 2016 12:02:15 +0200 Subject: =?UTF-8?Q?2nd_CfP=3A_Principles_and_Practice_of_Multi=E2=80=90Agent_Sy?= =?UTF-8?Q?stems_=28PRIMA=29_2016?= Message-ID: ----------------------------------------------------------------- *Principles and Practice of Multi‐Agent Systems (PRIMA 2016)* August 22‐26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co‐located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- N E W S ! ! ! ----------------------------------------------------------------- We are excited to annouce our invited speakers: - Prof. Toru Ishida (Kyoto University); - Prof. Jörg P. Müller (TU Clausthal); - Prof. Phan Minh Dung (Asian Institute of Technology), joint speech for both PRIMA and PRICAI. ----------------------------------------------------------------- *Key Dates* ----------------------------------------------------------------- Submission of papers: 15 April 2016 Notification of acceptance: 15 June 2016 Camera‐ready version: 30 June 2016 ----------------------------------------------------------------- Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are be‐ coming more decentralized, with components that represent autono‐ mous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e‐business and smarts grids. A multiagent worldview is crucial to properly conceptual‐ izing, building, and governing such systems. It offers abstrac‐ tions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still grow‐ ing research field of Computer Science, multiagent systems today remains a unique enabler of interdisciplinary research. The PRIMA 2016 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of pro‐ totype and deployed agent systems, and of experiments that demon‐ strate novel agent system capabilities. An indicative list of topics is provided below. For 2016, there will be Social Science special track that will be handled by Michael Mäs (University of Groningen). Accepted papers of this track will be offered a fast‐ track in JASSS. Papers should be at most 16 pages in length in the Springer LNCS format. All accepted papers will be published in Springer’s LNAI series. A select number of papers will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi‐Agent Systems and ACM TAAS. There will be also be two special issues: one with Fundamenta Informaticae and an‐ other with International Journal of Agent‐Oriented Software Engi‐ neering. ----------------------------------------------------------------- *Topics of interest (not limited to the following)* ----------------------------------------------------------------- * Logic and Reasoning - Logics of agency - Logics of multiagent systems - Norms - Argumentation - Computational Game Theory - Uncertainty in Agent Systems - Agent and Multi-Agent Learning * Engineering Multi-Agent Systems - Agent-Oriented Software Engineering - Interaction protocols - Commitments - Institutions and Organizations - Normative Systems - Formal Specification and Verification - Agent Programming Languages - Middleware and Platforms - Testing, debugging, and evolution - Deployed System Case Studies * Agent-Based Modeling and Simulation - Simulation Languages and Platforms - Artificial Societies - Virtual Environments - Emergent Behavior - Modeling System Dynamics - Application Case Studies * Collaboration & Coordination - Planning - Distributed Problem Solving - Distributed Constraint Satisfaction - Teamwork - Coalition Formation - Negotiation - Auctions and Mechanism Design - Trust and Reputation - Computational Voting Theory * Human-Agent Interaction - Adaptive Personal Assistants - Embodied Conversational Agents - Virtual Characters - Multimodal User Interfaces - Mobile Agents - Human-Robot Interaction * Decentralized Paradigms - Grid Computing - Service-Oriented Computing - Cybersecurity - Robotics and Multirobot Systems - Ubiquitous Computing - Social Computing - Internet of Things * Application Domains for Multi-Agent Systems - Healthcare - Autonomous Systems - Transport and Logistics - Emergency and Disaster Management - Energy and Utilities Management - Sustainability and Resource Management - Games and Entertainment - e-Business, e-Government, and e-Learning - Smart Cities - Financial markets - Legal applications ----------------------------------------------------------------- *General Chairs* ----------------------------------------------------------------- Katsutoshi Hirayama (Kobe University) Paolo Torroni (University of Bologna) ----------------------------------------------------------------- *Program Chairs* ----------------------------------------------------------------- Matteo Baldoni (University of Torino) Amit K. Chopra (Lancaster University) Tran Cao Son (New Mexico State University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Tue Feb 23 15:10:52 2016 From: lpulina at uniss.it (Luca Pulina) Date: Tue, 23 Feb 2016 15:10:52 +0100 Subject: QBFEVAL'16 - Solver submission deadline approaching Message-ID: <56CC686C.7060909@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 a.artikis at gmail.com Tue Feb 23 15:12:16 2016 From: a.artikis at gmail.com (Alexander Artikis) Date: Tue, 23 Feb 2016 16:12:16 +0200 Subject: CFP: special issue on Online Forecasting and Proactive Analytics Message-ID: Apologies for cross-posting. ===================== CALL FOR PAPERS SPECIAL ISSUE ON ONLINE FORECASTING AND PROACTIVE ANALYTICS IN THE BIG DATA ERA BIG DATA RESEARCH JOURNAL Rapid social, economic and political changes are making organizations shift their thinking from reactive to proactive in order to forecast opportunities and threats that could affect their business. Eliminating or mitigating an anticipated problem, or capitalizing on a forecast opportunity, can substantially improve our quality of life, and prevent environmental and economic damage. Changing traffic light policies and speed limits to avoid traffic congestions, for example, can reduce carbon emissions, optimize public transportation and increase commuter satisfaction. Similarly, adding credit cards to watch-lists as a result of forecasting fraud can reduce the cost inflicted payment processing companies and merchants, and consequently lower credit card costs. Unlike traditional real-time analytics, that refers to the just-in-time processing of recent data, providing the opportunity to additionally implement forecasting supports proactive decision-making. To forecast problems and opportunities that may actually take place in the near future, high velocity data streams from heterogeneous and distributed sources need to be correlated in real-time with high volume historical data. Moreover, forecasting techniques must be resilient to the lack of veracity of the streaming as well as the historical data. We invite quality submissions focusing on all aspects of forecasting using Big Data. We welcome both theoretical contributions as well as papers describing interesting applications. Broad topics include: -Complex event forecasting -Optimisation techniques for forecasting using Big Data -Forecasting under uncertainty -Machine learning for model construction -Scalability and high throughput issues in forecasting -Distributed forecasting systems for handling Big Data -Provenance in forecasting -Benchmarks, performance evaluation, and testbeds -Verification of forecasting models -Visual analytics for forecasting and proactive decision-making -Adaptive forecasting systems -Big Data applications of forecasting systems, such as analytics for the Internet-of-Things (IoT), online web analytics, smart grid analytics, credit card fraud management, traffic forecasting, and fleet management. KEY DATES Submission: 15 June 2016 Notification: 15 September 2016 Revisions: 15 October 2016 Final decision: 1 November 2016 GUEST EDITORS Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece Themis Palpanas, Paris Descartes University, France Peter Pietzuch, Imperial College London, UK Matthias Weidlich, Humboldt-Universitat zu Berlin, Germany SUBMISSION http://www.journals.elsevier.com/big-data-research/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s6savahd at uni-bonn.de Wed Feb 24 09:47:56 2016 From: s6savahd at uni-bonn.de (Sahar Vahdati) Date: Wed, 24 Feb 2016 09:47:56 +0100 Subject: ESWC 2016 Call for Challenge: Semantic Publishing Challenge 2016 Message-ID: ESWC 2016 Call for Challenge: Semantic Publishing Challenge 2016 ** apologies for cross-posting ** ==== Call for Challenge: Semantic Publishing ==== Challenge Website: https://github.com/ceurws/lod/wiki/SemPub2016 Challenge hashtag: #SemPub2016 Challenge Chairs: - Angelo Di Iorio (Department of Computer Science and Engineering, University of Bologna, IT) - Anastasia Dimou (Data Science Lab, Ghent University, BE) - Christoph Lange (Enterprise Information Systems, University of Bonn / Fraunhofer IAIS, DE) - Sahar Vahdati (Enterprise Information Systems, University of Bonn, DE) Challenge Coordinator: Stefan Dietze​ (L3S, Germany) and Anna Tordai (Elsevier, Netherlands) 13th Extended Semantic Web Conference (ESWC) 2016 Dates: May 29th - June 2nd, 2016 Venue: Heraklion, Crete, Greece Hashtag: #eswc2016 Feed: @eswc_conf Site: http://2016.eswc-conferences.org General Chair: Harald Sack (Hasso Plattner Institute (HPI), Germany​) MOTIVATION AND OBJECTIVES This is the next iteration of the successful Semantic Publishing Challenge of ESWC 2014 and 2015. We continue pursuing the objective of assessing the quality of scientific output, evolving the dataset bootstrapped in 2014 and 2015 to take into account the wider ecosystem of publications. To achieve that, this year’s challenge focuses on refining and enriching an existing linked open dataset about workshops, their publications and their authors. Aspects of “refining and enriching” include extracting deeper information from the HTML and PDF sources of the workshop proceedings volumes and enriching this information with knowledge from existing datasets. Thus, a combination of broadly investigated technologies in the Semantic Web field, such as Information Extraction (IE), Natural Language Processing (NLP), Named Entity Recognition (NER), link discovery, etc., is required to deal with the challenge’s tasks. TARGET AUDIENCE The Challenge is open to everyone from industry and academia. TASKS We ask challengers to automatically annotate a set of multi-format input documents and to produce a LOD that fully describes these documents, their context, and relevant parts of their content. The evaluation will consist of evaluating a set of queries against the produced dataset to assess its correctness and completeness. The primary input dataset is the LOD that has been extracted from the CEURWS.org workshop proceedings using the winning extraction tools of the 2014 and 2015 challenges, plus its full original HTML and PDF source documents. In addition, the challenge uses (as linking targets) existing LOD on scholarly publications. The input dataset will be split in two parts: a training dataset and an evaluation dataset, which will disclosed a few days before the submission deadline. Participants will be asked to run their tool on the evaluation dataset and to produce the final Linked Dataset and the output of the queries on that dataset. The Challenge includes three tasks: = Task 1: Extraction and assessment of workshop proceedings information in HTML = Participants are required to extract information from a set of HTML tables of contents published in CEUR-WS.org workshop proceedings. The extracted information is expected to answer queries about the quality of these workshops, for instance by measuring growth, longevity, etc. The task is an extension of the Task 1 of the 2014 and 2015 Challenge: we will reuse the most challenging quality indicators from last year’s challenge, others will be defined more precisely, others will be completely new. Last years’ results, with an F-measure of 0.66 in 2015 and 0.64 in 2014 for the winning solutions, show improvement but there is a lot of room for ameliorating information extraction. = Task 2: Extracting information from the PDF full text of the papers = Participants are required to extract information from the textual content of the papers (in PDF). That information should describe the organization of the paper and should provide a deeper understanding of the context in which it was written. In particular, the extracted information is expected to answer queries about the internal organization of sections, tables, figures and about the authors’ affiliations and research institutions, and fundings source. The task mainly requires PDF mining techniques and some NLP processing. = Task 3: Interlinking = Participants are required to interlink the CEUR-WS.org linked dataset with relevant datasets already existing in the LOD cloud. Task 3 can be accomplished as an entity interlinking/instance matching task that aims to address both interlinking data from the output of the other tasks as well as interlinking CEUR-WS.org linked dataset to external datasets. Moreover, as triples are generated from different sources and due to different activities, tracking provenance information becomes increasingly important. EVALUATION In each task, the participants will be asked to refine and extend the initial CEUR-WS.org Linked Open Dataset, by information extraction or link discovery, i.e. they will produce an RDF graph. To validate the RDF graphs produced, a number of queries in natural language will be specified, and their expected results in CSV format. Participants are asked to submit both their dataset and the translation of the input (natural language queries) to work on that dataset. A few days before the deadline, a set of query will be specified and be used for the final evaluation. Participants are asked then to run these queries on their dataset and to submit the produced output in CSV. Precision, recall and F-measure will be calculated by comparing each query’s result set with the expected query result from a gold standard built manually. Participants’ overall performance in a task will be defined as the average F-measure over all queries of the task, with all queries having equal weight. For computing precision and recall, an automated tool developed for the 2015 challenge will be used; this tool will be publicly available during the training phase. FEEDBACK AND DISCUSSION A discussion group is open for participants to ask questions and to receive updates about the challenge: mailto:sempub-challenge at googlegroups.com. Participants are invited to subscribe to this group as soon as possible and to communicate their intention to participate. They are also invited to use this channel to discuss problems in the input dataset and to suggest changes. HOW TO PARTICIPATE Participants are required to submit: * Abstract: no more than 200 words. * Description: It should explain the details of the automated annotation system, including why the system is innovative, how it uses Semantic Web technology, what features or functions the system provides, what design choices were made and what lessons were learned. The description should also summarize how participants have addressed the evaluation tasks. An outlook towards how the data could be consumed is appreciated but not strictly required. Papers must be submitted in PDF format, following the style of the Springer's Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/computer/lncs/lncs+authors), and not exceeding 12 pages in length. Submissions in RASH format (http://cs.unibo.it/save-sd/rash/documentation/index.html) and Linked Research (https://github.com/csarven/linked-research) are also accepted as long as the final camera-ready version conforms to Springer's requirements. * The Linked Open Dataset produced by their tool on the evaluation dataset (as a file or as a URL, in Turtle or RDF/XML). * A set of SPARQL queries that work on that LOD and correspond to the natural language queries provided as input * The output of these SPARQL queries on the evaluation dataset (in CSV format) Participants will also be asked to submit their tool (source and/or binaries, or a link these can be downloaded from, or a web service URL) for verification purposes. Further submission instructions will be published on the challenge wiki. All submissions should be provided via the submission system linked from the homepage. JUDGING AND PRIZES After a first round of review, the Program Committee and the chairs will select a number of submissions conforming to the challenge requirements that will be invited to present their work. Submissions accepted for presentation will receive constructive reviews from the Program Committee, they will be included in the Springer CCIS series. The selection of the best challenge papers will be published in the Satellite Event proceedings (a separate Springer LNCS Volume) of ESWC2016. Six winners will be selected. For each task we will select: * best performing tool, given to the paper which will get the highest score in the evaluation * most original approach, selected by the Challenge Committee with the reviewing process IMPORTANT DATES * January 20, 2016: Publication of the full description of tasks, rules and queries; publication of the training dataset * February 28, 2016: Publication of the evaluation tool * March 11, 2016: Paper submission * March 31, 2016: Deadline for making remarks to the training dataset and the evaluation tool * April 8, 2016: Notification and invitation to submit task results; * April 24, 2016: Conference camera-ready * May 11, 2016: Publication of the evaluation dataset details * May 13, 2016: Results submission * May 29 - June 2, 2016: Challenge days NOTE: Accepted papers will be included in the Conference USB stick. After the conference, participants will be able to add data about the evaluation and to finalize the camera-ready for the final proceedings. PROGRAM COMMITTEE * Aliaksandr Birukou, Springer Verlag, Heidelberg, Germany * Lukasz Bolikowski, University of Warsaw, Poland * Kai Eckert, University of Mannheim, Germany * Maxim Kolchin, ITMO University, SaintPetersburg, Russia * Phillip Lord, Newcastle University, UK * Philipp Mayr, hissing, Germany * Jodi Schneider, University of Pittsburgh, USA * Selver Softic, Graz University of Technology, Austria * Ruben Verborgh, Ghent university – iMinds * Michael Wagner, Schloss Dagstuhl, Leibniz Center for computer science, German We are inviting further members. From peter.schuller at marmara.edu.tr Thu Feb 25 08:13:05 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Thu, 25 Feb 2016 09:13:05 +0200 (EET) Subject: CFP ICLP 2016: 32nd International Conference on Logic Programming, New York City, Oct 17-21 Message-ID: <20160225071305.4C8CB2C042A@omsievews> Call For Papers 32nd International Conference on Logic Programming New York City, USA October 17‐21, 2016 http://software.imdea.org/Conferences/ICLP2016/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the pre‐ mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: · Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. · Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han‐ dling Rules, Tabling. · Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. · Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. · Related Paradigms: Inductive and Co‐inductive Logic Programming, Constraint Logic Programming, Answer‐Set Programming, SAT‐Checking. · Applications: Databases, Big Data, Data Integration and Federation, Soft‐ ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Paper registration (abstract): 22 April, 2016 Submission deadline: 29 April, 2016 Notification to authors: 17 June, 2016 Revision deadline (when needed): 8 July, 2016 Final notification: 22 July, 2016 Camera‐ready copy due: 5 Aug, 2016 Conference: 17‐21 Oct, 2016 Submission Details Submissions of regular papers must be made in the condensed TPLP format (see http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar) via Easy‐ Chair (see http://www.easychair.org/conferences/?conf=iclp2016). A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets which do not count towards this limit and which will be available as appendices to the published paper. We accept three kinds of papers: · Technical papers for technically sound, innovative ideas that can advance the state of logic programming; · Application papers that impact interesting application domains; · System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni‐ versity Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the deci‐ sion period). The program committee may recommend some papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs) (http://www.dagstuhl.de/publikationen/oasics/). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Pro‐ gramming Newsletter at no cost. Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng‐Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Preliminary Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben‐Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven ‐ University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot‐Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia‐Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni‐ ties for intensive discussions and project collaboration. Autumn School on Computational Logic A school on computational logic is planned. More up to date information will be available at the conference Web page. Doctoral Consortium The Eleventh Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc‐ tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city’s heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush‐ ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world’s largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two‐minute walk from the Flushing‐Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP). Financial Assistance The Association for Logic Programming has funds to assist financially disad‐ vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From newsletter at saso-conference.org Thu Feb 25 09:15:20 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Thu, 25 Feb 2016 09:15:20 +0100 Subject: =?utf-8?b?U0FTTyAyMDE2OiBDYWxsIGZvciBQb3N0ZXJzIGFuZCBEZW1vcyAtLSBB?= =?utf-8?b?dWdzYnVyZywgR2VybWFueTsgMTItMTYgU2VwdGVtYmVyIDIwMTY=?= Message-ID: ************************************************************************* CALL FOR POSTERS AND DEMOS 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 ------------- Overview ------------- The tenth SASO conference continues its tradition of offering poster and demo sessions, which are a great opportunity for an interactive presentation of emerging ideas, late-breaking results, experiences, and challenges on SASO topics. These sessions are informal and highly interactive, and allow authors and participants to engage in in-depth discussions about the presented work from which new collaborations, ideas, and solutions can emerge. Posters should cover the same key areas as Research Papers and present original, cutting-edge ideas inclusive of speculative/provocative ones. Proposals of new research directions and innovative interdisciplinary approaches are also welcome. Submissions in the following areas are particularly encouraged: - Self-* systems theories, frameworks, models, and paradigms, including the ones inspired by the biological, social, and physical worlds. - Self-* systems engineering: goals and requirements, hardware and software design, deployment, management and control, validation. - Properties of self-* systems: self-organisation and emergent behaviour, self-adaptation, self-management, self-monitoring, self-tuning, self-repair, self-configuration, etc. - Evaluation of self-* systems: methods for performance, robustness, dependability assessment and analysis. - Social self-* systems: emergent human behaviour, crowdsourcing, collective awareness, gamification and serious games. - Applications and experiences with self-* systems: cyber security, transportation, computational sustainability, power systems, large networks, large data centers, and cloud computing. Demos may target virtual systems (e.g., software applications), physical systems (e.g., robots or sensor networks), or cyber-physical systems combining the two. Physical systems might be presented either with real equipment, by simulation, or hybrid solutions using both simulations and real platforms. Submissions which highlight the utility and general applicability of the contribution - whether short, medium or long term - are particularly solicited, and interactivity of a demo is considered a further asset. ---------------------------- Submission Instructions ---------------------------- For evaluation and selection, authors should submit a two-page extended abstract for their poster or demo. The format of this extended abstract must comply with the IEEE Computer Society Press proceedings style guide and shall be submitted electronically in PDF format. Templates for Word and LaTeX are available for download from the IEEE website (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Demo submissions must include a URL of a website providing a self-explanatory video showing the system at work. Electronic submission: https://easychair.org/conferences/?conf=saso2016 -------------------- Important Dates -------------------- Submission deadline: June 10, 2016 Notification: July 8, 2016 Camera-ready copy due: July 22, 2016 Conference: September 12-16, 2016 ------------------------------- Accepted Posters and Demos ------------------------------- If selected, authors shall prepare a final, camera-ready version of the extended abstract, taking into account all feedback from the reviewers, and formatted according to the IEEE Computer Society Press proceedings style guide. Posters and Demos will be advertised in the final program, and authors’ two-page extended abstracts will be submitted to IEEE Xplore as part of the conference proceedings. Abstracts will also be available as part of the IEEE Digital Library. At least one author of accepted posters or demos is required to register at the conference, give a brief presentation of the poster or demo in the interactive session, as well as stay with the poster and/or demo to discuss the work with conference attendees for the duration of the scheduled session. ----------------------------------------- Poster Content and Layout Guidelines ----------------------------------------- Authors shall prepare their poster for presentation in the reserved session, taking into consideration that all posters should include the following information: - The purpose and goals of the work. - Any background and motivation needed to understand the work. - Any critical hypotheses and assumptions that underlie the work. - A clear summary of the contribution and/or results, in sufficient detail for a (re)viewer to understand the work and its relevance. If the work is at an initial stage, it is especially important to state clearly the anticipated contributions and any early results towards them. - The relationship to other related efforts, where appropriate. Authors of accepted posters may be asked to point out relationships to work represented by other accepted posters. - Where to find additional information. This should include but is not restricted to: a web site where viewers can go to find additional information about the work; how to contact the authors, including email addresses; for any papers, books, or other materials that provide additional information. The format and nature of posters require authors to capture the viewers’ attention effectively, and present core concepts to clearly position the context of their research work. For this reason, graphic representations, figures, and screen shots are typically the main medium of communication in successful posters. Few attendees will stop to read a large poster with dense text. If screen shots are used, please ensure that they print legibly and that the fonts are large enough to be read easily once printed. The recommended size for the poster is A0, and all poster authors are required to print and bring their posters to the conference. -------------------- Demo Guidelines -------------------- At the conference, software applications will be presented on computers. For cyber-physical systems, if possible, authors are invited to bring their equipment (smart devices, sensors, actuators, robots, et cetera). Software simulations or video recordings can be accepted as an alternative. Additionally, authors must bring a poster summarising their system and demo, following the above guidelines. ----------------------------- Conference General Chair ----------------------------- Wolfgang Reif, University of Augsburg, DE --------------------------- Demos and Poster Chair --------------------------- Jean Botev, University of Luxembourg, LU ------------------- 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 tobias.philipp at tu-dresden.de Thu Feb 25 13:25:10 2016 From: tobias.philipp at tu-dresden.de (Tobias Philipp) Date: Thu, 25 Feb 2016 13:25:10 +0100 Subject: The European Master's Program in Computational Logic: Application until 31 May 2016 Message-ID: Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are possible UNTIL 31 May 2016. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de -- TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden,Germany Tel.: +49 (0)351 463 38341 -- In the case, you do not want to receive this email, please write an email to tobias.philipp at tu-dresden.de, subject: UNSUBSCRIBE From andrea.orlandini at istc.cnr.it Thu Feb 25 21:58:46 2016 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Thu, 25 Feb 2016 21:58:46 +0100 Subject: Call for Papers - ICAPS-16 Journal Track In-Reply-To: <55905E2C.3060504@istc.cnr.it> References: <55467311.90002@istc.cnr.it> <557F2FED.308@istc.cnr.it> <55905E2C.3060504@istc.cnr.it> Message-ID: <56CF6B06.4040901@istc.cnr.it> Apologies for multiple copies ************************************************* ICAPS 2016 Journal Presentation Track Call for Papers http://icaps16.icaps-conference.org/journal-track.html Deadline: March 4 ************************************************* Call for Papers The program committee of The 26th International Conference on Automated Planning and Scheduling (ICAPS) invites submissions of published journal papers for the Journal Presentation Track, successfully initiated in 2013. The track is designed to provide a forum to discuss important results related to automated planning and scheduling that appeared recently (from March 2015 onwards) in selective journals, but have not been previously presented either at ICAPS or at a major AI conference. The goal of this track is two-fold: - To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICAPS format and topics are welcome. - To broaden the program with lines of work at the intersection between planning/scheduling and related fields such as for example constraint programming, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and operations research. Papers that use planning and scheduling in some innovative way (even if they do not advance the planning technology itself) are welcome. Paper Presentation All accepted journal presentations will be presented orally during the conference - at least one author is expected to register to ICAPS 2016 and to present the paper in person. Complete citations, abstracts and URLs of the original journal papers (if available from the publisher) will be published at ICAPS 2016 web site as a permanent reference. Submission Requirements Journal track submissions must meet the following criteria: - Candidate papers must be published in a journal such as (but not limited to) AIJ, AURO, JAIR, JAAMAS, KER and other relevant, including inter-disciplinary, leading Journals from March 2015 until the submission deadline. - Papers that are in press may be submitted as long as the final camera-ready version is available. - Extensions of papers that have been previously presented at ICAPS or another major AI conference (such as IJCAI, AAAI, ECAI) cannot be submitted to this track. Submission Process All submissions will be done via EasyChair (https://easychair.org/conferences/?conf=journalsicaps16). The submission will be in the following format: - title of the original journal paper (to be published at web); - complete reference of the original paper (to be published at web); - URL, where the paper can be downloaded from the publisher (if available) (to be published at web); - abstract of the paper (to be published at web); - an accompanying letter containing a brief summary of the key results and contributions and explanation why this paper is interesting to ICAPS community (in PDF); - a copy of the paper with its final camera-ready contents (in PDF). Submissions will go through an expedited selection process. Selection criteria include significance of the results, relevance to the planning and scheduling community, and contribution to diversification of traditional ICAPS topics. Important Dates Submission deadline: March 4, 2016 Notification of acceptance: April 1, 2016 Main conference sessions: June 15-17, 2016 Journal Presentation Track chairs - Roman Bart‡k (Charles University, Prague, Czech Republic) - Amedeo Cesta (CNR-ISTC, Rome, Italy) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Sun Feb 28 11:27:36 2016 From: lpulina at uniss.it (Luca Pulina) Date: Sun, 28 Feb 2016 11:27:36 +0100 Subject: QBFEVAL'16 - Deadlines extension! Message-ID: <56D2CB98.7040403@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: March 7th 2016 (NEW) Solvers participating in competitive tracks due: March 7th 2016 (NEW) Final versions of solvers participating in competitive tracks due: March 22nd 2016 (NEW) Benchmarks due: March 22nd 2016 (NEW) 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 ruy at cin.ufpe.br Mon Feb 29 14:08:56 2016 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Mon, 29 Feb 2016 10:08:56 -0300 Subject: 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE APPROACHING Message-ID: [Please circulate. Apologies for multiple copies] 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) Dana Bartozová (São Paulo) (TBC) Janos Makowsky (Haifa) Alessandra Parmigiano (Delft) Sonja Smets (Amsterdam) Katrin Tent (Münster) (TBC) Andres Villaveces (Bogotá) 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 fabrizio.riguzzi at unife.it Mon Feb 29 16:05:15 2016 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Mon, 29 Feb 2016 15:05:15 +0000 Subject: AI*IA Incoming Mobility Grants 2016 Message-ID: <001a1149bdeeeff6b3052ce9f938@google.com> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Incoming Mobility Grants 2016 Call for research visits Deadline for applications: 10 June 2016 https://sites.google.com/a/aixia.it/italiano/premi/incoming-mobility =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the Association Incoming Mobility Grants for 2015. Applications are solicited for funding a research visit of a PhD student enrolled at a foreign University to an Italian institution. Students will be funded by AI*IA which will cover their travel costs and living expenses (up to 2000 euro). The funding will be provided as a reimbursement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these extended visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal. Eligibility for the visiting student is to be enrolled full-time in a PhD programme at a foreign University. Funding is available for 2 students. The visit start should be between the 1st July 2016 and the 30th of June 2017. Deadline for applications: 10 June 2016 Notification of grants: 22 June 2016 The information required in the application are: 1. name of the foreign PhD student who will be hosted; 2. name and address of the foreign Lab/Department and University; 3. name of the Italian researcher of the hosting institution. The Italian researcher must be a member of the Association for 2016. If she/he is not a member for 2016 she/he must register before applying. 4. a short (max 2 pages) resume/CV of the foreign student; 5. a short (max 2 pages) resume/CV of the Italian host; 6. a short (max 2 pages) description of the research that will be carried out during the visit 7. a budget of the foreseen expenses 8. declaration of the Italian host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research 9. expected visit dates The application must be sent by email to incoming at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Elena.Troubitsyna at abo.fi Mon Feb 29 19:36:19 2016 From: Elena.Troubitsyna at abo.fi (Elena Troubitsyna) Date: Mon, 29 Feb 2016 20:36:19 +0200 Subject: CFP SAFECOMP 2016: deadline extended till March 14th Message-ID: <20160229203619.5uohakq9z4ks0g8g@webmail1.abo.fi> ========================================================== Dear Colleagues, The full paper submission deadline for Safecomp2016 has been extended to March 14, 2016. =========================================================== 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 - - > Extended Full paper submission deadline: 14 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 Alata, E. (FR) 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. (AT) 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. More information: www.safecomp.org www.ewics.org www.ntnu.edu/safecomp2016 Secretariat SAFECOMP2016: Department of Engineering Cybernetics O.S. Bragstads plass 2d, 7491 Trondheim , Norway email : safecomp2016 at ntnu.edu Fax: +47 73594599 Tel : +47 73594376 contact: Amund Skavhaug ************************************************************************