From aamas2014publicity at gmail.com Sun Mar 1 14:15:03 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Sun, 1 Mar 2015 13:15:03 +0000 Subject: Call for nominations: 2015 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems Message-ID: ** CALL FOR NOMINATIONS *** *************************************************************************************************** 2015 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems *************************************************************************************************** DUE DATE: 8 MARCH 2015 In 2006 The International Foundation for Autonomous Agents and Multi-Agent Systems established an award to recognize publications in the autonomous agents and multiagent systems field that have made influential and long-lasting contributions. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proven influential. A list of previous winners of this award is appended below. This award is presented annually at the AAMAS Conference, in this case AAMAS-2015 in Istanbul, in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in April 2005 or earlier, in any recognized forum (journal, conference, workshop). To nominate a publication for this award, please send the full reference plus a brief statement (200 words or fewer) arguing the significance of the paper to Les Gasser (chair of the 2015 committee for this award), gasser at illinois.edu (Please put NOMINATION in the subject line.) Nominations are due by the 8th of March 2014. ------------------------------------------- PREVIOUS AWARD WINNERS ------------------------------------------- 2014 ONN SHEHORY AND SARIT KRAUS (1998). Methods for task allocation via agent coalition formation. Artificial Intelligence, vol. 101 (1-2), May 1998, pp. 165-200 2013 CRISTIANO CASTELFRANCHI (1998) Modelling social action for AI agents. Artificial Intelligence, Volume 103, Issues 1-2, August 1998, Pages 157-182. CRISTIANO CASTELFRANCHI (1995) Commitment: From individual intentions to groups and organizations. First International Conference on Multi-Agent Systems, pages 41-49, 1995. 2012 MILIND TAMBE (1997) Towards Flexible Teamwork", Journal of Artificial Intelligence Research, 7, pp 83-124. MICHAEL P. WELLMAN (1993) A market-oriented programming environment and its application to distributed multicommodity flow problems." Journal of Artificial Intelligence Research, 1, pp. 1-23. 2011 YOAV SHOHAM (1993) Agent-oriented programming, Artificial Intelligence, 60, pp. 51-92. 2010 YOKOO, M. DURFEE, E. H., ISHIDA, T. & KUWABARA, K. (1998) The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Transactions on Knowledge and Data Engineering 10:673-685. YOKOO, M. & HIRAYAMA, K. (1996) Distributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Second International Conference on Multiagent Systems (ICMAS-96), pp.401-408. 2009 The award was given to the series of edited collections of papers on Distributed AI published in the late 1980s: HUHNS. M. H. (Ed.) (1987) Distributed Artificial Intelligence. London, Pitman. BOND, A. & GASSER, L. (Eds.) (1988) Readings in Distributed Artificial Intelligence. San Mateo, CA, Morgan Kaufmann. GASSER L. & HUHNS, M. H. (Eds.) (1989) Distributed Artificial Intelligence (Volume II). Pitman and Morgan Kaufmann. 2008 BRATMAN, M. E., ISRAEL, D. J. & POLLACK, M. E. (1988) Plans and resource-bounded practical reasoning. Computational Intelligence, 4, 349-355. DURFEE, E. H. & LESSER, V. R. (1991) Partial global planning: A coordination framework for distributed hypothesis formation. IEEE Transactions on Systems, Man, and Cybernetics, 21, 1167-1183. 2007 GROSZ, B. J. & KRAUS, S. (1996) Collaborative plans for complex group action. Artificial Intelligence, 86, 269-357. RAO, A. S. & GEORGEFF, M. P. (1991) Modeling rational agents within a BDI-architecture. Second International Conference on Principles of Knowledge Representation and Reasoning. ROSENSCHEIN, J. S. & GENESERETH, M. R. (1985) Deals among rational agents. Ninth International Joint Conference on Artificial Intelligence. 2006 COHEN, P. R. & LEVESQUE, H. J. (1990) Intention is choice with commitment. Artificial Intelligence, 42, 213-261. DAVIS, R. & SMITH, R. G. (1983) Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20, 63-109. From tsingliangchen at gmail.com Mon Mar 2 14:10:16 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Mon, 2 Mar 2015 21:10:16 +0800 Subject: CFP: the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2015) Message-ID: ========================================================================== ========= Call for Papers: PRIMA 2015 - the18th International Conference on Principles and Practice of Multi-Agent Systems ========================================================================== ========= Dates: 26th-30th October 2015 Location: Bertinoro, Italy http://prima2015.apice.unibo.it Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. As one of the largest and still growing research fields of Computer Science, agent-based computing today remains a unique enabler of inter-, multi- and trans-disciplinary research. The PRIMA 2015 Program Committee invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities, which include the topics given below. There will be a best paper award. Award winner(s) will be invited to submit extended versions of their work to the Journal of Autonomous Agents and Multi-Agent Systems, where they will enter a fast publication track if the extended version of the paper is considered of the adequate quality. Other topical special issues are also being planned with well-known journals in the AI and MAS domain. Topics (not limited to the following): ======================================= - Foundations of Agents and Multi-Agent Systems - Agent and Multi-Agent System Architectures - Agent-Oriented Software Engineering - Agent-Based Modeling and Simulation - Cooperation/Collaboration, Coordination/Communication - Hybrid Technologies for Multi-Agent Systems - Application Domains for Multi-Agent Systems - Applications of Agents and Multi-Agent Systems Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2015 Both full and short papers will be included in the conference proceedings by Springer in the Lecture Notes in Artificial Intelligence series (LNCS/LNAI). Authors of both types of papers are required to present their work at the conference. The authors of a selection of best papers will be invited to submit a revised and extended version of their papers for publication consideration in special issues on international journals. Best paper award winners will be invited to submit an extended version to a fast publication track with JAAMAS. More details about the selected journals will be provided soon. Important Dates ================ Submissions Due: 15th, May 2015 Rebuttal Phase: 16th-19th July 2015 Notifications: 31st July 2015 Conference: 26th-30th October 2015 ================ --- The PRIMA2015 Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Mon Mar 2 17:30:28 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 2 Mar 2015 17:30:28 +0100 Subject: CfP LPNMR 2015 Announcement: COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI Message-ID: [apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. IMPORTANT DATES * Paper registration: April 19th, 2015 * Paper submission: April 24th, 2015 * Notification: June 1st, 2015 * Final versions due: June 15th, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, University of Potsdam, Germany Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From michal.zawidzki at gmail.com Mon Mar 2 18:49:33 2015 From: michal.zawidzki at gmail.com (=?UTF-8?Q?Micha=C5=82_Zawidzki?=) Date: Mon, 2 Mar 2015 18:49:33 +0100 Subject: Call for Papers: LQMR'15 Message-ID: **Appologies for cross-posting** *1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15)* as a part of FedCSIS - Federated Conference on Computer Science and Information Systems 13-16 September, 2015 Lodz, Poland https://www.fedcsis.org/2015/lqmr *CALL FOR PAPERS* *IMPORTANT DATES* - Paper submission: Friday Apr 24 2015 12:00:00 pm HST - Acceptance decision: June 15, 2015 - Final version of paper submission: July 01, 2015 - Conference dates: September 13-16, 2015 *INTRODUCTION* LQMR'15 aims at bringing together researchers from various fields interested in qualitative modelling and reasoning. In particular, the workshop will focus on the formal approaches to qualitative reasoning, its philosophical aspects and practical applications of QR methods in engineering and computer science. *INVITED SPEAKERS* *Thomas Bittner*, Department of Philosophy, State University of New York at Buffalo, USA (director of the Qualitative Spatial Reasoning unit of the Ontology Research Group, leading expert in amongst others: formal ontology, qualitative spatial reasoning and geographic information science) *Ivan Bratko*, head of Artificial Intelligence Laboratory, Faculty of Computer and Information Science of the University of Ljubljana (author of over 200 scientific papers and numerous books, his research interests include machine learning, qualitative modelling and heuristic programming) *Kenneth D. Forbus*, Walter P. Murphy Professor of Computer Science and Professor of Education, Northwestern University, USA (head of the Cognitive Systems Area, prominent expert in qualitative reasoning, analogical reasoning and learning, inference engine design) *Ian Pratt-Hartmann*, School of Computer Science, The University of Manchester, United Kingdom (leading researcher in the fields of logic, AI and cognitive science. His main interests include interfaces between logic and complexity theory, logic and geometry and logic and natural language) *AIMS AND SCOPE* We invite submissions on all aspects of qualtitative modelling and reasoning including but not limited to: - logics for qualitative reasoning - mixed qualitative–quantitative reasoning, - formal (e.g., logical, relational) representations of qualitative reasoning - geometric, spatial, and temporal reasoning - declarative spatial reasoning - logical formalisations of qualitative motion - knowledge representation and reasoning under incomplete, vague or inconsistent information - qualitative decision theory - qualitative reasoning in decision–support systems - complexity of qualitative reasoning - automated theorem proving for qualitative reasoning - qualitative physics, and simulation - qualitative methods in cognitive vision and robotics - qualitative reasoning for product, mechanical, and architecture design *SUBMISSIONS DETAILS* Instruction on paper submission, including style templates, are available at the workshop's webpage: https://www.fedcsis.org/2015/lqmr Workshop proceedings will be published as a SEPARATE ELECTRONIC VOLUME, WITH ISBN, ISSN AND DOI NUMBERS and will be made available at the conference WWW site. These papers will be indexed in the BazEcon database, and submitted for indexing to: Thomson Reuters Web of Science, SciVerse Scopus, Inspec, DBLP Computer Science Bibliography and Google Scholar. *PROGRAM COMMITTEE* - Philippe Balbiani (University of Toulouse, France) - Mohua Banerjee (Indian Institute of Technology, India) - Mehul Bhatt, Co-Chair (University of Bremen, Germany) - Ivan Bratko (University of Ljubljana, Slovenia) - Domenico Cantone (University of Catania, Italy) - Cezary Cieśliński (University of Warsaw, Poland) - Davide Ciucci (University of Milano-Bicocca, Italy) - Ivo Duentsch (Brock University, Canada) - Alessandro Facchini (Dalle Molle Institute for Artificial Intelligence, Switzerland) - Nina Gierasimczuk (University of Amsterdam, The Netherlands) - Joanna Golińska-Pilarek, Co-Chair (University of Warsaw, Poland) - Valentin Goranko (Stockholm University, Sweden) - Jarek Gryz (University of York, Canada) - Taneli Huuskonen (University of Helsinki, Finland) - Linh Nguyen (University of Warsaw, Poland) - Marianna Nicolosi Asmundo (University of Catania, Italy) - Manuel Ojeda-Aciego (University of Malaga, Spain) - Ewa Orłowska (National Institute of Telecommunications, Poland) - Ian Pratt-Hartmann (The University of Manchester, United Kingdom) - Torsten Schaub (University Potsdam, Germany) - Renate Schmidt (University of Manchester, United Kingdom) - Carl Schultz (University of Bremen, Germany) - Jakub Szymanik (University of Amsterdam, The Netherlands) - Johan van Benthem (University of Amsterdam, The Netherlands) *WORKSHOP CHAIRS* - Tomasz Lechowski (University of Warsaw, Poland) - Przemysław Wałęga (University of Warsaw, Poland) - Michał Zawidzki (University of Lodz / University of Warsaw, Poland) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bernard.merialdo at eurecom.fr Mon Mar 2 21:35:50 2015 From: bernard.merialdo at eurecom.fr (Bernard Merialdo) Date: Mon, 02 Mar 2015 21:35:50 +0100 Subject: [CBMI 2015] Final submission deadline Message-ID: <54F4C9A6.5030701@eurecom.fr> (apologies for multiple postings) *** due to numerous requests, CBMI has decided to synchronize its *** submission deadline with other events. The final submission *** deadline is 22nd March 2015 * note that student travel grants are available http://siret.ms.mff.cuni.cz/cbmi2015/index.php?src=Grants ************************************************************************************ CBMI 2015 13th International Workshop on Content-Based Multimedia Indexing June 10.-12. 2015, Prague, Czech Republic http://siret.ms.mff.cuni.cz/cbmi2015/ *** Call for papers and demos *** * Full paper submission deadline: March 22nd, 2015 * Demo paper submission deadline: March 7, 2015 * Special session on Medical Multimedia Processing submission deadline: March 7, 2015 * Special session on High Performance Multimedia Indexing submission deadline: March 7, 2015 Following the twelve successful previous events of CBMI (Toulouse 1999, Brescia 2001, Rennes 2003, Riga 2005, Bordeaux 2007, London 2008, Chania 2009, Grenoble 2010, Madrid 2011, Annecy 2012, Veszprem 2013, and Klagenfurt 2014), it is our pleasure to welcome you to CBMI 2015, the 13th International Content Based Multimedia Indexing Workshop, in Prague, Czech Republic on June 10-12 2015. The 13th International CBMI Workshop aims at bringing together the various communities involved in all aspects of content-based multimedia indexing, retrieval, browsing and presentation. The scientific program of CBMI 2015 will include invited keynote talks and regular, special and demo sessions with contributed research papers. ================================================== * Special session on Medical Multimedia Processing A special session on Medical Multimedia Processing will be organized. Topics of the special session include, but are not limited to: * Visual indexing of medical image collections or video archives * Medical multimedia retrieval * Browsing and presentation of medical multimedia data * Endoscopic video processing * Human computation for medical multimedia processing ========================================================= * Special session on High Performance Multimedia Indexing A special session on High Performance Multimedia Indexing will be organized. Topics of the special session include, but are not limited to: * Vectorized algorithms for multimedia indexing * GPU and many-core implementations of multimedia indexing * Cache-aware and cache-oblivious algorithms for content-based multimedia retrieval * Parallel and NUMA-aware algorithms for multimedia indexing * Distributed and heterogeneous implementations of multimedia indexing algorithms From aamas2014publicity at gmail.com Tue Mar 3 22:21:01 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Tue, 3 Mar 2015 21:21:01 +0000 Subject: Registration now open for AAMAS 2015 Message-ID: Registration for the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) is now open! Please take advantage of early bird registration. For more information, see: http://www.aamas2015.com/en/REGISTRATION.html From publicity at ecmlpkdd2015.org Wed Mar 4 12:18:56 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Wed, 4 Mar 2015 11:18:56 -0000 Subject: ECMLPKDD 2015 : Call for Demos Message-ID: <022801d0566d$03275e00$09761a00$@ecmlpkdd2015.org> http://www.ecmlpkdd2015.org For ECML PKDD 2015 in Porto, Portugal, we solicit submissions for demos. Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. Systems that use basic statistics are not acceptable. Commercial software is not acceptable. The accepted papers for demos will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. The demos will be presented in a special demonstration session. At least one of the demo submitters must register for the conference, and perform the demo on site. Submission Guidelines All aspects of the submission and notification process will be handled online via the CMT conference management toolkit accessible from the conference web. Please choose the right track during the submission. Instructions concerning the submission, camera-ready formatting and copyright transfer for conference papers also hold for demo papers, unless otherwise specified. A demonstration submission must be up to 4 pages long. It must provide adequate information on the systems components and the way the system is operated, including e.g. screenshots. Submitters should keep in mind that the description of a demo has inherently different content than a research paper submitted to the main conference. A successful demonstration paper provides satisfactory answers the following questions: - What are the innovative aspects or in what way/area does it represent the state of the art? - Who are the target users and why is the system interesting/useful for them? - If there are similar/related pieces of software, what are the advantages and disadvantages of the presented one? The formatting guidelines of Springer Verlag for the LNAI series apply, and the author instructions and style files under http://www.springer.de/comp/lncs/authors.html must be used. For inquiries concerning submissions please contact the Demo Track Chairs; contact data below. Important Dates - Demo submission deadline: 30 April 2015 - Notification of acceptance: 1 June 2015 - Camera-ready paper due: 15 June 2015 (aligned to the deadline of the main conference) Contacts For further information please contact the Demo Track Chairs: - Francesco Bonchi - Jaime Cardoso, INESC TEC and Univ. Porto - Myra Spiliopoulou, Univ. Magdeburg, http://www.kmd.ovgu.de/Team/Academic+Staff/Myra+Spiliopoulou.html Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Christian.Kuster at gt-arc.com Wed Mar 4 17:00:43 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Wed, 4 Mar 2015 16:00:43 +0000 Subject: CfP: EUSPN-2015 Message-ID: <083579d2b010415e946a359baae1bddd@birke.dai-lab.de> ===== CFP ===== CALL FOR PAPERS ********************************************************************************** The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) September 27-30, 2015 Berlin, Germany http://euspn-15.dai-labor.de/ ********************************************************************************** Important Dates: Workshop Proposal Due: March 15, 2015 Submission Deadline: May 6, 2015 Author Notification: June 26, 2015 Final Manuscript Due: July 26, 2015 The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. All EUSPN-2015 accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/ compendex). The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in the special issues of: - Journal of Mobile Information Systems, by IOS Press - Journal of Ambient Intelligence and Humanized Computing, by Springer - Journal of Web and Grid Services Papers on either completed or ongoing research are invited in the following and related tracks: - Ad hoc and Pervasive Networks (Chair: Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany) - Adaptive Systems, Intelligent Computing and Applications (Chair: Ingrid Nunes, UFRGS, Brazil) - Big Data and Big Data Science (Chair: Brijnesh-Johannes Jain, DAI-Lab, TU Berlin, Germany) - Cloud, Cluster, Grid and Social Computing (Chairs: Kechar Bouabdellah, Oran University, Algeria; Shibo He, Zhejiang University, China) - Pervasive / Ubiquitous Technologies - Emerging Tools and Applications (Chair: René Schumann, HES-SO, Switzerland) - Intelligent Traffic and Transportation Systems (Chairs: Jamal Bentahar, Concordia University, Canada; K. K. Pattanaik, ABV-Indian Institute of Information Technology & Management, India) - Internet of Things (Chair: Nik Bessis, University of Derby, UK) - Mobile Computing and Wireless Communications (Chair: Hamid Mcheick,University of Quebec At Chicoutimi, Canada) - Security, Privacy, and Trust (Chair: Karsten Bsufka, DAI-Lab, TU Berlin, Germany) - Semantic Web Technologies (Chair: Nils Masuch, DAI-Lab, TU Berlin, Germany) Paper Submission Guidelines: Submitted technical papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. The EUSPN submission link can be found at: http://easychair.org/conferences/?conf=euspn2015. All accepted papers will be scheduled for oral presentations and will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. At least one author of each accepted paper is required to register and attend the conference to present the work. Committee: General Chairs Marco Lützenberger, DAI-Lab, TU Berlin, Germany Elhadi Shakshuki, Arcadia University, Canada Program Chairs Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Advisory Committee Ali Ghorbani, Univ. of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Publicity Chairs Nabeel Al Qirim, College of Information Technology, UAE Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Thu Mar 5 13:59:06 2015 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 05 Mar 2015 13:59:06 +0100 Subject: RR 2015 -- 3rd CALL FOR PAPERS - DEADLINES EXTENSION Message-ID: <54F8531A.6070405@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Mar 5 19:16:42 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 5 Mar 2015 13:16:42 -0500 (EST) Subject: 3rd Workshop on Interpolation - Call for Papers Message-ID: <20150305181642.754B21214EE@mcclellan.cs.miami.edu> iPRA 2015 - THIRD WORKSHOP ON INTERPOLATION: FROM PROOFS TO APPLICATIONS CALL FOR CONTRIBUTIONS Date: July 18, 2015 Location: San Francisco, CA (co-located with CAV 2015) Web: http://forsyte.at/interpolation/ IMPORTANT DATES Submission deadline: May 7, 2015, AOE Notification: May 14, 2015 Workshop: July 18, 2015 ORGANISATION AND COMMITTEE Laura Kovacs and Georg Weissenbacher SCOPE Craig interpolation enjoys a continuing popularity in the field of verification. Historically, Craig's interpolation theorem has received ample attention in proof theory and mathematical logic as well as in complexity theory. The aim of the workshop is to bring together theoreticians and practitioners from different fields. We solicit submissions in form of an abstract of at most one page in PDF format. The authors of accepted abstracts are required to present their work at the workshop. There will be no published proceedings. We encourage submissions presenting work in progress, tools under development, as well as research of PhD students, such that the workshop can become a forum for active dialog between the groups involved in applications of interpolation. We also encourage contributions from outside the verification community. Presentations of recently published papers are also allowed and encouraged, but please indicate on your submission where the paper was published/presented. Relevant topics include (but are not limited to) applications of interpolation in: - Interpolating decision procedures - Proof theoretic approaches to interpolation - Proof systems and calculi for interpolation - Proof transformation techniques - Inductive Proofs - Logical Abduction - Interpolation techniques based on constraint solving, linear programming... - Alternative techniques for interpolation - Interpolation theorems (for theories and extensions, non-classical logic, ...) - Interpolation-based/Inductive invariant generation - Program analysis and verification - Tools for interpolation - Applications of Craig interpolation (verification, synthesis, automated reasoning, ...) - Complexity results and limitations ... SUBMISSION INSTRUCTIONS Abstracts (at most one page in PDF format) have to be submitted until May 7 via the EasyChair system: https://easychair.org/conferences/?conf=ipra15 The authors will be notified on May 14, 2015. There will be no formal workshop proceedings. FORMAT The workshop will feature - an invited talk by Arie Gurfinkel (SEI/CMU), - presentations (selected by a committee based on the submission of abstracts) by workshop participants, and - discussion and panel sessions. The program will be coordinated with the HCVS workshop, which takes place on July 19. REGISTRATION Registration for the workshop will be possible via the CAV registration site: http://i-cav.org/2015/ POSTER A poster is available on http://forsyte.at/interpolation. We kindly ask you to print and display a copy in your department/workplace. From lpulina at uniss.it Fri Mar 6 15:15:18 2015 From: lpulina at uniss.it (Luca Pulina) Date: Fri, 06 Mar 2015 15:15:18 +0100 Subject: CALL FOR APPLICATIONS -- The 11th Reasoning Web Summer School (RW 2015) Message-ID: <54F9B676.6040306@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommaso.dinoia at poliba.it Sat Mar 7 16:45:28 2015 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Sat, 7 Mar 2015 15:45:28 +0000 Subject: [CFP] EC-Web 2015 - Special Track on Search, Comparison and Recommender Systems Message-ID: ** apologies for cross-posting ** Special Track on Search, Comparison and Recommender Systems 16th International Conference on Electronic Commerce and Web Technologies - EC-Web 2015 Valencia, Spain September 1 - 2, 2015 EC-Web is an international scientific conference series devoted to technology related aspects of e-Commerce and e-Business. The 16th edition of the conference, EC-Web 2015, will take place in Valencia, Spain in September 2015 and will serve as a forum to bring together researchers and practitioners to present and discuss recent advances in their fields. SPECIAL TRACK on Search, Comparison and Recommender Systems In the Web era, resource retrieval techniques play a fundamental role in helping the users to deal with the issues related to information overload. Today's search engines as well as matchmaking systems are no more working solely on pure text/keyword analysis. Their results are computed and enriched by putting together, e.g., link-based data, user preferences as well as information encoded into the so called knowledge graphs. The same happens for personalized information filtering systems, such as recommender systems, where pure collaborative and content-based approaches are hybridized with each other, combined and fed by many different and diverse data sources in order to improve not only the accuracy of results but also their novelty, diversity, and serendipity. This track will mainly focus on: - Search - Knowledge graphs - Matchmaking - Recommender systems - User modeling - Preference representation and reasoning - Similarity metrics Authors are invited to submit original and unpublished research papers at http://confdriver.ifs.tuwien.ac.at/dexa2015 The manuscripts are limited to 12 pages using the Springer LNBIP style sheet: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 The selection of papers will be based on a peer-review process by selected international experts. Each paper will be peer-reviewed by at least 3 reviewers. The proceedings will be published in the Springer Lecture Notes in Business Information Processing (LNBIP) series. IMPORTANT DATES Submission of full papers: April 15, 2015 Notification of acceptance: May 20, 2015 Camera-ready copies due: June 06, 2015 PROGRAM CHAIRS Heiner Stuckenschmidt - University of Mannheim [Germany] Dietmar Jannach - TU Dortmund [Germany] TRACK CHAIR Tommaso Di Noia - Politecnico di Bari [Italy] PROGRAMME COMMITTEE Liliana Ardissono - University of Torino [Italy] Pierpaolo Basile - University of Bari Aldo Moro [Italy] Alejandro Bellogín - Universidad Autonoma de Madrid [Spain] Robin Burke - De Paul University [USA] Federica Cena - University of Turin [Italy] Paolo Cremonesi - Politecnico di Milano [Italy] Marco de Gemmis - University of Bari, Aldo Moro [Italy] Ernesto William De Luca - FH Potsdam [Germany] Alexander Felfernig - Graz University of Technology [Austria] Fabio Gasparetti - Roma Tre University [Italy] Stuart E. Middleton - University of Southampton [UK] Cataldo Musto - University of Bari Aldo Moro [Italy] Fedelucio Narducci - University of Bari Aldo Moro [Italy] Vito Claudio Ostuni - Mandora Media, Inc. [USA] Umberto Panniello - Polytechnic University of Bari [Italy] Francesco Ricci - Free University of Bozen-Bolzano [Italy] Matthew Rowe - University of Lancaster [UK] Markus Zanker - Alpen-Adria Universität Klagenfurt [Austria] ? -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Mon Mar 9 03:33:20 2015 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Sun, 8 Mar 2015 20:33:20 -0600 Subject: Extended Deadline - PADL 2015 Message-ID: <1FA4BDC8-3AB8-40D7-9273-113F452553B0@cs.nmsu.edu> ================================== DUE TO Technical Submission Problems: EXTENDED DEADLINE: MARCH 11th, 2015 ================================== Call for Papers =============== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. Important Dates and Submission Guidelines ========================================= Paper Submission: March 11, 2015 Notification: March 31, 2015 Camera-ready: April 15, 2015 Symposium: June 18-19, 2015 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2015 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2015 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL’15 will appear in the LNCS series of Springer Verlag. Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Enrico Pontelli and Son Cao Tran New Mexico State University, USA Email: epontell | tson cs nmsu edu From fabio.zanasi at ens-lyon.fr Mon Mar 9 11:06:31 2015 From: fabio.zanasi at ens-lyon.fr (fabio.zanasi at ens-lyon.fr) Date: Mon, 9 Mar 2015 11:06:31 +0100 (CET) Subject: CALCO 2015 : Last Call for Papers Message-ID: <20150309100631.22A74A3BAC@jabiru.ens-lyon.fr> ========================================================= CALL FOR PAPERS: CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science In cooperation with ACM SIGLOG June 24 - 26, 2015 Nijmegen, Netherlands http://coalg.org/calco15/ ========================================================== Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 ========================================================== -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will be held in Nijmegen, the Netherlands, colocated with MFPS XXXI. -- INVITED SPEAKERS -- Andy Pitts - University of Cambridge, UK (joint with MFPS) Chris Heunen - University of Oxford, UK Matteo Mio - CNRS, ENS Lyon, FR Daniela Petrisan - Radboud University, Nijmegen, NL -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- NEW TOPIC -- This edition of CALCO will feature a new topic, and submission of papers in this area is particularly encouraged. * String Diagrams and Network Theory - Combinatorial approaches - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams - Connections with Control Theory, Engineering and Concurrency -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. Starting with CALCO 2015, proceedings will be published in the Dagstuhl LIPIcs–Leibniz International Proceedings in Informatics series. Final papers should be no more than 15 pages long in the format specified by LIPIcs (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2015 -- BEST PAPER AND BEST PRESENTATION AWARDS -- Following from the successful trial at CALCO 2013, this edition of CALCO will feature two awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 -- PROGRAMME COMMITTEE -- Samson Abramsky, University of Oxford, UK Andrej Bauer, University of Ljubljana, SLO Filippo Bonchi, CNRS and ENS Lyon, FR Corina Cirstea, University of Southampton, UK Andrea Corradini, University of Pisa, IT Ross Duncan, University of Strathclyde, UK Martín Escardó, University of Birmingham, UK Dan Ghica, University of Birmingham, UK Helle Hansen, Radboud University Nijmegen and CWI, NL Ichiro Hasuo, University of Tokyo, JP Bart Jacobs, Radboud University Nijmegen, NL Bartek Klin, University of Warsaw, PL Barbara König, University of Duisburg-Essen, D Dexter Kozen, Cornell, US Alexander Kurz, University of Leicester, UK Paul-André Melliès, CNRS and University Paris VII, FR Stefan Milus, University of Erlangen-Nürnberg, D Larry Moss (co-chair), Indiana University, US Dusko Pavlovic, University of Hawaii, US Daniela Petrisan, ENS Lyon, FR Damien Pous, ENS Lyon, FR John Power, University of Bath, UK Jan Rutten, Radboud University Nijmegen and CWI, NL Lutz Schroeder, University of Erlangen-Nuernberg, D Monika Seisenberger, University of Swansea, UK Alexandra Silva, Radboud University Nijmegen, NL Pawel Sobocinski (co-chair), University of Southampton, UK Ana Sokolova, University of Salzburg, AT Andrzej Tarlecki, University of Warsaw, PL -- ORGANISING COMMITTEE -- Alexandra Silva Bart Jacobs Nicole Messink Sam Staton -- PUBLICITY -- Fabio Zanasi -- LOCATION -- Nijmegen is the oldest city in the Netherlands and celebrated its 2,000th year of existence in 2005. It is situated in the eastern province of Gelderland, quite near to the German border. The latin name for Nijmegen, `Noviomagus´, is a reminder of its Roman past. `Noviomagus´ means `new market´ and refers to the right to hold a market as granted by the Romans. In the days of Charlemagne, the city was called `Numaga´; later on, this became `Nieumeghen´ and `Nimmegen´. However, citizens born and bred in Nijmegen speak affectionately of `Nimwegen´. Nijmegen is one of the warmest cities of the Netherlands, especially during summer, when the highest temperatures in the country are usually measured in the triangle Roermond – Nijmegen – Eindhoven. The lack of north-south oriented mountain ranges in Europe make this area prone to sudden shifts in weather, giving the region a semi-continental climate. -- SATELLITE WORKSHOPS -- The workshop is intended to enable presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2015 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be made available. We encourage PhD students and young researchers to submit Early Ideas papers to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in the abstract that the paper is to be considered for an Early Ideas talk. =========== SIGLOG Anti-harassment Policy The open exchange of ideas and the freedom of thought and expression are central to the values and goals of SIGLOG. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, SIGLOG is committed to providing a harassment-free conference experience, and implements the ACM policy against harassment (see http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy). Conference participants violating these standards may be sanctioned or expelled from the meeting, at the discretion of the conference organizers. Conference organizers are requested to report serious incidents to the SIGLOG Chair. ========= From nicola.olivetti at univ-amu.fr Mon Mar 9 12:21:52 2015 From: nicola.olivetti at univ-amu.fr (Nicola OLIVETTI) Date: Mon, 9 Mar 2015 12:21:52 +0100 (CET) Subject: PH.D POSITION ANNONCEMENT IN MARSEILLES Message-ID: <311480317.46107.1425900112544.JavaMail.root@bureau-frontal3.univ-amu.fr> PH.D POSITION IN MARSEILLES GENERAL AREA: Logic, Automated Deduction TITLE : PROOF-THEORY OF CONDITIONAL AND NON NORMAL MODAL LOGICS ABSTRACT The topic of this thesis is to investigate the proof theory and automated deduction of conditional and non-normal modal logics. Both families of logics fall into the realm of modal logics and are characterized by variants of Kripke semantics, including neighborhood semantics. These logics find their interest in the formalisation of several kind of reasoning, namely hypothetical and counterfactual reasoning,  reasoning about agents' belief change, reasoning about prototypical properties (plausible and non-monotonic reasoning), deontic reasoning,  strategic reasoning in games, and causal reasoning. The expected research activity comprises: 1. study of new  calculi of different kinds (tableaux, sequent calculi) for the respective logics ; 2. make use of the calculi for investigating meta-logical properties of logics, for example constructive proof of decidability,  finite model property, interpolation, new or tighter complexity bounds; 3. realisation of prototype theorem provers implementing the studied calculi.   KEYWORDS: modal logic, conditional logic, proof-theory, knowledge representation ADDITIONAL INFORMATION The research will be carried on at the LSIS Laboratory (UMR CNRS 7296) in Marseilles, France (http://www.lsis.org). The applicant will be member of the INCA team of LSIS. This research team has been ranked A+ (the best possible ranking) by the French National Agency for Evaluation of Research (AERES). LOCATION: University of Aix-Marseille,  LSIS, Site of Saint-Jérôme (Faculty of Science), Marseilles FUNDING: The Ph.D. fellowship is funded for 3 years, amounting approximately to 1600 € per month (addiitonal teaching allowances are possible). CANDIDATE PROFILE: Applicants should have (or being in the process of obtaining) a M.Sc. in Computer Science, Mathematics or Philosophy, they are required to have: - a strong background in logic and knowledge representation, - an acquaintance with complexity theory, formal methods, and artificial intelligence, - some programming skills in logic or functional programming.  STARTING DATE: the position starts preferably in October 2015 but not later than 31 December APPLICATION AND CONTACT: Candidates must send their application before May 10 2015: - A detailed Curriculum vitae, - A transcript of the grades of  Bachelor and Master Degrees, - A letter of intent, - Reference letters, - A short description of master thesis. Applications must be sent by email with attached pdf files to nicola.olivetti at univ-amu.fr -- Prof. Nicola Olivetti LSIS - UMR CNRS 7296 Aix-Marseille Université (AMU) Adresse:Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20 (France) email: nicola.olivetti at univ-amu.fr,nicola.olivetti at lsis.org phone: +33 (0)49128 9094, fax: +33 (0) 49128 8334 http://www.lsis.org/olivetti/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Mar 9 15:11:35 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 9 Mar 2015 10:11:35 -0400 (EDT) Subject: Horn Clauses for Verification and Synthesis - Call for Papers Message-ID: <20150309141135.1107712146F@mcclellan.cs.miami.edu> Call for Papers Horn Clauses for Verification and Synthesis (HCVS) July 19, 2015 - San Francisco, USA Submission deadlines: - paper submission: May 22, 2015 - paper notification: June 19, 2015 Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs in various programming paradigms (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress and presentations covering previously published results that are of interest to the workshop. Invited speakers: - Ranjit Jhala, University of California at San Diego - Joxan Jaffar, National University of Singapore Program Committee: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Gregory J. Duck (National University of Singapore) Fabio Fioravanti (University of Chieti-Pescara) John Gallagher (Roskilde University and IMDEA-Software Madrid) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) - chair Radu Grigore (University of Oxford) Konstantin Korovin (Manchester University) Viktor Kuncak (EPFL) David Monniaux (CNRS/Verimag) Jorge A. Navas (NASA) - chair Corneliu Popeea (CQSE) Maurizio Proietti (IASI-CNR, Italy) Philipp Ruemmer (Uppsala University, Department of Information Technology) Andrey Rybalchenko (Microsoft Research) Valerio Senni (ALES srl) Peter Stuckey (University of Melbourne) Yakir Vizel (Princeton University) The submission format is up to 12 pages plus bibliography for regular papers and 1 to 3 pages (for work-in-progress), both in EPTCS format. Original accepted papers will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2015. From stefano.borgo at gmail.com Mon Mar 9 17:12:34 2015 From: stefano.borgo at gmail.com (Stefano Borgo) Date: Mon, 09 Mar 2015 17:12:34 +0100 Subject: 2nd CfP: Joint Ontology Workshops (JOWO), IJCAI-15, Buenos Aires Message-ID: <54FDC672.4040205@gmail.com> ========================================== Joint Ontology Workshops (JOWO-15) -- Episode 1: The Argentine Winter -- Buenos Aires, Argentina, July 25-31, 2015 in conjunction with IJCAI 2015 http://iaoa.org/jowo --- Second Call for Papers --- ========================================== Submission deadline: April 27, 2015 ========================================== This first edition of the Joint Ontology Workshops (JOWO-15) combines four exciting ontology-centered workshops at IJCAI-15. Together with ontology work presented at IJCAI itself, we will transform Buenos Aires for a week into the largest venue for ontology research of the year. JOWO-15 is supported by the International Association for Ontology and its Applications - IAOA. It will feature a series of (shared) invited talks, paper presentations, and discussions spread across four independent full-day workshops run over a period of three days: ================================== Workshop on Formal Ontologies for Artificial Intelligence (FOfAI) ================================== http://www.loa.istc.cnr.it/fofai chairs: Stefano Borgo, Oliver Kutz, and Daniele Porello FOfAI aims to establish a venue for researchers in AI with a strong interest in applied ontology. In particular, we aim to foster an interdisciplinary discussion and cross-fertilization among a number of communities by proposing a venue to exchange foundational, methodological, and applicative perspectives. The workshop thus encourages submission of articles on both theoretical, computational, and linguistic issues in the use of ontologies in AI as well as the concrete use of non-trivial ontologies in AI systems and applications. FOfAI is generously sponsored by the Association for Logic, Language and Information - FoLLI. ================================== 9th Int. Workshop on Modular Ontologies (WoMO 2015) ================================== http://www.ccs.neu.edu/home/kenb/womo2015/ chairs: Kenneth Baclawski, Torsten Hahmann, Pavel Klinov, Adila Krisnadhi This workshop brings together researchers from all subareas of AI and from related disciplines and application domains to discuss latest and current work on theoretical and practical aspects of modularity in ontologies. Topics include modularity as enabling technology for knowledge repositories and collaborative knowledge development environments and as a tool for reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, maintenance and integration. ================================== 1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases ================================== https://ontochange.wordpress.com/ chairs: Eduardo FermÈ, Thomas Meyer and Renata Wassermann This workshop will bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in non-monotonic reasoning, commonsense reasoning, and paraconsistent reasoning. Hence the workshop will facilitate discussions on the application of existing work in belief change, non-monotonic reasoning, commonsense reasoning, and related areas on the one hand, to logic-based ontologies and databases on the other. ================================== Ontologies and logic programming for query answering ================================== http://ontolp.lsis.org/ chairs: Odile Papini, Marie-Laure Mugnier, Laurent Garcia, Salem Benferhat The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies. Particular topics include query answering while taking ontologies into account and non-monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies, with a special interest in logic programming for implementations. IMPORTANT DATES Paper Submission: April 27, 2015 Notification: May 20, 2015 Camera ready: May 30, 2015 Workshop: July, 2015 SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop. Submissions can be long papers (up to 8 pages) or short papers (up to 4 pages), formatted using the AAAI style (available from http://www.aaai.org/Publications/Author/author.php), submitted in PDF format no later than the submission deadline. All submission are handled through Easychair. Use http://www.easychair.org/conferences/?conf=jowo15 for submissions to any of the first three workshops, and select the track that corresponds to the workshop most appropriate for your work. For the last workshop ''Ontologies and logic programming for query answering'', submissions are handled separately through https://easychair.org/conferences/?conf=ontolp2015 All submissions will be peer-reviewed by members of the program committee of the individual workshops. Accepted papers will be made available in the form of a joint workshop proceedings. For additional publication plans check the individual workshops. From publicity at ecmlpkdd2015.org Tue Mar 10 12:37:12 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Tue, 10 Mar 2015 11:37:12 -0000 Subject: ECMLPKDD 2015 : Call for Papers Message-ID: <006101d05b26$8f1fdfa0$ad5f9ee0$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) will take place in Porto, Portugal, from September 7th to 11th, 2015 (http://www.ecmlpkdd2015.org). This event is the leading European scientific event on machine learning and data mining and builds upon a very successful series of 25 ECML and 18 PKDD conferences, which have been jointly organized for the past 14 years. ECMLPKDD 2015 will host three tracks, tutorials and a set of workshops. Therefore, we invite all researchers and practitioners from different communities to submit papers and/or present tutorial and workshop proposals. ************************* CALL FOR PAPERS ************************* JOURNAL TRACK ********************* Articles for this track are submitted all year long directly to either Machine Learning or Data Mining and Knowledge Discovery, and are reviewed like regular journal articles. Accepted articles appear in full in the journal and the authors are given a presentation slot at the conference. Articles deemed insufficiently mature for journal publication may be accepted for inclusion in the proceedings. Submissions to the journal track will be managed by the Guest Editorial Board. Paper Submission: Cut-off dates for the bi-weekly batches are 18 Jan, 1 Feb, 15 Fev, 1 Mar, 15 Mar, 29 Mar, 12 Apr, 26 Apr of 2015 Web Page: http://www.ecmlpkdd2015.org/submission/journal-track RESEARCH PROCEEDINGS TRACK ******************************************* The research proceedings track, which is organized in the traditional way. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/research-proceedings-track INDUSTRIAL, GOVERNMENTAL & NON-GOVERNMENTAL PROCEEDINGS TRACK **************************************************************************** ************************** The NEW industrial, governmental & non-governmental (NGO) proceedings track is independent and distinct from the Research Track. Submissions to this track should solve real-world problems and focus on engineering systems, applications, and challenges. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/industrial-proceedings-track Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Tue Mar 10 13:30:42 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Tue, 10 Mar 2015 12:30:42 -0000 Subject: =?iso-8859-1?Q?CFP_7th_International_Joint_Conference_on_Computational_In?= =?iso-8859-1?Q?telligence_-_IJCCI_2015?= Message-ID: <043201d05b2e$349975c0$9dcc6140$@insticc.org> CALL FOR PAPERS 7th International Joint Conference on Computational Intelligence – IJCCI 2015 Website: http://www.ijcci.org/ November 12 – 14, 2015 Lisbon, Portugal Regular Papers Paper Submission: June 2, 2015 Authors Notification: September 1, 2015 Camera Ready and Registration: September 30, 2015 Position Papers Paper Submission: July 14, 2015 Authors Notification: September 16, 2015 Camera Ready and Registration: September 30, 2015 Sponsored by: INSTICC-Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition OMG – Object Management Group FIPA – Foundation for Intelligent Physical Agents Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: AI*IA – Associazione Italiana per l'Intelligenza Artificiale INNS – International Neural Network Society AAAI – Association for the Advancement of Artificial Intelligence EUSFLAT – European Society for Fuzzy Logic and Technology APPIA – Associação Portuguesa Para a Inteligência Artificial The purpose of IJCCI is to bring together researchers, engineers and practitioners on the areas of Fuzzy Computation, Evolutionary Computation and Neural Computation. IJCCI is composed of three co-located conferences, each specialized in at least one of the aforementioned main knowledge areas. ECTA 2015 - 7th International Conference on Evolutionary Computation Theory and Applications PROGRAM CO-CHAIRS Agostinho Rosa, IST, Portugal Juan Julian Merelo, University of Granada, Spain CONFERENCE TOPICS * Genetic Algorithms * Machine Learning * Cognitive Systems * Artificial Life * Representation Techniques * Evolutionary Multiobjective Optimization * Game Theory and Applications * Evolution Strategies * Evolutionary Robotics and Intelligent Agents * Society and Cultural Aspects of Evolution * Concurrent Co-operation * Co-evolution and Collective Behavior * Biocomputing and Complex Adaptive Systems * Bio-inspired Hardware and Networks * Swarm/Collective Intelligence * Evolutionary Art and Design * Hybrid Systems * Memetic Algorithms FCTA 2015 - 7th International Conference on Fuzzy Computation Theory and Applications PROGRAM CO-CHAIRS António Dourado, University of Coimbra, Portugal José M. Cadenas, University of Murcia, Spain CONFERENCE TOPICS * Fuzzy Hardware, Fuzzy Architectures * Soft Computing and Intelligent Agents * Mathematical Foundations: Fuzzy Set Theory and Fuzzy Logic * Approximate Reasoning and Fuzzy Inference * System Identification and Fault Detection * Fuzzy Information Retrieval and Data Mining * Fuzzy Information Processing, Fusion, Text Mining * Learning and Adaptive Fuzzy Systems * Complex Fuzzy Systems * Pattern Recognition: Fuzzy Clustering and Classifiers * Fuzzy Image, Speech and Signal Processing, Vision and Multimedia * Industrial, Financial and Medical Applications * Type-2 Fuzzy Logic * Neuro-fuzzy Systems * Fuzzy Systems Design, Modeling and Control * Real-time Learning of Fuzzy and Neuro-fuzzy Systems * Fuzzy Control * Fuzzy Systems in Robotics: Sensors, Navigation and Coordination * Software for Fuzzy Systems and Control NCTA 2015 - 7th International Conference on Neural Computation Theory and Applications PROGRAM CHAIR Kurosh Madani, University of Paris-EST Créteil (UPEC), France CONFERENCE TOPICS * Pattern Recognition * Industrial, Financial and Medical Applications * Computational Neuroscience * Neural Network Software and Applications * Neuroinformatics and Bioinformatics * Learning Paradigms and Algorithms * Supervised and Unsupervised Learning * Adaptive Architectures and Mechanisms * Support Vector Machines and Applications * Complex Artificial Neural Network Based Systems and Dynamics * Higher Level Artificial Neural Network Based Intelligent Systems * Bio-inspired and Humanoid Robotics * Image Processing and Artificial Vision Applications * Intelligent Artificial Perception and Neural Sensors * Modular Implementation of Artificial Neural Networks * Neural based Data Mining and Complex Information Processing * Neural Multi-agent Intelligent Systems and Applications * Self-organization and Emergence * Stability and Instability in Artificial Neural Networks * Neural Network Hardware Implementation and Applications * Neural Computation issues in Social Behaviour Emergence IJCCI KEYNOTE LECTURES Julian Togelius, New York University, United States Yaochu Jin, University of Surrey, United Kingdom PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is member of CrossRef ( http://www.crossref.org/). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. IJCCI CONFERENCE CHAIR Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal Please check further details at the conference website ( http://www.ijcci.org/) IJCCI SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: ijcci.secretariat at insticc.org --- This email has been checked for viruses by Avast antivirus software. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ssantiago at insticc.org Tue Mar 10 13:32:45 2015 From: ssantiago at insticc.org (Sara Santiago) Date: Tue, 10 Mar 2015 12:32:45 -0000 Subject: =?iso-8859-1?Q?CFP_7th_International_Conference_on_Evolutionary_Computati?= =?iso-8859-1?Q?on_Theory_and_Applications_-_ECTA_2015?= Message-ID: <056301d05b2e$75115dc0$5f341940$@insticc.org> CALL FOR PAPERS 7th International Conference on Evolutionary Computation Theory and Applications – ECTA 2015 Website: http://www.ecta.ijcci.org/ November 12 – 14, 2015 Lisbon, Portugal Regular Papers Paper Submission: June 2, 2015 Authors Notification: September 1, 2015 Camera Ready and Registration: September 30, 2015 Position Papers Paper Submission: July 14, 2015 Authors Notification: September 16, 2015 Camera Ready and Registration: September 30, 2015 Sponsored by: INSTICC-Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition OMG – Object Management Group FIPA – Foundation for Intelligent Physical Agents In Cooperation with: AI*IA – Associazione Italiana per l'Intelligenza Artificiale AAAI – Association for the Advancement of Artificial Intelligence APPIA – Associação Portuguesa Para a Inteligência Artificial Logistics Partner: SCITEVENTS – Science and Technology Events Considered a subfield of computational intelligence focused on combinatorial optimisation problems, evolutionary computation is associated with systems that use computational models of evolutionary processes as the key elements in design and implementation, i.e. computational techniques which are based to some degree on the evolution of biological life in the natural world. A number of evolutionary computational models have been proposed, including evolutionary algorithms, genetic algorithms, the evolution strategy, evolutionary programming, swarm intelligence and artificial life. This conference intends to be a major forum for scientists, engineers and practitioners interested in the study, analysis, design, modeling and implementation of evolvable systems, both theoretically and in a broad range of application fields. ECTA welcomes both theoretical research and practical applications. The conference also aims to foster hybrid approaches within evolutionary computation and also involving fuzzy computation and neural computation. IJCCI KEYNOTE LECTURES Julian Togelius, New York University, United States Yaochu Jin, University of Surrey, United Kingdom PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is member of CrossRef ( http://www.crossref.org/). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. IJCCI CONFERENCE CHAIR Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal PROGRAM CO-CHAIRS Agostinho Rosa, IST, Portugal Juan Julian Merelo, University of Granada, Spain CONFERENCE TOPICS: * Genetic Algorithms * Machine Learning * Cognitive Systems * Artificial Life * Representation Techniques * Evolutionary Multiobjective Optimization * Game Theory and Applications * Evolution Strategies * Evolutionary Robotics and Intelligent Agents * Society and Cultural Aspects of Evolution * Concurrent Co-operation * Co-evolution and Collective Behavior * Biocomputing and Complex Adaptive Systems * Bio-inspired Hardware and Networks * Swarm/Collective Intelligence * Evolutionary Art and Design * Hybrid Systems * Memetic Algorithms PROGRAM COMMITTEE http://www.ecta.ijcci.org/ProgramCommittee.aspx ECTA SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: ecta.secretariat at insticc.org Please check further details at the conference website (http://www.ecta.ijcci.org) --- This email has been checked for viruses by Avast antivirus software. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Tue Mar 10 14:40:36 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Tue, 10 Mar 2015 13:40:36 -0000 Subject: =?iso-8859-1?Q?CFP_7th_International_Conference_on_Neural_Computation_The?= =?iso-8859-1?Q?ory_and_Applications_-_NCTA_2015?= Message-ID: <04eb01d05b38$98c88a40$ca599ec0$@insticc.org> CALL FOR PAPERS 7th International Conference on Neural Computation Theory and Applications – NCTA 2015 Website: http://www.ncta.ijcci.org/ November 12 – 14, 2015 Lisbon, Portugal Regular Papers Paper Submission: June 2, 2015 Authors Notification: September 1, 2015 Camera Ready and Registration: September 30, 2015 Position Papers Paper Submission: July 14, 2015 Authors Notification: September 16, 2015 Camera Ready and Registration: September 30, 2015 Sponsored by: INSTICC-Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition OMG – Object Management Group FIPA – Foundation for Intelligent Physical Agents Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: AI*IA – Associazione Italiana per l'Intelligenza Artificiale INNS – International Neural Network Society AAAI – Association for the Advancement of Artificial Intelligence APPIA – Associação Portuguesa Para a Inteligência Artificial Neural computation and artificial neural networks have seen an explosion of interest over the last few years, and are being successfully applied across an extraordinary range of problem domains, in areas as diverse as finance, medicine, engineering, geology and physics, in problems of complex dynamics and complex behavior prediction, classification or control. Several architectures, learning strategies and algorithms have been introduced in this highly dynamic field in the last couple of decades. This conference intends to be a major forum for scientists, engineers and practitioners interested in the study, analysis, design, modeling and implementation of neural computing systems, both theoretically and in a broad range of application fields. IJCCI KEYNOTE LECTURES Julian Togelius, New York University, United States Yaochu Jin, University of Surrey, United Kingdom PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is member of CrossRef ( http://www.crossref.org/). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. IJCCI CONFERENCE CHAIR Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal PROGRAM CHAIR Kurosh Madani, University of Paris-EST Créteil (UPEC), France CONFERENCE TOPICS: * Pattern Recognition * Industrial, Financial and Medical Applications * Computational Neuroscience * Neural Network Software and Applications * Neuroinformatics and Bioinformatics * Learning Paradigms and Algorithms * Supervised and Unsupervised Learning * Adaptive Architectures and Mechanisms * Support Vector Machines and Applications * Complex Artificial Neural Network Based Systems and Dynamics * Higher Level Artificial Neural Network Based Intelligent Systems * Bio-inspired and Humanoid Robotics * Image Processing and Artificial Vision Applications * Intelligent Artificial Perception and Neural Sensors * Modular Implementation of Artificial Neural Networks * Neural based Data Mining and Complex Information Processing * Neural Multi-agent Intelligent Systems and Applications * Self-organization and Emergence * Stability and Instability in Artificial Neural Networks * Neural Network Hardware Implementation and Applications * Neural Computation issues in Social Behaviour Emergence PROGRAM COMMITTEE http://www.ncta.ijcci.org/ProgramCommittee.aspx NCTA SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: ncta.secretariat at insticc.org Please check further details at the conference website (http://www.ncta.ijcci.org) --- This email has been checked for viruses by Avast antivirus software. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Tue Mar 10 14:40:36 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Tue, 10 Mar 2015 13:40:36 -0000 Subject: =?iso-8859-1?Q?CFP_7th_International_Conference_on_Fuzzy_Computation_Theo?= =?iso-8859-1?Q?ry_and_Applications_-_FCTA_2015?= Message-ID: <07b101d05b38$cf6763a0$6e362ae0$@insticc.org> CALL FOR PAPERS 7th International Conference on Fuzzy Computation Theory and Applications – FCTA 2015 Website: http://www.fcta.ijcci.org/ November 12 – 14, 2015 Lisbon, Portugal Regular Papers Paper Submission: June 2, 2015 Authors Notification: September 1, 2015 Camera Ready and Registration: September 30, 2015 Position Papers Paper Submission: July 14, 2015 Authors Notification: September 16, 2015 Camera Ready and Registration: September 30, 2015 Sponsored by: INSTICC-Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition OMG – Object Management Group FIPA – Foundation for Intelligent Physical Agents Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: AI*IA – Associazione Italiana per l'Intelligenza Artificiale AAAI – Association for the Advancement of Artificial Intelligence EUSFLAT – European Society for Fuzzy Logic and Technology APPIA – Associação Portuguesa Para a Inteligência Artificial Fuzzy computation is a field that encompasses the theory and application of fuzzy sets and fuzzy logic to the solution of information processing, systems analysis and synthesis problems. Bolstered by information technology developments, the extraordinary growth of fuzzy computation in recent years has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding, decision and systems control. This conference intends to be a major forum for scientists, engineers and practitioners interested in the study, analysis, design, modeling and implementation of fuzzy systems, both theoretically and in a broad range of application fields. IJCCI KEYNOTE LECTURES Julian Togelius, New York University, United States Yaochu Jin, University of Surrey, United Kingdom PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is member of CrossRef ( http://www.crossref.org/). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. IJCCI CONFERENCE CHAIR Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal PROGRAM CO-CHAIRS António Dourado, University of Coimbra, Portugal José M. Cadenas, University of Murcia, Spain CONFERENCE TOPICS: * Fuzzy Hardware, Fuzzy Architectures * Soft Computing and Intelligent Agents * Mathematical Foundations: Fuzzy Set Theory and Fuzzy Logic * Approximate Reasoning and Fuzzy Inference * System Identification and Fault Detection * Fuzzy Information Retrieval and Data Mining * Fuzzy Information Processing, Fusion, Text Mining * Learning and Adaptive Fuzzy Systems * Complex Fuzzy Systems * Pattern Recognition: Fuzzy Clustering and Classifiers * Fuzzy Image, Speech and Signal Processing, Vision and Multimedia * Industrial, Financial and Medical Applications * Type-2 Fuzzy Logic * Neuro-fuzzy Systems * Fuzzy Systems Design, Modeling and Control * Real-time Learning of Fuzzy and Neuro-fuzzy Systems * Fuzzy Control * Fuzzy Systems in Robotics: Sensors, Navigation and Coordination * Software for Fuzzy Systems and Control PROGRAM COMMITTEE http://www.fcta.ijcci.org/ProgramCommittee.aspx FCTA SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: fcta.secretariat at insticc.org Please check further details at the conference website (http://www.fcta.ijcci.org) --- This email has been checked for viruses by Avast antivirus software. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Tue Mar 10 16:44:30 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Tue, 10 Mar 2015 15:44:30 -0000 Subject: ECMLPKDD 2015 : PhD Session Message-ID: <006b01d05b49$1b9bf410$52d3dc30$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/). The conference includes a PhD session that provides an environment for students to exchange their ideas and experiences with peers and senior researchers in machine learning, data mining, and related areas. We invite PhD students (PhD in progress or defended not earlier than 31st December 2014) to submit papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Papers submitted to ECML/PKDD 2015 PhD session will be peer-reviewed. Accepted papers will be presented in the special PhD session at ECMLPKDD 2015 and will be published in the session proceedings which will be available through the conference website. Important Dates Paper submission deadline: June 10 2015 Author notification: July 15 2015 Camera-ready: August 5 2015 Doctoral consortium session: September 7 2015 Detailed information about the PhD Session is available on: http://www.ecmlpkdd2015.org/submission/doctoral-consortium For further information please contact the ECMLPKDD 2015 PhD Chairs: Jaakko Hollmen (Aalto University) Panagiotis Papapetrou (Stockholm University) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Tue Mar 10 20:56:05 2015 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Tue, 10 Mar 2015 15:56:05 -0400 Subject: PhD position, Data Semantics/Semantic Web, Wright State University Message-ID: <54FF4C55.2080105@wright.edu> Data Semantics Laboratory directed by Pascal Hitzler and Michelle Cheatham Department of Computer Science and Engineering Wright State University Dayton, Ohio, USA The Data Semantics (DaSe) Lab at the Department of Computer Science at Wright State University seeks one or more PhD students to pursue research in applied or foundational aspects of Data Semantics, Semantic Web, Ontologies, Linked Data, Semantic Information Integration, Cybersecurity, Geo- or Earth Sciences. Funding includes a monthly stipend plus tuition costs. The DaSe Lab (directed by Michelle Cheatham and Pascal Hitzler, see http://www.michellecheatham.com/ and http://www.pascal-hitzler.de/ for more information) is an internationally prominent research group with focus on foundations and applications of Semantic Web technologies. Lab members primarily contribute to ongoing research projects, but occasionally also get involved in teaching and administrative tasks. The new students will likely focus on research topics related to ontology-based Data Science applications. Applicants need strong programming skills, including familiarity with a wide variety of data structures and comfort in integrating existing libraries into their programs. Additionally, applicants should have excellent communication skills and excel in team work. Intellectual curiosity, a wide range of interests, and the ability and stamina to pursue challenging long-term goals is required. It is preferable, but not required, that applicants had previous exposure to lab research topics. Applicants should send their application to daselab-jobs at googlegroups.com. It shall consist of a single pdf file containing a detailed curriculum vitae including grades, plus a cover letter in the email body which includes * GPA of all degrees completed or under progress, with explanations how to convert the grading system, if degree is from outside the U.S. * GRE score (both verbal and quantitative) or date when GRE score will be available * Scores of most recent English language tests if non-native English speaker. Applications which do not comply with these requirements may be ignored. Successful applicants must satisfy the formal requirements for pursuing a PhD degree in Computer Science at Wright State University, see http://cse.wright.edu/academic-program/phd-computer-science-and-engineering. Processing of applications will begin immediately and commence until positions are filled. We expect to make first decisions in April 2015. Please send applications and inquiries to daselab-jobs at googlegroups.com. Best Regards, Pascal Hitzler -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From publicity at ecmlpkdd2015.org Tue Mar 10 21:18:57 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Tue, 10 Mar 2015 20:18:57 -0000 Subject: ECMLPKDD 2015 : Nectar Track Message-ID: <002001d05b6f$728dfdb0$57a9f910$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/) and includes a Nectar Track that offers conference attendees a compact overview of recent scientific advances at the frontier of machine learning and data mining with other disciplines, as published in related conferences and journals. We invite senior and junior researchers to submit summaries of their own work published in neighboring fields, such as (but not limited to) artificial intelligence, data analytics, bioinformatics, games, computational linguistics, computer vision, geoinformatics, health informatics, database theory, human computer interaction, information and knowledge management, robotics, pattern recognition, statistics, social network analysis, theoretical computer science, uncertainty in AI, network science, complex systems science, and computationally oriented sociology, economy, statistics and biology. Particularly welcome is work that illustrates the pervasiveness of data-driven exploration and modelling in science and technology, as well as innovative applications. Accepted NECTAR contributions will be presented as talks or posters and included in the conference proceedings. Important dates Submission deadline: May 4, 2015 Notifications of acceptance: June 1, 2015 Submission of camera ready copies: June 15, 2015 Detailed information about the Nectar Track is available on: http://www.ecmlpkdd2015.org/submission/call-nectar-track-contributions For further information please contact the ECMLPKDD 2015 Nectar Track Chairs: Ricard Gavaldà (Universitat Politècnica de Catalunya) Dino Pedreschi (Università di Pisa) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos --- Este e-mail foi verificado em termos de vírus pelo software antivírus Avast. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Wed Mar 11 01:24:58 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 10 Mar 2015 21:24:58 -0300 Subject: Third call for papers: DARe at IJCAI 2015 Message-ID: <238A12AE-B3AD-4860-A86C-F2F0E9A40AB0@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI 2015 Date: TBC (one day between 25 and 27 July 2015) Buenos Aires, Argentina *** Deadline: 27 April 2015 *** ============================== The Second International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2015.yolasite.com held at the International Joint Conference on Artificial Intelligence (IJCAI 2015) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI 2015 LaTeX style (which can be found at http://ijcai-15.org/index.php/call-for-papers) and should be no longer than 6 pages excluding references and in PDF format. The list of references is limited to one page. Please submit to: https://easychair.org/conferences/?conf=dare15 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the IJCAI 2015 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 27 April 2015 - Notification: 20 May 2015 - Camera ready: 30 May 2015 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: [TBA] -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Mahasarakham University, Thailand) - Giovanni Casini (Centre for AI Research and University of Pretoria, South Africa) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Willem Labuschagne (University of Otago, New Zealand) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to IJCAI policy all workshop participants are required to register for the workshop. IJCAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2015.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://en.varzinczak.net16.net Google scholar profile: http://tinyurl.com/varzinczak From leon.vandertorre at uni.lu Thu Mar 12 16:41:00 2015 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Thu, 12 Mar 2015 16:41:00 +0100 Subject: PhD candidate in Collective Reasoning (2nd call) Message-ID: <5501B38C.6000202@uni.lu> The Individual and Collective Reasoning (ICR) Group at the University of Luxembourg, and the Department of Ethics, Social and Political Philosophy (ESPP) at the University of Groningen is looking for a: *Doctoral candidate (PhD student) in Collective Reasoning* (M/F). * Ref:F1-070075 * 2+2-year fixed-term contract, full-time (40h/week) * Beginning earliest May, 2015 Area: Collective reasoning Your Role The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg (year 1 and 2), and in the Department of ESPP at the University of Groningen led by Prof. Frank Hindriks (year 3 and 4). You will obtain a joint degree from both institutions (cotutelle). The goal of the PhD project is to develop and evaluate a conceptual, formal and computational framework for the analysis of collective reasoning and decision-making. The aim is to advance understanding of mutually beneficial and normatively appropriate choices in cooperative settings. Applications can concern expert panels and committee decision-making in general, and, for instance, central bank monetary policy committees, climate panels, medical ethical committees, and parliamentary committees in particular. Within this goal, the candidate is asked to submit a work plan, explaining how philosophy and artificial intelligence can benefit from each other. Whereas philosophers focus on the interaction between notions such as intentions, goals, beliefs, reasons, obligations and values - aimed at articulating an account of rational action - computer scientists address the overall architecture of an intelligent agent involving similar notions. The research statement must address these issues at the collective level and focus on notions such as joint intentions, collective rationality, collective obligations, and shared valuing. It may draw on theories such as judgment aggregation, team reasoning, and shared valuing as used in social ontology, and it may employ tools from deontic logic and normative multi-agent systems. The tasks for the PhD student will be to: * Write a doctoral dissertation * Disseminate results through scientific publications * Assist the professors in their teaching activities For further inquiries please contact: Prof. Leon van der Torre, leon.vandertorre at uni.lu or Prof. Frank Hindriks f.a.hindriks at rug.nl Your Profile * A Master degree in Philosophy, Computer Science or a related discipline * A proven interest in Interest in interdisciplinary research, and both conceptual and formal aspect * Background in practical reasoning, knowledge representation, applied logic, multi-agent systems, or social ontology, * Strong analytical capacities, creativity, and commitmen * Excellent written and oral English skills. We offer A 2+2-year contract, full-time (40 hours/week). The first two years will be mainly spent in Luxembourg, and the last two years will be mainly spent in Groningen. Universities offer competitive salaries and are equal opportunity employers. You will work in an exciting international environment and will have the opportunity to participate in two excellent research environments. Further Information Applications should be written in English and include the following documents: * An introduction letter indicating your motivation, * A detailed Curriculum vitae * A transcript of the grades you received in your Bachelor and Master * A short description of your master thesis * A work plan proposal of 800 words. Interested candidates are invited to send their complete application including CV and copies of diploma ON LINE before March 31, 2015. Follow the link at the bottom of the following webpage: *http://emea3.mrted.ly/lli8* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From valentin.goranko at philosophy.su.se Fri Mar 13 16:03:48 2015 From: valentin.goranko at philosophy.su.se (Valentin Goranko) Date: Fri, 13 Mar 2015 15:03:48 +0000 Subject: PhD position at the Department of Philosophy, Stockholm University Message-ID: PhD position in Theoretical Philosophy at the Department of Philosophy, Stockholm University (ref no SU FV-0632-15) The Department of Philosophy is Sweden’s largest philosophy department, and is divided into Theoretical Philosophy and Practical Philosophy. Theoretical Philosophy includes logic, epistemology, philosophy of science, philosophy of language, philosophy of mind, metaphysics, as well as the history of these sub disciplines. Applications in the areas of logic and philosophy of mind are especially welcomed. The duration of the position is four years. Deadline for applications: April 15, 2015. For further details, see the full announcement here: http://www.philosophy.su.se/polopoly_fs/1.228010.1426158444!/menu/standard/ file/PhD_description_eng_tf.pdf From ali.bbozkurt at gmail.com Sun Mar 15 19:37:34 2015 From: ali.bbozkurt at gmail.com (Ali Bozkurt) Date: Sun, 15 Mar 2015 20:37:34 +0200 Subject: CFP, IEEE MEDIS 2015 - The 1st IEEE International Workshop on Mobile and Embedded Devices Integrated Supercomputing Message-ID: Sincere apologies if you receive multiple copies of this Call for Paper. Call for Papers ———————————————————————————————————————————————————————————— The 1st IEEE International Workshop on Mobile and Embedded Devices Integrated Supercomputing (MEDIS 2015) in Conjunction with 39th Annual IEEE Signature Conference on Computers, Software & Applications (COMPSAC 15) July 1-5, 2015 | Tunghai University, Taichung, Taiwan Paper Submission Deadline: March 18, 2015 Paper Submission Site: http://myreview.cs.iastate.edu/MEDIS2015 Important Dates: Deadline for paper submission: March 18th, 2015 Notification of acceptance: April 10th, 2015 Camera-ready due: April 24th, 2015 Workshop website: http://www.computer.org/web/compsac/medis ———————————————————————————————————————————————————————————— Mobile and Embedded platforms are used everywhere today. Researchers and system designers provide platforms with more features for parallelization such as multicore architecture, integrated pipelining, independent distributed and shared cache, per clock cycle execution and on the other hand, they work on software architecture to support aforementioned hardware, compilers and code generators, mobile operating systems with ability of serving concurrent processes and threads. GPGPU is currently the dominant platform for supercomputing. The challenge is becoming more exciting when GPGPU chips with high number of simple cores are embedded in SoC, facilitating developers to increase computational speed on mobile platforms extensively. MEDIS Workshop is aiming to collect and choose high quality papers in the filed of mobile supercomputing and provide a platform for researchers and scientists to discuss about future generation of ultra dense multicore mobile and embedded platforms used in computationally heavy applications. Such platforms will be used in Cognitive and Semantic Robotics, ubiquities Computing, and they help improving the quality of life in general. Papers are encouraged to present innovative ideas in software or hardware design and development for parallel computing used in mobile platforms. ###Goal of the Workshop: MEDIS 2015 fosters the following complementary objectives: i. Inquiring on theory and practice of Parallel programming and supercomputing, especially for mobile and embedded devices. ii. Exploring new mobile and embedded hardware architectures and kits facilitating massive parallelization in small scale. iii. Deploying new technologies in the fields of Parallel programming, ultra dense supercomputing, and mobile GPGPU based computing. ###Main Topics of Interest: Topics of interest include but not limited to Parallel Computation for Embedded systems, Design and Development of Parallel and Multicore Embedded platforms, Mobile Supercomputing, GPGPU SoC, Hardware realization of parallel algorithms for mobile devices, Distributed mobile cloud, Embedded Supercomputing, Tegra Jetson K1 GPGPU programming, CUDA and MAGMA on mobile, massive parallelization schemes, Parallel Algorithms, , Mobile Supercomputing Applications, Network Bottleneck for Massive Parallelization, Clouds and Distributed Computing, Data Analytics, Visualization and Storage, Performance, and System Software for Parallel machines. ###Paper Submission: Papers must be submitted electronically via the MEDIS 2015 site at http://myreview.cs.iastate.edu/MEDIS2015 The format of submitted papers should follow the guidelines for the IEEE conference proceedings. All papers will be carefully reviewed by at least two reviewers. Papers should be no more than 6 pages. ###Workshop Organizers: Behnam Rahnama, ScaleDB, Silicon Valley, Email: behnam.rahnama at gmail.com Atilla Elci, Aksaray University, Turkey, Email: atilla.elci at gmail.com Hamid R. Arabnia, University of Georgia, USA, Email: Hamid hra at cs.uga.edu ###Program Committee: * Bekir Tevfik Akgun, Okan University, Turkey * Travis Schluessler, Intel, USA * Rahul Khanna, Intel, USA * Farokh Koroupi, Baft Azad University, Iran * Bala Subramanian, European University of Lefke, Cyprus * Birim Balci Demirci, Okan University, Turkey * Chandra Cheij, NVidia, USA * Alexander Chefranov, Eastern Mediterranean University, Cyprus * Maxim Anikeev, Southern Federal University, Russia * Manuel Carcenac, European University of Lefke, Cyprus * Arif Sari, European University of Lefke, Cyprus -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From inoue at nii.ac.jp Mon Mar 16 07:06:26 2015 From: inoue at nii.ac.jp (Katsumi Inoue) Date: Mon, 16 Mar 2015 15:06:26 +0900 Subject: CFP: ILP 2015 Kyoto - 25th International Conference on Inductive Logic Programming Message-ID: <077B7C907E0D4DE2A59ACA6800C25C46@hera> Title: 1st Call for Papers: ILP 2015 Kyoto ILP 2015 : The 25th International Conference on Inductive Logic Programming Aug 20, 2015 - Aug 22, 2015 Kyoto, Japan http://ilp2015.jp/ 1ST CALL FOR PAPERS =========================================================== The 25th International Conference on Inductive Logic Programming (ILP 2015) will be held in Kyoto, Japan, August 20th - 22nd. The ILP conference is the premier international forum on logic-based and relational learning. Originally focused on induction of logic programs, it has broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, connections with other learning paradigms, and learning in other logic-based knowledge representation frameworks. Typical, but not exclusive, topics of interest for submissions include: - Theoretical aspects: logical foundations, learning scenarios, theories on abduction and discovery, data/model representation frameworks, computational and/or statistical properties, etc. - Algorithms: logical, probabilistic and statistical approaches, distance and kernel-based methods, learning with (semi)structured data, supervised/unsupervised/semi-supervised relational learning, relational reinforcement learning, inductive databases, abductive learning, link discovery, new propositionalization approaches, multi-instance learning, predicate invention, learning dynamics of systems, etc. - Representations and languages for logic-based learning: including datalog, first-order logic, description logics and ontologies, higher-order logic, probabilistic logical representations, mapping between alternative representations. - Systems: systems that implement inductive logic programming algorithms with special emphasis on issues like optimization, parallelism, efficiency and scalability. - Applications including, but not restricted to multi-relational learning from structured (e.g., labeled graphs, tree patterns) and semi-structured data (e.g., XML documents), learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, social science, etc.), natural language processing (computational linguistics, text/web mining etc.), engineering, robotics, games, semantic web, social networks, the arts, etc. We solicit three kinds of papers: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Long papers will be reviewed by at least 3 members of the program committee. Authors will be notified prior to the conference on acceptance/rejection for the Springer LNAI post-conference proceedings. Authors of accepted papers will be assigned a standard time slot for presentation. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by at least 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer LNAI post-conference proceedings; In this case, the long paper will be reviewed again by the assigned PC members of the short paper and be finally accepted if satisfactorily addressing the reviewer's requirements. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/ PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer LNAI post-conference proceedings. SUBMISSION: Submissions in category 1 or 2 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format. Long (short) papers must not exceed 12 (6) pages. The indicated number of pages includes the title page, references and figures. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. All Paper submissions will be electronic through the ILP 2015 easychair site: https://www.easychair.org/conferences/?conf=ilp2015 A special issue of the Machine Learning journal is planned following the conference, which is open for everyone. This special issue welcomes conference submissions from all the three categories above, which should be significantly revised and extended to meet the MLJ criteria, for re-reviewing by the PC. INVITED SPEAKERS: Stephen Muggleton, Imperial College London Taisuke Sato, Tokyo Institute of Technology Luc De Raedt, Katholieke Universiteit Leuven Stefanie Jegelka, UC Berkeley ASSOCIATED EVENTS: MLSS 2015 Kyoto - Machine Learning Summer School 2015 in Kyoto - will be held on August 24 - September 5, 2015, in Kyoto University. IMPORTANT DATES: * Abstract registration: April 19, 2015 * Long paper submission: April 24, 2015 * Long Paper notification: June 1, 2015 * Short Paper submission: June 26, 2015 * Short Paper notification: July 1, 2015 CONFERENCE AND PROGRAM CO-CHAIRS: Katsumi Inoue, NII Hayato Ohwada, Tokyo University of Science Akihiro Yamamoto, Kyoto University PUBLICITY CHAIR: Kotaro Okazaki, SONAR PROGRAM COMMITTEE: Erick Alphonse, LIPN - UMR CNRS 7030 Annalisa Appice, University Aldo Moro of Bari Elena Bellodi, University of Ferrara Hendrik Blockeel, K.U. Leuven Rui Camacho, LIACC/FEUP University of Porto James Cussens, University of York Jesse Davis, KU Leuven Luc De Raedt, Katholieke Universiteit Leuven Inês Dutra, Universidade do Porto Saso Dzeroski, Jozef Stefan Institute Nicola Fanizzi, Università di Bari Stefano Ferilli, Università di Bari Peter Flach, University of Bristol Nuno A. Fonseca, European Bioinformatics Institute Tamas Horvath, University of Bonn and Fraunhofer IAIS Katsumi Inoue, NII (co-chair) Nobuhiro Inuzuka, Nagoya Institute of Technology Andreas Karwath, University of Mainz Kristian Kersting, TU Dortmund University Ross King, University of Manchester Ekaterina Komendantskaya, University of Dundee Nada Lavrač, Jozef Stefan Institute Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro" Donato Malerba, Università degli Studi di Bari "Aldo Moro" Stephen Muggleton, Imperial College London Sriraam Natarajan, Indiana University Hayato Ohwada, Tokyo University of Science (co-chair) Aline Paes, Institute of Computing, Universidade Federal Fluminense Bernhard Pfahringer, University of Waikato Ganesh Ramakrishnan, IIT Bombay Jan Ramon, K.U.Leuven Oliver Ray, University of Bristol Fabrizio Riguzzi, University of Ferrara Celine Rouveirol, Université Paris 13 Alessandra Russo, Imperial College London Chiaki Sakama, Wakayama University Vítor Santos Costa, Universidade do Porto Takayoshi Shoudai, Kyushu International University Ashwin Srinivasan, Indraprastha Institute of Information Technology, New Delhi Alireza Tamaddoni-Nezhad, Imperial College, London Tomoyuki Uchida, Hiroshima City University Guy Van den Broeck, KU Leuven Jan Van Haaren, KU Leuven Christel Vrain, university of Orléans Stefan Wrobel, Fraunhofer IAIS & University of Bonn Akihiro Yamamoto, Kyoto University (co-chair) Gerson Zaverucha, PESC/COPPE - UFRJ Filip Zelezny, Czech Technical University From aamas2014publicity at gmail.com Mon Mar 16 14:24:42 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Mon, 16 Mar 2015 13:24:42 +0000 Subject: AAMAS 2015: Early registration deadline (March 20) Message-ID: The deadline for early registration for the 14th International Conference on Autonomous Agents and Multiagent Systems is almost here. Register now to take advantage of discounts! For more information, see: http://www.aamas2015.com/en/REGISTRATION.html From announce at cs.ucy.ac.cy Mon Mar 16 18:28:57 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 16 Mar 2015 19:28:57 +0200 Subject: WIMS 2015: Final Call for Papers (extended submission deadline) Message-ID: *** Final Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ *** Extended Submission Deadline: 7th April 2015 *** Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 07.04.2015 Submission of papers/posters (extended deadline) 27.04.2015 Notification of acceptance for papers/posters 11.05.2015 Camera ready versions of the accepted papers, posters, tutorial papers 30.05.2015 Author registration deadline 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amedeo.napoli at loria.fr Tue Mar 17 15:15:06 2015 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Tue, 17 Mar 2015 15:15:06 +0100 (CET) Subject: CFP FCA4AI Workshop at IJCAI 2015 ``What can FCA do for Artificial Intelligence?'' (4th Edition) In-Reply-To: <183157342.4884212.1426601648313.JavaMail.zimbra@loria.fr> Message-ID: <540710386.4884537.1426601706473.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Fourth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2015, Buenos Aires, Argentina 25 July-1 August 2015 http://www.fca4ai.hse.ru/2015 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (ECAI 2014 Prague, IJCAI 2013 Beijing, and ECAI 2012 Montpellier) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-1257/, http://ceur-ws.org/Vol-1058/, and http://ceur-ws.org/Vol-939/). This year, we have the chance to organize a new edition of the workshop in Buenos Aires at the IJCAI 2015 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: April 26, 2015 Notification to authors: June 15, 2015 Final version: July 1st, 2015 Workshop: July 25 or 26, 2015 (to be confirmed) SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2015 (to be opened soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From w.w.vasconcelos at abdn.ac.uk Tue Mar 17 17:17:26 2015 From: w.w.vasconcelos at abdn.ac.uk (Vasconcelos, Dr Wamberto W. M. P. D.) Date: Tue, 17 Mar 2015 16:17:26 +0000 Subject: Second CALL FOR PAPERS: Platforms for Social Computing, July 25th-31st July 2015, Buenos Aires, ARGENTINA (DEADLINE: 27:04:2015) Message-ID: Second CALL FOR PAPERS: Platforms for Social Computing, July 25th-31st July 2015, Buenos Aires, ARGENTINA (DEADLINE: 27:04:2015) [APOLOGIES FOR CROSS-POSTING] Authors are invited to submit articles presenting ongoing efforts to build platforms for social computing, as well as to build social machines employing existing platforms. Topics of interest include: - Descriptions of platforms for social computing, in every stage of their lifecycles (i.e. from design specifications to actual implementations). - Discussions of relevant issues related to social computing, including economical, ethical and philosophical issues, - Engineering issues related to computational complexity and ergonomics of social computing platforms. - Discussions of potential and actual applications of social computing in relevant scenarios. More details at https://ijcai2015psc.wordpress.com/ Important dates April 27th - article submission (submission details will be available soon). May 20th - acceptance notification. May 30th - deadline for final camera ready submission. On behalf of the co-chairs, Wamberto Vasconcelos Computing Science -- University of Aberdeen -- UK http://www.abdn.ac.uk/ncs/profiles/w.w.vasconcelos/ email: w.w.vasconcelos at abdn.ac.uk The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas cl?raichte ann an Alba, ?ir. SC013683. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Wed Mar 18 15:48:16 2015 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Wed, 18 Mar 2015 14:48:16 GMT Subject: Computability in Europe 2015: Call for Informal Presentations Message-ID: <201503181448.t2IEmG10029338@maths.leeds.ac.uk> ------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ ------------------------------------------------------------------- FUNDING DEADLINE APPROACHING - ASL STUDENT TRAVEL GRANTS: March 28, 2015 SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: APRIL 24, 2015 ------------------------------------------------------------------- CALL FOR INFORMAL PRESENTATIONS There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and one page) by: APRIL 24, 2015 Please submit your abstract electronically, via EasyChair , selecting the category "Informal Presentation". You will be notified whether your talk has been accepted for informal presentation usually within a week or two after your submission. If you intend to apply for the ASL Student Travel Award, you might need us to confirm that your are going to give a presentation at CiE 2015 (applications of students who are presenting get higher priority). Therefore, we would like to ask you to submit your informal presentations by March 25 so that we can send you the notification before the ASL deadline of March 28. FUNDING OPPORTUNITIES: CiE 2015 has received funding from the ASL (Association for Symbolic Logic) and EATCS (European Association for Theoretical Computer Science) that allows students who are members of ASL or EATCS and want to attend CiE 2015 to apply for travel funds or a reduction of the early registration fee. Preference will be given to presenters of accepted papers. Applications for ASL travel grants have to be addressed directly to ASL, with a strict deadline of March 28, 2015. Applications for EATCS travel grants have to be sent to cie2015 at fmi.unibuc.ro prior to the early registration deadline. ___________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015 ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE ___________________________________________________________________ From P.Schulz at uva.nl Thu Mar 19 09:30:44 2015 From: P.Schulz at uva.nl (Schulz, Philip) Date: Thu, 19 Mar 2015 08:30:44 +0000 Subject: Final Cfp: ESSLLI student session 2015 Message-ID: <3B1634E7DBEFD54D89614385189A7F88F91657@MBX02.uva.nl> Please forward to students. Apologies for the multiple messages. *Final Call for Papers* *ESSLLI 2015 STUDENT SESSION* Held during the 27th European Summer School in Logic, Language and Information Barcelona, Spain, August 03-14, 2015 *Deadline for submissions: March 25th, 2015* https://easychair.org/conferences/?conf=essllistus2015 *ABOUT* The Student Session of the 27th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Barcelona, Spain, August 3rd to 14th (http://esslli2015.org). We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *ORAL/POSTER PRESENTATIONS* Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress. *SUBMISSION GUIDELINES* Authors must be students, and submissions may be singly or jointly authored. Each author may submit at most one single and one jointly authored contribution. Submissions should not be longer than 8 pages for an oral presentation or 4 pages for a poster presentation (including examples and references). Submissions must be anonymous, without any identifying information. More detailed guidelines regarding submission can be found on the Student Session website: http://esslli-stus-2015.phil.hhu.de/. *SPONSORSHIP AND PRIZES* As in previous years, Springer has kindly agreed to sponsor the ESSLLI student session. The best poster and best talk will be awarded Springer book vouchers of 500€ each. *FURTHER INFORMATION* Please direct inquiries about submission procedures or other matters relating to the Student Session to P.Schulz at uva.nl and kaeshammer at phil.uni-duesseldorf.de. ESSLLI 2015 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. For further information, including registration information and course listings, and for general inquiries about ESSLLI 2015, please consult the main ESSLLI 2015 page: http://esslli2015.org. Kind regards, The ESSLLI 2015 Student Session Organization Committee Chairs: Miriam Kaeshammer (Universität Düsseldorf) Philip Schulz (Universiteit van Amsterdam) LoCo co-chairs: Giovanni Cina (Universiteit van Amsterdam) Zeynep Saribatur (Technische Universität Wien) LoLa co-chairs: Marisa Delz (Universität Tübingen) Veronika Richtacikova (Universitat Pompeu Fabra Barcelona) LaCo co-chairs: Angeliki Lazaridou (University of Trento) Maria Nadejde (University of Edinburgh) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From prf at cs.uns.edu.ar Thu Mar 19 16:15:34 2015 From: prf at cs.uns.edu.ar (Pablo R. Fillottrani) Date: Thu, 19 Mar 2015 12:15:34 -0300 Subject: Call for Paper - Argentine Symposium on Ontologies and their Applications Message-ID: <550AE816.3070606@cs.uns.edu.ar> ===================================================================== ---------------------------------------------------------------------------------------------------- Argentine Symposium on Ontologies and their Applications www.44jaiio.sadio.org.ar/saoa ---------------------------------------------------------------------------------------------------- SAOA 2015 Call for Papers 44 JAIIO – 44 Jornadas Argentinas de Informática 31st August - 4th September, 2015 Facultad de Ciencias Exactas, Ingeniería y Agrimensura, UNR, Rosario, Argentina www.44jaiio.org.ar Ontological Engineering is a multidisciplinary field that deals with the study of the theories, concepts, methodologies and tools supporting the construction of conceptual models shared among a community in specific domains. In the last years there has been a new interest in ontology application to solve modeling problems in several areas of computer science and information system fields, such as Artificial Intelligence, Linguistic, Big Data, Knowledge Management, Semantic Web, Heterogeneous Database Integration, etc. Worldwide, researchers in all these areas recognize the need for a serious commitment with ontologies to provide a basis for their work, were ontologies are seen as a general theory of the types of entities and relations that exists in their research fields. Moreover, in recent years many enterprises related to the application of ontologies and semantic technologies have emerged. The Argentine Symposium on Ontologies and their Applications aims at providing a meeting point among researchers from different fields as well as professionals from industries having interest on ontologies. SAOA encourages the submission of original contributions ranging from academic research to industrial and business applications having a significant impact as well as lessons learned and best practices in ontology development. TOPICS OF INTEREST include, but are not limited to: * FOUNDATIONAL ISSUES - Entity ontological classification - Formal Relations - Time and space representation - Ontological analysis * METHODOLOGICAL ISSUES - Reference ontologies and their role - Upper level vs. domain ontologies - Ontology integration and alignment - Ontology development process - Ontology representation languages - Ontology Reasoning * DOMAIN ONTOLOGIES - Ontologies in Physics (material, space, time, movement, etc) - Ontologies in Biology (genes, proteins, cells, etc) - Ontology for representing belief, intentions, emotions, perceptions, etc - Ontology of artifacts, functions and roles - Ontology for the representation of institutions, organizations, norms, social relations, arts, idioms, etc.) - Ontology in Engineering - Ontology in Software Engineering * APPLICATIONS OF ONTOLOGIES - Ontological foundations in conceptual modeling - Ontology driven information system design - Knowledge management - Computational linguistic - Information retrieval - Semantic Web, Semantic Web Services - Ontology applications in scientific fields like biology, chemistry, geography, physic, linguistic, etc) - Use of ontologies for engineer: shape, functions, artifacts, manufacturing, design, etc - Ontologies in human science - Ontologies in conceptual modeling - Ontologies in database design. CHAIRS: - Fillottrani, Pablo F. (LISSI-DCIC-UNS, CIC) - Leone, Horacio P. (INGAR-Dpto. ISI, CONICET-FRSF UTN) IMPORTANT DATES - Deadline for paper submissions: April 13, 2015 - Notification of Acceptance/Rejection: June 15, 2015 - Deadline for “camera-ready” submissions: June 29, 2015 PROGRAM COMMITTEE - Abel, Mara - Instituto de Informática - Universidade Federal de Rio Grande do Sul, (Brasil) - Ale, Mariel - CIDISI, Facultad Regional Santa Fe, UTN, (Argentina) - Ballejos, Luciana - CIDISI, Facultad Regional Santa Fe,UTN, (Argentina) - Caliusco, María Laura - CIDISI, Facultad Regional Santa Fe,UTN, (Argentina) - Cecchi, Laura Andrea – Universidad Nacional del Comahue, Facultad de Informática, (Argentina) - Cenci, Karina – Universidad Nacional del Sur, (Argentina) - Chiotti, Omar - INGAR (CONICET/UTN), (Argentina) - Diaz Pace, Andres, ISISTAN-CONICET, UNICEN University (Argentina) - Estevez, Elsa - United Nations University - Operating Unit on Policy-driven Electronic Governance (UNU-EGOV) - Galante, Renata - Universidade Federal do Rio Grande do Sul, (Brasil) - Galli, María Rosa - INGAR (CONICET/UTN), (Argentina) - Gonnet, Silvio - INGAR (CONICET/UTN), (Argentina) - Gómez, Sergio Alejandro - Universidad Nacional del Sur, (Argentina) - Guarino, Nicola - ISTC-CNR Laboratory for Applied Ontology, Trento, (Italy) - Guizzardi, Giancarlo - Universidade Federal do Espíritu Santo (UFES), (Brasil) - Guizzardi, Renata - Universidade Federal do Espíritu Santo (UFES), (Brasil) - Gutiérrez, Claudio C. -Computer Science Department, Universidad de Chile (Chile) - Gutierrez, Milagros - CIDISI, Facultad Regional Santa Fe, UTN, (Argentina) - Henning, Gabriela - INTEC (CONICET,UNL), (Argentina) - Keet, C. Maria - University of Cape Town, (Sudáfrica) - Motz, Regina - Universidad de La República, (Uruguay) - Olsina, Luis - GIDIS_Web, Grupo de I+D en Ingeniería de Software y Web Facultad de Ingeniería, UNLPam,(Argentina) - Parente de Oliveira, José María Departamento de Ciencias de la Computación, Instituto tecnológico Aeronáutico,(Brasil) - Rico, Mariela - CIDISI, Facultad Regional Santa Fe, UTN, (Argentina) - Thom, Lucineia Heloisa - Universidade Federal do Rio Grande do Sul, (Brasil) - Vegetti, Marcela - INGAR (CONICET/UTN), (Argentina) - Villarreal, Pablo - CIDISI, Facultad Regional Santa Fe, UTN, (Argentina) SUBMISSION CATEGORIES Authors are invited to submit papers under the following categories: Research articles: 10 pages maximum Expertise reports and tool presentations: 6 pages maximum PAPER SUBMISSION GUIDELINES SAOA 2015 seeks original contributions, ranging from state-of-the-art academic research to industrial and business applications having a significant impact. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications. All papers will be peer-reviewed by at least two reviewers. The submission of manuscripts must follow the format available at: -> http://44jaiio.sadio.org.ar/?q=formatos All contributions should be submitted in PDF format. The page limit for a research paper is 10 pages , in A4 format. For diffusion reasons, papers in English are strongly recommended although Spanish and Portuguese are also acceptable. Each accepted paper should be presented in the symposium, and the presenter must be registered in the conference. Papers that do not fulfill this requirement will not be included in the Symposium Proceedings. All the symposia at 44 JAIIO use SADIO's conference management (http://sgc.sadio.org.ar/sgc/index.php) system to handle submissions. To upload your contribution you first need to register and sign in. If you have any problems, check the detailed instructions about registration and submission (http://44jaiio.sadio.org.ar/?q=envio-trabajos ) CONTACT INFORMATION: For further information, visit: -> www.44jaiio.sadio.org.ar/saoa or send an e-mail to: -> saoa at 44jaiio.sadio.org.ar -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Thu Mar 19 16:33:46 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Thu, 19 Mar 2015 15:33:46 -0000 Subject: ECMLPKDD 2015 : Call for Papers Message-ID: <018a01d0625a$18eedb70$4acc9250$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) will take place in Porto, Portugal, from September 7th to 11th, 2015 (http://www.ecmlpkdd2015.org). This event is the leading European scientific event on machine learning and data mining and builds upon a very successful series of 25 ECML and 18 PKDD conferences, which have been jointly organized for the past 14 years. ECMLPKDD 2015 will host three tracks, tutorials and a set of workshops. Therefore, we invite all researchers and practitioners from different communities to submit papers. ************************* CALL FOR PAPERS ************************* JOURNAL TRACK ********************* Articles for this track are submitted all year long directly to either Machine Learning or Data Mining and Knowledge Discovery, and are reviewed like regular journal articles. Accepted articles appear in full in the journal and the authors are given a presentation slot at the conference. Articles deemed insufficiently mature for journal publication may be accepted for inclusion in the proceedings. Submissions to the journal track will be managed by the Guest Editorial Board. Paper Submission: Cut-off dates for the bi-weekly batches are 29 Mar, 12 Apr, 26 Apr of 2015 Web Page: http://www.ecmlpkdd2015.org/submission/journal-track RESEARCH PROCEEDINGS TRACK ******************************************* The research proceedings track, which is organized in the traditional way. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/research-proceedings-track INDUSTRIAL, GOVERNMENTAL & NON-GOVERNMENTAL PROCEEDINGS TRACK **************************************************************************** ************************** The NEW industrial, governmental & non-governmental (NGO) proceedings track is independent and distinct from the Research Track. Submissions to this track should solve real-world problems and focus on engineering systems, applications, and challenges. Accepted papers will be published in the Lecture Notes in Artificial Intelligence (LNCS/LNAI) of Springer, after reviewing by the programme committee. Abstract Submission Deadline: March 26, 2015 Paper Submission Deadline: April 2, 2015 Paper Acceptance Notification: June 1, 2015 Paper Camera Ready Submission: June 15, 2015 Web Page: http://www.ecmlpkdd2015.org/submission/industrial-proceedings-track Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From n.bulling at tudelft.nl Thu Mar 19 17:32:08 2015 From: n.bulling at tudelft.nl (Nils Bulling) Date: Thu, 19 Mar 2015 17:32:08 +0100 Subject: MATES Doctoral Consortium: Call for Papers References: <9D941371-C6CC-4946-AA24-EB3A7B0F7D89@tudelft.nl> Message-ID: <91E6FB23-2D02-4B8E-8DCD-00B28B186F85@tudelft.nl> ======================== About the MATES Doctoral Consortium ======================== The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in multiagent systems and agent-based computing with prototyped or fielded systems in various application domains. The event will also host a Doctoral Consortium which is meant to support PhD students working in the area of intelligent agents or multi-agent systems. The doctoral consortium offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in an academic professional environment. The program provides an opportunity to PhD students to interact with their peers as well as with experienced researchers in the field, and to receive valuable feedback on their work and advice for their future careers. In particular, each student will be assigned a mentor, an experienced researcher in the field, who will be available for personal interactions during the day of the doctoral consortium. The main goals of the doctoral consortium are: - to give PhD researchers an opportunity to get feedback and suggestion on their work from experienced researchers and their peers. - to interact with other PhD researchers and to get an overview of the field of multi-agent systems. - to get advice for their (academic) career. - to provide networking opportunities. For further information, please visit: http://www.mates2015.de/?q=content/doctoral-consortium ======================== Submission and Application Requirements ======================== The application consist of two parts. 1. An extended abstract of the student's PhD project of up to 4 pages, following the MATES submission guidelines. 2. A short application document of at most 2 pages which should include the following: * a motivation why you think the doctoral consortium is useful for you; * the area of your PhD, including keywords describing your research; * you affiliation and contact details of your supervisor; * an outline of your plans after completion of your PhD; and * a short CV. The selection process takes into account the quality of the submitted abstract (which will be peer-reviewed) and of the application document. Extended abstracts must be submitted electronically via Easychair: https://easychair.org/conferences/?conf=dcmates2015 The application documents must be send as a single PDF file to Nils Bulling. ======================== Presentation and Publication ======================== - All accepted papers will be assigned a slot for oral presentation during the doctoral consortium. - Selected extended abstracts describing original, unpublished work mature enough for publication will be included in the MATES Springer LNCS proceedings. ======================== Important Dates ======================== Submissions due: May 22, 2015 (abstract and application documents) Acceptance notification: June 25, 2015 Final Versions: July 16, 2015 Doctoral Mentoring: September 28, 2015 (to be confirmed) ======================== Organization ======================== CHAIR Nils Bulling, Delft University of Technology PROGRAM COMMITTEE (confirmed) Lars Braubach, University of Hamburg Juergen Dix, Clausthal University of Technology Christian Guttmann, Institute of Value Based Reimbursement System (IVBAR), Sweden Wolfgang Ketter, Rotterdam School of Management - Erasmus University Franziska Klügl, Örebro University Brian Logan, University of Nottingham Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul John-Jules Meyer, Utrecht University Jörg P. Müller, TU Clausthal Sascha Ossowski, University Rey Juan Carlos Jordi Sabater Mir, IIIA-CSIC Michael Thielscher, The University of New South Wales Matthias Thimm, Universität Koblenz-Landau Ingo J. Timm, University of Trier Rainer Unland, University of Duisburg-Essen, ICB Leon van der Torre, University of Luxembourg Cees Witteveen, Delft University of Technology ======================== Further Questions ======================== For further questions, please contact Nils Bulling (n DOT bulling AT tudelft DOT nl). — PD Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology Netherlands http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Fri Mar 20 00:28:00 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 19 Mar 2015 23:28:00 +0000 Subject: Call for book proposals Message-ID: <1426807680.4536.1.camel@wlv.ac.uk> [apologies for cross-posting] **************************************** * CALL FOR BOOK PROPOSALS **************************************** John Benjamins' NATURAL LANGUAGE PROCESSING Book Series invites new book proposals to respond to the growing demand for Natural Language processing (NLP) literature. Three general types of books are considered for publication: ---------------------- MONOGRAPHS ---------------------- - original, leading and cutting-edge research (the monograph could be based on an outstanding PhD thesis) - surveys of the state of the art in specific NLP tasks or applications ---------------------- COLLECTIONS ---------------------- - books focusing on a particular NLP area (e.g. emerging from successful NLP workshops or as a result of editors’ calls for papers) - books which include papers covering a wide range of topics (e.g. emerging from competitive NLP conferences or as a result of proposals for books of the type "Reading In NLP") ------------------------- COURSE BOOKS ------------------------- - general NLP course books - books on a particular key area of NLP (e.g. Speech Processing, Computational Syntax/Parsing) Authors are encouraged to append supplementary materials such as demonstration programs, NLP software, corpora and so on if applicable, and to indicate websites and computational language resources where appropriate. This call invites proposals from potential authors of the types of books described above. Proposals on any topic related to Natural Language Processing are welcome. Interested authors should submit proposals by email (plain text or pdf files) to the series editor: Prof. Dr. Ruslan Mitkov (Email R. Mitkov at wlv.ac.uk) with a copy to Emma Franklin (emma.franklin at wlv.ac.uk ), the series editorial assistant. The proposals should include an outline of the book (1-2 pages), a preliminary table of contents, the target readership, related publications, how the book will differ from other similar books in the area (if applicable), time-scale and information about the prospective author (relevant experience in the field, publications etc.). Each proposal will be reviewed by members of the advisory board or additional reviewers. For more information on the series, visit: https://benjamins.com/#catalog/books/nlp/main -- Dr. Constantin Orasan Reader in Computational LinguisticsDeputy Head of the Research Group in Computational Linguistics  Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK From dietmar.jannach at tu-dortmund.de Fri Mar 20 10:06:05 2015 From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach) Date: Fri, 20 Mar 2015 10:06:05 +0100 Subject: CfP: IJCAI 2015 Workshop on Intelligent Personalization (IP 2015) Message-ID: <021f01d062ed$1ac4ca20$504e5e60$@tu-dortmund.de> ====================================================================== 2nd CALL FOR PAPERS IJCAI 2015 Workshop in INTELLIGENT PERSONALIZATION (IP'2015) Joint Workshop on Constraints and Preferences for Configuration and Recommendation (CPCR) / Intelligent Techniques for Web Personalization (ITWP) Held in conjunction with IJCAI 2015, 25-27 July 2015, Buenos Aires, Argentina http://ls13-www.cs.uni-dortmund.de/homepage/ip2015/index.shtml Submission Deadline: April 27, 2015 ====================================================================== WORKSHOP GOALS =================== Finding the information or product that matches your needs and preferences on the Web can be challenging. Modern search engines can help in many situations, but they are based on one-shot query interactions and limited with respect to their personalization capabilities. Recommender Systems (RS) have proved to be helpful tools for various information seeking and filtering tasks and are nowadays ubiquitous on the Web. The most prominent classes of such systems are based on the detection of preference patterns in larger user communities (collaborative filtering) or on the automatic construction of content-based preference profiles for individual users (content-based filtering). For some application domains in e-commerce, relying on such pattern or model learning approaches alone can be insufficient because explicit and detailed short term interest or preference profiles are required to determine the most suitable product. This is for example the case when (a) the products themselves are configurable and can be tailored to the specific needs of a user or (b) the selection of the right product is based on user-specified explicit constraints, e.g., when purchasing a digital camera or smartphone. Going beyond collaborative and content-based techniques, such knowledge-based approaches therefore often require more complex user interfaces which support interactive preference elicitation or explanations as well as explicitly encoded domain knowledge. The aim of the workshop is to bring together researchers and practitioners working on topics related to the use of Artificial Intelligence techniques in the areas of recommendation systems, electronic commerce, personalized web tools, and interactive configurator systems. We are specifically interested in contributions which aim to combine explicit preference and constraint models with machine learning techniques. TOPICS OF INTEREST =================== We invite original contributions in a variety of areas related to Recommendation, Configuration and Web Personalization: * Preference Elicitation and User Modeling: Interactive Elicitation, Explicit and Implicit Feedback, Social/Semantic Web Mining for Personalization, Preference Learning, Collaborative and Content-based Filtering * User Interaction: Conversational Approaches, Explanations, Constraint Relaxation, Context-Aware Approaches, Personalized Information Filtering * Knowledge Representation and Reasoning: Constraint Programming, Preference Handling, Machine Learning, Satisfiability Testing, Logic-based Approaches, Developing, Testing and Debugging of Knowledge Bases * Evaluation Methodology, Metrics, and Case Studies; Implementation Architectures Keywords: * Recommender Systems * Product Configuration and Mass Customization * Constraint Reasoning * Preference Handling and Preference Learning * Web Personalization PAPER SUBMISSION AND PARTICIPATION =================== Papers must be formatted according to the IJCAI 2015 style guide (http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip) and submitted electronically as PDF through EasyChair at this URL: https://easychair.org/conferences/?conf=ip2015. We solicit the following types of papers as well as research demos * Long Papers (usually 6 pages + references, extra pages are possible) present original research work. * Short Papers (4 pages) report on work in progress or describe demo systems. * Research Highlights (1 page): Research highlights summarize relevant manuscripts which have recently been accepted for publication or appeared within the last 6 months in a peer-reviewed journal or which are currently under review. * Position Papers (1 page): Discuss open challenges or present early-stage research ideas. The workshop proceedings will be archived as citable proceedings with a permanent URL, e.g., using CEUR-WS. IMPORTANT DATES =================== * 27 April: Paper submission deadline * 20 May: Author notification * 30 May: Camera-ready versions due * 25/26 or 27 July: Workshop held WORKSHOP ORGANIZERS =================== Dietmar Jannach, Department of Computer Science, TU Dortmund, Germany dietmar.jannach at tu-dortmund.de Jerome Mengin, IRIT, University of Toulouse, France Jerome.Mengin at irit.fr Bamshad Mobasher, School of Computer Science, DePaul University, Chicago, USA mobasher at cs.depaul.edu Andrea Passerini, University of Trento, Italy passerini at disi.unitn.it Paolo Viappiani, CNRS and University Pierre and Marie Curie, France paolo.viappiani at lip6.fr From publicity at ecmlpkdd2015.org Fri Mar 20 12:20:57 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Fri, 20 Mar 2015 11:20:57 -0000 Subject: ECMLPKDD 2015 : Call for Demos Message-ID: <003d01d062ff$f24e61b0$d6eb2510$@ecmlpkdd2015.org> http://www.ecmlpkdd2015.org For ECML PKDD 2015 in Porto, Portugal, we solicit submissions for demos. Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. Systems that use basic statistics are not acceptable. Commercial software is not acceptable. The accepted papers for demos will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. The demos will be presented in a special demonstration session. At least one of the demo submitters must register for the conference, and perform the demo on site. Submission Guidelines All aspects of the submission and notification process will be handled online via the CMT conference management toolkit accessible from the conference web. Please choose the right track during the submission. Instructions concerning the submission, camera-ready formatting and copyright transfer for conference papers also hold for demo papers, unless otherwise specified. A demonstration submission must be up to 4 pages long. It must provide adequate information on the system’s components and the way the system is operated, including e.g. screenshots. Submitters should keep in mind that the description of a demo has inherently different content than a research paper submitted to the main conference. A successful demonstration paper provides satisfactory answers the following questions: - What are the innovative aspects or in what way/area does it represent the state of the art? - Who are the target users and why is the system interesting/useful for them? - If there are similar/related pieces of software, what are the advantages and disadvantages of the presented one? The formatting guidelines of Springer Verlag for the LNAI series apply, and the author instructions and style files under http://www.springer.de/comp/lncs/authors.html must be used. For inquiries concerning submissions please contact the Demo Track Chairs; contact data below. Important Dates - Demo submission deadline: 30 April 2015 - Notification of acceptance: 1 June 2015 - Camera-ready paper due: 15 June 2015 (aligned to the deadline of the main conference) Contacts For further information please contact the Demo Track Chairs: - Francesco Bonchi - Jaime Cardoso, INESC TEC and Univ. Porto - Myra Spiliopoulou, Univ. Magdeburg, http://www.kmd.ovgu.de/Team/Academic+Staff/Myra+Spiliopoulou.html From announce at cs.ucy.ac.cy Sat Mar 21 17:58:02 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 21 Mar 2015 18:58:02 +0200 Subject: The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Last Call for Workshop Papers Message-ID: *** Last Call for Workshop Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 *** Final Submission Deadline: March 30th, 2015 (firm) *** ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. The ISSC 2015 workshops cover topics such as 5G, Internet of Things, Software-Defined Networking, Big Data, Cloud Computing, M2M communications or Smart Grid. The purpose of these workshops is to provide a platform for presenting novel ideas in a less formal and possibly more sharply focused way than at the conference itself. All papers included in the ISCC 2015 workshops, will be submitted for inclusion in the conference proceedings published by IEEE. ISCC 2015 will feature the following workshops: · Management of Cloud and Smart city systems (MoCS 2015) · Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA 2015) · Smart City and Ubiquitous Computing Applications (SCUCA 2015) · Distributed Mobile Systems & Services (DMSS 2015) · A 5G Wireless Odyssey: 2020 (5G) · Security and Forensics in Communication Systems (SFCS 2015) More information about each workshop and submission guidelines can be found at each workshop's web site, accessible from the conference web site. Important Dates Paper Submission Deadline: March 30th, 2015 (firm) Notification of Paper Acceptance: April 12th, 2015 Submission of Camera-Ready Papers Due: April 17th, 2015 Day of Workshops: July 6th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christian.guttmann at gmail.com Sat Mar 21 21:06:41 2015 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Sat, 21 Mar 2015 21:06:41 +0100 Subject: Call for Participation: 6th International Workshop on Collaborative Agents -- Research & Development (CARE) Message-ID: <550DCF51.2020803@gmail.com> Apologies for cross posting ************************************************************** CALL FOR PARTICIPATION Sixth International Workshop on * Collaborative Agents -- Research & Development (CARE) 2015 * ** CARE for Social Apps and Ubiquitous Computing ** http://care-workshops.org/care2015 Istanbul, Turkey, May 4th, 2015 ************************************************************** The Collaborative Agents -- Research & Development, CARE for Social Apps and Ubiquitous Computing, will be held in conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Important Dates =============== Workshop: Monday May 4th, 2015 (14:00-18:30) Workshop Organisers ================== Dr. Fernando Koch, SAMSUNG Research Institute, Brazil (fkoch at acm.org) Dr. Christian Guttmann, UNSW, Australia & IVBAR, Sweden & Karolinska Institute, Sweden (christian.guttmann at gmail.com) Summary ================ "CARE for Social Apps and Ubiquitous Computing" aims to discuss computational models of innovative social computing. Social Apps aim to promote social connectedness, user friendliness through natural interfaces, contextualisation, personalisation, and the ideal of invisible computing. We seek contributions of members in industry and applied research in academia. The contributions shall apply AI and agent technology, including distributed AI, situatedness, local interaction, user profiling, social simulation, and others. The application domains include (not an exhaustive list): smart education, urban intelligence, emergency scenarios, continuous healthcare, coordination of large events, intelligent transportation, and others. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Previous workshop proceedings have been published by Springer as LNCS and CCIS. We intend to repeat this tradition with selected contributions from this workshop. Research Questions ================== CARE is of interest to an academic and industrial research community that uses and extends AI and multi-agent systems. Topics of interest include with no limitation: - How to apply agents for the next generation Social Apps and Ubiquitous computing scenarios, including Ambient Intelligence, Urban Intelligence, Regulation of Social Behaviour, Collaborative Tasks, and others? - How to build a model of the features of individuals and groups in Social Apps environments? - How to construct agent-based models equipped to better perform in Social Apps environment? - How to construct agent-based models of social behaviour, aiming to understand, model, and influence complex behaviour, group behaviour, and the impact of micro-macro actions upon the system? - How can we make team members follow agreed procedures (Incentives? Or more fundamental, by designing a new market?) - How to build an effective monitoring-recognition-intervention framework in Social Apps? - How can we support/guide collaborative teams. How can we offer flexibility in how teams execute plans? - How can we make team members follow agreed procedures? Incentives? Or more fundamental, by designing a new market? - How to enable agents to form and follow joint agreements, guidelines and contracts in complex organisational and market driven domains (agreement adherence)? - How can adherence and variation be achieved under uncertain and incomplete information (comprehensive formation/maintenance framework)? - How to enable an effective communication infrastructure for collaborative care (possibly including humans and agents)? - How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place? From announce at cs.ucy.ac.cy Sun Mar 22 11:41:36 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 22 Mar 2015 12:41:36 +0200 Subject: IEEE/ACM UCC 2015: Second Call for Papers, Tutorial and Workshop Proposals Message-ID: <8S11SMHV-E1U5-Z5R8-MXD-QADTKR2ESR3@cs.ucy.ac.cy> *** Second Call for Papers, Tutorial and Workshop Proposals *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: · Big Data and Analytics · Principles and theoretical foundations of Utility Computing, including pricing and service models · Policy languages and Programming models · Utility driven model and mechanisms for Cloud federations · Autonomic techniques for Clouds and Cloud applications · Utility-driven platforms for Clouds · Architectural models to achieve Utility in Clouds · Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated · Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) · Virtualization technologies and other enablers · Economic models and scenarios of use · Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces · Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring · Applications: games, social networks, scientific computing (e-science) and business · Mobile and energy-efficient use of Clouds · Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 03, 2015. All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from the conference will be invited to submit an extended version to the a number of top quality journals. Papers will be selected based on their reviewers' scores and appropriateness to a journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: · Title. · Name and Affiliation of the Speaker(s). · Abstract (one paragraph, 200 words max., including previous experience with such tutorials). · Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). · Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. · Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. · Statement on if this tutorial has been given before and if so how this presentation will be different. · Materials (one paragraph): A description of materials to be provided to attendees on the conference website - course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. · Bio-sketch: A single paragraph bio-sketch per tutorial presenter. · Requested tutorial length (preferably half-a-day). · Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 3rd of July, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing logistics support and a meeting place for the tutorial. · In conjunction with the organizers, determining the tutorial date and time. · Providing copies of the tutorial materials to attendees. WORKSHOP PROPOSAL REQUIREMENTS Proposals for workshops should be no more than 2 pages in length and should contain the following information: · Title and brief technical description of the workshop, specifying the goals and the technical issues that will be the focus of the workshop. · A brief description of why and to whom the workshop is of interest. · A list of related workshops or similar events held in the last 3 years, or to be held in 2015. · The names and contact information (web page, email address) of the proposed technical program committee. This committee should consist of at least 10 people knowledgeable about the technical issues to be addressed and preferably not more than two members of the same institution. · A description of the qualifications of the organizers (who would be the Workshop Chairs) with respect to organizing this workshop. This can include papers published in the proposed topic area, previous workshop organization, and other relevant information. · Workshop proposals should be submitted in PDF format by email to the workshop chairs by the 8th of May, 2015. RESPONSIBILITIES Workshop chair(s) will be responsible for the following: · Producing a web page and a "Call for Papers/Participation" for their workshop. The URL should be sent to the UCC Workshops chairs. The call must make it clear that the workshop is open to all members of the Cloud, Big Data, Grid and Cluster Computing community. It should mention that at least one author of each accepted submission must attend the workshop and that all workshop participants must pay the UCC 2015 workshop day or conference registration fee. The CfP should make it clear that the registration of at least one author requires the full (non-student, non- workshop) rate. · Ensure that all workshop papers are a maximum of 6 pages in length (in IEEE format). It is the responsibility of the workshop organizers to ensure that this page limit has been adhered to. Additional pages may be purchased (in some circumstances) subject to approval by the proceedings chairs. · Provide a brief description of the workshop for the conference web page and program. · Selecting the participants and the format of the workshop. The publication of proceedings will be by the IEEE in the same volume as the main conference. The acceptance notification (by workshop chairs) therefore should be the same as the conference paper acceptance notification (i.e. the dates should be the same). All other details can be up to workshop organizers to set. · Advertising the workshop beyond the conference web page. · Assistance in producing a camera-ready version of the workshop proceedings. IMPORTANT NOTE If the workshop is too small (i.e. does not attract enough submissions) the UCC 2015 Organizing Committee may decide to merge that workshop with another. So we encourage workshop organizers to attract a large community. In extreme situations we may also cancel workshops if there are not enough submissions. Workshop organizers must ensure that suitable quality measures have been taken to ensure that the accepted papers are of high quality. All papers must be reviewed by an International Technical Program Committee with a minimum of 3 reviews per paper. The workshop organizers should also try to observe an acceptance rate that is no higher than 50%. Unless indicated on the UCC website, there will be no travel support and no registration discounts for authors and organizers. Workshops are not automatically endorsed by IEEE or ACM and should not use the names of these organisations in their titles. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing a link to a workshop's local page. · Providing logistics support and a meeting place for the workshop. · In conjunction with the organizers, determining the workshop date and time. · Providing copies of the workshop proceedings to attendees. IMPORTANT DATES · Tutorial proposals due: 03 July, 2015 · Notification of tutorial proposals: 14 August, 2015 · Final description of accepted proposals: 14 September, 2015 · Tutorial slides due: 13 November, 2015 · Workshop proposals due: 08 May, 2015 · Notification of workshop proposals: 22 May 2015 · Paper submissions due: 03 July, 2015 · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 21 September, 2015 COMMITTEES General Chairs · Ashiq Anjum, University of Derby, UK · George Papadopoulos, University of Cyprus Program Committee Chairs · Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) · Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair · Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs · Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) · Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs · Ewa Deelman, USC, USA (deelman AT isi.edu) · Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · Ian Taylor, Cardiff University, UK Industry Chair · Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs · Nick Antonopoulos, University of Derby, UK · George Palis, University of Cyprus, Cyprus Publicity Chair · Georgia Kapitsaki, University of Cyprus, Cyprus -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Mon Mar 23 13:36:44 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Mon, 23 Mar 2015 12:36:44 -0000 Subject: ECMLPKDD 2015: Summer School on Data Sciences for Big Data - Resource Aware Data Mining Message-ID: <010001d06566$0827ccc0$18776640$@ecmlpkdd2015.org> >From 2nd to 5th of September 2015, the TU Dortmund University and LIAAD-INESC TEC will organize a Summer School on Data Sciences for Big Data - Resource Aware Data Mining. The School will be hosted at Faculty of Sciences, University of Porto and is collocated with ECMLPKDD 2015 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (http://www.ecmlpkdd2015.org/). For the summer school, world leading researchers in machine learning and data mining will give lectures on recent techniques dealing with huge amounts of data, spatio-temporal streaming data, distributed and graph data, sensors and embedded systems. The summer school is designed for Master and PhD students, and professionals who wanted to learn cutting edge techniques for data mining with constrained computational resources. For further details go to: http://www.ecmlpkdd2015.org/summer-school/about -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsd2015 at tsdconference.org Tue Mar 24 11:22:58 2015 From: tsd2015 at tsdconference.org (TSD 2015) Date: Tue, 24 Mar 2015 11:22:58 +0100 Subject: TSD 2015 - Second Call for Papers Message-ID: ************************************************************************** TSD 2015 - SECOND CALL FOR PAPERS ************************************************************************** Eighteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2015) Plzen (Pilsen), Czech Republic, 14-17 September 2015 http://www.tsdconference.org IMPORTANT The submission deadline March 31 is approaching. We will not extend the deadline. However, in case you need some extra days, please let us know and do the following: Register yourself and submit your paper with a valid abstract. Put “UNFINISHED” as the first word in the abstract (both in the system and in the paper). We need at least the abstract to organize the reviews. When you finish your work, please, update the paper. TSD HIGHLIGHTS * Keynote speakers: Hermann Ney, Dan Roth, Björn W. Schuller, Peter D. Turney, and Alexander Waibel. * TSD is traditionally published by Springer-Verlag and regularly listed in all major citation databases: Thomson Reuters Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC, COMPENDEX, etc. * TSD offers high-standard transparent review process - double blind, final reviewers discussion. * TSD is officially recognized as an INTERSPEECH 2015 satellite event. * TSD will take place in Pilsen, the European Capital of Culture 2015. * TSD provides an all-service package (conference access and material, all meals, one social event, etc) for an easily affordable fee starting at 270 EUR for students and 330 EUR for full participants. IMPORTANT DATES March 31, 2015 ............ Submission of full papers May 10, 2015 .............. Notification of acceptance May 31, 2015 .............. Final papers (camera ready) and registration September 14-17, 2015 ....... Conference date TSD SERIES TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. The TSD proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX. The contributions to the conference will be published in proceedings that will be made available on a CD to participants at the time of the conference. TOPICS Keynote topic: Challenges of Modern Era in Speech and Language Processing Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Darja Fiser, Slovenia Eleni Galiotou, Greece Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, United Kingdom Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Bernardo Magnini, Italy Vaclav Matousek, Czech Republic Diana McCarthy, United Kingdom France Mihelic, Slovenia Roman Moucek, Czech Republic Hermann Ney, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Victor Zakharov, Russia OFFICIAL LANGUAGE The official language of the event will be English. However, papers on processing of languages other than English are strongly encouraged. CONFERENCE FEES The conference fee depends on the date of payment and on your status. It includes one copy of the conference proceedings, refreshments/coffee breaks, opening dinner, welcome party, mid-conference social event admissions, and organizing costs. In order to lower the fee as much as possible, the accommodation and the conference trip are not included. Full participant: early registration by May 31, 2015 - CZK 9.000 (approx. 330 EUR) late registration by August 1, 2015 - CZK 10.000 (approx. 370 EUR) on-site registration - CZK 10.700 (approx. 390 EUR) Student (reduced): early registration by May 31, 2015 - CZK 7.400 (approx. 270 EUR) late registration by August 1, 2015 - CZK 9.000 (approx. 330 EUR) on-site registration - CZK 10.000 (approx. 370 EUR) LOCATION The city of Plzeň (Pilsen) is situated in Western Bohemia at the confluence of four rivers. With its 170,000 inhabitants it is the fourth largest city in the Czech Republic and an important industrial, commercial, and administrative centre. It is also the capital of the Pilsen Region. In addition, Pilsen won the title of the European Capital of Culture for the upcoming year 2015. Pilsen is well-known for its brewing tradition. The trademark Pilsner-Urquell has a good reputation all over the world thanks to the traditional recipe, high quality hops and good groundwater. Beer lovers will also appreciate a visit to the Brewery Museum or the Brewery itself. Apart from its delicious beer, Pilsen hides lots of treasures in its core. The city can boast the second largest synagogue in Europe. The dominant of the old part of the city center is definitely the 13th-century Gothic cathedral featuring the highest church tower in Bohemia (102.34 m). It is possible to go up and admire the view of the city. Not far from the cathedral is the splendid Renaissance Town Hall from 1558 and plenty of pleasant cafes and pubs are situated on and around the main square. There is also the beautiful Pilsen Historical Underground - under the city center, a complex network of passageways and cellars can be found. They are about 14 km long and visitors can see the most beautiful part of this labyrinth during the tour. It is recommended to visit the City Zoological Garden, having the second largest space for bears in Europe and keeping several Komodo dragons, large lizards which exist only in a few zoos in the world. The University of West Bohemia in Pilsen provides a variety of courses for both Czech and international students. It is the only institution of higher education in this part of the country which prepares students for careers in engineering (electrical and mechanical), science (computer science, applied mathematics, physics, and mechanics), education (both primary and secondary), economics, philosophy, politics, archeology, anthropology, foreign languages, law and public administration, art and design. ABOUT CONFERENCE The conference is organized by the Faculty of Applied Sciences, University of West Bohemia, Pilsen, and the Faculty of Informatics, Masaryk University, Brno. The conference is supported by International Speech Communication Association (ISCA). Venue: Plzeň (Pilsen), Parkhotel Congress Center Plzeň, Czech Republic ADDRESS All correspondence regarding the conference should be addressed to: Ms Anna Habernalová, TSD2015 Conference Secretary E-mail: tsd2015 at tsdconference.org Phone: (+420) 724 910 148 Fax: +420 377 632 402 - Please, mark the faxed material with capitals 'TSD' on top. TSD 2015 conference web site: http://www.tsdconference.org/tsd2015 From C.Orasan at wlv.ac.uk Tue Mar 24 12:36:48 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 24 Mar 2015 11:36:48 +0000 Subject: Researcher position at Pangeanic Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D23E2B0C@EXCHMBX10X03.unv.wlv.ac.uk> [apologies for cross-posting] ** before applying please check the eligibility criteria in terms of research experience and residency in Spain ** Researcher position at Pangeanic Job Description Pangeanic BI-Europe (www.pangeanic.com) is looking for a post-doctoral researcher (Experienced Researcher - ER) to carry out research work on the implementation and evaluation of the new hybrid computer-aided translation technology proposed in the EXPERT project and particularly, how these can be applied to its PangeaMT platform. The ER will complement the work of a group of ESRs (Early Stage Researcher - ESR) with humanities background in the implementation and evaluation (including user aspects) of the improved prototypes proposed in EXPERT (http://expert-itn.eu). The contract will start as soon as possible and has a duration until 30th Sept 2016 when the EXPERT project finishes. Objectives * Ensure that hybrid corpus-based approaches do not remain in the research community and get tested in real world scenarios with human users. * Conceive a new corpus-based translation framework that will result in scientific and technological advances in all corpus-based translation fields and facilitate the work of human translators. To reach these objectives, the following tasks and methodology should be taken into account: * Produce a comprehensive literature review on corpus-based approaches to translation ad hybridisation techniques. * Interaction with the ESR7 visiting Pangeanic for three months to investigate how the quality and confidence estimation methods can be incorporated into the hybrid approaches built within the project will be of particular relevance. * Interaction with the ESR9, who will visit Pangeanic for three months to help ER3 develop the proposed hybrid translation tools. * 1-month stay to the University of Saarland to study the prototypes for improved individual translation tools and the ideal infrastructure for translation proposed in EXPERT and interact with one of the ESRs. * 1-month stay to Dublin City University (DCU) to study the prototypes for improved individual translation tools and the ideal infrastructure for translation proposed in EXPERT and interact with one of the ESRs. * 1-month stay at iTrad, an Argentinean translation company to evaluate the prototypes developed together with one of the ERs. * Proposal of a hybrid system involving the best features of all techniques that have been explored and evaluated. Expected results * Improved Hybrid prototypes. * Final evaluation of these prototypes. * Scientific papers: A minimum of two scientific papers to be published at major conferences and/or relevant journals. * Comparative evaluation showing the improvement brought by EXPERT technologies over other existing systems. * Analysis of their suitability in industrial application scenarios. * Demonstration of prototypes to the community in the project Business Showcase. * Contribution to a training course held as part of the project Business Showcase event, and to hands-on training for the use of the new tools developed in EXPERT project, as well as on general post-editing of automatic translation. Requirements We are looking for an open-minded person that loves programming and is focused on quality and performance: * Master or doctorate in IT, computer engineering or mathematics with a strong interest in NLP and willing to help the translation industry. * World-class programming skills. * In-depth knowledge of the state-of-the-art algorithms and methods related to data retrieving, data mining and string manipulation. * Knowledge of MT systems, preferably SMT and RBMT. * Knowledge of machine learning and typical NLP languages, such as Python and/or Perl. * Knowledge of translation memory systems and matching & retrieval algorithms and segmentation. * Knowledge of Linux-based server environment. * Availability to work in an international environment. * Good relationship and communication skills. * All suitably qualified candidates irrespective of gender or nationality are welcome to apply as long as the following conditions are fulfilled: * Applicants should be in possession of a doctoral degree (preferably) or have at least four years of full-time equivalent research experience. At the time of recruitment, the applicant should have less than five years of full-time equivalent research experience (including the duration of the PhD). * Applicants should have good knowledge of English, both written and oral, in order to be able to submit reports in English. * Applicants should (preferably) have basic command of the Spanish language. * Applicants should not have resided or performed their main activity in Spain for more than 12 months in the 3-year period immediately prior to the start date. Candidates of Spanish nationality should not have resided or performed their main activity in Spain for more than 12 months in the 5-year period immediately prior to the start date. The fellowship is open and available now, and the position can be filled anytime from today, with latest selection time 1st May 2015. Further information Annual salary: 57,154 Euros (Marie Curie rates will apply). Monthly mobility allowance: 683.90 Euros for ER without a family, or 977 Euros for ER with a family (Marie Curie rates will apply). How to apply: send an e-mail to m.herranz at pangeanic.com, specifying on the subject line EXPERT project ER 2015. Closing date: applications are welcome until April 1st but due to the very specialist nature of the project, applicants can be considered until 1st May Company overview Pangeanic is an innovation-driven, private machine translation (MT), software translation, post-editing and localization company which falls within the small and medium enterprise (SME) category. It provides cutting-edge MT services ranging from customized machine-translation developments, translation of Big Data, online translation of customer reviews and background MT for gisting, to machine-translation systems built for in-house use where data privacy is paramount, e.g. sensitive material, intelligence, etc. The company also offers multilingual processing technology consultancy and training. Pangeanic has a team of 8 translation consultants and development experts with long experience in the R&D of multilingual, automated, translation technologies, language development and its deployment in production environments, as well as 2 senior software developers focusing on scalable, web-service based machine translation architectures, user interfaces and deployment experiences. --- Dr. Constantin Orasan, PhD Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics Research Institute of Information and Language Processing University of Wolverhampton, UK Home page:http://www.wlv.ac.uk/~in6093/ Tel: +44 1902 321000 (x5722) -- Scanned by iCritical. From shiloviis at mail.ru Wed Mar 25 07:31:43 2015 From: shiloviis at mail.ru (=?UTF-8?B?U2hpbG92IE5pa29sYXk=?=) Date: Wed, 25 Mar 2015 09:31:43 +0300 Subject: =?UTF-8?B?UFNJLTIwMTU6IENhbGwgZm9yIFdvcmtzaG9wcw==?= In-Reply-To: <003e01d066c4$7a934780$6fb9d680$@nsk.su> References: <003e01d066c4$7a934780$6fb9d680$@nsk.su> Message-ID: <1427265103.710516328@f227.i.mail.ru> The 10th Ershov Informatics Conference PSI 2015 ( http://easychair.org/smart-program/PSI2015/index.html ) 25 - 27 August 2015, Innopolis ( http://university.innopolis.ru/en/ ), Kazan, Russia                           CALL FOR WORKSHOPS   The Ershov Informatics Conference (the PSI Conference Series, 10th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. Conference Topics include   * Foundations of Program and System Development and Analysis     - Specification, validation, and verification techniques.   - Program analysis, transformation and synthesis.   - Semantics, logic and formal models of programs.   - Partial evaluation, mixed computation, abstract interpretation, compiler construction.   - Theorem proving and model checking.   - Concurrency theory.   - Static program analysis.   - Modeling and analysis of real-time and hybrid systems.   - Computer models and algorithms for bioinformatics. * Programming Methodology and Software Engineering   - Object-oriented, aspect-oriented, component-based and generic programming.   - Programming by contract.   - Program and system construction for parallel and distributed computing.   - Constraint programming.   - Multi-agent technology.   - System re-engineering and reuse.   - Integrated programming environments.   - Software architecture.   - Software development and testing.   - Model-driven system/software development.   - Agile software development.   - Software engineering methods and tools.   - Service engineering, service oriented architecture.   - Reverse engineering.   - Reflection techniques.   - Software bugs, aging and reliability models and countermeasures.   - Program understanding and visualization. * Information Technologies   - Data models.   - Database and information systems.   - Data mining, analytics.   - Knowledge-based systems and knowledge engineering.   - Bioinformatics engineering.   - Ontologies and semantic Web.   - Digital libraries, collections and archives, Web publishing.   - Peer-to-peer data management.   PSI 2015 solicits workshop proposals on topics related to the topics listed above. Workshops shall be held either as one-day or half-day events before or after the conference. If you would like to propose a workshop for PSI 2015, please contact the workshop chair via email by the proposal deadline to Nikolay Shilov < shiloviis at mail.ru > and Salvatore Distefano < salvatore.distefano at polimi.it >.   To help planning, workshop proposals should contain the following data:   - Name of the workshop. - Brief description of the workshop, including workshop topics. - Web address of the workshop. - Contact information of the workshop organizers. - An estimate of the audience size. - Proposed format of the workshop (for example, regular talks, tool demos,   poster presentations, etc.). - Duration of the workshop (one-day or half-day). - Potential invited speakers (if any). - Procedures for selecting papers and participants. - Special technical or AV needs. - Proceedings information (publication of workshop proceedings are up to the workshop organizers) - Language (Ru vs Eng)   Important dates --------------- Workshop proposals submission deadline: April 1, 2015 Notification of acceptance: April 8, 2015 Workshops: August 25-27, 2015 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From john.r.woodward at gmail.com Wed Mar 25 08:01:55 2015 From: john.r.woodward at gmail.com (John Woodward) Date: Wed, 25 Mar 2015 07:01:55 +0000 Subject: funded MSc and PhD positions in Computer Science and 5th Workshop on Evolutionary Computation for the Automated Design of Algorithms Message-ID: Please forward to math and computer science students who might be interested 1. Fully Funded Places Available on Stirling's MSc. in Big Data http://www.cs.stir.ac.uk/courses/msc-bd/funded.html 2. Fully Funded Phd positions at Stirling on Search Based Software Engineering http://www.cs.stir.ac.uk/~jrw/positions/positions.html 3. 5th Workshop on Evolutionary Computation for the Automated Design of Algorithms http://web.mst.edu/~tauritzd/ECADA/ (details below, and also via links) =================================================================================================================== 1. Fully Funded Places Available on Stirling's MSc. in Big Data http://www.cs.stir.ac.uk/courses/msc-bd/funded.html Fully Funded Places Available on Stirling's MSc. in Big Data The government has identified Big Data skills as essential for our economy to prosper. Big Data expertise is already in high demand and attracting higher salaries due to the skills shortage. To help meet the demand for Big Data skills, the Scottish Funding Council is paying the fees for 40 students to study Big Data and Data Science in selected Scottish Universities, including Stirling. If you are a resident of Scotland or the EU, you can apply to have all of your fees paid and learn Big Data skills and technologies in Stirling's beautiful campus in the heart of Scotland. Interested? Here are some links that will tell you all you need to know: Online prospectus for MSc. in Big Data Course web pages, including lecture notes, schedules, and lab sheets Our Big Data jobs feed page How to Apply Applying for funding is simple. You will first need to apply for a place on the course, using the application form here When your application has been accepted, you will automatically be considered for a funded place if you meet the following criteria: You have been made an unconditional offer for a place on the MSc. in Big Data You are a resident of Scotland or the EU (but NOT the rest of the UK) We only have a limited number of funded places available, and they will be allocated on a first come, first served basis. This page is maintained by: Computing Science and Mathematics School of Natural Sciences University of Stirling, Stirling FK9 4LA Tel: +44 1786 46 7421 =================================================================================================================== 2. Fully Funded Phd positions at Stirling on Search Based Software Engineering http://www.cs.stir.ac.uk/~jrw/positions/positions.html FUNDED PhD Positions About DAASE ========= DAASE is a four site project funded by the Engineering and Physical Sciences Research Council involving University College London, Birmingham, Stirling and York and with a growing list of industrial partners, including: Berner and Mattner, BT Laboratories, Ericsson, GCHQ, Honda Research Institute Europe,IBM,Microsoft Research and Motorola UK. The project seeks to use Search Based Software Engineering to develop optimised software development processes, combining aspects of software engineering activities into a single combined and optimising process. This new form of software engineering will be supported by the development and evaluation of theory, algorithms and methods for advanced exact, meta and hyper heuristic techniques. The goal is to produce software that is dynamically adaptive; not only able to respond to and fix problems that arise before deployment and during operation, but that continually optimises, re-configures and evolves to adapt to new operating conditions, platforms and environmental challenges (as most broadly construed). DAASE will create an array of new processes, methods, techniques and tools for a new kind of software engineering, radically transforming the theory and practice of software engineering. The Posts ========= DAASE is a highly collaborative project. PhD students working on the project will have at least one other "buddy partner site" (one of the four academic partners specifically designated to collaborate) with which they will collaborate, supported by visits to the partner site (of one to four weeks duration), the full expenses of which will be met by the project. PhDs will also have opportunities to visit and collaborate with industrial and other partners and to be fully engaged with the international community through conferences, workshops and other networking activities. This will enhance training and development and open new opportunities for collaboration and intellectual development. A total of ten studentships are available. Contact John R. Woodward jrw at cs.stir.ac.uk http://www.cs.stir.ac.uk/~jrw/ Studentships will provide funding for tuition fees (home/EU rate), a stipend of £13,590 per annum plus Research Training Support Grant of £750 pa. Formal applications should be made via the online PG application form at http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/ Click the "apply now" button at the top right of the page. Select 'Research Degree in Computing Science' and 'register as a new user' on the system to proceed to the application form. Source: www.stir.ac.uk/impact/ http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/ Candidates who are from outside the European Union will be charged international fee, which translates into a short-fall of around 8,000 GBP/year. More information can be found in the following paper. The EPSRC project website. =================================================================================================================== 3. 5th Workshop on Evolutionary Computation for the Automated Design of Algorithms http://web.mst.edu/~tauritzd/ECADA/ 5th Workshop on Evolutionary Computation for the Automated Design of Algorithms July 11-15, 2015 @ GECCO 2015 in Madrid, Spain Description How can we automatically generate algorithms on demand? While this was one of the original aims of Machine Learning and Artificial Intelligence in the early 1950s, and more recently Genetic Programming in the early 1990s, existing techniques have fallen-short of this elusive goal. This workshop will outline a number of steps in the right direction on the path to achieving this goal. In particular, this workshop will focus on the burgeoning field of hyper-heuristics which are meta-heuristics applied to a space of algorithms; i.e., any method of sampling a set of candidate algorithms. Genetic Programming has most famously been employed to this end, but random search and iterative hill-climbing have both also successfully been employed to automatically design novel (components of) algorithms. This approach is in contrast to standard Genetic Programming which attempts to build programs from scratch from a typically small set of atomic functions. Instead we take already existing programs and allow evolution to improve on them. When the automatic design of algorithms is done using a Genetic Programming system (effectively in vitro), the methodology is typically referred to as Genetic Programming as a Hyper-heuristic. When the automatic design of algorithms is done directly on source code (effectively in situ), the methodology is typically referred to as Genetic Improvement [5, 7]. Although most Evolutionary Computation techniques are designed to generate specific solutions to a given instance of a problem, some of these techniques can be explored to solve more generic problems. For instance, while there are many examples of Evolutionary Algorithms for evolving classification models in data mining and machine learning, the work described in [1] employed a hyper-heuristic using Genetic Programming to create a generic classification algorithm which will, in turn, generate a specific classification model for any given classification dataset, in any given application domain. In other words, the hyper-heuristic is operating at a higher level of abstraction compared to how most search methodologies are currently employed; i.e., we are searching the space of algorithms as opposed to directly searching in the problem solution space [2], raising the level of generality of the solutions produced by the hyper-heuristic evolutionary algorithm. For instance, a hyper-heuristic can generate a generic heuristic for solving any instance of the traveling salesman problem, involving any number of cities and any set of distances associated with those cities [3], whilst a conventional evolutionary algorithm would just evolve a solution to one particular instance of the traveling salesman problem, involving a predefined set of cities and associated distances between them. Hyper-heuristics have some distinctions from standard Genetic Programming. In essence, they consist of a stage where an algorithmic framework or template is defined along with algorithmic primitives, and another stage where a meta-heuristic such as Genetic Programming searches the program space defined by the aforementioned template and primitives. This approach can be identified with the Template Method pattern from Designed Patterns associated with Object Oriented programming. In short, the human provides the overall architecture of the algorithm (e.g., loops and conditional branching) and the meta-heuristic fills in the details (for example, the bodies of the loops, or the condition and actions of conditional branching statements). While this allows searches in constrained search spaces based on problem knowledge, it does not in any way limit the generality of this approach as the template can be chosen to be any executable program and the primitive set can be selected to be Turing-complete. Typically, however, the initial algorithmic primitive set is composed of primitive components of existing high-performing algorithms for the problems being targeted; this more targeted approach very significantly reduces the initial search space, resulting in a practical approach rather than a mere theoretical curiosity. Iterative refining of the primitives allows for gradual and directed enlarging of the search space until convergence. As meta-heuristics are themselves a type of algorithm, they too can be automatically designed employing hyper-heuristics. For instance, in 2007, genetic programming was used to evolve mate selection in evolutionary algorithms [8]; in 2011, linear genetic programming was used to evolve crossover operators [9]; more recently, genetic programming was used to evolve complete black-box search algorithms [10,11]. The main objective of this workshop is to discuss hyper-heuristics employing evolutionary computation methods for generating algorithms. These methods have the advantage of producing solutions that are applicable to any instance of a problem domain, instead of a solution specifically produced to a single instance of the problem. The areas of application of these methods include, for instance, data mining, machine learning, and optimization [1-11]. [1] Gisele L. Pappa and Alex A. Freitas. Automating the Design of Data Mining Algorithms: An Evolutionary Computation Approach, Springer, Natural Computing Series, 2010. [2] Edmund K. Burke, Matthew Hyde, Graham Kendall and John Woodward. A genetic programming hyper-heuristic approach for evolving 2-D strip packing heuristics. In IEEE Transactions on Evolutionary Computation, 14(6):942-958, December 2010. [3] M. Oltean and D. Dumitrescu. Evolving TSP heuristics using multi expression programming. In: Computational Science - ICCS 2004, Lecture Notes in Computer Science 3037, pp. 670-673. Springer, 2004. [4] John R. Woodward and Jerry Swan, "The automatic generation of mutation operators for genetic algorithms", in Proceedings of the 14th international conference on Genetic and evolutionary computation conference, 2012. [5] William B. Langdon and Mark Harman. Genetically Improving 50000 Lines of C++. Research Note , RN/12/09, Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK, 2012. [6] Su Nguyen and Mengjie Zhang and Mark Johnston and Kay Chen Tan. Automatic Design of Scheduling Policies for Dynamic Multi-objective Job Shop Scheduling via Cooperative Coevolution Genetic Programming. IEEE Transactions on Evolutionary Computation, 18(2):193-208, April 2014. [7] Justyna Petke, Mark Harman, William B. Langdon, and Westley Weimer. Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Proceedings of the 17th European Conference on Genetic Programming, EuroGP 2014, Granada, Spain, 2014. Springer Verlag. [8] Ekaterina A. Smorodkina and Daniel R. Tauritz. Toward Automating EA Configuration: the Parent Selection Stage. In Proceedings of CEC 2007 - IEEE Congress on Evolutionary Computation, pages 63-70, Singapore, September 25-28, 2007. [9] Brian W. Goldman and Daniel R. Tauritz. Self-Configuring Crossover. In Proceedings of the 13th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO '11), pages 575-582, Dublin, Ireland, July 12-16, 2011. [10] Matthew A. Martin and Daniel R. Tauritz. Evolving Black-Box Search Algorithms Employing Genetic Programming. In Proceedings of the 15th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO '13), pages 1497-1504, Amsterdam, The Netherlands, July 6-10, 2013. [11] Matthew A. Martin and Daniel R. Tauritz. A Problem Configuration Study of the Robustness of a Black-Box Search Algorithm Hyper-Heuristic. In Proceedings of the 16th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO '14), pages 1389-1396, Vancouver, BC, Canada, July 12-16, 2014. Call for Papers This workshop explores the Automated Design of Algorithms employing hyper-heuristics which are meta-heuristics applied to algorithm space, with an emphasis on hyper-heuristics of the evolutionary computation persuasion. Genetic Programming has most famously been employed to this end, but random search and iterative hill-climbing have both also successfully been employed to automatically design novel (components of) algorithms. These methods have the advantage of producing solutions that are applicable to any instance of a specified problem domain, instead of a solution specifically produced for a single problem instance. This is particularly useful for real-world problem solving where one can afford a large amount of a priori computational time to subsequently solve many problem instances drawn from a specified problem domain. The areas of application of these methods include, for instance, data mining, machine learning, optimization, bioinformatics, image processing, economics, cyber security, critical infrastructure protection, etc. The workshop welcomes original submissions on all aspects of Evolutionary Computation for the Automated Design of Algorithms, which include - but are not limited to - the following topics and themes: Hyper-heuristics, in particular of the evolutionary computation persuasion, for designing a particular type of algorithm/heuristic for anything from optimization to machine learning to bioinformatics, etc. Hyper-heuristics, in particular of the evolutionary computation persuasion, for designing other algorithms of the evolutionary computation persuasion (effectively Meta-Evolutionary Algorithms). Empirical comparison of different hyper-heuristics. Theoretical analyses of hyper-heuristics. Automatic selection/creation of algorithm primitives (i.e., building blocks) as a preprocessing step for the use of hyper-heuristics. Analysis of the trade-off between generality and effectiveness of different hyper-heuristics or of algorithms produced by a hyper-heuristic. Analysis of the most effective representations for hyper-heuristics (e.g., Koza style Genetic Programming versus Cartesian Genetic Programming). Real-world applications of hyper-heuristics. Important Dates Workshop paper submission deadline: April 3, 2015 Notification of acceptance: April 20, 2015 Camera-ready deadline: May 4, 2015 Registration deadline: May 4, 2015 Paper Submission Submitted papers may not exceed 8 pages and are required to be in compliance with the GECCO 2015 Call for Papers Preparation Instructions. However, note that the review process of the workshop is not double-blind; hence, authors' information should be included in the paper. To submit, E-mail papers to both dtauritz at acm.org and jrw at cs.stir.ac.uk. All accepted papers will be presented at the workshop and appear in the GECCO Conference Companion Proceedings. Workshop Schedule This will be a quarter-day workshop. The schedule will be announced here shortly after the paper acceptance notification deadline. Organizers & Contact Info E-mail: dtauritz at acm.org Daniel R. Tauritz is an Associate Professor in the Department of Computer Science at the Missouri University of Science and Technology (S&T), on sabbatical at Sandia National Laboratories for the 2014-2015 academic year, a former Guest Scientist at Los Alamos National Laboratory (LANL), the founding director of S&T's Natural Computation Laboratory, and founding academic director of the LANL/S&T Cyber Security Sciences Institute. He received his Ph.D. in 2002 from Leiden University for Adaptive Information Filtering employing a novel type of evolutionary algorithm. He served previously as GECCO 2010 Late Breaking Papers Chair, COMPSAC 2011 Doctoral Symposium Chair, GECCO 2012 GA Track Co-Chair, and GECCO 2013 GA Track Co-Chair. For several years he has served on the GECCO GA track program committee, the Congress on Evolutionary Computation program committee, and a variety of other international conference program committees. His research interests include the design of hyper-heuristics and self-configuring evolutionary algorithms and the application of computational intelligence techniques in cyber security, critical infrastructure protection, and search-based software engineering. He was granted a US patent for an artificially intelligent rule-based system to assist teams in becoming more effective by improving the communication process between team members. E-mail: jrw at cs.stir.ac.uk John R. Woodward is a Lecturer at the University of Stirling, within the CHORDS group and is employed on the DAASE project, and for the previous four years was a lecturer with the University of Nottingham. He holds a BSc in Theoretical Physics, an MSc in Cognitive Science and a PhD in Computer Science, all from the University of Birmingham. His research interests include Automated Software Engineering, particularly Search Based Software Engineering, Artificial Intelligence/Machine Learning and in particular Genetic Programming. He has over 50 publications in Computer Science, Operations Research and Engineering which include both theoretical and empirical contributions, and given over 100 talks at international conferences and as an invited speaker at universities. He has worked in industrial, military, educational and academic settings, and been employed by EDS, CERN and RAF and three UK Universities. Previous ECADA workshops 1st ECADA Worlkshop @GECCO 2011 - Dublin, Ireland 2nd ECADA Workshop @GECCO 2012 - Philadelphia, PA, USA 3rd ECADA Workshop @GECCO 2013 - Amsterdam, The Netherlands 4th ECADA Workshop @GECCO 2014 - Vancouver, BC, Canada --thanks John R. Woodward (http://www.cs.stir.ac.uk/~jrw/) --*see my calendar to suggest a meeting * http://www.cs.stir.ac.uk/~jrw/calendar/calendar.html --NEWS public lecture Cmprsd Vw f nfrmtn Thry: A Compressed View of Information Theory, http://www.maths.stir.ac.uk/lectures/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Wed Mar 25 11:44:34 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Wed, 25 Mar 2015 10:44:34 -0000 Subject: ECMLPKDD 2015 : Nectar Track Message-ID: <004801d066e8$b0ee56c0$12cb0440$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/) and includes a Nectar Track that offers conference attendees a compact overview of recent scientific advances at the frontier of machine learning and data mining with other disciplines, as published in related conferences and journals. We invite senior and junior researchers to submit summaries of their own work published in neighboring fields, such as (but not limited to) artificial intelligence, data analytics, bioinformatics, games, computational linguistics, computer vision, geoinformatics, health informatics, database theory, human computer interaction, information and knowledge management, robotics, pattern recognition, statistics, social network analysis, theoretical computer science, uncertainty in AI, network science, complex systems science, and computationally oriented sociology, economy, statistics and biology. Particularly welcome is work that illustrates the pervasiveness of data-driven exploration and modelling in science and technology, as well as innovative applications. Accepted NECTAR contributions will be presented as talks or posters and included in the conference proceedings. Important dates Submission deadline: May 4, 2015 Notifications of acceptance: June 1, 2015 Submission of camera ready copies: June 15, 2015 Detailed information about the Nectar Track is available on: http://www.ecmlpkdd2015.org/submission/call-nectar-track-contributions For further information please contact the ECMLPKDD 2015 Nectar Track Chairs: Ricard Gavaldà (Universitat Politècnica de Catalunya) Dino Pedreschi (Università di Pisa) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kaeshammer at phil.uni-duesseldorf.de Wed Mar 25 13:27:50 2015 From: kaeshammer at phil.uni-duesseldorf.de (Miriam Kaeshammer) Date: Wed, 25 Mar 2015 13:27:50 +0100 Subject: Deadline extension: ESSLLI 2015 Student Session Message-ID: <5512A9C6.7030502@phil.uni-duesseldorf.de> Please forward to students. Apologies for the multiple messages. *Final Call for Papers - Deadline Extended* **ESSLLI 2015 STUDENT SESSION** http://esslli-stus-2015.phil.hhu.de/ Held during the 27th European Summer School in Logic, Language and Information Barcelona, Spain, August 03-14, 2015 **NEW DEADLINE FOR SUBMISSIONS: March 31, 2015** https://easychair.org/conferences/?conf=essllistus2015 *ABOUT* The Student Session of the 27th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Barcelona, Spain, August 3rd to 14th (http://esslli2015.org). We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *ORAL/POSTER PRESENTATIONS* Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress. *SUBMISSION GUIDELINES* Authors must be students, and submissions may be singly or jointly authored. Each author may submit at most one single and one jointly authored contribution. Submissions should not be longer than 8 pages for an oral presentation or 4 pages for a poster presentation (including examples and references). Submissions must be anonymous, without any identifying information. More detailed guidelines regarding submission can be found on the Student Session website: http://esslli-stus-2015.phil.hhu.de/. *SPONSORSHIP AND PRIZES* As in previous years, Springer has kindly agreed to sponsor the ESSLLI Student Session. The best poster and the best talk will be awarded Springer book vouchers of 500€ each. *FURTHER INFORMATION* Please direct inquiries about submission procedures or other matters relating to the Student Session to P.Schulz at uva.nl and kaeshammer at phil.uni-duesseldorf.de. ESSLLI 2015 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. For further information, including registration information and course listings, and for general inquiries about ESSLLI 2015, please consult the main ESSLLI 2015 page: http://esslli2015.org. Kind regards, The ESSLLI 2015 Student Session Organization Committee Chairs: Miriam Kaeshammer (Universität Düsseldorf) Philip Schulz (Universiteit van Amsterdam) LoCo co-chairs: Giovanni Cina (Universiteit van Amsterdam) Zeynep Saribatur (Technische Universität Wien) LoLa co-chairs: Marisa Delz (Universität Tübingen) Veronika Richtacikova (Universitat Pompeu Fabra Barcelona) LaCo co-chairs: Angeliki Lazaridou (University of Trento) Maria Nadejde (University of Edinburgh) -- Miriam Kaeshammer M.Sc. Institut fuer Sprache und Information Heinrich-Heine-Universitaet Duesseldorf http://user.phil-fak.uni-duesseldorf.de/~kaeshammer/ +49 (0)211 81-11705 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From manolis.stamatogiannakis at vu.nl Wed Mar 25 13:55:54 2015 From: manolis.stamatogiannakis at vu.nl (Manolis Stamatogiannakis) Date: Wed, 25 Mar 2015 13:55:54 +0100 Subject: CFP: 8th International Conference on Trust & Trustworthy Computing (TRUST 2015) In-Reply-To: <5512AF25.2060505@vu.nl> References: <5512A332.8080307@vu.nl> <5512A3DC.4000605@vu.nl> <5512A4EB.80809@vu.nl> <5512A50F.8010602@vu.nl> <5512AB66.4060205@vu.nl> <5512AC25.4060102@vu.nl> <5512AC81.2020806@vu.nl> <5512ACE1.6010302@vu.nl> <5512AD18.2020509@vu.nl> <5512AD49.4000005@vu.nl> <5512AD62.6080401@vu.nl> <5512AD9E.4090502@vu.nl> <5512ADD1.2000707@vu.nl> <5512AE02.7050800@vu.nl> <5512AE41.2090005@vu.nl> <5512AE66.7060903@vu.nl> <5512AEF5.8070503@vu.nl> <5512AF25.2060505@vu.nl> Message-ID: <5512B05A.40302@vu.nl> ====================================================================== Call for Papers: TRUST 2015 8th International Conference on Trust & Trustworthy Computing 24-26 August, 2015 - Heraklion, Crete, Greece ====================================================================== http://www.ics.forth.gr/trust2015/ / http://bit.ly/trust2015 About TRUST ---------------------------------------- TRUST 2015 is an international conference on the technical and socio-economic aspects of trustworthy infrastructures. It provides an excellent interdisciplinary forum for researchers, practitioners, and decision makers to explore new ideas and discuss experiences in building, designing, using and understanding trustworthy computing systems. Important Dates ---------------------------------------- * Paper submissions due: 7 May 2015 * Acceptance notification: 10 June 2015 * Final paper due: 21 June 2015 * Conference: August 24-26 2015 Topics of Interest ---------------------------------------- TRUST 2015 solicits original papers on any aspect (technical, social or socio-economic) of the design, application and usage of trusted and trustworthy computing. Papers can address design, application and usage of trusted and trustworthy computing in a broad range of concepts including, but not limited to, trustworthy infrastructures, cloud computing, services, hardware, software and protocols. The conference includes a Technical and a Socioeconomic Strand. Following is a partial list of topics of interest for the two strands. For the full list of topics, please refer to the conference website: http://www.ics.forth.gr/trust2015/ Technical Strand topics of interest include: * (NEW TOPIC) Applications and security analysis of trusted computing. Early explorations and results on new paradigms or emerging technologies (e.g. Intel SGX) are particularly encouraged. * (NEW TOPIC) Trust, Security and Privacy in embedded systems and IoT systems. * Trust, Security and Privacy in social networks. * Trusted mobile platforms and mobile phone security. * Trustworthy infrastructures and services for cloud computing (including resilience). * Attestation and integrity verification. * Cryptographic aspects of trusted and trustworthy computing. * Security hardware with cryptographic and security functions, physically unclonable functions (PUFs). * Intrusion resilience in trusted computing. * Virtualization for trusted platforms. * Security policy and management of trusted computing. * Privacy aspects of trusted computing. * Verification of trusted computing architectures. * Usability and end-user interactions with trusted platforms. * Limitations of trusted computing. * Usability and user perceptions of trustworthy systems and risks. Socioeconomic Strand topics of interest include: * (NEW TOPIC) Trust in the Web: protocols and implementations of mechanisms to measure and leverage trust from the web (e.g., using social networks to establish trust for other services). * The role of trust in human-computer interactions. * Patterns of trust practices in human-computer interactions. * Effects of trustworthy systems upon user, corporate, and governmental behavior. * The impact of trustworthy systems in enhancing trust in cloud-like infrastructures. * The adequacy of guarantees provided by trustworthy systems for systems critically dependent upon trust, such as elections and government oversight. * The impact of trustworthy systems upon digital forensics, police investigations and court proceedings. * Game theoretical modeling/design of trustworthy systems. * Modeling and simulation of scenarios on how trustworthy systems would be used in corporate environments and in personal space. * Economic drivers for trustworthy systems in corporate environments. * Experimental economics studies of trustworthiness. * The interplay between privacy, privacy enhancing technologies and trustworthy systems. * Evaluation of research methods used in the research of trustworthy and trusted computing. * Critiques of trustworthy systems. * Metrics of trust. * Privacy Aspects of Trust Computing. * Engineering Processes for Trustworthy Computing. Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal, conference or workshop. Simultaneous submission of the same work is not allowed. Authors of accepted papers must guarantee that their papers will be presented at the conference. Format of paper submissions ---------------------------------------- Two formats of submissions are solicited: * Full papers (up to 18 pages in LNCS format) that report on in-depth, mature research results. * Short papers (up to 9 pages in LNCS format) that describe brief results or exciting work-in-progress. To submit your work, visit: https://www.easychair.org/conferences/?conf=trust2015 All paper submissions to TRUST 2015 must be in LNCS format and written in English. The templates for LNCS format can be downloaded from: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All submissions must be within the page limits mentioned above. No changes to margins, spacing, or font sizes (or anything else) are allowed. The program committee reserves the right to request the source files for a submission to verify compliance with this requirement. Moreover, all submissions must be anonymized. An author's name should occur only in references to that author's related work, which should be referenced in the third person and not be overtly distinguishable from the referenced work of others. Only PDF submissions will be accepted. For the latest submission instructions and dates, please refer to the conference website: http://www.ics.forth.gr/trust2015/ Organisation Committee ---------------------------------------- * General Chair: Ioannis Askoxylakis, FORTH, GR * Program Chairs: - Mauro Conti, University of Padua, IT - Matthias Schunter, Intel, DE For the full Program Committee, see: http://bit.ly/trust2015pc TRUST 2015 Twitter Updates ---------------------------------------- Announcements regarding TRUST 2015 will be sent through @syssecproject on Twitter: https://twitter.com/syssecproject -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : image.jpg Dateityp : image/jpeg Dateigröße : 43510 bytes Beschreibung: image.jpg URL : From geoff at cs.miami.edu Thu Mar 26 15:26:44 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 26 Mar 2015 10:26:44 -0400 (EDT) Subject: Verification Mentoring Workshop Student Scholarships Message-ID: <20150326142644.1B4041214BA@mcclellan.cs.miami.edu> Verification Mentoring Workshop 2015: CALL for Applications for Student Travel Scholarships ----------------------------------------------------- We are organizing a new one-day workshop called the Verification Mentoring Workshop (VMW). It is co-located with the International Conference on Computer Aided Verification (CAV), to be held in San Francisco, July 18-24, 2015. CAV is a premier conference in the area of verification, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The goal of VMW is to attract early-stage graduate students to pursue research careers in the area of computer-aided verification and formal methods. Invited talks at the workshop will cover a broad overview of research topics in the area (so students can follow sessions of interest at CAV), the range of career options and perspectives (academia, industry, research labs, etc.), and job search advice (especially from young researchers). Participation of women and under-represented minorities is especially encouraged. We will provide travel scholarships to student participants, where the scholarships will cover registration for the VMW workshop and CAV conference, accommodations, plus travel expenses. The workshop website (http://i-cav.org/2015/workshop-mentorship/) is now accepting applications for student travel scholarships. Important Dates: ---------------- Deadline for submission of applications: April 20, 2015 Notification of travel scholarships awarded: May 1, 2015 VMW Workshop: July 19, 2015 CAV Conference: July 20 - 24, 2015 VMW 2015 is partially supported by the NSF (National Science Foundation, USA). More details on the VMW workshop and CAV conference can be found at http://i-cav.org/2015/. Organizers of VMW 2015: Aarti Gupta, Princeton, USA Rupak Majumdar, Max Plank Institute for Software Systems, Germany Corina Pasareanu, NASA/CMU, USA Ruzica Piskac, Yale, USA From leon.vandertorre at uni.lu Fri Mar 27 09:55:00 2015 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Fri, 27 Mar 2015 09:55:00 +0100 Subject: PhD candidate in Collective Reasoning (extended deadline) Message-ID: <55151AE4.7050400@uni.lu> The Individual and Collective Reasoning (ICR) Group at the University of Luxembourg, and the Department of Ethics, Social and Political Philosophy (ESPP) at the University of Groningen is looking for a: *Doctoral candidate (PhD student) in Collective Reasoning* (M/F). * Ref:F1-070075 * 2+2-year fixed-term contract, full-time (40h/week) * Beginning earliest May, 2015 Area: Collective reasoning Your Role The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg (year 1 and 2), and in the Department of ESPP at the University of Groningen led by Prof. Frank Hindriks (year 3 and 4). You will obtain a joint degree from both institutions (cotutelle). The goal of the PhD project is to develop and evaluate a conceptual, formal and computational framework for the analysis of collective reasoning and decision-making. The aim is to advance understanding of mutually beneficial and normatively appropriate choices in cooperative settings. Applications can concern expert panels and committee decision-making in general, and, for instance, central bank monetary policy committees, climate panels, medical ethical committees, and parliamentary committees in particular. Within this goal, the candidate is asked to submit a work plan, explaining how philosophy and artificial intelligence can benefit from each other. Whereas philosophers focus on the interaction between notions such as intentions, goals, beliefs, reasons, obligations and values - aimed at articulating an account of rational action - computer scientists address the overall architecture of an intelligent agent involving similar notions. The research statement must address these issues at the collective level and focus on notions such as joint intentions, collective rationality, collective obligations, and shared valuing. It may draw on theories such as judgment aggregation, team reasoning, and shared valuing as used in social ontology, and it may employ tools from deontic logic and normative multi-agent systems. The tasks for the PhD student will be to: * Write a doctoral dissertation * Disseminate results through scientific publications * Assist the professors in their teaching activities For further inquiries please contact: Prof. Leon van der Torre, leon.vandertorre at uni.lu or Prof. Frank Hindriks f.a.hindriks at rug.nl Your Profile * A Master degree in Philosophy, Computer Science or a related discipline * A proven interest in Interest in interdisciplinary research, and both conceptual and formal aspect * Background in practical reasoning, knowledge representation, applied logic, multi-agent systems, or social ontology, * Strong analytical capacities, creativity, and commitmen * Excellent written and oral English skills. We offer A 2+2-year contract, full-time (40 hours/week). The first two years will be mainly spent in Luxembourg, and the last two years will be mainly spent in Groningen. Universities offer competitive salaries and are equal opportunity employers. You will work in an exciting international environment and will have the opportunity to participate in two excellent research environments. Further Information Applications should be written in English and include the following documents: * An introduction letter indicating your motivation, * A detailed Curriculum vitae * A transcript of the grades you received in your Bachelor and Master * A short description of your master thesis * A work plan proposal of 800 words. Interested candidates are invited to send their complete application including CV and copies of diploma ON LINE before April 30, 2015. Follow the link at the bottom of the following webpage: http://emea3.mrted.ly/mrwv -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Mar 28 13:58:03 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 28 Mar 2015 14:58:03 +0200 Subject: CONTEXT 2015: Third Call for Papers and Posters Message-ID: *** Third Call for Papers and Posters *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2-6 November 2015, Lordos Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 The CONTEXT conferences are the world's prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is "Back to the roots", focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: · Agent-based architectures · Ambient intelligence · Cognition and perception by humans and artifacts · Context-aware and situated systems · Context modeling tools · Communication and dialogue · Data analysis and visualization · Decision making · Discourse comprehension and representation · Engineering, e.g., in transport networks, industrial plants etc. · Experimental philosophy and experimental pragmatics · (Formal) models of context · Human-computer interaction · Knowledge representation · Language acquisition and processing · Learning, knowledge management and sharing · Logic and reasoning · Machine learning · Ontology/ies · Semantics and Pragmatics · Smart and interactive spaces · Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4-6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Important dates Full papers and posters: · Submission deadline: June 1, 2015 · Notification: July 13, 2015 · Final version: August 17, 2015 Doctoral Consortium TBA Program Chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, UPF, Spain & CNRS, France Workshop Chair Samia Oussena, University of West London, UK Local Arrangements Chair George Angelos Papadopoulos, University of Cyprus, Cyprus General Chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at: - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaprogram.org Sat Mar 28 20:04:55 2015 From: invitation at iariaprogram.org (ICSNC 2015) Date: Sat, 28 Mar 2015 15:04:55 -0400 Subject: 2nd CfP: ICSNC 2015 || November 15 - 20, 2015 - Barcelona, Spain Message-ID: <1427569495020.3681@iariaprogram.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2015. The submission deadline is June 16, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2015, The Tenth International Conference on Systems and Networks Communications November 15 - 20, 2015 - Barcelona, Spain General page: http://www.iaria.org/conferences2015/ICSNC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICSNC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICSNC15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: June 16, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2015 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2015/ComICSNC15.html ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From announce at cs.ucy.ac.cy Sun Mar 29 16:21:45 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 29 Mar 2015 17:21:45 +0300 Subject: Last Mile: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015) Message-ID: <1E6QCBO6-AO1K-5IJQ-0API-OZWRPYBQEGW@cs.ucy.ac.cy> *** Last Mile *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ *** Final Submission Deadline: 7th April 2015 *** Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 07.04.2015 Submission of papers/posters (final) 27.04.2015 Notification of acceptance for papers/posters 11.05.2015 Camera ready versions of the accepted papers, posters, tutorial papers 30.05.2015 Author registration deadline 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From e.haasdijk at vu.nl Mon Mar 30 09:52:11 2015 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Mon, 30 Mar 2015 09:52:11 +0200 (CEST) Subject: CfP: Evolving Collective Behaviors in Robotics at GECCO Message-ID: <20150330075213.529C0245F2E81@MW-020708.clients.vu.nl> (Apologies for multiple postings) ## ## Evolving Collective Behaviors in Robotics ## ## Workshop at GECCO 2015 - July 12-15, 2015 - Madrid, Spain ## Organizers: Abraham Prieto, Evert Haasdijk, Nicolas Bredeche Contact: evocobots at isir.upmc.fr Web: http://evocobots.isir.upmc.fr ## Description ## This workshop brings together researchers interested in the automatic design of coordinated behaviors in decentralized collective systems, putting the emphasis on evolutionary robotics techniques. The goal of this workshop is to provide an updated perspective of this field, both from a theoretical and practical perspective, and to consider different areas of applicability for such techniques including design for engineering and modelling for biology. Moreover, this workshop will encourage collaboration between researchers already present at GECCO, or in other similar venues such as the Artificial Life conferences, which are not always present at the same conference. ## When/where? ## July 11-15, 2015, at GECCO 2015, the Genetic and Evolutionary Computation Conference, Madrid, Spain. ## Important dates ## Submission deadline: April 17th, 2015 (see Paper Submission Section) Authors notification: April 25th, 2015 Camera-ready submission: May 4th, 2015 ## Paper Submission ## We accept papers of two types: - Presentation of on-going work - Summary of already published research (e.g. journal or conference papers -- please include citation to the original work) Each accepted paper will be presented orally at the workshop. Authors should follow the same format as is used for the GECCO conference papers, and submissions should be maximum 2 pages. Please refer to http://www.sigevo.org/gecco-2015/papers.html for details. Paper should be submitted exclusively in PDF format to evocobots at isir.upmc.fr. ## Workshop agenda ## Three keynote talks (40 min each, invitation-based) -- to be announced Presentations of on-going or published work (20 min each, submission-based - see above) From announce at cs.ucy.ac.cy Mon Mar 30 17:57:00 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 30 Mar 2015 18:57:00 +0300 Subject: The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Last Mile for Workshop Papers (final extended deadline!) Message-ID: *** Last Mile for Workshop Papers *** The 20th IEEE Symposium on Computers and Communications (ISCC 2015) 6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus http://ieee-iscc.org/2015 *** Final Extended Submission Deadline: April 10th, 2015 (firm) *** ISCC 2015, in its 20th anniversary, will provide an insight into the unique world stemming from the interaction between the fields of computers and communications. ISCC 2015 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of ongoing research in most state-of-the-art areas of computer and communications. This year, special focus will be on the challenging issues and opportunities related to the computing, sensing and communication in the era of the Internet of Things, Cloud Computing and Big Data. The ISSC 2015 workshops cover topics such as 5G, Internet of Things, Software-Defined Networking, Big Data, Cloud Computing, M2M communications or Smart Grid. The purpose of these workshops is to provide a platform for presenting novel ideas in a less formal and possibly more sharply focused way than at the conference itself. All papers included in the ISCC 2015 workshops, will be submitted for inclusion in the conference proceedings published by IEEE. ISCC 2015 will feature the following workshops: · Management of Cloud and Smart city systems (MoCS 2015) · Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA 2015) · Smart City and Ubiquitous Computing Applications (SCUCA 2015) · Distributed Mobile Systems & Services (DMSS 2015) · A 5G Wireless Odyssey: 2020 (5G) · Security and Forensics in Communication Systems (SFCS 2015) More information about each workshop and submission guidelines can be found at each workshop's web site, accessible from the conference web site. Important Dates Paper Submission Deadline: April 10th, 2015 (final and firm) Notification of Paper Acceptance: April 12th, 2015 Submission of Camera-Ready Papers Due: April 17th, 2015 Day of Workshops: July 6th, 2015 General Co-Chairs Andreas Pitsillides, University of Cyprus, Cyprus Mahmoud Daneshmand, Stevens Institute of Technology, USA Technical Program Co-Chairs Vasos Vassiliou, University of Cyprus, Cyprus Honggang Wang, University of Massachusetts, Dartmouth, USA Local Arrangement Co-Chairs George Pallis, University of Cyprus, Cyprus George Papadopoulos, University of Cyprus, Cyprus Finance and Registration Co-Chairs Reda Ammar, University of Connecticut, USA Christos Douligeris, University of Piraeus, Greece Publication Co-Chairs Josephine Antoniou, University of Central Lancanshire, Cyprus Nicos Komninos, City University London, UK Keynote Speakers Co-Chairs Panayiotis Kolios, University of Cyprus, Cyprus Marios Lestas, Frederick University, Cyprus Workshop Co-Chairs Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece Andreas Kamilaris, University of Cyprus, Cyprus Massimo Villari, University of Messina, Italy Publicity Co-Chairs Habib M. Ammari, Univ. of Michigan-Dearborn, USA Chrysostomos Chrysostomou, Frederick University, Cyprus Mario Dantas, Universidade Federal de Santa Catarina, Brazil Salil Kanhere, University of New South Wales, Australia Ahmet Sekercioglu, Monash University, Australia Qing Yang, Montana State University, USA Steering Committee Reda Ammar, University of Connecticut, USA Antonio Corradi, University of Bologna, Italy Mahmoud Daneshmand, Stevens Institute of Technology, USA Christos Douligeris, Univ. of Piraeus, Greece Adel S. Elmaghraby, Univ. of Louisville, USA Hussein Mouftah, University of Ottawa, Canada Sartaj Sahni, University of Florida, USA Ahmed Tantawy, IBM, USA -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Tue Mar 31 02:26:07 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 30 Mar 2015 21:26:07 -0300 Subject: Fourth call for papers: DARe at IJCAI 2015 Message-ID: <09E8488D-8379-45DA-AB19-D36C04730384@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI 2015 Date: TBC (one day between 25 and 27 July 2015) Buenos Aires, Argentina *** Deadline: 27 April 2015 *** ============================== The Second International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2015.yolasite.com held at the International Joint Conference on Artificial Intelligence (IJCAI 2015) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI 2015 LaTeX style (which can be found at http://ijcai-15.org/index.php/call-for-papers) and should be no longer than 6 pages excluding references and in PDF format. The list of references is limited to one page. Please submit to: https://easychair.org/conferences/?conf=dare15 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the IJCAI 2015 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 27 April 2015 - Notification: 20 May 2015 - Camera ready: 30 May 2015 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: [TBA] -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Mahasarakham University, Thailand) - Giovanni Casini (Centre for AI Research and University of Pretoria, South Africa) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Willem Labuschagne (University of Otago, New Zealand) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to IJCAI policy all workshop participants are required to register for the workshop. IJCAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2015.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv Google scholar profile: http://tinyurl.com/varzinczak