From publicity at ecmlpkdd2015.org Thu Apr 2 11:53:08 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Thu, 2 Apr 2015 10:53:08 +0100 Subject: ECMLPKDD 2015 : PhD Session Message-ID: <007c01d06d2a$d756ac20$86040460$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/). The conference includes a PhD session that provides an environment for students to exchange their ideas and experiences with peers and senior researchers in machine learning, data mining, and related areas. We invite PhD students (PhD in progress or defended not earlier than 31st December 2014) to submit papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Papers submitted to ECML/PKDD 2015 PhD session will be peer-reviewed. Accepted papers will be presented in the special PhD session at ECMLPKDD 2015 and will be published in the session proceedings which will be available through the conference website. Important Dates Paper submission deadline: June 10 2015 Author notification: July 15 2015 Camera-ready: August 5 2015 Doctoral consortium session: September 7 2015 Detailed information about the PhD Session is available on: http://www.ecmlpkdd2015.org/submission/doctoral-consortium For further information please contact the ECMLPKDD 2015 PhD Chairs: Jaakko Hollmen (Aalto University) Panagiotis Papapetrou (Stockholm University) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marco.gavanelli at unife.it Thu Apr 2 12:14:44 2015 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Thu, 02 Apr 2015 12:14:44 +0200 Subject: AI*IA2015 Last call for papers (with news!) Message-ID: <551D1694.3020906@unife.it> ============= LAST CALL FOR PAPERS, INCLUDING NEWS ============== - BEST PAPER AWARD - NEW TRACK ON AI APPLICATIONS ================================================================= AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence, Ferrara September 23-25, 2015 ----------------------------------------------------------------- ----------------------------------------------------------------- AI*IA 2015 is the fourteenth International Conference on Advances in Artificial Intelligence held bi-annually by the Italian Association for Artificial Intelligence (AI*IA). ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program. Contributions are invited on original, and unpublished research on all aspects of artificial intelligence, including, but not limited to: * AI and digital entertainment * AI applications * AI architectures * AI in Learning Environments * Big Data * Cognitive modeling * Cognitive Robotics * Constraint Satisfaction * Experimentation of Combinatorial Algorithms * Human Computer Interaction * Information Agents * Information Retrieval and Extraction * Knowledge Acquisition * Knowledge Engineering * Knowledge Representation * Learning in adaptive systems * Machine Consciousness * Machine learning * Mathematical Foundations * Metacognition in Artificial Agents * Multiagent Systems, Distributed AI * Natural Language Processing * Ontologies * Philosophical Foundations * Planning and Scheduling * Reasoning * Robotics * Search * Semantic Web * Smart Cities * Soft and Evolutionary Computing * Temporal Reasoning * Uncertainty * Vision * Web and Data Mining The conference welcomes papers on AI applications, that will have a special track. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publica- tion elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 12 pages plus bibliography. Paper submission is electronic via easychair at the address https://easychair.org/conferences/?conf=aixia2015 When you submit your paper, please indicate if it is an applications paper by checking the relative box. The proceedings will appear in Springer LNAI. ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract submission deadline: April 13th, 2015 Paper submission deadline: April 19th, 2015 Notification to authors: June 15th, 2015 Camera-ready copies due: July 15th, 2015 Early registration deadline for at least one of the authors of accepted papers: July 5th, 2015 Early registration deadline (for everybody else): July 31st, 2015 Late registration deadline: September 5th, 2015 (after that, only on site registration will be available) Conference dates: September 23-25, 2015 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: http://aixia2015.unife.it ----------------------------------------------------------------- Best Paper Award ----------------------------------------------------------------- The best paper drawn from the papers presented at the AI*IA 2015 Conference will be awarded the AI*IA 2015 Best Paper Award. ----------------------------------------------------------------- Conference Chairs ----------------------------------------------------------------- Marco Gavanelli, Università degli Studi di Ferrara Fabrizio Riguzzi, Università degli Studi di Ferrara Evelina Lamma, Università degli Studi di Ferrara ----------------------------------------------------------------- Program committee ----------------------------------------------------------------- Matteo Baldoni Stefania Bandini Roberto Basili Nicola Basilico Elena Bellodi Federico Bergenti Stefano Bistarelli Luciana Bordoni Francesco Buccafurri Stefano Cagnoni Diego Calvanese Amedeo Cappelli Luigia Carlucci Aiello Amedeo Cesta Antonio Chella Carlo Combi Gabriella Cortellessa Stefania Costantini Giuseppe De Giacomo Francesco Donini Agostino Dovier Floriana Esposito Stefano Ferilli Nicola Guarino Luca Iocchi Nicola Leone Chendong Li Francesca Alessandra Lisi Bernardo Magnini Sara Manzoni Alberto Martelli Paola Mello Alessio Micheli Alfredo Milani Michela Milano Stefania Montani Alessandro Moschitti Roberto Navigli Angelo Oddi Andrea Omicini Maria Teresa Pazienza Roberto Pirrone Piero Poccianti Gian Luca Pozzato Luca Pulina Daniele P. Radicioni Francesco Ricca Andrea Roli Salvatore Ruggieri Fabio Sartori Ken Satoh Andrea Schaerf Floriano Scioscia Giovanni Semeraro Roberto Serra Francesca Toni Pietro Torasso Eloisa Vargiu Marco Villani Giuseppe Vizzari -- Marco Gavanelli, Ph.D. in Computer Science Dept of Engineering University of Ferrara Tel/Fax +39-0532-97-4833 http://docente.unife.it/marco.gavanelli From blllne2 at unife.it Thu Apr 2 18:10:28 2015 From: blllne2 at unife.it (Elena Bellodi) Date: Thu, 2 Apr 2015 18:10:28 +0200 Subject: AI*IA 2015 Doctoral Consortium Call for Papers Message-ID: Call for Papers ------------------------------------------------------------------------------------------------------- Doctoral Consortium, AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence 23-25 September, Ferrara, Italy ------------------------------------------------------------------------------------------------------- The AI*IA Doctoral Consortium (DC) is offered as part of the Conference of the Italian Association for Artificial Intelligence (AI*IA), that will take place at University of Ferrara on 23rd-25th September, 2015. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master’s program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply, since contributions describing both mature and preliminary work are welcome. The Consortium will provide doctoral students in AI with the opportunity to present their research directions and being involved into state-of-the-art research, through discussion sessions. ------------------------------------------------------------------------------------------------------- Topics of Interest ------------------------------------------------------------------------------------------------------- Applicants are expected to be conducting research in the field of Artificial Intelligence; topics of interest include (but are not limited to): * AI and digital entertainment * AI applications * AI architectures * AI in Learning Environments * Big Data * Cognitive modeling * Cognitive Robotics * Constraint Satisfaction * Experimentation of Combinatorial Algorithms * Human Computer Interaction * Information Agents * Information Retrieval and Extraction * Knowledge Acquisition * Knowledge Engineering * Knowledge Representation * Learning in adaptive systems * Machine Consciousness * Machine learning * Mathematical Foundations * Metacognition in Artificial Agents * Multiagent Systems, Distributed AI * Natural Language Processing * Ontologies * Philosophical Foundations * Planning and Scheduling * Reasoning * Robotics * Search * Semantic Web * Smart Cities * Soft and Evolutionary Computing * Temporal Reasoning * Uncertainty * Vision * Web and Data Mining ​ ------------------------------------------------------------------------------------------------------- ​ Submission Instructions ------------------------------------------------------------------------------------------------------- We invite the submission of research papers, where a special attention should be dedicated towards the contextualization of the contribution within the research area it belongs to, as well as to how the contribution fits within the Ph.D. programme. We accept original, unpublished works not submitted elsewhere, as well as papers already published. All submissions must be written in English and must be formatted according to the Springer Publications format for Lecture Notes in Computer Science (LNCS), please refer to http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0. The only accepted format for submitted papers is PDF. The maximum submission length is 6 pages (A4). Paper submission will be handled electronically by means of the Easychair system. The submission page is available at ​ ​ https://easychair.org/conferences/?conf=aixia2015dc. Accepted papers based on original work will be included in the DC proceedings published on-line by CEUR. Already published papers will appear as a link to the previous publication in the DC proceedings published by CEUR. The authors of the accepted papers must attend the DC and must be registered to the AI*IA Conference. ------------------------------------------------------------------------------------------------------- ​ Important Dates ------------------------------------------------------------------------------------------------------- Submission Deadline: ​​ June 25th, 2015 Acceptance Notification: July 25th, 2015 Camera Ready: September 2nd, 2015 Doctoral Consortium: to be announced ------------------------------------------------------------------------------------------------------- Grants for students attending AI*IA ------------------------------------------------------------------------------------------------------- Scholarships to participants to partially cover registration and/or accommodation fees will be available. Details will be announced soon. ----------------------------------------------------------------- Doctoral Consortium Web Site ----------------------------------------------------------------- For the most up to date information, please visit: http://aixia2015.unife.it/events/doctoral-consortium/ ------------------------------------------------------------------------------------------------------- Doctoral Consortium co-Chairs ------------------------------------------------------------------------------------------------------- Elena Bellodi Department of Engineering (ENDIF), University of Ferrara Alessio Bonfietti Department of Computer Science and Engineering (DISI), University of Bologna Any question concerning the DC can be addressed to the co-chairs at: dc2015 at unife.it ------------------------------------------------------------------------------------------------------- Program Committee ------------------------------------------------------------------------------------------------------- Stefania Bandini, CSAI - Complex Systems & Artificial Intelligence Research Center Nicola Basilico, University of Milano Federico Bergenti, University of Parma Francesco Buccafurri, University of Reggio Calabria Stefano Cagnoni, University of Parma Luigia Carlucci Aiello, University of Roma La Sapienza Antonio Chella, University of Palermo Stefania Costantini, University of L'Aquila Nicola Di Mauro, University of Bari Francesco Donini, Tuscia University Floriana Esposito, University of Bari Stefano Ferilli, University of Bari Nicola Guarino, ISTC-CNR Luca Iocchi, University of Roma La Sapienza Nicola Leone, University of Calabria Chendong Li, Dell Sara Manzoni, CSAI - Complex Systems & Artificial Intelligence Research Center Paola Mello, University of Bologna Alfredo Milani, University of Perugia Michela Milano, University of Bologna Stefania Montani, University of Piemonte Orientale Alessandro Moschitti, University of Trento Angelo Oddi, ISTC-CNR Andrea Omicini, University of Bologna Maria Teresa Pazienza, University of Roma Tor Vergata Roberto Pirrone, University of Palermo Gian Luca Pozzato, University of Torino Luca Pulina, University of Sassari Daniele P. Radicioni, University of Torino Francesco Ricca, University of Calabria Andrea Roli, University of Bologna Salvatore Ruggieri, University of Pisa Ken Satoh, National Institute of Informatics, Sokendai Andrea Schaerf, University of Udine Floriano Scioscia, Politecnico of Bari Giovanni Semeraro, University of Bari Eloisa Vargiu, Barcelona Digital Technology Center Marco Villani, University of Modena and Reggio Emilia ​ -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Thu Apr 2 20:22:56 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Thu, 2 Apr 2015 15:22:56 -0300 Subject: IJCAI 2015 Repeat Buyers Prediction Competition - CALL FOR PARTICIPANTS Message-ID: [Apology for cross-postings] ************************************************************************************************* Repeat Buyers Prediction Competition IJCAI COMPETITION 2015 CALL FOR PARTICIPANTS Repeat Buyers Prediction after Sales Promotion Introduction IJCAI is pleased to announce a large-scale machine learning competition, hosted by Alibaba Group, a gold sponsor. This competition aims to promote applications of advanced techniques from AI research to real-world problems. Contestants will have access to vast amount of data provided by Tmall.com, the largest B2C platform in China. Top three winners will be invited to present their results at an IJCAI workshop and get a chance to test their algorithms online. In April 2015, participants all over the world will be invited to play with real transaction data from Tmall.com. The goal is to apply advanced and sophisticated machine learning and data mining techniques to predict which shoppers would become repeat buyers after sales promotion. The main differences from most other AI competitions in the past are listed below: 1. A large sales promotion data set for public usage 2. A free distributed computation platform for top teams 3. A great opportunity to deploy algorithms online for winners It is the time to demonstrate your brilliant ideas in the real world! Problem Definition Merchants sometimes run big promotions (e.g., discounts or cash coupons) on particular dates (e.g., Boxing-day Sales, "Black Friday" or "Double 11 (Nov 11th)" , in order to attract a large number of new buyers. Unfortunately, many of the attracted buyers are one-time deal hunters, and these promotions may have little long lasting impact on sales. To alleviate this problem, it is important for merchants to identify who can be converted into repeated buyers. By targeting on these potential loyal customers, merchants can greatly reduce the promotion cost and enhance the return on investment (ROI). It is well known that in the field of online advertising, customer targeting is extremely challenging, especially for fresh buyers. However, with the long-term user behavior log accumulated by Tmall.com, we may be able to solve this problem. In this challenge, we provide a set of merchants and their corresponding new buyers acquired during the promotion on the "Double 11" day. Your task is to predict which new buyers for given merchants will become loyal customers in the future. In other words, you need to predict the probability that these new buyers would purchase items from the same merchants again within 6 months. The competition consists of two stages: In the first stage, a data set containing around 200k users is given for training, while the other of similar size for testing. Similar to other competitions, you may extract any features, then perform training with additional tools. You need to only submit the prediction results for evaluation. In the second stage, the top 50 teams from the first stage will have the opportunity to work on a much larger data set on Alibaba's cloud platform. You will need to submit your code in JAVA, then the distributed computation will be handled by the cloud platform. Data Description The data set contains anonymized users' shopping logs in the past 6 months before and on the "Double 11" day, and the label information indicating whether they are repeated buyers. Due to privacy issue, data is sampled in a biased way, so the statistical result on this data set would deviate from the actual of Tmall.com. Nevertheless, it will not affect the applicability of the algorithm. In the first stage, the data set is available for downloading, while it is not in the second one. Details of the data can be found in the table below. Data Fields Definition user_id A unique id for the shopper. age_range User's age range: 0 for <18; 1 for [18,24]; 2 for [25,34]; 3 for [35,54]; 4 for >=55. gender User's gender: 0 for female, 1 for male. merchant_id A unique id for the merchant. label Value from {0, 1, -1, NULL}. '1' denotes 'user_id' is a repeat buyer for 'merchant_id', while '0' is the opposite. '-1' represents that 'user_id' is not a new customer of the given merchant, thus out of our prediction. However, such records may provide additional information. 'NULL' occurs only in the testing data, indicating it is a pair to predict. activity_log A set of interaction records between {user_id, merchant_id}, where each record is an action represented as 'item_id:category_id:brand_id:time_stamp:action_type'. '#' is used to separate two neighbouring elements. Records are not sorted in any particular order. Evaluation Metric The Area Under the ROC Curve (AUC), true positive versus false positive is employed as evaluation metric. It can be calculated as (1-e), where 'e' denotes the portion of incorrect pairs (i.e. a negative sample is ranked ahead a positive one). More information can be found at "wikipedia". Important Dates: April 1, 2015: Competition announcement April 15, 2015: Competition begins May 15, 2015: First Stage Competition ends May 18, 2015: Second Stage Competition begins June 20, 2015:Second Stage Competition ends June 30, 2015: Final result announcement Awards - First Stage First Prize: 4,000USD Second Prize: 3,000USD Third Prize: 2,000USD - Second Stage Only the top 50 teams at the first stage are qualified for the second stage. First Prize: 6,000USD Second Prize: 4,000USD Third Prize: 2,000USD The top 3 teams may present their solutions at the IJCAI workshop "Social Inference Analysis", with additional 3,000USD as registration and travelling allowance. Extra Online Competition The top 3 teams at the second stage will have the opportuntiy to deploy their algorithms on Tmall.com for the ''Double-11'' promotion, 2015. And the winner will be awarded by 50,000USD. Remark1: The problem would be related but different from the first two competitions. Detail will be announced before September 2015. Remark2: Participants at this stage would work onsite as interns for around two months. Besides the award, salary and housing allowances will be also provided. Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From aamas2014publicity at gmail.com Sat Apr 4 13:19:26 2015 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Sat, 4 Apr 2015 12:19:26 +0100 Subject: 2014 IFAAMAS Victor Lesser Distinguished Dissertation Award Message-ID: IFAAMAS Victor Lesser Distinguished Dissertation Award This award was started for dissertations defended in 2006 and is named for Professor Victor Lesser, a long standing member of the AAMAS community who has graduated a large number of outstanding PhD students in the area. To be eligible for the 2014 award, a dissertation had to have been written as part of a PhD defended during the year 2014, and had to be nominated by the supervisor with three supporting references. Selection is based on originality, depth, impact and written quality, supported by quality publications. Previous winners of this award were Manish Jain (2013), Birgit Endrass (2012), Daniel Villatoro (2011), Bo An (2010), Andrew Gilpin (2009), Ariel Procaccia (2008), Radu Jurca (2007), and Vincent Conitzer (2006). The 2014 IFAAMAS Victor Lesser Distinguished Dissertation Award recipient is Dr. Yair Zick, whose thesis titled "Arbitration, Fairness and Stability: Revenue Division in Collaborative Settings" was supervised by Dr. Edith Elkind. The committee also wanted to recognise two other nominees (unordered): Dr. Tim Baarslag, whose thesis titled "What to Bid and When to Stop" was supervised by Prof. Catholijn Jonker and Dr. Koen Hindriks; and Dr. Xi (Alice) Gao, whose thesis titled "Eliciting and Aggregating Truthful and Noisy Information" was supervised by Assoc. Prof. Yiling Chen. From idsistworkshops at gmail.com Mon Apr 6 09:37:39 2015 From: idsistworkshops at gmail.com (HSP@HCIST'2015) Date: Mon, 06 Apr 2015 08:37:39 +0100 Subject: HSP@HCIST'2015 - Healthy and Secure People | Extended Deadline for paper submission: April 17, 2015 In-Reply-To: <551ED23B.2010209@gmail.com> References: <551ED23B.2010209@gmail.com> Message-ID: <552237C3.3040100@gmail.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sigkdd at uts.edu.au Tue Apr 7 03:30:00 2015 From: sigkdd at uts.edu.au (sigkdd) Date: Tue, 7 Apr 2015 11:30:00 +1000 Subject: CFP: 2015 International Conference on Behavior, Economic and Socio-Cultural Computing (BESC 2015) Message-ID: <120F786F4E640A409D1D727D6D99B2DE019D3BA18CFD@MAILBOXCLUSTER.adsroot.uts.edu.au> [Apologies if you receive this more than once] ================================================================== Call for Papers 2015 International Conference on Behavior, Economic and Socio-Cultural Computing (BESC 2015) October 30 -- November 1, 2015, Nanjing, China Website: http://besc2015.njue.edu.cn/ ================================================================== The 2015 International Conference on Behavioral, Economic, and Socio-Cultural Computing (BESC2015) will take place in Nanjing, October 30 - November 1, 2015. BESC aims to become a premier forum in which academic researchers and industry practitioners from data mining, statistics and analytics, business and marketing, finance and politics, and behavioral, economic, social and psychological sciences could present updated research efforts and progresses on foundational and emerging interdisciplinary topics of BESC, exchange new ideas and identify future research directions. BESC is technically sponsored by IEEE CIS and SIGKDD. All accepted conference papers will be published by IEEE and included in the IEEE Xplore Digital Library and EI Compendex. Authors of high-quality papers will be invited to submit revised and expanded version of their papers to be considered for publication in a special issues on World Wide Web Journal (SCI-indexed), Journal of Systems Science and Systems Engineering (SCI-indexed), Social Network Analysis and Mining (Springer), Data Science and Deep Analytics (Springer, forthcoming) and Evolutionary and Institutional Economics Review (Springer). We call for papers on any topics of advanced data mining and applications, including but not limited to: - Social Computing and Applications: social behavior; social network analysis and mining; semantic web; social intelligence; security, privacy, trust and cryptography in social contexts; social commerce and related applications; social recommendation; data mining. - Behavioral and Economic Computing: agent-based modeling; artificial/experimental markets; asset pricing; computational finance; financial crises; monetary policy; optimization; volatility modeling; evolutionary economics. - Information Management and Systems: decision analytics; e-business; societal impacts of IS; human behavior and IS; IS in healthcare; IS security and privacy; IS strategy, structure and organizational impacts; service science and IS. - Digital Humanities: digital media; digital humanities; digital games and learning; digital footprints and privacy; Twitter histories creation; crowd dynamics; digital arts; mobile technologies; activity streams and experience design. Submissions and Important Dates - Research Paper Abstract Submission: 10 June 2015 - Research Paper Submission: 17 June 2015 - Paper Notification of Acceptance: 12 August 2015 - Special Session Proposal Submission: 4 April 2015 - Special Session Proposal Notification: 25 April 2015 Organizing Committee Honorary Chairs: Masaru Kitsuregawa, University of Tokyo, Japan Longbing Cao, University of Technology, Australia General Chairs: Irwin King, Chinese University of Hong Kong, China Jie Cao, Nanjing University of Finance & Economics, China Program Committee Chairs: Shu-Heng Chen, National Chengchi University, Taiwan Yves Demazeau, CNRS, France Junjie Wu, Beihang University, China Michael Gavin, University of South Carolina, USA Special Session Chairs: Xiaohui Tao, University of Southern Queensland, Australia Antoaneta Serguieva, University College London, UK Tutorial & Panel Chairs: Gang Li, Deakin University, Australia Geun-Sik Jo, Inha University, South Korea Industry Forum Chair: Jie Wang, Stanford University, USA Sponsorship Chair: Guandong Xu, University of Technology, Australia BESC Liaison: Jian Cao, Shanghai Jiaotong University, China Local Arrangement Chair: Zhiang Wu, Nanjing University of Finance & Economics, China Publicity Chairs: Frank Jiang, University of Technology, Sydney, Australia Fang Dong, Southeast University, China Lin Li, Wuhan University of Technology, China Registration Chair: Changjian Fang, Nanjing University of Finance & Economics, China Publication Chair: Zhan Bu, Nanjing University of Finance & Economics, China Advisory Committee: Usama Fayyad, Barclays Bank, UK Philip S. Yu, University of Illinois at Chicago, USA Masaru Kitsuregawa, University of Tokyo, Japan Vipin Kumar, University of Minnesota, USA Rao Kotagiri, University of Melbourne, Australia Beng Chin Ooi, National University of Singapore, Singapore Xin Yao, University of Birmingham, UK Steering Committee: Huan Liu, Arizona State University, USA Irwin King, Chinese University of Hong Kong, China Wolfgang Nejdl, Leibniz Universitat Hannover, Germany V.S. Subrahmanian, University of Maryland, USA Shu-Heng Chen, National Chengchi University, Taiwan Yong Shi, Chinese Academy of Sciences, China Feiyue Wang, Chinese Academy of Sciences, China Geun-Sik Jo, Inha University, South Korea Longbing Cao, University of Technology, Australia Ee-Peng Lim, Singapore Management University, Singapore Guandong Xu, University of Technology, Australia Jian Cao, Shanghai Jiaotong University, China Jie Wang, Stanford University, USA Web Management and Conference Secretary: Dr. Zhan Bu, Nanjing University of Finance & Economics, China Email: besc2015 at 163.com Tel: +86-25-8349-3900 UTS CRICOS Provider Code: 00099F DISCLAIMER: This email message and any accompanying attachments may contain confidential information. If you are not the intended recipient, do not read, use, disseminate, distribute or copy this message or attachments. If you have received this message in error, please notify the sender immediately and delete this message. Any views expressed in this message are those of the individual sender, except where the sender expressly, and with authority, states them to be the views of the University of Technology Sydney. Before opening any attachments, please check them for viruses and defects. Think. Green. Do. Please consider the environment before printing this email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Tue Apr 7 15:12:15 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Tue, 07 Apr 2015 15:12:15 +0200 Subject: LAST CfP: Distributed Adaptive Systems (DAS) @ ICAC 2015 Message-ID: <5523D7AF.8080706@unimore.it> 1st Workshop on Distributed Adaptive Systems Tuesday 7th July 2015 @ ICAC 2015, Grenoble, F Paper Submission April 13, 2015 Notification May 15, 2015 Camera Ready May 22, 2015 Workshops July 07, 2015 Workshop website: http://www.agentgroup.unimore.it/DAS2015/ Conference website: http://icac2015.imag.fr CFP On the account of the recent advances in technology, computational systems have to be thought as ever growing distributed artificial environments in which requirements, constituent components and user needs dynamically change in unpredictable ways. Coping with such uncertainties represents an interesting challenge for the designer of these systems, specifically regarding how to guarantee adaptivity towards both functional and non-functional requirements, as well as autonomously handling coordination and collaboration aspects among constituent units that have to act as autonomous and heterogeneous agents. These agents more often rely on incomplete information regarding the whole system in which they are integrated, but yet, in order to foster their Self-* properties, they need to discover, learn and evolve their behavior by taking into account how other agents are performing within the considered environment. The purpose of this workshop is therefore to create an useful forum of discussion on how Self-* properties and design & implementation concepts that are nowadays considered in Autonomic Computing literature can be extended and exploited in case of distributed autonomous systems , hence how to create adaptivity as a whole by starting from single autonomous units. Practitioners and researchers are therefore invited to submit interesting contributions both in theoretical work and real world applications so to create a fruitful discussion regarding the presented challenges and the following related topics: * Distributed learning and experience sharing among agents * Advances in Multi-Agent System coordination * Formal methods and languages for distributed adaptive systems * Modelling distributed adaptive systems * Collectivism in distributed adaptive systems * Optimization in distributed adaptive systems * Framework and design patterns for distributed adaptive systems * Bio-inspired and evolutionary approaches to distributed adaptive systems * Tools and simulation software for distributed adaptive systems * Case studies and real world applications. All papers must represent original and unpublished work that is not currently under review. Papers will be judged on originality, significance, interest, correctness, clarity, and relevance to the broader community. Papers are strongly encouraged to report on experiences, measurements, user studies, and provide an appropriate quantitative evaluation if at all possible. The maximum number of allowed pages is 6. Author Kit/Submission Instructions can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html The submission of paper can be done by EasyChair at: https://easychair.org/conferences/?conf=dasicac2015 Accepted papers will be included in the ICAC Workshop 2015 Proceedings, which will be published in IEEE Xplore. At least one author of each accepted paper is expected to attend the workshop. Program Chairs Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy bucchiarone at fbk.eu Giacomo Cabri, Università di Modena e Reggio Emilia, Modena, Italy giacomo.cabri at unimore.it Nicola Capodieci, Università di Modena e Reggio Emilia, Modena, Italy nicola.capodieci at unimore.it Haibin Zhu, Nipissing University, Canada haibinz at nipissingu.ca -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From Rim.Faiz at ihec.rnu.tn Tue Apr 7 18:42:09 2015 From: Rim.Faiz at ihec.rnu.tn (Rim FAIZ) Date: Tue, 7 Apr 2015 17:42:09 +0100 Subject: Deadline extended-CFP BigDMS 2015 (ICCCI 2015): Special Session on Big Data Mining and Searching, Madrid, Spain, September 21-23, 2015 Message-ID: <003701d07151$db0daaa0$9128ffe0$@Faiz@ihec.rnu.tn> Apologies for multiple diffusion CALL FOR PAPERS New submission deadline : April 12, 2015 ====================================================================== BigDMS 2015 Special Session on Big Data Mining and Searching At the 7th International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI 2015) Madrid, Spain, September 21-23, 2015 Conference website: http://antares.sip.ucm.es/iccci2015/ ====================================================================== The exceptional growth of data sizes available on the Web, especially with the wide use of social networks has changed data processing. Then, traditional technologies are unable to handle this massive data. They presented often multidimensional constraints; Data come from different sources with diverse formats, should be treated in real time, and may be subject to different interpretations depending on the status of the end user. This is what has led to the emergence of Big Data. The main challenge of Big Data management lies in both an increasing volume of streaming data having petabytes size, heterogeneous, structured (from data warehouse and graph database) or unstructured (for Web 2 contents, text documents and social networks).It is in the context of unstructured data that fits the Big Text Mining proposes new approaches and techniques to transform this massive data into useful data. Big Data Mining is part of the effort to improve the process of seeking new knowledge from large volumes of data. It has become ubiquitous in understanding and solving complex problems in different fields such as engineering, healthcare, social networks, commerce, government, education, medicine, security, computational biology, all Search-based applications... The objective of this session is to give an overview of the main lines of this interesting area with its various opportunities and challenges. The scope of the BigDMS2015 includes, but is not limited to the following topics: * Foundations and computation (Models and Frameworks for Big Data, Graph Algorithms and Big Data, Computational Intelligence) * Algorithms for Big data (Simulation and Modeling, Natural Language Processing, Multidimensional Big Data ...) * Infrastructure and platforms * Cloud Computing/ Stream Computing for Big Data * Big Data Management * Big Text Mining and Information Extraction * Big Data Analytics and Information Retrieval * Application of Big data * Big data Visualization * Data Science * Recommendation System with Big data * Machine leraning for Big data * Open data and unstructured data * Data preservation and provenance * Search and Mining * Computational Modeling and Data Integration * Link and Graph Mining * Mobility * Multimedia and Multi-structured Data * Big Data and Social Media * Big Data Privacy and Security * Big Data Analytics in e-Government and Society . Big Data Applications Submission and publication All contributions should be original and not published elsewhere or intended to be published during the review period. Authors are invited to submit their papers electronically in pdf format, through EasyChair. All the special sessions are centralized as tracks in the same conference management system as the regular papers. Therefore, to submit a paper, please activate the following link and select the track: BigDMS2015: Special Session on Big Data Mining and Searching. https://www.easychair.org/conferences/?conf=iccci2015 Authors are invited to submit original previously unpublished research papers written in English, of up to 10 pages, strictly following the LNCS/LNAI format guidelines. Authors can download the Latex (recommended) or Word templates available at Springer's web site. Submissions not following the format guidelines will be rejected without review. To ensure high quality, all papers will be thoroughly reviewed by the BigDMS2015 Program Committee. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. The conference proceedings will be published by Springer in the prestigious series LNCS/LNAI (indexed by ISI CPCI-S, included in ISI Web of Science, EI, ACM Digital Library, dblp, Google Scholar, Scopus, etc.). Important dates Submission of papers: April 12, 2015 (extended) Notification of acceptance: 15 May 2015 Camera-ready papers: 15 June 2015 Conference date: 21-23September 2015 Special Session Organizers Prof. Rim Faiz Department of Computer Science IHEC, University of Carthage, Tunisia Laboratory LARODEC E-mail: Rim.Faiz at ihec.rnu.tn Dr. Aymen Elkhlifi Department of Computer Science University of Paris Sorbonne, France Laboratory STH and LARODEC E-mail: aymen.elkhlifi at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Apr 7 18:57:43 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 7 Apr 2015 13:57:43 -0300 Subject: IJCAI 2015 Video Competition - SECOND CALL FOR VIDEOS Message-ID: [Apology for cross-postings] ************************************************************************************************* =================================================================================== Second Call: IJCAI 2015 Video Competition Held at the International Joint Conference on Artificial Intelligence 2015 (IJCAI-15), July 25-27 2015 Buenos Aires, Argentina =================================================================================== We are pleased to present the second call for videos to the upcoming IJCAI 2015 Video Competition. In the spirit of earlier AI Video Competitions, the intention is to provide researchers with a forum for demonstrating how exciting and interesting Artificial Intelligence can be. The results of the competition will be presented at the IJCAI 2015 conference (July 25–31, 2015, in Buenos Aires, Argentina), where the best videos will be revealed. All videos will also be made available online. Key dates are as follows: * Submission of videos: May 10, 2015 * Notification of acceptance and award nominations: June 8, 2015 * Final version due: June 21, 2015 ****Note that attending the IJCAI conference is not mandatory.**** Video Contents -------------- A wide range of videos related to artificial intelligence can be submitted to the competition, varying along a number of distinct dimensions. The topic of a video might for example be a general or specific area of AI, the work of a particular researcher or group (yourselves or others), or a concrete application that depends on one or several AI techniques and that may be based entirely on software or partly on hardware. A video may concern work with different levels of maturity, from introducing something new and interesting, through describing known but ongoing research, to summarizing a mature area or application and showing its impact on society. The intended audience of a video can be students learning about a topic in a classroom, researchers interested in learning more about subfields outside their own, or the general public. Specific Awards --------------- In keeping with the above, several distinct awards will be given. The following categories are envisioned, but may change depending on the submissions received. * Best long video (up to 5 minutes) * Best short video (up to 1 minute) * Best application video (demonstrating a particular use of AI) * Most entertaining video (illustrating AI in an amusing or interesting way) * Most educational video (for students learning about a topic) * Most societally beneficial video (showing the public what AI can do and does for them) In all cases, keeping the viewer interested and engaged is essential. The best videos of earlier AI video competitions have often achieved this through the use of humor, background music, and movies / animations. To ensure that the videos are comprehensible to a wide audience, they must be narrated or subtitled in English. Requirements ------------ The following criteria must be satisfied by all participating videos. * The video must be relevant to the area of Artificial Intelligence. * The video must be submitted in a widely supported encoding and container format. For example, MPEG-2, Xvid or H.264 encoding in an AVI or MKV container could be used. We reserve the right to recode videos before placing them online. * The authors must hold the copyright for all materials used, such as music, video, sounds and images, or have explicit written permission from the copyright holders to use and distribute this material. * The video must not be offensive or advertise/promote commercial products. Review Process -------------- After the submission deadline, all submitted videos satisfying the requirements stated above will be reviewed by the video competition program committee according to the following criteria. * Excitement: How interesting and exciting is the actual technology, research area, application, or other work being presented? * Educational content: To what extent can other AI researchers, students, or the general public can learn about artificial intelligence from the video? * Entertainment value: How entertaining and captivating is the video to watch? * Presentation quality: How well is the video produced, what is the quality of the narration and soundtrack, etc.? The best videos will be nominated for awards, and the winners decided by the committee will be revealed during IJCAI 2015. Submissions ----------- All submissions to the video competition will be handled through ConfMaster at http://ijcai2015-video.confmaster.net/. In addition to standard information such as the entry’s title, the names of the authors and their contact information, the following information must be submitted as a .txt file: 1. A link (URL) to a location where video the file can be downloaded by the program committee. This location should preferably be protected by a password, which should then be submitted here as well. 2. A one- or two-paragraph description of the submission. Program Committee ----------------- The program committee for the ICJAI 2015 video competition currently includes the following members: Alessandro Saffiotti Alex Rogers Ana Paiva Andreas Herzig Anthony G Cohn Brandon Bennett Carlos Chesnevar Charles Ortiz Daniele Nardi Dave Robertson Elisabeth Andre Enrico Giunchiglia Esra Erdem Eyal Amir Gerhard Lakemeyer Hector Geffner Holger Hoos Jesus Cerquides Jianwei Zhang Karen Myers Malik Ghallab Malte Helmert Mark Boddy Michael Littman Milind Tambe Paul Scerri Peter Stone Ramon Lopez de Mantaras Sven Koenig Xinyu Wu Further information ------------------- For further information about participation, please contact the chairs, Jonas Kvarnström and Juan-Antonio Rodriguez Aguilar, at videos at ijcai-15.org. Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From calimeri at mat.unical.it Tue Apr 7 19:08:20 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 7 Apr 2015 19:08:20 +0200 Subject: CfP LPNMR 2015 Announcement: SUBMISSIONS NOW OPEN! Message-ID: [apologies for any cross-posting] *** SUBMISSIONS ARE NOW OPEN *** Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. IMPORTANT DATES * Paper registration: April 19th, 2015 * Paper submission: April 24th, 2015 * Notification: June 1st, 2015 * Final versions due: June 15th, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From asdm at fi.upm.es Thu Apr 9 21:07:40 2015 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 9 Apr 2015 21:07:40 +0200 (CEST) Subject: Tenth Advanced Statistics and Data Mining Summer School (Madrid) - Early registration reminder Message-ID: <1151593579.46.1428606307830.JavaMail.Bojan@neurolab> Dear colleagues, We would like to remind you that the early registration period for the Advanced Statistics and Data Mining Summer School is open until June 7th. The summer school will be held in Boadilla del Monte, near Madrid, from June 29th to July 10th. As in previous years, the school comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses per week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM Please, send this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Laura Anton-Sanchez. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 29th - July 3rd, 2015) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Descriptive methods for time series. Linear models for time series. Extensions. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 6th - July 10th, 2015) * 1st session: 9:45-12:45 Course 7: Statistical Inference(15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Bayesian Classifiers (15 h) Discrete predictors. Gaussian Bayesian networks-based classifiers. Other Bayesian classifiers. Bayesian classifiers for: positive and unlabeled data, semi-supervised learning, data streams, temporal data. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Introduction. Fundamentals. Language Modeling. String Processing. Text Classification. Information Extraction. Practical session: GATE (optionally, python). Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Advanced topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Convex Optimization (15 h) Introduction. SVM models. SVM learning algorithms. Convex non differentiable optimization. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From publicity at ecmlpkdd2015.org Fri Apr 10 09:35:04 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Fri, 10 Apr 2015 08:35:04 +0100 Subject: ECMLPKDD 2015: Summer School on Data Sciences for Big Data - Resource Aware Data Mining Message-ID: <007901d07360$de60b9c0$9b222d40$@ecmlpkdd2015.org> >From 2nd to 5th of September 2015, the TU Dortmund University and LIAAD-INESC TEC will organize a Summer School on Data Sciences for Big Data - Resource Aware Data Mining. The School will be hosted at Faculty of Sciences, University of Porto and is collocated with ECMLPKDD 2015 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (http://www.ecmlpkdd2015.org/). For the summer school, world leading researchers in machine learning and data mining will give lectures on recent techniques dealing with huge amounts of data, spatio-temporal streaming data, distributed and graph data, sensors and embedded systems. The summer school is designed for Master and PhD students, and professionals who wanted to learn cutting edge techniques for data mining with constrained computational resources. For further details go to: http://www.ecmlpkdd2015.org/summer-school/about -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From t.dinoia at poliba.it Fri Apr 10 16:20:51 2015 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Fri, 10 Apr 2015 16:20:51 +0200 Subject: LAST MILE: EC-Web 2015 - Special Track on Search, Comparison and Recommender Systems Message-ID: <5527DC43.9070900@poliba.it> ** apologies for cross-posting ** Special Track on Search, Comparison and Recommender Systems 16th International Conference on Electronic Commerce and Web Technologies - EC-Web 2015 Valencia, Spain September 1 - 2, 2015 EC-Web is an international scientific conference series devoted to technology related aspects of e-Commerce and e-Business. The 16th edition of the conference, EC-Web 2015, will take place in Valencia, Spain in September 2015 and will serve as a forum to bring together researchers and practitioners to present and discuss recent advances in their fields. SPECIAL TRACK on Search, Comparison and Recommender Systems In the Web era, resource retrieval techniques play a fundamental role in helping the users to deal with the issues related to information overload. Today's search engines as well as matchmaking systems are no more working solely on pure text/keyword analysis. Their results are computed and enriched by putting together, e.g., link-based data, user preferences as well as information encoded into the so called knowledge graphs. The same happens for personalized information filtering systems, such as recommender systems, where pure collaborative and content-based approaches are hybridized with each other, combined and fed by many different and diverse data sources in order to improve not only the accuracy of results but also their novelty, diversity, and serendipity. This track will mainly focus on: - Search - Knowledge graphs - Matchmaking - Recommender systems - User modeling - Preference representation and reasoning - Similarity metrics Authors are invited to submit original and unpublished research papers at http://confdriver.ifs.tuwien.ac.at/dexa2015 The manuscripts are limited to 12 pages using the Springer LNBIP style sheet: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 The selection of papers will be based on a peer-review process by selected international experts. Each paper will be peer-reviewed by at least 3 reviewers. The proceedings will be published in the Springer Lecture Notes in Business Information Processing (LNBIP) series. IMPORTANT DATES Submission of full papers: April 15, 2015 Notification of acceptance: May 20, 2015 Camera-ready copies due: June 06, 2015 PROGRAM CHAIRS Heiner Stuckenschmidt - University of Mannheim [Germany] Dietmar Jannach - TU Dortmund [Germany] TRACK CHAIR Tommaso Di Noia - Politecnico di Bari [Italy] PROGRAMME COMMITTEE Liliana Ardissono - University of Torino [Italy] Pierpaolo Basile - University of Bari Aldo Moro [Italy] Alejandro Bellogín - Universidad Autonoma de Madrid [Spain] Robin Burke - De Paul University [USA] Federica Cena - University of Turin [Italy] Paolo Cremonesi - Politecnico di Milano [Italy] Marco de Gemmis - University of Bari, Aldo Moro [Italy] Ernesto William De Luca - FH Potsdam [Germany] Alexander Felfernig - Graz University of Technology [Austria] Fabio Gasparetti - Roma Tre University [Italy] Stuart E. Middleton - University of Southampton [UK] Cataldo Musto - University of Bari Aldo Moro [Italy] Fedelucio Narducci - University of Bari Aldo Moro [Italy] Vito Claudio Ostuni - Mandora Media, Inc. [USA] Umberto Panniello - Polytechnic University of Bari [Italy] Francesco Ricci - Free University of Bozen-Bolzano [Italy] Matthew Rowe - University of Lancaster [UK] Markus Zanker - Alpen-Adria Universität Klagenfurt [Austria] From universal.logic at ufc.br Fri Apr 10 17:27:53 2015 From: universal.logic at ufc.br (Universal Logic) Date: Fri, 10 Apr 2015 12:27:53 -0300 (BRT) Subject: Is there any future for logic? Message-ID: <279fbb25639d091186b4074174fc3387.squirrel@correio1.ufc.br> Call for Papers The Future Logic - Contest at the 5th World Congress on Universal Logic - Istanbul, June 2015 http://www.uni-log.org/future-of-logic Deadline extension: May 4, 2015 Modern logic (starting with George Boole at the mid of the XIX century) changed the world: it led to new understanding of reasoning, language, mathematics. It gave new directions in philosophy and gave birth to computation. After 150 years we may wonder what is the future of so successful a science, nowadays much of the time in the shadow of its multifaceted offsprings This contest wants to promote a reflexion on what can be the future of logic considering its 150-years history. Here are a few questions: 1) Will or can logic give a better understanding to sciences / fields such as physics, biology, economics, music, information? 2) How will evolve the internal life of logic, its objectives and tools? 3) How will develop the interactions between logic and philosophy, logic and mathematics, logic and computation? To take part to the contest submit a paper of 10 to 15 pages by May 4, 2015 to: unilog.contest2015 at gmail.com The best papers will be selected for presentation in a special session during the event and a jury will decide during the event who are the winners: gold, silver and bronze medals. Members of the Jury are Patrick Blackburn, Walter Carnielli (president) and John Corcoran. The prize is offered by Birkhäuser Science Basel, Switzerland. A special issue of Logica Universalis will be published with the best papers related to this contest as was published after the previous contest at UNILOG'2013 in Rio de Janeiro Logica Universalis - Scope of Logic Theorems - Volume 8, issue 3-4- 2014 http://link.springer.com/journal/11787/8/3/page/1 World Congress and School on Universal Logic Montreux 2005, Xi'an 2007, Lisbon 2010, Rio de Janeiro 2013, Istanbul 2015 http://www.uni-log.org From grlmc at urv.cat Sat Apr 11 19:03:45 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 11 Apr 2015 19:03:45 +0200 Subject: SLSP 2015: 1st call for papers Message-ID: <73207413BF524496A2915B4FE5D69CA8@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2015 Budapest, Hungary November 24-26, 2015 Organised by: Laboratory of Speech Acoustics Department of Telecommunications and Telematics Budapest University of Technology and Economics http://alpha.tmit.bme.hu/speech/ Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2015/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2015, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2015 will take place in Budapest, on the banks of the Danube and an extensive UNESCO World Heritage site. The venue will be the Faculty of Electrical Engineering and Informatics of the Budapest University of Technology and Economics. SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2015 will consist of: invited talks invited tutorials peer‐reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Udo Hahn (University of Jena, Germany) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Carlos Martín‐Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Jian-Yun Nie (University of Montréal, Canada) Maria Teresa Pazienza (University of Rome Tor Vergata, Italy) Adam Pease (IPsoft Inc., New York, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ramírez (University of Granada, Spain) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Stefan Schulz (Medical University of Graz, Austria) Tomoki Toda (Nara Institute of Science and Technology, Japan) Klára Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Junichi Yamagishi (University of Edinburgh, UK) Pierre Zweigenbaum (LIMSI-CNRS, Orsay, France) ORGANISING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín‐Vide (Tarragona, co-chair) György Szaszák (Budapest) Klára Vicsi (Budapest, co-chair) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single‐spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=slsp2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of a major journal 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 registration form can be found at: http://grammars.grlmc.com/SLSP2015/Registration.php DEADLINES: Paper submission: June 23, 2015 (23:59 CET) Notification of paper acceptance or rejection: July 28, 2015 Final version of the paper for the LNCS/LNAI proceedings: August 11, 2015 Early registration: August 11, 2015 Late registration: November 10, 2015 Submission to the journal special issue: February 26, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SLSP 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: Budapesti Műszaki és Gazdaságtudományi Egyetem 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 mpavone at dmi.unict.it Tue Apr 14 12:20:15 2015 From: mpavone at dmi.unict.it (Mario Pavone) Date: Tue, 14 Apr 2015 12:20:15 +0200 Subject: Int. Congress on Systems Immunology, Immunoinformatics & Immune-Computation - CfP ICSI^3 2015 - submission deadline: April 28, 2015 Message-ID: <20150414122015.Horde.1GXDb_ph4B9VLOnf4jaWz-A@mbox.dmi.unict.it> [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] International Congress on Systems Immunology, Immunoinformatics & Immune-Computation ICSI^3 2015 - Immunology without Borders - July 17-18, 2015 - Taormina, Italy http://www.dmi.unict.it/ais2015/ ais2015 at ieee-cis-ais.org ************************* CALL FOR PAPERS ************************* SUBMISSION DEADLINE: April 28, 2015 http://www.dmi.unict.it/ais2015/index.php/submission **** PLENARY SPEAKERS: + Alessandro Sette, La Jolla Institute for Allergy & Immunology, La Jolla, USA ?Bioinformatic & Immunological Approaches to Map Immune Reactivity in Humans? + Hugues Bersini, IRIDIA, Universite Libre de Bruxelles, Belgium ?A Qualitative Language for Computer Simulations of immune Systems? http://www.dmi.unict.it/ais2015/index.php/plenary-speakers **** TWO SPECIAL ISSUES: + BMC Immunology + Engineering Applications of Artificial Intelligence http://www.dmi.unict.it/ais2015/index.php/calls **** POST-PROCEEDINGS in IEEE Volume **** ICSI^3 2015 accepts three different submissions: (i) long paper (8-pages max); (ii) short paper (2-pages length); (iii) abstract for oral/poster presentation (no pages restriction). The first two is required the IEEE style, and will be published as post-proceedings in IEEE Volume; the last one may be in any format and it must discuss works in progress; new research ideas; works previously published elsewhere, and all that can be challenging for the attendees.  All submissions will be subject to peer review by the program committee (more than 175 members), and all accepted submissions are allocated either an oral presentation slot or a poster slot with no distinction being made between the submission options. For more information see http://www.dmi.unict.it/ais2015/index.php/calls **** ICSI^3 2015 Submission System The link to submit papers is the following: http://www.dmi.unict.it/ais2015/index.php/submission The deadline is April 28, 2015 **** Important Dates - Long & Short Paper submission: 28th April 2015 - Abstract submission: 28th April 2015 - Long & Short Paper notification: 13rd May 2015 - Abstract Notification: 13rd May 2015 - Camera-ready submission: 28th May 2015 - Early Registration: 28th May 2015 **** ICSI^3 2015 Program Committee The current Program Committee includes more than 175 confirmed members: http://www.dmi.unict.it/ais2015/index.php/program-committee Looking forward to welcoming you to Taormina in July 2015! ICSI^3 2015 Organizing Team. --- http://www.dmi.unict.it/ais2015/ ais2015 at ieee-cis-ais.org From schon at uni-koblenz.de Tue Apr 14 12:59:03 2015 From: schon at uni-koblenz.de (Claudia Schon) Date: Tue, 14 Apr 2015 12:59:03 +0200 Subject: CFP Bridging 2015 Message-ID: <793A283D-AF4B-49F2-BCF3-C7000F310FA1@uni-koblenz.de> CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Workshop on: Bridging the Gap between Human and Automated Reasoning located at CADE-25, Berlin, Germany, Aug 1, 2015 http://ratiolog.uni-koblenz.de/bridging.html Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research. This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following: - limits and differences between automated and human reasoning - psychology of deduction - common sense reasoning - logics modeling human cognition - modeling human reasoning using automated reasoning systems - non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning - application fields of automated reasoning in the interaction with human reasoners The workshop will be held in conjunction with CADE-25. IMPORTANT DATES Submission deadline: May 1, 2015 Notification: May 22, 2015 Final Submission: June 5, 2015 Workshop: Aug 1, 2015 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging15. PROGRAM COMMITTEE/ORGANIZERS Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Gabriele Kern-Isberner, TU Dortmund University Markus Knauff, University of Giessen Kai-Uwe Kuehnberger, University of Osnabrück Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz Natarajan Shankar, SRI International Keith Stenning, Edinburgh University Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon schon at uni-koblenz.de From C.Orasan at wlv.ac.uk Tue Apr 14 16:47:41 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 14 Apr 2015 14:47:41 +0000 Subject: NLP4TM: 1st Call for papers Message-ID: <1429022868.28867.6.camel@wlv.ac.uk> [apologies for cross-posting] 1st Workshop on Natural Language Processing for Translation Memories (NLP4TM) collocated with RANLP 2015, Hissar, Bulgaria Home page: http://rgcl.wlv.ac.uk/nlp4tm/ Submission deadline: 26th June 2015 Workshop date: 11th Sept 2015 1. Introduction Translation Memories (TM) are amongst the most used tools by professional translators. The underlying idea of TMs is that a translator should benefit as much as possible from previous translations by being able to retrieve how a similar sentence was translated before. Despite the fact that the core idea of these systems relies on comparing segments (typically of sentence length) from the document to be translated with segments from previous translations, most of the existing TM systems hardly use any language processing for this. Instead of addressing this issue, most of the work on translation memories focused on improving the user experience by allowing processing of a variety of document formats, intuitive user interfaces, etc. The term second generation translation memories has been around for more than ten years and it promises translation memory software that integrates linguistic processing in order to improve the translation process. This linguistic processing can involve matching of subsentential chunks, edit distance operations between syntactic trees, incorporation of semantic and discourse information in the matching process. This workshop invites papers presenting second generation translation memories and related initiatives. Terminologies, glossaries and ontologies are also very useful for translation memories, by facilitating the task of the translator and ensuring a consistent translation. The field of Natural Language Processing (NLP) has proposed numerous methods for terminology extraction and ontology extraction. Researchers are encouraged to submit papers to the workshop which show how these methods are being successfully applied to Translation Memories. In addition, papers discussing the integration of Machine Translation and Translation Memories or studies about automatic building of translation memories from corpora are also welcomed. 2. Topic covered This workshop invites original papers which show how language processing can help translation memories. Topics of interest include but are not limited to: - improving matching and retrieval of segments by using morphological, - syntactic, semantic and discourse information - automatic extraction of terminologies and ontologies for translation memories - integration of named entity recognition and terminologies in matching and retrieval - using natural language processing for automatic construction of translation memories - extracting and aligning TM segments from a parallel or comparable corpus - construction of translation memories using the Internet - corpus based studies about the usefulness of TM for specific domains - development of hybrid TM and MT translation systems - study of NLP techniques used by TM tools available in the market Authors can submit full papers describing original completed research, short papers presenting on going research ideas and demos of working systems. 3. Important dates Submission deadline: 26 June 2015 Acceptance notification: 25 July 2015 Camera-ready versions: 9 August 2015 Workshop date: 11 September 2015, in conjunction with RANLP 2015 4. Submission Papers should be submitted using the START system. More details can be found at http://rgcl.wlv.ac.uk/nlp4tm/nlp4tm-submit-paper/ 5. Programme committee - Manuel Arcedillo, Hermes, Spain - Juanjo Arevalillo, Hermes, Spain - Eduard Barbu, Translated, Italy - Gloria Corpas, University of Malaga, Spain - Maud Ehrmann, University of Lausanne, Switzerland - Kevin Flanagan, Swansea University, UK - Gabriela Gonzalez, eTrad, Argentina - Manuel Herranz, Pangeanic, Spain - Qun Liu, DCU, Ireland - Ruslan Mitkov, University of Wolverhampton, UK - Gabor Proszeky, Morphologic, Hungary - Uwe Reinke, Cologne University of Applied Sciences, Germany - Michel Simard, NRC, Canada - Mark Shuttleworth, UCL, UK - Masao Utiyama, NICT, Japan - Andy Way, DCU, Ireland - Marcos Zampieri, Saarland University and DFKI, Germany - Ventsislav Zhechev, Autodesk 6. Organising committee - Constantin Orasan, University of Wolverhampton, UK - Rohit Gupta, University of Wolverhampton, UK This workshop is partially supported by the EXPERT project ( http://expert-itn.eu). -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From mvm at cs.uns.edu.ar Tue Apr 14 20:18:11 2015 From: mvm at cs.uns.edu.ar (Vanina Martinez) Date: Tue, 14 Apr 2015 15:18:11 -0300 Subject: CfP: FoIKS 2016 || March 7-11, 2016 - Linz, Austria Message-ID: **Apologies for cross-postings*** Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FoIKS 2016. Abstract submission deadline is October 04, 2015. ============== FoIKS 2016 | Call for Papers =============== CALL FOR PAPERS 9th International Symposium on Foundations of Information and Knowledge Systems March 7-11, 2016 - Linz, Austria The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2016 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. Previous FoIKS symposia were held in Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, SchlossSalzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics include, but are not limited to: ================================================= * Database Design: formal models, dependencies and independencies; * Big Data: models for data in the Cloud, programming languages for big data, query processing. * Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; * Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; * Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; * Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, logical models of emotions; * Knowledge Discovery and Information Retrieval: machine learning, data mining, formal concept analysis and association rules, text mining, information extraction; * Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, argumentation systems; * Logics in Databases and AI: classical and non-classical logics, logic programming, description logic, spatial and temporal logics, probability logic, fuzzy logic; * Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; * Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; * Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; * Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; * The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms; and * The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations. Submission of Papers: ==================== Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair athttps://www.easychair.org/conferences/?conf=foiks2016. Publication: =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the journal Annals of Mathematics and Artificial Intelligence. Important Dates: =============== * Abstract submission deadline: October 04, 2015 * Paper submission deadline: October 11, 2015 * Author notification: November 22, 2015 * Camera-ready paper due: December 13, 2015 * FoIKS 2016 Symposium in Linz, Austria: March 07-11, 2014 More information in: =================== * Conference Web Page: http://cdcc.faw.jku.at/FoIKS2016/ * Facebook Fan Page: FOIKS 2016 (www.facebook.com/foiks16) * Twitter: https://twitter.com/FoIKS2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dehaan at kr.tuwien.ac.at Wed Apr 15 17:41:06 2015 From: dehaan at kr.tuwien.ac.at (Ronald de Haan) Date: Wed, 15 Apr 2015 17:41:06 +0200 Subject: PhDs in Logic VII (May 14-16, 2015), Call for participation Message-ID: PhDs in Logic VII May 14-16th, 2015 VIENNA, AUSTRIA http://phdsinlogic.logic-cs.at CALL FOR PARTICIPATION PhDs in Logic is an annual graduate conference in logic. Each year we invite four established researchers in various branches of logic to do a tutorial on their work in two 45-minute sessions. We also give PhD students the opportunity to do a twenty-minute presentation on their own work or an overview of some topic in their field. The conference includes the following tutorial speakers. Thomas Eiter (Vienna University of Technology) Michael Moortgat (Universiteit Utrecht) Revantha Ramanayake (Vienna University of Technology) Uli Sattler (University of Manchester) Torsten Schaub (University Potsdam) PhD students in logic with a background in philosophy, computer science, mathematics or linguistics are the intended audience for these tutorials. We welcome students to participate in PhDs in Logic VII. We also invite master students in logic, first year postdocs, and logicians from disciplines other than philosophy, computer science, mathematics and linguistics to apply. Registration is free of charge. Participants can register on our website at http://phdsinlogic.logic-cs.at, until April 24, 2015. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com. Organizing Committee: Ronald de Haan, Martin Kronegger. Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller, Nina Gierasimczuk, Martin Goldstern, Thomas Icard, Eric Pacuit, Jakub Szymanik, Anna Zamansky. Advisory Board: Stefan Szeider, Helmut Veith. Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program Logical Methods in Computer Science. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From strass at informatik.uni-leipzig.de Wed Apr 15 18:27:28 2015 From: strass at informatik.uni-leipzig.de (=?UTF-8?B?SGFubmVzIFN0cmHDnw==?=) Date: Wed, 15 Apr 2015 18:27:28 +0200 Subject: CfP: The First International Workshop on Argumentation and Logic Programming (ArgLP 2015) Message-ID: <552E9170.2080204@informatik.uni-leipzig.de> Call for Papers: The First International Workshop on Argumentation and Logic Programming (ArgLP 2015) Cork, Ireland, 31 August, 2015 (co-located with ICLP 2015) Workshop webpage: https://ddll.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/ArgLP2015 Selected papers will be considered for a special issue of Fundamenta Informaticae (http://www.iospress.nl/journal/fundamenta-informaticae/) ---------- MOTIVATION ---------- Argumentation has been more and more an active research field in areas as Multi-Agent Systems, Knowledge Representation and Reasoning, Artificial Intelligence, Philosophy, Law, etc. From the computational point of view, logic programming has been influencing fundamental roots of argumentation. Indeed, since Dung formalized a family of argumentation inferences in terms of the so called argumentation semantics, he showed that these argumentation semantics have strong roots in logic-based theories. The relationship between logic programming and argumentation has attracted increased attention in the last years. Studies range from translating one into the other and back, using argumentation to explain logic programming models, and using logic programming systems to implement argumentation-based languages (ASPARTIX, DIAMOND). Influences go both ways and we believe that both fields can benefit from learning about each other. This year the presentation of the results of the First International Competition on Computational Models of Argumentation (ICCMA) will be done at TAFA 2015 (co-located with IJCAI 2015). Since some of the most widely known argumentation solvers are based on logic programming methodologies, e.g., ASPARTIX, it is expected that new argumentation solvers based on logic programming could appear. In this setting, ArgLP is aiming at catching the attention of the logic programming community to increase the influence of logic programming in the new theoretical and practical developments of argumentation. ------ TOPICS ------ Topics of interest include but are not limited to: - New developments of argumentation systems based on logic programming - New studies between argumentation semantics and logic programming semantics - New studies of non-monotonic reasoning properties of argumentation semantics - The relationship of defeasible logic programming and argumentation - Studying the relationship between logic programs and various argumentation formalisms (e.g. Dung frameworks, extended AFs, bipolar AFs, value-based AFs, abstract dialectical frameworks, ...) - Applications related to argumentation and logic programming --------------- IMPORTANT DATES --------------- 15 June, 2015: Paper submission deadline 13 July, 2015: Notification of acceptance 27 July, 2015: Final manuscripts due 31 August, 2015: Workshop date ---------------------------- PAPER SUBMISSION INFORMATION ---------------------------- All papers must present original and innovative work. (Double submission is allowed if the work is not yet formally published at the time of submission.) Papers will be evaluated according to their significance, originality, technical content and relevance to the workshop. Papers must not exceed 15 pages in length and should be formatted using the guidelines of Fundamenta Informaticae: http://fi.mimuw.edu.pl/fundam.zip Please submit your contributions electronically in PDF format to EasyChair: https://easychair.org/conferences/?conf=arglp2015 ----------- PROCEEDINGS ----------- Accepted papers will be included in the workshop on-line proceedings. At least one author of each accepted paper is expected to register to the workshop and attend the workshop to present the paper. ------------- SPECIAL ISSUE ------------- A selection of the best papers of ArgLP will be published as a special issue in the Fundamenta Informaticae Journal (http://www.iospress.nl/journal/fundamenta-informaticae/) after a second evaluation. ----------------------------- ORGANIZATION ----------------------------- Sarah Gaggl, TU Dresden, Germany Juan Carlos Nieves, Umeå University, Sweden Hannes Strass, Leipzig University, Germany ----------------- PROGRAM COMMITTEE ----------------- - Gerhard Brewka - Sylvie Doutre - Phan Minh Dung - Dov Gabbay - Gabriele Kern-Isberner - Mauricio Osorio - Ken Satoh - Jan Sefranek - Guillermo Simari - Francesca Toni - Paolo Torroni - Marina De Vos - Stefan Woltran - Toshiko Wakaki --------------------------------- ANTI-HARASSMENT POLICY --------------------------------- The open exchange of ideas and the freedom of thought and expression are central to the values and goals of ArgLP. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, ArgLP is committed to providing a harassment-free conference experience, and implements the ACM policy against harassment (http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy). ArgLP participants violating these standards may be sanctioned or expelled from the meeting, at the discretion of the conference organizers. Conference organizers are requested to report serious incidents to the ICLP General Chair. From martin.lange at uni-kassel.de Wed Apr 15 19:41:32 2015 From: martin.lange at uni-kassel.de (Martin Lange) Date: Wed, 15 Apr 2015 19:41:32 +0200 Subject: TIME 2015 Last Call for Papers - the 22nd Int. Symp. on Temporal Representation and Reasoning, Kassel, Germany In-Reply-To: <54CB4173.6090504@uni-kassel.de> References: <54CB4173.6090504@uni-kassel.de> Message-ID: <552EA2CC.7080209@uni-kassel.de> *** Apologies for multiple copies *** 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 http://time2015.uni-kassel.de Last call for papers - submission deadline on April 30th TIME 2015 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 22nd edition, has a wide remit and intends to cater both for theoretical aspects and well-founded applications. One of the key aspects of the time symposium is its interdisciplinarity with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification. Temporal Representation and Reasoning in AI includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences Temporal Database Management includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - experiences with real applications Temporal Logic and Verification in Computer Science includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security Important Dates **************** - Submission deadline: April 30th - Notification: June 30th - Final version due: July 17th - Early registration deadline: July 31st - Symposium: September 23rd-25th Invited Speakers **************** - Giuseppe de Giacomo, Sapienza Università di Roma - Carlo Zaniolo, UCLA - Benedikt Bollig, ENS Cachan Program Committee ******************** Thomas Ågotnes, Univ. of Bergen Alessandro Artale, Free Univ. of Bolzano-Bozen Sourav S. Bhowmick, Nanyang Technical Univ. Michael Böhlen, Univ. of Zurich Amedeo Cesta, ISTC-CNR, Rome Carlo Combi, Univ. of Verona Stephane Démri, CNRS, Cachan Clare Dixon, Univ. of Liverpool Curtis Dyreson, Utah State University Johann Eder, Alpen Adria Univ. Klagenfurt Shashi K. Gadia, Iowa State Univ. Rajeev Goré, Australian National Univ., Canberra Fabio Grandi, Univ. of Bologna (PC co-chair) Keijo Heljanko, Aalto Univ. Wojciech Jamroga, Polish Academy of Sciences, Warsaw Felix Klaedtke, NEC Research, Heidelberg Martin Lange, Univ. of Kassel (PC co-chair) Francois Laroussinie, Univ. of Paris 7 Martin Leucker, Univ. of Lübeck Alessio Lomuscio, Imperial College (PC co-chair) Étienne Lozes, ENS Cachan Federica Mandreoli, Univ. of Modena and Reggio Emilia Jerzy Marcinkowski, Univ. of Wroclaw Angelo Montanari, Univ. of Udine Ben Moszkowski, Univ. of Newcastle Aniello Murano, Univ. of Napoli "Federico II" Kjetil Nørvåg, Norwegian Univ. of Science and Technology, Trondheim Dirk Pattinson, Australian National Univ., Canberra Ram Ramanujam, IMS Chennai Sven Schewe, Univ. of Liverpool Paolo Terenziani, Univ. of Turin Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign James Worrell, Univ. of Oxford Robert Wrembel, Poznan Univ. of Technology Submissions ************ Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 10 pages (US letter format); over-length submissions may be rejected without review. Submissions will be handled electronically by Easychair. Proceedings ************ Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Conference Publishing Services (CPS), as usual within the TIME series. Acceptance of a paper is contingent on one author registering for and presenting the paper at the symposium. Journal Special Issue ******************** As in previous years, the authors of the best papers of the conference will be invited to submit an extended version of their contribution to a special issue on TIME 2015, to appear in the journal Information & Computation. Venue ****** TIME2015 will be held at the University of Kassel. The city of Kassel is situated in the center of Germany with convenient train connections to major cities and airports, including Frankfurt. Kassel is a center of culture and art, once home to the famous Brothers Grimm, now hosting an art school of high reputation and the documenta - regarded to be Europe’s most important modern art exhibition taking place every fifth year only. The 300-year-old “Bergpark”, a large park-like area with a castle and monuments at Kassel’s western boundaries, has recently been given the status of a UNESCO heritage site and become a major tourist attraction since. For more information please consult http://www.kassel.de/englisch/. From michal.zawidzki at gmail.com Mon Apr 13 16:51:34 2015 From: michal.zawidzki at gmail.com (=?UTF-8?Q?Micha=C5=82_Zawidzki?=) Date: Mon, 13 Apr 2015 16:51:34 +0200 Subject: 2nd Call for Papers: LQMR'15 Message-ID: **Appologies for cross-posting** *1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15)* as a part of FedCSIS - Federated Conference on Computer Science and Information Systems 13-16 September, 2015 Lodz, Poland https://www.fedcsis.org/2015/lqmr *2nd CALL FOR PAPERS* *Deadline*: 24 April 2015 *INTRODUCTION* LQMR'15 aims at bringing together researchers from various fields interested in qualitative modelling and reasoning. In particular, the workshop will focus on the formal approaches to qualitative reasoning, its philosophical aspects and practical applications of QR methods in engineering and computer science. *INVITED SPEAKERS* *Thomas Bittner*, Department of Philosophy, State University of New York at Buffalo, USA (director of the Qualitative Spatial Reasoning unit of the Ontology Research Group, leading expert in amongst others: formal ontology, qualitative spatial reasoning and geographic information science) *Ivan Bratko*, head of Artificial Intelligence Laboratory, Faculty of Computer and Information Science of the University of Ljubljana (author of over 200 scientific papers and numerous books, his research interests include machine learning, qualitative modelling and heuristic programming) *Kenneth D. Forbus*, Walter P. Murphy Professor of Computer Science and Professor of Education, Northwestern University, USA (head of the Cognitive Systems Area, prominent expert in qualitative reasoning, analogical reasoning and learning, inference engine design) *Ian Pratt-Hartmann*, School of Computer Science, The University of Manchester, United Kingdom / Institute of Mathematics and Informatics, University of Opole, Poland (leading researcher in the fields of logic, AI and cognitive science. His main interests include interfaces between logic and complexity theory, logic and geometry and logic and natural language) *AIMS AND SCOPE* We invite submissions on all aspects of qualtitative modelling and reasoning including but not limited to: - logics for qualitative reasoning - mixed qualitative–quantitative reasoning, - formal (e.g., logical, relational) representations of qualitative reasoning - geometric, spatial, and temporal reasoning - declarative spatial reasoning - logical formalisations of qualitative motion - knowledge representation and reasoning under incomplete, vague or inconsistent information - qualitative decision theory - qualitative reasoning in decision–support systems - complexity of qualitative reasoning - automated theorem proving for qualitative reasoning - qualitative physics, and simulation - qualitative methods in cognitive vision and robotics - qualitative reasoning for product, mechanical, and architecture design *IMPORTANT DATES* - Paper submission: Friday Apr 24 2015 12:00:00 pm HST - Acceptance decision: June 15, 2015 - Final version of paper submission: July 01, 2015 - Conference dates: September 13-16, 2015 *SUBMISSIONS DETAILS* Instruction on paper submission, including style templates, are available at the workshop's webpage: https://www.fedcsis.org/2015/lqmr Workshop proceedings will be published as a SEPARATE ELECTRONIC VOLUME, WITH ISBN, ISSN AND DOI NUMBERS and will be made available at the conference WWW site. These papers will be indexed in the BazEcon database, and submitted for indexing to: Thomson Reuters Web of Science, SciVerse Scopus, Inspec, DBLP Computer Science Bibliography and Google Scholar. *PROGRAM COMMITTEE* - Philippe Balbiani (University of Toulouse, France) - Mohua Banerjee (Indian Institute of Technology, India) - Mehul Bhatt, Co-Chair (University of Bremen, Germany) - Ivan Bratko (University of Ljubljana, Slovenia) - Domenico Cantone (University of Catania, Italy) - Cezary Cieśliński (University of Warsaw, Poland) - Davide Ciucci (University of Milano-Bicocca, Italy) - Ivo Duentsch (Brock University, Canada) - Alessandro Facchini (Dalle Molle Institute for Artificial Intelligence, Switzerland) - Nina Gierasimczuk (University of Amsterdam, The Netherlands) - Joanna Golińska-Pilarek, Co-Chair (University of Warsaw, Poland) - Valentin Goranko (Stockholm University, Sweden) - Jarek Gryz (University of York, Canada) - Taneli Huuskonen (University of Helsinki, Finland) - Linh Nguyen (University of Warsaw, Poland) - Marianna Nicolosi Asmundo (University of Catania, Italy) - Manuel Ojeda-Aciego (University of Malaga, Spain) - Ewa Orłowska (National Institute of Telecommunications, Poland) - Ian Pratt-Hartmann (The University of Manchester, United Kingdom) - Torsten Schaub (University Potsdam, Germany) - Renate Schmidt (University of Manchester, United Kingdom) - Carl Schultz (University of Bremen, Germany) - Jakub Szymanik (University of Amsterdam, The Netherlands) - Johan van Benthem (University of Amsterdam, The Netherlands) *WORKSHOP CHAIRS* - Tomasz Lechowski (University of Warsaw, Poland) - Przemysław Wałęga (University of Warsaw, Poland) - Michał Zawidzki (University of Lodz / University of Warsaw, Poland) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Thu Apr 16 11:48:10 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Thu, 16 Apr 2015 06:48:10 -0300 Subject: IJCAI 2015 Repeat Buyers Prediction Competition Message-ID: [Apology for cross-postings] ************************************************************************************************* Repeat Buyers Prediction after Sales Promotion IJCAI will inaugurate an exciting machine learning contest sponsored by Alibaba Corp at the 2015 IJCAI Conference. This contest aims to apply state of the art machine learning and data mining techniques to predict which shoppers would become repeat buyers after sales promotions. Click here (http://t.cn/RACykms) to find out more, and please join and win the awards as well as travel grants to Argentina! Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From dietmar.jannach at tu-dortmund.de Thu Apr 16 12:45:14 2015 From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach) Date: Thu, 16 Apr 2015 12:45:14 +0200 Subject: EC-Web 2015: Call for papers (Submission Deadline: 1 June 2015) Message-ID: <01c301d07832$6c5daa00$4518fe00$@tu-dortmund.de> ======================================================= CALL FOR PAPERS 16th International Conference on ELECTRONIC COMMERCE AND WEB TECHNOLOGIES (EC-Web 2015) 1-2 September, 2015 Valencia, Spain http://www.dexa.org/ecweb2015 *** New Deadline (Papers and Extended Abstracts): June 1st *** ======================================================= BACKGROUND, AIMS AND SCOPE ========================== EC-Web is an international scientific conference series devoted to technology related aspects of e-Commerce and e-Business. The 16th edition of the conference, EC-Web 2015, will take place in Valencia, Spain in September 2015 and will serve as a forum to bring together researchers and practitioners to present and discuss recent advances in their fields. We solicit original scientific contributions in the following areas: * Search, Comparison and Recommender Systems * Semantic-based Systems, Ontologies and Linked Data * Agent-based Systems, Negotiation and Auctions * Social Web and Social Media in E-Commerce * Computational Advertising * E-commerce Infrastructures and Cloud-based Services * Business Processes, Web Services and Service-Oriented Architectures * E-Business Architectures * Emerging Business Models, Software as a Service, Mobile Services * Security, Privacy and Trust * Case Studies SPECIAL TRACKS ============== Beside the general track, EC-Web 2015 will feature a set of special tracks on selected topics: T1) Search, Comparison and Recommender Systems (Track chair: Tommaso Di Noia, Politecnico di Bari, Italy) T2) Semantic Web (Track chair: Asunción Gómez Pérez, UPM Madrid, Spain) T3) E-commerce Infrastructures (Track chair: Jorge Cardoso, University of Coimbra, Portugal) T4) Social Web (Track chair: Conor Hayes, DERI, Ireland) T5) Agents (Track chair: Helder Coelho, University of Lisbon, Portugal) T6) Open Track T7) PhD Track PAPER SUBMISSION, SELECTION AND PUBLICATION =========================================== Authors are invited to submit original and unpublished research papers at http://confdriver.ifs.tuwien.ac.at/dexa2015 The manuscripts are limited to 12 pages using the Springer LNBIP style sheet: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 Authors may also submit extended abstracts of full papers with a length of 4-6 pages. Authors of accepted extended abstracts will be asked to provide full papers for final review and inclusion in the proceedings in autumn 2015. The selection of papers will be based on a peer-review process by selected international experts. Each paper will be peer-reviewed by at least 3 reviewers. The proceedings will be published as post-conference proceedings in the Springer Lecture Notes in Business Information Processing (LNBIP) series in autumn 2015. Selected papers will get the opportunity to submit to a fast track review process in the Journal on Data Semantics. IMPORTANT DATES =============================== 1 Jun 2015: Paper submission 15 Jul 2015: Notification of acceptance 1-2 September 2015: Conference held ORGANIZATION =============================== Program chairs: * Heiner Stuckenschmidt, University of Mannheim, Germany * Dietmar Jannach, TU Dortmund, Germany From muh_sidd at encs.concordia.ca Fri Apr 17 07:38:24 2015 From: muh_sidd at encs.concordia.ca (Muhammad Umair Siddique) Date: Fri, 17 Apr 2015 01:38:24 -0400 Subject: CICM 2015 Doctoral Programme [2nd Call for Applications] Message-ID: <20150417013824.pnddfrow040w8880@mail.encs.concordia.ca> CALL FOR APPLICATIONS CICM 2015 Doctoral Programme 13-17 July 2015 Washington DC, USA http://www.cicm-conference.org/2015/cicm.php The CICM conferences Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on necessity and merit. IMPORTANT DATES Submission of applications: May 4, 2015 Notification of acceptance: May 25, 2015 For any further questions please contact Umair Siddique (muh_sidd at ece.concordia.ca) ----- End forwarded message ----- From tobias.philipp at tu-dresden.de Fri Apr 17 10:30:13 2015 From: tobias.philipp at tu-dresden.de (Tobias Philipp) Date: Fri, 17 Apr 2015 10:30:13 +0200 Subject: The European Master's Program in Computational Logic: Application until 31 May 2015 Message-ID: Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are still possible UNTIL 31 May 2015. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de -- TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden,Germany Tel.: +49 (0)351 463 38341 -- In the case, you do not want to receive this email, please write an email to tobias.philipp at tu-dresden.de, subject: UNSUBSCRIBE From ajanthadahanayake at yahoo.com Fri Apr 17 15:27:26 2015 From: ajanthadahanayake at yahoo.com (Ajantha Dahanayake) Date: Fri, 17 Apr 2015 13:27:26 +0000 (UTC) Subject: Extended Deadline [CFP] DCSA2015 @ ADBIS2015 In-Reply-To: <1788547147.6185977.1429277019188.JavaMail.yahoo@mail.yahoo.com> References: <1099410131.3120031.1429276463810.JavaMail.yahoo@mail.yahoo.com> <920559759.6186913.1429276816340.JavaMail.yahoo@mail.yahoo.com> <1788547147.6185977.1429277019188.JavaMail.yahoo@mail.yahoo.com> Message-ID: <2082105293.6197390.1429277246464.JavaMail.yahoo@mail.yahoo.com> Dear colleagues, The extended deadline for papers submission is _*April 30, 2015. *_ The details are included in Call for Papers available at:  Data CenteredSmart Applications DCSA website: http://www.is.informatik.uni-kiel.de/en/is/events/dcsa2015adbis/ Workshop incollaboration with The 19thinternational conference of Advanced Data Bases and Information Systems 2015(http://adbis2015.ensma.fr) ADBID 2015Futuroscope, Poitiers - France, September 8-11, 2015 Please encourage your colleagues/friends to submit papers to DCSA 2015. We count on your contribution. With Best Regards. Ajantha Dahanayake & Bernhard Thalheim DCSA 2015 Co-Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Fri Apr 17 22:40:02 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 17 Apr 2015 22:40:02 +0200 Subject: CfP LPNMR 2015: DEADLINES UPDATE Message-ID: [apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. IMPORTANT DATES * Paper registration: April 24th, 2015 (*UPDATED*) * Paper submission: April 30th, 2015 (*UPDATED*) * Notification: June 1st, 2015 * Final versions due: June 15th, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From M.Maher at adfa.edu.au Sat Apr 18 17:23:12 2015 From: M.Maher at adfa.edu.au (Michael Joseph Maher) Date: Sat, 18 Apr 2015 15:23:12 +0000 Subject: CfP: 28th Australasian Joint Conference on Artificial Intelligence Message-ID: <07DCDF9F05864847943292A73987AE6F871A3188@ADFAPWEXMBX01.ad.adfa.edu.au> 28th AUSTRALASIAN JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE Canberra, Australia, 30 November - 4 December 2015 http://ai2015.unsw.adfa.edu.au/ Call for Papers Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2015, the 28th Australasian Joint Conference on Artificial Intelligence will be held in Canberra, Australia. Important Dates: Main conference papers due: July 1, 2015 http://ai2015.unsw.adfa.edu.au/calls.html Workshop proposals due: June 1, 2015 http://ai2015.unsw.adfa.edu.au/call-for-workshop-proposals.html Tutorial proposals due: June 1, 2015 http://ai2015.unsw.adfa.edu.au/call-for-tutorials-proposals.html Student Symposium submissions due: September 30, 2015 http://ai2015.unsw.adfa.edu.au/call-for-sc-participation.html Prospective authors are invited to submit original research and application papers in any area of Artificial Intelligence including, but not limited to, the following: Agent-based and multiagent systems AI applications and innovations Cognitive modelling and computer human interaction Commonsense reasoning Computer vision Constraint satisfaction, search, and optimisation Evolutionary computation Game playing and interactive entertainment Information retrieval, integration, and extraction Knowledge acquisition and ontologies Knowledge representation and reasoning Machine learning and data mining Model-based systems Multidisciplinary AI Natural language processing Planning and scheduling Robotics Social choice Uncertainty in AI Web and information systems Paper Submission All papers should be submitted electronically in PDF format and formatted using Springer's manuscript submission guidelines http://www.springer.de/comp/lncs/authors.html Submitted papers should not exceed 12 pages and should not be under review or submitted for publication elsewhere during the review period. All papers will be peer reviewed by at least three independent referees. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Submission will be through the Easychair conference management system at the following URL: https://easychair.org/conferences/?conf=ai20150 All papers accepted for the Conference will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is required to register for the conference and to present the paper. Conference Organization Jochen Renz, ANU, Program Co-Chair Bernhard Pfahringer, Univ. Waikato, Program Co-Chair Michael J Maher, UNSW Canberra, Conference Co-Chair Sylvie Thiebaux, ANU/NICTA, Conference Co-Chair ________________________________ UNSW AUSTRALIA UNSW CANBERRA AT THE AUSTRALIAN DEFENCE FORCE ACADEMY PO Box 7916, CANBERRA BC 2610, Australia Web: http://unsw.adfa.edu.au CRICOS Provider no. 00098G This message is intended for the addressee named and may contain confidential information. If you are not the intended recipient, please delete it and notify the sender. Views expressed in this message are those of the individual sender and are not necessarily the views of UNSW. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Apr 18 22:14:17 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 18 Apr 2015 22:14:17 +0200 Subject: AlCoB 2015: presentation of work in progress Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* The 2nd International Conference on Algorithms for Computational Biology (AlCoB 2015) invites authors to submit work in progress for presentation. AlCoB 2015 will be held in Mexico City on August 4-6, 2015. See http://grammars.grlmc.com/alcob2015/ Presentations are intended to enhance informal interactions with conference participants, at the same time permitting in-depth discussion. TOPICS Authors can submit presentations describing novel work in progress on any of the topics within the scope of the conference. They do not need to contain final results, but research that may lead to future interesting developments is welcome. KEY DATES Submission deadline: June 26, 2015 Notification of acceptance or rejection: 7 days after submission SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=alcob2015 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Each presentation will be allocated 15 minutes in the programme. PUBLICATION The presented work will not appear in the LNCS/LNBI proceedings volume of AlCoB 2015. However, it will be eligible for submission to the post-conference Journal of Computational Biology special issue. REGISTRATION Authors of work in progress have to register to the conference. They will pay a reduced fare. This comprises access to all sessions, one copy of the proceedings volume, coffee breaks and lunches. --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From announce at cs.ucy.ac.cy Sun Apr 19 15:13:04 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 19 Apr 2015 16:13:04 +0300 Subject: New CFP: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015) Message-ID: *** New Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ *** New Submission Deadline: 16th May 2015 *** (Due to continuous submissions and many requests for additional time we have given a further extension to the submission deadline. Furthermore, this updated call includes new information about financial assistance to students, a special issue in a reputable journal with the best papers accepted at the conference, and invited speakers.) Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Keynote Speakers * Dr. Diana Mayfield, University of Sheffield, UK "What you Tweet is What You Get: challenges and opportunities for social media analysis in industry". * Professor Nikolay Mehandjiev, University of Manchester, UK "Understanding the Tribal Web". Best Papers Selection of the best papers from the conference will be recommended for publication at the Elsevier Journal of Web Semantics, http://www.journals.elsevier.com/journal-of-web-semantics/. Financial Assistance WIMS 2015 is offering up to $4000 as financial assistance for students whose papers are accepted at the conference. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 16.05.2015 Submission of papers/posters (new submission deadline) 06.06.2015 Notification of acceptance for papers/posters (new date) 13.06.2015 Camera ready versions of the accepted papers and posters (new date) 16.06.2015 Author registration deadline (new date) 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schueller.p at gmail.com Mon Apr 20 09:36:53 2015 From: schueller.p at gmail.com (schueller.p at gmail.com) Date: Mon, 20 Apr 2015 10:36:53 +0300 (EEST) Subject: CFP: 2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015)@LPNMR Message-ID: <20150420073653.824522C00AB@omsievews> (Apologies for cross-posting.) CALL FOR PAPERS 2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015) https://sites.google.com/site/nlpar2015/ Collocated with the 13th International Conference on Logic Programming and Nonmonotonic Reasoning 2015 in Lexington, Kentucky, USA, September 27-30, 2015. AIMS AND SCOPE Natural Language Processing (NLP) has been of interest for a long time; to the Artificial Intelligence community in general and to the Logic Programming and Automated Reasoning community in particular. NLP approaches that are based on logical inference promise a deeper understanding of natural language than possible with purely statistics-based methods. A deep understanding is beneficial and necessary in most areas of NLP, for example word and entity recognition; word sense disambiguation; parsing and syntactical disambiguation; and reasoning over the semantics and pragmatics of words, phrases, sentences, and whole discourses. This workshop aims to bring together researchers with a common interest in addressing the challenges of natural language processing using automated reasoning methods. This edition will feature an invited talk by Jerry Hobbs, the winner of the 2013 Lifetime Achievement Award of the Association of Computational Linguistics, who has been doing pioneering research on the interface between natural language, logical inference, and common sense knowledge over the past 40 years. As submissions to this workshop, theoretical results, reports about systems and experiments, and work that combines logical inference and statistical methods, are welcome. Topics include but are not limited to: * Morphology * Named Entity Recognition * Syntax * Coreference Resolution * Semantics * Discourse * Pragmatics * Ontologies for NLP * Controlled Natural Language * Question Answering * Recognizing Textual Entailment * Natural Language Generation * Text Summarization * Machine Translation INSTRUCTIONS FOR AUTHORS NLPAR 2015 aims to present original scientific research, and will not accept any paper which, at the time of submission, has already been published or accepted for publication in a journal or previous conference. Submissions must be written in English and formatted according to the Springer LNCS/LNAI author instructions. http://www.springer.com/comp/lncs/Authors.html Papers must present original research and not exceed 12 pages including title page, references and figures. Paper submission and peer review is electronic and managed through the following easychair webpage. https://easychair.org/conferences/?conf=nlpar2015 Proceedings will be published online after the workshop, we intend to publish them as CEUR workshop proceedings on CEUR-WS.org. IMPORTANT DATES * Paper submission: June 22, 2015 * Notification: July 27, 2015 * Final version: August 17, 2015 * Workshop: September 27, 2015 ORGANIZING COMMITTEE Marcello Balduccini (Drexel University, USA) Katya Ovchinnikova (KIT, Karlsruhe & ICT, Uni Heidelberg, Germany) Peter Schueller (Marmara University, Turkey) Email Contact: nlpar2015 at easychair.org PROGRAM COMMITTEE Chitta Baral (Arizona State University, USA) Johan Bos (University of Groningen, Netherlands) Vinay Chaudhri (SRI International, USA) Esra Erdem (Sabanci University, Turkey) Katrin Erk (University of Texas at Austin, USA) Christian Ferm�ller (TU Wien, Austria) Michael Gelfond (Texas Tech University, USA) Kentaro Inui (Tohoku University, Japan) Yuliya Lierler (University of Nebraska at Omaha, USA) Lenhart Schubert (University of Rochester, USA) Rolf Schwitter (Marcquarie University, Australia) Mark Steedman (University of Edinburgh, UK) Luis Tari (GE Global Research, USA) INVITED SPEAKERS Jerry Hobbs (UCS/ISI, USA) From tobo at dtu.dk Mon Apr 20 12:03:37 2015 From: tobo at dtu.dk (Thomas Bolander) Date: Mon, 20 Apr 2015 10:03:37 +0000 Subject: Call for Papers: SCAI 2015 Message-ID: <4103C3E1-2415-4AC1-87B4-A7EDDD0BE38C@dtu.dk> ******************************************************************************** First Call for Papers SCAI 2015 The Thirteenth Scandinavian Conference on Artificial Intelligence November 5-6, 2015 Halmstad, Sweden http://www.hh.se/scai2015 ******************************************************************************** The 13th Scandinavian AI conference, SCAI 2015, will be held in Halmstad, Sweden, on 5th and 6th of November, 2015. The conference is co-organised by Center for Applied Intelligent Systems Research at Halmstad University, and SAIS, the Swedish Artificial Intelligence Society. As a part of the conference, on 4th of November 2015, we will organise a Doctoral Symposium, for which a separate call for contributions will be issued. We will also hold thematic workshops (we invite submissions of topics) and we especially encourage initiatives that promote closer cooperation between the academia and industry in the region (we hope to hold a special industry track and/or a demo session). We plan a dedicated networking event to facilitate cooperation, both on the EU level as well as targeting funding opportunities specific to individual Scandinavian countries. For the main conference, submissions from all areas of Artificial Intelligence are invited. This includes, but is not limited to: Machine Learning, Data Mining, Knowledge Representation and Reasoning, Planning and Scheduling, Natural Language, Computer Vision, Data Streams, Search Algorithms, Multi-Agent Systems, Big Data, Artificial Life, Cognitive Robotics, Probabilistic Graphical Models, Industrial Applications, and Philosophical Foundations. Papers must contain original, previously unpublished contributions on AI theory, methods, or applications. Submitted papers will be reviewed by at least two members of the program committee, and can be accepted either for oral or poster presentation. All accepted papers will be included in the conference proceedings. In the last editions of the conference proceedings have been published by IOS press. Paper submission will be handled through the EasyChair system at https://easychair.org/conferences/?conf=scai2015 Important Dates --------------- Submission site open: April 2015 Paper submission: 31st of May 2015 Author notification: August 2015 Camera-ready copy due: September 2015 Contact ---------- scai2015 at hh.se ******************************************************************************** From marco.gavanelli at unife.it Mon Apr 20 17:34:03 2015 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Mon, 20 Apr 2015 17:34:03 +0200 Subject: AI*IA2015: deadline extended to May 4th Message-ID: <55351C6B.8030000@unife.it> AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence, Ferrara September 23-25, 2015 ----------------------------------------------------------------- ----------------------------------------------------------------- AI*IA 2015 is the fourteenth International Conference on Advances in Artificial Intelligence held bi-annually by the Italian Association for Artificial Intelligence (AI*IA). ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program. Contributions are invited on original, and unpublished research on all aspects of artificial intelligence, including, but not limited to: * AI and digital entertainment * AI applications * AI architectures * AI in Learning Environments * Big Data * Cognitive modeling * Cognitive Robotics * Constraint Satisfaction * Experimentation of Combinatorial Algorithms * Human Computer Interaction * Information Agents * Information Retrieval and Extraction * Knowledge Acquisition * Knowledge Engineering * Knowledge Representation * Learning in adaptive systems * Machine Consciousness * Machine learning * Mathematical Foundations * Metacognition in Artificial Agents * Multiagent Systems, Distributed AI * Natural Language Processing * Ontologies * Philosophical Foundations * Planning and Scheduling * Reasoning * Robotics * Search * Semantic Web * Smart Cities * Soft and Evolutionary Computing * Temporal Reasoning * Uncertainty * Vision * Web and Data Mining The conference welcomes papers on AI applications, that will have a special track. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publica- tion elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 12 pages plus bibliography. Paper submission is electronic via easychair at the address https://easychair.org/conferences/?conf=aixia2015 When you submit your paper, please indicate if it is an application paper by checking the relative box. The proceedings will appear in Springer LNAI. ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Paper submission deadline: May 4th, 2015 Notification to authors: June 15th, 2015 Camera-ready copies due: July 15th, 2015 Early registration deadline for at least one of the authors of accepted papers: July 5th, 2015 Early registration deadline (for everybody else): July 31st, 2015 Late registration deadline: September 5th, 2015 (after that, only on site registration will be available) Conference dates: September 23-25, 2015 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: http://aixia2015.unife.it ----------------------------------------------------------------- Best Paper Award ----------------------------------------------------------------- The best paper drawn from the papers presented at the AI*IA 2015 Conference will be awarded the AI*IA 2015 Best Paper Award. ----------------------------------------------------------------- Conference Chairs ----------------------------------------------------------------- Marco Gavanelli, Università degli Studi di Ferrara Fabrizio Riguzzi, Università degli Studi di Ferrara Evelina Lamma, Università degli Studi di Ferrara ----------------------------------------------------------------- Program committee ----------------------------------------------------------------- Matteo Baldoni Stefania Bandini Roberto Basili Nicola Basilico Elena Bellodi Federico Bergenti Stefano Bistarelli Luciana Bordoni Francesco Buccafurri Stefano Cagnoni Diego Calvanese Amedeo Cappelli Luigia Carlucci Aiello Amedeo Cesta Antonio Chella Carlo Combi Gabriella Cortellessa Stefania Costantini Giuseppe De Giacomo Francesco Donini Agostino Dovier Floriana Esposito Stefano Ferilli Nicola Guarino Luca Iocchi Nicola Leone Chendong Li Francesca Alessandra Lisi Bernardo Magnini Sara Manzoni Alberto Martelli Paola Mello Alessio Micheli Alfredo Milani Michela Milano Stefania Montani Alessandro Moschitti Roberto Navigli Angelo Oddi Andrea Omicini Maria Teresa Pazienza Roberto Pirrone Piero Poccianti Gian Luca Pozzato Luca Pulina Daniele P. Radicioni Francesco Ricca Andrea Roli Salvatore Ruggieri Fabio Sartori Ken Satoh Andrea Schaerf Floriano Scioscia Giovanni Semeraro Roberto Serra Francesca Toni Pietro Torasso Eloisa Vargiu Marco Villani Giuseppe Vizzari -- Marco Gavanelli, Ph.D. in Computer Science Dept of Engineering University of Ferrara Tel/Fax +39-0532-97-4833 http://docente.unife.it/marco.gavanelli From announce at cs.ucy.ac.cy Mon Apr 20 17:26:14 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 20 Apr 2015 18:26:14 +0300 Subject: Call for Papers: 2nd IEEE/ACM International Conference on Big Data Computing (BDC 2015) Message-ID: *** Call for Papers *** 2nd IEEE/ACM International Conference on Big Data Computing (BDC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus Co-located with the 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) http://datasys.cs.iit.edu/events/BDC2015/ CONTEXT AND SCOPE Rapid advances in digital sensors, networks, storage, and computation along with their availability at low cost is leading to the creation of huge collections of data -- dubbed as Big Data. This data has the potential for enabling new insights that can change the way business, science, and governments deliver services to their consumers and can impact society as a whole. This has led to the emergence of the Big Data Computing paradigm focusing on sensing, collection, storage, management and analysis of data from variety of sources to enable new value and insights. To realize the full potential of Big Data Computing, we need to address several challenges and develop suitable conceptual and technological solutions for dealing them. These include life-cycle management of data, large-scale storage, flexible processing infrastructure, data modeling, scalable machine learning and data analysis algorithms, techniques for sampling and making trade-off between data processing time and accuracy, and dealing with privacy and ethical issues involved in data sensing, storage, processing, and actions. The International Symposium on Big Data Computing (BDC) 2015 -- held in conjunction with 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC) 2015, December 7-10, 2015, St. Raphael Resort, Limassol, Cyprus, aims at bringing together international researchers, developers, policy makers, and users and to provide an international forum to present leading research activities, technical solutions, and results on a broad range of topics related to Big Data Computing paradigms, platforms and their applications. The conference features keynotes, technical presentations, posters, and workshops. TOPICS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Big Data Computing. Topics of interest include but are not limited to: I. Big Data Science · Analytics · Algorithms for Big Data · Energy-efficient Algorithms · Big Data Search · Big Data Acquisition, Integration, Cleaning, and Best Practices · Visualization of Big Data II. Big Data Infrastructures and Platforms · Programming Systems · Cyber-Infrastructure · Performance evaluation · Fault tolerance and reliability · I/O and Data management · Storage Systems (including file systems, NoSQL, and RDBMS) · Resource management · Many-Task Computing · Many-core computing and accelerators III. Big Data Security and Policy · Management Policies · Data Privacy · Data Security · Big Data Archival and Preservation · Big Data Provenance IV. Big Data Applications · Scientific application cases studies on Cloud infrastructure · Big Data Applications at Scale · Experience Papers with Big Data Application Deployments · Data streaming applications · Big Data in Social Networks · Healthcare Applications · Enterprise Applications One or more best paper awards will be given for outstanding contributed papers. PAPER SUBMISSION Authors are invited to submit papers electronically. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including figures, tables and references. Authors should submit the manuscript in PDF format and make sure that the file will print on a printer that uses letter size (8.5 x 11) paper. The official language of the meeting is English. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Papers conforming to the above guidelines can be submitted through the BDC 2015 paper submission system: https://www.easychair.org/conferences/?conf=bdc2015). Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the conference PC Chair for more information. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. There is NO student rate for the author who is responsible for registration for his/her published paper. If you have more than one accepted paper, you have to register for each one individually. There is no discount if you have two or more papers accepted. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. SPECIAL ISSUES Selected papers from BDC 2015 will be invited to extend and submit to the Special Issue on Big Data Computing in the IEEE Transaction on Cloud Computing. IMPORTANT DATES · Paper submissions due: 03 July, 2015 · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 21 September, 2015 · Proceedings-published posters due: 28 August, 2015 · Notification of acceptance: 18 September, 2015 · Camera ready posters due: 21 September, 2015 ORGANIZATION General Chairs · Rajkumar Buyya, University of Melbourne, Australia · George Papadopoulos, University of Cyprus Program Committee Chairs (bdc15-chairs at datasys.cs.iit.edu) · Amy Apon, National Science Foundation, USA · Ioan Raicu, Illinois Institute of Technology & Argonne National Laboratory, USA · Manish Parashar, Rutgers University, USA Program Committee Vice Chairs · Ilkay Altintas, University of California, San Diego, USA · Omer Rana, Cardiff University, UK Program Committee Members · Alexander Rasin, DePaul University, USA · Alok Choudhary, Northwestern University, USA · Abhishek Chandra, University of Minnesota, USA · Andre Luckow, BMW IT Research Center, USA · Daniel Katz, University of Chicago and Argonne National Lab, USA · Dongfang Zhao, Illinois Institute of Technology, USA · Douglas Thain, University of Notre Dame, USA · Florian Schintke, Zuse Institute Berlin, Germany · Giuliano Casale, Imperial College London, UK · Jaliya Ekanayake, Microsoft, USA · Jessica Chen-Burger, Heriot-Watt University, UK · Judy Qiu, Indiana University, USA · Justin Wozniak, Argonne National Lab, USA · Ke Wang, Illinois Institute of Technology, USA · Kesheng (John) Wu, Lawrence Berkeley National Lab, USA · Kyle Chard, University of Chicago and Argonne National Lab, USA · Lavanya Ramakrishnan, Lawrence Berkeley National Laboratory, USA · Marco Netto, IBM Research, Brazil · Matei Ripeanu, University of British Columbia, Canada · Matei Stroila, HERE, USA · Nagiza Samatova, North Carolina State University, USA · Paolo Missier, Newcastle University, UK · Paul Watson, NewCastle University, UK · Peter Burnap, Cardiff University, UK · Rahul Potharaju, Microsoft, USA · Rajkumar Kettimuthu, Argonne National Lab and University of Chicago, USA · Robert Ross, Argonne National Lab, USA · Samer Al-Kiswany, University of British Columbia, Canada · Scott Klasky, Oak Ridge National Lab, USA · Wei Tang, Argonne National Lab, USA · Weidong Shi, University of Houston, USA · Xiaolin (Andy) Li, University of Florida, USA · Yanlong Yin, Bloomberg, USA · Yong Chen, Texas Tech University, USA · Yong Zhao, University of Electronic Science and Technology, China · Zhao Zhang, University of California, Berkeley, USA Cyber Chair · Dongfang Zhao, Illinois Institute of Technology, USA Local Organizing Committee Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thomas.lukasiewicz at gmail.com Tue Apr 21 00:32:37 2015 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Mon, 20 Apr 2015 23:32:37 +0100 Subject: CfP: Special Issue on Logics for Preferences, Uncertainty and Vagueness Message-ID: <55357E85.6020300@cs.ox.ac.uk> ****************************************************************** CALL FOR PAPERS * IfCoLog Journal of Logics and their Applications * Special Issue on Logics for Reasoning about Preferences, Uncertainty and Vagueness http://lat.inf.tu-dresden.de/PRUV-SI15/ ****************************************************************** PRUV 2014 was the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. This workshop was associated to the Vienna Summer of Logic. The aim of PRUV is to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, working on logics for reasoning about preferences, uncertainty, and vagueness. Making researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, respectively is the main goal of the meeting. After a successful workshop, the IfCoLog Journal of Logics and their Applications now invites submissions to a special issue on the topics of PRUV. == Submission Deadline == ** June 21st, 2015 ** == TOPICS == We welcome submissions relating logic with preferences, uncertainty and vagueness. Some logics of interest are: - first order logic, - propositional logic, - logic programming, - answer set programming, - description logics, - modal logic, - dynamic logic, - temporal logics, - defeasible logics, - agent logics. Formalisms for handling preferences, uncertainty and vagueness include, but are not limited to - probability measures, - Bayesian networks, - possibility measures, - preference networks, - CP-networks, - rough sets, - fuzzy set theory. == PUBLICATION == All accepted papers will be published in a special issue of the IFCOLOG Journal of Logics and their Applications (http://www.collegepublications.co.uk/journals/ifcolog/). == SUBMISSION GUIDELINES == Submissions must be prepared in LaTeX using the IfCoLog style (http://lat.inf.tu-dresden.de/PRUV-SI15/ifcolog.cls). All submitted manuscripts must contain original material not previously published or currently under review in any other journal. Submissions extending results previously published at a conference or workshop are welcome. Submissions will be made via EasyChair: https://www.easychair.org/conferences/?conf=pruvsi15 More information is available at the special issue webpage http://lat.inf.tu-dresden.de/PRUV-SI15/ From vstte15 at gmail.com Tue Apr 21 04:52:30 2015 From: vstte15 at gmail.com (VSTTE Conference) Date: Mon, 20 Apr 2015 19:52:30 -0700 Subject: VSTTE 2015 Final Call For Papers Message-ID: ********************************************************************** 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USA http://www.eecs.berkeley.edu/vstte15 Co-located with 25th Conference on Computer Aided Verification (http://i-cav.org/2015) ********************************************************************** Full Paper Submission Deadline: April 27, 2015 SCOPE: The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers should be submitted through: https://www.easychair.org/conferences/?conf=vstte2015. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2015 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable fromhttp://www.springer.de/comp/lncs/authors.html, is strongly encouraged. PUBLICATION Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES: Abstract submission: April 20, 2015 Full paper submission: April 27, 2015 Notification: June 8, 2015 ORGANIZATION: General Chair: Martin Schaef (SRI International) Program Chairs: Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) Sanjit A. Seshia (University of California, Berkeley) Publicity Chair: Daniel Bundala (UC Berkeley) PROGRAM COMMITTEE: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Evan Chang (University of Colorado, Boulder) Ernie Cohen (University of Pennsylvania) Jyotirmoy Deshmukh (Toyota) Jin Song Dong (National University of Singapore) Vijay D'Silva (Google) Vijay Ganesh (University of Waterloo) Alex Groce (Oregon State) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair) Bill Harris (Georgia Institute of Technology) Chris Hawblitzel (Microsoft Research) Bart Jacobs (Katholieke Universiteit Leuven, Belgium) Susmit Jha (United Technologies) Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory) Vladimir Klebanov, Karlsruhe Institute of Technology, DE Akash Lal (Microsoft Research India) Ruzica Piskac (Yale) Zvonimir Rakamaric (University of Utah) Kristin Yvonne Rozier (University of Cincinnati) Sanjit A. Seshia (UC Berkeley) (co-chair) Natarajan Shankar (SRI) Carsten Sinz (KIT) Nishant Sinha (IBM Research Labs) Alexander Summers (ETH Zurich) Zachary Tatlock (University of Washington) Sergey Tverdyshev (Sysgo AG) Arnaud Venet (CMU / NASA Ames Research Center) Karen Yorav (IBM Haifa Research Lab) ********************************************************************** Please contact vstte2015 at easychair.org for further information ********************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nardine at iiia.csic.es Tue Apr 21 08:49:59 2015 From: nardine at iiia.csic.es (Nardine Osman) Date: Tue, 21 Apr 2015 08:49:59 +0200 Subject: IJCAI 2015 Workshop on AI and Feedback - Last CFP Message-ID: [Apologies for cross-postings] Please consider to contribute to and/or forward to interested colleagues and students. (Call for papers is attached to this email.) Extended submission deadline is May 4, 2015 (& extended abstract deadline is April 27, 2015). Selected papers in the education domain will be invited as book chapters in a book entitled “Learning about music in the age of MOOCS", to be published by Academic Press, Amsterdam by the end of 2015. Original work (published or unpublished), as well as visionary papers and roadmaps are strongly encouraged. Topics of interest cover different strands of AI, and focus on feedback-related issues, such as mining and extracting feedback, generating feedback, understanding feedback, and assessing feedback. ============================= Last Call for Papers AInF @ IJCAI 2015 IJCAI 2015 Workshop on AI and Feedback 25-27 July 2015, Buenos Aires, Argentina http://iiia.csic.es/ainf15/ ============================= Scope ============================= AI and Feedback is the first international workshop on the topic and it is one of the IJCAI 2015 workshops (http://ijcai-15.org). It focuses on applying AI techniques for addressing the challenges of mining and extracting feedback, as well as assessing, analysing, and making use of feedback. Feedback is key for both improvement and decision making. As humans, we are designed to constantly seek feedback on how and what we are doing in life. Feedback can come from ourselves, from our peers, from our teachers, from our collaborators, audiences, customers, public or press. Feedback provides opportunities to learn about how we and our work are perceived by others. If we encounter someone [something] new, we can examine previous feedback to learn how this new person [thing] is perceived by others. A key target of this workshop is to discuss how to build intelligent feedback agents that are capable of autonomously providing feedback that equals or surpasses that of human beings in its usefulness. The feedback of artificial feedback agents should have some desirable characteristics. It should be socially and culturally appropriate, clearly expressed, sufficiently focused and contextualised, thoughtfully challenging yet encouraging, compassionate, open to debate, justified and comparative, also, it should be trustworthy. Giving and receiving feedback with these characteristics therefore is a challenging, creative process. Aims and objectives. This workshop aims to bring together researchers from different strands of AI to discuss various aspects of feedback. The following questions are examples for consideration: - How can we build creative feedback agents that can generate feedback, especially on creative work? - How can we provide a sufficient agency in AI systems so that feedback from such systems will be useful? - How can we model feedback so that it can be generated by AI systems? - How can we design intuitive environments in which groups of humans and AI systems can give each other feedback? - How can we design systems that can act as creative collaborators? That not only give feedback, but can actually propose changes to a developing artefact? - How can we mine and learn from large datasets of feedback, e.g. educational social networks? - How can implicit feedback be extracted and interpreted? - How can trust and reputation models help with the assessment of feedback? - How can we process and use feedback? - What are the possible applications for AI systems capable of giving creative feedback? ============================= Topics of Interest ============================= Topics of interest cover a variety of feedback-related issues, such as mining and extracting feedback, generating feedback, understanding feedback, and assessing feedback. Topics of interest cover different strands of AI, such as multiagent systems, machine learning, natural language processing, and knowledge representation. Topics include, but are not limited to: - Ontologies of feedback - Multimodal feedback - Implicit feedback - Opinion mining and sentiment analysis - Automatic generation of feedback - Modelling the impact of feedback - Designing environments for feedback - Feedback and machine learning - Trust and reputation models for feedback analysis - Applications: creative industries, music composition, online learning, etc. ============================= Important Dates ============================= - [Extended] Abstract submission: 27 April 2015 - [Extended] Paper submission: 4 May 2015 - Acceptance notification: 1 June 2015 - Camera-ready copy due: 10 June 2015 - Workshop dates: 25-27 July 2015 ============================= Submission ============================= We welcome and strongly encourage the submission of high quality, original work (published or unpublished), as well as visionary papers and roadmaps relevant to the scope of this workshop. Submitted papers must be formatted according to IJCAI guidelines. Formatting guidelines and electronic templates are available here: http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip Submitted papers should not exceed 8 pages, excluding the bibliographic references. Papers should be submitted electronically through the AInF2015 EasyChair site: https://easychair.org/conferences/?conf=ainf2015 Papers will be subject to a single-blind peer review. So authors can keep their names and affiliations on their submitted papers. ============================= Proceedings ============================= The workshop proceedings will be published as a CEUR Workshop Proceedings (ISSN: 1613-0073, http://ceur-ws.org). A selection of accepted workshop papers that are relevant to the education domain will be invited as book chapters in a book entitled “Learning about music in the age of MOOCS", to be published by Academic Press, Amsterdam by the end of 2015. ============================= Chairs ============================= - Nardine Osman [nardine at iiia.csic.es] Artificial Intelligence Research Institute (IIIA-CSIC), Barcelona, Spain - Matthew Yee-King [m.yee-king at gold.ac.uk] Department of Computing, Goldsmiths, University of London, London, UK ============================= Additional Information ============================= Please check the workshop's website: http://iiia.csic.es/ainf15/ For any questions, please email the workshop's chairs at: - nardine at iiia.csic.es - m.yee-king at gold.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Tue Apr 21 09:10:11 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue, 21 Apr 2015 09:10:11 +0200 (CEST) Subject: CICM 2015 - Call for Work-in-Progress Papers Message-ID: <20150421071011.D5BFD268E3C8@mbp-autexier.informatik.uni-bremen.de> Call for Work-in-Progress Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for Work-in-Progress papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. We solicit for papers which describe work in progress, recent developments, and other work of interest to our communities which does not yet have the maturity for archival proceedings. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). ********************************************************************** Important Dates ********************************************************************** Work-in-progress and Doctoral Programme submissions: Submission deadline: Full Work-in-Progress submission* 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 Conference: 13-17 July 2015 * or for the Doctoral Programme: Abstract+CV More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php From Christian.Kuster at gt-arc.com Tue Apr 21 09:37:27 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Tue, 21 Apr 2015 07:37:27 +0000 Subject: CfP: ICTH 2015 Message-ID: <7ab27d21c4b24e77b456fd93d9f45d08@birke.dai-lab.de> ===== CFP ===== CALL FOR PAPERS ********************************************************************************** The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare September 27-30, 2015 Berlin, Germany http://icth-15.dai-labor.de/ ********************************************************************************** Important Dates ------------------ - Paper Submission Due: May 6, 2015 - Acceptance Notification: June 26, 2015 - Final Manuscript Due: July 26, 2015 The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from academia and healthcare who are engaged in different facets of ICT and healthcare. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of ICT based applications, systems, tools, environments and infrastructures in the fields of health/medical care, and related domains, such as public health and pharmaceuticals. Papers on either completed or ongoing research are invited in the following and related topics of interests. ICTH-2015 will be held in conjunction with the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://euspn-15.dai-labor.de/). Accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on the Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in a special issue of an international journal. We invite submissions on either completed or ongoing work. Submitted papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. We encourage students to submit short papers or works in progress, and welcome proposals on workshops in areas of special interest to participants. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Drug Information Systems - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Honorary Chair Sahin Albayrak, DAI-Lab, TU Berlin, Germany General Chairs Ellen Jaatun, Institute of Cancer Research and Molecular Medicine, NTNU, St. Olvas Hospital, Norway Syed Sibte Raza Abidi, Dalhousie University, Nova Scotia Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canda Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Pinciroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Workshop Chair Zahoor Khan, Higher Colleges of Technology, UA Local Arrangements Members Jan Keiser, DAI-Lab, TU Berlin, Germany Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany Johannes Fähndrich, TU Berlin, Germany Publicity Chairs Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg Nabeel Al-Qirim, College of Information Technology, UAE -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Apr 21 10:11:10 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 21 Apr 2015 05:11:10 -0300 Subject: IJCAI-15 Student Volunteer and Financial Support Programs Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI-15 STUDENT VOLUNTEER PROGRAM IJCAI is pleased to announce the continuation of their Student Volunteer Program for 2015. The Student Volunteer Program is an essential part of the conference. Volunteers will support IJCAI-15 organizers in Buenos Aires, helping with different activities during the conference, such as welcoming attendants at the registration desk or recording the tutorials. The technical program registration fee will be waived to student volunteers. Application deadline: May 15, 2015 Call for Student Volunteers (PDF): http://habla.dc.uba.ar/ijcai-15/ijcai-15-call-for-volunteers.pdf Online Application Form: http://goo.gl/Whj81v IJCAI-AIJ TRAVEL GRANTS PROGRAM The International Joint Conferences on Artificial Intelligence [IJCAI], Organization, in collaboration with the AI Journal, is pleased to announce the continuation of its Travel Grants Program for students, junior scientists and scientists attending IJCAI-15 to be held in Buenos Aires, Argentina, during July 25-31, 2015. The IJCAI-15 Travel Grants Program is sponsored in full by the IJCAI Organization and its Artificial Intelligence Journal (AIJ) Division. Application deadline: May 15, 2015 Call for Applications: http://ijcai-15.org/index.php/students IJCAI-15 LOCAL REFUNDING PROGRAM Besides the IJCAI-AIJ Travel Grants Program, there will be a limited amount of resources available to partially support students and researchers attending IJCAI-15. This program is intended for students and researchers from Latin-American countries. Application deadline: May 15, 2015 Call for Applications (PDF): Español: http://habla.dc.uba.ar/ijcai-15/ijcai-15-call-local-refunding-program-es.pdf Português: http://habla.dc.uba.ar/ijcai-15/ijcai-15-call-local-refunding-program-pt.pdf Online Application Form: http://goo.gl/ME3R4c ----- Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijv at acm.org Wed Apr 22 02:13:58 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 21 Apr 2015 21:13:58 -0300 Subject: Fifth call for papers: DARe at IJCAI 2015 Message-ID: * Please accept our apologies if you receive multiple copies of this call * ** Please note the extension of the deadline to 4 May 2014 ** ============================== Call for Papers DARe at IJCAI 2015 Date: TBC (one day between 25 and 27 July 2015) Buenos Aires, Argentina *** Deadline: 4 May 2015 *** ============================== The Second International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2015.yolasite.com held at the International Joint Conference on Artificial Intelligence (IJCAI 2015) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on nonmonotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, nonmonotonic reasoning, nonmonotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI 2015 LaTeX style (which can be found at http://ijcai-15.org/index.php/call-for-papers) and should be no longer than 6 pages excluding references and in PDF format. The list of references is limited to one page. Please submit to: https://easychair.org/conferences/?conf=dare15 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the IJCAI 2015 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 4 May 2015 - Notification: 27 May 2015 - Camera ready: 6 June 2015 - Early registration: [TBA] - Late registration: [TBA] - Workshop date: [TBA] -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Mahasarakham University, Thailand) - Giovanni Casini (Centre for AI Research and University of Pretoria, South Africa) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (Universidade Federal do Rio de Janeiro, Brazil) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Willem Labuschagne (University of Otago, New Zealand) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (UKZN-CSIR Meraka Centre for Artificial Intelligence Research, South Africa) - François Schwarzentruber (ENS Rennes/IRISA) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Petrucio Viana (Universidade Federal Fluminense, Brazil) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to IJCAI policy all workshop participants are required to register for the workshop. IJCAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2015.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv Google scholar profile: http://tinyurl.com/varzinczak From Christian.Kuster at gt-arc.com Wed Apr 22 16:20:37 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Wed, 22 Apr 2015 14:20:37 +0000 Subject: CfP: EUSPN-2015 Message-ID: ===== CFP ===== CALL FOR PAPERS ********************************************************************************** The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) September 27-30, 2015 Berlin, Germany http://euspn-15.dai-labor.de/ ********************************************************************************** Important Dates: Submission Deadline: May 6, 2015 Author Notification: June 26, 2015 Final Manuscript Due: July 26, 2015 The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. All EUSPN-2015 accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/ compendex). The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in the special issues of: - Journal of Mobile Information Systems, by IOS Press - Journal of Ambient Intelligence and Humanized Computing, by Springer - Journal of Web and Grid Services Papers on either completed or ongoing research are invited in the following and related tracks: - Ad hoc and Pervasive Networks (Chair: Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany) - Adaptive Systems, Intelligent Computing and Applications (Chair: Ingrid Nunes, UFRGS, Brazil) - Big Data and Big Data Science (Chair: Brijnesh-Johannes Jain, DAI-Lab, TU Berlin, Germany) - Cloud, Cluster, Grid and Social Computing (Chairs: Kechar Bouabdellah, Oran University, Algeria; Shibo He, Zhejiang University, China) - Pervasive / Ubiquitous Technologies - Emerging Tools and Applications (Chair: René Schumann, HES-SO, Switzerland) - Intelligent Traffic and Transportation Systems (Chairs: Jamal Bentahar, Concordia University, Canada; K. K. Pattanaik, ABV-Indian Institute of Information Technology & Management, India) - Internet of Things (Chair: Nik Bessis, University of Derby, UK) - Mobile Computing and Wireless Communications (Chair: Hamid Mcheick,University of Quebec At Chicoutimi, Canada) - Security, Privacy, and Trust (Chair: Karsten Bsufka, DAI-Lab, TU Berlin, Germany) - Semantic Web Technologies (Chair: Nils Masuch, DAI-Lab, TU Berlin, Germany) Paper Submission Guidelines: Submitted technical papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. The EUSPN submission link can be found at: http://easychair.org/conferences/?conf=euspn2015. All accepted papers will be scheduled for oral presentations and will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. At least one author of each accepted paper is required to register and attend the conference to present the work. Committee: General Chairs Marco Lützenberger, DAI-Lab, TU Berlin, Germany Elhadi Shakshuki, Arcadia University, Canada Program Chairs Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Advisory Committee Ali Ghorbani, Univ. of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Publicity Chairs Nabeel Al Qirim, College of Information Technology, UAE Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed Apr 22 16:20:41 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 22 Apr 2015 10:20:41 -0400 (EDT) Subject: TABLEAUX - Call for Papers Message-ID: <20150422142041.E645212154C@mcclellan.cs.miami.edu> SECOND CALL FOR PAPERS TABLEAUX 2015 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Wroclaw, Poland, September 21-24, 2015 http://tableaux2015.ii.uni.wroc.pl/ GENERAL INFORMATION TABLEAUX 2015 is the 24th in the series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods, and will be held in Wroclaw, Poland, during September 21-24, 2015. TABLEAUX 2015 will be co-located with the 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015). The computer science institute of Wroclaw has a large experience in hosting international conferences. It has hosted the IEEE Symposium on Logic in Computer Science (LICS 2007), the 24th International Conference on Automated Deduction (CADE 2011), and the 22nd European Symposium on Algorithms (ALGO 2014). TOPICS Tableaux methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableaux methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. The conference series aims to bring together researchers interested in all aspects of tableaux - theoretical foundations, applications, and implementation techniques. * tableaux methods for classical and non-classical logics (e.g. modal, temporal, description, intuitionistic, substructural, fuzzy, paraconsistent logics) and their proof theoretic foundations. * related methods (model elimination, model checking, connection methods, resolution, BDDs). * sequent calculi for classical and non-classical logics, as tools for proof search and proof representation. * flexible, easily extendable, light weight methods for theorem proving. * novel types of calculi for theorem proving and verification in classical and non-classical logics. * systems, tools, implementations and applications (provers, logical frameworks, model checkers, ... ). * implementation techniques (data structures, efficient algorithms, performance measurement, extendibility, ... ). * extensions of tableaux procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs. * decision procedures, theoretically optimal procedures. * applications of automated deduction to mathematics, software development, protocol verification, or teaching. TABLEAUX 2015 also welcomes papers describing applications of tableaux procedures to real world examples. Such papers should be tailored to the tableaux community and should focus on the role of reasoning, and logical aspects of the solution. SUBMISSIONS Submissions are invited in two categories: A Research papers, which describe original theoretical research, original algorithms, or applications, with length up to 15 pages. B System descriptions, with length up to 10 pages. Submissions will be reviewed by the PC, possibly will help of external reviewers, taking into account readability, relevance and originality. For category A, theoretical results and algorithms must be original, and not submitted for publication elsewhere. Submissions will be reviewed taking into account correctness, theoretical prettyness, and possible implementability. For category B submissions, a working implementation must be available on the internet, which includes sources. The aim of a system description is to make the system available in such a way that users can use it, understand it, and build on it. Accepted papers in both categories will be published in the conference proceedings (within the LNAI series of Springer). For accepted papers in both of the categories, at least one author is required to attend the conference and present the paper. Further information and instructions about submissions can be found on the conference website http://tableaux2015.ii.uni.wroc.pl IMPORTANT DATES Abstract submission deadline: May 8th, 2015 Paper submission deadline: May 15th, 2015 Author Notification: July 1st, 2015 Final Version: July 17th 2015 Conference: September 21st-24th, 2015 PROGRAM COMMITTEE ----------------- Marc Bezem, University of Bergen, Norway Agata Ciabattoni, Vienna University of Technology, Austria David Delahaye, National Conservatory of Arts and Professions, Paris, France Ulrich Furbach, University of Koblenz, Germany Didier Galmiche, Universite de Lorraine, Nancy, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Rajeev Gore, Australian National University, Canberra, Australia Stephane Graham-Lengrand, Ecole Polytechnique, Palaiseau, France Reiner Haehnle, Darmstadt University of Technology, Germany Konstantin Korovin, University of Manchester, UK George Metcalfe, University of Bern, Switzerland Dale Miller, INRIA Saclay-Ile-de-France, France Barbara Morawska, Technische Universitaet Dresden, Germany Boris Motik, University of Oxford, UK Claudia Nalon, University of Brasilia, Brasil Sara Negri, University of Helsinki, Finland Linh Anh Nguyen, University of Warsaw, Poland Hans de Nivelle (chair), University of Wroclaw, Poland Jens Otten, University of Potsdam, Germany Andrei Popescu, Middlesex University London, UK Renate Schmidt, University of Manchester, UK Luca Vigano, King's College, London, UK Bruno Woltzenlogel-Paleo, Vienna University of Technology, Austria WORKSHOPS AND TUTORIALS ------------------------ Workshops have been solicited in separate call, which can be found on http://tableaux2015.ii.uni.wroc.pl or http://frocos2015.ii.uni.wroc.pl Tutorials for FroCoS/TABLEAUX will be solicited in a separate call, which will be published later. From vstte15 at gmail.com Thu Apr 23 11:20:01 2015 From: vstte15 at gmail.com (VSTTE Conference) Date: Thu, 23 Apr 2015 02:20:01 -0700 Subject: Extended Deadline (May 1), VSTTE'15 Message-ID: [apologies for cross posting] ********************************************************************** 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USA http://www.eecs.berkeley.edu/vstte15 Co-located with 25th Conference on Computer Aided Verification (http://i-cav.org/2015) ********************************************************************** Abstract submission: Extended to April 27, 2015 Full Paper Submission Deadline: Extended to May 1, 2015 SCOPE: The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers should be submitted through: https://www.easychair.org/conferences/?conf=vstte2015. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2015 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable fromhttp://www.springer.de/comp/lncs/authors.html, is strongly encouraged. PUBLICATION Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES: Abstract submission: Extended to April 27, 2015 Full paper submission: Extended to May 1, 2015 Notification: June 8, 2015 ORGANIZATION: General Chair: Martin Schaef (SRI International) Program Chairs: Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) Sanjit A. Seshia (University of California, Berkeley) Publicity Chair: Daniel Bundala (University of California, Berkeley) PROGRAM COMMITTEE: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Evan Chang (University of Colorado, Boulder) Ernie Cohen (University of Pennsylvania) Jyotirmoy Deshmukh (Toyota) Jin Song Dong (National University of Singapore) Vijay D'Silva (Google) Vijay Ganesh (University of Waterloo) Alex Groce (Oregon State) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair) Bill Harris (Georgia Institute of Technology) Chris Hawblitzel (Microsoft Research) Bart Jacobs (Katholieke Universiteit Leuven, Belgium) Susmit Jha (United Technologies) Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory) Vladimir Klebanov, Karlsruhe Institute of Technology, DE Akash Lal (Microsoft Research India) Ruzica Piskac (Yale) Zvonimir Rakamaric (University of Utah) Kristin Yvonne Rozier (University of Cincinnati) Sanjit A. Seshia (UC Berkeley) (co-chair) Natarajan Shankar (SRI) Carsten Sinz (KIT) Nishant Sinha (IBM Research Labs) Alexander Summers (ETH Zurich) Zachary Tatlock (University of Washington) Sergey Tverdyshev (Sysgo AG) Arnaud Venet (CMU / NASA Ames Research Center) Karen Yorav (IBM Haifa Research Lab) ********************************************************************** Please contact vstte2015 at easychair.org for further information ********************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From inoue at nii.ac.jp Thu Apr 23 12:23:39 2015 From: inoue at nii.ac.jp (Katsumi Inoue) Date: Thu, 23 Apr 2015 19:23:39 +0900 Subject: Final Call for Long Papers: ILP 2015 Kyoto (Deadline Updated) Message-ID: ILP 2015 : The 25th International Conference on Inductive Logic Programming Aug 20, 2015 - Aug 22, 2015 Kyoto, Japan http://ilp2015.jp/ CALL FOR PAPERS The 25th International Conference on Inductive Logic Programming (ILP 2015) will be held in Kyoto, Japan, August 20th - 22nd. The ILP conference is the premier international forum on logic-based and relational learning. Originally focused on induction of logic programs, it has broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, connections with other learning paradigms, and learning in other logic-based knowledge representation frameworks. Typical, but not exclusive, topics of interest for submissions include: - Theoretical aspects: logical foundations, learning scenarios, theories on abduction and discovery, data/model representation frameworks, computational and/or statistical properties, etc. - Algorithms: logical, probabilistic and statistical approaches, distance and kernel-based methods, learning with (semi)structured data, supervised/unsupervised/semi-supervised relational learning, relational reinforcement learning, inductive databases, abductive learning, link discovery, new propositionalization approaches, multi-instance learning, predicate invention, learning dynamics of systems, etc. - Representations and languages for logic-based learning: including datalog, first-order logic, description logics and ontologies, higher-order logic, probabilistic logical representations, mapping between alternative representations. - Systems: systems that implement inductive logic programming algorithms with special emphasis on issues like optimization, parallelism, efficiency and scalability. - Applications including, but not restricted to multi-relational learning from structured (e.g., labeled graphs, tree patterns) and semi-structured data (e.g., XML documents), learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, social science, etc.), natural language processing (computational linguistics, text/web mining etc.), engineering, robotics, games, semantic web, social networks, the arts, etc. We solicit three kinds of papers: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Long papers will be reviewed by at least 3 members of the program committee. Each accepted paper will be given either for long or short presentation. Authors of accepted papers for long presentation will be assigned a standard time slot for presentation, and will be invited to submit a final version to the Springer LNAI post-conference proceedings without further reviews. Authors of accepted papers for short presentation will be assigned a reduced time slot for presentation, and can submit a revised version to the Springer LNAI post-conference proceedings, which will be reviewed again by PC members. [Updated] 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by at least 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer LNAI post-conference proceedings; In this case, the long paper will be reviewed again by the assigned PC members of the short paper and be finally accepted if satisfactorily addressing the reviewer's requirements. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/ PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer LNAI post-conference proceedings. SUBMISSION: Submissions in category 1 or 2 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format. Long (short) papers must not exceed 12 (6) pages. The indicated number of pages includes the title page, references and figures. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. All Paper submissions will be electronic through the ILP 2015 easychair site: https://www.easychair.org/conferences/?conf=ilp2015 A special issue of the Machine Learning journal is planned following the conference, which is open for everyone. This special issue welcomes conference submissions from all the three categories above, which should be significantly revised and extended to meet the MLJ criteria, for re-reviewing by the PC. INVITED SPEAKERS: Stephen Muggleton, Imperial College London Taisuke Sato, Tokyo Institute of Technology Luc De Raedt, Katholieke Universiteit Leuven Stefanie Jegelka, UC Berkeley ASSOCIATED EVENTS: MLSS 2015 Kyoto - Machine Learning Summer School 2015 in Kyoto - will be held on August 24 - September 5, 2015, in Kyoto University. IMPORTANT DATES: * Abstract registration: April 27, 2015 (updated) * Long paper submission: May 4, 2015 (updated) * Long Paper notification: June 1, 2015 * Short Paper submission: June 26, 2015 * Short Paper notification: July 1, 2015 CONFERENCE AND PROGRAM CO-CHAIRS: Katsumi Inoue, NII Hayato Ohwada, Tokyo University of Science Akihiro Yamamoto, Kyoto University PUBLICITY CHAIR: Kotaro Okazaki, SONAR PROGRAM COMMITTEE: Erick Alphonse, LIPN - UMR CNRS 7030 Annalisa Appice, University Aldo Moro of Bari Elena Bellodi, University of Ferrara Hendrik Blockeel, K.U. Leuven Rui Camacho, LIACC/FEUP University of Porto James Cussens, University of York Jesse Davis, KU Leuven Luc De Raedt, Katholieke Universiteit Leuven Inês Dutra, Universidade do Porto Saso Dzeroski, Jozef Stefan Institute Nicola Fanizzi, Università di Bari Stefano Ferilli, Università di Bari Peter Flach, University of Bristol Nuno A. Fonseca, European Bioinformatics Institute Tamas Horvath, University of Bonn and Fraunhofer IAIS Katsumi Inoue, NII (co-chair) Nobuhiro Inuzuka, Nagoya Institute of Technology Andreas Karwath, University of Mainz Kristian Kersting, TU Dortmund University Ross King, University of Manchester Ekaterina Komendantskaya, University of Dundee Nada Lavrač, Jozef Stefan Institute Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro" Donato Malerba, Università degli Studi di Bari "Aldo Moro" Stephen Muggleton, Imperial College London Sriraam Natarajan, Indiana University Hayato Ohwada, Tokyo University of Science (co-chair) Aline Paes, Institute of Computing, Universidade Federal Fluminense Bernhard Pfahringer, University of Waikato Ganesh Ramakrishnan, IIT Bombay Jan Ramon, K.U.Leuven Oliver Ray, University of Bristol Fabrizio Riguzzi, University of Ferrara Celine Rouveirol, Université Paris 13 Alessandra Russo, Imperial College London Chiaki Sakama, Wakayama University Vítor Santos Costa, Universidade do Porto Takayoshi Shoudai, Kyushu International University Ashwin Srinivasan, Indraprastha Institute of Information Technology, New Delhi Alireza Tamaddoni-Nezhad, Imperial College, London Tomoyuki Uchida, Hiroshima City University Guy Van den Broeck, KU Leuven Jan Van Haaren, KU Leuven Christel Vrain, university of Orléans Stefan Wrobel, Fraunhofer IAIS & University of Bonn Akihiro Yamamoto, Kyoto University (co-chair) Gerson Zaverucha, PESC/COPPE - UFRJ Filip Zelezny, Czech Technical University From lpulina at uniss.it Thu Apr 23 18:56:52 2015 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 23 Apr 2015 18:56:52 +0200 Subject: RR 2015 Doctoral Consortium - Call for Papers Message-ID: <55392454.5040708@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Thu Apr 23 19:07:03 2015 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 23 Apr 2015 19:07:03 +0200 Subject: CALL FOR APPLICATIONS - The 11th Reasoning Web Summer School (RW 2015) Message-ID: <553926B7.8060805@uniss.it> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Fri Apr 24 19:58:33 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Fri, 24 Apr 2015 18:58:33 +0100 Subject: ECMLPKDD 2015 : PhD Session Message-ID: <004c01d07eb8$5addc530$10994f90$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/). The conference includes a PhD session that provides an environment for students to exchange their ideas and experiences with peers and senior researchers in machine learning, data mining, and related areas. We invite PhD students (PhD in progress or defended not earlier than 31st December 2014) to submit papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. Papers submitted to ECML/PKDD 2015 PhD session will be peer-reviewed. Accepted papers will be presented in the special PhD session at ECMLPKDD 2015 and will be published in the session proceedings which will be available through the conference website. Important Dates Paper submission deadline: June 10 2015 Author notification: July 15 2015 Camera-ready: August 5 2015 Doctoral consortium session: September 7 2015 Detailed information about the PhD Session is available on: http://www.ecmlpkdd2015.org/submission/doctoral-consortium For further information please contact the ECMLPKDD 2015 PhD Chairs: Jaakko Hollmen (Aalto University) Panagiotis Papapetrou (Stockholm University) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From przemek.walega at wp.pl Sat Apr 25 10:46:07 2015 From: przemek.walega at wp.pl (=?ISO-8859-2?Q?Przemys=B3aw_Wa=B3=EAga?=) Date: Sat, 25 Apr 2015 10:46:07 +0200 Subject: 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15) Message-ID: <553b544fa7f163.09616502@wp.pl> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Sat Apr 25 15:17:30 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Sat, 25 Apr 2015 15:17:30 +0200 Subject: Call for Participation: Coordination 2015 Message-ID: <553B93EA.1000508@unimore.it> CALL FOR PARTICIPATION Coordination 2015 17th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://discotec2015.inria.fr/ June 2-4, 2015, Grenoble, France ======================================================================= ---------------- Important dates Early registration: May 5, 2015 Conference: June 2-4, 2015 ---------------- Invited speaker - Alois FERSCHA (J. Kepler U., Linz, Austria) ---------------- Program Day #1 (June 2) 14:00 - 15:30 Session 1 -- Tuple-based coordination Marina Andric, Rocco De Nicola and Alberto Lluch Lafuente, "Replica-based High-Performance Tuple Space Computing" Diego Latella, Michele Loreti and Mieke Massink, "Investigating Fluid-flow Semantics of Asynchronous Tuple-based Process Languages for Collective Adaptive Systems" Francesco Luca De Angelis and Giovanna Di Marzo Serugendo, "Logic Fragments: a coordination model based on logic inference" 16:00 - 17:30 Session 2 -- Constraints Sung-Shik T.Q. Jongmans and Farhad Arbab, "Take Command of Your Constraints!" Fabio Gadducci, Francesco Santini, Luis Pino and Frank Valencia, "A Labelled Semantics for Soft Concurrent Constraint Programming" Day #2 (June 3) 11:00 - 12:30 Session 3 -- Coordinating ensembles Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese and Jacopo Mauro, "Dynamic Choreographies: Safe Runtime Updates of Distributed Applications" Edmund Soon Lee Lam, Iliano Cervesato and Nabeeha Fatima, "Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles" Luca Padovani, Tzu-Chun Chen and Andrea Tosatto, "Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π − Calculi" 16:00 - 17:30 Session 4 -- Agent-oriented techniques Francisco Cruz-Mencia, Antonio Espinosa, Juan Carlos Moure, Jesus Cerquides and Juan Antonio Rodriguez-Aguilar, "Parallelisation and application of AD3 as a method for solving large scale combinatorial auctions" Stephen Cranefield and Surangika Ranathunga, "Handling agent perception in heterogeneous distributed systems: a policy-based approach" Andrea Omicini, Giancarlo Fortino and Stefano Mariani, "Blending Event-Based and Multi-Agent Systems around Coordination Abstractions Day #3 (June 4) 11:00 - 12:30 Session 5 -- Shared spaces Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson and Hanne Riis Nielson, "Klaim-DB: A Modeling Language for Distributed Database Applications" Marino Miculan, Marco Peressotti and Andrea Toneguzzo, "Open transactions on shared memory" Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna and Surangika Ranathunga, "VISIRI - Distributed complex event processing system for handling large number of queries" ----------- Organization Program Chairs Tom Holvoet (KU Leuven, Belgium) Mirko Viroli (University of Bologna, Italy) Publicity Chair Giacomo Cabri (University of Modena and Reggio Emilia, Italy) Programme Committee Gul Agha (University of Illinois at Urbana-Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Jacob Beal (Raytheon BBN Technologies, USA) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Ferruccio Damiani (Uniersità di Torino, Italy) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Ed Durfee (University of Michigan, USA) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Christine Julien (The University of Texas at Austin, USA) Sarit Kraus (Bar-Ilan University, Israel) Eva Kuhn (TU Wien, Austria) Marino Miculan (Università di Udine, Italy) Hanne Riis Nielson (Technical University of Denmark, Denmark) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Paolo Petta (OFAI - Austria Research Institute for Artificial Intelligence, Austria) Rosario Pugliese (Università degli Studi di Firenze, Italy) Alessandro Ricci (Uniervsità di Bologna, Italy) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Barcelona) Carles Sierra (IIIA-CSIC, Barcelona) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) Franco Zambonelli (Università di Modena e Reggio Emilia, Italy) Steering Committee Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) -- |----------------------------------------------------| | 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 grlmc at urv.cat Sat Apr 25 15:49:50 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 25 Apr 2015 15:49:50 +0200 Subject: InfoSec 2015: registration deadline 3 May Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************** INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY InfoSec 2015 Bilbao, Spain July 6-10, 2015 Organized by Deusto University Rovira i Virgili University http://grammars.grlmc.com/InfoSec2015/ ********************************************************************** --- 5th registration deadline: May 3, 2015 --- ********************************************************************** AIM: InfoSec 2015 will be a major research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of information security, which covers a large spectrum of current exciting academic research and industrial innovation. It refers to procedures to defend information from unauthorized access, use, modification, recording or destruction, with a critical role to play in order to avoid or minimize risks in the digital world. Renowned academics and industry pioneers will lecture and share their views with the audience. Most information security subareas will be displayed, namely: computer security, cryptography, privacy, cyber security, mobile security, network security, world wide web security, fraud prevention, data protection, etc. Main challenges of information security will be identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active 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. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific background knowledge may be required for some of them. InfoSec 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, 4 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: InfoSec 2015 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering Deusto University Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Jan Camenisch (IBM Research, Zurich), Privacy in a Digital World: a Lost Cause? Hao Chen (University of California, Davis), (In)security of Mobile Apps in Untrusted Networks Jennifer Seberry (University of Wollongong), The Global Village: the Beginning of the Need for Computer Security [via videoconference] Gene Tsudik (University of California, Irvine), Off-line Proximity-based Social Networking PROFESSORS AND COURSES: N. Asokan (Aalto University), [intermediate] Mobile Security: Overview of Hardware Platform Security and Considerations of Usability Jan Camenisch (IBM Research, Zurich), [introductory/intermediate] Technologies to Protect Online Privacy Hao Chen (University of California, Davis), [intermediate/advanced] Security of the Mobile App Ecosystem Nicolas T. Courtois (University College London), [introductory/intermediate] Security of ECDSA in Bitcoin and Crypto Currency Claude Crépeau (McGill University, Montréal), [introductory/intermediate] Quantum Computation, Cryptography and Cryptanalysis Joan Daemen (ST Microelectronics Belgium, Diegem), [introductory/intermediate] Sponge Functions, Keccak and SHA-3 Sajal K. Das (Missouri University of Science and Technology, Rolla), [intermediate/advanced] Securing Cyber-Physical Systems: Challenges and Opportunities Sabrina De Capitani di Vimercati (University of Milan), [introductory/intermediate] Security and Privacy in the Cloud Hervé Debar (Télécom SudParis), [introductory/intermediate] Detection and Reaction to Attacks: from Intrusion Detection to Cyber-Defense Rosario Gennaro (City University of New York), [intermediate/advanced] A Survey of Verifiable Delegation of Computation Trent Jaeger (Pennsylvania State University, University Park), [intermediate/advanced] How to Add Security Enforcement to Legacy Programs Somesh Jha (University of Wisconsin, Madison), [intermediate/advanced] Analysis Techniques in Information Security Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields Marc Joye (Technicolor R&I, Los Altos), [introductory/intermediate] Secure Public-Key Cryptosystems Lars R. Knudsen (Technical University of Denmark, Lyngby), [introductory/intermediate] Block Ciphers: the Workhorses in Cryptography Songwu Lu (University of California, Los Angeles), [introductory/intermediate] Cellular Network Security: Issues and Defenses Catherine Meadows (Naval Research Laboratory, Washington DC), [introductory/intermediate] Formal Analysis of Cryptographic Protocols Nasir Memon (New York University), [introductory/intermediate] User Authentication Ethan L. Miller (University of California, Santa Cruz), [intermediate/advanced] Securing Stored Data in a Connected World Stefano Paraboschi (University of Bergamo), [introductory/intermediate] Data Protection in Network-enabled Systems Bart Preneel (KU Leuven), [introductory/intermediate] Cryptology: State of the Art and Research Challenges Jean-Jacques Quisquater (Catholic University of Louvain), [introductory/intermediate] The History of RSA: from Babylon to Smart Cards Shantanu Rane (Palo Alto Research Center), [introductory/intermediate] Privacy-preserving Data Analytics: Problems, Solutions and Challenges Mark Ryan (University of Birmingham), [introductory/intermediate] Designing Security Protocols: Electronic Voting, and Electronic Mail Stefan Saroiu (Microsoft Research, Redmond), [advanced] Protecting Data on Smartphones and Tablets Using Trusted Computing Milind Tambe (University of Southern California, Los Angeles), [introductory/intermediate] Introduction to the Emerging Science of Security Games Gene Tsudik (University of California, Irvine), [intermediate/advanced] Security and Privacy in Candidate Future Internet Architectures Yang Xiao (University of Alabama, Tuscaloosa), [introductory/advanced] Security in Smart Grids Wenyuan Xu (University of South Carolina, Columbia), [intermediate] Security and Privacy Analysis of Embedded Systems Yuliang Zheng (University of North Carolina, Charlotte), [introductory] Cryptography and the Future of Money OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu at urv.cat by June 29 at the latest. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/InfoSec2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Accommodation for participants is available at the Colegio Mayor Deusto (student hostel). Since there may exist problems to find accommodation in Bilbao at a reasonable price during the week of the event, the organizers' advice is to book as soon as possible, and anyway by May 27. To do it, write to Carlson Wagonlit Travel at estudiantesud at carlsonwagonlit.es CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat ACKNOWLEDGEMENTS: Deusto 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 feeds at sentic.net Sun Apr 26 18:36:43 2015 From: feeds at sentic.net (SenticNet) Date: Sun, 26 Apr 2015 11:36:43 -0500 (EST) Subject: [SenticNet] CFP: 4th KDD Workshop on Issues of Sentiment Discovery and Opinion Mining (WISDOM), August 2015, Sydney Message-ID: <1926665023.1856271.1430066203191.JavaMail.open-xchange@bosoxweb02.eigbox.net> Apologies for cross-posting, Submissions are invited to the 4th KDD Workshop on Issues of Sentiment Discovery and Opinion Mining (WISDOM) to be held at KDD'15 this August in Sydney. For more information, please visit http://sentic.net/wisdom RATIONALE WISDOM aims to explore how the wisdom of the crowds is affecting (and will affect) the evolution of the Web and of businesses gravitating around it. In particular, the workshop series explores two different stages of sentiment analysis: the former focusing on the identification of opinionated text over the Web, the latter focusing on the classification of such text either in terms of polarity detection or emotion recognition. TOPICS WISDOM aims to provide an international forum for researchers in the field of machine learning 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 workshop comprehends opinion mining, social media marketing, information retrieval, and natural language processing. Topics of interest include but are not limited to: • Endogenous NLP for sentiment analysis • Sentiment learning algorithms • Semantic multi-dimensional scaling for sentiment analysis • Big social data analysis • Opinion retrieval, extraction, classification, tracking and summarization • Domain adaptation for sentiment classification • Time evolving sentiment analysis • Emotion detection • Concept-level sentiment analysis • Topic modeling for aspect-based opinion mining • Multimodal sentiment analysis • Sentiment pattern mining • Affective knowledge acquisition for sentiment analysis • Biologically-inspired opinion mining • Content-, concept-, and context-based sentiment analysis TIMEFRAME • June 5th, 2015: Submission deadline • June 30th, 2015: Notification of acceptance • July 15th, 2015: Final manuscripts due • August 10th, 2015: Workshop date ORGANIZERS • Yongzheng Zhang, LinkedIn Inc. (USA) • Erik Cambria, Nanyang Technological University (Singapore) • Yunqing Xia, Microsoft Research Asia (China) • Bing Liu, University of Illinois at Chicago (USA) From cfp2015a at micai.org Mon Apr 27 12:34:19 2015 From: cfp2015a at micai.org (MICAI 2015) Date: Mon, 27 Apr 2015 05:34:19 -0500 Subject: CFP: MICAI-2015: NLP & Artificial Intelligence - Springer LNAI - Mexico Message-ID: MICAI-2015 14th Mexican International Conference on ARTIFICIAL INTELLIGENCE October 25 to 31, 2015, Cuernavaca (near Mexico City), Mexico Publication: Springer LNAI (EI, ISI), IEEE CPS (anticipated), journals Submission: June 23 draft abstract / 30 full text www.micai.org/2015 == GENERAL INFORMATION Topics: all areas of NLP and Artificial Intelligence, research or applications. Workshops. Tutorials. Doctoral Consortium. Best papers awards. == KEYNOTES Alexander Gelbukh (Mexico), Paolo Rosso (Spain), Juan-Manuel Torres-Moreno (France); three other world-class experts in AI; see the webpage. == PROCEEDINGS Springer LNAI (IE, ISI); IEEE CPS (anticipated), special issues of journals (including ISI JCR / Scopus, anticipated). Workshops: see the respective calls for papers. == VENUE AND TOURS Venue: Cuernavaca (near Mexico City), Mexico. Cultural program and tours: Teotihuacan pyramids, Cacahuamilpa cave, Xochicalco archeological site. == DEADLINE June 23: draft abstract -- just a general idea of what your paper will be about (why not submitting it now and change it later if needed?); June 30: full text for blind review. Contact us for late submissions. == CALL FOR WORKSHOPS and TUTORIALS Submit your workshop or tutorial proposal, see the calls on the webpage. PLEASE CIRCULATE this CFP among your colleagues and students. We apologize if you receive multiple copies. Please reply to this message if you were contacted by error. From attard at iai.uni-bonn.de Mon Apr 27 14:58:37 2015 From: attard at iai.uni-bonn.de (Judie Attard) Date: Mon, 27 Apr 2015 14:58:37 +0200 Subject: Data Literacy Workshop Call for Papers Message-ID: The 2015 Data Literacy workshop will run on the afternoon of the 30th of June at Web Sci 2015 in Oxford, UK. The aim of this workshop is to establish data literacy as a topic of academic study. Important Dates All deadlines are midnight UK time on the date specified. Papers submitted by: 17th May Notification to authors: 26th May Workshop: 30th June Topics To this end we invite submissions of papers on the following topics: What do we mean by data literacy? Is there one kind of data literacy or many? What skills, knowledge and attitudes does it include? How does it relate to other types of literacy (digital, numerical, statistical and linguistic)? Why do we need data literacy? What are the social, political, economic, technical issues it can address? How should data literacy be achieved? Is it best done through education, training, or behaviour change. What tools and support are required for data literacy? What are the broader political, social and philosophical implications of data literacy? For example: Should technology be driving such fundamental skills? How does this compare to other technologies such as the printing press that have created a need for new “literacies”? Does data literacy compound the digital divide at another level? Can it lead to open data having a more visible impact? Who should be data literate? Should everyone become a data specialist by learning how to deal with raw data, or we assume that we need specialists in order to “translate” data to the society? What are the practical implications of data literacy? What should private and public sector organisations do about data literacy? How should data literacy participate in education and research? Submissions can be of two types: Completed long papers (8-10pp) Short papers experience related, position papers, research in progress (3-5pp) In either case we encourage linking to other media such as video clips or software. All accepted papers will be published on the workshop website. This will be done several days before the workshop in order to facilitate discussion in the plenary section of the workshop. The organizing committee will select the best papers to be presented at the workshop on the 30th of June. If papers reach the required standard but the authors are unable to attend the workshop, they will also be published. Selection criteria for papers The selection criteria are adapted from the Springer LNCS. Submissions should: Be written in English; Fit with the workshop theme; Have a clear motivation (why the problem is interesting theoretically and/or practically); Conceptual development and grounding in prior literature (given the nascent nature of the topic it is not expected that the prior literature is about data literacy); Methodological adequacy (if relevant); Adequate list of references to related work and grounding theories; Interesting findings; Well-structured and clearly written paper; Maximum length of paper: 10 pages for full papers, 5 pages for short papers; and Conform to Web Sci 2015 rules for formatting. Papers will be subjected to double blind review by 2 reviewers for rigor, relevance, originality and clarity of presentation and then the accepted papers will be chosen by the organising committee based on the reviewers’ assessment. Papers should be anonymised, i.e. all information identifying the authors removed, and submitted via Easychair. Contact: mark.frank at soton.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iswanghao at gmail.com Mon Apr 27 15:24:17 2015 From: iswanghao at gmail.com (Hao Wang) Date: Mon, 27 Apr 2015 15:24:17 +0200 Subject: DataCom 2015 Call for Papers Message-ID: [apologies for cross-postings, please distribute] ======================================================================== C A L L F O R P A P E R S DataCom 2015 2015 International Conference on Big Data Intelligence and Computing December 19 - 21, 2015, Chengdu, China http://umc.uestc.edu.cn/conference/DataCom2015 Important Dates: Paper submission *August 15th, 2015* Acceptance notification * September 15th, 2015* Camera ready *September 30th, 2015* Registration deadline *September 30th, 2015* Scope: ====== The goal of the 2015 International Conference on Big Data Intelligence and Computing (DataCom 2015) is to establish an international forum for engineers and scientists to present their ideas and experiences in the fields of Big Data intelligence and computing. DataCom 2015 welcomes paper submissions on innovative work from researchers in academia, industry and government describing original research work in Big Data. Topics of interest include, but are not limited to: · The 5Vs of the data landscape: volume, variety, velocity, veracity, value. · Big data science and foundations, analytics, visualisation and semantics. · Software and tools for big data management. · Security, privacy and legal issues specific to big data. · Big data economy, QoS and business models. · Intelligence and scientific discovery. · Software, hardware and algorithm co-design, high-performance computing. · Large-scale recommendation systems and graph analysis. · Algorithmic, experimental, prototyping and implementation. · Data-driven innovation, computational modelling and data integration. · Data intensive computing theorems and technologies. · Modelling, simulation and performance evaluation . · Hardware and infrastructure, green data centres/environmental-friendly perspectives. · Computing, scheduling and resource management for sustainability. · Complex applications in areas where massive data is generated. Submission: =========== Papers are to be submitted electronically, following the guidelines on the conference web page. Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 6 pages for main conference, including tables and figures in IEEE CS format. All paper submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Papers submitted in PDF format via the submission site : http://umc.uestc.edu.cn/conference/DataCom2015/DataCom_papersubmission.php Publication: ============ Accepted and presented papers will be included into the IEEE Conference Proceedings published by *IEEE CS Press*. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the digital libraries of IEEE CS after the conference. Distinguished papers accepted and presented in DataCom 2015, after further extensions, will be published in special issues of several SCI/EI Indexed journals including Computers and Electrical Engineering SCI Indexed, Elsevier), Mobile Information Systems (SCI Indexed, Hindawi), Microprocessors and Microsystems (SCI Indexed, Elsevier) etc. Please visit the DataCom 2015 website DataCom_specialissue.php for the complete listing of all the journals. Workshops ========= The DataCom 2015 Organizing Committee invites proposals for one-day workshops affiliated with the conference and addressing research areas related to the conference. The workshop proceedings will be published by IEEE CS Press. Submit workshop proposals to workshops chairs via emails. Workshops ========= The DataCom 2015 Organizing Committee invites proposals for one-day workshops affiliated with the conference and addressing research areas related to the conference. The workshop proceedings will be published by IEEE CS Press. Submit workshop proposals to workshops chairs via emails. GENERAL CHAIRS ============== * Geoffrey Fox, Indiana University, USA * Yeh-Ching Chung, National Tsing Hua University, Taiwan, China * Beniamino Di Martino, Second University of Naples, Italy PROGRAM CHAIRS ============== * Christophe Cerin, University of Paris XIII, France * Weizhe Zhang, Harbin Institute of Technology, China * Hao Wang, Aalesund Univeristy College, Norway EXECUTIVE CHAIR =============== * Xingang Liu, University of Electronic Science and Technology of China, China EXECUTIVE CHAIR =============== * Xingang Liu, University of Electronic Science and Technology of China, China AWARD CHAIR =========== * Rajkumar Buyya, University of Melbourne, Australia PUBLICITY CHAIRS ================ * Yunquan Zhang, Chinese Academy of Sciences, China * Anna Kobusinska, Poznan University of Technology, Poland * Xingde Jia, Texas State University, USA PUBLICATION CHAIR ================= * Xiaoming Li, University of Delaware, USA CONFERENCE SECRETARIES ====================== * Peicheng Wang, Univeristy of Electronic Science and Technology of China, China * Binfei Shao, Univeristy of Electronic Science and Technology of China, China See you in Chengdu! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amedeo.napoli at loria.fr Mon Apr 27 18:43:21 2015 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Mon, 27 Apr 2015 18:43:21 +0200 (CEST) Subject: 2nd CFP FCA4AI Workshop at IJCAI 2015 ``What can FCA do for Artificial Intelligence?'' (4th Edition) **** EXTENDED DEADLINE **** In-Reply-To: <293180383.1113786.1430152963677.JavaMail.zimbra@loria.fr> Message-ID: <72640811.1113866.1430153001177.JavaMail.zimbra@loria.fr> ------------------------------------------------------------------------------------------------------------------- (**** EXTENDED DEADLINE ****) Call for Papers (**** EXTENDED DEADLINE ****) ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Fourth Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2015, Buenos Aires, Argentina 25 July-1 August 2015 http://www.fca4ai.hse.ru/2015 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (ECAI 2014 Prague, IJCAI 2013 Beijing, and ECAI 2012 Montpellier) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis (see http://ceur-ws.org/Vol-1257/, http://ceur-ws.org/Vol-1058/, and http://ceur-ws.org/Vol-939/). This year, we have the chance to organize a new edition of the workshop in Buenos Aires at the IJCAI 2015 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery point of view and from the knowledge representation point of view, including, e.g., ontology engineering. All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, information retrieval. - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: May 18, 2015 (**** hard deadline ****) Notification to authors: June 15, 2015 Final version: July 1st, 2015 Workshop: July 25 or 26, 2015 (to be confirmed) SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2015 (opening soon) The workshop proceedings will be published as CEUR proceedings. A selection of the best papers presented at the workshop will be considered for a special issue of a high-level journal. WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany PROGRAM COMMITTEE (in constitution) ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From n.bulling at tudelft.nl Mon Apr 27 19:15:25 2015 From: n.bulling at tudelft.nl (Nils Bulling) Date: Mon, 27 Apr 2015 19:15:25 +0200 Subject: MATES 2015 Doctoral Consortium (2nd Call) Message-ID: Second Call for Papers for the DOCTORAL CONSORTIUM of MATES 2015 (13th German Conference on Multiagent System Technologies) Held in conjunction with INFORMATIK'2015 Cottbus, Germany, September 28 - October 2, 2015 Day of Doctoral Consortium: September 28, 2015 http://www.mates2015.de ======================== About the MATES Doctoral Consortium ======================== The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in multiagent systems and agent-based computing with prototyped or fielded systems in various application domains. The event will also host a Doctoral Consortium which is meant to support PhD students working in the area of intelligent agents or multi-agent systems. The doctoral consortium offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in an academic professional environment. The program provides an opportunity to PhD students to interact with their peers as well as with experienced researchers in the field, and to receive valuable feedback on their work and advice for their future careers. In particular, each student will be assigned a mentor, an experienced researcher in the field, who will be available for personal interactions during the day of the doctoral consortium. The main goals of the doctoral consortium are: - to give PhD researchers an opportunity to get feedback and suggestion on their work from experienced researchers and their peers. - to interact with other PhD researchers and to get an overview of the field of multi-agent systems. - to get advice for their (academic) career. - to provide networking opportunities. For further information, please visit: http://www.mates2015.de/?q=content/doctoral-consortium ======================== Submission and Application Requirements ======================== The application consist of two parts. 1. An extended abstract of the student's PhD project of up to 4 pages, following the MATES submission guidelines. 2. A short application document of at most 2 pages which should include the following: * a motivation why you think the doctoral consortium is useful for you; * the area of your PhD, including keywords describing your research; * you affiliation and contact details of your supervisor; * an outline of your plans after completion of your PhD; and * a short CV. The selection process takes into account the quality of the submitted abstract (which will be peer-reviewed) and of the application document. Extended abstracts must be submitted electronically via Easychair: https://easychair.org/conferences/?conf=dcmates2015 The application documents must be send as a single PDF file to Nils Bulling. ======================== Presentation and Publication ======================== - All accepted papers will be assigned a slot for oral presentation during the doctoral consortium. - Selected extended abstracts describing original, unpublished work mature enough for publication will be included in the MATES Springer LNCS proceedings. ======================== Important Dates ======================== Submissions due: May 22, 2015 (abstract and application documents) Acceptance notification: June 25, 2015 Final Versions: July 16, 2015 Doctoral Consortium: September 28, 2015 ======================== Organization ======================== CHAIR Nils Bulling, Delft University of Technology PROGRAM COMMITTEE Lars Braubach, University of Hamburg Juergen Dix, Clausthal University of Technology Christian Guttmann, Institute of Value Based Reimbursement System (IVBAR), Sweden Wolfgang Ketter, Rotterdam School of Management - Erasmus University Franziska Klügl, Örebro University Brian Logan, University of Nottingham Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul John-Jules Meyer, Utrecht University Jörg P. Müller, TU Clausthal Sascha Ossowski, University Rey Juan Carlos Jordi Sabater Mir, IIIA-CSIC Michael Thielscher, The University of New South Wales Matthias Thimm, Universität Koblenz-Landau Ingo J. Timm, University of Trier Rainer Unland, University of Duisburg-Essen, ICB Leon van der Torre, University of Luxembourg Cees Witteveen, Delft University of Technology ======================== Further Questions ======================== For further questions, please contact Nils Bulling (n DOT bulling AT tudelft DOT nl). — PD Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology Netherlands http://www.nilsbulling.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schon at uni-koblenz.de Tue Apr 28 13:41:39 2015 From: schon at uni-koblenz.de (Claudia Schon) Date: Tue, 28 Apr 2015 13:41:39 +0200 Subject: NEWS: Bridging Workshop at CADE 2015 - Change of submission modalities Message-ID: <209F62AD-EBC3-4F3B-81F9-682A67E3A097@uni-koblenz.de> NEWS: Bridging Workshop at CADE 2015 - Change of submission modalities Workshop on: Bridging the Gap between Human and Automated Reasoning located at CADE-25, Berlin, Germany, Aug 1, 2015 http://ratiolog.uni-koblenz.de/bridging.html Since this is a new workshop, we decided to only have informal proceedings using the Computing Research Repository (CoRR). During the workshop we will decide about possible post-workshop proceedings. This is why were able to change the submission modalities: Abstract submission deadline: May 1, 2015 Full paper submission deadline: May 10, 2015 Notification: June 1, 2015 Final submission: June 21, 2015 Looking forward to your submission. Claudia Schon on behalf of the organizing committee. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Tue Apr 28 16:28:29 2015 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Tue, 28 Apr 2015 16:28:29 +0200 Subject: Call for Papers: 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and 4th Workshop KI & Kognition (KIK-2015), September 22, 2015, Dresden, Germany Message-ID: <553F990D.5080007@hs-harz.de> CALL FOR PAPERS 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and 4th Workshop KI & Kognition (KIK-2015): Formal and Cognitive Reasoning ============================== http://www.fernuni-hagen.de/wbs/dkbkik2015.html Workshop at KI-2015 38th German Conference on Artificial Intelligence September 21-25, 2015, Dresden, Germany Organized by the "FG Wissensrepraesentation und Schliessen" and the FG "Kognition" of the GI Aims and Scope ************** Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the 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 field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as we l l as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrueck (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013). Previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbruecken (2012), Koblenz (2013), and Stuttgart (2014). This year, we put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning, addressing formal as well as experimental or heuristic issues. Reflecting this focus, the workshop "Formal and Cognitive Reasoning" at KI-2015 is organized jointly by the GI special interest groups "Wissensrepraesentation und Schliessen" and "Kognition". We welcome papers on the following and any related topics: - Action and change - Agents and multiagent systems - Analogical reasoning - Argumentation theories - Belief revision and belief update - Cognitive modeling and empirical data - Common sense and defeasible reasoning - Decision theory and preferences - Inductive reasoning and cognition - Knowledge representation in theory and practice - Learning and knowledge discovery in data - Nonmonotonic and uncertain reasoning - Ontologies and description logics - Probabilistic approaches of reasoning Publication *********** The proceedings will be published as a technical report that will be available at the workshop. It is planned to publish a selection of extended papers after a post-workshop reviewing process in a special issue of an international journal. Important Dates *************** Deadline for Submission: July 01, 2015 Notification of Authors: July 31, 2015 Final Versions of Papers: August 17, 2015 Workshop: September 22, 2015 (exact day to be confirmed) Workshop Organizers and Co-Chairs ********************************* Christoph Beierle, FernUniversitaet in Hagen, Germany Gabriele Kern-Isberner, TU Dortmund, Germany Marco Ragni, Universitaet Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Program Committee ***************** Thomas Barkowsky, Universitaet Bremen, Germany Gerd Brewka, Universitaet Leipzig, Germany Igor Douven, Paris-Sorbonne University, France Christian Freksa, Universitaet Bremen, Germany Ulrich Furbach, Universitaet Koblenz, Germany Joachim Hertzberg, Universitaet Osnabrueck, Germany Andreas Herzig, Universite Paul Sabatier, Toulouse, France Steffen Hoelldobler, TU Dresden, Germany Manfred Kerber, University of Birmingham, UK Gerhard Lakemeyer, RWTH Aachen, Germany Bernhard Nebel, Albert-Ludwigs-Universitaet Freiburg, Germany Henri Prade, IRIT - CNRS, France Hans Rott, Universitaet Regensburg, Germany Ute Schmid, Universitaet Bamberg, Germany Matthias Thimm, Universitaet Koblenz-Landau, Germany Paul Thorn, Universitaet Duesseldorf, Germany Hans Tompits, TU Wien, Austria Christoph Wernhard, TU Dresden, Germany Stefan Woelfl, Albert-Ludwigs-Universitaet Freiburg, Germany Paper Submission and Further Information **************************************** http://www.fernuni-hagen.de/wbs/dkbkik2015.html From dietmar.jannach at tu-dortmund.de Tue Apr 28 17:36:10 2015 From: dietmar.jannach at tu-dortmund.de (Dietmar Jannach) Date: Tue, 28 Apr 2015 17:36:10 +0200 Subject: CfP: IJCAI 2015 Workshop on Intelligent Personalization (IP 2015) - New deadline 11 May 2015 Message-ID: <00aa01d081c9$10755940$31600bc0$@tu-dortmund.de> ====================================================================== Final CALL FOR PAPERS IJCAI 2015 Workshop in INTELLIGENT PERSONALIZATION (IP'2015) Joint Workshop on Constraints and Preferences for Configuration and Recommendation (CPCR) / Intelligent Techniques for Web Personalization (ITWP) Held in conjunction with IJCAI 2015, 25-27 July 2015, Buenos Aires, Argentina http://ls13-www.cs.uni-dortmund.de/homepage/ip2015/index.shtml !!! NEW Submission Deadline: May 11, 2015 !!! ====================================================================== WORKSHOP GOALS =================== Finding the information or product that matches your needs and preferences on the Web can be challenging. Modern search engines can help in many situations, but they are based on one-shot query interactions and limited with respect to their personalization capabilities. Recommender Systems (RS) have proved to be helpful tools for various information seeking and filtering tasks and are nowadays ubiquitous on the Web. The most prominent classes of such systems are based on the detection of preference patterns in larger user communities (collaborative filtering) or on the automatic construction of content-based preference profiles for individual users (content-based filtering). For some application domains in e-commerce, relying on such pattern or model learning approaches alone can be insufficient because explicit and detailed short term interest or preference profiles are required to determine the most suitable product. This is for example the case when (a) the products themselves are configurable and can be tailored to the specific needs of a user or (b) the selection of the right product is based on user-specified explicit constraints, e.g., when purchasing a digital camera or smartphone. Going beyond collaborative and content-based techniques, such knowledge-based approaches therefore often require more complex user interfaces which support interactive preference elicitation or explanations as well as explicitly encoded domain knowledge. The aim of the workshop is to bring together researchers and practitioners working on topics related to the use of Artificial Intelligence techniques in the areas of recommendation systems, electronic commerce, personalized web tools, and interactive configurator systems. We are specifically interested in contributions which aim to combine explicit preference and constraint models with machine learning techniques. TOPICS OF INTEREST =================== We invite original contributions in a variety of areas related to Recommendation, Configuration and Web Personalization: * Preference Elicitation and User Modeling: Interactive Elicitation, Explicit and Implicit Feedback, Social/Semantic Web Mining for Personalization, Preference Learning, Collaborative and Content-based Filtering * User Interaction: Conversational Approaches, Explanations, Constraint Relaxation, Context-Aware Approaches, Personalized Information Filtering * Knowledge Representation and Reasoning: Constraint Programming, Preference Handling, Machine Learning, Satisfiability Testing, Logic-based Approaches, Developing, Testing and Debugging of Knowledge Bases * Evaluation Methodology, Metrics, and Case Studies; Implementation Architectures Keywords: * Recommender Systems * Product Configuration and Mass Customization * Constraint Reasoning * Preference Handling and Preference Learning * Web Personalization PAPER SUBMISSION AND PARTICIPATION =================== Papers must be formatted according to the IJCAI 2015 style guide (http://ijcai-15.org/downloads/FormattingGuidelinesIJCAI-15.zip) and submitted electronically as PDF through EasyChair at this URL: https://easychair.org/conferences/?conf=ip2015. We solicit the following types of papers as well as research demos * Long Papers (usually 6 pages + references, extra pages are possible) present original research work. * Short Papers (4 pages) report on work in progress or describe demo systems. * Research Highlights (1 page): Research highlights summarize relevant manuscripts which have recently been accepted for publication or appeared within the last 6 months in a peer-reviewed journal or which are currently under review. * Position Papers (1 page): Discuss open challenges or present early-stage research ideas. The workshop proceedings will be archived as citable proceedings with a permanent URL, e.g., using CEUR-WS. IMPORTANT DATES =================== * 11 May: Paper submission deadline * 01 Jun: Author notification * 22 Jun: Camera-ready versions due * 25/26 or 27 July: Workshop held WORKSHOP ORGANIZERS =================== Dietmar Jannach, Department of Computer Science, TU Dortmund, Germany dietmar.jannach at tu-dortmund.de Jerome Mengin, IRIT, University of Toulouse, France Jerome.Mengin at irit.fr Bamshad Mobasher, School of Computer Science, DePaul University, Chicago, USA mobasher at cs.depaul.edu Andrea Passerini, University of Trento, Italy passerini at disi.unitn.it Paolo Viappiani, CNRS and University Pierre and Marie Curie, France paolo.viappiani at lip6.fr From stefano.borgo at gmail.com Wed Apr 29 10:06:22 2015 From: stefano.borgo at gmail.com (Stefano Borgo) Date: Wed, 29 Apr 2015 10:06:22 +0200 Subject: 3rd CfP: Joint Ontology Workshops (JOWO), EXTENDED DEADLINE May 10, IJCAI-15, Buenos Aires Message-ID: <554090FE.7020608@gmail.com> ========================================== Joint Ontology Workshops (JOWO-15) * Deadline extended * -- Episode 1: The Argentine Winter -- Buenos Aires, Argentina, July 25-31, 2015 in conjunction with IJCAI 2015 http://iaoa.org/jowo Invited speakers: - Diego Calvanese (Univ. of Bolzano/Bozen) - Luciano Serafini (FBK, Trento) --- Third Call for Papers --- ========================================== Submission deadline (extended): May 10, 2015 ========================================== This first edition of the Joint Ontology Workshops (JOWO-15) combines four exciting ontology-centered workshops at IJCAI-15. Together with ontology work presented at IJCAI itself, we will transform Buenos Aires for a week into the largest venue for ontology research of the year. JOWO-15 is supported by the International Association for Ontology and its Applications - IAOA. It will feature a series of (shared) invited talks, paper presentations, and discussions spread across four independent full-day workshops run over a period of three days: ================================== Workshop on Formal Ontologies for Artificial Intelligence (FOfAI) ================================== http://www.loa.istc.cnr.it/fofai chairs: Stefano Borgo, Oliver Kutz, and Daniele Porello FOfAI aims to establish a venue for researchers in AI with a strong interest in applied ontology. In particular, we aim to foster an interdisciplinary discussion and cross-fertilization among a number of communities by proposing a venue to exchange foundational, methodological, and applicative perspectives. The workshop thus encourages submission of articles on both theoretical, computational, and linguistic issues in the use of ontologies in AI as well as the concrete use of non-trivial ontologies in AI systems and applications. FOfAI is generously sponsored by the Association for Logic, Language and Information - FoLLI. ================================== 9th Int. Workshop on Modular Ontologies (WoMO 2015) ================================== http://www.ccs.neu.edu/home/kenb/womo2015/ chairs: Kenneth Baclawski, Torsten Hahmann, Pavel Klinov, Adila Krisnadhi This workshop brings together researchers from all subareas of AI and from related disciplines and application domains to discuss latest and current work on theoretical and practical aspects of modularity in ontologies. Topics include modularity as enabling technology for knowledge repositories and collaborative knowledge development environments and as a tool for reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, maintenance and integration. ================================== 1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases ================================== https://ontochange.wordpress.com/ chairs: Eduardo FermÈ, Thomas Meyer and Renata Wassermann This workshop will bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in non-monotonic reasoning, commonsense reasoning, and paraconsistent reasoning. Hence the workshop will facilitate discussions on the application of existing work in belief change, non-monotonic reasoning, commonsense reasoning, and related areas on the one hand, to logic-based ontologies and databases on the other. ================================== Ontologies and logic programming for query answering ================================== http://ontolp.lsis.org/ chairs: Odile Papini, Marie-Laure Mugnier, Laurent Garcia, Salem Benferhat The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies. Particular topics include query answering while taking ontologies into account and non-monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies, with a special interest in logic programming for implementations. IMPORTANT DATES Paper Submission (extended): May 10, 2015 Notification: May 30, 2015 Camera ready: June 15, 2015 Workshop: July, 2015 SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop. Submissions can be long papers (up to 8 pages) or short papers (up to 4 pages), formatted using the AAAI style (available from http://www.aaai.org/Publications/Author/author.php), submitted in PDF format no later than the submission deadline. All submission are handled through Easychair. Use http://www.easychair.org/conferences/?conf=jowo15 for submissions to any of the first three workshops, and select the track that corresponds to the workshop most appropriate for your work. For the last workshop ''Ontologies and logic programming for query answering'', submissions are handled separately through https://easychair.org/conferences/?conf=ontolp2015 All submissions will be peer-reviewed by members of the program committee of the individual workshops. Accepted papers will be made available in the form of a joint workshop proceedings. For additional publication plans check the individual workshops. From ijcai2015.publicity at gmail.com Wed Apr 29 10:09:50 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 29 Apr 2015 05:09:50 -0300 Subject: IJCAI 2015 Video Competition - THIRD CALL FOR VIDEOS Message-ID: [Apology for cross-postings] ************************************************************************************************* =================================================================================== Third Call: IJCAI 2015 Video Competition Held at the International Joint Conference on Artificial Intelligence 2015 (IJCAI-15), July 25-27 2015 Buenos Aires, Argentina =================================================================================== We are pleased to present the third call for videos to the upcoming IJCAI 2015 Video Competition. In the spirit of earlier AI Video Competitions, the intention is to provide researchers with a forum for demonstrating how exciting and interesting Artificial Intelligence can be. The results of the competition will be presented at the IJCAI 2015 conference (July 25-31, 2015, in Buenos Aires, Argentina), where the best videos will be revealed. All videos will also be made available online. Key dates are as follows: * Submission of videos: May 10, 2015 * Notification of acceptance and award nominations: June 8, 2015 * Final version due: June 21, 2015 ****Note that attending the IJCAI conference is NOT mandatory.**** Video Contents -------------- A wide range of videos related to artificial intelligence can be submitted to the competition, varying along a number of distinct dimensions. The topic of a video might for example be a general or specific area of AI, the work of a particular researcher or group (yourselves or others), or a concrete application that depends on one or several AI techniques and that may be based entirely on software or partly on hardware. A video may concern work with different levels of maturity, from introducing something new and interesting, through describing known but ongoing research, to summarizing a mature area or application and showing its impact on society. The intended audience of a video can be students learning about a topic in a classroom, researchers interested in learning more about subfields outside their own, or the general public. Specific Awards --------------- In keeping with the above, several distinct awards will be given. The following categories are envisioned, but may change depending on the submissions received. * Best long video (up to 5 minutes) * Best short video (up to 1 minute) * Best application video (demonstrating a particular use of AI) * Most entertaining video (illustrating AI in an amusing or interesting way) * Most educational video (for students learning about a topic) * Most societally beneficial video (showing the public what AI can do and does for them) In all cases, keeping the viewer interested and engaged is essential. The best videos of earlier AI video competitions have often achieved this through the use of humor, background music, and movies / animations. To ensure that the videos are comprehensible to a wide audience, they must be narrated or subtitled in English. Requirements ------------ The following criteria must be satisfied by all participating videos. * The video must be relevant to the area of Artificial Intelligence. * The video must be submitted in a widely supported encoding and container format. For example, MPEG-2, Xvid or H.264 encoding in an AVI or MKV container could be used. We reserve the right to recode videos before placing them online. * The authors must hold the copyright for all materials used, such as music, video, sounds and images, or have explicit written permission from the copyright holders to use and distribute this material. * The video must not be offensive or advertise/promote commercial products. Review Process -------------- After the submission deadline, all submitted videos satisfying the requirements stated above will be reviewed by the video competition program committee according to the following criteria. * Excitement: How interesting and exciting is the actual technology, research area, application, or other work being presented? * Educational content: To what extent can other AI researchers, students, or the general public can learn about artificial intelligence from the video? * Entertainment value: How entertaining and captivating is the video to watch? * Presentation quality: How well is the video produced, what is the quality of the narration and soundtrack, etc.? The best videos will be nominated for awards, and the winners decided by the committee will be revealed during IJCAI 2015. Submissions ----------- All submissions to the video competition will be handled through ConfMaster at http://ijcai2015-video.confmaster.net/. In addition to standard information such as the entry’s title, the names of the authors and their contact information, the following information must be submitted as a .txt file: 1. A link (URL) to a location where video the file can be downloaded by the program committee. This location should preferably be protected by a password, which should then be submitted here as well. 2. A one- or two-paragraph description of the submission. Program Committee ----------------- The program committee for the ICJAI 2015 video competition currently includes the following members: Alessandro Saffiotti Alex Rogers Ana Paiva Andreas Herzig Anthony G Cohn Brandon Bennett Carlos Chesnevar Charles Ortiz Daniele Nardi Dave Robertson Elisabeth Andre Enrico Giunchiglia Esra Erdem Eyal Amir Gerhard Lakemeyer Hector Geffner Holger Hoos Jesus Cerquides Jianwei Zhang Karen Myers Malik Ghallab Malte Helmert Mark Boddy Michael Littman Milind Tambe Paul Scerri Peter Stone Ramon Lopez de Mantaras Sven Koenig Xinyu Wu Further information ------------------- For further information about participation, please contact the chairs, Jonas Kvarnström and Juan-Antonio Rodriguez Aguilar, at videos at ijcai-15.org. Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From valentina.ivanova at liu.se Wed Apr 29 11:38:12 2015 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Wed, 29 Apr 2015 09:38:12 +0000 Subject: [CfP] VOILA @ ISWC 2015 - Visualizations and User Interfaces for Ontologies and Linked Data Message-ID: <4B07F535C1DBB043B4E107FAA728DD202231115A@MB2-2010.ad.liu.se> CALL FOR PAPERS VOILA 2015 - Visualizations and User Interfaces for Ontologies and Linked Data International Workshop at ISWC 2015, 14th International Semantic Web Conference October 11 or 12, 2015, Bethlehem, Pennsylvania, USA http://voila2015.visualdataweb.org -------------------------------------------------- Submission Deadline: July 1, 2015 -------------------------------------------------- Motivation and Objectives ========== "A picture is worth a thousand words", we often say, yet many areas are in demand of sophisticated visualization techniques, and the Semantic Web is not an exception. The size and complexity of ontologies and Linked Data in the Semantic Web constantly grow and the diverse backgrounds of the users and application areas multiply at the same time. Providing users with visual representations and intuitive user interfaces can significantly aid the understanding of the domains and knowledge represented by ontologies and Linked Data. There is no "one size fits all" solution but different use cases demand different visualization and interaction techniques. Ultimately, providing better user interfaces and visual representations will foster user engagement and likely lead to higher quality results in different applications employing ontologies and to the proliferation of Linked Data usage. User interfaces are essential to easily provide access to the increasing diversity of knowledge modeled in ontologies. As ontologies grow in size and complexity, the demand for comprehensive visualization and sophisticated interaction also rises. In particular, user interfaces are an integral part of ontology engineering, to help bridge the gap between domain experts and ontology engineers. Ontology visualization is not a new topic and a number of approaches have become available in recent years, with some being already well-established, particularly in the field of ontology modeling. In other areas of ontology engineering, such as ontology alignment and debugging, although several tools have recently been developed, few provide a graphical user interface, not to mention navigational aids or comprehensive visualization techniques. While ontology users usually possess domain and/or knowledge representation expertise, this is not necessarily the case with potential Linked Data consumers who can come from very different backgrounds and have varying levels of expertise. Currently, the main Linked Data consumers are technology experienced users, one of the reasons being the lack of appropriate user interfaces and visualizations to support other user groups. Visual approaches are needed to assist various kinds of users, who pursue diverse goals and pose individual requirements. In the presence of a huge network of interconnected resources, one of the challenges faced by the Linked Data community is the visualization of the multidimensional datasets to provide for efficient overview, exploration and querying tasks, to mention just a few. With the focus shifting from a Web of Documents to a Web of Data, changes in the interaction paradigms are in demand as well. Novel approaches also need to take into consideration the technological challenges and opportunities given by new interaction contexts, ranging from mobile and touch interaction to visualizations on large displays, and encompassing highly responsive web applications. Topics of Interest ========== Topics of interest include (but are not limited to): - Visualizations for (large and complex) ontologies; - Visualization of ontology design patterns; - Linked Data visualizations and user interfaces; - Visualizations and user interfaces for ontology engineering (ontology development, alignment, debugging, etc.); - Requirements analysis for ontology and Linked Data visualizations; - Case studies of applying visualizations in ontology engineering and Linked Data consumption; - Context-aware visualization and interaction techniques; - Applications of novel interaction techniques (e.g., touch and gesture interaction); - User interfaces for collaborative ontology development; - Ontology visualizations for large and high-resolution displays; - Mobile user interfaces for ontology engineering and Linked Data exploration; - User interfaces assisting people with disabilities; - Visual exploration and querying of Linked Data. Submission Guidelines ========== Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following the 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: July 1, 2015 Notification: July 30, 2015 Camera-ready: August 14, 2015 Attendance ========== Note that workshop attendees cannot register for the workshop only, but need to register for the main conference, as well. Organizers ========== Valentina Ivanova, Linköping University, Sweden Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, University of Stuttgart, Germany Catia Pesquita, University of Lisbon, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Christian.Kuster at gt-arc.com Wed Apr 29 12:57:21 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Wed, 29 Apr 2015 10:57:21 +0000 Subject: Deadline extension: EUSPN-2015 Message-ID: ===== CFP ===== CALL FOR PAPERS ********************************************************************************** The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) September 27-30, 2015 Berlin, Germany http://euspn-15.dai-labor.de/ ********************************************************************************** Important Dates: Submission Deadline: June 3rd, 2015 (extended) Author Notification: June 26, 2015 Final Manuscript Due: July 26, 2015 The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. All EUSPN-2015 accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/ compendex). The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in the special issues of: - Journal of Mobile Information Systems, by IOS Press - Journal of Ambient Intelligence and Humanized Computing, by Springer - Journal of Web and Grid Services Papers on either completed or ongoing research are invited in the following and related tracks: - Ad hoc and Pervasive Networks (Chair: Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany) - Adaptive Systems, Intelligent Computing and Applications (Chair: Ingrid Nunes, UFRGS, Brazil) - Big Data and Big Data Science (Chair: Brijnesh-Johannes Jain, DAI-Lab, TU Berlin, Germany) - Cloud, Cluster, Grid and Social Computing (Chairs: Kechar Bouabdellah, Oran University, Algeria; Shibo He, Zhejiang University, China) - Pervasive / Ubiquitous Technologies - Emerging Tools and Applications (Chair: René Schumann, HES-SO, Switzerland) - Intelligent Traffic and Transportation Systems (Chairs: Jamal Bentahar, Concordia University, Canada; K. K. Pattanaik, ABV-Indian Institute of Information Technology & Management, India) - Internet of Things (Chair: Nik Bessis, University of Derby, UK) - Mobile Computing and Wireless Communications (Chair: Hamid Mcheick,University of Quebec At Chicoutimi, Canada) - Security, Privacy, and Trust (Chair: Karsten Bsufka, DAI-Lab, TU Berlin, Germany) - Semantic Web Technologies (Chair: Nils Masuch, DAI-Lab, TU Berlin, Germany) Paper Submission Guidelines: Submitted technical papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. The EUSPN submission link can be found at: http://easychair.org/conferences/?conf=euspn2015. All accepted papers will be scheduled for oral presentations and will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. At least one author of each accepted paper is required to register and attend the conference to present the work. Committee ------------- General Chairs Marco Lützenberger, DAI-Lab, TU Berlin, Germany Elhadi Shakshuki, Arcadia University, Canada Program Chairs Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Advisory Committee Ali Ghorbani, Univ. of New Brunswick, Canada Hossam Hassanein, Queen's University, Canada Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Makoto Takizawa, Seikei University, Japan David Taniar, Monash University, Australia Albert Zomaya, The University of Sydney, Australia Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Publicity Chairs Nabeel Al Qirim, College of Information Technology, UAE Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From publicity at ecmlpkdd2015.org Wed Apr 29 15:23:45 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Wed, 29 Apr 2015 14:23:45 +0100 Subject: ECMLPKDD 2015 : Nectar Track Message-ID: <009b01d0827f$ba617130$2f245390$@ecmlpkdd2015.org> The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2015) will take place on September 7 of 2015, in Porto Portugal ( http://www.ecmlpkdd2015.org/) and includes a Nectar Track that offers conference attendees a compact overview of recent scientific advances at the frontier of machine learning and data mining with other disciplines, as published in related conferences and journals. We kindly remind all senior and junior researchers that the submission deadline is approaching and summaries of their own work should be submitted as soon as possible. Important dates Submission deadline: May 4, 2015 Notifications of acceptance: June 1, 2015 Submission of camera ready copies: June 15, 2015 Detailed information about the Nectar Track is available on: http://www.ecmlpkdd2015.org/submission/call-nectar-track-contributions For further information please contact the ECMLPKDD 2015 Nectar Track Chairs: Ricard Gavaldà (Universitat Politècnica de Catalunya) Dino Pedreschi (Università di Pisa) Hope to see you all soon in Porto, Portugal!!! The publicity chairs of the ECMLPKDD 2015, Carlos Abreu Ferreira Ricardo Campos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From garcia at info.univ-angers.fr Wed Apr 29 18:02:33 2015 From: garcia at info.univ-angers.fr (Laurent GARCIA) Date: Wed, 29 Apr 2015 18:02:33 +0200 Subject: New deadline for ONTOLP workshop at IJCAI 2015 Message-ID: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR PAPERS Ontologies and Logic Programming for Query Answering http://ontolp.lsis.org This international workshop is is one of the joint ontology workshops JOWO 2015 affiliated with the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015, http://ijcai-15.org) and will take place in Buenos Aires, Argentina, July , 2015. Workshop description The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies. - Query answering while taking ontologies into account. - Non monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies. Concerning the first point, a challenging issue is how to adapt or extend Answer Set Programming to represent ontological knowledge. In particular, can (a fragment of) ASP cover lightweight ontological languages while keeping decidability and efficiency? Concerning the second point, a challenging issue is how to extend lightweight ontological languages with non-monotonic features, while keeping a good computational complexity. In particular, - How to embed exceptions-based and inconsistency tolerant-based reasoning in a tractable ontological language? - How to integrate uncertainty information in lightweight ontological languages? - How to define merging operations where both inputs and outputs are in lightweight ontological languages? Topics of interest include but are not limited to • Reasoning with lightweight ontologies • Reasoning with tractable fragments of OWL languages • Belief change & tractable Description logics • Reasoning on the web of data • Ontology-based data-access • Ontological query answering • Belief change & ASP • Datalog+/- & existential rules • ASP & description logics • ASP & uncertainty • First-order ASP • Rulelog The workshop is expected to bring together people from different research communities that are actively pursuing this line of research. Paper submission The authors should submit their paper via EasyChair: https://easychair.org/conferences/?conf=ontolp2015 We expect submissions of both mature and preliminary works. Long papers will not exeed 8 pages and short papers will not exceed 4 pages in pdf formatted using the AAAI style according to the instructions at http://www.aaai.org/Publications/Author/author.php After the workshop, the authors of accepted papers will be invited to submit an extended version for inclusion in a special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) journal published by Springer. Important dates • Abstract submission deadline: as soon as possible • Paper submission new deadline: May 10, 2015 • Notification of acceptance: May 20, 2015 • Camera ready papers: May 30, 2015 • Workshop date: July 25-27 2015 Program committee • Maria Teresa Alsinet Bernado (University of Lleida, Spain) • Jean-François Baget (INRIA, Montpellier, France) • Chitta Baral (Arizona State University, U.S.A.) • Madalina Croitoru (University of Montpellier 2, France) • Jim Delgrande (Simon Fraser University, Vancouver. Canada) • Thomas Eiter (Vienna University of Technology. Austria) • Jérôme Euzenat (INRIA, Grenoble, France) • Eduardo Fermé (University of Madeira, Portugal) • Sergio Alejandro Gomez (Universidad Nacional del Sur Alem, Argentina) • Fabio Grandi (University of Bologna, Italy) • Guido Governatori (NICTA Queensland, Australia) • John Horty (University of Maryland, U.S.A.) • Gabriele Kern-Isberner (University of Dortmund , Germany) • Sylvain Lagrue (University of Artois, France) • Claire Lefèvre (University of Angers, France) • Joao Leite (University of Lisbon, Portugal) • Nicola Leone (University of Calabria, Italy) • Stéphane Loiseau (University of Angers, France) • Thomas Lukasiewicz (University of Oxford. U.K.) • Robert E. Mercer (University of Western Ontario, Canada) • Thomas Meyer (CSIR Meraka Institute, Pretoria, South of Africa) • Farid Nouioua (Aix Marseille University, France) • Guilin Qi (Southeast University, China) • Vincent Risch (Aix Marseille University, France) • Riccardo Rosati (University La Sapienza, Roma, Italy) • Marie-Christine Rousset (University of Grenoble, France) • Torsten Schaub (University of Potsdam, Germany) • Steven Schockaert (Cardiff University, U.K.) • Guillermo Simari (University Bahia blanca, Argentine) • Igor Stéphan (University of Angers, France) • Umberto Straccia (ISTI-CNR, Pisa, Italy) • Kewen Wang (Griffith University, Australia) • Stefan Woltran (Vienna University of Technology, Austria) • Eric Würbel (University of Toulon, France) Chairs ◦ Odile Papini, Aix Marseille University, LSIS, France odile.papini at univ-amu.fr ◦ Salem Benferhat, University of Artois, CRIL France. benferhat at cril.fr ◦ Laurent Garcia, University of Angers, LERIA, France. garcia at info.univ-angers.fr ◦ Marie-Laure Mugnier, University of Montpellier 2, LIRMM, France. mugnier at lirmm.fr Contact: Odile Papini, odile.papini at univ-amu.fr This workshop receives support from ANR (French National Research Agency), (http://www.agence-nationale-recherche.fr/) ASPIQ project reference ANR-12-BS02-0003.(http://aspiq.lsis.org/) Related link: JOWO 2015 http://www.iaoa.org/jowo/ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From invitation at iariaevent.org Thu Apr 30 14:03:11 2015 From: invitation at iariaevent.org (INTERNET 2015) Date: Thu, 30 Apr 2015 08:03:11 -0400 Subject: Deadline Extension: INTERNET 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1430395391593.1998@iariaevent.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to INTERNET 2015. The submission deadline is extended to May 24, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2015, The Seventh International Conference on Evolving Internet October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/INTERNET15.html Call for Papers: http://www.iaria.org/conferences2015/CfPINTERNET15.html Submission page: http://www.iaria.org/conferences2015/SubmitINTERNET15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: May 24, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html INTERNET 2015 Topics (topics and submission details: see CfP on the site) Future Internet Architecture Architectures for the Internet of Things; Web of Things; Web of Things and Semantic; Internet of Things and Clouds internetworking; Network media, content and service orientation; Embedded Web Services (CoAP / Lightweight SOAP); Mobility and Future Internet; Pervasive Internet of Things; User-oriented, context-aware Internet of Things services; Location and discovery of things on the Internet; Crowd-sourcing and things; Trust, security and privacy in Internet of Things; Lightweight implementations of cryptographic stacks; Experiences with Open Platforms and hardware within Internet of Things; Internet of Vehicle (IOV) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Access networks Next generation access technologies; Femtocells-based access; Broadband wireless; nternet access; Optical access networks; Mobile wireless access; Dynamic and cognitive access; Hybrid optical and wireless access networks; Copper Access; Giga/Tera Access; Access Control; Neutral Access Networks; Legal aspects on network and service access Committee: http://www.iaria.org/conferences2015/ComINTERNET15.html ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From announce at cs.ucy.ac.cy Thu Apr 30 16:07:29 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 30 Apr 2015 17:07:29 +0300 Subject: IEEE/ACM UCC 2015: Last Call for Workshop Proposals Message-ID: *** Last Call for Workshop Proposals *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus Co-located with the 2nd IEEE/ACM International Conference on Big Data Computing (BDC 2015) http://cyprusconferences.org/ucc2015 *** Deadline for submitting workshop proposals: May 8th *** CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). TOPICS OF INTEREST Topics of interest include but are not limited to: · Big Data and Analytics · Principles and theoretical foundations of Utility Computing, including pricing and service models · Policy languages and Programming models · Utility driven model and mechanisms for Cloud federations · Autonomic techniques for Clouds and Cloud applications · Utility-driven platforms for Clouds · Architectural models to achieve Utility in Clouds · Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated · Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) · Virtualization technologies and other enablers · Economic models and scenarios of use · Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces · Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring · Applications: games, social networks, scientific computing (e-science) and business · Mobile and energy-efficient use of Clouds · Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts WORKSHOP PROPOSAL REQUIREMENTS Proposals for workshops should be no more than 2 pages in length and should contain the following information: · Title and brief technical description of the workshop, specifying the goals and the technical issues that will be the focus of the workshop. · A brief description of why and to whom the workshop is of interest. · A list of related workshops or similar events held in the last 3 years, or to be held in 2015. · The names and contact information (web page, email address) of the proposed technical program committee. This committee should consist of at least 10 people knowledgeable about the technical issues to be addressed and preferably not more than two members of the same institution. · A description of the qualifications of the organizers (who would be the Workshop Chairs) with respect to organizing this workshop. This can include papers published in the proposed topic area, previous workshop organization, and other relevant information. · Workshop proposals should be submitted in PDF format by email to the workshop chairs by the 8th of May, 2015. RESPONSIBILITIES Workshop chair(s) will be responsible for the following: · Producing a web page and a "Call for Papers/Participation" for their workshop. The URL should be sent to the UCC Workshops chairs. The call must make it clear that the workshop is open to all members of the Cloud, Big Data, Grid and Cluster Computing community. It should mention that at least one author of each accepted submission must attend the workshop and that all workshop participants must pay the UCC 2015 workshop day or conference registration fee. The CfP should make it clear that the registration of at least one author requires the full (non-student, non- workshop) rate. · Ensure that all workshop papers are a maximum of 6 pages in length (in IEEE format). It is the responsibility of the workshop organizers to ensure that this page limit has been adhered to. Additional pages may be purchased (in some circumstances) subject to approval by the proceedings chairs. · Provide a brief description of the workshop for the conference web page and program. · Selecting the participants and the format of the workshop. The publication of proceedings will be by the IEEE in the same volume as the main conference. The acceptance notification (by workshop chairs) therefore should be the same as the conference paper acceptance notification (i.e. the dates should be the same). All other details can be up to workshop organizers to set. · Advertising the workshop beyond the conference web page. · Assistance in producing a camera-ready version of the workshop proceedings. IMPORTANT NOTE If the workshop is too small (i.e. does not attract enough submissions) the UCC 2015 Organizing Committee may decide to merge that workshop with another. So we encourage workshop organizers to attract a large community. In extreme situations we may also cancel workshops if there are not enough submissions. Workshop organizers must ensure that suitable quality measures have been taken to ensure that the accepted papers are of high quality. All papers must be reviewed by an International Technical Program Committee with a minimum of 3 reviews per paper. The workshop organizers should also try to observe an acceptance rate that is no higher than 50%. Unless indicated on the UCC website, there will be no travel support and no registration discounts for authors and organizers. Workshops are not automatically endorsed by IEEE or ACM and should not use the names of these organisations in their titles. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing a link to a workshop's local page. · Providing logistics support and a meeting place for the workshop. · In conjunction with the organizers, determining the workshop date and time. · Providing copies of the workshop proceedings to attendees. IMPORTANT DATES · Workshop proposals due: 08 May, 2015 · Notification of workshop proposals: 22 May 2015 COMMITTEES General Chairs · Ashiq Anjum, University of Derby, UK · George Papadopoulos, University of Cyprus Program Committee Chairs · Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) · Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair · Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs · Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) · Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs · Ewa Deelman, USC, USA (deelman AT isi.edu) · Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · Ian Taylor, Cardiff University, UK Industry Chair · Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs · Nick Antonopoulos, University of Derby, UK · George Palis, University of Cyprus, Cyprus Publicity Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Program Committee http://cyprusconferences.org/ucc2015/?page_id=281 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Thu Apr 30 18:15:41 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 30 Apr 2015 16:15:41 +0000 Subject: CFP: 37th Translating and the Computer Conference (TC37) Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D23FC1D5@EXCHMBX10X03.unv.wlv.ac.uk> 37th Translating and the Computer Conference (TC37), 26-27 November 2015, London First announcement ASLING (Association internationale pour la promotion des technologies linguistiques) is delighted to announce the forthcoming, 37th edition of the annual Translating and the Computer Conference (TC37) to take place on 26 and 27 November 2015 in London. The TC conference has emerged as a leading forum for users, developers and vendors of Translation Technology tools, being a distinctive event for discussing the latest developments. It is an annual meeting where translators, researchers and business people, from translation companies, international organisations, universities and research labs, as well as freelance professionals, exchange ideas and discuss hot topics. The TC conference takes the form of presentations as well as posters and also features panel discussions and workshops. If you or a colleague have something interesting to contribute, this call invites you to consider submitting an extended abstract of a paper or poster for the TC37 conference. If on the other hand you have a workshop to propose, please provide an abstract (maximum 750 words) describing the topic and an outline of the structure. Conference topics Contributions are invited on any topic related to the technology used in translation and interpreting, including, but not limited to, CAT tools (Translation Memory (TM) systems, integration of Machine Translation in TM systems), Terminology Management, Machine Translation (training, quality assessment, post-editing, adaptation), Quality Control, Interoperability, Crowd-sourcing, Natural Language Processing and Translation Workflow and Management. Among the other important topics are training (including university translation programmes and the rapidly changing translation industry), resources for translators, tools and resources for interpreters, how to facilitate collaboration between translators and translation companies, and mobile technologies to support translators' work. Submission guidelines Original unpublished papers and posters on all aspects of translation and interpretation technology are invited. Topics of interest include, but are not limited to, those listed above. Papers and posters may report (among other things) on research, on commercial translation products or on user experiences. The difference between papers and posters is that while papers are expected to report on more conclusive results, posters can present ongoing and not necessarily completed research, teaching or training activity, practical work, software programs, projects or new developments. Papers: Authors are invited to submit an extended abstract (maximum of 750 words) of the paper they would like to present, together with a short 200 word abstract and short biography. Although the extended abstract is limited to 750 words (longer papers will NOT be considered), it should provide sufficient information to allow evaluation of the submission by the programme committee. The short abstracts of accepted papers will be used in online programme and event advertising. Camera-ready versions of the accepted papers will be published in the conference e-proceedings with an assigned ISBN number, subject to the presenter having duly registered for the conference. Their length should not exceed 5,000 words. Posters: Poster proposals are invited in the form of poster abstracts not exceeding 500 words. Authors should submit a 200-word version as well as a short biography for dissemination. Camera-ready versions of the accepted posters will be published in the conference e-proceedings with an assigned ISBN number, subject to the presenter having duly registered for the conference. Their length should not exceed 2,000 words. Submission: Both papers and posters should be submitted via the START conference submission system using the email address soon to be announced on the conference website (http://www.translatingandthecomputer.com/) and also in the second conference announcement. The website and the second announcement will also provide formatting guidelines in the form of Word (and LaTeX) stylesheets. Schedule 29 June 2015 - deadline for abstracts of papers and posters 10 August 2015 - all authors notified of decisions 30 September 2015 - speakers' full papers and posters to be submitted for inclusion in the e-proceedings 14 November 2015 - speakers' presentations to be submitted 26-27 November 2015 - conference takes place in London Conference Chairs João Esteves-Ferreira, Tradulex, International Association for Quality Translation Juliet Macan, Arancho Doc srl. Ruslan Mitkov, University of Wolverhampton Olaf-Michael Stefanov, United Nations (ret), JIAMCATT Programme Committee Juanjo Arevalillo, Hermes Traducciónes Wilker Aziz, University of Amsterdam David Chambers, World Intellectual Property Organisation (ret) Gloria Corpas Pastor, University of Málaga Iwan Davies, Institute of Translation and Interpreting Estelle Delpech, Nomao Joanna Drugan, University of East Anglia David Filip, CNGL / ADAPT Paola Valli, University of Trieste Nelson Verástegui, International Telecommunications Union (ret) AsLing.org Association internationale pour la promotion des technologies linguistiques International Association for Advancement in Language Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.bikakis at ucl.ac.uk Thu Apr 30 20:55:44 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Thu, 30 Apr 2015 18:55:44 +0000 Subject: MIWAI'15: 2nd Call for Papers In-Reply-To: References: <201504301848.t3UImNFG016333@igor.cs.wisc.edu> Message-ID: MIWAI'15: Call for Papers SUBMISSION DEADLINE: JULY 1, 2015 The 9th Multi-Disciplinary International Workshop on Artificial Intelligence - MIWAI'15 November 13-15, 2015, Fuzhou, Fujian Province, China http://khamreang.msu.ac.th/miwai15/ == IMPORTANT DATES == Submission deadline: July 1, 2015 Author notification: August 15, 2015 Camera-ready papers due: August 31, 2015 Author / early bird registration: August 31, 2015 Late Registration: November 1, 201 Workshop dates: November 13-15, 2015 == ABOUT MIWAI == Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others. The ever-evolving needs in society and business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities and establish new collaborations. The main purposes of the MIWAI series of workshops are: - to provide a meeting place for AI researchers and practitioners. - to inform research students about cutting-edge AI research via the presence of outstanding international invited speakers. - to raise the standards of practice of AI research by providing researchers and students with feedback from an internationally-renowned program committee. == KEYNOTE SPEAKERS == - Luc De Raedt, Katholieke Universiteit Leuven, http://people.cs.kuleuven.be/~luc.deraedt/ - Fangzhen Lin, Fangzhen Lin, Hong Kong University of Science and Technology, http://www.cs.ust.hk/~flin/ == TOPICS == Artificial intelligence is a broad area of research. We encourage researchers to submit papers in the following areas but not limited to: THEORY, METHODS AND TOOLS: - Cognitive Science - Computational Philosophy - Computational Intelligence - Computer Vision - Evolutionary Computing - Game Theory - Knowledge Representation and Reasoning - Machine Learning - Multi-agent Systems - Natural Language Processing - Planning and Scheduling - Robotics - Speech Recognition - Uncertainty in AI - Vision - Web and AI APPLICATIONS: - Ambient Intelligence - Big Data - Biometrics - BioInformatics - Chatbots - Decision Support Systems - E-commerce - Industrial Applications of AI - Knowledge Management - Privacy - Recommender Systems - Semantic Web - Security - Social Networking - Software Engineering - Spam Filtering - Surveillance - Telecommunications and Web Services == PROCEEDINGS & SPECIAL ISSUE == MIWAI'15 Proceedings will be published in Springer LNAI (Lecture Notes in Artificial Intelligence). A selection of the best papers will be invited to be revised and extended for the post-conference publication in a Special Issue of IJAIT (International Journal of Artificial Intelligence Tools). == SUBMISSION GUIDELINES == Submission link: https://www.easychair.org/conferences/?conf=miwai2015 Both research and application papers are solicited. All submitted papers will be carefully peer-reviewed on the basis of technical quality, relevance, significance, and clarity. Each paper should have no more than twelve (12) pages in the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Unpublished work of the authors should not be cited. Springer-Verlag author instructions are available at: http://www.springer.com/lncs == CONFERENCE CHAIRS == General Chairs: - Shuying Cheng (Fuzhou University, China) - Weixing Wang (KTH, Sweden) - Grigoris Antoniou (University of Huddersfield, UK) PC Chairs: - Xianghan Zheng (Fuzhou University, China) - Antonis Bikakis (UCL, UK) == STEERING COMMITTEE == - Arun Agarwal, University of Hyderabad, India - Rajkumar Buyya, University of Melbourne, Australia - Patrick Doherty, University of Linkoping, Sweden - Jerome Lang, University Paris-Dauphine, France - James F. Peters, University of Manitoba, Canada - Srinivasan Ramani, IIIT Bangalore, India - C Raghavendra Rao, University of Hyderabad, India - Leon Van Der Torre, University of Luxembourg, Luxembourg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu Apr 30 21:59:27 2015 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Thu, 30 Apr 2015 19:59:27 +0000 Subject: FINAL CFP LORI-V (deadline 18 May) Message-ID: <9EE5C722-CFBF-4A80-868D-9B196AB36DD7@liverpool.ac.uk> Call for Papers The Fifth International Conference on Logic, Rationality and Interaction (LORI-V) October 28-31, 2015, Taipei, Taiwan The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction (http://golori.org). The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF/DOC format following the Springer LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Please submit paper by May 18, 2015 via EasyChair for LORI-V: https://easychair.org/conferences/?conf=lori5 Accepted papers will be collected as a volume in the Folli Series on Logic, Language and Information, and a selection of extended papers will later be published in special issues of Synthese and the Journal of Logic and Computation. To encourage graduate students, those whose papers are single-authored and are accepted will be exempt from the registration fee, and up to 10 students will also have free accommodations during the conference dates. Invited Speakers Prof. Maria Aloni (Department of Philosophy, University of Amsterdam, The Netherlands) Prof. Joseph Halpern (Computer Science Department, Cornell University, USA) Prof. Eric Pacuit (Department of Philosophy, University of Maryland, USA) Prof. Liu Fenrong (Department of Philosophy, Tsinghua University, China) Prof. Branden Fitelson (Department of Philosophy, Rutgers University, USA) Prof. Churn-Jung Liau (Institute of Information Science, Academia Sinica, Taiwan) Organizers: LORI, National Taiwan University (NTU) and National Yang Ming University (YMU), Taipei, Taiwan, LORI Questions about paper submission please contact: Prof. Wiebe van der Hoek (wiebe at liverpool.ac.uk) or Prof. Wesley Holliday (wesholliday at berkeley.edu) Questions about conference details please contact conferenceonlogic at gmail.com ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liv.ac.uk