From invitation at iariaprogram.org Mon Sep 1 05:45:19 2014 From: invitation at iariaprogram.org (ComputationWorld 2015) Date: Sun, 31 Aug 2014 23:45:19 -0400 Subject: 2nd CfP: ComputationWorld 2015 : March 22 - 27, 2015 - Nice, France Message-ID: <1409543119913.3285@iariaprogram.org> INVITATION: Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under ComputationWorld 2015. The submission deadline is October 28, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2014 : March 22 - 27, 2015 - Nice, France see: http://www.iaria.org/conferences2015/ComputationWorld15.html ComputationWorld 2015 is a federated event focusing on various aspects related to computation tools, platforms, services, and applications. Submission (full paper) deadline: October 28, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. 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 All tracks/topics are open to both research and industry contributions. -- SERVICE COMPUTATION 2015, The Seventh International Conferences on Advanced Service Computing http://www.iaria.org/conferences2015/SERVICECOMPUTATION15.html -- CLOUD COMPUTING 2015, The Sixth International Conference on Cloud Computing, GRIDs, and Virtualization http://www.iaria.org/conferences2015/CLOUDCOMPUTING15.html -- FUTURE COMPUTING 2015, The Seventh International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2015/FUTURECOMPUTING15.html -- COGNITIVE 2015, The Seventh International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2015/COGNITIVE15.html -- ADAPTIVE 2015, The Seventh International Conference on Adaptive and Self-Adaptive Systems and Applications http://www.iaria.org/conferences2015/ADAPTIVE15.html -- CONTENT 2015, The Seventh International Conference on Creative Content Technologies http://www.iaria.org/conferences2015/CONTENT15.html -- PATTERNS 2015, The Seventh International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2015/PATTERNS15.html -- COMPUTATION TOOLS 2015, The Sixth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking http://www.iaria.org/conferences2015/COMPUTATIONTOOLS15.html -- BUSTECH 2015, The Fifth International Conference on Business Intelligence and Technology http://www.iaria.org/conferences2015/BUSTECH15.html -- SABIT 2015, The First International Workshop on Social Aspects of Business Intelligence and Technology http://www.iaria.org/conferences2015/SABIT.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld 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 gis at cs.uns.edu.ar Mon Sep 1 17:19:44 2014 From: gis at cs.uns.edu.ar (Gerardo I. Simari) Date: Mon, 1 Sep 2014 12:19:44 -0300 Subject: IJCAI 2015 Call for Tutorials Message-ID: IJCAI 2015 CALL FOR TUTORIALS IJCAI-15 invites proposals for the Tutorial Program. Tutorials will be held on July 25--27, 2015, immediately prior to the technical conference. Attendance of the tutorials will be included in the IJCAI-15 conference registration fee and will not incur any additional fees. Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of Artificial Intelligence. * Introduce expert non specialists to an AI subarea. * Motivate and explain a topic of emerging importance for AI. * Survey a mature area of AI research and/or practice. * Provide instruction in established but specialized AI methodologies. * Present a novel synthesis combining distinct lines of AI work. * Introduce AI audiences to an external topic that can motivate or use AI research. To broaden and improve the topic coverage provided, we also invite suggestions as to what tutorial topics and presenters might be welcome. Individuals with ideas or suggestions for possible tutorial topics and/or suggested candidate presenters are encouraged to email them to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari (gis at cs.uns.edu.ar). Suggestions will be kept entirely confidential. --- Important Dates for Tutorials: * Proposal Submission Deadline: November 28th, 2014 * Acceptance Notification: January 9th, 2015 * Title, Abstract, and Speaker Biography Deadline: March 13th, 2015 * Syllabus and Course Handouts Posted: June 19th, 2015 * IJCAI-15 Tutorials: July 25-27, 2015 --- Requirements for Submission: Those interested in presenting a tutorial should submit a proposal to the IJCAI-15 Tutorial Co-chairs, Pascal Poupart and Gerardo I. Simari. A tutorial proposal should contain the following information: * A two-sentence description of the tutorial, suitable for inclusion in the conference registration brochure. * A two-paragraph description of the tutorial, suitable for a web page overview. * A detailed outline of the tutorial. * A characterization of the potential target audience for the tutorial, including prerequisite knowledge. Indicate which of the above objectives are best served by the proposed tutorial. * A description of why the tutorial topic would be of interest to a substantial part of the IJCAI audience. * A brief resume of the presenter(s), which should include: -- Name and affiliation -- Postal address -- Phone and fax numbers -- E-mail address -- Background in the tutorial area -- Citation to an available example of work in the area -- ideally, a published tutorial-level article on the subject -- Evidence of teaching experience, with references addressing the proposer's presentation ability -- Evidence of scholarship in AI/computer science (equivalent to a published IJCAI conference paper or tutorial syllabus). Tutorials are intended to cover reasonably well-established information in a balanced way. They should not be used to advocate a single avenue of research, nor should they promote a product. Proposals should be sent by email, in plain text (ASCII) or PDF form, to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari ( gis at cs.uns.edu.ar) by November 28th, 2014, with the subject line: "IJCAI Tutorial Proposal". -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Andreas.Herzig at irit.fr Mon Sep 1 17:31:33 2014 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Mon, 01 Sep 2014 17:31:33 +0200 Subject: European Conf. on Social Intelligence: extended deadline Message-ID: <1735-54049180-ad-6cd66b00@195335580> 3rd CFP: European Conference on Social Intelligence (ECSI-2014) *** extended deadline for submissions: September 7, 2014 *** http://ecsi.sintelnet.eu Barcelona, November 3-5, 2014 KEYNOTE SPEAKERS Cristiano Castelfranchi (ISTC-CNR Rome) Christian List (LSE London) Mel Slater (ICREA, University of Barcelona and University College London) MOTIVATION AND OBJECTIVES Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular. The interactions between philosophy, social sciences and computer science around social intelligence are manifold, and many concepts and theories from social science have found their way into artificial intelligence and agent-based research. In the latter, coordination and cooperation between largely independent, autonomous computational entities are modelled. Conversely, logical and computational models and their implementations have been used in the social sciences to help improve simulations, hypotheses and theories. Among the most prominent subjects at the interface are action and agency, communicative interaction, group attitudes, socio-technical epistemology and social coordination. The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields. Topics of interest include but are not limited to: - Action and agency - Mental attitudes (e.g., beliefs, desires, goals, intentions) - Dynamics of mental attitudes (at individual and collective level) - Argumentation theory - Cooperation and coordination - Social epistemology and ontology - Epistemic game theory - Theory of signalling - Norms and normative systems - Group attitudes, collective reasoning, collective intentionality - Theories of artefacts and technical design - Socio-technical systems - Trust and reputation - Speech act theory - Epistemic and evolutionary aspects of conventions - Emotions and affective phenomena - Social influence - Social power and social dependence Submissions should have a forward-looking perspective that contributes to the objectives of the symposium. Challenging position papers are specially welcome. The technicality of the papers should take the mixed audience into consideration. Selection for the symposium and subsequent publication will be based on the possibility of fruitful discussions and the quality of the arguments put forward. SUBMISSION FORMAT Submissions should be formatted using Springer's LNCS style (http://www.springer.de/comp/lncs/authors.html). Please submit via the online paper submission system Easychair (https://easychair.org/conferences/?conf=ecsi2014). Papers should be preferably within 12 pages in length. Submissions should present unpublished work. PUBLICATION Accepted papers will be published as CEUR proceedings. Extended selected papers will be invited to a special issue of one or more relevant journals and/or to a book. IMPORTANT DATES Paper submission deadline: September 7, 2014. Notification of acceptance: October 1, 2014. Camera ready version: October 15, 2014. Conference: November 3-5, 2014. COMMITTEES Senior programme committee: Pompeu Casanovas (Universitat Autonoma de Barecelona), Cristiano Castelfranchi (ISTC-CNR, Rome), Andreas Herzig (IRIT-CNRS, Toulouse, chair), Andrew Jones (King's College), Emiliano Lorini (IRIT-CNRS, Toulouse, chair), Peter McBurney (King's College London), Pablo Noriega (IIIA-CSIC, Barcelona, chair), David Pearce (Universidad Politecnica de Madrid), Marek Sergot (Imperial College London), Luca Tummolini (ISTC-CNR, Rome) Program committee: see website Organizing committee: Pablo Noriega, Enric Plaza (IIIA-CSIC, Barcelona) From feeds at sentic.net Tue Sep 2 11:03:34 2014 From: feeds at sentic.net (SenticNet) Date: Tue, 2 Sep 2014 04:03:34 -0500 (EST) Subject: [SenticNet] CFP: AAAI FLAIRS special track on Artificial Intelligence for Big Social Data Analysis Message-ID: <627620085.3512085.1409648614443.open-xchange@bosoxweb01.eigbox.net> Apologies for cross-posting, Submissions are invited for a FLAIRS-28 special track on Artificial Intelligence for Big Social Data Analysis, in cooperation with the Association for the Advancement of Artificial Intelligence (AAAI), to be held in Florida next May. For more info, please visit http://sentic.net/flairs RATIONALE As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming increasingly enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. The main aim of this Special Track is to explore the new frontiers of big data computing for opinion mining and sentiment analysis through machine learning techniques, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web. TOPICS The Special Track aims to provide an international forum for researchers in the field of big data computing for opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of the Special Track comprehends information retrieval, natural language processing, web mining, semantic web, and artificial intelligence. Topics of interest include but are not limited to: • Machine learning for sentiment mining • Concept-level sentiment analysis • Biologically-inspired opinion mining • Sentiment identification & classification • Association rule learning for opinion mining • Time evolving opinion & sentiment analysis • Multi-modal sentiment analysis • Multi-domain & cross-domain evaluation • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment topic detection & trend discovery • Social ranking • Social network analysis • Opinion spam detection The Special Issue also welcomes papers on specific application domains of knowledge-based systems for big social data analysis, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, art. TIMEFRAME November 17th, 2014: Paper submission deadline January 19th, 2015: Notification of paper acceptance February 23rd, 2015: Camera-ready of accepted papers May 18th-20th, 2015: Conference dates SUBMISSION AND PROCEEDINGS Submitted papers must be original, and not submitted concurrently to a journal or another conference. Double-blind reviewing will be provided, so submitted papers must use fake author names and affiliations. Papers must use the latest AAAI Press template, and must be submitted as PDF through the EasyChair conference system. There are three kinds of submissions: full papers (up to 6 pages), short papers (up to 4 pages), and poster abstracts (up to 250 words). Acceptance as a full paper entails a 20 minute presentation during a regular session, while short papers and abstracts will be required to participate in the poster session. Rejected full papers may still be accepted as short papers or poster abstracts. Selected, expanded versions of Special Track papers will be published in a follow-on Special Issue of Springer's Cognitive Computation journal. ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Amir Hussain, University of Stirling (UK) • Newton Howard, MIT Media Laboratory (USA) From icsai2014cfp at sdju.edu.cn Thu Sep 4 06:03:09 2014 From: icsai2014cfp at sdju.edu.cn (Prof Chen) Date: Thu, 4 Sep 2014 12:03:09 +0800 Subject: ICSAI 2014, Shanghai: Submissions Open until 17 September [EI Compendex /IEEE Xplore] 2014/9/412:03:23974546811 Message-ID: <609803388.19268@eyou.net> Dear Colleague, The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. Due to numerous requests, the submission system will remain open until 17 September 2014. ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Keynote speakers include Ljiljana Trajkovic, President of the IEEE Systems, Man, and Cybernetics Society; Witold Pedrycz, Editor-in-Chief of 3 SCI-indexed journals (including IEEE Transactions on Systems, Man, and Cybernetics: Systems); and Marimuthu Palaniswami, a renowned researcher. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering The registration fee of US$410 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing (the previous ICSAI proceedings were indexed in Ei Compendex and IEEE Xplore within 3 months of the conference. IEEE Conference Record # 34792; ISBN 978-1-4799-5457-5). Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2014. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2014 at sdju.edu.cn For more information, visit the conference web page: http://ICSAI2014.sdju.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at icsai2014 at sdju.edu.cn Join us at this major event in exciting Shanghai !!! Organizing Committee icsai2014 at sdju.edu.cn P.S.: Kindly forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2014/9/4 12:03:23 xfdjmw -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.m.dastani at uu.nl Thu Sep 4 11:39:11 2014 From: m.m.dastani at uu.nl (Mehdi Dastani) Date: Thu, 4 Sep 2014 11:39:11 +0200 Subject: FSEN 2015 Message-ID: <5408333F.9000705@uu.nl> Our apologies if you have received multiple copies. ###################################################################### SECOND CALL FOR PAPERS Sixth International Conference on Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15) http://fsen.ir/2015 Tehran, Iran 22 - 24 April, 2015 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. -- Important Dates -- Abstract Submission: October 24, 2014 Paper Submission: October 31, 2014 Notification: December 26, 2014 Camera Ready: January 16, 2015 Conference: April 22-24, 2015 -- Keynote Speakers -- Holger Giese, Hasso Plattner Institute, Germany John Hughes, Chalmers University of Technology, Sweden Paola Inverardi, University of L'Aquila, Italy -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format, and not be submitted simultaneously for publication elsewhere. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. -- Proceedings and Special Issues -- The post-proceedings of FSEN'15 will be published by Springer Verlag in the LNCS series (official approval in process). There will also be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of the past editions, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'15 (to be confirmed). -- General Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran -- Publicity Chair -- Hossein Hojjat - Cornell University, USA -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran (chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran Christel Baier - TU Dresden, Germany Ezio Bartocci, Vienna University of Technology, Austria Borzoo Bonakdarpour - University of Waterloo, Canada Marcello Bonsangue - Leiden University, Netherlands Mario Bravetti - University of Bologna, Italy Fabiano Dalpiaz - Utrecht University, Netherlands Mehdi Dastani - Utrecht University, Netherlands Erik De Vink - Technical University of Eindhoven, Netherlands Klaus Dräger - University of Oxford, UK Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands Masahiro Fujita - University of Tokyo, Japan Maurizio Gabbrielli - University of Bologna, Italy Fatemeh Ghassemi - University of Tehran, Iran Jan Friso Groote - Technical University of Eindhoven, Netherlands Hassan Haghighi - Shahid Beheshti University, Iran Hossein Hojjat - Cornell University, USA Mohammad Izadi - Sharif University of Technology, Iran Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of University of Amsterdam, Netherlands Einar Broch Johnsen - University of Oslo, Norway Joost-Pieter Katoen - RWTH Aachen University, Germany Narges Khakpour - KTH, Sweden Ramtin Khosravi - University of Tehran, Iran Zhiming Liu - Birmingham City University, UK Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran Ugo Montanari - University of Pisa, Italy Peter Mosses - Swansea University, UK Mohammad Reza Mousavi - Halmstad University, Sweden Ali Movaghar - Sharif University of Technology, Iran Peter Olveczky - University of Oslo, Norway Jose Proenca - K.U.Leuven, Belgium Niloofar Razavi - University of Toronto, Canada Philipp Ruemmer - Uppsala University, Sweden Gwen Salaun - Grenoble INP, Inria, France Cesar Sanchez - IMDEA Software Institute, Spain Wendelin Serwe - INRIA, France Marjan Sirjani - Reykjavik University, Iceland Meng Sun - Peking University, China Carolyn Talcott - SRI International, USA Samira Tasharofi - Microsoft, USA Tayssir Touili - LIAFA, France Danny Weyns - Linnaeus University, Sweden -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From valentina.ivanova at liu.se Thu Sep 4 14:03:23 2014 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Thu, 4 Sep 2014 12:03:23 +0000 Subject: =?iso-8859-1?Q?CfP:_VISUAL_2014_@EKAW2014,_November_24_or_25,_Link=F6ping?= =?iso-8859-1?Q?,_Sweden?= Message-ID: <4B07F535C1DBB043B4E107FAA728DD202222E7FF@MB2-2010.ad.liu.se> CALL FOR PAPERS Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics International Workshop at EKAW 2014, 19th International Conference on Knowledge Engineering and Knowledge Management November 24 or 25, 2014, Linköping, Sweden http://linkedscience.org/events/visual2014/ Motivation and Objectives ========== With data continuously generated as a result of daily activities within organizations and new data sources (sensor streams, linked datasets, etc.) introduced within knowledge management, the growth of information is unprecedented. Providing knowledge engineers and data analysts with visualizations and well-designed user interfaces can significantly support understanding of the concepts, data instances and relationships of different domains. The development of appropriate visualizations and user interfaces is a challenging task, given the size and complexity of the information that needs to be displayed and the varied backgrounds of the users. Further challenges emerge from technological developments and diverse application contexts. There is no "one size fits all" solution but the various use cases demand different visualization and interaction techniques. Ultimately, providing better visualizations and user interfaces will foster user engagement and likely lead to higher-quality results in different areas of knowledge engineering and linked data analytics. This full-day workshop will be divided into two half-day tracks, one in the morning and the other in the afternoon, each focusing on one of the two workshop themes. Track 1: Visualizations and User Interfaces for Knowledge Engineering ========== Visualizations and user interfaces are an integral part of knowledge engineering. They help to bridge the gap between domain experts and data management, and are essential to handle the increasing diversity of knowledge that is being modeled in ontologies, ensuring that it is easily accessible to a wide community. As knowledge-based systems and ontologies grow in size and complexity, the demand for comprehensive visualization and optimized interaction also rises. A number of knowledge visualizations have become available in recent years, with some being already well-established, particularly in the field of ontology development. In other areas of knowledge engineering, such as ontology alignment and debugging, although several tools have recently been developed, few have a user interface, not to mention navigational aids or comprehensive visualization techniques. Other activities, such as data integration, rely on the relationships between the concepts of different ontologies, which not only multiplies the number of objects to be displayed but also compounds the problem with the portrayal of different kinds of relationships between concepts. Topics of interest in this track include (but are not limited to): - visualizations for (large and complex) ontologies - user interfaces for ontology alignment and debugging - visualizations and user interfaces for non-experts - applications of novel interaction techniques (e.g. touch and gesture interaction) - user interfaces for mobile knowledge engineering - requirements analysis for visualizations in knowledge engineering - user interfaces assisting people with disabilities - knowledge visualizations for large displays and high resolutions - user interfaces for collaborative knowledge engineering - case studies of applying visualizations in knowledge engineering - user interfaces and visualizations for linked data - context-aware visualization and interaction techniques Track 2: Visualizations and User Interfaces for Linked Data Analytics ========== New and traditional knowledge practices, digitization of organizational processes, high performance computing and affordable datastores create an unprecedented amount of data as a part of daily organizational activities, at break-neck speed in a variety of formats. Conventional systems struggle to capture, store and analyze such dynamic and large scale data continuously generated. On its own, raw data has little value, but its value and significance is only unleashed when the data is extracted, processed and interpreted. Visual Analytics attempts to address this challenge by harmoniously combining the strengths of human processing and electronic data processing. While semi-automated processes result in generating visualizations, humans can use visual processing and interactions to quickly identify trends, patterns and anomalies from large volumes of visual data. The growing challenges of analyzing big data, social media, linked data, and data streams have created an excellent opportunity for research in Visual Analytics. Topics of interest in this track include (but are not limited to): - interactive semantic systems - design of interactive systems - visual pattern discovery - (semi-)automatic hypothesis generation - augmented human reasoning - novel visualizations of data and metadata - visual approaches for semantic similarity measurement - exploratory information visualization - domain-specific visual analytics - interactive systems in business intelligence - cognition and sensemaking in visual contexts - evaluation of interactive systems Submission Guidelines ========== Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following Springer LNCS format, and be submitted in PDF. The following types of contributions are welcome: - Full research papers (8-12 pages); - Experience papers (8-12 pages); - Position papers (6-8 pages); - Short research papers (4-6 pages); - System papers (4-6 pages). Accepted papers will be published as a volume in the CEUR Workshop Proceedings series. Important Dates ========== - Submission: September 19, 2014 - Notification: October 17, 2014 - Camera-ready: November 7, 2014 - Workshop: November 24/25, 2014 Organizers ========== - Valentina Ivanova, Linköping University, Sweden - Tomi Kauppinen, Aalto University, Finland, and University of Bremen, Germany - Steffen Lohmann, University of Stuttgart, Germany - Suvodeep Mazumdar, The University of Sheffield, UK - Catia Pesquita, University of Lisbon, Portugal - Toomas Timpka, Linköping University, Sweden - Kai Xu, Middlesex University, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From universal.logic at ufc.br Thu Sep 4 14:17:29 2014 From: universal.logic at ufc.br (Universal Logic) Date: Thu, 4 Sep 2014 09:17:29 -0300 (BRT) Subject: 1st World Congress on Logic and Religion, Joao Pessoa, April 1-5, 2015] Message-ID: <796de874f739ead84efa6e6cf45b5076.squirrel@correio3.ufc.br> Call for Papers 1st World Congress on Logic and Religion, Joao Pessoa, April 1-5, 2015 Deadline November 1st 2014 http://www.uni-log.org/logic-and-religion.html From jleite at fct.unl.pt Thu Sep 4 17:21:09 2014 From: jleite at fct.unl.pt (Joao Leite) Date: Thu, 4 Sep 2014 16:21:09 +0100 Subject: JELIA 2014 - Call for Participation Message-ID: ============================================================= Call For Participation JELIA 2014 14th European Conference on Logics in Artificial Intelligence Madeira Island, Portugal September 24-26, 2014 http://www.uma.pt/jelia2014 ============================================================= ================ About JELIA ================ Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), Helsinki, Finland (2010) and Toulouse, France (2012). The increasing interest in this forum, its international level with growing participation of researchers from outside Europe, and the overall technical quality, have turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. ================ Venue ================ JELIA'14 will take place in the beautiful island of Madeira, Portugal, organized by the University of Madeira (UMa) and the Centre for Artificial Intelligence (CENTRIA) of the New University of Lisbon. More information about Madeira can be found at http://www4.uma.pt/jelia2014/venue-madeira.html More information about the conference venue can be found at http://www4.uma.pt/jelia2014/conference.html ================ Invited Speakers ================ Diego Calvanese (Free University of Bozen-Bolzano, Italy) Query Answering over Description Logic Ontologies Agata Ciabattoni (Vienna University of Technology, Austria) Tools for the investigation of substructural and paraconsistent logics Hector Geffner (Universitat Pompeu Fabra in Barcelona, Spain) How to solve a non-classical planning problem with a classical planner: the power of transformations Anthony Hunter (University College London, United Kingdom) Towards Argument-based Persuasion Technologies ================ Program ================ The Technical Program features - 4 Invited Talks - 32 Full Papers - 3 System Descriptions - 8 Short Papers - 2 Short System Descriptions The Social Program includes: - Reception - Excursion - Social Dinner - Lunches and Coffee Breaks The detailed technical program is available at http://www4.uma.pt/jelia2014/schedule.html ================ Registration ================ Registration information and form are available at http://www4.uma.pt/jelia2014/registration.html All events in the program are included in the registration fee. ================ Contact address ================ jelia2014 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sun Sep 7 11:07:32 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 7 Sep 2014 11:07:32 +0200 Subject: BigDat 2015: registration deadline 23 September Message-ID: <7A74B778CF8244669C17514D8A770656@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 4th registration deadline: September 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. All big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures and 24 six-hour courses, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Ian Foster (Argonne National Laboratory), tba Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced] >From Design of Distributed and Online Algorithms to Hands-on Code Lab Practice on Real Datasets Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data David Padua (University of Illinois, Urbana-Champaign), [intermediate] Data Parallel Programming Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: As far as possible, participants are expected to stay full-time. Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: BigDat 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Sep 8 17:32:56 2014 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Mon, 8 Sep 2014 15:32:56 +0000 Subject: Course in Epistemic Game Theory References: <4EC2BF8A6B607D4897095332EC1255310435653A9E@UM-MAIL4110.unimaas.nl> Message-ID: In 2015, our EPICENTER will organize the second EPICENTER Spring Course in Epistemic Game Theory Maastricht University, June 8 – June 19, 2015 followed by EPICENTER Mini-course on Games with Unawareness by Burkhard Schipper June 22-23, 2015 Registration: If you want to participate, please send an E-mail to Andrés Perea at: course at epicenter.name The course is free, so there is no registration fee. Please indicate whether you want to participate in the epistemic game theory course, the mini-course on unawareness, or both. Also clearly state your university, type of student or position (bachelor-, master- or PhD student, or researcher), and your background/field of expertise. Credits: At the end of the course there will be an exam, which is optional. So, you are free to participate without doing the exam. If you pass the exam, you will earn 6.5 ECTS for this course. Everybody who participates in this course will get an official certificate from the EPICENTER and our university. If you pass the exam, you will get a special certificate saying that you are entitled to 6.5 ECTS from your home university. About the course: Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents’ choices, but also about the opponents’ beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world. For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/ Previous edition: In 2014 we gave the EPICENTER Spring Course in Epistemic Game Theory for the first time. It was a big success, with 21 highly motivated students from all across Europe (see picture below). We hope the 2015 edition will be at least as good. Poster and brochure: Attached to this E-mail you find the poster and the brochure for this course. It would be nice if you could print out the poster and put it on the publication board of your department. Mini-course on Games with Unawareness: Unawareness refers to the lack of conception rather than the lack of information. Players may be unaware of certain features of the game like payoff-relevant events, actions, or even other players. Moreover, in dynamic interaction, a player's awareness of these features may change endogenously as other players may make her aware of some of it for strategic reasons. Unawareness has been explored in epistemic logic and game theory only recently. For more information about the EPICENTER Mini-Course Series, please visit our website: http://www.epicenter.name/mini-courses/ Burkhard Schipper (University of California at Davis, USA) is one of the world’s leading experts on unawareness in games, and has done some important pioneering work in this area. We are certain his mini-course will be inspiring for everyone with an interest in decision theory, game theory or logic. For more information about Burkhard Schipper, please visit his website: http://www.econ.ucdavis.edu/faculty/schipper/ Forward: Please forward this message to all people whom you think might be interested. Registration: If you want to participate, please send an E-mail to Andrés Perea at: course at epicenter.name The course is free, so there is no registration fee. Please indicate whether you want to participate in the epistemic game theory course, the mini-course on unawareness, or both. Also clearly state your university, type of student or position (bachelor-, master- or PhD student, or researcher), and your background/field of expertise. Questions? Please send an E-mail to Andrés Perea at: course at epicenter.name ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hiroaki_suzuki at jaist.ac.jp Tue Sep 9 08:22:15 2014 From: hiroaki_suzuki at jaist.ac.jp (Suzuki Hiroaki) Date: Tue, 9 Sep 2014 15:22:15 +0900 (JST) Subject: Eighth International Workshop on Juris-informatics (JURISIN 2014) In-Reply-To: <220503432.14898421.1410243619430.JavaMail.zimbra@jaist.ac.jp> Message-ID: <1735811419.14898616.1410243735151.JavaMail.zimbra@jaist.ac.jp> Apologies if you receive this CFP multiple times. -------------------------------------------- !!Deadline Extention!! Due to many requests, we will extend the deadline for Eighth International Workshop on Juris-informatics (JURISIN 2014). New Submission Deadline: September 17, 2014 Conference date: November 23 - 24, 2014 venue: Raiosha Building, Keio University Kanagawa, Japan Aims and Scope Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. Topics Relevant topics include, but are not limited to, the following: Model of legal reasoning Argumentation / Negotiation / Argumentation agent Legal term ontology Formal legal knowledge-base / Intelligent management of legal knowledge-base Translation of legal documents Information retrieval of legal texts Computer-aided law education Use of Informatics and AI in law Legal issues on ubiquitous computing / multi-agent system / the Internet Social implications of use of informatics and AI in law Natural language processing for legal knowledge Verification and validation of legal knowledge systems Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain Bar Exam Competition This year, JURISIN invites participation in a legal information extraction and entailment competition. Previous conferences/workshops have not conducted such a shared task on a large legal data collection, so we hope that the 2014 workshop will help establish a major experimental effort in the legal information extraction/retrieval field. The motivation for the competition is to help create a research community of practice for the capture and use of legal information. Please visit the homepage of the bar exam competition. http://webdocs.cs.ualberta.ca/~miyoung2/jurisin_task/index.html Invited Speakers Bart Verheij (Stanford University/ University of Groningen) Riichiro Mizoguchi (Japan Advanced Institute of Science and Technology) Submissions: the submission site via EasyChair is now open. We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2014 (The 27th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2014 is as follows: Papers being submitted both to JURISIN2014 and JURIX2014 must note this on the title page. A paper to be presented at JURISIN2014 must be withdrawn from JURIX2014 and vice versa according to the choice by the authors. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2014. Post Proceedings: Selected papers will be published via Springer Verlag LNAI. In addition, the authors have an opportunity to submit their full versions to the special issue of Journal of New Generation Computing. The detail will be announced soon. Workshop Chair Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Organizing Committee Members Katsumi Nitta, Tokyo Institute of Technology, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Sano, Japan Advanced Institute of Science and Technology(JAIST), Japan Advisory Committee Members Trevor Bench-Capon, The University of Liverpool, UK Tomas Gordon, Fraunfoher FOKUS, Germany Henry Prakken, University of Utrecht & Groningen, The Netherlands John Zeleznikow, Victoria University, Australia Robert Kowalski, Imperial College London, UK Kevin Ashley, University of Pittsburgh, USA Program Committee Members Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Tokuyasu Kakuta, Nagoya University, Japan Hanmin Jung, Korea Institute of Science and Technology Information(KISTI), Korea Minghui Xiong, Sun Yat-sen University, China Minghui Ma, Southwest University, China Nguyen Le Minh, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan Makoto Nakamura, Nagoya University, Japan Marina De Vos, University of Bath, UK Guido Governatori, NICTA, Australia Paulo Novais, University of Minho, Portugal Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Thomas Ågotnes, University of Bergen, Norway Robert Kowalski, Imperial College London, UK Katsuhiko Sano, Japan Advanced Institute of Science and Technology(JAIST), Japan Katumi Nitta, Tokyo Institute of Technology, Japan Katie Atkinson, University of Liverpool, UK Philip T H Chung, Australasian Legal Information Institute (AustLII), Australia Masahiro Kozuka, Okayama University, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Baosheng Zhang, China University of Political Science and Law, China Akira Shimazu, Japan Advanced Institute of Science and Technology(JAIST), Japan Home page of JURISIN 2014 http://www.jaist.ac.jp/org/jurisin2014/ ------------------------------------------------------ Satoshi Tojo Japan Advanced Institute of Science and Technology (JAIST) From paul.kaufmann at gmail.com Tue Sep 9 12:49:39 2014 From: paul.kaufmann at gmail.com (Kaufmann Paul) Date: Tue, 9 Sep 2014 12:49:39 +0200 Subject: CfP: EvoENERGY 2015 - Evolutionary Algorithms in Energy Applications Message-ID: <32376154-707E-41C0-B4A2-12AC8D7023AE@gmail.com> EvoENERGY 2015, 8-10 April, Copenhagen, Denmark Evolutionary Algorithms in Energy Applications INTRODUCTION Along with the worldwide incentive to reduce fossil and nuclear based power generation, the number of distributed generators and other forms of distributed energy resources which are installed in power networks has been steadily increasing over the last years. This increased integration has triggered a transformation of the energy system and challenges the conventional operation of these networks. On a network level, this transformation requires new control and communication approaches, to guarantee the security of energy supplies as well as an optimal exploitation of available resources. On a generator level, advanced control strategies as well as morphological optimization (e.g., tuning of wind-blade design) can help to assure an optimal performance of the generator. EvoEnergy is intended as a platform for new, innovative computational intelligence and nature-inspired techniques in the domain of energy-related optimization research. We seek contributions ranging from new control concepts for decentralized generation, strategies for their coordination in the network to the morphological optimization of distributed generators. TOPICS Topics of interest include, but are not limited to: - evolutionary design and morphological optimization in energy systems - management and prediction of distributed generation, storage and consumption - advanced distribution management system functionalities - Smart Grid planning, monitoring, operation and control - distributed optimization in energy networks - demand side management - novel methods for network restoration PUBLICATION AND SUBMISSION DETAILS Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submission format: Springer LNCS, http://www.evostar.org/2015/cfp_evoapps.php Please provide up to five keywords in your Abstract Page limit: 12 pages Submission page: http://myreview.csregistry.org/evoapps15/ ----------------------------------------------------------------------- Best papers will be invited for a Special Issue to be edited with the Journal of Renewable Energy, Elsevier, 5 year IF: 3.456; the SI is organized by IEEE TF on Computational Intelligence in the Energy Domain ----------------------------------------------------------------------- http://tinyurl.com/si-energy http://tinyurl.com/IEEE-TF-ENERGY ----------------------------------------------------------------------- IMPORTANT DATES Submission Deadline: 15 November 2014 Notification: 07 January 2015 Camera-ready: 21 January 2015 EvoStar dates: 8-10 April 2015, Copenhagen, Denmark CHAIRS Paul Kaufmann, University of Paderborn, paul.kaufmann(at)gmail.com Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no CONFIRMED PROGRAM COMMITTEE Konrad Diwold, Fraunhofer Institute for Wind and Energy System Technology, Kassel, Germany Ralph Evins, Laboratory of Building Science and Technology, Empa, Switzerland Oliver Kramer, University of Oldenburg, Germany Ingo Mauser, FZI Karlsruhe, Germany Martin Middendorf, University of Leipzig, Germany Maizura Mokhtar, University of Sheffield, UK Sanaz Mostaghim, University of Magdeburg, Germany Frank Neumann, University of Adelaide, AU Peter Palensky, Austrian Institute of Technology, Austria Cong Shen, University of Kassel, Germany Bernhard Sick, University of Kassel, Germany Andy Tyrrell, University of York, UK Markus Wagner, University of Adelaide, AU From universal.logic at ufc.br Tue Sep 9 15:02:20 2014 From: universal.logic at ufc.br (Universal Logic) Date: Tue, 9 Sep 2014 10:02:20 -0300 (BRT) Subject: UNILOG'2015 5th World Congress and School on Universal Logic, Istanbul, Turkey]] Message-ID: <92b29a04d054b62cc71b5f5ea5fb335d.squirrel@correio3.ufc.br> Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering researchers from all over the world such as Michael Dunn, Hartry Field, Jaakko Hintikka, Wilfrid Hodges, Saul Kripke, Dov Gabbay, Yuri Gurevich, Roberto Casati, David Makinson, Jan Wolenski, Stephen Read, Krister Segerberg, Gerhard Jäger, Daniele Mundici, Vincent Hendricks, etc. The 1st edition was in Montreux, Switzerland (2005), the 2nd in Xi'an, China (2007), the 3rd in Lisbon, Portugal (2010), the 4th in Rio de Janeiro, Brazil (2013). The 5th edition will happen in Istanbul, Turkey, June 20-30, 2015. In UNILOG'2015 there will be a school with about 30 tutorials followed by a congress with many workshops and invited speakers. As in previous editions there will also be a contest (The Future of Logic) and a secret speaker (a speaker whose identity is revealed only at the time of her/his/its talk). The tutorials of UNILOG'2015 will provide a serious background for a general knowledge of the logical world They are divided into three categories: 1) History of Logic: the logic of Aristotle, Leibniz, Kant, Hegel, Boole, Husserl, Frege, etc. 2) Logic and XXX: Logic and Music, Logic an Colours, Logic and Nonsense, Logic and Information, Logic and the Theory of Relativity, Logic and Fiction, etc 3) Theorems: Compactness theorem, Completeness theorem, Lindström theorem, Gödel's incompleteness theorem, etc During the congress there will be an amazing variety of workshops - Philosophy of non-classical logics - Representation and reality: humans, animals and machines - Computational Creativity, Concept Invention and General Intelligence - C3GI - Connexive Logics - Logic and the Web etc. And as in previous editions there will be a book exhibition with the main publishers: Springer, Cambridge, Oxford, etc Will be launched in particular the book "The Life and Work of Leon Henkin" edited by M.Manzano, I.Sain and E.Alonso http://www.springer.com/birkhauser/mathematics/book/978-3-319-09718-3 and the first ever Encyclopaedia of Logic http://www.collegepublications.co.uk/eol/ Welcome to Istanbul for UNILOG'2015 5th World Congress and School on Universal Logic http://www.uni-log.org A good opportunity to develop your reasoning capacities! From giacomo.cabri at unimore.it Tue Sep 9 15:42:26 2014 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Tue, 09 Sep 2014 15:42:26 +0200 Subject: CfP: Special Issue on Collective Adaptive Systems Message-ID: <540F03C2.1040605@unimore.it> Scalable Computing Practice and Experience Special Issue on Collective Adaptive Systems URL: http://www.scpe.org/index.php/scpe/pages/view/Call-issue-3-2015 Collective Adaptive Systems (CAS) is a broad term that describes large scale systems that comprise of many units/nodes, each of which may have their own individual properties, objectives and actions. Decision-making in such a system is distributed and possibly highly dispersed, and interaction between the units may lead to the emergence of unexpected phenomena. CASs are open, in that nodes may enter or leave the collective at any time, and boundaries between CASs are fluid. The units can be highly heterogeneous (computers, robots, agents, devices, biological entities, etc.), each operating at different temporal and spatial scales, and having different (potentially conflicting) objectives and goals, even if often the system has a global goal that is pursued by means of collective actions. Our society increasingly depends on such systems, in which collections of heterogeneous ‘technological’ nodes are tightly entangled with human and social structures to form ‘artificial societies’. Yet, to properly exploit them, we need to develop a deeper scientific understanding of the principles by which they operate, in order to better design them. The special issue will feature articles that concern different and interdisciplinary aspects of collective adaptive systems, as specified in the following list of topics. Topics: Areas of interest for this special issue include, but are not limited to: • Novel theories relating to operating principles of CAS • Novel design principles for building CAS systems • Insights into the short and long term adaptation of CAS systems • Insights into Emergent Properties of CAS • Insights into general properties of large scale, distributed CAS • Methodologies for studying, analysing and building CAS • Frameworks for analysing or developing CAS • Case-studies/Scenarios that can be used to investigate CAS properties Important dates: • Submission: December 15th, 2014 • Author notification: January 31st 2015 • Revised papers (for major revisions): February 28th 2015 • Author notification (for major revisions): April 15th, 2015 • Camera Ready papers due: May 15th, 2015 • Expected publication: September, 2015 Submission: The special issue seeks original, unpublished work on technologies enabling collaboration. The authors of the best papers form FoCAS at SASO2014 will be invited to submit an extended version to this special issue. The SCPE journal has a rigorous peer-review process and papers will be sent to at least two independent referees. Papers that do not merit publication (for any reason) can be rejected by the Special Issue Editors without further review. Submitted papers must be formatted according to the journal's instructions, which can be found at: http://www.scpe.org/index.php/scpe/about/submissions#authorGuidelines Special issue guest editors: • Prof. Giacomo Cabri. Università di Modena e Reggio Emilia, Italy, giacomo.cabri at unimore.it • Prof. Emma Hart. Napier University, UK, E.Hart at napier.ac.uk -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From bulling at in.tu-clausthal.de Tue Sep 9 16:23:35 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Tue, 9 Sep 2014 16:23:35 +0200 Subject: EUMAS 2014: 3rd Call for Papers Message-ID: --------------------------------- --------------------------------- Third Call for Papers EUMAS 2014 12th European Conference on Multi-Agent Systems December 18-19, 2014 Prague, Czech Republic http://agents.fel.cvut.cz/eumas2014/ --------------------------------- --------------------------------- *** UPDATE *** In addition to the LNCS/LNAI proceedings, a special issue of the journal Annals of Mathematics and Artificial Intelligence (Springer) is planned. --------------------------------- INTRODUCTION --------------------------------- In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following the tradition of previous editions of EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Maastricht 2011, Dublin 2012, Toulouse 2013), the aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, can meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. To attract students and experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and has formal proceedings published by Springer as LNCS/LNAI volume. A journal special issue is planned as well. EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS): http://www.euramas.org --------------------------------- TOPICS OF INTEREST --------------------------------- Topics of interest include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, e-*Applications (e-commerce, etc.), Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. --------------------------------- SUBMISSIONS --------------------------------- EUMAS 2014 welcomes both original, unpublished papers, as well as papers that are under submission or have been published in a relevant conference, conference or journal. We specially invite submissions by students that we think will receive valuable feedback from the discussion-oriented focus of the conference. Preliminary student work is welcome; however, it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. Authors are invited to submit papers in the following three categories: (1) Full research papers of 12 to 15 pages, describing original and unpublished work. Simultaneous submission to another venue is not allowed. (2) Short papers of 6 to 8 pages reporting on original and unpublished work in progress or system descriptions. Simultaneous submission to another venue is not allowed. (3) Full research papers up to 15 pages reporting on interesting and relevant work that has been published (or accepted for publication) in the last 18 months. Each submission will be peer-reviewed. All submissions must be formatted following Springer's LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors must submit their abstracts and papers through the EUMAS 2014 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2014 --------------------------------- PROCEEDINGS AND JOURNAL SPECIAL ISSUE --------------------------------- PROCEEDINGS EUMAS has formal conference proceedings published as a Springer LNCS/LNAI (post-)proceedings volume (www.springer.com/lncs). Full research papers and short papers describing original, unpublished work (categories 1 and 2) accepted at EUMAS 2014 will be included in the proceedings. JOURNAL SPECIAL ISSUE A special issue of the journal Annals of Mathematics and Artificial Intelligence (AMAI, Springer, http://www.springer.com/computer/ai/journal/10472) is planned, consisting of a small number of best papers extended with additional unpublished original work and fully refereed according to usual journal standards. After the conference, authors of selected papers will be invited to submit to the special issue. --------------------------------- IMPORTANT DATES --------------------------------- Abstract submission deadline: September 26, 2014 Paper submission: September 29, 2014 Author acceptance notification: November 7, 2014 Camera-ready deadline: December 1, 2014 Conference: December 18-19, 2014 Authors of accepted papers will be given the opportunity to revise the camera ready version of their paper(s) in order to incorporate feedback received upon the presentation of their work during the conference. The deadline for this revision is: January 14, 2015. --------------------------------- PROGRAM CHAIR --------------------------------- Nils Bulling, Clausthal University of Technology, Germany --------------------------------- LOCAL ORGANIZERS --------------------------------- Jiri Vokrinek, Czech Technical University, Czech Republic Michal Jakob, Czech Technical University, Czech Republic --------------------------------- PROGRAM COMMITTEE --------------------------------- Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Fred Amblard, IRIT - University Toulouse 1 Capitole Leila Amgoud, IRIT - CNRS Luis Antunes, Universidade de Lisboa Katie Atkinson, University of Liverpool Bernhard Bauer, Uni Augsburg Ana L. C. Bazzan, Universidade Federal do Rio Grande do Sul Elizabeth Black, King's College London Guido Boella, University of Torino Olivier Boissier, ENS Mines Saint-Etienne Elise Bonzon, LIPADE - Université Paris Descartes Vicent Botti, DSIC Dídac Busquets, Imperial College London Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR Amit Chopra, Lancaster University Massimo Cossentino, ICAR-CNR Mehdi Dastani, Utrecht University Paul Davidsson, Malmö University Tiago De Lima, University of Artois and CNRS Marina De Vos, University of Bath Frank Dignum, Utrecht University Juergen Dix, Clausthal University of Technology Amal El Fallah Seghrouchni, LIP6 - University of Pierre and Marie Curie Rino Falcone, Institute of Cognitive Sciences and Technologies-CNR Klaus Fischer, DFKI GmbH Nicola Gatti, Dipartimento di Elettronica e Informazione, Politecnico di Milano Valentin Goranko, Technical University of Denmark Davide Grossi, Department of Computer Science, University of Liverpool Koen Hindriks, Delft University of Technology Anthony Hunter, University College London Wojtek Jamroga, University of Luxembourg Tomas Klos, Delft University of Technology Franziska Klügl, Örebro University Joao Leite, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Dominique Longin, IRIT-CNRS Emiliano Lorini, IRIT Nicolas Maudet, University Pierre et Marie Curie Aniello Murano, Universita degli Studi di Napoli Federico II Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul John-Jules Meyer, Utrecht University Frederic Moisan, Carnegie Mellon University Pavlos Moraitis, Paris Descartes University Jörg P. Müller, TU Clausthal Pablo Noriega, IIIA-CSIC Emma Norling, Manchester Metropolitan University Peter Novák, Delft University of Technology Ingrid Nunes, UFRGS Andrea Omicini, Alma Mater Studiorum–Università di Bologna Nir Oren, University of Aberdeen Sascha Ossowski, University Rey Juan Carlos Julian Padget, University of Bath Wojciech Penczek, ICS PAS and Siedlce University Enrico Pontelli, New Mexico State University Henry Prakken, University of Utrecht & University of Groningen Franco Raimondi, Middlesex University R. Ramanujam, Institute of Mathematical Sciences, Chennai Alessandro Ricci, University of Bologna Regis Riveret, Imperial College London Valentin Robu, Heriot-Watt University Antonino Rotolo, CIRSFID, University of Bologna Michael Rovatsos, School of Informatics, The University of Edinburgh Jordi Sabater Mir, IIIA-CSIC Marija Slavkovik, University of Bergen Michael Sonnenschein, University of Oldenburg Matthias Thimm, Universität Koblenz-Landau Ingo J. Timm, University of Trier Paolo Torroni, University of Bologna Nicolas Troquard, Laboratory for Applied Ontology Luca Tummolini, ISTC-CNR Paolo Turrini, Imperial College London Karl Tuyls, University of Liverpool Wiebe Van Der Hoek, University of Liverpool Leon van der Torre, University of Luxembourg Wamberto Vasconcelos, Department of Computing Science, University of Aberdeen Laurent Vercouter, LITIS lab, INSA de Rouen Serena Villata, INRIA Sophia Antipolis Danny Weyns, Linnaeus University Cees Witteveen, Delft University of Technology Neil Yorke-Smith, American University of Beirut --------------------------------- CONTACT --------------------------------- In case of questions about the program please do not hesitate to contact us. For questions related to -the program and submission process, please contact: Nils Bulling (eumas2014 at easychair.org) -the organization, contact: Jiří Vokřínek (jiri.vokrinek at fel.cvut.cz) Michal Jakob (jakob at agents.fel.cvut.cz) -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nilsbulling.com phone: +49 5323 72 7182 From yangliu at ntu.edu.sg Thu Sep 11 10:50:49 2014 From: yangliu at ntu.edu.sg (Liu Yang (Asst Prof)) Date: Thu, 11 Sep 2014 08:50:49 +0000 Subject: ICFEM 2014 Call for Participation Message-ID: <5A4257BA3B1EEA45B17620B30FD656E12CB06318@EXCHMBOX31.staff.main.ntu.edu.sg> 16th International Conference on Formal Engineering Methods ICFEM 2014, Luxembourg, 3-7 November 2014 Call for Participation http://icfem2014.uni.lu ---------------------------------------- The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Highlights: ---------------------------------------- + Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel Briand (University of Luxembourg) and Vincent Danos (University of Edinburgh) + A provisional programme and the list of accepted paper are now available (http://icfem2014.uni.lu/program.php, http://icfem2014.uni.lu/accepted.php) + Early registration by September 27, 2014 (http://icfem2014.uni.lu/registration.php) PC Chairs ---------------------------------------- + Stephan Merz (INRIA, France) + Jun Pang (University of Luxembourg, Luxembourg) ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From J.M.Broersen at uu.nl Thu Sep 11 13:45:08 2014 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Thu, 11 Sep 2014 13:45:08 +0200 Subject: PhD position in Logic and Verification for AI - Utrecht University Message-ID: <54118B44.7090300@uu.nl> PhD position in logic and verification for AI - Utrecht University Deadline for application: October 20th, 2014 For the ERC consolidator project "Responsible Intelligent Systems" (REINS) we are looking for a PhD student to be employed in the division of artificial intelligence at the department of information and computing sciences. REINS The REINS project aims to provide a framework for automating responsibility, liability, and risk checking for intelligent systems. As intelligent systems are increasingly integrated into our daily life, the division, assignment and checking of responsibilities between human and artificial agents become increasingly important. From robots in medicine, the military and transportation (self-driving cars); to automated trading agents on the financial markets (algotrades); to automated monitoring, prediction and protection systems (pacemakers, automated surveillance, early warning systems); we delegate more and more responsibility to intelligent devices. By delegating responsibilities to intelligent devices, we run the risk of losing track of our indirect legal and moral liabilities. The REINS project divides into three sub-projects: sp1: ”Logics of Collective Responsibility”, sp2: “Grades of Responsibility relative to Normative Systems" and sp3: “Formal Responsibility Checking”. With positions in sub-projects 1 and 2 being fulfilled we are now soliciting applications for the PhD position on the third sub-project. REINS sub-project 3: "Formal Responsibility Checking" In the Formal Responsibility Checking sub-project we investigate how to apply known techniques from the program verification domain (model checking, theorem proving) to the responsibility checking domain. We aim to develop translations from logical formalisms for representing (graded) responsibilities and normative systems, such as the ones developed in sub-projects 1 and 2, to formalisms for which model checkers and theorem provers already exist. Starting date: February 1st, 2015 (later or earlier dates may be negotiated) Goal: Suitable algorithms for responsibility checking through theorem proving and model checking Scientific context: computer science, philosophy, logic, artificial intelligence *Job Description* Candidates are expected to: - complete and defend a PhD thesis within the nominal time-frame; - regularly present intermediate research results at our internal colloquium and at international workshops and conferences; - collaborate with the other researchers in the REINS project; - participate in the organization of research activities and events such as conferences, workshops and symposia; - assist in teaching tasks and/or take on teaching responsibilities. *Conditions of employment* The PhD position is a full-time position for 4 years. Salary starts at € 2,042.- and increases to € 2,612.- gross per month in the fourth year of the appointment. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. More information is available on: http://www.uu.nl/EN/informationfor/jobseekers/Working-for-Utrecht-University/terms-of-employment/Pages/default.aspx *Utrecht University* Utrecht University has great ambitions for its teaching quality and study success rates. This also applies to its clear research profiles which are centred around four themes: Sustainability, Life Sciences, Youth & Identity, and Institutions. Utrecht University plays a prominent role in our society and contributes to finding the answers to topical and future societal issues. *Faculty of Science* The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 3500 students and nearly 2000 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. *Department of Information and Computing Sciences* The Department of Information and Computing Sciences is nationally and internationally well known for its fundamental research in computer science and as an initiator in the area of game technology. The department's research activities are clustered into four divisions, viz. Virtual Worlds, Artificial Intelligence, Interaction Technology, and Software Systems. The Department of Information and Computing Sciences offers educational bachelor programs in computer science and information science, and four (English) research master programs, viz. Game and Media Technology, Computing Science, Business Informatics, and Artificial Intelligence. Three years ago the Department introduced a track on Game Technology in the bachelor program in computer science, which led to a substantial annual increase of bachelor students. The bachelor programs are the largest computer science and information science programs in the Netherlands *Division Artificial Intelligence* The division Artificial Intelligence comprises the chairs Intelligent Systems, Decision Support Systems and Algorithmic Data Analysis. Together these groups cover a broad spectrum of subjects in Artificial Intelligence, ranging from symbolic logic approaches to sub-symbolic evolutionary approaches; from agent programming to machine learning; from knowledge discovery to knowledge representation; from Bayesian networks to applied algorithmics for AI. *How to apply* Candidates are invited to send (1) a motivation letter, (2) a CV, (3) the email address of a referee, and (4) a master thesis plus grades by following the instructions on the vacancies page of our faculty http://www.uu.nl/faculty/science/EN/AboutFBW/organisation/Pages/vacancies.aspx or on the vacancies page of our department http://www.cs.uu.nl/vacatures/en/ Deadline for applications is October 20th, 2014. For any further information on the project or the vacancies one can contact dr. Broersen at email address J.M.Broersen at uu.nl or professor John-Jules Charles Meyer at email address J.J.C.Meyer at uu.nl From fstolzenburg at hs-harz.de Sat Sep 13 09:35:18 2014 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Sat, 13 Sep 2014 09:35:18 +0200 Subject: CfP KI-Themenheft "Higher-Level Cognition and Computation" Message-ID: <5413F3B6.5020601@hs-harz.de> Künstliche Intelligenz Journal Special Issue on "Higher-Level Cognition and Computation" -- Call for Papers -- Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; butthe same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The topics of interest for the special issue of the Künstliche Intelligenz journal, appearing in autumn 2015, include, but are not limited to: * analogical reasoning * common sense and defeasible reasoning * deductive calculi for higher-level cognition * inductive reasoning and cognition * preferred mental models and their formalization * probabilistic approaches of reasoning SUBMISSION The Künstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: Technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors: Dr. Marco Ragni University of Freiburg Center for Cognitive Science Institute of Computer Science and Social Research Friedrichstr. 50 D-79098 Freiburg, Germany ragni at cognition.uni-freiburg.de portal.uni-freiburg.de/cognition/members/ragni Prof. Frieder Stolzenburg Harz University of Applied Sciences Automation & Computer Sciences Dep. Friedrichstr. 57-59 38855 Wernigerode, Germany fstolzenburg at hs-harz.de www.hs-harz.de/fstolzenburg IMPORTANT DATES * Submission deadline: 17-Oct-2014 * Notification: 01-Dec-2014 * Camera-ready copy: 15-Jan-2015 * Special issue: KI 3/2015 SUBMISSION AND CONTRIBUTION FORMAT The articles should be written in English, in order to attract an international audience, formatted with the Springer LaTeX package for journals (), maximally 8 pages in two-column format. Please submit via the editorial manager system . Login in as author and select the special issue "S.I.: Higher-Level Cognition and Computation". We are looking forward to your contributions. In case of any questions, do not hesitate to contact one of the guest editors. There will be also a workshop on the topic of the special issue during KI 2014 in Stuttgart on 23-Sep-2014, details see . Meet us there! Marco Ragni and Frieder Stolzenburg From icsai2014cfp at sdju.edu.cn Sun Sep 14 02:53:18 2014 From: icsai2014cfp at sdju.edu.cn (Prof Chen) Date: Sun, 14 Sep 2014 08:53:18 +0800 Subject: ICSAI 2014, Shanghai: Submissions Open until 17 September [EI Compendex /IEEE Xplore] 2014/9/148:53:327710 Message-ID: <610655897.23546@eyou.net> Dear Colleague, The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. Due to numerous requests, the submission system will remain open until 17 September 2014. ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Keynote speakers include Ljiljana Trajkovic, President of the IEEE Systems, Man, and Cybernetics Society; Witold Pedrycz, Editor-in-Chief of 3 SCI-indexed journals (including IEEE Transactions on Systems, Man, and Cybernetics: Systems); and Marimuthu Palaniswami, a renowned researcher. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering The registration fee of US$410 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing (the previous ICSAI proceedings were indexed in Ei Compendex and IEEE Xplore within 3 months of the conference. IEEE Conference Record # 34792; ISBN 978-1-4799-5457-5). Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2014. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2014 at sdju.edu.cn For more information, visit the conference web page: http://ICSAI2014.sdju.edu.cn If you have any questions after visiting the conference web page, please email the secretariat at icsai2014 at sdju.edu.cn Join us at this major event in exciting Shanghai !!! Organizing Committee icsai2014 at sdju.edu.cn P.S.: Kindly forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2014/9/14 8:53:32 zlfzongk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sun Sep 14 11:10:37 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 14 Sep 2014 11:10:37 +0200 Subject: LATA 2015: 3rd call for papers Message-ID: <654DC92381944D8B9830823B4A260308@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. VENUE: LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata STRUCTURE: LATA 2015 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Paola Inverardi (L’Aquila), Synthesis of Protocol Adapters Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars Giancarlo Mauri (Milano Bicocca), Complexity Classes for Membrane Systems Andreas Podelski (Freiburg), Automated Program Verification Antonio Restivo (Palermo), The Shuffle Product: New Research Directions PROGRAMME COMMITTEE: Andrew Adamatzky (West of England, Bristol, UK) Andris Ambainis (Latvia, Riga, LV) Franz Baader (Dresden Tech, DE) Rajesh Bhatt (Massachusetts, Amherst, US) José-Manuel Colom (Zaragoza, ES) Bruno Courcelle (Bordeaux, FR) Erzsébet Csuhaj-Varjú (Eötvös Loránd, Budapest, HU) Aldo de Luca (Naples Federico II, IT) Susanna Donatelli (Turin, IT) Paola Flocchini (Ottawa, CA) Enrico Formenti (Nice, FR) Tero Harju (Turku, FI) Monika Heiner (Brandenburg Tech, Cottbus, DE) Yiguang Hong (Chinese Academy, Beijing, CN) Kazuo Iwama (Kyoto, JP) Sanjay Jain (National Singapore, SG) Maciej Koutny (Newcastle, UK) Antonín Kučera (Masaryk, Brno, CZ) Thierry Lecroq (Rouen, FR) Salvador Lucas (Valencia Tech, ES) Veli Mäkinen (Helsinki, FI) Carlos Martín-Vide (Rovira i Virgili, Tarragona, ES, chair) Filippo Mignosi (L’Aquila, IT) Victor Mitrana (Madrid Tech, ES) Ilan Newman (Haifa, IL) Joachim Niehren (INRIA, Lille, FR) Enno Ohlebusch (Ulm, DE) Arlindo Oliveira (Lisbon, PT) Joël Ouaknine (Oxford, UK) Wojciech Penczek (Polish Academy, Warsaw, PL) Dominique Perrin (ESIEE, Paris, FR) Alberto Policriti (Udine, IT) Sanguthevar Rajasekaran (Connecticut, Storrs, US) Jörg Rothe (Düsseldorf, DE) Frank Ruskey (Victoria, CA) Helmut Seidl (Munich Tech, DE) Ayumi Shinohara (Tohoku, Sendai, JP) Bernhard Steffen (Dortmund, DE) Frank Stephan (National Singapore, SG) Paul Tarau (North Texas, Denton, US) Andrzej Tarlecki (Warsaw, PL) Jacobo Torán (Ulm, DE) Frits Vaandrager (Nijmegen, NL) Jaco van de Pol (Twente, Enschede, NL) Pierre Wolper (Liège, BE) Zhilin Wu (Chinese Academy, Beijing, CN) Slawomir Zadrozny (Polish Academy, Warsaw, PL) Hans Zantema (Eindhoven Tech, NL) ORGANIZING COMMITTEE: Sébastien Autran (Nice) Adrian Horia Dediu (Tarragona) Enrico Formenti (Nice, co-chair) Sandrine Julia (Nice) Carlos Martín-Vide (Tarragona, co-chair) Christophe Papazian (Nice) Julien Provillard (Nice) Pierre-Alain Scribot (Nice) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the Journal of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at: http://grammars.grlmc.com/lata2015/Registration.php DEADLINES: Paper submission: October 10, 2014 (23:59 CET) Notification of paper acceptance or rejection: November 18, 2014 Early registration: November 25, 2014 Final version of the paper for the LNCS proceedings: November 26, 2014 Late registration: February 16, 2015 Submission to the journal special issue: June 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: LATA 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Nice Sophia Antipolis University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From alexander.romanovsky at newcastle.ac.uk Mon Sep 15 18:52:38 2014 From: alexander.romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Mon, 15 Sep 2014 16:52:38 +0000 Subject: Call for participation: SERENE 2014 Workshop and Autumn School on Software Engineering for Resilient Systems Message-ID: **** CALL FOR PARTICIPATION **** The 6th International Workshop on Software Engineering for Resilient Systems (SERENE) 15-16th October 2014, Budapest, Hungary http://serene.disim.univaq.it/ The SERENE Autumn School on Engineering Resilient Cyber Physical Systems 13-14th October 2014, Budapest, Hungary http://serene.disim.univaq.it/ The SERENE 2014 workshop provides a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems. The SERENE autumn school will explore the resiliency of cyber physical systems. *** MAIN WORKSHOP FEATURES *** - 12 technical papers in 4 sessions - Keynote on community resilience engineering - Panel on runtime resilience assessment of dynamic software systems - SERENE Working Group meeting - Autumn School on Engineering Resilient Cyber Physical Systems *** PAPER SESSIONS *** - Design of Resilient Systems - Analysis of Resilience - Verification and Validation - Monitoring *** KEYNOTE *** - Vincenzo De Florio (Univ. of Antwerp, Belgium, and iMinds): Community Resilience Engineering: Reflections and Preliminary Contributions *** PANEL SESSION *** Topic: Views on Runtime Resilience Assessment of Dynamic Software Systems Organizer: Marco Vieira (University of Coimbra, Portugal) Panelists: - Elena Troubitsyna (Abo Akademi University, Finland) - Katinka Wolter (Freie University Berlin, Germany) - Vincenzo De Florio (University of Antwerp, Belgium) - Henry Muccini (University of L’Aquila, Italy) - Alexander Romanovsky (Newcastle University, UK) *** AUTUMN SCHOOL *** Date: 13-14th October, 2014 Topic: Engineering Resilient Cyber Physical Systems Director of the school: Henry Muccini (Univ. of L’Aquila, Italy) Presenters of the Autumn School: - Gabor Karsai (Vanderbilt University, USA): Resilience in Cyber-Physical Systems: Challenges and Opportunities - Zsolt Kocsis (IBM Hungary): System Management Overview - Luigi Pomante (Univ. of L’Aquila, Italy): System-Level Concurrent Error Detection - Imre Kocsis (Budapest Univ. of Technology and Economics): Measurement-Driven Resilience Design of Cloud-Based Cyber-Physical Systems *** VENUE OF THE WORKSHOP AND AUTUMN SCHOOL *** SERENE 2014 will be hosted by Budapest, the capital of Hungary. - Budapest is a historic city having nearly 2 million inhabitants in the heart of Middle Europe. - Budapest has a vibrant cultural heritage, it offers several tens of museums, concert halls and an opera house. - Junior people may enjoy its specific subculture ranging from jazz concerts to ruin pubs. - Budapest is called the City of Spas with a dozen thermal baths served by natural thermal springs. **** FURTHER INFORMATION **** Detailed information on registration, prices, transportation, hotels, and local arrangements is available on the SERENE 2014 website: http://serene.disim.univaq.it/ From pascal.hitzler at wright.edu Tue Sep 16 10:10:10 2014 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Tue, 16 Sep 2014 04:10:10 -0400 Subject: CfP: Semantic Web journal special issues: Linked Data, aignment, smart cities, visualization Message-ID: <5417F062.6070505@wright.edu> The Semantic Web journal currently has several open calls for special issue papers, as follows: 3rd Special Call for Linked Dataset Descriptions [Deadline: September 30, 2014] Special issue on Ontology and Linked Data Matching [Deadline: September 30, 2014] Special issue on The Role of Semantics in Smart Cities [Deadline: November 14, 2014] Special Issue on Question Answering over Linked Data [Deadline: November 30, 2014] Special Issue on Visual Exploration and Analysis of Linked Data [Deadline: November 30, 2014] Special Issue on Human Computation and Crowdsourcing (HC&C) in the Context of the Semantic Web [Deadline: February 27, 2015] See http://www.semantic-web-journal.net/calls for details. 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 valentina.ivanova at liu.se Tue Sep 16 13:37:42 2014 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Tue, 16 Sep 2014 11:37:42 +0000 Subject: =?iso-8859-1?Q?CfP:_VISUAL_2014,_Deadline_Extended,_@EKAW2014,_November_2?= =?iso-8859-1?Q?4_or_25,_Link=F6ping,_Sweden?= Message-ID: <4B07F535C1DBB043B4E107FAA728DD202223A4C7@MB2-2010.ad.liu.se> CALL FOR PAPERS Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics International Workshop at EKAW 2014, 19th International Conference on Knowledge Engineering and Knowledge Management November 24 or 25, 2014, Linköping, Sweden http://linkedscience.org/events/visual2014/ -------------------------------------------------- Submission Deadline: September 30, 2014 (extended) -------------------------------------------------- Motivation and Objectives ========== With data continuously generated as a result of daily activities within organizations and new data sources (sensor streams, linked datasets, etc.) introduced within knowledge management, the growth of information is unprecedented. Providing knowledge engineers and data analysts with visualizations and well-designed user interfaces can significantly support understanding of the concepts, data instances and relationships of different domains. The development of appropriate visualizations and user interfaces is a challenging task, given the size and complexity of the information that needs to be displayed and the varied backgrounds of the users. Further challenges emerge from technological developments and diverse application contexts. There is no "one size fits all" solution but the various use cases demand different visualization and interaction techniques. Ultimately, providing better visualizations and user interfaces will foster user engagement and likely lead to higher-quality results in different areas of knowledge engineering and linked data analytics. This full-day workshop will be divided into two half-day tracks, one in the morning and the other in the afternoon, each focusing on one of the two workshop themes. Track 1: Visualizations and User Interfaces for Knowledge Engineering ========== Visualizations and user interfaces are an integral part of knowledge engineering. They help to bridge the gap between domain experts and data management, and are essential to handle the increasing diversity of knowledge that is being modeled in ontologies, ensuring that it is easily accessible to a wide community. As knowledge-based systems and ontologies grow in size and complexity, the demand for comprehensive visualization and optimized interaction also rises. A number of knowledge visualizations have become available in recent years, with some being already well-established, particularly in the field of ontology development. In other areas of knowledge engineering, such as ontology alignment and debugging, although several tools have recently been developed, few have a user interface, not to mention navigational aids or comprehensive visualization techniques. Other activities, such as data integration, rely on the relationships between the concepts of different ontologies, which not only multiplies the number of objects to be displayed but also compounds the problem with the portrayal of different kinds of relationships between concepts. Topics of interest in this track include (but are not limited to): - visualizations for (large and complex) ontologies - user interfaces for ontology alignment and debugging - visualizations and user interfaces for non-experts - applications of novel interaction techniques (e.g. touch and gesture interaction) - user interfaces for mobile knowledge engineering - requirements analysis for visualizations in knowledge engineering - user interfaces assisting people with disabilities - knowledge visualizations for large displays and high resolutions - user interfaces for collaborative knowledge engineering - case studies of applying visualizations in knowledge engineering - user interfaces and visualizations for linked data - context-aware visualization and interaction techniques Track 2: Visualizations and User Interfaces for Linked Data Analytics ========== New and traditional knowledge practices, digitization of organizational processes, high performance computing and affordable datastores create an unprecedented amount of data as a part of daily organizational activities, at break-neck speed in a variety of formats. Conventional systems struggle to capture, store and analyze such dynamic and large scale data continuously generated. On its own, raw data has little value, but its value and significance is only unleashed when the data is extracted, processed and interpreted. Visual Analytics attempts to address this challenge by harmoniously combining the strengths of human processing and electronic data processing. While semi-automated processes result in generating visualizations, humans can use visual processing and interactions to quickly identify trends, patterns and anomalies from large volumes of visual data. The growing challenges of analyzing big data, social media, linked data, and data streams have created an excellent opportunity for research in Visual Analytics. Topics of interest in this track include (but are not limited to): - interactive semantic systems - design of interactive systems - visual pattern discovery - (semi-)automatic hypothesis generation - augmented human reasoning - novel visualizations of data and metadata - visual approaches for semantic similarity measurement - exploratory information visualization - domain-specific visual analytics - interactive systems in business intelligence - cognition and sensemaking in visual contexts - evaluation of interactive systems Submission Guidelines ========== Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following Springer LNCS format, and be submitted in PDF. The following types of contributions are welcome: - Full research papers (8-12 pages); - Experience papers (8-12 pages); - Position papers (6-8 pages); - Short research papers (4-6 pages); - System papers (4-6 pages). Accepted papers will be published as a volume in the CEUR Workshop Proceedings series. Important Dates ========== - Submission: September 30, 2014 - Notification: October 21, 2014 - Camera-ready: November 11, 2014 - Workshop: November 24 or 25, 2014 Organizers ========== - Valentina Ivanova, Linköping University, Sweden - Tomi Kauppinen, Aalto University, Finland, and University of Bremen, Germany - Steffen Lohmann, University of Stuttgart, Germany - Suvodeep Mazumdar, The University of Sheffield, UK - Catia Pesquita, University of Lisbon, Portugal - Toomas Timpka, Linköping University, Sweden - Kai Xu, Middlesex University, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Tue Sep 16 23:00:42 2014 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 16 Sep 2014 23:00:42 +0200 Subject: LPNMR 2015 - Preliminary Call for Papers - 13th International Conference on Logic Programming and Non-monotonic Reasoning 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 The Program Committee chairs are planning to arrange for the best papers to be published in a special issue of a premiere journal in the field. 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 - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo 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: Details to be announced co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia IMPORTANT DATES (TENTATIVE) * Paper registration: April 13, 2015 * Paper submission: April 20, 2015 * Notification: June 1, 2015 * Final versions due: June 15, 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, The University of Texas at Austin, USA 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, CENTRIA, 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 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 Kentucky, USA CONTACT lpnmr2015 at mat.unical.it From calendarsites at insticc.org Wed Sep 17 10:47:08 2014 From: calendarsites at insticc.org (calendarsites at insticc.org) Date: Wed, 17 Sep 2014 09:47:08 +0100 Subject: CFP 5th International Conference on Cloud Computing and Services Science - CLOSER 2015 Message-ID: <014801cfd254$4d61e1e0$e825a5a0$@insticc.org> CALL FOR PAPERS 5th International Conference on Cloud Computing and Services Science - CLOSER 2015 Website: www.closer.scitevents.org May 20 – 22, 2015 Lisbon, Portugal Regular Papers Paper Submission: December 16, 2014 Authors Notification: March 11, 2015 Camera Ready and Registration: March 25, 2015 Position Papers Paper Submission: February 3, 2015 Authors Notification: March 12, 2015 Camera Ready and Registration: March 25, 2015 Workshops Workshop Proposal: January 8, 2015 Doctoral Consortium Paper Submission: March 13, 2015 Authors Notification: March 26, 2015 Camera Ready and Registration: April 8, 2015 Special Sessions Special Session Proposal: January 21, 2015 Tutorials, Demos and Panel Proposals March 20, 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 Logistics Partner: SCITEVENTS – Science and Technology Events The 5th International Conference on Cloud Computing and Services Science, CLOSER 2015, focuses on the emerging area of Cloud Computing, inspired by some latest advances that concern the infrastructure, operations, and available services through the global network. Further, the conference considers as essential the link to Services Science, acknowledging the service-orientation in most current IT-driven collaborations. The conference is nevertheless not about the union of these two (already broad) fields, but about Cloud Computing where we are also interested in how Services Science can provide theory, methods and techniques to design, analyze, manage, market and study various aspects of Cloud Computing. KEYNOTE SPEAKERS CLOSER 2015 will have several invited keynote speakers, who are internationally recognized experts in their areas. Their names are not yet confirmed. PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. It is planned to publish a short list of revised and extended versions of presented papers with Springer in a CCIS Series book (final approval pending). 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. Please check the website for further information: closer.scitevents.org/BestPaperAward.aspx CONFERENCE CHAIR Markus Helfert, Dublin City University, Ireland PROGRAM CO-CHAIRS Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Donald Ferguson, Dell, United States CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. CLOUD COMPUTING FUNDAMENTALS 2. SERVICES SCIENCE FOUNDATION FOR CLOUD COMPUTING 3. CLOUD COMPUTING PLATFORMS AND APPLICATIONS 4. CLOUD COMPUTING ENABLING TECHNOLOGY 5. MOBILE CLOUD COMPUTING AND SERVICES AREA 1: CLOUD COMPUTING FUNDAMENTALS · Cloud Application Portability · Cloud Computing Architecture · Cloud Delivery Models · Cloud Deployment Models: Public/Private/Hybrid Cloud · Cloud Education · Cloud Interoperability · Cloud Risk, Challenges, and Governance · Cloud Scenarios · Cloud Standards · QoS for applications on clouds · Energy Management · Resource Management · Privacy, Security and Trust AREA 2: SERVICES SCIENCE FOUNDATION FOR CLOUD COMPUTING · Business Process Management and Web Services · Business Services Realized by IT Services · Cloud Brokering · Cloud Cost Analysis · Cloud Governance · Enterprise Architectures and Services · Federated Cloud · Human Beings in Service Systems · Industrial Applications of Services Science · Information and Service Economy · Internet of Services · Model-Driven Web Service Engineering · Semantic Web Technologies · Service Brokering · Service Composition and Mashups · Service Discovery · Service Innovation · Service Marketing and Management · Service Modeling and Specification · Service Monitoring and Control · Service Strategy · Service-Oriented Architecture · Services Security and Reliability · Web Services AREA 3: CLOUD COMPUTING PLATFORMS AND APPLICATIONS · Access Control · Application Data Migration · Big Data Cloud Services · Cloud Application Architectures · Cloud Application Scalability and Availability · Cloud Applications Performance and Monitoring · Cloud Economics · Cloud Middleware Frameworks · Cloudsourcing · Development Methods for Cloud Applications · XaaS · Cloud Services AREA 4: CLOUD COMPUTING ENABLING TECHNOLOGY · API Management · Cloud Abstraction of Composite IT Systems · Cloud Composition, Federation, Bridging, and Bursting · Cloud Ilities (Scalability, Availability,Reliability) · Cloud Optimization and Automation · Cloud Resource Virtualization and Composition · Virtual Infrastructure Management · VM Live Migration · Cloud Workload Profiling and Deployment Control · Distributed Management of Clouds · High Performance Cloud Computing · Metering, pricing, and software licensing · Monitoring of Services, Quality of Service, Service Level Agreements · Performance Development and Management · Programming Models, Systems, and Fault-Tolerant Computing · Security, Privacy, and Compliance Management · Troubleshooting and Best Practices · Virtualization Technologies AREA 5: MOBILE CLOUD COMPUTING AND SERVICES · Cloud-based mobile media systems and social networks · Engineering Mobile Clouds and Mobile-Based Systems · Location-based mobile cloud applications and services · Mobile cloud computing models, infrastructures, and approaches · Mobile Clouds for E-Commerce Services · Mobile multimedia content delivery, transferring, and migration · Mobile Reliability, Availability, Scalability and Performance · Pervasive Environments · Quality of service on mobile clouds and applications · Security Issues in Mobile Systems Software and Hardware · Smart mobile computing SaaS on clouds PROGRAM COMMITTEE http://closer.scitevents.org/ProgramCommittee.aspx Please check further details at the conference website closer.scitevents.org --- This email is free from viruses and malware because avast! Antivirus protection is active. http://www.avast.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Sep 20 19:39:00 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 20 Sep 2014 19:39:00 +0200 Subject: SLSP 2014: call for participation Message-ID: <4FA4177A04CE4C2EB41507DA0578147C@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2014 Grenoble, France October 14-16, 2014 Organised by: Équipe GETALP Laboratoire d’Informatique de Grenoble Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/slsp2014/ ********************************************************************************** PROGRAM Tuesday, October 14 9:00 - 10:00 Registration 10:00 - 10:15 Opening 10:15 - 11:05 Roger K. Moore: Spoken Language Processing: Time to Look Outside? - Invited Lecture 11:05 - 11:35 Coffee Break 11:35 - 12:50 Georgios Kontonatsios, Claudiu Mihaila, Ioannis Korkontzelos, Paul Thompson, and Sophia Ananiadou: A Hybrid Approach to Compiling Bilingual Dictionaries of Medical Terms from Parallel Corpora Wei Liu, Zhipeng Chang, and William J. Teahan: Experiments with a PPM Compression-based Method for English-Chinese Bilingual Sentence Alignment Chi-kiu Lo and Dekai Wu: BiMEANT: Integrating Cross-lingual and Monolingual Semantic Frame Similarities in the MEANT Semantic MT Evaluation Metric 12:50 - 14:20 Lunch 14:20 - 15:35 Mathias Verbeke, Vincent Van Asch, Walter Daelemans, and Luc De Raedt: Lazy and Eager Relational Learning using Graph-Kernels Mohamed Amine Boukhaled, and Jean-Gabriel Ganascia: Probabilistic Anomaly Detection Method for Authorship Verification Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jegourel, Simon Kongshj, and Axel Legay: Measuring Global Similarity between Texts 16:00 - 18:00 Touristic visit Wednesday, October 15 9:00 - 9:50 Claire Gardent: Syntax and Data-to-Text Generation - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Borbála Siklósi and Attila Novák: Identifying and Clustering Relevant Terms in Clinical Records Using Unsupervised Methods Amine Abdaoui, Jérôme Azé, Sandra Bringay, Natalia Grabar, and Pascal Poncelet: Predicting Medical Roles in Online Health Fora Ekaterina Pronoza, Elena Yagunova, and Svetlana Volskaya: Corpus-based Information Extraction and Opinion Mining for the Restaurant Recommendation System 11:20 - 11:50 Coffee Break and Group Photo 11:50 - 13:05 Raúl Ernesto Gutierrez de Piñerez Reyes and Juan Francisco Díaz-Frías: Informal Mathematical Discourse Parsing with Conditional Random Fields Waad Ben Kheder, Driss Matrouf, Pierre-Michel Bousquet, Jean-François Bonastre and Moez Ajili: Robust Speaker Recognition Using MAP Estimation of Additive Noise in i-vectors Space Arseniy Gorin and Denis Jouvet: Structured GMM Based on Unsupervised Clustering for Recognizing Adult and Child Speech 13:05 - 14:35 Lunch 14:35 - 16:35 Visit to the Domus apartment Thursday, October 16 9:00 - 9:50 Martti Vainio: Phonetics and Machine Learning: Hierarchical Modelling of Prosody in Statistical Speech Synthesis - Invited Lecture 9:50 - 10:05 Break 10:05 - 11:20 Gábor Kiss and Klára Vicsi: Physiological and Cognitive Status Monitoring on the Base of Acoustic-phonetic Speech Parameters Barbara Schuppler, Sebastian Grill, André Menrath, and Juan A. Morales-Cordovilla: Automatic Phonetic Transcription in Two Steps: Forced Alignment and Burst Detection Mian Du, Matthew Pierce, Lidia Pivovarova, and Roman Yangarber: Supervised Classification using Balanced Training 11:20 - 11:50 Coffee Break 11:50 - 13:05 Márius Šajgalík, Michal Barla, and Mária Bieliková: Exploring Multidimensional Continuous Feature Space to Extract Relevant Words Zhemin Zhu, Djoerd Hiemstra, and Peter Apers: Linear Co-occurrence Rate Networks (L-CRNs) for Sequence Labeling Théodore Bluche, Hermann Ney, and Christopher Kermorvant: Handwriting Recognition with Deep and Recurrent Neural Networks 13:05 - 13:15 Closing --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From m.huisman at utwente.nl Mon Sep 22 10:16:17 2014 From: m.huisman at utwente.nl (Marieke Huisman) Date: Mon, 22 Sep 2014 10:16:17 +0200 Subject: Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Message-ID: <541FDAD1.8030200@utwente.nl> CALL FOR PROPOSALS FOR WORKSHOPS The 20th International Symposium on Formal Methods (FM 2015) will take place in Oslo, Norway, June 22-26, 2015. For this major event, we are inviting people to submit proposals for workshops. The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to different varieties of formal models. We also explicitly welcome satellite events in a non-traditional format, such as formal methods-related competitions. All workshop proposals must be written in English. Proposals for workshops should be no more than 3 pages in length and submitted to the Workshops chairs before November 14, 2014 (see below). A workshop proposal should include a draft call-for-papers containing at least the following information: - Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. - The names and contact information (web page, email address) of the Programme Committee (PC) chairs, i.e., the workshop organisers. - A tentative list of workshop PC members. We suggest one or two PC chairs and at least 10 PC members coming from different countries. Moreover, the following additional information is requested: - If the workshop has taken place before: How often has the workshop taken place so far? Which conference(s) has the workshop been colocated with so far? Number of participants in the last installment. - A discussion of the proposed format and agenda. - The proposed duration (half, one or two days). - Procedures for selecting participants and papers. - Potential invited speakers. - Expected number of participants. Each workshop programme chair will be responsible for the following: - Producing a web page and a "Call for Papers/Participation" for their workshop. - Providing a brief description of the workshop for the conference web page and programme, and providing a workshop web page the conference can refer to for details. - Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication. - All advertising of the workshop beyond web page advertising. - Appointing session chairs, etc. The local organisation of the conference will take care of the production of informal or electronic workshop proceedings, assuming that the proceedings are camera ready. Submission of Workshop Proposals Proposals should be submitted as a PDF file. Please send your proposals and any inquiries by electronic mail to the Workshop chairs: Marieke Huisman Volker Stolz. Dates Deadline for workshop proposals: November 14, 2014 Notification of decision on workshops: November 28, 2014 From aamas2014publicity at gmail.com Mon Sep 22 13:49:09 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Mon, 22 Sep 2014 12:49:09 +0100 Subject: AAMAS 2015: First Call for Tutorials Message-ID: ** FIRST CALL FOR TUTORIALS ** XIV International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2015) Istanbul, Turkey May 4-8, 2015 http://www.aamas2015.com The AAMAS 2015 Organizing Committee invites proposals for the Tutorial Program, to be held on 4-5, immediately before the technical conference. AAMAS 2015 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry Topic areas of interest include all of those listed in the call for the technical track (see http://www.aamas2015.com), including the special tracks on robotics, virtual agents, and innovative applications. Tutorials will be 2 hours long. A few longer tutorials (4 hours) may be accepted but the proponents need to motivate their request when submitting their proposal. SUBMISSION REQUIREMENTS Proposals should be two to four pages in length, and should contain the following information: 1. A brief description of the tutorial, suitable for inclusion in the conference registration brochure. 2. A detailed outline of the tutorial, including preferred length (2 or 4 hours). 3. Characterization of the potential target audience for the tutorial, including prerequisite knowledge. 4. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. 5. A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, email address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills as applicable), and evidence of scholarship in the area. 6. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by March, 4, 2015. * Presenting the tutorial at AAMAS 2015. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 1, 2015: Tutorial Proposal Submission Deadline December 20, 2015: Tutorial Acceptance Notifications March 19, 2015: Deadline for submitting tutorial notes May 4-5, 2015: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Proposals and inquiries should be sent by email (in ASCII or pdf) to the tutorials chairs: Thomas Ågotnes Department of Information Science and Media Studies University of Bergen Thomas.Agotnes at infomedia.uib.no Cristina Baroglio Department of Computer Science, University of Torino baroglio at di.unito.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaprogram.org Tue Sep 23 20:54:14 2014 From: invitation at iariaprogram.org (DigitalWorld 2015) Date: Tue, 23 Sep 2014 14:54:14 -0400 Subject: Deadline Extension: DigitalWorld 2015 : February 22 - 27, 2015 - Lisbon, Portugal Message-ID: <1411498454979.3590@iariaprogram.org> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under DigitalWorld 2015. The submission deadline is extended to October 12, 2014. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DigitalWorld 2015 : February 22 - 27, 2015 - Lisbon, Portugal see: http://www.iaria.org/conferences2015/DigitalWorld15.html DigitalWorld 2015 is a federated event focusing on advanced topics concerning digital society, computer human interactions, geographic information systems, telemedicine, learning, and knowledge management. Submission (full paper) deadline: October 12, 2014 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- ICDS 2015, The Ninth International Conference on Digital Society http://www.iaria.org/conferences2015/ICDS15.html -- ACHI 2015, The Eighth International Conference on Advances in Computer-Human Interactions http://www.iaria.org/conferences2015/ACHI15.html -- GEOProcessing 2015, The Seventh International Conference on Advanced Geographic Information Systems, Applications, and Services http://www.iaria.org/conferences2015/GEOProcessing15.html -- eTELEMED 2015, The Seventh International Conference on eHealth, Telemedicine, and Social Medicine http://www.iaria.org/conferences2015/eTELEMED15.html -- eLmL 2015, The Seventh International Conference on Mobile, Hybrid, and On-line Learning http://www.iaria.org/conferences2015/eLmL15.html -- eKNOW 2015, The Seventh International Conference on Information, Process, and Knowledge Management http://www.iaria.org/conferences2015/eKNOW15.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about DigitalWorld, please reply with "DROP DigitalWorld 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 pmt6sbc at maths.leeds.ac.uk Thu Sep 25 23:00:54 2014 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 25 Sep 2014 22:00:54 +0100 (BST) Subject: COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3 Message-ID: <201409252100.s8PL0sg6027802@maths.leeds.ac.uk> ---------------------------------------------------------------------------- P R E L I M I N A R Y A N N O U N C E M E N T COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ ---------------------------------------------------------------------------- CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014) CONFIRMED INVITED SPEAKERS Ann Copestake (University of Cambridge) Pawel Gawrychowski (Max-Planck-Institut fuer Informatik) Julia Knight (University of Notre Dame) Anca Muscholl (Universite Bordeaux) Gheorghe Paun (Romanian Academy) Alexander Razborov (University of Chicago and Steklov Mathematical Institute) Vlatko Vedral (University of Oxford) TUTORIAL SPEAKERS John Reif (Duke Unversity) Steve Simpson (Pennsylvania State University) SPECIAL SESSIONS on Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) History and philosophy of computing (Organizers: Christine Proust and Marco Benini) Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. The PROGRAMME COMMITTEE consists of: Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher (Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris), Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla (Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin (Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg & Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone (Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana (Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann (Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews), Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool), Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD). In a Call for Papers to be sent out in October 2014, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2015. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer (tbc), which will be available at the conference. ____________________________________________________________________ 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.cs.swan.ac.uk/acie 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 aamas2014publicity at gmail.com Fri Sep 26 11:09:46 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Fri, 26 Sep 2014 10:09:46 +0100 Subject: Call for Workshops: AAMAS 2015, Istanbul (Turkey), 4-8 May 2015 Message-ID: Call for workshops The AAMAS-2015 invites proposals for the Workshop Program to be held on May 4-5, 2015 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2015 workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2015 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The AAMAS-2015 Workshop Co-chairs ask all workshops to include a tutorial session. A tutorial session might include, for example, a discussion of the main issues in the research themes of interest to the workshop, and give a historical perspective, particularly for long-running workshops. It would be an excellent way to attract new participants and introduce students to the workshop. There is no restriction on the length of the proposed tutorial. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics of interest to a wider community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants. Important Dates December 01, 2014: Deadline for Workshop Proposals December 20, 2014: Deadline for Announcing Accepted Workshops February 11, 2015: Deadline for Submitting to Workshops March 10, 2015: Deadline for Announcing Accepted Papers by Individual Workshops March 19, 2015: Deadline for Camera-Ready Papers Requirements for submission Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: 1. Title of the workshop. 2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. 3. A discussion of why and to whom the workshop is of interest. 4. A brief description of a proposal for a tutorial session to be held as part of the workshop. 5. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issues). 6. For workshops that have had previous editions (even if they had different titles and were not held with AAMAS), include a list of URLs of the websites of the previous editions. 7. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. 8. Description of the paper review process and acceptance standards. 9. If available, a list of tentatively confirmed attendees. 10. The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizers. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions spreading in different regions. 11. The name of the primary contact for the organizing committee (this person must reply promptly to email messages). 12. A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. 13. List of potential program committee members, including their title and affiliations. 14. Expected duration of the workshop (usually a full day). 15. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2015 Workshop Chairs, email address aamas2015-workshops at gmail.com, as soon as possible and no later than Wednesday November 2nd, 2013. The selection of the workshops to be included in the final AAMAS program will be done by the general chairs of AAMAS 2015 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the proposed tutorial session, and the capacity of the conference workshop program. Responsibilities of AAMAS and workshop organizers For all accepted proposals, AAMAS will be responsible for: • Providing publicity for the workshop series as a whole. • Providing logistic support and a meeting place for the workshop. • Together with the organizers, determining the workshop date and time. • Provide one free workshop registration when the workshop has more than 15 registrations. • AAMAS reserves the right to cancel workshops, for example in case of low number of registrants. Workshop organizers will be responsible for: • Setting up a website for the workshop. • Advertising the workshop and issuing a call for papers and a call for participation as per the important dates. • Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. • All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance as per the important dates. • Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. Submissions and Inquiries Please send proposals and inquiries to: aamas2015-workshops at gmail.com Workshop Co-Chairs Michal Pechoucek Czech Technical University in Prague michal.pechoucek at agents.fel.cvut.cz Longbing Cao University of Technology Sydney, Australia longbing.cao at uts.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Fri Sep 26 11:51:01 2014 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Fri, 26 Sep 2014 11:51:01 +0200 Subject: EUMAS 2014: Final CfP, extended submission deadline Message-ID: --------------------------------- --------------------------------- Final Call for Papers (Extended Submission Deadline) EUMAS 2014 12th European Conference on Multi-Agent Systems December 18-19, 2014 Prague, Czech Republic http://agents.fel.cvut.cz/eumas2014/ --------------------------------- --------------------------------- *** UPDATE: Submission Deadline Extended *** The submission deadline has been extended to October 11. The new abstract submission deadline is October 6. *** Features of EUMAS 2014 *** - Formal proceedings published as Springer LNCS/LNAI volume - Special issue of the Journal Annals of Mathematics and Artificial Intelligence (Springer) planned --------------------------------- INTRODUCTION --------------------------------- In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following the tradition of previous editions of EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Maastricht 2011, Dublin 2012, Toulouse 2013), the aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, can meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. To attract students and experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and has formal proceedings published by Springer as LNCS/LNAI volume. A journal special issue is planned as well. EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS): http://www.euramas.org --------------------------------- TOPICS OF INTEREST --------------------------------- Topics of interest include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, e-*Applications (e-commerce, etc.), Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. --------------------------------- SUBMISSIONS --------------------------------- EUMAS 2014 welcomes both original, unpublished papers, as well as papers that are under submission or have been published in a relevant conference, conference or journal. We specially invite submissions by students that we think will receive valuable feedback from the discussion-oriented focus of the conference. Preliminary student work is welcome; however, it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. Authors are invited to submit papers in the following three categories: (1) Full research papers of 12 to 15 pages, describing original and unpublished work. Simultaneous submission to another venue is not allowed. (2) Short papers of 6 to 8 pages reporting on original and unpublished work in progress or system descriptions. Simultaneous submission to another venue is not allowed. (3) Full research papers up to 15 pages reporting on interesting and relevant work that has been published (or accepted for publication) in the last 18 months. Each submission will be peer-reviewed. All submissions must be formatted following Springer's LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors must submit their abstracts and papers through the EUMAS 2014 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2014 --------------------------------- PROCEEDINGS AND JOURNAL SPECIAL ISSUE --------------------------------- PROCEEDINGS EUMAS has formal conference proceedings published as a Springer LNCS/LNAI (post-)proceedings volume (www.springer.com/lncs). Full research papers and short papers describing original, unpublished work (categories 1 and 2) accepted at EUMAS 2014 will be included in the proceedings. JOURNAL SPECIAL ISSUE A special issue of the journal Annals of Mathematics and Artificial Intelligence (AMAI, Springer, http://www.springer.com/computer/ai/journal/10472) is planned, consisting of a small number of best papers extended with additional unpublished original work and fully refereed according to usual journal standards. After the conference, authors of selected papers will be invited to submit to the special issue. --------------------------------- IMPORTANT DATES --------------------------------- Abstract submission deadline: October 6, 2014 (extended deadline) Paper submission deadline: October 11, 2014 (extended deadline) Author acceptance notification: November 7, 2014 Camera-ready deadline: December 1, 2014 Conference: December 18-19, 2014 Authors of accepted papers will be given the opportunity to revise the camera ready version of their paper(s) in order to incorporate feedback received upon the presentation of their work during the conference. The deadline for this revision is: January 14, 2015. --------------------------------- PROGRAM CHAIR --------------------------------- Nils Bulling, Clausthal University of Technology, Germany --------------------------------- LOCAL ORGANIZERS --------------------------------- Jiri Vokrinek, Czech Technical University, Czech Republic Michal Jakob, Czech Technical University, Czech Republic --------------------------------- PROGRAM COMMITTEE --------------------------------- Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Fred Amblard, IRIT - University Toulouse 1 Capitole Leila Amgoud, IRIT - CNRS Luis Antunes, Universidade de Lisboa Katie Atkinson, University of Liverpool Bernhard Bauer, Uni Augsburg Ana L. C. Bazzan, Universidade Federal do Rio Grande do Sul Elizabeth Black, King's College London Guido Boella, University of Torino Olivier Boissier, ENS Mines Saint-Etienne Elise Bonzon, LIPADE - Université Paris Descartes Vicent Botti, DSIC Dídac Busquets, Imperial College London Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR Amit Chopra, Lancaster University Massimo Cossentino, ICAR-CNR Mehdi Dastani, Utrecht University Paul Davidsson, Malmö University Tiago De Lima, University of Artois and CNRS Marina De Vos, University of Bath Frank Dignum, Utrecht University Juergen Dix, Clausthal University of Technology Amal El Fallah Seghrouchni, LIP6 - University of Pierre and Marie Curie Rino Falcone, Institute of Cognitive Sciences and Technologies-CNR Klaus Fischer, DFKI GmbH Nicola Gatti, Dipartimento di Elettronica e Informazione, Politecnico di Milano Valentin Goranko, Technical University of Denmark Davide Grossi, Department of Computer Science, University of Liverpool Koen Hindriks, Delft University of Technology Anthony Hunter, University College London Wojtek Jamroga, University of Luxembourg Tomas Klos, Delft University of Technology Franziska Klügl, Örebro University Joao Leite, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Dominique Longin, IRIT-CNRS Emiliano Lorini, IRIT Nicolas Maudet, University Pierre et Marie Curie Aniello Murano, Universita degli Studi di Napoli Federico II Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul John-Jules Meyer, Utrecht University Frederic Moisan, Carnegie Mellon University Pavlos Moraitis, Paris Descartes University Jörg P. Müller, TU Clausthal Pablo Noriega, IIIA-CSIC Emma Norling, Manchester Metropolitan University Peter Novák, Delft University of Technology Ingrid Nunes, UFRGS Andrea Omicini, Alma Mater Studiorum–Università di Bologna Nir Oren, University of Aberdeen Sascha Ossowski, University Rey Juan Carlos Julian Padget, University of Bath Wojciech Penczek, ICS PAS and Siedlce University Enrico Pontelli, New Mexico State University Henry Prakken, University of Utrecht & University of Groningen Franco Raimondi, Middlesex University R. Ramanujam, Institute of Mathematical Sciences, Chennai Alessandro Ricci, University of Bologna Regis Riveret, Imperial College London Valentin Robu, Heriot-Watt University Antonino Rotolo, CIRSFID, University of Bologna Michael Rovatsos, School of Informatics, The University of Edinburgh Jordi Sabater Mir, IIIA-CSIC Marija Slavkovik, University of Bergen Michael Sonnenschein, University of Oldenburg Matthias Thimm, Universität Koblenz-Landau Ingo J. Timm, University of Trier Paolo Torroni, University of Bologna Nicolas Troquard, Laboratory for Applied Ontology Luca Tummolini, ISTC-CNR Paolo Turrini, Imperial College London Karl Tuyls, University of Liverpool Wiebe Van Der Hoek, University of Liverpool Leon van der Torre, University of Luxembourg Wamberto Vasconcelos, Department of Computing Science, University of Aberdeen Laurent Vercouter, LITIS lab, INSA de Rouen Serena Villata, INRIA Sophia Antipolis Danny Weyns, Linnaeus University Cees Witteveen, Delft University of Technology Neil Yorke-Smith, American University of Beirut --------------------------------- CONTACT --------------------------------- In case of questions about the program please do not hesitate to contact us. For questions related to -the program and submission process, please contact: Nils Bulling (eumas2014 at easychair.org) -the organization, contact: Jiří Vokřínek (jiri.vokrinek at fel.cvut.cz) Michal Jakob (jakob at agents.fel.cvut.cz) From geoff at cs.miami.edu Mon Sep 29 16:44:26 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 29 Sep 2014 10:44:26 -0400 (EDT) Subject: CAV Call for Papers Message-ID: <20140929144426.6FBD21216C3@mcclellan.cs.miami.edu> Call for Papers 27th International Conference on Computer Aided Verification (CAV 2015) July 18-24 2015, San Francisco, California http://i-cav.org/2015/ Aims and Scope CAV 2015 is the 27th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer LNCS series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM. Topics of interest include but are not limited to: * Algorithms and tools for verifying models and implementations * Hardware verification techniques * Deductive, compositional, and abstraction techniques for verification * Program analysis and software verification * Verification methods for parallel and concurrent hardware/software systems * Testing and run-time analysis based on verification technology * Applications and case studies in verification * Decision procedures and solvers for verification * Mathematical and logical foundations of practical verification tools * Verification in industrial practice * Algorithms and tools for system synthesis * Hybrid systems and embedded systems verification * Verification techniques for security * Formal models and methods for biological systems Paper Submission Submissions should contain original research and sufficient detail to assess the merits and relevance of the contribution. We welcome papers on theory, case studies and comparisons with existing experimental research, tool papers, as well as combinations of new theory with experimental evaluation. Similar to last year, we welcome both long tool papers and short papers of any kind. Tool papers should describe system and implementation aspects of a tool with a large (potential) user base (experiments not required, rehash of theory strongly discouraged). Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses, and strengths in sufficient depth. Papers reproducing and comparing existing results experimentally do not require new theoretical insights. Examples of contributions of such papers are evaluations of existing results in a superior experimental setting and comparisons of methods that have not previously been thoroughly experimentally compared. Papers can be submitted in either a regular or a short format. * Regular Papers should not exceed 15 pages in LNCS format, not counting references. * Short Papers should not exceed 6 pages, not counting references. Short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Accepted short papers will be accompanied by short presentations. An appendix can provide additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary for the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no demotions from a regular to a short paper. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. Papers must be submitted in PDF format. Submission is done via EasyChair. Deadlines Deadlines are anywhere on earth * Abstract submission: January 30 2015 * Paper submission (firm): February 6 2015 * Author feedback/rebuttal period: March 23-26 2015 * Notification of acceptance/rejection: April 17 2015 * Final version due: May 1 2015 Chairs Daniel Kroening, University of Oxford, UK. Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA. Program Committee Aws Albarghouthi, University of Wisconsin-Madison, USA Jade Alglave, University College London, UK Domagoj Babic, Google, USA Clark Barrett, New York University, USA Armin Biere, Johannes Kepler University, Austria Roderick Bloem, Graz University of Technology, Austria Ahmed Bouajjani, LIAFA, University Paris Diderot, France Marius Bozga, Verimag/CNRS, France Aaron Bradley, Mentor Graphics, USA David Brumley, Carnegie Mellon University, USA Tevfik Bultan, University of California, Santa Barbara, USA Krishnendu Chatterjee, Institute of Science and Technology (IST), Austria Swarat Chaudhuri, Rice University, USA Marsha Chechik, University of Toronto, Canada Hana Chockler, King's College London Byron Cook, Microsoft Research, USA Isil Dillig, University of Texas at Austin, USA Dino Distefano, Facebook, UK Alastair Donaldson, Imperial College London, UK Azadeh Farzan, University of Toronto, Canada Antonio Filieri, University of Stuttgart, Germany Jasmin Fisher, Microsoft Research, UK Indradeep Ghosh, Fujitsu Labs of America, USA Patrice Godefroid, Microsoft Research, USA Aarti Gupta, USA Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA Gerard Holzmann, NASA/JPL, USA Warren Hunt, University of Texas at Austin, USA Ranjit Jhala, University of California, San Diego, USA Barbara Jobstmann, EPFL and Cadence Design Systems, Switzerland Joost-Pieter Katoen, RWTH Aachen University, Germany/University of Twente, the Netherlands Daniel Kroening, University of Oxford, UK (chair) Marta Kwiatkowska, University of Oxford, UK Akash Lal, Microsoft Research, India Darko Marinov, University of Illinois at Urbana-Champaign, USA Ken McMillan, Microsoft Research, USA Kedar Namjoshi, Bell Labs, USA David Parker, University of Birmingham, UK Corina Pasareanu, CMU/NASA Ames Research Center, USA (chair) Andre Platzer, Carnegie Mellon University, USA Zvonimir Rakamaric, University of Utah, USA Grigore Rosu, University of Illinois at Urbana-Champaign, USA Philipp Ruemmer, Uppsala University, Sweden Mooly Sagiv, Tel Aviv University, Israel Sriram Sankaranarayanan, University of Colorado at Boulder, USA Koushik Sen, University of California, Berkeley, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, Universitat della Svizzera Italiana, Switzerland Sharon Shoham, Academic College of Tel-Aviv Yaffo, Israel Nishant Sinha, IBM Research Labs, India Fabio Somenzi, University of Colorado at Boulder, USA Manu Sridharan, Samsung Research America, USA Ofer Strichman, Technion, Israel Zhendong Su, University of California, Davis, USA Cesare Tinelli, The University of Iowa, USA Emina Torlak, University of Washington, USA Tayssir Touili, CNRS, LIPN, France Thomas Wahl, Northeastern University, USA Georg Weissenbacher, Vienna University of Technology, Austria Eran Yahav, Technion, Israel Steering Committee Michael Gordon, University of Cambridge, UK Orna Grumberg, Technion, Israel Aarti Gupta, USA Kenneth McMillan, Microsoft, USA From a.artikis at gmail.com Mon Sep 29 19:05:15 2014 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 29 Sep 2014 20:05:15 +0300 Subject: 1st CFP: EPForDM workshop@EDBT 2015 Message-ID: Apologies for cross-posting. ************************* Call for Papers *************************** Event Processing, Forecasting and Decision-Making in the Big Data Era (EPForDM) EDBT 2015 Workshop March 27, 2015 http://cer.iit.demokritos.gr/epfordm ********************************************************************** The Big Data era has posed a number of challenges in applications related to event processing. In particular, the data volume, velocity and distribution necessitate the design on new scalable approaches for the efficient and timely processing of the produced data. The lack of veracity in the handled data/events further complicates the problem. Moreover, key challenges concern the use of the voluminous data in order to forecast future events and perform proactive event-driven decision-making. Event forecasting is important because eliminating or mitigating an anticipated problem, or capitalizing on a forecast opportunity, can substantially improve our quality of life, and prevent environmental and economic damage. For example, changing traffic-light priority and speed limits to avoid traffic congestions will reduce carbon emissions, optimize transportation and increase the productivity of commuters. At the business level, making smart decisions ahead of time can become a differentiator leading to significant competitive advantage. In a wide range of applications, prevention is more effective than the cure. To prevent problems and to capitalize on opportunities before they even occur, a proactive event-driven decision-making paradigm is necessary. Decisions are triggered by forecasting events instead of reacting to them once they happen. Moreover, decisions are made in real-time and require on-the-fly processing of Big Data, that is, extremely large amounts of noisy data flooding in from various locations, as well as historical data. The aim of the EPForDM workshop is to bring together computer scientists with interests in the fields of event processing, event forecasting and event-driven decision-making to present recent innovations, find topics of common interest and stimulate further development of new approaches to make sense of Big Data. Topics of interest include (but are not limited to): -Scalable event processing under uncertainty -Distributed event processing -Event forecasting -Multi-scale temporal aggregation of events -Machine learning for event processing and forecasting -Distributed machine learning -Event-driven decision-making -Visual analytics for proactive decision-making and Big Data -Human Factors evaluation of proactive event-driven systems -Novel architectures for Big Data processing -Engineering proactive event-driven systems -Position papers on proactive event-driven systems -Privacy issues in Big Data processing -Energy efficiency and reliability in Big Data processing -Scheduling and provisioning issues in Big Data processing IMPORTANT DATES Paper submission: December 5, 2014, 23:59 CET Notification: January 9, 2015 Camera-ready version: January 23, 2015, 23:59 CET Workshop date: March 27, 2015 ORGANISATION General Chairs: Alexander Artikis, NCSR Demokritos, Greece Antonios Deligiannakis, Technical University of Crete, Greece Program Committee Chairs: Minos Garofalakis, Technical University of Crete, Greece Pedro Bizarro, FeedZai, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: