From mvm at cs.uns.edu.ar Thu Oct 1 01:28:54 2015 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Wed, 30 Sep 2015 20:28:54 -0300 Subject: Deadline Extension: FoIKS 2016 || March 7-11, 2016 - Linz, Austria Message-ID: **Apologies for cross-postings*** *IMPORTANT NOTICE:* Due to numerous requests, the submission deadlines have been extended: The abstract submission deadline is now October 25, 2015. The paper submission deadline is now November 1, 2015. ============== FoIKS 2016 | Call for Papers =============== CALL FOR PAPERS 9th International Symposium on Foundations of Information and Knowledge Systems March 7-11, 2016 - Linz, Austria The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2016 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. Previous FoIKS symposia were held in Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, SchlossSalzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics include, but are not limited to: ================================================= * Database Design: formal models, dependencies and independencies; * Big Data: models for data in the Cloud, programming languages for big data, query processing. * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. Submission of Papers: ==================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at https://www.easychair.org/conferences/?conf=foiks2016. Publication: =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. Important Dates: =============== * Abstract submission deadline: October 25, 2015 * Paper submission deadline: November 1, 2015 * FoIKS 2016 Symposium in Linz, Austria: March 07-11, 2014 More information in: =================== * Conference Web Page: http://cdcc.faw.jku.at/FoIKS2016/ * Facebook Fan Page: FOIKS 2016 (www.facebook.com/foiks16) * Twitter: https://twitter.com/FoIKS2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Oct 2 20:26:51 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 02 Oct 2015 20:26:51 +0200 Subject: LATA 2016: 3rd call for papers Message-ID: <96c20a2cbd4672e06919822e6107fea1@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2016   PRAGUE, CZECH REPUBLIC   MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE: LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.   SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata   STRUCTURE: LATA 2016 will consist of: invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS: Avrim Blum (CarnegieMellonUniversity), Reconstructing Preferences from Opaque Transactions Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Giovanni Pighizzini (University of Milan), Restricted Turing Machines and Language Recognition (tutorial) Jean-François Raskin (Free University of Brussels), Non-zero Sum Games for Reactive Synthesis Frank Wolter (University of Liverpool), Automata for Ontologies   PROGRAMME COMMITTEE: Amihood Amir (Bar-IlanUniversity, Ramat Gan, Israel) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Bruno Courcelle (LaBRI, Bordeaux, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Umeå University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Javier Esparza (Technical University of Munich, Germany) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (YonseiUniversity, Seoul, South Korea) Markus Holzer (University of Giessen, Germany) Juraj Hromkovič (ETH Zurich, Switzerland) Oscar H. Ibarra (University of California, Santa Barbara, USA) Costas S. Iliopoulos (King's College London, UK) Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhumäki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Andreas Malcher (University of Giessen, Germany) Oded Maler (VERIMAG, Gières, France) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Bořivoj Melichar (CzechTechnicalUniversity in Prague, Czech Republic) Ugo Montanari (University of Pisa, Italy) František Mráz (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (Bar-IlanUniversity, Ramat Gan, Israel) Martin Plátek (CharlesUniversity in Prague, Czech Republic) Alberto Policriti (University of Udine, Italy) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Frits Vaandrager (RadboudUniversity, Nijmegen, The Netherlands) Pierre Wolper (University of Liège, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janoušek (Prague, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Radomír Polách (Prague) Eliška Šestáková (Prague) Jan Trávníček (Prague) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [1]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016   PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Information and Computation (Elsevier, 2014 JCR impact factor: 0.830) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION: The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php DEADLINES: Paper submission: October 19, 2015 (23:59 CET) Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: LATA 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: České vysoké učení technické v Praze Universitat Rovira i Virgili Links: ------ [1] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue Oct 6 16:22:27 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 6 Oct 2015 10:22:27 -0400 (EDT) Subject: IWIL-11 in Fiji, extended deadline Message-ID: <20151006142228.01150121567@mcclellan.cs.miami.edu> 11th International Workshop on the Implementation of Logics FINAL CALL FOR PAPERS Extended deadline: October 15, 2015. The 11th International Workshop on the Implementation of Logics will be held in November 2015 in conjunction with the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in Suva, Fiji We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Non-classical logics, including modal, temporal, description, non-monotonic reasoning + Formal foundations for efficient implementation of logic + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof/model search organization and heuristics for logical reasoning systems + Data analysis and machine learning approaches to search control + Techniques for proof/model search visualization and analysis + Practical constraint handling + Reasoning with ontologies and other large theories + Implementation of efficient theorem provers and model finders for different logics + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full papers (up to 15 pages) via the EasyChair page for IWIL-2015, https://easychair.org/conferences/?conf=iwil2015 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. Proceedings will be published as EasyChair Proceedings. If number and quality of the submissions warrant it, we plan to produce a special issue of a recognized journal on the topic of the workshop. Important Dates: + Submission of papers/abstracts: October 12, 2015 (extended deadline) + Notification of acceptance: October 26, 2015 + Camera ready versions due: November 9, 2015 + Workshop: November 23, 2015 Program committee: + Boris Konev (Co-Chair) University of Liverpool + Stephan Schulz (Co-Chair) DHBW Stuttgart + Laurent Simon (Co-Chair) University of Bordeaux + Christoph Benzmüller Freie Universität Berlin + Armin Biere Johannes-Kepler Universität Linz + Jasmin Blanchette INRIA/LORIA/Max-Planck-Institut für Informatik + Guillaume Burel ENSIIE/CEDRIC + Simon Cruanes INRIA Paris-Rocquencourt + Tommi Junttila Aalto University + Yevgeny Kazakov Universität Ulm + Konstantin Korovin University of Manchester + Albert Oliveras Universitat Politècnica de Catalunya + Jens Otten Universität Potsdam + Andrew Reynolds Ecole polytechnique fédérale de Lausanne + Peter Schneider-Kamp University of Southern Denmark + Geoff Sutcliffe University of Miami + Josef Urban Radboud University/Czech Technical University + Uwe Waldmann Max-Planck-Institut für Informatik Previous Workshops: + Reunion Workshop (held in conjunction with LPAR'2000 on Reunion Island) + Second Workshop (with LPAR 2001 in Havana, Cuba) + Third Workshop (with LPAR 2002 in Tbilisi, Georgia) + Fourth Workshop (with LPAR 2003 in Almati, Kazakhstan) + Fifth Workshop (with LPAR 2004 in Montevideo, Uruguay) + Sixth Workshop (with LPAR 2006 in Phnom Penh, Cambodia) + Seventh Workshop (with LPAR 2008 in Doha, Qatar) + Eighth Workshop (with LPAR 2010 in Yogyakarta, Indonesia) + Ninth Workshop (with LPAR 2012 in Merida, Venezuela) + Tenth Workshop (with LPAR 2013 in Stellenbosch, South Africa) From ijv at acm.org Wed Oct 7 02:23:19 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 6 Oct 2015 21:23:19 -0300 Subject: KR 2016 Doctoral Consortium Message-ID: KR 2016 DOCTORAL CONSORTIUM Call for Applications Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program that introduces students to senior researchers with similar research interests. The aims of the consortium are: - to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic, research and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. 2) STUDENT SPONSORSHIPS Thanks to the generous support of our sponsors, KR will provide registration and accommodation for selected students. We expect to be able to provide support for all Doctoral Consortium participants that volunteer to help with local organization. Additionally, there is dedicated NSF funding to help cover the travel costs of Doctoral Consortium participants from US universities. More details on student support can be found on the KR website. 3) APPLICATION SUBMISSION Applications must be submitted by email to the following address: kr2016dc at gmail.com Each application must contain the following materials: - Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). - Curriculum Vitae. A description of your background and relevant experience (research, education, employment). - Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. - Indication of whether you request a sponsored studentship, and if so, whether you volunteer to help with local organization during KR, DL, and NMR. Optionally, you can suggest 3-5 potential mentors with similar research interests as you, who could give you good advice on technical aspects of your work, and/or your career. The most preferred way of submission is to combine the thesis summary and the letter of recommendation (and, optionally, the list of suggested mentors) into a single PDF document. If you cannot do that, archive the documents into a single zip file. 4) IMPORTANT DATES - 21 December 2015: Deadline for application - 15 January 2015: Acceptance notification - 25-29 April 2015: Doctoral consortium For further information, please contact the Doctoral Consortium chairs: Meghyn Bienvenu, CNRS (meghyn.bienvenu at lirmm.fr) Joohyung Lee, Arizona State University (joolee at asu.edu) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From p.torroni at unibo.it Thu Oct 8 11:13:21 2015 From: p.torroni at unibo.it (Paolo Torroni) Date: Thu, 8 Oct 2015 09:13:21 +0000 Subject: BiCi student scholarships to attend PRIMA 2015: first batch deadline Sunday October 11 Message-ID: <6EBE61E9-C293-4D70-94E4-897F57AE198E@unibo.it> [Please distribute to anyone interested. Apologies for cross-posting] The Bertinoro Center for Informatics (BiCi) is offering a limited number of *FULL WAIVER* student scholarships to attend the 18th Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) in Bertinoro, Italy, from 26 to 30 October 2015. Each scholarship includes everything once you are in Bertinoro: registration, accommodation, LNCS proceedings, meals, social events, WiFi connection, etc. PRIMA 2015 (http://prima2015.apice.unibo.it/) will feature two tutorials, two workshops, three keynote talks by Michael Maes, Franco Zambonelli and Marc Cavazza, 11 technical sessions with 52 technical talks, posters, demos, and a number of sessions dedicated to discussion and social activities. The PRIMA 2015 schedule is organized by topic, covering a broad spectrum of agent applications and research on social agents, teamwork, engineering, and agent logics and reasoning. The conference programme is available here: http://apice.unibo.it/xwiki/bin/view/PRIMA2015/Program We welcome STUDENT APPLICATIONS. Please send your application, preferably by October 11, to Paolo Torroni which should consist of a 1-page PDF document containing: - name, email, student status (e.g., undergraduate, masters, PhD, … and in which year) and affiliation (name of your University/Department/Institution) - a brief motivational statement of interest (why you wish to attend PRIMA 2015, what do you expect to gain from attending) - a short bio (e.g., topics of interest; school attended; if you’re working on a final project what is the topic; if you’re a research student, what is the topic of your research; if you have some publications: a link to your DBLP, Google Scholar, home page, ORCID, etc.) We will evaluate the first batch of applications that reach us by this Sunday (October 11) and send out the first notifications on Monday (October 12). All applications received after Sunday, until the week before the event, will be evaluated later if there is any funding left. From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Oct 8 13:27:00 2015 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Thu, 8 Oct 2015 11:27:00 +0000 Subject: Course in Epistemic Game Theory, LOFT2016 and GAMES2016 References: <4EC2BF8A6B607D4897095332EC1255310596E406B3@UM-MAIL4110.unimaas.nl> Message-ID: In 2016, our EPICENTER will organize the third EPICENTER Spring Course in Epistemic Game Theory Maastricht University, July 5 – July 19, 2016 Registration: If you want to participate, please send an E-mail to Andrés Perea at: course at epicenter.name Please indicate clearly your university, type of student or position (bachelor-, master- or PhD student, or researcher), and your background/field of expertise. The registration deadline is May 31, 2016. Registration fee: The registration fee for this course is 80 euros. To see how you can pay this amount, please visit our course website: http://www.epicenter.name/springcourse/ The deadline for paying the registration fee is May 31, 2016. Credits: At the end of the course there will be an exam, which is optional. So, you are free to participate without doing the exam. If you pass the exam, you will earn 6.5 ECTS for this course. Everybody who participates in this course will get an official certificate from the EPICENTER and our university. If you pass the exam, you will get a special certificate saying that you are entitled to 6.5 ECTS from your home university. About the course: Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents’ choices, but also about the opponents’ beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world. For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/ Previous editions: In 2014 and 2015 we also gave the EPICENTER Spring Course in Epistemic Game Theory. Both editions were a big success, with highly motivated students from all across Europe and even outside (see pictures below). We hope the 2016 edition will be at least as good. LOFT 2016 and GAMES 2016: Directly after our course, there will be two interesting conferences at Maastricht University. First, there is the Twelfth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016) from July 20 until July 22. For more information, see http://loft.epicenter.name/. Directly afterwards, there is the Fifth World Congress of the Game Theory Society (GAMES 2016) at Maastricht University from July 24 until July 28. For more information, see http://www.games2016.nl/. You are very welcome to stay for one, or both, of these events after the course. Forward: Please forward this message to all people whom you think might be interested. Questions? Please send an E-mail to Andrés Perea at: course at epicenter.name We hope to see you at the course! Best regards, Andrés Perea ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From laurajones at knowalliance.org Thu Oct 8 15:18:48 2015 From: laurajones at knowalliance.org (Laura Jones) Date: Thu, 8 Oct 2015 14:18:48 +0100 Subject: Smart Digital Futures 2016 - Call for Papers Message-ID: Announcing an addition to the KES Smart Digital Futures 2016 conference! ******************************************************************* KES Smart Digital Futures 2016 15th-17th June 2016 5* Hotel Botanico & The Oriental Spa Garden, Puerto de la Cruz, Tenerife http://sdf-16.kesinternational.org/ ******************************************************************** Smart Digital Futures 2016 is an event co-locating conferences on leading edge smart systems topics, and we are pleased to announce that we are welcoming a conference on Innovation in Medicine and Healthcare including Smart Medical and Healthcare Systems! One conference fee now gives you entry to five high-quality conferences on Intelligent Decision Technologies, Intelligent Interactive Multimedia Systems and Services, Agent and Multi-agent Systems: Technologies and Applications, Smart Education and e-Learning and now Innovation in Medicine and Healthcare (Smart Medical and Healthcare Systems) and a paper published in one set of proceedings. =========== Proceedings =========== The conference proceedings will be published by Springer as book chapters in a volume of the KES Smart Innovation Systems and Technologies series, submitted for indexing in Scopus and Thomson-Reuters Conference Proceedings Citation Index (CPCI) and the Web of Science. More details on the individual conferences are provided below: ================================================== Innovation in Medicine and Healthcare inc. Smart Medical and Healthcare Systems 2016 (KES-InMed-16) http://inmed-16.kesinternational.org/ ================================================== The KES International Conference on Innovation in Medicine and Healthcare will gather a multi-disciplinary group consisting of researchers and engineers, managers, students and practitioners from the medical arena, to discuss the ways that innovation, knowledge exchange and enterprise can be applied to issues relating to medicine, surgery, healthcare and the issues of an ageing population. A central theme of the conference will be Smart Medical and Healthcare Systems which will cover the ways in which modern intelligent systems contribute to the solution of problems faced by healthcare and medical practitioners today, addressing the application of these systems through all of the strands of the event. ======================================================== Agents and Multi-agent Systems: Technologies and Applications 2016 (KES-AMSTA-16) http://amsta-16.kesinternational.org/ ======================================================== KES-AMSTA is an international scientific conference for research in the field of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems. Consisting of keynote talks by experts in the field, oral and poster presentations, AMSTA-16 will provide an excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications, as well as intelligent systems in the field of social networks, self-organisation and trust. ========================================== Intelligent Decision Technologies 2016 (KES-IDT-16) http://idt-16.kesinternational.org/ ========================================== The field of Intelligent Decision Technologies is interdisciplinary in nature, bridging computer science with its development of artificial intelligence, information systems with its development of decision support systems, and engineering with its development of systems. The Intelligent Decisions Technologies conference will consist of keynote talks, oral and poster presentations, invited sessions and workshops, on the applications and theory of intelligent decision systems and related areas. It will provide excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and generation of new ideas. ============================================================== Intelligent Interactive Multimedia Systems and Services 2016 (KES-IIMSS-16) http://iimss-16.kesinternational.org/ ============================================================== IIMSS-16 is an international scientific symposium for research in the fields of intelligent interactive multimedia systems and services. The aim of the conference is to provide an internationally respected forum for scientific research in the technologies and applications of intelligent and interactive multimedia systems and services. At a time when computers are more widespread than ever and computer users range from highly qualified scientists to non-computer expert professionals, Intelligent Interactive Systems are becoming a necessity in modern computer systems. The solution of "one-fits-all" is no longer applicable to wide ranges of users of various backgrounds and needs. Therefore one important goal of many intelligent interactive systems is dynamic personalization and adaptivity to users. Multimedia Systems refer to the coordinated storage, processing, transmission and retrieval of multiple forms of information, such as audio, image, video, animation, graphics, and text. The growth rate of multimedia services has become explosive, as technological progress matches consumer needs for content. =================================================== Smart Education and e-Learning 2016 (KES-SEEL-16) http://seel-16.kesinternational.org/ =================================================== SEEL is a major international forum for the presentation of innovative ideas, approaches, technologies, systems, findings and outcomes of research and design and development projects in the emerging areas of smart education, smart e-learning, applications of smart technology and smart systems in education and e-learning, smart classrooms and smart universities, and knowledge-based smart society. SEEL will provide an excellent opportunity for scholars, Ph.D. students, faculty, administrators, and practitioners to meet well-known experts from all over the world and to discuss innovative ideas and approaches, advances in smart technology and intelligent systems, state-of-the-art software and hardware systems, research findings and outcomes, best practices and case studies, national and international projects, institutional standards and policies, and many other topics related to smart technology-based education and corporate training. ================= Dates and Deadlines ================= Submission Deadline: 18 January 2016 Notification of acceptance: 15 February 2016 Upload Final Publication Files: 7 March 2016 ===== Venue ===== The venue will be the luxurious 5 star Hotel Botanico & The Oriental Spa Garden, Puerto de la Cruz, Tenerife. Puerto de la Cruz is a city and municipality in the northern part of the island of Tenerife, Canary Islands, Spain. There is plenty to see and do in this beautiful city so it is the perfect place to mix business and pleasure! You can find out more about the venue here: https://hotelbotanico.com/en/# We have negociated rates on the website for our delegates to take advantage of here: http://amsta-16.kesinternational.org/hotels.php =============== Further Information =============== For general enquiries about the conference, please contact: admin at kesinternational.org For registration enquiries, please contact: registration at kesinternational.info You can follow us for updates on: Twitter: @KESIntl Facebook: https://www.facebook.com/KesInternational If you have any problems please email: admin at kesinternational.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Frederic.Mallet at inria.fr Fri Oct 9 10:14:19 2015 From: Frederic.Mallet at inria.fr (=?ISO-8859-1?Q?MALLET_Fr=E9d=E9ric?=) Date: Fri, 09 Oct 2015 10:14:19 +0200 Subject: CfP: TASE 2016 Message-ID: <5617775B.7040708@inria.fr> ***************************************************************************** 10th International Symposium on Theoretical Aspects of Software Engineering Call for Papers TASE 2016 July 17-19, 2016, Shanghai, China http://tase2016.ecnu.edu.cn * Important dates ********************************************************** Abstract research paper 10 January 2016 Submission research paper 17 January 2016 (strict) Author notification 20 March 2016 Camera ready copy 10 April 2016 ********************************************************** * Objectives and scope TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following: + Abstract interpretation + Algebraic and co-algebraic specifications + Aspect oriented software + Component-based systems + Cyber-physical systems + Deductive verification + Distributed and concurrent systems + Embedded and real-time systems + Feature-oriented software + Formal verification and program semantics + Integration of formal methods + Language design + Model checking and theorem proving + Object-oriented systems + Program logics and calculi + Quantum computation + Run-time verification and monitoring + Service-oriented and cloud computing + Software architecture + Software testing and quality assurance + Software security and reliability + Static analysis of programs + Type systems and behavioural typing + Tools exploiting theoretical results * Venue and event TASE 2016 will be held on the campus of the East China Normal University in Shanghai, China, on 17 - 19 July 2016. * Keynote speakers Christel Baier (Technical University of Dresden, DE) Ana Cavalcanti (University of York, UK) Jifeng He (East China Normal University, CN) * General chairs W. Eric Wong (The University of Texas at Dallas, USA) Huibiao Zhu (East China Normal University, China) * PC chairs Marcello Bonsangue (Leiden University, NL) Yuxin Deng (East China Normal University, CN) * Publicity chairs Frederic Mallet (University of Nice Sophia Antipolis, FR) Min Zhang (East China Normal University, CN) * Programme committee Erika Abraham (RWTH Aachen University, DE) Bernhard Aichernig (Graz University of Technology, AT) Elvira Albert (Complutense University of Madrid, ES) Davide Ancona (University of Genova, IT) Farhad Arbab (CWI, NL) Luis Barbosa (University of Minho, PT) Richard Bubel (Techniacl University of Darmastadt, DE) Andrew Butterfield (Trinity College Dublin, IE) Marco Carbone (IT University of Copenhagen, DK) Rocco de Nicola (IMT-Institute for Advanced Studies, IT) Zhenhua Duan (Xidian University, CN) Yuxi Fu (Shanghai Jiao Tong University, CN) Stefania Gnesi (ISTI-CNR, IT) Hai-Feng Guo (University of Nebraska at Omaha, USA) Zhenjiang Hu (National Institute of Informatics, JP) Marieke Huisman (University of Tweente, NL) Dang Van Hung (Vietnam National University, VT) Einar Broch Johnsen (Oslo University, NO) Laura Kovacs (Chalmers University of Technology, SE) Xuandong Li (Nanjing University, CN) Shaoying Liu (Hosei University, JP) Zhiming Liu (Birmingham City University, UK) Antonia Lopes (University of Lisbon, PT) Frederic Mallet (University of Nice Sophia Antipolis, FR) Carroll Morgan (University of New South Wales, AU) Mohammad Reza Mousavi (Halmstad University, SE) Catuscia Palamidessi (INRIA, FR) Jun Pang (University of Luxembourg, LU) Luigia Petre (Abo Akademi University, FI) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, CN) Gerardo Schneider (Chalmers University of Technology, SE) Emil Sekerinski (McMaster University, CA) Georg Struth (University of Sheffield, UK) Jing Sun (University of Auckland, NZ) Jun Sun (Singapore University of Technology and Design, SG) Jean Pierre Talpin (INRIA, FR) Andrzej Tarlecki (Warsaw University, PL) Viktor Vafeiadis (MPI-SWS, DE) Chao Wang (Virginia Tech, US) Yi Wang (Uppsala University, SE) Heike Wehrheim (University of Paderborn, DE) W. Eric Wong (The University of Texas at Dallas, US) Lijun Zhang (Chinese Academy of Sciences, CN) Min Zhang (East China Normal University, CN) Huibiao Zhu (East China Normal University, CN) * Steering Committee: Keijiro Araki (Kyushu University, JP) Jifeng He (East China Normal University, CN) Michael Hinchey (Lero, IE) Shengchao Qin (Teesside University, UK) Huibiao Zhu (East China Normal University, CN) * Submission guidelines We solicit contributions that describe original and unpublished research, and should not be submitted for publication elsewhere. They are limited to 8 pages, must be written in English, and the format should adhere to the A4 double column IEEE style. Please prepare your manuscripts with respect to the IEEE guidelines. Papers should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=tase2016. The proceedings of the TASE 2016 symposium will include all accepted papers and will be published by the IEEE Computer Society Press (approval pending). The authors of selected papers will be invited after the symposium to submit an extended version to a journal special issue. ****************************************************************************** From francesco.amigoni at polimi.it Fri Oct 9 14:30:20 2015 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Fri, 9 Oct 2015 12:30:20 +0000 Subject: Robotics Track at AAMAS 2016: Call for Papers Message-ID: (Apologies for cross-postings.) ********************************************************************************************************************** Call for Papers ***Robotics Track*** at 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) 9-13th of May, 2016, Singapore Grand Copthorne Waterfront Hotel http://sis.smu.edu.sg/aamas2016 ********************************************************************************************************************** Important Dates --------------- Abstract Submission: 13th of November, 2015 (23:59 UTC-12) Full Paper Submission: 17th of November, 2015 (23:59 UTC-12) Rebuttal Phase: 11-12th of January, 2016 (23:59 UTC-12) Author Notification: 26th of January, 2016 AAMAS 2016 Robotics Track ----------- AAMAS 2016 Robotics Track solicits papers that advance theory and applications of single and multiple robots, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. Topics of Interest ------------------ Topics of interest include (but are not limited to) the following: - Bioinspired robots, swarms, and collective behaviours - Distributed robotics, networked robot/sensor systems, and cloud robotics - Human-robot interaction, communication, and teamwork - Machine learning for robotics - Mapping, localization, and exploration - Robot planning (including action selection, motion and path planning and manipulation) - Robot teams, multi-robot systems, robot coordination - Robotic agent languages, middleware, and formal methods for robot systems - Robots in applications (including field robotics, personal/service robots) Information for Authors ----------------------- Submissions to the Robotics Track will follow AAMAS procedures and will be rigorously peer reviewed and evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. Submissions are limited to 8 pages in length, with a 9th page being allowed *provided it only contains bibliographic references*. Reviews will be double blind; authors must avoid including anything in their papers that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8-page) papers must be submitted for the review process to begin. All work must be original, i.e., it must not have appeared in a conference proceedings, book, or journal and may not be under review for another archival conference. The review process for the special tracks will be the same as for the main track, but with programme committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. Robotics Track Chairs ----------------- Francesco Amigoni (Politecnico di Milano, Italy) Roderich Gross (University of Sheffield, UK) About AAMAS ----------- AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. General Information ------------------- All full papers accepted to the main track and the special tracks will be presented in parallel technical sessions. All the papers will be published in the conference Proceedings and will be permanently available after the conference at . In addition, AAMAS 2016 will include: * Workshops * Demonstrations * Posters presentations for full papers and extended abstracts * Invited talks and panel discussions The submission processes for the workshops and demonstrations are separate from the main paper submission process. Relevant information will be posted on the relevant pages. Policies -------- Policy on multiple and previous submissions. Authors may not submit any paper to AAMAS 2016 that has already appeared in an archival forum. Authors must ensure that no submission to AAMAS 2016 is under review for another archival forum between the AAMAS 2016 submission and decision dates. Policy on harassment at the conference environment. IFAAMAS is committed to organising the AAMAS conference and its affiliated events in an environment that is free of harassment for everyone involved: delegates, organisers, conference workers, and reviewers. All participants in IFAAMAS events are asked to embrace our intention to foster a harassment-free scientific community, and to understand that IFAAMAS will respond appropriately to incidents of harassment if they occur. The complete IFAAMAS harassment policy is available in the AAMAS 2016 website. For further details about AAMAS 2016, please visit the website at or contacpcchair-aamas2016 at gmail.com --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From announce at cs.ucy.ac.cy Fri Oct 9 16:17:00 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 9 Oct 2015 17:17:00 +0300 Subject: CS Dept, Univ. of Cyprus: Job Vacancy for a Post-Doctoral Researcher Message-ID: *** UNIVERSITY OF CYPRUS *** *** DEPARTMENT OF COMPUTER SCIENCE *** SOFTWARE ENGINEERING AND INTERNET TECHNOLOGIES (SEIT) RESEARCH LAB http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJQ1MgRGVwdCwgVW5pdi4gb2YgQ3lwcnVzOiBKb2IgVmFjYW5jeSBmb3IgYSBQb3N0LURvY3RvcmFsIFJlc2VhcmNoZXIJMzAxCUFkZHJlc3Nlcwk4NTA1CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cs.ucy.ac.cy%2Fseit VACANT POSITION OF POST-DOCTORAL RESEARCHER Position: Special Scientist (Post-Doctoral Researcher) Category: Contract-based Appointment: 12 months (initial) Location: Nicosia, Cyprus Job Announcement: The Research Laboratory of Software Engineering and Internet Technologies (SEIT) of the Department of Computer Science, University of Cyprus invites qualified researchers to express their interest for a vacant position as a Special Scientist (Post-Doctoral Researcher) in Mobile, Digital and Social media technologies. The Team: SEIT focuses its research activities on two important areas of Information Technology, namely Software Engineering and Internet Technologies. In the first area, SEIT focuses on Cloud Computing, Service Oriented Architectures, Context-Aware Middleware Platforms and Smart and Mobile Computing for the development of pervasive, self-adaptive applications and Smart IoT services. In the second area, the Laboratory concentrates on the development of ICT-enabled Environments, platforms and tools for implementing Health monitoring and support services, Smart and Personalised services for Elders, Assistive Technologies for people with disabilities and Creativity services. The lab also pursues activities related to Technology Enhanced Learning, E-Business, E-Government and developing environments for elders' social inclusion, active ageing and independent living. Finally, the lab's research is also related to Creativity, Recommender Systems and Crowd Sourcing. Job Description: The fellowship calls for research within the context of the "Scientific Challenge (SCICHALLENGE)" H2020 European research project, on "Next Generation Science challenges using digital and social media to make Science Education and Careers attractive for young people". The successful candidate will be in charge of research, design and development of a Web Platform integrating multifunctional modules like open information hub, a contest submission system with syndication features, dashboards as linkable hotspots with social sharing functionalities, and awareness channels. The project goal is to raise the attractiveness of science education and scientific careers, to boost the interest of young people in science, technology, engineering and mathematics, and to introduce innovative and effective teaching and education methods. The appointed fellow is expected to work independently and/or as part of the team on the research areas of Mobile, Digital and Social media technologies. Requirements: The candidate is expected to be a highly-motivated individual with proven capability to work in a demanding multi-disciplinary research environment and eager to be actively engaged in the demanding activities of European projects, collaborating efficiently with the SEIT research team. Minimal requirements include: · A Ph.D. degree in Computer Science. · Proven research work in Mobile, Digital and Social media technologies. · Expertise in Software Engineering Methods and Architectures applied to any of the following areas will be considered as a favourable qualification: Cloud Computing, Internet of Things, Context-Aware & Adaptive Systems, and Automatic Deployment & Dynamic Configuration. Employment Terms: This position is on a contract basis with the initial appointment for a period of twelve (12) months. The monthly salary will be ?3,000-3,500 (EUR) depending on qualifications. Employee contributions to social security etc. will be covered by the gross salary of the employee. There is no provision for 13th salary or medical and pharmaceutical insurance. Interested applicants are invited to submit a detailed Curriculum Vitae (CV), as well as a description of their academic and research experiences (research statement) in English. For more information, please contact: Prof. George A. Papadopoulos (tel: +357-22-892693, email: [george AT cs.ucy.ac.cy] ) All application material must be submitted via email to Prof. George A. Papadopoulos. This is an open position until a person qualified to the above criteria is appointed. To be removed from this list, please click on this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJQ1MgRGVwdCwgVW5pdi4gb2YgQ3lwcnVzOiBKb2IgVmFjYW5jeSBmb3IgYSBQb3N0LURvY3RvcmFsIFJlc2VhcmNoZXIJMzAxCUFkZHJlc3NlcwktLQk4NTA1CXVuc3Vic2NyaWJlCW5vCW5v -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Oct 9 21:29:14 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 09 Oct 2015 21:29:14 +0200 Subject: BigDat 2016: early registration deadline 19 October Message-ID: <0be58ab9249bd3d857bd050cb2c4f900@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: October 19, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [tba] Big Data Enabled Computational Social Science Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Fuli Yu (Baylor College of Medicine), [introductory/intermediate] Overview of Large-scale Genomics and Variant Analysis Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/advanced] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i VirgiliUniversity -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sat Oct 10 03:29:43 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Fri, 9 Oct 2015 22:29:43 -0300 Subject: Call for Papers KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: CALL FOR PAPERS *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) KR 2016 IMPORTANT DATES ----------------------- * Submission of title and abstract: 21 November 2015 * Paper submission deadline: 28 November 2015 * Notification of acceptance: 21 January 2016 * Camera-ready papers due: 19 February 2016 * Conference: 25-29 April 2016 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics SUBMISSION INFORMATION ---------------------- Submissions must be original, and should not have been previously published, accepted for publication, or currently be under review. Authors may not submit their paper elsewhere during the KR 2016 reviewing period. These considerations apply only to journals and conferences, and not to workshops and forums with a limited audience and without archival proceedings. In case of doubt, please contact the Program Chairs. Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip The conference proceedings will be published by AAAI Press. For complete details, see the 'Submission information' page at http://www.kr.org/KR2016 PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Oct 12 17:19:07 2015 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Mon, 12 Oct 2015 15:19:07 +0000 Subject: LOFT2016 call for papers Message-ID: <76EB856A-E608-40C7-AEC9-927F5D47AED2@liverpool.ac.uk> LOFT12 2016: Call for Papers Twelfth Conference on Logic and the Foundations of Game and Decision Theory University of Maastricht, The Netherlands, July 20-22, 2016 http://loft.epicenter.name/ AIMS OF THE CONFERENCE This is the twelfth in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous eleven conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, Sevilla (Spain), 2012 and Bergen (Norway), 2014. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://easychair.org/conferences/?conf=loft2016 The deadline for submission is March 1, 2016, and authors will be notified of acceptance decisions by April 15, 2016. PROGRAM CHAIRS: Giacomo Bonanno, University of California Davis, U.S.A. Andrés Perea, University of Maastricht, The Netherlands Wiebe van der Hoek, University of Liverpool, United Kingdom PROGRAM COMMITTEE: Christian Bach Alexandru Baltag Juan Block Jan Broersen Edith Elkind Spyros Galanis Valentin Goranko Olivier Gossner Davide Grossi Julian Gutierrez Ziv Hellman Andreas Herzig Wesley Holliday Willemien Kets Piotr Krysta Jérôme Lang Harvey Lederman Emiliano Lorini Larry Moss Eric Pacuit Paul Pedersen Antonio Penta Martin Peterson Daniele Porello Wlodek Rabinowicz Bryan Renne Olivier Roy Marija Slavkovik Elias Tsakas Hans van Ditmarsch Yanjing Wang Peio Zuazo-Guarin PUBLICATION OF CONTRIBUTED PAPERS: We anticipate that, as in the past, a selection of papers presented at LOFT12 will be published in one or two special issues of journals. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html IMPORTANT DATES: Deadline for submission: 1 March, 2016 Deadline for reviews: 1 April, 2016 Notification to authors: 15 April, 2016 Conference: July 20-22, 2016 ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From cfp at dsi.uminho.pt Mon Oct 12 18:38:30 2015 From: cfp at dsi.uminho.pt (Filipe Portela) Date: Mon, 12 Oct 2015 17:38:30 +0100 Subject: Fwd: [WorldCIST'16]: Pervasive Information Systems Workshop - Call for Papers In-Reply-To: <561BDFDF.5070409@dsi.uminho.pt> References: <561BDFDF.5070409@dsi.uminho.pt> Message-ID: <561BE206.1070408@dsi.uminho.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sn.mailing.lists at gmail.com Mon Oct 12 20:41:28 2015 From: sn.mailing.lists at gmail.com (Slawomir Nowaczyk) Date: Mon, 12 Oct 2015 20:41:28 +0200 Subject: SCAI 2015 Call for Participation (Halmstad, Sweden) Message-ID: <20151012204111.DA6D.A505E19D@gmail.com> ******************************************************************************** Call for Participation SCAI 2015 The Thirteenth Scandinavian Conference on Artificial Intelligence November 5-6, 2015 Halmstad, Sweden http://www.hh.se/scai2015 Deadline for conference registration is 24th of October 2015 ******************************************************************************** The 13th Scandinavian AI conference, SCAI 2015, will be held in Halmstad, Sweden, on 5th and 6th of November, 2015. The conference is co-organised by Center for Applied Intelligent Systems Research at Halmstad University, and SAIS, the Swedish Artificial Intelligence Society. Keynote speakers for SCAI 2015 include Christopher Nugent, Professor of Biomedical Engineering and the head of Smart Environments Research Group at University of Ulster, who will give a talk about analysis of data from smart environments and wearable sensors; Christine Chevallereau, Research Director at Institut de Recherche en Communications et Cybernétique de Nantes, who will give a talk about modelling and control of bipedal robots; and Christos Dimitrakakis, Chalmers University of Technology. The two-day programme also includes 2015 SAIS Master Thesis Award presentation by Mattias Tiger, as well as sixteen research papers from all areas of the Artificial Intelligence. As a part of the conference, on 4th of November 2015, we will organise a Doctoral Symposium, as well as two thematic workshops: "Intelligent and connected vehicles" and "Intelligent environments supporting health and well-being". Important Dates --------------- Registration deadline: 24th of October 2015 Conference: 5th and 6th of November 2015 Contact ---------- scai2015 at hh.se ******************************************************************************** -- Best wishes, Slawomir Nowaczyk ( Slawomir.Nowaczyk at hh.se ), Associate Professor Center for Applied Intelligent Systems Research, Halmstad University, Sweden http://islab.hh.se/mediawiki/index.php/Slawomir_Nowaczyk A phoneless cord: For people who like peace and quiet. From s.verberne at cs.ru.nl Tue Oct 13 16:31:16 2015 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 13 Oct 2015 16:31:16 +0200 Subject: ECAI 2016 - First call for papers Message-ID: (Apologies for cross-posting) FIRST CALL FOR PAPERS: ECAI 2016 *22nd European Conference on Artificial Intelligence – ECAI 2016* *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 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 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 Reviewing is single-blinded. Submission and review of papers for ECAI 2016 will be managed via the ConfMaster system: ecai 2016.confmaster.net When a submission was previously rejected by IJCAI 2015, the program chairs intend to make use of the IJCAI reviews as part of the ECAI review process. The mechanism for this is currently under discussion. Proceedings and presentation The proceedings of the conference will be published by IOS Press. The chairs of ECAI 2016 are currently in negotiation with AI Communications, the European AI journal, published by IOS Press, over establishing a route to journal publication of ECAI accepted papers. The details of this arrangement will be confirmed shortly. The proceedings of recent ECAI conferences are freely available on the IOS website. 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 nicola.olivetti at univ-amu.fr Wed Oct 14 23:06:21 2015 From: nicola.olivetti at univ-amu.fr (Nicola OLIVETTI) Date: Wed, 14 Oct 2015 23:06:21 +0200 (CEST) Subject: IJCAR 2016 First Call for Paper Message-ID: <1919060781.63375.1444856781103.JavaMail.root@bureau-frontal1.univ-amu.fr> ** FIRST CALL FOR PAPERS ** IJCAR 2016 - The 8th International Joint Conference on Automated Reasoning Coimbra, Portugal, 27 June- 2 July, 2016 http://www.uc.pt/en/congress/ijcar2016/ Call for Papers --------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2016 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR 2016 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem provers, combination of decision procedures, SAT and SMT solving, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. The proceedings of IJCAR 2016 will be published by Springer-Verlag in the LNAI/LNCS series (www.springer.com/lncs). Submission details: Submission is electronic, through https://www.easychair.org/conferences/?conf=ijcar2016 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html The page limit is 15 pages for full papers, and 8 pages for system descriptions. Best paper award: IJCAR 2016 will offer a best paper award to recognize the most outstanding paper appearing at the conference. Program co-chairs: Nicola Olivetti (Aix-Marseille University, LSIS, France) Ashish Tiwari (SRI International, USA) Conference chair: Pedro Quaresma (University of Coimbra) Publicity chair: Sandra Marques Pinto (University of Coimbra) Workshop chair: Reinhard Kahle (New University of Lisbon) ***** Important dates: Abstract submission deadline: January 18, 2016 Paper submission deadline: January 25, 2016 Notification of paper decisions: March 21, 2016 Final version of papers due: April 11, 2016 Main Conference: 27-30 June, 2016 Satellite Events: 1-2 July, 2016 Student travel awards: Travel awards will be available to enable selected students to attend the conference. Details will be announced in March 2016. Program Committee: Franz Baader (TU Dresden) Peter Baumgartner (NICTA, The Australian National University) Maria Paola Bonacina (Università degli Studi di Verona) Agata Ciabattoni (TU Wien) Leonardo de Moura (Microsoft Research) Hans De Nivelle (University of Wroclaw) Stephanie Delaune (LSV, CNRS, ENS Cachan) Stéphane Demri (LSV, CNRS, ENS Cachan) Clare Dixon (University of Liverpool) Christian Fermüller (TU Wien) Didier Galmiche (Université de Lorraine, LORIA) Silvio Ghilardi (Università degli Studi di Milano) Jürgen Giesl (RWTH Aachen) Birte Glimm (Universität Ulm) Rajeev Goré (The Australian National University) Reiner Hähnle (Technical University of Darmstadt) Stefan Hetzl (TU Wien) Dejan Jovanović (SRI International) Reinhard Kahle (New University of Lisbon) Deepak Kapur (University of New Mexico) Jordi Levy (IIIA - CSIC) Carsten Lutz (University of Bremen) Christopher Lynch (Clarkson University) George Metcalfe (University of Bern) Aart Middeldorp (University of Innsbruck) Dale Miller (INRIA and LIX/Ecole Polytechnique) Sara Negri (University of Helsinki) Nicola Olivetti (Aix-Marseille University, LSIS) Jens Otten (University of Potsdam) Lawrence Paulson (University of Cambridge) Nicolas Peltier (CNRS - LIG, Grenoble) Andrei Popescu (Middlesex University London) Christophe Ringeissen (LORIA-INRIA, Nancy) Philipp Ruemmer (Uppsala University) Masahiko Sakai (Nagoya University) Renate A. Schmidt (University of Manchester) Roberto Sebastiani (Università di Trento) Martina Seidl (Johannes Kepler University Linz) Viorica Sofronie-Stokkermans (University of Koblenz-Landau MPI) Ashish Tiwari (SRI International) Josef Urban (Czech Technical Institute Prague) Christoph Weidenbach (MPI Saarbrücken) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Oct 15 16:55:35 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 15 Oct 2015 10:55:35 -0400 (EDT) Subject: LPAR-20 in Fiji - Registration is open Message-ID: <20151015145535.4645A1214A0@mcclellan.cs.miami.edu> =============================================================================== The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Suva, Fiji, 23rd-28th November 2015 www.LPAR-20.info CALL FOR PARTICIPATION Registration for LPAR-20 is now open ... follow the link from the conference web page. Information about travel to Fiji, and accomodation in Suva, is also available on the web page. Come join us for the focussed workshops, the high quality conference, and the renowned LPAR social events. =============================================================================== From feeds at sentic.net Fri Oct 16 07:33:08 2015 From: feeds at sentic.net (feeds) Date: Fri, 16 Oct 2015 00:33:08 -0500 (EST) Subject: [SenticNet] Deadline Extension: KBS Special Issue on New Avenues in Knowledge Bases for Natural Language Processing Message-ID: <1323639405.466543.1444973588908.JavaMail.open-xchange@bosoxweb01.eigbox.net> Apologies for cross-posting, The deadline for the KBS Special Issue on New Avenues in Knowledge Bases for Natural Language Processing has been extended to 15th November 2015. No more extensions will be granted. For more information, please visit http://sentic.net/kbnlp RATIONALE Between the birth of the Internet and 2003, year of birth of social networks such as MySpace, Delicious, LinkedIn, and Facebook, there were just a few dozen exabytes of information on the Web. Today, that same amount of information is created weekly. The advent of the Social Web has provided people with new content-sharing services that allow them to create and share their own contents, ideas, and opinions, in a time- and cost-efficient way, with virtually millions of other people connected to the World Wide Web. This huge amount of information, however, is mainly unstructured (because it is specifically produced for human consumption) and hence not directly machine-processable. The automatic analysis of text involves a deep understanding of natural language by machines, a reality from which we are still very far off. Hitherto, online information retrieval, aggregation, and processing have mainly been based on algorithms relying on the textual representation of webpages. Such algorithms are very good at retrieving texts, splitting them into parts, checking the spelling and counting the number of words. When it comes to interpreting sentences and extracting meaningful information, however, their capabilities are known to be very limited, as most of the existing approaches are still based on the syntactic representation of text, a method that relies mainly on word co-occurrence frequencies. Such algorithms are limited by the fact that they can process only the information that they can ‘see’. As human text processors, we do not have such limitations as every word we see activates a cascade of semantically related concepts, relevant episodes, and sensory experiences, all of which enable the completion of complex NLP tasks – such as word-sense disambiguation, textual entailment, and semantic role labeling – in a quick and effortless way. Knowledge-based NLP focuses on the intrinsic meaning associated with natural language text. Rather than simply processing documents at syntax-level, knowledge-based approaches rely on implicit denotative features associated with natural language text, hence stepping away from the blind usage of word co-occurrence count. Unlike purely syntactical techniques, knowledge-based approaches are also able to detect semantics that are expressed in a subtle manner, e.g., through the analysis of concepts that do not explicitly convey relevant information, but which are implicitly linked to other concepts that do so. TOPICS Articles are invited in area of knowledge-based systems for natural language processing and understanding. The broader context of the Special Issue comprehends artificial intelligence, knowledge representation and reasoning, data mining, transfer learning, knowledge acquisition, neural networks, semantic networks, web ontologies, and more. Topics include, but are not limited to: • Document retrieval and classification • Information retrieval and extraction • Topic modeling, topic spotting, and topic segmentation • Aspect extraction and named-entity recognition • Textual entailment and semantic role labeling • Sentiment analysis and subjectivity detection • Text summarization and question answering • Machine translation and microtext analysis • Word-sense disambiguation and anaphora resolution • Time-evolving topic and sentiment tracking • Multimodal fusion for continuous interpretation of semantics • Semantic multi-dimensional scaling and common-sense reasoning • Sarcasm detection and intention mining • Semi-supervised learning and domain adaptation • Human-agent, -computer, and -robot interaction The Special Issue also welcomes papers on specific application domains of knowledge-based natural language processing, e.g., user profiling and personalization, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, social media marketing, and cyber-issue detection. The authors will be required to follow the Author’s Guide for manuscript submission to Knowledge-Based Systems. TIMEFRAME Paper submission: November 15th, 2015 First revision: January 10th, 2016 Updated versions: March 15th, 2016 Second revision: April 30th, 2016 Final version: June 15th, 2016 GUEST EDITORS • Erik Cambria, Nanyang Technological University (Singapore) • Björn Schuller, Imperial College London (UK) • Yunqing Xia, Tsinghua University (China) • Bebo White, Stanford University (USA) From fabio.zanasi at ens-lyon.fr Fri Oct 16 12:14:40 2015 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Fri, 16 Oct 2015 12:14:40 +0200 (CEST) Subject: CMCS 2016 : Second Call for Papers Message-ID: <20151016101440.D615EA3B54@jabiru.ens-lyon.fr> Call for Papers 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) 2 - 3 April 2016, Eindhoven, the Netherlands http://www.coalg.org/cmcs16 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016. Keynote Speaker --------------- Jiri Adamek, Braunschweig University of Technology, Germany Invited Speakers --------------- Andreas Abel, University of Gothenburg, Sweden Filippo Bonchi, CNRS/ENS Lyon, France 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 Important dates --------------- Abstract regular papers 4 January 2016 Submission regular papers 13 January 2016 Notification regular papers 12 February 2016 Camera-ready copy 19 February 2016 Submission short contributions 22 February 2016 Notification short contributions 6 March 2016 Programme committee ------------------- Paolo Baldan, University of Padova, Italy Corina Cirstea, University of Southampton, United Kingdom Ugo Dal Lago, University of Bologna, Italy Ichiro Hasuo (chair), University of Tokyo, Japan Tom Hirschowitz, CNRS and University of Savoie, France Bart Jacobs, Radboud University Nijmegen, the Netherlands Shin-ya Katsumata, Kyoto University, Japan Bartek Klin, University of Warsaw, Poland Barbara Koenig, University of Duisburg-Essen, Germany Stefan Milius, FAU Erlangen-Nuernberg, Germany Matteo Mio, CNRS and ENS Lyon, France Rasmus Mogelberg, IT University of Copenhagen, Denmark Larry Moss, Indiana University, United States Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Dirk Pattinson, Australian National University, Australia Daniela Petrisan, Radboud University Nijmegen, the Netherlands Jean-Eric Pin, CNRS and Paris Diderot University, France John Power, University of Bath, United Kingdom Jurriaan Rot, University of Leiden, the Netherlands Jan Rutten, CWI/Radboud University Nijmegen, the Netherlands Alexandra Silva, University College London, United Kingdom Joost Winter, University of Warsaw, Poland James Worrell, University of Oxford, United Kingdom Publicity chair --------------- Fabio Zanasi, ENS Lyon, France PC chair -------- Ichiro Hasuo, University of Tokyo, Japan Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2016. The proceedings of CMCS 2016 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. From grlmc at grlmc.com Sat Oct 17 08:30:44 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 17 Oct 2015 08:30:44 +0200 Subject: LATA 2016: submission deadline extended Message-ID: <930a34edab490410e9d0ce033648dc0a@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 26 ***** ---------------------------------------------------------------------------- **************************************************************************************** 10TH INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2016   PRAGUE, CZECH REPUBLIC   MARCH 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology CzechTechnicalUniversity in Prague Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE: LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.   SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata   STRUCTURE: LATA 2016 will consist of: invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS: Avrim Blum (CarnegieMellonUniversity), Reconstructing Preferences from Opaque Transactions Martin Grohe (RWTHAachenUniversity), Connectivity Systems, Decompositions, and Tangles Giovanni Pighizzini (University of Milan), Restricted Turing Machines and Language Recognition (tutorial) Jean-François Raskin (Free University of Brussels), Non-zero Sum Games for Reactive Synthesis Frank Wolter (University of Liverpool), Automata for Ontologies   PROGRAMME COMMITTEE: Amihood Amir (Bar-IlanUniversity, Ramat Gan, Israel) Dana Angluin (YaleUniversity, New Haven, USA) Franz Baader (Technical University of Dresden, Germany) Christel Baier (Technical University of Dresden, Germany) Hans L. Bodlaender (UtrechtUniversity, The Netherlands) Jean-Marc Champarnaud (University of Rouen, France) Bruno Courcelle (LaBRI, Bordeaux, France) Rod Downey (VictoriaUniversity of Wellington, New Zealand) Frank Drewes (Umeå University, Sweden) Ding-Zhu Du (University of Texas, Dallas, USA) Javier Esparza (Technical University of Munich, Germany) Michael Fellows (CharlesDarwinUniversity, Darwin, Australia) Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA) Yo-Sub Han (YonseiUniversity, Seoul, South Korea) Markus Holzer (University of Giessen, Germany) Juraj Hromkovič (ETH Zurich, Switzerland) Oscar H. Ibarra (University of California, Santa Barbara, USA) Costas S. Iliopoulos (King's College London, UK) Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic) Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia) Ming-Yang Kao (Northwestern University, Evanston, USA) Juhani Karhumäki (University of Turku, Finland) Joost-Pieter Katoen (RWTH Aachen University, Germany) Martin Kutrib (University of Giessen, Germany) Zhiwu Li (Xidian University, Xi'an, China) Andreas Malcher (University of Giessen, Germany) Oded Maler (VERIMAG, Gières, France) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Bořivoj Melichar (CzechTechnicalUniversity in Prague, Czech Republic) Ugo Montanari (University of Pisa, Italy) František Mráz (CharlesUniversity in Prague, Czech Republic) Mitsunori Ogihara (University of Miami, Coral Gables, USA) Alexander Okhotin (University of Turku, Finland) Doron A. Peled (Bar-IlanUniversity, Ramat Gan, Israel) Martin Plátek (CharlesUniversity in Prague, Czech Republic) Alberto Policriti (University of Udine, Italy) Daniel Reidenbach (University of Loughborough, UK) Antonio Restivo (University of Palermo, Italy) Kai Salomaa (Queen's University, Kingston, Canada) Davide Sangiorgi (University of Bologna, Italy) Uli Sattler (University of Manchester, UK) Frits Vaandrager (RadboudUniversity, Nijmegen, The Netherlands) Pierre Wolper (University of Liège, Belgium) Zhilin Wu (Chinese Academy of Sciences, Beijing, China) Mengchu Zhou (New Jersey Institute of Technology, Newark, USA) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Jan Janoušek (Prague, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Radomír Polách (Prague) Eliška Šestáková (Prague) Jan Trávníček (Prague) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 [1]). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2016   PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Information and Computation (Elsevier, 2014 JCR impact factor: 0.830) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION: The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at: http://grammars.grlmc.com/lata2016/Registration.php DEADLINES: Paper submission: October 26, 2015 (23:59 CET) - EXTENDED - Notification of paper acceptance or rejection: November 27, 2015 Final version of the paper for the LNCS proceedings: December 7, 2015 Early registration: December 7, 2015 Late registration: February 29, 2016 Submission to the journal special issue: June 18, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: LATA 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: České vysoké učení technické v Praze Universitat Rovira i Virgili Links: ------ [1] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Sat Oct 17 09:34:22 2015 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Sat, 17 Oct 2015 07:34:22 +0000 Subject: First Call for Tutorials: AAMAS 2016 - 15th International Conference on Autonomous Agents and Multiagent Systems (Singapore) Message-ID: ** FIRST CALL FOR TUTORIALS ** XV International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2016) Singapore May 9-13, 2016 http://sis.smu.edu.sg/aamas2016 The AAMAS 2016 Organizing Committee invites proposals for the Tutorial Program, to be held on 9-10, immediately before the technical conference. AAMAS 2016 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry * Present a novel synthesis combining distinct lines of AAMAS work. * Introduce AAMAS audiences to an external topic that can motivate or use AAMAS research. Topic areas of interest include all of those listed in the call for the technical track (see http://sis.smu.edu.sg/aamas2016), including the special tracks on robotics, virtual agents, and innovative applications. SUBMISSION REQUIREMENTS Those interested in presenting a tutorial should register their interest on an online form (see below) and submit a proposal to the AAMAS-16 Tutorial Co-chairs, David Pynadath and Sebastian Sardina. Proposals should be two to four pages in length, and should contain the following information: A short title of the tutorial. A one paragraph brief description of the tutorial, suitable for inclusion in the conference registration brochure. Preferred length for the tutorial (half day or full day). Characterization of the potential target audience for the tutorial, including prerequisite knowledge. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. A detailed outline of the tutorial. A brief resume of the presenter(s), which should include: name, postal address, phone numbers, email address; background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject); evidence of teaching/presentation experience (including references that address the proposer's presentation skills as applicable); and evidence of scholarship in the area. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by March, 4, 2016. * Providing a web-site for the tutorial, which includes title and abstract of the tutorial, presenters' details, outline, tutorial notes and related reading material. * Presenting the tutorial at AAMAS 2016. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 1, 2016: Tutorial Proposal Submission Deadline December 20, 2016: Tutorial Acceptance Notifications March 19, 2016: Deadline for submitting tutorial notes May 9-10, 2016: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Those interested in presenting a tutorial should: Register their interest and proposal at http://tinyurl.com/aamas16tutorials Submit the full proposal to the AAMAS-16 Tutorial Co-chairs, David Pynadath and Sebastian Sardina by email (in ASCII or pdf). Inquiries should be sent by email (in ASCII or pdf) to the tutorials chairs: David V. Pynadath Institute for Creative Technologies University of Southern California pynadath at usc.edu Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au From francesco.amigoni at polimi.it Mon Oct 19 11:21:11 2015 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Mon, 19 Oct 2015 09:21:11 +0000 Subject: Call for Participation: The Future of Rescue Simulation workshop 29 Feb - March 4, 2016 Message-ID: (Apologies for cross-postings.) ********************************************************************************************************************** Call for Participation The Workshop on the Future of Rescue Simulation 29 Feb - March 4, 2016 Snellius Venue, Lorentz Center Niels Bohrweg 1, Leiden, The Netherlands https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ ********************************************************************************************************************** Important Dates ------------------- Pre-registration: December 1th, 2015 Participant selection: December 15th, 2015 (25 participants) Registration: December 31th, 2015 Workshop Goal ----------------- The goal of the workshop is to redefine the challenge of the RoboCup Rescue Simulation virtual robot competition, make the transition from the current Unreal based environment towards a ROS / Gazebo based environment and define the roadmap of the scientific challenge in the competition for the coming 5 years. Participants -------------- The workshop is a combination of brainstorming and hacking; lectures and tutorials. The venue has a small lecture room, 7 offices and a common room. We actively promote involvement from all over the world, from participants involved in related initiatives, such as the virtual competition of the DARPA Robotics Challenge, the Japan Virtual Robotics Challenge and the real RoboCup Rescue League. Pre-registration procedure ----------------------- The venue and workshop has a limit of 25 participants. Participants will be selected based on their technical and academic background, as indicated in the pre-registration form: https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/IntentWorkshop.txt. Please email this form as attachment to francesco.amigoni at polimi.it The selection of participants will be made on a good distribution of diversity and contribution potential. Program ---------- Monday - Getting accustomed to USARSim / Gazebo / ROS Tuesday - Modifying Gazebo with new sensor / actuator models Wednesday - Creating a rescue world for Gazebo Thursday - Setting up a try-out competition Friday - Try to apply your code to real robots A more detailed program is maintained at https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ Travel support --------------- Depending on the contribution of the sponsors, partial travel support could be available for the participants. Workshop organizers ---------------- Arnoud Visser, Universiteit van Amsterdam Francesco Amigoni, Politecnico di Milano, Italy Masaru Shimizu, Chukyo University, Aichi, Japan --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From vani.martinez at gmail.com Mon Oct 19 14:59:14 2015 From: vani.martinez at gmail.com (Vanina Martinez) Date: Mon, 19 Oct 2015 09:59:14 -0300 Subject: FoIKS 2016 [Reminder]: Abstract Deadline coming soon! Message-ID: **Apologies for cross-postings*** IMPORTANT NOTICE: Abstract submission deadline is on October 25, 2015. The paper submission deadline is now November 1, 2015. ============== FoIKS 2016 | Call for Papers =============== CALL FOR PAPERS 9th International Symposium on Foundations of Information and Knowledge Systems March 7-11, 2016 - Linz, Austria The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2016 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. Previous FoIKS symposia were held in Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, SchlossSalzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics include, but are not limited to: ================================================= * Database Design: formal models, dependencies and independencies; * Big Data: models for data in the Cloud, programming languages for big data, query processing. * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. Submission of Papers: ==================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at https://www.easychair.org/conferences/?conf=foiks2016. Publication: =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. Important Dates: =============== * Abstract submission deadline: October 25, 2015 * Paper submission deadline: November 1, 2015 * FoIKS 2016 Symposium in Linz, Austria: March 07-11, 2014 More information in: =================== * Conference Web Page: http://cdcc.faw.jku.at/FoIKS2016/ * Facebook Fan Page: FOIKS 2016 (www.facebook.com/foiks16) * Twitter: https://twitter.com/FoIKS2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From PIS at WorldCIST'16 Mon Oct 19 16:55:56 2015 From: PIS at WorldCIST'16 (PIS at WorldCIST'16) Date: Mon, 19 Oct 2015 15:55:56 +0100 Subject: [WorldCIST'16]: Pervasive Information Systems Workshop - Call for Papers In-Reply-To: <738fcea7-b4c5-4569-9499-dcaf8fda063a@aixia.it> References: <738fcea7-b4c5-4569-9499-dcaf8fda063a@aixia.it> Message-ID: <5625047C.606@gmail.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Tue Oct 20 03:47:04 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Mon, 19 Oct 2015 19:47:04 -0600 Subject: Extended Deadline: AAAI Workshop on AI for Smart Grids and Smart Buildings Message-ID: First International Workshop on Artificial Intelligence for Smart Grids and Smart Buildings February 12 or 13, 2016 Phoenix, Arizona Co-Located with AAAI-2016 WORKSHOP DESCRIPTION The proliferation of intelligent devices and the availability of electric monitoring facilities, broadband communication networks, computational intelligence, and customer-driven electricity storage and generation capabilities, have posed the foundations for the next generation power grids and buildings: smart grids and smart buildings. AI plays a key role in smart grids and in smart buildings; the infrastructure provides information to support automated decision making on how to autonomously adapt production and consumption of energy, optimize costs, waste, and environmental impact, and ensure safe, secure, and efficient operation. The goal of this workshop is to bring together researchers from diverse areas of AI to explore both established and novel applications of AI techniques to address the design, implementation, and deployment of smart grids and smart buildings. TOPICS • Multi-agent systems in smart grids and smart buildings • Optimization methods for smart grids and smart buildings • Machine learning mechanisms for smart grids and smart buildings • Knowledge-based methods in design of smart grids and smart buildings • Coordination of intelligent agents in smart grids and smarNot buildings • Human-computer interactions within smart grids and smart buildings • Negotiation and trading strategies in energy markets • Simulations of energy markets, smart grids, and smart buildings WORKSHOP FORMAT The workshop will include three components: an invited keynote speaker; a collection of presentations selected from peer-reviewed submissions; and a closing panel to discuss future directions of research in this field. SUBMISSIONS Participants should submit a paper (maximum 6 pages + 1 page of references), describing their work on one or more of the topics relevant to the workshop, using the AAAI style files. Accepted papers will be presented during the workshop and will be published as AAAI technical reports, which will be made freely available in AAAI's digital library. All submissions are conducted via EasyChair: http://www.easychair.org/conferences/?conf=aisgsb2016. Submissions should include the name(s), affiliations, and email addresses of all authors. IMPORTANT DATES * November 13th: Submission Deadline * November 23rd: Acceptance Notification * December 7th: Camera-Ready Deadline * February 12th or 13th: Workshop ORGANIZATION Enrico Pontelli (Chair), New Mexico State University, epontell at cs.nmsu.edu Alex Rogers, University of Southampton, acr at ecs.soton.ac.uk Sylvie Thiebaux, Australian National University and NICTA, sylvie.thiebaux at nicta.com.au Son Cao Tran, New Mexico State University, tson at cs.nmsu.edu PROGRAM COMMITTEE Mario Berges, Carnegie Mellon University (USA) Archie Chapman, University of Sydney (Australia) Mathijs de Weerdt, Delft University of Technology (The Netherlands) Alessandro Farinelli, University of Verona (Italy) Maria Fox, King’s College London (UK) Chris Kiekintveld, University of Texas El Paso (USA) Akshat Kumar, Singapore Management University (Singapore) Amnon Meisels, Ben-Gurion University (Israel) Chiara Piacentini, King’s College (UK) Sarvapali Ramchurn, University of Southampton (UK) Paul Scott, Australian National University and NICTA (Australia) Sven Seuken, University of Zurich (Switzerland) Pradeep Varakantham, Singapore Management University (Singapore) Meritxell Vinyals Salgado, CEA (France) William Yeoh, New Mexico State University (USA) CONTACT E-mail: aisgsb2016 at easychair.org URL: www.cs.nmsu.edu/aisgsb16 From s.verberne at cs.ru.nl Tue Oct 20 20:22:05 2015 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 20 Oct 2015 20:22:05 +0200 Subject: PAIS'16 Call for papers Message-ID: (apologies for cross-posting) PAIS'16 Call for papers Conference on Prestigious Applications of Intelligent Systems – PAIS 2016, co-located with the European Conference on Artificial Intelligence, ECAI 2016, www.ecai2016.org 31 August - 2 September 2016, The Hague, The Netherlands The PAIS 2016 Programme Committee invites papers describing innovative applications of AI techniques to real-world systems and problems to be submitted to the Technical Programme of the 9th International Conference on Prestigious Applications of Intelligent Systems - a sub­conference of the 22nd European Conference on Artificial Intelligence (ECAI 2016). Artificial Intelligence (AI) is a central topic in contemporary computer science and has enabled many ground-breaking developments which have significantly influenced our society. Techniques, concepts, and results developed under the banner of AI research have proven to be of fundamen­tal importance in areas such as medicine, biology, economics, philosophy, linguistics, psychology and engineering; also, have proven to have a significant impact on several real-world applications, such as e-commerce, tourism, e-government, national security, manufacturing and other economic sectors. Consequently, AI has become increasingly important in neighbouring fields and therefore remains a topic of continuing fascination in our culture. Papers highlighting all aspects of the application of intelligent systems technology are most welcome. Our aim is to provide a forum for academic and industrial researchers and practitioners to share experience and insight on the applicability, development and deployment of intelligent systems. PAIS is the largest showcase of real applications using AI technology in Europe and is the ideal place to meet developers of successful applications. Under the general theme of “AI for human values”, PAIS 2016/ECAI 2016 will be held in the city of The Hague, opposite the Peace Palace, seat of the International Court of Justice. The theme “AI for human values” is appropriate to this location, and highly relevant to the PAIS conference. Topics of Interest Papers on all novel and significant applications of intelligent systems are welcome. In particular, we encourage submissions on deployed (in production use for some time) and emerging applications (in field testing). Papers considering deployed applications should clearly highlight the benefits of the application, describe how AI methods are applied or enhanced, and finally present the contri­bution of AI methods to the overall success. For emerging applications authors must convincingly argue the benefits of the productive use. The following list of AI application areas is indicative only: • Active lifestyle and sport • Assisted Living • Aerospace • Autonomous Vehicles • Digital Humanities • Energy • Engineering • Ecology • Education • Life Sciences and Medicine • Marketing • Mobile Computing and the Internet • Multimedia • Persuasive Technologies • Production • Process management • Sales assistance • Sensor Networks • Smart Retail • Smart Surroundings Important Dates • Paper submission: 15th April 2016 (23:59:59 CET) • Author feedback: 29th-31st May 2016 • Notification of acceptance/rejection: 7th June 2016 Submission Both long and short papers can be submitted. While long papers should report on substantial results, short papers are intended for highly promising but possibly more preliminary work. Rejected long papers will be considered for the short paper track. Formatting: Submitted papers must be formatted according to the camera-ready style for ECAI 2016. Long papers must not exceed six (6) pages and short papers must not exceed two (2) pages. Over-length submissions will be rejected without review. Details of the ECAI 2016 formatting style are available at: insert Originality: Submissions must be original and in particular should not have been formally published, accepted for publication or under review. Also, submissions must not be submitted elsewhere during the PAIS 2016 reviewing phase. Submitting and Reviewing: Submission and review of papers for PAIS 2016 will be managed via the EasyChair system: *https://easychair.org/conferences/?conf=pais16 * All submissions will be subject to peer review by the PAIS 2016 Programme Committee and evaluated on the basis of relevance, significance of contribution, impact, technical quality, scholarship and quality of presentation. During the author feedback phase, the (primary) authors of submitted papers will be offered the opportunity to respond to the reviews for their papers before the final decision on acceptance or otherwise is made. Based on the recommendations made by the reviewers and a separate award committee, one of the accepted long papers will receive the “best PAIS paper award”. Proceedings and presentation The proceedings of PAIS 2016 will be included in the proceedings of the full ECAI 2016 conference and will be published and distributed by IOS Press as an online open access book. The proceedings of recent ECAI conferences are freely available on the IOS website. Authors of accepted papers must provide camera-ready versions in PDF format, conforming to the ECAI 2016 format, available at http://www.ecai2016.org/content/uploads/2015/10/ecai.tar.gz. Furthermore, at least one author of each accepted long or short paper must attend the conference to present the contribution. Long papers will be presented as talks; short papers will be presented in poster form. All PAIS participants have to register for the ECAI conference. Organisation PAIS 2016 Conference Chairs: Eyke Hüllermeier (University of Paderborn, Germany) Paolo Bouquet (University of Trento, Italy - OKKAM srl, Italy) -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Tue Oct 20 20:22:15 2015 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Tue, 20 Oct 2015 20:22:15 +0200 Subject: Call for workshops at ECAI 2016 Message-ID: (apologies for cross-posting) Call for workshops at ECAI 2016, the 22nd European Conference on Artificial Intelligence Under the general theme of “AI for human values”, ECAI 2016 ( www.ecai2016.org) will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice. This location is highly appropriate to the conference theme. The conference dates are 29 August - 2 September 2016, with the workshops taking place on 29-30 August. The organising committee welcomes proposals for workshops by all members of the international AI community. There is no restriction regarding topics, as long as there is a clear relevance to ECAI. We encourage workshops in the traditional AI topics as Planning, Reasoning, Learning, Multi-Agent Systems etc., but also multidisciplinary topics as learning in automated software, AI for Computational Sustainability, AI in the serve of cyber security and so on. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day or shorter workshops can also be accommodated. If you are considering to propose a workshop or if you have any question, please do not hesitate to get in touch with the ECAI-2016 Workshop Chair Meir Kalech (workshop-chair at ecai2016.org). Important Dates - Workshop proposal submission: 18 January 2016 - Workshop proposal notification: 15 February 2016 - Notification of workshop papers: 28 June 2016 Further Information for Workshop Organizers Proceedings: It is up to the workshop organizers to decide if they provide proceedings or not. ECAI-2014 will not issue workshop proceedings. Although the reviewing process is up to the workshop organisers, we suggest a submission deadline no later than June 1. Registration: All workshop participants and organizers are required to register for the workshop and the main conference. Each workshop will be given 1 workshop-fee waiver to be used at the discretion of the organizers. Cancellations: Please understand that we may have to cancel a workshop if not enough participants register or if deadlines are not met. We are aiming for 20 participants on average per workshop, with a minimum of 10. Submission details Please submit your proposal by via easychair https://easychair.org/conferences/?conf=workshopsecai2016 Each workshop proposal (pdf file) must include: - Title and acronym - Names, affiliations, and contact details of all organizers (please indicate a primary contact person to whom correspondence should be directed). - Short description (workshop format and duration, tentative call for papers, tentative invited speakers and members of the program committee). - Audience: research groups working in the field; (if applicable) details about previous editions of the workshop; related workshops in other venues; expected number of submissions. - One paragraph about each organizer (scientific profile, previous events you have organized). - Every information you deem to be relevant. -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Wed Oct 21 06:34:02 2015 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Wed, 21 Oct 2015 04:34:02 +0000 Subject: 2nd CFP - 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) - Singpapore Message-ID: 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) Grand Copthorne Waterfront Hotel Singapore 9-13th of May, 2016 Important Dates --------------- Abstract Submission: 13th of November, 2015 (23:59 UTC-12) Full Paper Submission: 17th of November, 2015 (23:59 UTC-12) Rebuttal Phase: 11-12th of January, 2016 (23:59 UTC-12) Author Notification: 26th of January, 2016 About AAMAS ----------- AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. Information for Authors ----------------------- AAMAS 2016 encourages the submission of analytical, empirical, methodological, technological, and perspective papers. Analytical and empirical papers should make clear the significance and relevance of their results to the AAMAS community. Similarly, methodological and technological papers should make clear their scientific and technical contributions, and are expected to demonstrate a thorough evaluation of their strengths and weaknesses in practice. It is strongly encouraged that papers focusing on specific agent capabilities evaluate their techniques in the context of autonomous agent architectures or multiagent systems. A thorough evaluation, conducted from a theoretical or applied basis, is considered an essential component of any submission. Authors are also requested to pay particular attention to discussing how their work relates to the state of the art in autonomous agents and multiagent systems research as evidenced in, for example, previous AAMAS and related conferences. All submissions will be rigorously peer reviewed and evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. AAMAS 2016, the fifteenth conference in the AAMAS series, seeks the submission of high-quality papers limited to 8 pages in length, with a 9th page being allowed *provided it only contains bibliographic references*. Reviews will be double blind; authors must avoid including anything in their papers that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8-page) papers must be submitted for the review process to begin. All work must be original, i.e., it must not have appeared in a conference proceedings, book, or journal and may not be under review for another archival conference. In addition to submissions in the main track, AAMAS 2016 will be soliciting papers in special tracks. The review process for the special tracks will be similar to the main track, but with programme committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. * JAAMAS Submissions * Finally, AAMAS 2016 will also accept papers for presentation that have appeared in the Journal of Autonomous Agents and Multi-agent Systems (JAAMAS) in the 12 months period preceding the AAMAS notification date. These articles also have the option to publish an extended abstract (maximum two pages) in the AAMAS proceedings. The articles must be original and not previously published as a full paper in an archival conference. For details on JAAMAS, visit - http://www.springer.com/computer/ai/journal/10458. Topics of Interest ------------------ The conference solicits papers addressing original research on autonomous agents and their interaction. Topics of interest include (but are not limited to) the following: * Agent Theories and Models: - Logic and Game Theory - Logics for agents and multi-agent systems - Formal models of agency - Belief-Desire-Intention theories and models - Cognitive models - Models of emotions * Communication and Argumentation - Commitments - Communication languages and protocols - Speech act theory - Multi-agent reasoning - Deductive, rule-based and logic-based argumentation - Argumentation-based dialogue and protocols * Agent Cooperation: - Biologically-inspired approaches and methods - Collective intelligence - Distributed problem solving - Teamwork, team formation, teamwork analysis - Coalition formation (non-strategic) - Human-robot/agent interaction - Multi-user/multi-virtual-agent interaction - Multi-robot systems * Knowledge Representation and Reasoning: - Ontologies for agents - Reasoning in agent-based systems - Planning and scheduling for single agents - Multi-agent planning and scheduling - Trust and reputation * Agent Societies and Societal issues: - Organizations and institutions - Socio-technical systems - Normative systems - Values in MAS (privacy, safety, security, transparency,.) - Monitoring agent societies - Architectures for social reasoning - Trust and reputation - Value-sensitive design of multi-agent systems - Policy, regulation and legislation * Humans and Agents: - Human-robot/agent interaction - Multi-user/multi-virtual-agent interaction - Agents competing against humans - Agent-based analysis of human interactions - Agents for improving human cooperative activities * Learning and adaptation: - Reward structures for learning - Evolutionary algorithms - Co-evolutionary algorithms - Multiagent learning - Learning agent capabilities (agent models, communication, observation) - Learning agent-to-agent interactions (negotiation, trust, coordination) * Agents & Mainstream Computing - services computing - self-adaptive distributed software - autonomic computing - grid computing - peer to peer computing - middleware & infrastructures * Agent-based simulation: - Social simulation - Simulation techniques tools and platforms - Analysis and validation of simulation systems - Modelling for agent based simulation - Interactive simulation - Emergent behaviour * Engineering Multi-Agent Systems - Modelling and specification languages - Programming languages and frameworks for agents and multi-agent systems - Development techniques, tools, and platforms - Methodologies for agent-based systems - Verification, fault tolerance and resilience of multi-agent systems - Profiling and benchmarking of agent-based systems * Verification and validation of agent-based systems: - Testing of agent-based systems, including model-based testing - Verification of agent-based systems, including model checking - Synthesis of agent-based systems * Systems and organization: - Autonomic computing - Complex systems - Self-organization - Novel agent and multiagent applications * Economic paradigms: - Auctions and mechanism design - Bargaining and negotiation - Behavioral game theory - Cooperative games: theory & analysis - Cooperative games: computation - Non-cooperative games: theory & analysis - Noncooperative games: computation - Social choice theory - Game theory for practical applications Conference Chairs ----------------- General Chairs: Catholijn Jonker (Delft University of Technology, Netherlands) Stacy Marsella (Northeastern University, USA) Program Chairs: Karl Tuyls (University of Liverpool, UK) John Thangarajah (RMIT University, Australia) Special Tracks -------------- In addition to the above, AAMAS 2016 will feature the following four special tracks and a JAAMAS Track. * Innovative Applications (Chairs: Onn Shehory and Noa Agmon) Due to the growing maturity of the field, there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present, discuss, and demonstrate compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually-beneficial relationships between those doing foundational scientific research and those making autonomous agents and multiagent systems a commercial or public policy reality. * Robotics (Chairs: Francesco Amigoni and Roderich Gross) Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. * Embodied Virtual Agents and Human-Agent Interaction (Chairs: Tim Bickmore and Hannes Vilhjálmsson) Virtual agents are embodied agents that emulate autonomous human-like behavior in simulated interactive or physical environments. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. Of particular interest are papers addressing how humans interact with virtual agents. The goal is to provide an opportunity for continued interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. * Blue Sky Ideas (Chair: Frank Dignum) The emphasis of this track is on visionary ideas, long-term challenges, and new research opportunities that are outside the current mainstream of the field. This track is designed to overcome the constraints of the traditional review process, and will serve as an incubator for innovative approaches, risky and provocative ideas, and to propose challenges and opportunities for the field in the near future. General Information ------------------- All full papers accepted to the main track and the special tracks will be presented in parallel technical sessions. All the papers will be published in the conference Proceedings and will be permanently available after the conference at http://www.ifaamas.org/proceedings.html. In addition, AAMAS 2016 will include: * Workshops * Demonstrations * Posters presentations for full papers and extended abstracts * Invited talks and panel discussions The submission processes for the workshops and demonstrations are separate from the main paper submission process. Relevant information will be posted on the relevant pages. Policies -------- Policy on multiple and previous submissions. Authors may not submit any paper to AAMAS 2016 that has already appeared in an archival forum. Authors must ensure that no submission to AAMAS 2016 is under review for another archival forum between the AAMAS 2016 submission and decision dates. Policy on harassment at the conference environment. IFAAMAS is committed to organising the AAMAS conference and its affiliated events in an environment that is free of harassment for everyone involved: delegates, organisers, conference workers, and reviewers. All participants in IFAAMAS events are asked to embrace our intention to foster a harassment-free scientific community, and to understand that IFAAMAS will respond appropriately to incidents of harassment if they occur. The complete IFAAMAS harassment policy is available in the AAMAS 2016 website. For further details about AAMAS 2016, please visit the website at http://sis.smu.edu.sg/aamas2016 or contacpcchair-aamas2016 at gmail.com From s.verberne at cs.ru.nl Mon Oct 26 14:56:20 2015 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Mon, 26 Oct 2015 14:56:20 +0100 Subject: ECAI 2016 - call for tutorial proposals Message-ID: (apologies for cross-posting)CALL FOR TUTORIAL PROPOSALS The ECAI 2016 (www.ecai2016.org) Organizing Committee invites proposals for tutorials to be held in conjunction with the conference. Under the general theme of “AI for human values”, ECAI 2016 will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice. This location is highly appropriate to the conference theme. The tutorials will be scheduled on August 29-30. As in former editions, tutorial participation is free for all conference participants in order to encourage high participation rates in the tutorials. Format and application In addition to “standard” half-day tutorials, ECAI 2016 will also feature “spotlight” tutorials, organized in a single 90-minute slot each. Spotlight tutorials are meant to address emerging areas, techniques, methodologies and perspectives in AI. Standard tutorials are meant to cover rather established areas of AI such as Machine Learning, Knowledge Representation, Natural Language Processing and others, as well as, in particular, topics in the overlap of such areas. Applications must be made via EasyChair at http://www.easychair.org/conferences/?conf=ecai2016-tutorials (to be opened soon) They should include a 2-page abstract, indicating title, topic and motivation for the tutorial, intended audience, preferred format (standard or spotlight), relevance to the ECAI community, list of previous venues and audience numbers for related tutorials, specific equipment requirements, and a short bio of the presenter(s), including name, affiliation, email address and website. Notice that we might ask you to switch to the other format for organizational reasons. Important Dates - Tutorial proposal submission: 18 January 2016 - Tutorial proposal notification: 15 February 2016 Areas The tutorial should concern artificial intelligence and its applications. We welcome tutorials about both well established areas, as well as up and coming topics. Policy on multiple submissions We encourage proposals of brand new tutorials, as well as tutorials that have already been successfully offered before, or that are also being proposed to other venues (e.g., other major AI conferences). In that case, the application should include a complete list of such venues. Benefits For each full tutorial 1 free conference registration to ECAI 2016 will be available. Giving a tutorial is an excellent way to gain visibility, to build your professional network, and is seen as an important service to the community. Cancellation Please understand that we may have to cancel a tutorial if not enough participants register or if deadlines are not met. At least 10 participants need to be registered by the early registration deadline to guarantee that the tutorial goes ahead. Inquiries Direct all your inquires to the tutorial chairs Sophia Ananiadou and Leon van der Torre via tutorial-chairs at ecai2016.org -- Suzan Verberne, postdoctoral researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From laurajones at knowalliance.org Tue Oct 27 20:04:24 2015 From: laurajones at knowalliance.org (Laura Jones) Date: Tue, 27 Oct 2015 19:04:24 +0000 Subject: Agents and Multi-Agent Systems: Technologies and Application 2016 Call For Papers Message-ID: <45683157-D60C-492E-ACDE-8133A3F65B52@knowalliance.org> =========================================================== 10th International KES Conference on Agents and Multi-agent Systems: Technologies & Applications (AMSTA-16) Hotel Botanico & The Oriental Spa Garden, Puerto de la Cruz, Tenerife, Canary Islands, Spain on 15th-17th June 2016 http://amsta-16.kesinternational.org/ =========================================================== KES-AMSTA-2016 is an international scientific conference for research in the field of agent and multi-agent systems. The aim of the conference is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognised as a promising technology for constructing autonomous, complex and intelligent systems.This conference will provide an excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. In addition, as a part of this conference, we invite multi-interdisciplinary researchers that contribute theories, technologies and applications in the new Digital and Knowledge Economy. The conference will be co-located under the KES Smart Digital Futures umbrella with our other Intelligent Systems conferences: IIMSS, IDT, SEEL and the newly added InMED (Innovation in Medicine and Healthcare). Registration gives access to all of these conferences, together with a paper published in one set of proceedings. The conference proceedings will be published by Springer as book chapters in a volume of the KES Smart Innovation Systems and Technologies series, submitted for indexing in Scopus and Thomson-Reuters Conference Proceedings Citation Index (CPCI) and the Web of Science. Please see the Smart Digital Futures 2016 website: http://sdf-16.kesinternational.org/ for more information. =============== Conference Scope =============== Agent Systems Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behaviour. Ontologies. Multi-agent Systems Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organisational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Performance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning sys-tems. E-institutions. E-commerce. ============= Invited Sessions ============= An invited session consists of a presentation session of 6 to 12 or more papers on a specific conference topic, organised as half or full day mini-conference. We invite senior scientists who have a special interest in a specific conference topic to take responsibility for an invited session, gathering papers from a range of research expertise around the world. If you would like to arrange an Invited Session, please contact: admin at kesinternational.org Here is a list of the approved sessions so far: IS01: BUSINESS PROCESS MANAGEMENT (BPM) Chair: Dr. Roman ŠPERKA, PhD, Silesian University in Opava, Czech Republic IS02: AGENT-BASED MODELING AND SIMULATION (ABMS) Chair: Dr. Roman ŠPERKA, PhD, Silesian University in Opava, Czech Republic For more details on these sessions please visit: http://amsta-16.kesinternational.org/cmsISdisplay.php ================ Dates and Deadlines ================ General Track Papers Submission Deadline: 18 January 2016 Notification of acceptance: 15 February 2016 Upload Final Publication Files: 7 March 2016 ========== Organisation ========== Honorary Chairs: I. Lovrek, University of Zagreb, Croatia L. C. Jain, University of South Australia General Co-Chairs: G. Jezic, University of Zagreb, Croatia J. Chen-Burger, The Heriot-Watt University, Scotland, UK Executive Chair: R.J. Howlett, University of Bournemouth, UK Programme Co-Chairs: M. Kusek, University of Zagreb, Croatia R. Sperka, Silesian University in Opava, Czech Republic Publicity Chair: P. Skocir, University of Zagreb, Croatia =============== Further Information =============== Please note that the above deadlines are provisional and subject to change. For further information on all the above, please visit the conference website at the top of the page. For general enquiries about the conference, please contact: admin at kesinternational.org For registration enquiries, please contact: registration at kesinternational.info You can follow us for updates on: Twitter: @KESIntl Facebook: https://www.facebook.com/KesInternational -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dlucanu at thor.info.uaic.ro Wed Oct 28 16:50:26 2015 From: dlucanu at thor.info.uaic.ro (Dorel Lucanu) Date: Wed, 28 Oct 2015 17:50:26 +0200 Subject: WRLA 2016: 1st Call for Papers Message-ID: <20151028155026.GA26449@thor.info.uaic.ro> ======================== Call for Papers ================================= WRLA 2016 11th International Workshop on Rewriting Logic and its Applications An ETAPS 2016 satellite event Eindhoven, The Netherlands, April 2-3, 2016 ========================================================================== IMPORTANT DATES * Abstract deadline: January 6th 2016 * Submission deadline: January 10th 2016 * Author notification: February 14th 2016 * Workshop: Saturday April 2nd and Sunday April 3rd, 2016 AIMS AND SCOPE Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas. The 2016 edition of WRLA will mark its 20th anniversary since its first edition in Asilomar, California, in 1996. The topics of the workshop include, but are not limited to: A. Foundations * foundations and models of rewriting and rewriting logic, including termination, confluence, coherence and complexity * unification, generalisation, narrowing, and partial evaluation * constrained rewriting and symbolic algebra * graph rewriting * tree automata * rewriting strategies * rewriting-based calculi and explicit substitutions B. Rewriting as a Logical and Semantic Framework * uses of rewriting and rewriting logic as a logical framework, including deduction modulo * uses of rewriting as a semantic framework for programming language semantics * rewriting semantics of concurrency models, distributed systems, and network protocols * rewriting semantics of real-time, hybrid, and probabilistic systems * uses of rewriting for compilation and language transformation C. Rewriting Languages * rewriting-based declarative languages * type systems for rewriting * implementation techniques * tools supporting rewriting languages D. Verification Techniques * verification of confluence, termination, coherence, sufficient completeness, and related properties * temporal, modal and reachability logics for verifying dynamic properties of rewrite theories * explicit-state and symbolic model-checking techniques for verification of rewrite theories * rewriting-based theorem proving, including (co)inductive theorem proving * rewriting-based constraint solving and satisfiability * rewriting-semantics-based verification and analysis of programs E. Applications * applications to logic, mathematics and physics * rewriting models of biology, chemistry, and membrane systems * security specification and verification * applications to distributed, network, mobile, and cloud computing * specification and verification of real-time, probabilistic, and cyber-physical systems * specifications and verification of critical systems * applications to model-based software engineering * applications to engineering and planning INVITED SPEAKERS TBA SUBMISSION We solicit submissions of regular papers, tool papers, and work-in-progress papers. Regular papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasise the design and implementation, and give a clear account of the tool's functionality. The described tools must be publicly available via the web. Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work related to the topics of the workshop. The difference between work-in-progress and regular papers is that work-in-progress submissions represent work that has not reached yet a level of completion that would warrant the full-refereed selection process. We encourage researchers and practitioners to submit work-in-progress papers as this provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on ongoing work, and fostering discussions and collaborations among colleagues. All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair at https://easychair.org/conferences/?conf=wrla2016 Regular and work-in-progress papers should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration. PUBLICATION All submissions will be evaluated by the program committee. Regular papers, tool papers, and work-in-progress papers that are accepted will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, it is expected the regular papers, tool papers, and invited presentations to be published as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. A special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) will be devoted to extended versions of selected papers from WRLA 2016. PROGRAM COMMITTEE Kyungmin Bae, SRI International, USA Mark van den Brand, Eindhoven University of Technology, The Netherlands Roberto Bruni, University of Pisa, Italy Stefan Ciobaca, Alexandru Ioan Cuza University, Romania Manuel Clavel, IMDEA Software Institute, Spain Francisco Durán, Universidad de Málaga, Spain Joerg Endrullis, Vrije Universiteit Amsterdam, The Netherlands Santiago Escobar, Universidad Politécnica de Valencia, Spain Maribel Fernández, King's College London, UK Kokichi Futatsugi, JAIST, Japan Thomas Genet, ISTIC/Université de Rennes 1, France Jürgen Giesl, RWTH Aachen, Germany Deepak Kapur, University of New Mexico, USA Helene Kirchner, INRIA, France Alexander Knapp, Universitat Augsburg, Germany Alberto Lluch Lafuente, Technical University of Denmark, Denmark Dorel Lucanu, Alexandru Ioan Cuza University, Romania (chair) Salvador Lucas, Universidad Politécnica de Valencia, Spain Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain José Meseguer, University of Illinois at Urbana-Champaign, USA Ugo Montanari, University of Pisa, Italy Pierre-Etienne Moreau, Université de Lorraine, France Vivek Nigam, Federal University of Paraíba, Brasil Kazuhiro Ogata, JAIST, Japan Peter Ölveczky, University of Oslo, Norway Miguel Palomino, Universidad Complutense de Madrid, Spain Christophe Ringeissen, INRIA-Lorraine Nancy, France Grigore Rosu, University of Illinois at Urbana-Champaign, USA Vlad Rusu, INRIA Lille Nord-Europe, France Ralf Sasse, ETH Zurich, Switzerland Traian-Florin Serbanuta, University of Bucharest, Romania Mark-Oliver Stehr, SRI International, USA Carolyn Talcott, SRI International, USA Martin Wirsing, Ludwig-Maximilians-Universität München, Germany CONTACT INFORMATION For more information, please contact the organizers dlucanu at info.uaic.ro or visit the workshop web page http://fmse.info.uaic.ro/events/WRLA2016/ . From ijv at acm.org Wed Oct 28 16:51:14 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Wed, 28 Oct 2015 13:51:14 -0200 Subject: Call for Papers KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <3E790683-7F1F-48F7-87D0-E4DA9202AD30@acm.org> CALL FOR PAPERS *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) KR 2016 IMPORTANT DATES ----------------------- * Submission of title and abstract: 21 November 2015 * Paper submission deadline: 28 November 2015 * Notification of acceptance: 21 January 2016 * Camera-ready papers due: 19 February 2016 * Conference: 25-29 April 2016 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics SUBMISSION INFORMATION ---------------------- Submissions must be original, and should not have been previously published, accepted for publication, or currently be under review. Authors may not submit their paper elsewhere during the KR 2016 reviewing period. These considerations apply only to journals and conferences, and not to workshops and forums with a limited audience and without archival proceedings. In case of doubt, please contact the Program Chairs. Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip The conference proceedings will be published by AAAI Press. For complete details, see the 'Submission information' page at http://www.kr.org/KR2016 PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From evomusart at gmail.com Wed Oct 28 17:59:14 2015 From: evomusart at gmail.com (=?UTF-8?Q?Jo=C3=A3o_Correia?=) Date: Wed, 28 Oct 2015 16:59:14 +0000 Subject: EvoMUSART 2016 CfP - Deadline Extended Message-ID: ---------------------------------------------------------------------------- Please distribute (Apologies for cross posting) ---------------------------------------------------------------------------- CALL FOR PAPERS EvoMUSART 2016 http://www.evostar.org/2016/cfp_evomusart.php 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design 30 March - 1 April 2016 Porto, Portugal Part of evo* 2016 evo*: http://www.evostar.org ###### DEADLINE EXTENDED : 11 November, 2015 ###### NEW THIS YEAR : *** PAGE LIMIT : 16 PAGES *** Following the success of previous events and the importance of the field of evolutionary and biologically inspired (artificial neural network, swarm, alife) music, sound, art and design, evomusart has become an evo* conference with independent proceedings since 2012. Thus, evomusart 2016 is the fifth International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design. The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks. The main goal of evomusart 2016 is to bring together researchers who are using biologically inspired computer techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held in April, 2016 in Porto, Portugal, as part of the evo* event. ---------------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------------- Submission: 11 November 2015* Notification to authors: 04 January 2016 Camera-ready deadline: 18 January 2016 Evo*: 30 March - 1 April 2016 ---------------------------------------------------------------------------- Publication Details ---------------------------------------------------------------------------- Submissions will be rigorously reviewed for scientific and artistic merit. Accepted papers will be presented orally or as posters at the event and included in the evomusart proceedings, published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. The acceptance rate at EvoMUSART 2015 was 27.9% for papers accepted for oral presentation, and 25.6% for poster presentation. Submitters are strongly encouraged to provide in all papers a link for download of media demonstrating their results, whether music, images, video, or other media types. Links should be anonymised for double-blind review, e.g. using a URL shortening service. ---------------------------------------------------------------------------- Topics of interest ---------------------------------------------------------------------------- Submissions should concern the use of biologically inspired computer techniques -- e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, other artificial intelligence techniques -- in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: -- Generation - Biologically Inspired Design and Art -- Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; - Biologically Inspired Sound and Music -- Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; - Robotic-Based Evolutionary Art and Music; - Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc.; -- Theory - Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; - Representation techniques; - Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; - Validation methodologies; - Studies on the applicability of these techniques to related areas; - New models designed to promote the creative potential of biologically inspired computation; -- Computer Aided Creativity and computational creativity - Systems in which biologically inspired computation is used to promote the creativity of a human user; - New ways of integrating the user in the evolutionary cycle; - Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; - Collaborative distributed artificial art environments; -- Automation - Techniques for automatic fitness assignment; - Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; - Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object. ---------------------------------------------------------------------------- Additional information and submission details ---------------------------------------------------------------------------- Submit your manuscript, at most 16 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submission link: http://myreview.csregistry.org/evomusart16/ *** NEW Page limit: 16 pages *** The reviewing process will be double-blind; please omit information about the authors in the submitted paper. Website: http://www.evostar.org/ Facebook: fb.com/evostarconf Twitter: twitter.com/Evostar2016 LinkedIn: www.linkedin.com/groups/EVOstar-1908983 ---------------------------------------------------------------------------- Conference chairs ---------------------------------------------------------------------------- Colin Johnson University of Kent, UK c.g.johnson(at)kent.ac.uk Vic Ciesielski RMIT University, Australia vic.ciesielski(at)rmit.edu.au Publication chair João Correia University of Coimbra, Portugal jncor(at)dei.uc.pt From ruy at cin.ufpe.br Wed Oct 28 19:45:39 2015 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Wed, 28 Oct 2015 15:45:39 -0300 Subject: WoLLIC 2016 - Call for Papers Message-ID: [Please circulate. Apologies for the duplicates.] WoLLIC 2016 23rd Workshop on Logic, Language, Information and Computation August 16th-19th, 2016 Puebla, Mexico SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) 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. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2016 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tbc) 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 Arnaud Durand (U Paris 7, France) Nina Gierasimczuk (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) Jouko Väänänen (U Helsinki, Finland & U Amsterdam) (CHAIR) Heribert Vollmer (U Hannover, Germany) Dag Westerståhl (Stockholm U, Sweden) (more to be added) 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 grlmc at grlmc.com Sat Oct 31 18:09:00 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 31 Oct 2015 18:09:00 +0100 Subject: TPNC 2015: posters deadline 8 November Message-ID: <63940e17e95167f150f30dc57da74269@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** The 4th International Conference on the Theory and Practice of Natural Computing (TPNC 2015) invites authors to submit poster presentations. TPNC 2015 will be held in Mieres (Spain) on 15-16 December, 2015. See http://grammars.grlmc.com/tpnc2015/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Authors are encouraged to submit presentations displaying novel work in progress on: - nature-inspired models of computation, - synthesizing nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Submission deadline: November 8, 2015 Notification of poster acceptance or rejection: November 15, 2015 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2015 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2015. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer). REGISTRATION At least one author of each accepted poster must register to the conference. Their registration fare is reduced: 225 Euro (appr. half of the cheapest fare for regular participants). Contributors of regular papers who in addition get a poster accepted must register for the latter too. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: