From invitation at iariainfo.org Mon Jun 1 00:44:06 2015 From: invitation at iariainfo.org (ICWMC 2015) Date: Sun, 31 May 2015 15:44:06 -0700 Subject: Last Submission Days: ICWMC 2015 || October 11 - 16, 2015 - St. Julians, Malta Message-ID: <1433112246006.1418@iariainfo.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 ICWMC 2015. We are entering the last few days before the deadline of June 4, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2015, The Eleventh International Conference on Wireless and Mobile Communications October 11 - 16, 2015 - St. Julians, Malta General page: http://www.iaria.org/conferences2015/ICWMC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICWMC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICWMC15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: June 4, 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 ICWMC 2015 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2015/ComICWMC15.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC 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 Christian.Kuster at gt-arc.com Mon Jun 1 10:20:33 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Mon, 1 Jun 2015 08:20:33 +0000 Subject: CfP: ICTH 2015 Message-ID: ===== 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: June 3rd, 2015 (extended) - 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 Christian.Kuster at gt-arc.com Mon Jun 1 10:26:46 2015 From: Christian.Kuster at gt-arc.com (Christian Kuster) Date: Mon, 1 Jun 2015 08:26:46 +0000 Subject: CfP: EUSPN-2015 Message-ID: <23e3a00173d64b929525702a21a1d151@birke.dai-lab.de> ===== CFP ===== CALL FOR PAPERS ********************************************************************************** The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) September 27-30, 2015 Berlin, Germany http://euspn-15.dai-labor.de/ ********************************************************************************** Important Dates: 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 blllne2 at unife.it Mon Jun 1 11:31:38 2015 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 1 Jun 2015 11:31:38 +0200 Subject: AI*IA 2015 Doctoral Consortium: Last CfP Message-ID: Last 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. program. 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 asdm at fi.upm.es Tue Jun 2 08:44:47 2015 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Tue, 2 Jun 2015 08:44:47 +0200 (CEST) Subject: Tenth Madrid UPM Advanced Statistics and Data Mining Summer School - Early registration deadline Message-ID: <1225373914.0.1433227488709.JavaMail.Bojan@neurolab> Dear colleagues, We would like to remind you that the early registration period for the tenth Madrid UPM Advanced Statistics and Data Mining Summer School finishes on 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, of 15 lecture hours each, which are given during two weeks (i.e., with six courses given each week). Students are free to choose the courses according to their interests, with the only restriction being that courses which are given in parallel are mutualy exclusive. INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at https://blog.inomics.com/top-10-summer-schools-in-math-stats/ 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 ijcai2015.publicity at gmail.com Tue Jun 2 10:07:29 2015 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 2 Jun 2015 05:07:29 -0300 Subject: IJCAI 2015 Robot Competition and Exhibition - EXTENDED DEADLINE Message-ID: [Apology for cross-postings] ************************************************************************************************* Robot Competition and Exhibition CALL FOR PARTICIPATION *** EXTENDED DEADLINE: June 10th, 2015 *** Competition IJCAI-15 will host a Robot Competition to help raise awareness of robotics in the AI community and to identify robotics problems that AI can help to address. The competition will take place at IJCAI-15 in Buenos Aires. A list of expert judges will be announced later. There will be five prizes on offer for real-time robot demonstrations in the following categories: physical skills (e.g. manipulation and motion), social skills (e.g. human-robot interaction, multi-robot collaboration, theory of mind), service tasks (e.g. general-purpose service, cleaning the house, cocktail waiter, security guard) and open (e.g. incredibly awesome applications). As the theme of IJCAI-15 will be AI and Arts, we also welcome entries that demonstrate the interplay of Robotics and Arts. The key criteria are: Innovation - what new value or potential impact does the demonstrated capability bring; Significance - quality of new AI/Robotics research questions it addresses or exposes; Technical Quality - how well is the demonstration accomplished; Understandability - quality of the demonstration presentation. Demonstration are expected to be given in an arena such as a living room and are required to be completed in 10 minutes with synchronous presentation/commendatory, followed by a 10 minute Q&A. If you are interested in participating in the IJCAI Robot Competition, please complete the registration form below, and send it to the ijcai15.robot at gmail.com as early as possible, but no later than June 10, 2015 (extended). ------------------------------------------------------------------------------------------------------------------- Entry Team Name: Country: Affiliations: Contact Details including email address: Team Description including link to website if there is one: Robot Description including link to website if there is one: Task/Skill Description of the robot skill/task you will attempt, the AI problems you will address, your general approach, photo/video(s) of the robot(s) not more than 2 pages. ------------------------------------------------------------------------------------------------------------------- Successful teams will be notified by May 15 if they can be accommodated at the IJCAI-15 venue. Physical constraints of the demonstration area will be made available later. Specific requirements should be pre-approved by the robotic program chairs. Exhibition A robot exhibition will be held together with the 2015 IJCAI Robot Competition. The Robot Exhibition is designed to provide a unique opportunity for universities and companies to bring their own robots and show them at the exhibit area, which is open to the conference participants and the public. If you are interested in participating in the IJCAI Robot Exhibition, please send the registration form to ijcai15.robot at gmail.com as early as possible, but no later than Friday May 15, 2015. Participants are expected to manage the logistics for their robots on their own. Xiaoping Chen and Michael Beetz, ijcai15.robot at gmail.com Chairs, the 2015 IJCAI Robot Competition and Exhibition 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 sibylle.schwarz at htwk-leipzig.de Wed Jun 3 10:43:06 2015 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Wed, 03 Jun 2015 10:43:06 +0200 Subject: CfP: WLP 2015 In-Reply-To: <556DE8CC.1030505@htwk-leipzig.de> References: <556DE8CC.1030505@htwk-leipzig.de> Message-ID: <556EBE1A.8060407@htwk-leipzig.de> ====================================================================== SECOND CALL FOR PAPERS 29th Workshop on Logic Programming (WLP 2015) part of the KI2015 and co-located with the ICCL Summer School on Reasoning Dresden, Germany, September 21 - 22, 2015 http://www.imn.htwk-leipzig.de/WLP2015 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2015. All submissions must be written in English and prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All accepted papers will be published electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/). As for previous events, it is planned to publish selected papers as post-conference proceedings. Important Dates =============== Submission of papers: June 14, 2015 Notification of acceptance: July 7, 2015 Early-Registration Deadline: July 15, 2015 Camera-ready papers: July 30, 2015 Workshop: September 21-22, 2015 Program committee ================= Slim Abdennadher - German University in Cairo Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Francois Bry - LMU Muenchen Michael Hanus - CAU Kiel Steffen Hölldobler (chair) - TU Dresden Petra Hofstedt - BTU Cottbus Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Hans Tompits - Vienna University of Technology Janis Voigtländer - Univ. Bonn Workshop Organizers =============== Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden sh at iccl.tu-dresden.de http://www.computational-logic.org/~sh/ Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From giacomo.cabri at unimore.it Thu Jun 4 10:25:13 2015 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Thu, 04 Jun 2015 10:25:13 +0200 Subject: Call for Papers: 3rd FoCAS Workshop on Fundamentals of Collective Adaptive Systems (FoCAS@SASO 2015) Message-ID: <55700B69.9000403@unimore.it> 3rd FoCAS Workshop on Fundamentals of Collective Adaptive Systems Monday 21st September @ SASO 2015, Boston, USA Submission hard deadline is July 11, 2015 Paper Acceptance Notification: July 31, 2015 Camera Ready: August 10, 2015 Workshop Best Student Paper Award: Prize 500EUR! Workshop website: http://www.focas.eu/saso-2015 -------- Call for Papers Collective Adaptive Systems (CAS) is a broad term that describes large scale systems that comprise of many units/nodes, each of which may have their own individual properties, objectives and actions. Decision- making in such a system is distributed and possibly highly dispersed, and interaction between the units may lead to the emergence of unexpected phenomena. CASs are open, in that nodes may enter or leave the collective at any time, and boundaries between CASs are fluid. The units can be highly heterogeneous (computers, robots, agents, devices, biological entities, etc.), each operating at different temporal and spatial scales, and having different (potentially conflicting) objectives and goals, even if often the system has a global goal that is pursued by means of collective actions. Our society increasingly depends on such systems, in which collections of heterogeneous ‘technological’ nodes are tightly entangled with human and social structures to form ‘artificial societies’. Yet, to properly exploit them, we need to develop a deeper scientific understanding of the principles by which they operate, in order to better design them. This workshop solicits papers that address new methodologies, theories and principles that can be used in order to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that we can better design, build, and analyse such systems. We welcome inter-disciplinary approaches. -------- Topics Suggested Topics (but not limited to): -Novel theories relating to operating principles of CAS -Novel design principles for building CAS systems -Insights into the short and long term adaptation of CAS systems -Insights into Emergent Properties of CAS -Insights into general properties of large scale, distributed CAS -Methodologies for studying, analysing and building CAS -Frameworks for analysing or developing CAS Case studies -Scenarios that can be used to investigate CAS properties -------- Submission Submission deadline is 11 July 2015 The length of a workshop paper may not exceed 6 pages including references and follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format using this EasyChair login page for FoCAS 2015: https://www.easychair.org/conferences/?conf=focassaso15 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. -------- FoCAS Best Student Paper Award The FoCAS Coordination Action is also presenting a best student paper award. The prize is worth 500 EUR to reimburse travel and accommodation costs associated with attending the workshop. This Best Student Paper Award is open to any student who is first author of a paper submitted to the FoCAS workshop at SASO 2015. Winning announcements will be made on 21 September at the workshop and posted at www.focas.eu. The submission deadline is 11 July 2015 -------- Organization Program Chairs Giacomo Cabri (University of Modena & Reggio Emilia: giacomo.cabri at unimore.it) Nicola Capodieci (University of Modena & Reggio Emilia: nicola.capodieci at unimore.it) Jennifer Willies (Edinburgh Napier university: j.willies at napier.ac.uk) Full workshop details are available at: http://www.focas.eu/saso-2015 -- |----------------------------------------------------| | 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 publicity at ecmlpkdd2015.org Fri Jun 5 10:40:11 2015 From: publicity at ecmlpkdd2015.org (ECMLPKDD 2015) Date: Fri, 5 Jun 2015 09:40:11 +0100 Subject: Reminder : ECMLPKDD 2015 - PhD Session Message-ID: <000001d09f6b$3eaebb20$bc0c3160$@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 PhD session that accepts papers on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. We kindly remind all PhD students that the submission deadline is approaching and papers should be submitted as soon as possible. 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 tsingliangchen at gmail.com Fri Jun 5 16:06:36 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Fri, 5 Jun 2015 22:06:36 +0800 Subject: Call For Papers: PRIMA-2015 (the 18th International Conference on Principles and Practice of Multi-Agent Systems) Message-ID: ============================================================================================================= Call for Papers: PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems ============================================================================================================= Dates: 26th-30th October 2015 Location: Bertinoro, Italy Website: http://prima2015.apice.unibo.it Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. Information for authors: PRIMA 2015 invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. There will be a special track on applications of multi-agent systems. The papers for this track would report experiences on using agents in an application domain and also discuss the challenges in deploying them. Publication, awards, and special issues: All accepted papers will be published in Springer’s LNAI series. There will be a best paper award sponsored by Springer-LNAI. Award winner(s) will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi-Agent Systems. There will be two special issues: one with Fundamenta Informaticae and one with the Knowledge Engineering Review. Topics (not limited to the following): ======================================= - Foundations of Agents and Multi-Agent Systems - Agent and Multi-Agent System Architectures - Agent-Oriented Software Engineering - Agent-Based Modeling and Simulation - Cooperation/Collaboration, Coordination/Communication - Hybrid Technologies for Multi-Agent Systems - Application Domains for Multi-Agent Systems - Applications of Agents and Multi-Agent Systems Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2015 Important Dates [>> EXTENDED <<] ================ Abstract: 17th June 2015 Submission: 19th June 2015 Notification: 24th July 2015 Camera-ready: 7th August 2015 Conference: 26th-30th October 2015 --- The PRIMA2015 Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jun 5 16:30:59 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 5 Jun 2015 10:30:59 -0400 (EDT) Subject: CADE-25 Call for Participation Message-ID: <20150605143059.792B01214E4@mcclellan.cs.miami.edu> 25th International Conference on Automated Deduction (CADE-25) Freie Universität Berlin, Germany, 1-7 August 2015 CALL FOR PARTICIPATION ---------------------- Registration, accommodation, and travel information for CADE-25 and all the affiliated events can be found at the conference website at http://www.cade-25.info. The call for the Woody Bledsoe Student Travel Award is attached. DATES ----- 1-3 August 2015: Workshops, Tutorials, Special Session, Competitions 4-7 August 2015: CADE main conference, Competitions GENERAL INFORMATION ------------------- CADE is the major forum for the presentation of research in all aspects of automated deduction. The CADE-25 conference programme will include invited talks, paper presentations, system descriptions, workshops, tutorials, system competitions, a poster session, and a special jubilee session on the past, present, and future of automated deduction. Invited speakers (CADE-25 jubilee session) * Ursula Martin, University of Oxford * Frank Pfenning, Carnegie Mellon University * David Plaisted, University of North Carolina at Chapel Hill * Andrei Voronkov, University of Manchester Invited speakers (CADE-25 main conference) * Ulrich Furbach, University of Koblenz, ECCAI invited talk * Edward Zalta, Stanford University * Michael Genesereth, Stanford University (joint with RuleML Symposium) Numerous further invited presentations will be part of the CADE-25 workshop program. Reception and dinner speeches will be given by Wolfgang Bibel and Jörg Siekmann. SCIENTIFIC PROGRAM ----------------- * 7 invited presentations (see above) * 24 regular research papers * 12 system descriptions * 9 workshops and 1 poster event * 6 tutorials * 3 system competitions * presentation of Herbrand Award to Andrei Voronkov * presentation of Skolem Awards (for most influential CADE papers from CADE-20, CADE-14, CADE-8, and CADE-0-1) * presentation of best paper award to Vijay D'Silva and Caterina Urban WORKSHOPS ---------- * Bridging: Bridging the gap between human and automated reasoning * DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme * HOL4: HOL4 Workshop * IWC: The 4th International Workshop on Confluence * LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice * LOCAS: Low-level Code Analysis for Security * PxTP: Workshop on Proof eXchange for Theorem Proving * QUANTIFY: 2nd International Workshop on Quantification * Vampire: The Vampire Workshop TUTORIALS --------- * Abella: Reasoning about Computational Systems using Abella * Beluga: Programming proofs about formal systems * CPROVER: From Programs to Logic: The CPROVER verification tools * Isabelle: Isabelle Tutorial * Lean: Lean Theorem Prover: a Tutorial * Superposition: 25th Anniversary of Superposition: Status and Future COMPETITIONS ------------ * CASC: The CADE ATP System Competition * CoCo: The 4th Confluence Competition * termCOMP: Termination Competition POSTER EVENT ------------ * EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems WOODY BLEDSOE STUDENT TRAVEL AWARDS AT CADE-25 ---------------------------------------------- The Woody Bledsoe Student Travel Award was created to honor the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR), whichever is scheduled for the year, by covering part of their expenses. The winners of the CADE-25 Woody Bledsoe Student Award will be partially reimbursed (e.g., between Euro 200 and Euro 750) for their conference registration, transportation, and accommodation expenses. Preference will be given to students who will play an active role in the conference (including satellite workshops, competitions, tutorials and poster events) and do not have alternative funding. However, also students in other situations are very much encouraged to apply. A nomination consists of a recommendation letter of up to 300 words from the student's advisor. Nominations for CADE-25 should be sent by e-mail to the chairs and conference organizers at cade25 at inf.fu-berlin.de. Nominations must arrive no later than 21 June 2015. The winners will be notified by 28 June 2015. The awards will be presented at CADE-25; in case a winner does not attend, the chairs may transfer the award to another nominee or give no award. From grlmc at urv.cat Sun Jun 7 10:45:19 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 7 Jun 2015 10:45:19 +0200 Subject: SLSP 2015: 3rd call for papers Message-ID: *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 neural representation of speech and language 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 peer-reviewed contributions INVITED SPEAKERS: Xavier Carreras (Xerox Research Centre Europe, Meylan, FR), Low-rank Matrix Learning for Compositional Objects, Strings and Trees Sebastian Riedel (University College London, UK), Embedding Probabilistic Logic for Machine Reading Steve Young (University of Cambridge, UK), Open-domain Statistical Spoken Dialogue Systems PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Jill Burstein (Educational Testing Service, Princeton, USA) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Marc Dymetman (Xerox Research Centre Europe, Meylan, France) Guillaume Gravier (IRISA, Rennes, France) Kadri Hacioglu (Sensory Inc., Santa Clara, USA) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, UK) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Sadao Kurohashi (Kyoto University, Japan) 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) Fuchun Peng (Google Inc., Mountain View, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ramírez (University of Granada, Spain) Paul Rayson (Lancaster University, UK) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Laurent Romary (INRIA, Saclay, France) Horacio Saggion (Pompeu Fabra University, Barcelona, Spain) David Sánchez (Rovira i Virgili University, Tarragona, Spain) Roser Saurí (Oxford University Press, Oxford, UK) Stefan Schulz (Medical University of Graz, Austria) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, UK) Maosong Sun (Tsinghua University, Beijing, China) Tomoki Toda (Nara Institute of Science and Technology, Japan) Yoshimasa Tsuruoka (University of Tokyo, Japan) Klára Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Atro Voutilainen (University of Helsinki, Finland) Andy Way (Dublin City University, Ireland) Junichi Yamagishi (University of Edinburgh, UK) Luke Zettlemoyer (University of Washington, Seattle, USA) 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. https://www.avast.com/antivirus From invitation at iariaprogram.org Sun Jun 7 17:44:53 2015 From: invitation at iariaprogram.org (ICSNC 2015) Date: Sun, 07 Jun 2015 11:44:53 -0400 Subject: Deadline Extension: ICSNC 2015 || November 15 - 20, 2015 - Barcelona, Spain Message-ID: <1433691893683.2398@iariaprogram.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2015. The submission deadline is extended to June 29, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2015, The Tenth International Conference on Systems and Networks Communications November 15 - 20, 2015 - Barcelona, Spain General page: http://www.iaria.org/conferences2015/ICSNC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICSNC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICSNC15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: June 29, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2015 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2015/ComICSNC15.html ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From announce at cs.ucy.ac.cy Mon Jun 8 17:18:27 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 8 Jun 2015 18:18:27 +0300 Subject: Last Mile: The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) Message-ID: *** Last Mile *** The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) 2-6 November 2015, Lordos Beach Hotel, Larnaca, Cyprus http://cyprusconferences.org/context2015 *** Deadline: June 15, 2015 *** The CONTEXT conferences are the world's prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context. The main theme of CONTEXT 2015 is "Back to the roots", focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Areas of interest include, but are not limited to, the role of context seen from different perspectives in: · Agent-based architectures · Ambient intelligence · Cognition and perception by humans and artifacts · Context-aware and situated systems · Context modeling tools · Communication and dialogue · Data analysis and visualization · Decision making · Discourse comprehension and representation · Engineering, e.g., in transport networks, industrial plants etc. · Experimental philosophy and experimental pragmatics · (Formal) models of context · Human-computer interaction · Knowledge representation · Language acquisition and processing · Learning, knowledge management and sharing · Logic and reasoning · Machine learning · Ontology/ies · Semantics and Pragmatics · Smart and interactive spaces · Understanding art, images, music and theatre Proceedings Accepted papers and poster abstracts will be published in a volume of the Springer LNAI series. Submission format Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4-6 pages. Full papers may be accepted as such with oral presentation, or their authors may be invited to prepare a poster abstract. Detailed formatting and submissions instructions will be provided. Conference events CONTEXT 2015 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. All accepted authors will have the option of presenting a system demonstration at the poster session. Keynote talks · Emma Borg, University of Reading, UK Linguistic Meaning, Context and Assertion · Enrico Rukzio, Universität Ulm, Germany Mobile Interaction with Pervasive User Interfaces Workshops CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. Three workshops are confirmed so far: · Smart University 3.0 · CATI - Context Awareness & Tactile design for mobile Interaction · SHAPES 3.0 -- THE SHAPE OF THINGS Important dates Full papers and posters: · Submission deadline: June 15, 2015 · Notification: July 13, 2015 · Final version: August 17, 2015 Workshops and Doctoral Symposium Papers: · Submission deadline: August 1, 2015 · Notification: September 1, 2015 · Final version: October 1, 2015 Doctoral Consortium The Context 2015 Doctoral Symposium is an opportunity for doctoral researchers to showcase their work and discuss problems, challenges, and ideas in an open and collegial environment with expert feedback. The Doctoral Symposium is a workshop for doctoral researchers from all over the world who are in the early and middle phases of their research work (i.e., the Symposium is not intended for those who are finished or nearly finished their research). Program Chairs Henning Christiansen, Roskilde University, Denmark Isidora Stojanovic, UPF, Spain & CNRS, France Workshop Chair Samia Oussena, University of West London, UK Local Arrangements Chair George Angelos Papadopoulos, University of Cyprus, Cyprus General Chair Henning Christiansen, Roskilde University, Denmark Chairs of the Community of Context Patrick Blackburn, Roskilde University, Denmark Patrick Brezillon, Université Pierre et Marie Curie, France Henning Christiansen, Roskilde University, Denmark Richard Dapoigny, Université de Savoie, France Thomas R. Roth-Berghofer, University of West London, UK Hedda R. Schmidtke, Carnegie Mellon University, USA Look for updates and more details at: - http://cyprusconferences.org/context2015 - https://www.facebook.com/context.conference -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Mon Jun 8 20:37:21 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 8 Jun 2015 15:37:21 -0300 Subject: Preliminary Call for Papers: KR 2016 in Cape Town Message-ID: <8AEAB81A-13A2-4D33-8AC9-AB345020FC38@acm.org> PRELIMINARY CALL FOR PAPERS *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org) KR 2016 IMPORTANT DATES ----------------------- * Submission of title and abstract: 21 November 2015 * Paper submission deadline: 28 November 2015 * Notification of acceptance: 21 January 2016 * Camera-ready papers due: 19 February 2016 * Conference: 25-29 April 2016 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics SUBMISSION INFORMATION Submissions must be original, and should not have been previously published, accepted for publication, or currently be under review. Authors may not submit their paper elsewhere during the KR'2016 reviewing period. These considerations apply only to journals and conferences, and not to workshops and forums with a limited audience and without archival proceedings. In case of doubt, please contact the Program Chairs. Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip The conference proceedings will be published by AAAI Press. For complete details, see the 'Submission information' page at http://www.kr.org/KR2016 CONFERENCE CHAIRS ----------------- General: Chitta Baral (Arizona State U, USA) Program: James Delgrande (Simon Fraser U, Canada), Frank Wolter (U Liverpool, UK) Local Organization: Thomas Meyer (U of Cape Town and CAIR, South Africa) Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State U, USA) Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From fernandokoch at me.com Tue Jun 9 02:44:45 2015 From: fernandokoch at me.com (Fernando Koch) Date: Mon, 08 Jun 2015 21:44:45 -0300 Subject: CFP - International Workshop on Social Computing in Digital Education In-Reply-To: <54E78B09.20409@gmail.com> References: <979C628B-56B9-4D91-A822-086EDB2B05E2@me.com> <54E78B09.20409@gmail.com> Message-ID: CALL FOR PAPERS International Workshop on Social Computing in Digital Education In conjunction with 2015 ASE Eighth International Conference on Social Computing Stanford Uni, CA — 18-Au-2015 http://www.digedu-workshops.org ORGANIZATION COMMITTEE Dr. Tiago Thompsen Primo, Research Scientist, Samsung Research Institute Dr. Andrew Koster, Research Scientist, Samsung Research Institute GENERAL CHAIRS Dr. Fernando Koch, Director R&D, Samsung Research Institute Dr. Yeunbae Kim, VP R&D, Samsung Research Institute STEERING COMMITTEE Prof. Dr. Takao Terano, Tokyo Institute of Technology, Japan Prof. Dr. Noburo Matsuda, Carnegie Mellon University, USA IMPORTANT DATES Paper submission: Jul 12th, 2015 Notification of acceptance: Jul 24th, 2015 Camera-ready: Jul 30, 2015 Workshop: Aug 18th, 2015 Submission site: https://easychair.org/conferences/?conf=socialedu2015 SUMMARY The workshop aims to discuss computational models of social computing and computational intelligence applied to Digital Education. This is a growing field of research concerned to bring interactive technology to teaching and learning in classroom. We seek to foment the discussion around new forms of assessment, and models to understand the impact of social behaviour, learning context, and individual profile upon learning performance. A basic premise of this workshop is to think of multi-disciplinary and investigative approaches involving: - Novel Data Mining and Machine Learning for Social Intelligence in Digital Education - Modelling of Social Behaviours, Emotional Intelligence, Influence processes and other socials aspects that may influence learning performance - Novel Recommendation and Inference Techniques in Digital Education - Smart environments and Interactive systems of Social Computing in Digital Education - Analysis of social media and media intelligence in Digital Education - Mobile Social Gaming in Digital Education - User Experience for Digital Education - Standards and Data representation to support reasoning and interoperability - The utilization of mobile and wearable technology in social systems in Digital Education, and others. We would like to attract industrial research and practical research in academia, whose groups are applying extended models of Computational Intelligence, Computational Social Sciences, Learning analytics, Recommender Systems, Data Mining, Intelligent Information Retrieval, Social Simulation, Human-Computing Interaction, Knowledge Representation and Reasoning and others applied to the field of Digital Education and Digital Teaching Platforms. We also intend to establish a research community working on scientific and technological aspects of the proposed topics, by inviting contributions of members in the industry and applied research in academia. As expected results, we seek to publish the proceedings Springer, possibly as Communications in Computer and Information Science (CCIS). However, there might be situations, where a joint publication is more reasonable and/or other publisher may be considered. SUBMISSION AND PUBLICATION Submission is done electronically at Easychair, formatted according to LNCS specification and submitted as a PDF file. The submission site is at: https://easychair.org/conferences/?conf=socialedu2015 We seeks three types of submissions: - Full paper of 8-12 pages. - Short paper of 4 pages, such as position and early result papers. - Demo paper of 4 pages describing a demonstration. Submissions will be peer-reviewed by, at least, two reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, and quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. TECHNICAL PROGRAM COMMITTEE (being invited) From geoff at cs.miami.edu Tue Jun 9 17:54:44 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 9 Jun 2015 11:54:44 -0400 (EDT) Subject: GCAI 2015 - Call for Papers Message-ID: <20150609155444.F10D212149B@mcclellan.cs.miami.edu> GCAI 2015: The First Global Conference on Artificial Intelligence Tbilisi, Georgia, October 16-19, 2015 http://easychair.org/smart-program/GCAI2015/ First Call for Papers GCAI 2015 will be held at Tbilisi State University, 16-19 October 2015. The conference is organized jointly by LRG and Tbilisi State University. SUBMISSION Submissions in all areas of artifical intelligence are welcome. Submitted papers must be original and not submitted simultaneously elsewhere. More information can be found on the conference web pages. The submission page is https://easychair.org/conferences/?conf=gcai2015 . DATES - Abstract registration: July 3, 2015 - Submission: July 10, 2015 - Notification: August 10, 2015 - Final version: August 25, 2015 - Early registration deadline: September 1, 2015 - Conference: October 16-19, 2015 PROGRAM COMMITTEE The program committee contains 120 researchers from 34 countries. The program chairs are - Georg Gottlob (Oxford University) - Geoff Sutcliffe (University of Miami) - Andrei Voronkov (The University of Manchester) PUBLICATION The GCAI proceedings will be published by EasyChair in the Epic Series in Computing. The volume will be open access and the authors will retain copyrights. From marc.denecker at cs.kuleuven.be Tue Jun 9 18:28:58 2015 From: marc.denecker at cs.kuleuven.be (Marc Denecker) Date: Tue, 09 Jun 2015 18:28:58 +0200 Subject: GTTV'15: Second Call for Papers Message-ID: <5577144A.7040906@cs.kuleuven.be> ------------------------------------------------------------------------------ 2nd CALL FOR PAPERS ------------------------------------------------------------------------------ GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables 27 September, Lexington, KY, USA. Workshop collocated with LPNMR 2015 URL: https://sites.google.com/site/gttv2015/ ------------------------------------------------------------------------------ IMPORTANT DATES ------------------------------------------------------------------------------ - Paper registration: 22 June - Paper submission: 29 June - Notification of acceptance: 17 August - Camera ready submission: 1 September - Workshop: 27 September, 2015 ------------------------------------------------------------------------------ WORKSHOP DESCRIPTION ------------------------------------------------------------------------------ Although many efficient solvers used in formal reasoning operate at the propositional level, in most application domains for knowledge representation and reasoning the use of variables is crucial for allowing compact and flexible formal descriptions. As a result, a common situation in many different areas of formal reasoning is to deal with high level descriptions containing variables while using a propositional solver as a back-end. The technique of removing variables, replacing them by their possible ground instances, is commonly known as Grounding, and has attracted research interest from quite diverse areas such as Logic Programming and Non-Monotonic Reasoning, Theorem Proving, Planning, Deductive Databases, Formal Methods, and others. This workshop aims to bring together researchers from different areas with a common interest in grounding and transformations for theories with variables, establishing a meeting point from which a cross-fertilization of new ideas may emerge. Workshop topics include, but are not limited to: * Transformations and pre-processing for grounding * Equivalence and correspondence for theories with variables * Modularity and compositionality * Syntactic restrictions for grounding * Grounding for theories with functions * Selective on-the-fly grounding, lazy grounding, grounding on demand * Grounding algorithms: heuristics, computational complexity, etc * Benchmarks, challenging applications and system comparisons * Grounding for specific solvers including, but not limited to: ASP, SAT, SMT, constraint programming, mixed integer programming, etc * Grounding in hybrid systems: ontologies and ASP, etc * Other techniques for variables: quantifier elimination, etc. ------------------------------------------------------------------------------ INVITED SPEAKERS ------------------------------------------------------------------------------ Andreas Pieris, Vienna University of Technology Roland Kaminski, Potsdam University ------------------------------------------------------------------------------ SUBMISSION INSTRUCTIONS ------------------------------------------------------------------------------ All submissions must be written in English and formatted according to the Springer LNCS/LNAI author instructions. http://www.springer.com/comp/lncs/Authors.html Two types of contributions are accepted: Technical papers and System descriptions. Technical papers must present original research and not exceed 13 pages including title page, references and figures. We also encourage introductory system descriptions that help different groups make their work known to the others. For system presentations a length of 6 pages is recommended. Paper submission is electronic and managed through the following easychair GTTV'15 webpage https://www.easychair.org/conferences/?conf=gttv15 MULTIPLE SUBMISSION POLICY GTTV'15 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. However, authors may freely submit their papers elsewhere during or after GTTV'15 review period, since GTTV'15 is a specialized workshop without archival proceedings and intended for a limited audience. ------------------------------------------------------------------------------ PROGRAM COMMITTEE ------------------------------------------------------------------------------ Marcello Balduccini, Drexel University Pedro Cabalar, University of A Coruña Martin Gebser, Aalto University Emilia Oikarinen, Aalto University Simona Perri, University of Calabria Joohyung Lee, Arizona State University Torsten Schaub, University of Potsdam Shahab Tasharrofi, Aalto University Evgenia Ternovska, Simon Fraser University Mirek Truszczynski, University of Kentucky Agustín Valverde Ramos, University of Málaga Concepción Vidal Martin, University of A Coruña Stefan Woltran, Technische Universität Wien ------------------------------------------------------------------------------ ORGANIZING COMMITTEE ------------------------------------------------------------------------------ Marc Denecker, KU Leuven Tomi Janhunen, Aalto University -- Prof. Marc Denecker KU Leuven Departement Computerwetenschappen tel: ++32 (0)16/32.75.57 Celestijnenlaan 200A Room A02.145 fax: ++32 (0)16/32.79.96 B-3001 Heverlee, Belgium email: Marc.Denecker at cs.kuleuven.be http://people.cs.kuleuven.be/~marc.denecker/ ........................................................................ Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From strass at informatik.uni-leipzig.de Wed Jun 10 10:39:57 2015 From: strass at informatik.uni-leipzig.de (=?UTF-8?B?SGFubmVzIFN0cmHDnw==?=) Date: Wed, 10 Jun 2015 10:39:57 +0200 Subject: Final call for papers: The First International Workshop on Argumentation and Logic Programming (ArgLP 2015) Message-ID: <5577F7DD.8050108@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 ellmauthaler at informatik.uni-leipzig.de Wed Jun 10 14:12:35 2015 From: ellmauthaler at informatik.uni-leipzig.de (Stefan Ellmauthaler) Date: Wed, 10 Jun 2015 14:12:35 +0200 Subject: IULP2015 at ICLP: Last CFP & Deadline Extensions Message-ID: <557829B3.3080006@informatik.uni-leipzig.de> (with apologies for cross-posting) ------------------------------------------------------------------------- EXTENDED DEADLINE: JUNE 17, 2014 ------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------- *** IULP 2015 *** International Workshop on User-Oriented Logic Programming August 31, 2015 Collocated with the 31st International Conference on Logic Programming (ICLP 2015) Cork, Ireland August 31 - September 4, 2015 ------------------------------------------------------------------------- Since the emergence of the field of logic programming more than 30 years ago, a lot of theoretical work has been done, for example with respect to different semantics and their properties. More recently, implementations and IDEs emerged which have been used for various problem-solving applications. However, user-friendliness is still an issue for both experts and non-experts in logic programming; for example experts benefit from features like debugging and heurist tuning, non-experts from educational material and intuitive visualisations - all of which are ongoing topics of research. The International Workshop of User-Oriented Logic Programming (IULP) focuses on discussing different aspects involved in making logic pro- gramming more user-friendly/oriented, where the "user" could be either a logic programming expert, or a non-expert who simply uses logic pro- gramming tools in some application. IULP aims to bring together re- searchers from different sub-areas of logic programming, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation etc., as user-friendliness is an important topic in all of these sub-areas. IULP aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories, formalisms, and applications to deliver the mature and well-defined methods of logic programming to a wider audience. We solicit the submission of papers broadly centred on issues and research related to user-friendliness in logic programming and related fields. We welcome papers of either theoretical or practical nature including work in progress. IMPORTANT DATES ------------------------------------------------------------------------- * Papers due: EXTEDNDED Wed, 17th June 2015 * Notification to authors: Fri, 10th July 2015 * Camera ready version due: Fri, 24th July 2015 * Workshop date: Mon, 31st August 2015 TOPICS ------------------------------------------------------------------------- Topics of interest include (but are not limited to): * IDEs * debugging * explanations * visualisation * best practice * modularity * usage of natural language * heuristic tuning * LP education * language extensions SUBMISSIONS ------------------------------------------------------------------------- Papers must be formatted in Springer LNCS style (http://www.springer.com/lncs) and should not exceed 15 pages (excluding references and appendices). All submissions have to be written in English and submitted electronically as a PDF through easychair (http://easychair.org/conferences/?conf=iulp15). We encourage the submission of original research in the area as well as relevant results that have been submitted or accepted elsewhere provided that the initial publication is mentioned in a footnote on the first page. Note that authorship is not anonymous and that at least one author of each accepted paper is required to attend the workshop to present the contribution. PROCEEDINGS ------------------------------------------------------------------------- There are no formal proceedings for IULP. The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository. The copyright of the papers lies with the authors and, as far as IULP is concerned, authors are free to submit their work to other conferences and workshops. COMMITTEE ------------------------------------------------------------------------- Chairs: * Stefan Ellmauthaler (Leipzig University) * Claudia Schulz (Imperial College London) Program Committee * Dalal Alrajeh (Imperial College London) * Bart Bogaerts (KU Leuven) * Pedro Cabalar (Corunna University) * Günther Charwat (Vienna University of Technology) * Marina De Vos (University of Bath) * Esra Erdem (Sabanci University) * Sarah Alice Gaggl (TU Dresden) * Martin Gebser (Aalto University) * Antonis C. Kakas (University of Cyprus) * Enrico Pontelli (New Mexico State University) * Jörg Pührer (Leipzig University) * Francesco Ricca (University of Calabria) * Kostyantyn Shchekotykhin (University of Klagenfurt) * Guillermo R. Simari (Universidad Nacional del Sur) * Hans Tompits (TU Wien) CONTACT ------------------------------------------------------------------------- iulp15 [at] easychair [dot] org HOMEPAGE ------------------------------------------------------------------------- http://iulp2015.uni-leipzig.de best regards, Claudia and Stefan Workshop Organisers From schueller.p at gmail.com Thu Jun 11 07:47:30 2015 From: schueller.p at gmail.com (schueller.p at gmail.com) Date: Thu, 11 Jun 2015 08:47:30 +0300 (EEST) Subject: Second CFP: 2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015)@LPNMR Message-ID: <20150611054730.254522C0162@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 tsingliangchen at gmail.com Thu Jun 11 08:31:51 2015 From: tsingliangchen at gmail.com (Qingliang Chen) Date: Thu, 11 Jun 2015 14:31:51 +0800 Subject: Last Call for Papers: PRIMA-2015 (the 18th International Conference on Principles and Practice of Multi-Agent Systems) Message-ID: ============================================================================================================= Call for Papers: PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems ============================================================================================================= Dates: 26th-30th October 2015 Location: Bertinoro, Italy Website: http://prima2015.apice.unibo.it Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. Information for authors: PRIMA 2015 invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. There will be a special track on applications of multi-agent systems. The papers for this track would report experiences on using agents in an application domain and also discuss the challenges in deploying them. Publication, awards, and special issues: All accepted papers will be published in Springer’s LNAI series. There will be a best paper award sponsored by Springer-LNAI. Award winner(s) will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi-Agent Systems. There will be two special issues: one with Fundamenta Informaticae and one with the Knowledge Engineering Review. Topics (not limited to the following): ======================================= - Foundations of Agents and Multi-Agent Systems - Agent and Multi-Agent System Architectures - Agent-Oriented Software Engineering - Agent-Based Modeling and Simulation - Cooperation/Collaboration, Coordination/Communication - Hybrid Technologies for Multi-Agent Systems - Application Domains for Multi-Agent Systems - Applications of Agents and Multi-Agent Systems Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2015 Important Dates [>> EXTENDED <<] ================ Abstract: 17th June 2015 Submission: 19th June 2015 Notification: 24th July 2015 Camera-ready: 7th August 2015 Conference: 26th-30th October 2015 --- The PRIMA2015 Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Thu Jun 11 11:23:24 2015 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 11 Jun 2015 11:23:24 +0200 Subject: PLP-2015: deadline extensions to 15 June Message-ID: PLP-2015: The Second Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of the 2015 International Conference on Logic Programming 31 August 2015 Cork, Ireland http://stoics.org.uk/plp/plp2015/ Deadline extension to 15 June 2015 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After a successful first edition of this workshop at ICLP 2014 in Vienna, the second edition hopes to continue to foster collaboration between between the ICLP and PLP communities. We hope that both (a) more LP researchers will become interested in inference and learning with PLP and (b) PLP researchers will get important feedback on their work from logic programmers. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LLNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter. The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Extended versions of selected workshop papers will be published in the International Journal of Approximate Reasoning (Elsevier). Deadlines ----- Papers due: Wed, 15th June 2015 Notification to authors: Fri, 10th July 2015 Camera ready version due: Fri, 24th July 2015 Workshop data: Mon, 31st August 2015 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- To be announced Programme Committee ----- Fabrizio Riguzzi (Universita' di Ferrara, Italy) [co-chair] Joost Vennekens (KU Leuven, Belgium) [co-chair] Elena Bellodi (ENDIF-University of Ferrara) Nicos Angelopoulos (Imperial College, London) Arjen Hommersom (University of Nijmegen) Nicola Di Mauro (Università di Bari) Christian Theil Have (Copenhagen University) Angelika Kimmig (KU Leuven) Wannes Meert (KU Leuven) Aline Paes (Institute of Computing, Universidade Federal Fluminense) David Poole (University of British Columbia) C. R. Ramakrishnan (University at Stony Brook) Herbert Wiklicky (Imperial College London) Terrance Swift (CENTRIA, Universidade Nova de Lisboa) James Cussens (University of York) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Jun 11 15:03:51 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 11 Jun 2015 09:03:51 -0400 (EDT) Subject: FMCAD Student Forum - Call for Contributions Message-ID: <20150611130351.DF9D2121482@mcclellan.cs.miami.edu> FMCAD 2015 STUDENT FORUM 2nd call for contributions FMCAD 2015, the fifteenth conference on the theory and applications of formal methods in hardware and system verification, will host the 3rd FMCAD Student Forum (September 28-30, 2015) providing a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community. IMPORTANT DATES Submission Deadline: June 21, 2015 Acceptance notification: July 19, 2015 Forum date: September 28-30, 2015 Details are provided on http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/student-forum.shtml Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a select group of program committee members. The event will consist of short presentations by the student authors of each accepted submission, and of a poster that will be on display throughout the duration of the conference. Accepted submissions will be listed, with title and author name, in the event description in the conference proceedings. The authors will also have the option to upload their poster and presentation to the FMCAD web site. The best contribution (determined by the committee based on the quality of the submission and the presentation) will be given public recognition and a certificate at the event. Limited funds will be available for travel assistance for students with accepted contributions. We kindly ask faculty members to help us advertise the event by displaying the posters available from the web-page in their departments. If you have questions, please contact the forum chair Georg Weissenbacher (Vienna University of Technology, Austria). For more details visit http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/index.shtml From geoff at cs.miami.edu Thu Jun 11 15:36:49 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 11 Jun 2015 09:36:49 -0400 (EDT) Subject: STAF 2015 - Call for Participation Message-ID: <20150611133649.600A212151A@mcclellan.cs.miami.edu> STAF 2015: Software Technologies: Applications and Foundations July 20th - 24th, 2015 L'Aquila, Italy http://www.disim.univaq.it/staf2015/ The umbrella conference for the * ECMFA'15 - 11th European Conference on Modelling Foundations and Applications * ICGT'15 - 8th International Conference on Graph Transformation * ICMT'15 - 8th International Conference on Model Transformation * TAP'15 - 9th International Conference on Tests & Proofs * TTC'15 - 8th Transformation Tool Contest and many related events. *** First Call for Participation *** ============================================================================ Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with steering committee, that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect- oriented techniques, and tools. Registration ============ Register online at http://www.disim.univaq.it/staf2015/staf-2015-registration/ before June 16th (Tuesday) at reduced, early bird registration rates! Keynote Speakers ================ * Lionel Briand (University of Luxembourg, Luxembourg) * Arend Rensink (University of Twente, The Netherlands) * Sam Nicander (Saab Aeronautics, Sweden) * Gerti Kappel (Vienna University of Technology, Austria) * Einar Broch Johnsen (University of Oslo, Norway) * Francesco Zappa Nardelli (INRIA, France) * Fréedéric Jouault (ESEO, France) Tutorial ======== * Carlo Alberto Furia (ETH Zurich, Switzerland): Testing, fixing, and proving with contracts. Main conferences ================ * ECMFA'15 - 11th European Conference on Modelling Foundations and Applications https://www.uni-marburg.de/fb12/swt/ecmfa2015/ * ICGT'15 - 8th International Conference on Graph Transformation http://btn1x4.inf.uni-bayreuth.de/icgt2015/ * ICMT'15 - 8th International Conference on Model Transformation http://www.model-transformation.org/ * TAP'15 - 9th International Conference on Tests & Proofs http://tap2015.in.tum.de/ Satellite events ================ * TTC'15 - 8th Transformation Tool Contest http://www.transformation-tool-contest.eu/ * PS'15 - 1st Project Showcase http://www.disim.univaq.it/staf2015/projects-showcase/ * DocSymp'15 - STAF 2015 Doctoral Symposium http://www.disim.univaq.it/staf2015/doctoral-symposium/ * BigMDE-15 - Third Workshop on Scalable Model Driven Engineering http://www.big-mde.eu/ * BX-15 - Fourth International Workshop on Bidirectional Transformations http://bx-community.wikidot.com/bx2015:home * GCM-15 - Sixth International Workshop on Graph Computation Models http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html * MORSE-15 - Second Workshop on Model-Driven Robot Software Engineering http://swt4.informatik.uni-mannheim.de/morse2015/ * PAME-15 - First Workshop on Patterns in Model Engineering http://www-ens.iro.umontreal.ca/~syriani/pame2015/ * VAO-15 - Third Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling http://vao.ipd.kit.edu/vao_2015 * VOLT-15 - Fourth Workshop on the Verification Of Model Transformations http://volt2015.big.tuwien.ac.at/ Tentative program of all events is available at: http://bit.ly/1GvC4MU Venue ===== STAF 2015 will be hosted by L'Aquila, the capital city of the Abruzzi region in Italy. The city's construction was begun by Frederick II, Holy Roman Emperor and King of Sicily, as a bulwark against the power of the papacy. The name of Aquila means "Eagle" in Italian. Construction was completed in 1254 under Frederick's son, Conrad IV of Germany. Laid out within medieval walls upon a hillside in the middle of a narrow valley; tall snow-capped mountains of the Gran Sasso massif flank the town. A maze of narrow streets, lined with Baroque and Renaissance buildings and churches, open onto elegant piazzas. The surrounding area boasts Roman ruins (the important Roman city of Amiternum), ancient monasteries, and numerous castles. The best-known of these is Rocca Calascio (used in the 1980s as the location for the movie Ladyhawke), which is the highest castle in Italy and one of the highest in Europe. Also nearby are several ski resorts like Gran Sasso d'Italia, the highest of the Apennines where in its valley the movie The Name of the Rose was filmed in the end of the 1980s. Earthquakes mark the history of L'Aquila. STAF 2015 is the first remarkable scientific event in Computer Science after the earthquake that occurred in 2009. It is a small, big step towards the grand achievement of restoring some form of normality in this place and its people. The conferences will be held on Dipartimento di Scienze Umane of the University of L'Aquila ADDRESS: Viale Nizza, 14 67100 L'Aquila (Italy) GOOGLE MAP: https://goo.gl/maps/ZGqQE Contact ======= For further inquiries, do not hesitate to contact the organization team at stafconference2015 at gmail.com Alfonso Pierantonio STAF 2015 General Chair From calendarsites at insticc.org Thu Jun 11 17:13:23 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Thu, 11 Jun 2015 16:13:23 +0100 Subject: =?iso-8859-1?Q?CFP_The_4th_International_Conference_on_Model-Driven_Engin?= =?iso-8859-1?Q?eering_and_Software_Development_-_SENSORNETS_2016?= Message-ID: <005001d0a459$38cae510$aa60af30$@insticc.org> CALL FOR PAPERS The 4th International Conference on Model-Driven Engineering and Software Development – SENSORNETS 2016 Website: www.sensornets.org February 19 – 21, 2016 Rome, Italy Regular Papers Paper Submission: September 2, 2015 Authors Notification: November 20, 2015 Camera Ready and Registration: December 7, 2015 Position Papers Paper Submission: October 20, 2015 Authors Notification: November 30, 2015 Camera Ready and Registration: December 15, 2015 Workshops Workshop Proposal: September 3, 2015 Special Sessions Special Session Proposal: September 14, 2015 Tutorials, Demos and Panel Proposals October 8, 2015 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: FIPA - The Foundation for Intelligent Physical Agents OMG – Object Management Group WfMC – Workflow Management Coalition In Cooperation with: IET – The Institute of Engineering and Technology Logistics Partner: SCITEVENTS – Science and Technology Events Current developments show that in the near future the wide availability of low cost, short range radio technology, along with advances in wireless networking, will enable wireless adhoc sensor networks to become commonly deployed. In these networks, each node may be equipped with a variety of sensors, such as acoustic, seismic, infrared, motion, biomedical and chemical sensors with higher level of information inference associated with identification, embedded signal processing and networking of the data. This conference intends to be the meeting point of researchers and practitioners share experience and ideas on innovative developments in any aspect of sensor networks, including Hardware of Sensor Networks, Wireless Communication Protocols, Sensor Networks Software and Architectures, Wireless Information Networks, Data Manipulation, Signal Processing, Localization and Object Tracking through Sensor Networks, Obstacles, Applications and Uses. KEYNOTE LECTURES SENSORNETS 2016 will have several invited keynote speakers, who are internationally recognized experts in their areas. Their names are not yet confirmed. PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef ( http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.sensornets.org/BestPaperAward.aspx SENSORNETS CONFERENCE CHAIR César Benavente-Peces, Universidad Politécnica de Madrid, Spain PROGRAM CO-CHAIRS Andreas Ahrens, Hochschule Wismar, University of Technology Business and Design, Germany Octavian Postolache, Institute of Telecommunications, Portugal CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. SENSOR NETWORKS SOFTWARE, ARCHITECTURES AND APPLICATIONS 2. WIRELESS SENSOR NETWORKS 3. ENERGY AND ENVIRONMENT 4. INTELLIGENT DATA ANALYSIS AND PROCESSING 5. SECURITY AND PRIVACY IN SENSOR NETWORKS AREA 1: SENSOR NETWORKS SOFTWARE, ARCHITECTURES AND APPLICATIONS * Internet of Things * Modeling and Simulation * Decision Support * Platforms and Operating Systems * Programming and Middleware * Connectivity and Communication * Scheduling, Tasking and Control * Home Monitoring * Ambient Assisted Living * Human-Computer Interfaces * Multi-Agent Systems * Cloud Computing AREA 2: WIRELESS SENSOR NETWORKS * Technologies and Standards * Wireless Network Protocols * Routing Techniques * Ad Hoc Networks * Network Performance * Power Management * Network Topologies * Node Mobility * Cross-Layer Design * Connected Vehicles * Networked Embedded Systems * Wearable Computing and Body Area Networks AREA 3: ENERGY AND ENVIRONMENT * Green Sensor Networks * Environment Monitoring * Measurement and Control of Water * Air Quality Monitoring * Gas Analysis and Sensing * Remote Sensing and Telemetry * Geospatial Knowledge Management Systems * Fire, Drought and Flood Monitoring * Smart Grids and Energy Control Systems * Energy Efficiency * Environmental Impact Reduction * Industrial and Structural Monitoring AREA 4: INTELLIGENT DATA ANALYSIS AND PROCESSING * Sensor Data Fusion * Multi-sensor Data Processing * Aggregation, Classification and Tracking * Pattern Recognition * Reasoning on Sensor Data * Data Quality and Integrity * Interoperability * Statistical and Adaptive Signal Processing * Information Retrieval and Data Mining * Ontologies * Big Data * Computational Intelligence * Image Processing AREA 5: SECURITY AND PRIVACY IN SENSOR NETWORKS * Security Threats * Cryptography * Infrastructure Reliability * Authentication * Defense and Security * Wireless Surveillance * Visual Sensor Networks * Fault Tolerance and Diagnosis * Vulnerability and Privacy * Biometric Systems * Healthcare Applications PROGRAM COMMITTEE http://www.sensornets.org/ProgramCommittee.aspx Please check further details at the conference website: http://www.sensornets.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Thu Jun 11 21:54:57 2015 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu, 11 Jun 2015 20:54:57 +0100 (BST) Subject: CICM 2015 CfP (Call for Participation + Call for Posters) Message-ID: <20150611195457.ED103294A9FD@gigondas.local> Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA The programme for this year's CICM in Washington can be found as http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme The accepted papers as http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks In addition we solicit for posters which will not be peer reviewed, but we will just do a screen review for relevance to the conference. A poster presentation will consist of a 5 minute teaser talk and the presentation of the poster on Tuesday morning (together with the other presentations in the Systems/Data/Projects track). You can submit a brief abstract on a poster by 22 June 2015 via EasyChair: https://www.easychair.org/conferences/?conf=cicm2015 You will be informed about acceptance shortly after your submission. Registration to the conference will open shortly. For details on the conference, registration, accommodation, etc. see http://www.cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ "Towards a Global Digital Mathematics Library" * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** 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 * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are 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 is organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we have co-located workshops: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. -------------------------------------------------------------------------------- From mbuendia at ugr.es Fri Jun 12 09:48:23 2015 From: mbuendia at ugr.es (mbuendia) Date: Fri, 12 Jun 2015 09:48:23 +0200 Subject: TERMINOLOGY AND ARTIFICIAL INTELLIGENCE 2015: Extended Submission Deadline Message-ID: <33a76e892040c314228ad273ce88673b@ugr.es> Extended Submission Deadline: 30 June 2015 TERMINOLOGY AND ARTIFICIAL INTELLIGENCE 2015  4 NOVEMBER - 6 NOVEMBER 2015 UNIVERSITY OF GRANADA, SPAIN http://lexicon.ugr.es/tia2015/Home.html Terminology and Artificial Intelligence_ (TIA) _2015_ will highlight the close connection between multilingual terminology, ontologies, and the representation of specialized knowledge. Knowledge, as regarded in Terminology, is something more complex than a simple hierarchy or a thesaurus-like structure. In this sense, ontologies, understood as a shared conceptualization of a domain that can be communicated between people and/or systems, are better suited for accounting for multilinguality and contextual constraints. The link between Terminology and knowledge representation has been widely acknowledged with the advent of multilingual ontologies.  This is particularly relevant since today’s networked society has generated an increasing number of contexts where multilingualism challenges current knowledge representation methods and techniques. To meet these challenges, it is necessary to deal with semantics since information can be organized, presented, and searched, based on meaning and not just text. Ideally, this would mean that language-independent specialized knowledge could be accessed across different natural languages. There is thus the urgent need for high-quality multilingual knowledge resources that are able to bridge communication barriers, and which can be linked and shared. Such issues can only be successfully addressed with creative collaborative solutions within disciplines, such as knowledge engineering, terminology, ontology engineering, cognitive sciences, corpus lexicology, and computational linguistics. Accordingly, the TIA 2015 Conference will provide a forum for interdisciplinary research that focuses on the intersection of different disciplines dealing with terminology, multilingualism, lexicology, ontology, and knowledge representation. Papers may address both theoretical questions and methodological aspects on these issues, as well as interdisciplinary approaches developed to facilitate convergence and co-operation in terminological aspects of importance to an increasingly multilingual society. TIA 2015 solicits both regular papers (8 pages), which present significant work, and short papers (4 pages), which typically present work in progress or a smaller, focused contribution. Regardless of the language of the paper( English, Spanish, or French), all paper presentations will be in English. The submission deadline is June 30. See the conference webpage for more specific submission details. TIA 2015 CHAIRS Pamela Faber, University of Granada Thierry Poibeau, CNRS SUBMISSION INFORMATION See the TIA 2015 website: http://lexicon.ugr.es/tia2015/Submission.html IMPORTANT DATES Paper submissions (long and short papers): Extended submission deadline, 30 JUNE 2015 Notification to authors: 4 SEPTEMBER 2015 Final camera-ready paper: 24 SEPTEMBER 2015 Conference: 4-6 NOVEMBER 2015   VENUE: Casa Zayas (http://www.casazayas.es/ Conference and Exposition Center of the Colegio de Arquitectos of Granada, Plaza de San Agustín 3 18001 Granada CONTACT INFORMATION: termai2015 at gmail.com [4] [5] -- From calendarsites at insticc.org Fri Jun 12 11:56:43 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Fri, 12 Jun 2015 10:56:43 +0100 Subject: =?iso-8859-1?Q?CFP_The_5th_International_Conference_on_Operations_Researc?= =?iso-8859-1?Q?h_and_Enterprise_Systems_-_ICORES_2016?= Message-ID: <022101d0a4f6$1f666a20$5e333e60$@insticc.org> CALL FOR PAPERS The 5th International Conference on Operations Research and Enterprise Systems – ICORES 2016 Website: http://www.icores.org/ 23 - 25 February, 2016 Rome, Italy Regular Papers Paper Submission: September 10, 2015 Authors Notification: December 2, 2015 Camera Ready and Registration: December 16, 2015 Position Papers Paper Submission: November 2, 2015 Authors Notification: December 4, 2015 Camera Ready and Registration: December 18, 2015 Workshops Workshop Proposal: September 11, 2015 Doctoral Consortium Paper Submission: December 3, 2015 Authors Notification: December 11, 2015 Camera Ready and Registration: December 22, 2015 Special Sessions Special Session Proposal: September 23, 2015 Tutorials, Demos and Panel Proposals October 16, 2015 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition Technically Co-sponsored by: Apdio – Associação Portuguesa de Investigação Operacional Logistics Partner: SCITEVENTS – Science and Technology Events The purpose of the International Conference on Operations Research and Enterprise Systems (ICORES) is to bring together researchers, engineers and practitioners interested in both advances and applications in the field of operations research. Two simultaneous tracks will be held, covering on one side domain independent methodologies and technologies and on the other side practical work developed in specific application areas. KEYNOTE LECTURES Sue Merchant, Blue Link Consulting, United Kingdom Alexandre Dolgui, Ecole des Mines de Saint-Etienne, France Karla Hoffman, George Mason University, United States PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icores.org/BestPaperAward.aspx ICPRAM CONFERENCE CHAIR Dominique de Werra, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland PROGRAM CO-CHAIRS Begoña Vitoriano, Complutense University, Spain Greg H. Parlier, MAS of INFORMS, United States CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. METHODOLOGIES AND TECHNOLOGIES 2. APPLICATIONS AREA 1: METHODOLOGIES AND TECHNOLOGIES * Stochastic Processes * Simulation * Optimization * Decision Analysis * Management Sciences * Data Mining and Business Analytics * Information Systems * Industrial Engineering * Forecasting * Dynamic Programming * Linear Programming * Inventory Theory * Queuing Theory * Game Theory * Mathematical Modeling * Predictive Analytics * Stochastic Optimization AREA 2: APPLICATIONS * Decision Support Systems * Supply Chain Management * Project Management * Scheduling * Network Optimization * Routing * Logistics * Energy and Environment * Automation of Operations * Maintenance * Globalization and Productivity * Resource Allocation * Optimization in Finance * Risk Management * OR in Telecommunications * OR in Health * OR in Transportation * OR in National Defense/International Security * OR in Education PROGRAM COMMITTEE http://www.icores.org/ProgramCommittee.aspx ICORES SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: icores.secretariat at insticc.org Please check further details at the conference website http://www.icores.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Fri Jun 12 12:00:03 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Fri, 12 Jun 2015 11:00:03 +0100 Subject: =?iso-8859-1?Q?CFP_The_8th_International_Conference_on_Agents_and_Artific?= =?iso-8859-1?Q?ial_Intelligence_-_ICAART_2016?= Message-ID: <02d501d0a4f6$a0b019f0$e2104dd0$@insticc.org> CALL FOR PAPERS The 8th International Conference on Agents and Artificial Intelligence – ICAART 2016 Website: http://www.icaart.org/ 24 - 26 February, 2016 Rome, Italy Regular Papers Paper Submission: September 10, 2015 Authors Notification: December 2, 2015 Camera Ready and Registration: December 16, 2015 Position Papers Paper Submission: November 2, 2015 Authors Notification: December 4, 2015 Camera Ready and Registration: December 18, 2015 Workshops Workshop Proposal: September 11, 2015 Doctoral Consortium Paper Submission: December 3, 2015 Authors Notification: December 11, 2015 Camera Ready and Registration: December 22, 2015 Special Sessions Special Session Proposal: September 23, 2015 Tutorials, Demos and Panel Proposals October 16, 2015 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: FIPA – Foundation for Intelligent Physical Agents WfMC – Workflow Management Coalition OMG – Object Management Group In Cooperation with: ACM – Association for Computing Machinery ACM SIGAI - ACM Special Interest Group on Artificial Intelligence AAAI – Association for the Advancement of Artificial Intelligence AI*IA – Associazione Italiana per l'Intelligenza Artificiale ECCAI - European Coordinating Committee for Artificial Intelligence EUSFLAT – European Society for Fuzzy Logic and Technology AEPIA - Asociación Española para la Inteligencia Artificial APPIA – Associação Portuguesa Para a Inteligência Artificial Logistics Partner: SCITEVENTS – Science and Technology Events The purpose of the International Conference on Agents and Artificial Intelligence is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. One track focuses on Agents, Multi-Agent Systems and Software Platforms, Agile Management, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception, Data Mining, Data Science, Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence. KEYNOTE LECTURES Katia Sycara, Carnegie Mellon University, United States Tom Heskes, Radboud University Nijmegen, Netherlands Jérôme Lang, Université Paris-Dauphine, France Jaime Sichman, University of São Paulo, Brazil Eric Postma, Tilburg University, Netherlands PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icaart.org/BestPaperAward.aspx ICAART CONFERENCE CHAIR Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal PROGRAM CHAIR Jaap van den Herik, Leiden University, Netherlands CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. AGENTS 2. ARTIFICIAL INTELLIGENCE AREA 1: AGENTS * Semantic Web * Multi-Agent Systems * Distributed Problem Solving * Agent Communication Languages * Agent Models and Architectures * Cooperation and Coordination * Conversational Agents * Negotiation and Interaction Protocols * Programming Environments and Languages * Task Planning and Execution * Autonomous Systems * Cognitive Robotics * Group Decision Making * Web Intelligence * Agent Platforms and Interoperability * SOA and Software Agents * Simulation * Economic Agent Models * Mobile Agents * Privacy, safety and security * Collective Intelligence * Physical Agents * Robot and Multi-robot Systems * Self Organizing Systems * Cloud Computing * Auctions and Markets * Agile Management AREA 2: ARTIFICIAL INTELLIGENCE * Intelligent User Interfaces * Bayesian Networks * Soft Computing * Neural Networks * Natural Language Processing * Machine Learning * Planning and Scheduling * Knowledge Representation and Reasoning * Uncertainty in AI * Model-Based Reasoning * Ontologies * Data Mining * Data Science * Constraint Satisfaction * State Space Search * Case-Based Reasoning * Cognitive Systems * Reactive AI * Vision and Perception * Pattern Recognition * Ambient Intelligence * AI and Creativity * Evolutionary Computing * Fuzzy Systems * Knowledge-Based System * Industrial applications of AI * Hybrid Intelligent Systems * Visualization * Knowledge-Based Maps PROGRAM COMMITTEE http://www.icaart.org/ProgramCommittee.aspx ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: icaart.secretariat at insticc.org Please check further details at the conference website http://www.icaart.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Fri Jun 12 12:03:13 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Fri, 12 Jun 2015 11:03:13 +0100 Subject: =?iso-8859-1?Q?CFP_The_5th_International_Conference_on_Pattern_Recognitio?= =?iso-8859-1?Q?n_Applications_and_Methods_-_ICPRAM_2016?= Message-ID: <038e01d0a4f7$0b175420$2145fc60$@insticc.org> CALL FOR PAPERS The 5th International Conference on Pattern Recognition Applications and Methods – ICPRAM 2016 Website: http://www.icpram.org 24 - 26 February, 2016 Rome, Italy Regular Papers Paper Submission: September 10, 2015 Authors Notification: December 2, 2015 Camera Ready and Registration: December 16, 2015 Position Papers Paper Submission: November 2, 2015 Authors Notification: December 4, 2015 Camera Ready and Registration: December 18, 2015 Workshops Workshop Proposal: September 11, 2015 Doctoral Consortium Paper Submission: December 3, 2015 Authors Notification: December 11, 2015 Camera Ready and Registration: December 22, 2015 Special Sessions Special Session Proposal: September 23, 2015 Tutorials, Demos and Panel Proposals October 16, 2015 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition In Cooperation with: AAAI – Association for the Advancement of Artificial Intelligence AI*IA – Associazione Italiana per l'Intelligenza Artificiale APNNA - Asia Pacific Neural Network Assembly INNS – The International Neural Network Society EURASIP - European Association for Signal Processing Logistics Partner: SCITEVENTS – Science and Technology Events The International Conference on Pattern Recognition Applications and Methods would like to become a major point of contact between researchers, engineers and practitioners on the areas of Pattern Recognition, both from theoretical and application perspectives. Contributions describing applications of Pattern Recognition techniques to real-world problems, interdisciplinary research, experimental and/or theoretical studies yielding new insights that advance Pattern Recognition methods are especially encouraged. KEYNOTE LECTURES Arun Ross, Michigan State University, United States Ludmila Kuncheva, School of Computer Science, Bangor University, United Kingdom Fabio Roli, Università degli Studi di Cagliari, Italy PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icpram.org/BestPaperAward.aspx ICPRAM CONFERENCE CHAIR Ana Fred, Instituto de Telecomunicações / IST, Portugal PROGRAM CO-CHAIRS Maria De Marsico, Sapienza Università di Roma, Italy Gabriella Sanniti di Baja, Institute of Cybernetics "E.Caianiello", CNR, Italy CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. THEORY AND METHODS 2. APPLICATIONS AREA 1: THEORY AND METHODS * Exact and Approximate Inference * Density Estimation * Bayesian Models * Gaussian Processes * Model Selection * Graphical and Graph-based Models * Missing Data * Ensemble Methods * Neural Networks * Kernel Methods * Large Margin Methods * Classification * Regression * Sparsity * Feature Selection and Extraction * Spectral Methods * Embedding and Manifold Learning * Similarity and Distance Learning * Matrix Factorization * Clustering * ICA, PCA, CCA and other Linear Models * Fuzzy Logic * Active Learning * Cost-sensitive Learning * Incremental Learning * On-line Learning * Structured Learning * Multi-agent Learning * Multi-instance Learning * Reinforcement Learning * Instance-based Learning * Knowledge Acquisition and Representation * Meta Learning * Multi-strategy Learning * Case-Based Reasoning * Inductive Learning * Computational Learning Theory * Cooperative Learning * Evolutionary Computation * Information Retrieval and Learning * Hybrid Learning Algorithms * Planning and Learning * Convex Optimization * Stochastic Methods * Combinatorial Optimization * Multiclassifier Fusion AREA 2: APPLICATIONS * Natural Language Processing * Information retrieval * Ranking * Web Applications * Economics, Business and Forecasting Applications * Bioinformatics and Systems Biology * Audio and Speech Processing * Signal Processing * Image Understanding * Sensors and Early Vision * Motion and Tracking * Image-based Modelling * Shape Representation * Object Recognition * Video Analysis * Medical Imaging * Learning and Adaptive Control * Perception * Learning in Process Automation * Learning of Action Patterns * Virtual Environments * Robotics * Biometrics PROGRAM COMMITTEE http://www.icpram.org/ProgramCommittee.aspx ICPRAM SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: icpram.secretariat at insticc.org Please check further details at the conference website http://www.icpram.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jun 12 15:39:11 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 12 Jun 2015 09:39:11 -0400 (EDT) Subject: TAPAS Call for Papers Message-ID: <20150612133911.CCE97121482@mcclellan.cs.miami.edu> Call for Abstracts ---------------------------------------------------------------------- Sixth Workshop on Tools for Automatic Program Analysis TAPAS 2015 ---------------------------------------------------------------------- 8 September 2015 Saint-Malo, France Satellite Workshop of SAS 2015 http://research.berdine.net/tapas2015/ IMPORTANT DATES --------------- Submission deadline 26 June, 2015 Notification 17 July, 2015 Workshop 8 September, 2015 OBJECTIVES ---------- In the last ten years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proved or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation, and users of static analysis tools. SCOPE ----- The technical program of TAPAS 2015 will consist of invited lectures together with presentations based on submitted abstracts. We welcome presentations on all aspects of program analysis tools including, but not limited to the following: - design and implementation of static analysis tools to check, prove or infer properties (including practical techniques used for obtaining precision and performance); - components and other reusable infrastructure of static analysis tools (front-ends, abstract domains, solvers, analysis algorithms, frameworks, etc.); - integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.); - experience reports on the use of static analyzers (both research prototypes and industrial tools); - challenges for static analysis tools, such as new properties to address or bottlenecks to overcome; - usability of static analysis tools (including user interfaces and other tools helping to exploit static analysis results); and - tool demonstrations, and comparisons, by tool authors or experienced users. SUBMISSION ---------- Please visit the submission website: . All submitted abstracts will be reviewed by the program committee. Submitted abstracts should be 1-2 pages. INVITED SPEAKERS ---------------- Forthcoming. PROGRAM COMMITTEE ----------------- Josh Berdine Microsoft Research (chair) Arie Gurfinkel Software Engineering Inst, Carnegie Mellon Univ Jan Reineke Saarland University Manuel Hermenegildo T.U. Madrid (UPM), IMDEA Software Institute Ralf Huuck NICTA, Univ of New South Wales, Red Lizard Software Mihaela Sighireanu LIAFA, University of Paris Diderot, CNRS Laura Kovacs Chalmers University of Technology Andreas Podelski University of Freiburg Mooly Sagiv Tel-Aviv University From announce at cs.ucy.ac.cy Fri Jun 12 16:46:52 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 12 Jun 2015 17:46:52 +0300 Subject: Second CFP: 6th Workshop on Semantics for Smarter Cities (SASC 2015) Message-ID: The 6th Workshop on Semantics for Smarter Cities (S4SC 2015) collocated with the 14th International Semantic Web Conference (ISWC2015) Bethlehem, PA, USA October 11-12, 2015 http://kat.ee.surrey.ac.uk/wssc/index.html Important Dates (All deadlines are Hawaii time) - full paper submission: July 1, 2015 - notification of acceptance: July 31, 2015 - submission of camera ready version: August 7, 2015 - Workshop date: October 11/12, 2015 Scope and Objectives This workshop will explore the interfaces between the Web, the Web of Data, and the City Smart environment. It will further explore how the Web, and the intelligences built on top of, and around the Web, can make the notion of the Smart Connected City possible and realizable. The workshop aims to gather researchers, city departments, service providers, application developers, entrepreneurs, and citizens to present and debate Semantic Web technologies, Linked Data and data analytics and evaluations for smart city applications as well as impact of user engagements and social networks. The workshop will also focus on related standardisation activities in W3C, IEEE and ETSI. It continues on from the successful earlier workshops on the same theme at: The 5th Workshop on Semantics for Smarter Cities (http://blog.soton.ac.uk/s4sc/) SemCity13 (http://aida.ii.uam.es/wims13/semcity.php) AAAI 14 (http://research.ihost.com/semanticcities14/) AAAI 12 (http://research.ihost.com/semanticcities12/) IJCAI 13 (http://research.ihost.com/semanticcities13/) Topics of Interest Topics of interest include but are not limited to: 1. Semantic platforms to integrate, manage and publish government data Provenance, access control and privacy-preserving issues in open data Collaborative and evolving semantic models for cities. Challenges and lessons learned Semantic data integration and organization in cities: social media feeds, sensor data, simulation models and Internet of things in city models Big data and scaling out in semantic cities. Managing big data using knowledge representation models Knowledge acquisition, evolution and maintenance of city data Challenges in managing and integrating real-time and historical city data Big Data in Dynamic Smart City Environments 2. Process and standards for defining, publishing and sharing open city (government) data Platforms and best practices for city data interoperability Foundational and applied ontologies for semantic cities Publishing Public and Government Data and Open Data 3. Robust inference models for semantic cities Large-scale / stream-based reasoning Semantic event detection and classification Spatio-temporal reasoning, analysis and visualization Machine Learning and Semantics 4. City applications involving semantic models Intelligent user interfaces and contextual user exploration of semantic data relating to cities Use cases, including, but not limited to, transportation (traffic prediction, personal travel optimization, carpool and feet scheduling), public safety (suspicious activity detection, disaster management), healthcare (disease diagnosis and prognosis, pandemic management), water management (flood prevision, quality monitoring, fault diagnosis), food (food traceability, carbon-footprint tracking), energy (smart grid, carbon footprint tracking, electricity consumption forecasting) and buildings (energy conservation, fault detections) 5. City as a Smart Utility Internet of Things Interaction Paradigms in the Smart City Smart City operating systems Semantic Complex Event Reasoning City services discovery Service Ranking, Provenance, and Semantic Web Discovery Sustainability issues in developing Smart City Applications Impact of Smart City services and applications Discovery of Data and Sensors Submission Types and Publication For providing a forum for sharing novel ideas, S4SC'15 welcomes a broad spectrum of contributions, including: Full research papers Position papers Case studies Descriptions of experiments Evaluations How to submit Authors of accepted works are expected to attend the conference to present their work. The maximum length of: Short papers, up to 6 pages Full Research papers, up to 16 pages Position papers, up to 4 pages Case Studies papers, up to 16 pages Demo papers, and descriptions of experiments, including evaluation reports (up to 16 pages) Submissions to the Demo track should describe what will be demonstrated (this may include screenshots and sample script for the demo). Authors are encouraged to include a link to where the demo (live or recorded video) can be found. Authors are advised to make clear in their submission: What is the research background and application context of the demonstration? What are the key technologies used, and how does the demonstrated system, application or infrastructure relate to pre-existing work? What will be the key concepts learnt by participants of the demonstration? Submissions must be in PDF formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details of the LNCS style, see Springer's Author Instructions. Paper submissions to be made electronically through the EasyChair submission system at: https://easychair.org/conferences/?conf=s4sc2015 Important Dates (All deadlines are Hawaii time) - full paper submission: July 1, 2015 - notification of acceptance: July 31, 2015 - submission of camera ready version: August 7, 2015 - Workshop date: October 11 or 12, 2015 (exact date will be confirmed) Organising Committee - Tope Omitola, University of Southampton, UK - John Breslin, National University of Ireland, Galway, Ireland - Payam Barnaghi, University of Surrey, UK - Jan Holler, Ericsson, Sweden - Biplav Srivastava, IBM Research, India - John Davies, BT, UK Advisors - Manfred Hauswirth, Technical University of Berlin/Fraunhofer FOKUS - Amit Sheth, Wright State University, USA - Ralf Toenjes, University of Applied Science Osnabrück, Germany Program Committee - Herwig Schreiner, Siemens, Austria - Spyros Kotoulas, IBM Research, Smarter Cities Technology Centre, Dublin, Ireland - Monika Solanki, University of Oxford - Septimiu Nechifor, Siemens, Romania - Pramod Anantharam, Kno.e.sis, Wright State University - Rosario Uceda-Sosa, IBM - Mirko Presser, Alexandra Institute, Denmark - Konstantinos Vandikas, Ericsson, Sweden - Andreas Emrich, DFKI/University of Saarbrucken, Germany - Alessandra Mileo, Insight Centre, National University of Ireland, Galway, Ireland - Taha Osman, Nottingham Trent University, UK - Sebastian Rios, University of Chile - Jose Gomez-Perez, Expert System, Spain - Maria Bermudez, University of Surrey, UK - Sarah Gallacher, ICRI-Cities, UCL, UK - Frieder Ganz, Adobe, Germany -------------------------------------------------------------------- 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 grlmc at urv.cat Sat Jun 13 21:06:50 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 13 Jun 2015 21:06:50 +0200 Subject: TPNC 2015: 1st call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** ************ 4th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2015 Mieres, Spain December 15-17, 2015 Organized by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/TPNC2015/ **************************************************************************** ************ AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2015 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2015 will take place in Mieres, in the north of Spain. The city is the heart of the coal mining industry in the country, today declining. The venue will be the European Centre for Soft Computing: http://www.softcomputing.es/ SCOPE: Topics include, but are not limited to: - Theoretical contributions to: amorphous computing bacterial foraging cellular automata chaos and dynamical systems based computing evolutionary computing membrane computing neural computing optical computing swarm intelligence artificial chemistry artificial immune systems artificial life complex adaptive systems self-organizing systems computing with DNA nanocomputing physarum computing quantum computing and quantum information reaction-diffusion computing computing with words developmental systems fractal geometry gene assembly in unicellular organisms granular computation intelligent systems rough/fuzzy computing in nature synthetic biology - Applications of natural computing to: algorithms bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2015 will consist of: - invited talks - invited tutorials - peer-reviewed contributions INVITED SPEAKERS: tba PROGRAMME COMMITTEE: (to be completed) Humberto Bustince (Public University of Navarra, Pamplona, Spain) Pei-Chann Chang (Yuan Ze University, Taoyuan, Taiwan) Shyi-Ming Chen (National Taiwan University of Science and Technology, Taipei, Taiwan) Óscar Cordón (University of Granada, Spain) Swagatam Das (Indian Statistical Institute, Kolkata, India) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence, Lugano, Switzerland) Tharam Dillon (La Trobe University, Melbourne, Australia) Agoston E. Eiben (VU University Amsterdam, The Netherlands) Francisco Herrera (University of Granada, Spain) Robert John (University of Nottingham, UK) Rudolf Kruse (University of Magdeburg, Germany) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Ujjwal Maulik (Jadavpur University, Kolkata, India) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology, Bratislava, Slovakia) Risto Miikkulainen (University of Texas, Austin, USA) Tal Mor (Technion, Haifa, Israel) Sankar K. Pal (Indian Statistical Institute, Kolkata, India) Günther Palm (Ulm University, Germany) Dan Ralescu (University of Cincinnati, USA) Friedrich Simmel (Technical University of Munich, Germany) Guy Theraulaz (Paul Sabatier University, Toulouse, France) Vicenç Torra (University of Skövde, Sweden) José Luis Verdegay (University of Granada, Spain) David Wolpert (Santa Fe Institute, USA) Ronald R. Yager (Iona College, New Rochelle, USA) Shengxiang Yang (De Montfort University, Leicester, UK) Xin-She Yang (Middlesex University, London, UK) Hao Ying (Wayne State University, Detroit, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Qingfu Zhang (City University of Hong Kong, China) Marek Żukowski (University of Gdansk, Poland) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Luis Magdalena (Mieres, co-chair) Carlos Martín-Vide (Tarragona, 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=tpnc2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of 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/TPNC2015/Registration.php DEADLINES: Paper submission: July 14, 2015 (23:59h, CET) Notification of paper acceptance or rejection: August 18, 2015 Final version of the paper for the LNCS proceedings: September 1, 2015 Early registration: September 1, 2015 Late registration: December 1, 2015 Submission to the post-conference journal special issue: March 17, 2016 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 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: European Centre for Soft Computing Universitat Rovira i Virgili --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. https://www.avast.com/antivirus From stefano.borgo at cnr.it Sun Jun 14 00:04:06 2015 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Sun, 14 Jun 2015 00:04:06 +0200 Subject: CfP 1st Workshop on AI & Design (extended deadline to June 19th!) In-Reply-To: <557AB504.4040701@di.uniba.it> References: <557AB504.4040701@di.uniba.it> Message-ID: <557CA8D6.6070306@cnr.it> Apologies for multiple postings --------------------------------------------------------------------- AIDE 2015 Call for Papers ********************************************************************* 1st Workshop on Artificial Intelligence & Design www.di.uniba.it/~lisi/AIDE2015/ September 22nd, 2015 - Ferrara, Italy co-located with AI*IA 2015 ********************************************************************* >>> EXTENDED DEADLINE: June 19th, 2015 <<< ********************************************************************* SCOPE Design is a fundamental activity in disciplines like engineering and architecture as well as in emerging areas of the social and life sciences. The need for design rests on an assumption: We can improve (positively or negatively) our products, environment, personal or social life by consciously modifying different things like objects, processes, relationships. Modern design approaches, i.e., the methodological planning of what to change and how in order to obtain a certain result turned out to be successful and, as a consequence, the world that we inhabit is increasingly a designed rather than a natural one. In this sense, we could even say that we live an "artificial" world. Design is a fundamental step preceding most of our manipulation activities like manufacturing, production, construction and implementation. Design research aims to develop an understanding of designing both as a theory and as an activity, and to produce models that can be used to aid design and to improve its efficacy. Design research can be carried out in a variety of ways. For instance, it can be viewed largely as an empirical endeavor in which experiments are designed and performed in order to test some hypothesis about some phenomenon or behavior. This is the approach adopted in cognitive science. The results of such research can form the basis of a computational model. In a second view, design research is carried out by positing principles (perhaps in terms of formal axioms) and then deriving consequences from them. If the axioms can be mapped onto design situations then the consequences will also characterize those situations. This is the approach adopted in mathematics and logic. A third view, and the most common one in the computational domain, is that design research can be carried out by conjecturing design processes, constructing computational models of those processes and then examining the behaviors of the resulting computational systems. These are just three important approaches for design research and, it is well known, Artificial Intelligence (AI) extensively exploits all three of them. We believe it is time to understand better the links between design and AI, what are today's successful stories of their integration, and what one research area can further offer to the other. The AIDE workshop aims at providing a forum for researchers and practitioners interested in the interplay between AI and design via the presentation and discussion of state-of-the-art and cutting edge research and developments of material that integrate these two areas. TOPICS OF INTEREST Contributions of interest to the workshop are those describing AI approaches that are needed, under development or being explored for design activities in a variety of domains such as: * Architecture design * Engineering design * Geodesign * Environmental design * Product design * Software design * Urban and regional planning * Design for visual and auditory digital media (e.g., music, film, animation, entertainment) The organizers encourage also the submission of interdisciplinary research across these and related domains where design plays a central role. SUBMISSION INSTRUCTIONS We solicit three kinds of contributions: * full papers (max 12 pages) * short papers (max 6 pages) * demo papers (max 3 pages). Full papers are intended to describe original research. Short papers are suitable for presenting work in progress, even if not yet mature for publication, summaries of PhD Theses, overviews of research projects, positions on some topic, and already published work. Demo papers are intended to describe software systems and prototypes developed as part of academic or industrial projects, using AI tools and/or techniques, which will be presented at the workshop. Papers of the three kinds will be peer-reviewed by at least 3 members of the program committee. Selection will be based on relevance, clarity, and technical quality. Papers should be formatted according to the LNCS format (please refer to http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 for instructions) and submitted as PDF files via EasyChair at the following page https://easychair.org/conferences/?conf=aide2015 Accepted papers will be published online as a volume of the CEUR-WS workshop proceeding series. We also intend to organize a journal special issue with a selection of the best papers presented at the workshop. IMPORTANT DATES Submission Deadline: June 19th, 2015 (NEW DEADLINE!) Acceptance Notification: July 19th, 2015 Camera Ready: July 26th, 2015 Early Registration: July 31st, 2015 Workshop Day: September 22nd, 2015 ORGANIZING COMMITTEE Stefano Borgo Laboratory for Applied Ontology, ISTC CNR, Trento Domenico Camarda Department of Civil Engineering, Politecnico of Bari Francesca A. Lisi (contact person: francesca.lisi at uniba.it) Department of Computer Science, University of Bari “Aldo Moro” RESOURCES Further information is available on the AIDE 2015 homepage: www.di.uniba.it/~lisi/AIDE2015/ From AdvancedAnalytics at uts.edu.au Mon Jun 15 05:17:45 2015 From: AdvancedAnalytics at uts.edu.au (Advanced Analytics) Date: Mon, 15 Jun 2015 03:17:45 +0000 Subject: [CFP Extension]: 2nd International Conference on Behavior, Economic and Socio-Cultural Computing (BESC 2015) with SCI/EI journal opportunities Message-ID: [Apologies if you receive this more than once] Due to a number of requests, the paper submission deadline has been extended to 8 JULY 2015 (New Deadline) ================================================================== Call for Papers The Second International Conference on Behavioral, Economic and Socio-Cultural Computing (BESC 2015) October 30 -- November 1, 2015, Nanjing, China Website: http://besc2015.njue.edu.cn/ ================================================================== The 2nd 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) - Evolutionary and Institutional Economics Review (Springer) - Data Science and Deep Analytics (Springer, forthcoming) 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. New Important Dates - Research Paper Submission: 8 July 2015 - Paper Notification of Acceptance: 16 August 2015 - Camera -ready:: 30 August 2015 - Registration: 10 Septerber, 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 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 feeds at sentic.net Mon Jun 15 06:24:04 2015 From: feeds at sentic.net (SenticNet) Date: Sun, 14 Jun 2015 23:24:04 -0500 (EST) Subject: [SenticNet] CFP: Elsevier KBS Special Issue on New Avenues in Knowledge Bases for Natural Language Processing Message-ID: <103462182.945603.1434342245000.JavaMail.open-xchange@bosoxweb02.eigbox.net> Apologies for cross-posting, A special issue of Elsevier Knowledge-Based Systems will be dedicated to New Avenues in Knowledge Bases for Natural Language Processing. Prospective authors are invited to submit their original unpublished research and application papers. Comprehensive tutorial and survey papers will also be considered. For more info, please visit http://sentic.net/kbnlp RATIONALE Between the birth of the Internet and 2003, year of birth of social networks such as MySpace, Delicious, LinkedIn, and Facebook, there were just a few dozen exabytes of information on the Web. Today, that same amount of information is created weekly. The advent of the Social Web has provided people with new content-sharing services that allow them to create and share their own contents, ideas, and opinions, in a time- and cost-efficient way, with virtually millions of other people connected to the World Wide Web. This huge amount of information, however, is mainly unstructured (because it is specifically produced for human consumption) and hence not directly machine-processable. The automatic analysis of text involves a deep understanding of natural language by machines, a reality from which we are still very far off. Hitherto, online information retrieval, aggregation, and processing have mainly been based on algorithms relying on the textual representation of webpages. Such algorithms are very good at retrieving texts, splitting them into parts, checking the spelling and counting the number of words. When it comes to interpreting sentences and extracting meaningful information, however, their capabilities are known to be very limited, as most of the existing approaches are still based on the syntactic representation of text, a method that relies mainly on word co-occurrence frequencies. Such algorithms are limited by the fact that they can process only the information that they can ‘see’. As human text processors, we do not have such limitations as every word we see activates a cascade of semantically related concepts, relevant episodes, and sensory experiences, all of which enable the completion of complex NLP tasks – such as word-sense disambiguation, textual entailment, and semantic role labeling – in a quick and effortless way. Knowledge-based NLP focuses on the intrinsic meaning associated with natural language text. Rather than simply processing documents at syntax-level, knowledge-based approaches rely on implicit denotative features associated with natural language text, hence stepping away from the blind usage of word co-occurrence count. Unlike purely syntactical techniques, knowledge-based approaches are also able to detect semantics that are expressed in a subtle manner, e.g., through the analysis of concepts that do not explicitly convey relevant information, but which are implicitly linked to other concepts that do so. TOPICS Articles are invited in area of knowledge-based systems for natural language processing and understanding. The broader context of the Special Issue comprehends artificial intelligence, knowledge representation and reasoning, data mining, transfer learning, knowledge acquisition, neural networks, semantic networks, web ontologies, and more. Topics include, but are not limited to: • Document retrieval and classification • Information retrieval and extraction • Topic modeling, topic spotting, and topic segmentation • Aspect extraction and named-entity recognition • Textual entailment and semantic role labeling • Sentiment analysis and subjectivity detection • Text summarization and question answering • Machine translation and microtext analysis • Word-sense disambiguation and anaphora resolution • Time-evolving topic and sentiment tracking • Multimodal fusion for continuous interpretation of semantics • Semantic multi-dimensional scaling and common-sense reasoning • Sarcasm detection and intention mining • Semi-supervised learning and domain adaptation • Human-agent, -computer, and -robot interaction The Special Issue also welcomes papers on specific application domains of knowledge-based natural language processing, e.g., user profiling and personalization, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, social media marketing, and cyber-issue detection. The authors will be required to follow the Author’s Guide for manuscript submission to Knowledge-Based Systems. TIMEFRAME Paper submission: October 30th, 2015 First revision: January 10th, 2016 Updated versions: March 15th, 2016 Second revision: April 30th, 2016 Final version: June 15th, 2016 GUEST EDITORS • Erik Cambria, National University of Singapore (Singapore) • Björn Schuller, Imperial College London (UK) • Yunqing Xia, Tsinghua University (China) • Bebo White, Stanford University (USA) PS: to unsubscribe from sentic feeds send UNSUB to feeds at sentic.net From sibylle.schwarz at htwk-leipzig.de Mon Jun 15 19:43:21 2015 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Mon, 15 Jun 2015 19:43:21 +0200 Subject: WLP 2015 - EXTENDED DEADLINE Message-ID: <557F0EB9.7090809@htwk-leipzig.de> ====================================================================== FINAL CALL FOR PAPERS *** EXTENDED SUBMISSION DEADLINE: July 4, 2015 *** 29th Workshop on Logic Programming (WLP 2015) part of the KI2015 and co-located with the ICCL Summer School on Reasoning Dresden, Germany, September 21 - 22, 2015 http://www.imn.htwk-leipzig.de/WLP2015 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2015. All submissions must be written in English and prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All accepted papers will be published electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/). As for previous events, it is planned to publish selected papers as post-conference proceedings. Important Dates (with extended deadline) =============== Submission of papers: July 4, 2015 Notification of acceptance: July 12, 2015 Early-Registration Deadline: July 15, 2015 Camera-ready papers: July 30, 2015 Workshop: September 21-22, 2015 Program committee ================= Slim Abdennadher - German University in Cairo Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Francois Bry - LMU Muenchen Michael Hanus - CAU Kiel Steffen Hölldobler (chair) - TU Dresden Petra Hofstedt - BTU Cottbus Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Hans Tompits - Vienna University of Technology Janis Voigtländer - Univ. Bonn Workshop Organizers =============== Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden sh at iccl.tu-dresden.de http://www.computational-logic.org/~sh/ Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From a.bikakis at ucl.ac.uk Mon Jun 15 20:50:27 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Mon, 15 Jun 2015 18:50:27 +0000 Subject: Fwd: MIWAI'15: Final CfP (2 weeks to paper submission deadline) In-Reply-To: References: <201504301848.t3UImNFG016333@igor.cs.wisc.edu> Message-ID: == MIWAI’15: 2 WEEKS TO PAPER SUBMISSION DEADLINE == 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). Two EI-indexed Chinese journals will also publish selected papers from MIWAI’15: Journal of South China University of Technology (Natural Science Edition), and Journal of Sichuan University: Engineering Science Edition. == 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 andrea.orlandini at istc.cnr.it Mon Jun 15 22:05:01 2015 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 15 Jun 2015 22:05:01 +0200 Subject: Call for Papers - 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) In-Reply-To: <55467311.90002@istc.cnr.it> References: <55467311.90002@istc.cnr.it> Message-ID: <557F2FED.308@istc.cnr.it> Apologies for multiple copies UPDATES: - Financial awards for top 5-best student papers - 1 Fellowship for accomodation and travel to a young student provided by the Italian Association for Artificial Intelligence (http://www.aixia.it) ***************************************************************************** 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) November 9-11, 2015 Vietri sul Mare, Italy https://sites.google.com/site/ictai2015italy/ ***************************************************************************** Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topic of interest include (but are not limited to): - AI Foundations Evolutionary computing, Bayesian and Neural Networks Decision/Utility Theory and Decision Optimization Search, SAT, and CSP Description Logic and Ontologies - AI in Domain Specific Applications AI in Natural Language Processing and Understanding AI in Computational Biology, Medicine and Biomedical Applications AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce AI in Finance and Risk Management - AI in Computer Systems AI in Robotics, Computer Vision and Games AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems AI in Web search and Information Retrieval AI in Computer Security, Data Privacy, and Information Assurance - AI in Data Analytics and Big Data Visualization Analytics for Big Data 
 Computational Modeling for Big Data
 Large-scale Recommendation and Social Media Systems Cloud/Grid/Stream Data Mining for Big Velocity Data 
 Semantic-based Big Data Mining - Uncertainty in AI Uncertainty and Fuzziness Representation and Reasoning Approximate/Exact Probabilistic Inference Knowledge Discovery and Data Mining for Uncertain Data - Machine Learning and Data Mining Data pre-processing, reduction and feature selection Learning Graphical Models and Complex Networks Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning Transfer/Adaptive, Rational and Structured Learning Preference/Ranking, Ensemble, and Reinforcement Learning - Knowledge Representation, Reasoning and Cognitive Modelling Knowledge Representation, Reasoning Knowledge Extraction, Management and Sharing Case-Based Reasoning and Knowledge-based Systems Cognitive Modelling and Semantic Web - AI and Decision Systems Decision Guidance and Support Systems Optimization-based recommender systems Group, distributed, and collaborative decisions Crowd-sourcing and collective intelligence decision making Strategic, tactical and operational level decisions Decision making in social and mobile networks - Multimodal Communicative Signals: Behavioural and Algorithmic Issues Verbal and nonverbal social communicative signals Trustful human-human and human-machine exchanges Emotionally and socially believable robots and ICT interfaces Recognition, synthesis and understanding of human interactions Context and cultural effects on perception. Memory, cognition Multimodal Signal Analysis and Processing Affective systems and related applications Learning algorithms in social robotics and ICT interfaces Analysis and processing of human daily cognitive activities Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically (https://easychair.org/conferences/?conf=ictai2015) in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Important Dates Paper Submission: June 30,2015 Paper notification: July 30, 2015 Camera ready paper: August 30, 2015 Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2015 that will be published by the IEEE Computer Society. Best Student Papers Awards Financial awards to the top-5 best student papers will be provided. AI*IA Travel and accommodation fellowship The Italian Association for Artificial Intelligence provides 1 fellowship for travel and accommodation to young students. Journal special issues Authors of selected, relevant best papers (according to the topic) will be invited to submit extended versions to IJCTAI or Interaction Studies Journals SAT and CSP track See http://www.cril.univ-artois.fr/SAT-CSP-IEEE-ICTAI2015/ for details. Further Information Program Chair: Anna Esposito (iiass.annaesp at tin.it) Local Chairs: Gennaro Cordasco (gennaro.cordasco at unina2.it) Alda Troncone (alda.troncone at unina2.it) Publicity Chair: AndreA Orlandini (andrea.orlandini at istc.cnr.it) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! From leon.vandertorre at uni.lu Tue Jun 16 10:51:32 2015 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Tue, 16 Jun 2015 09:51:32 +0100 Subject: Postdoc in Deontic Logic and Normative Systems (second call) Message-ID: <557FE394.6080901@uni.lu> The University of Luxembourg has the following vacancy in the CSC Research Unit of its Faculty of Science, Technology and Communication (FSTC) *Postdoctoral position in Deontic Logic and Normative Systems* * 2-year contract, 40 hours/week renewable up to 5 years in total after positive evaluation, starting in September 2015 (or later) *Your Role *The University of Luxembourg seeks to hire a postdoctoral researcher for the Individual and Collective Reasoning Group of Prof. Leon van der Torre (icr.uni.lu). The research of the ICR group concerns: * Normative multi-agent systems and deontic reasoning * Autonomous intelligent agents and their cognitive dynamics * Logic-based knowledge representation * Nonmonotonic and probabilistic reasoning * Argument and norm mining *Tasks/Mission:* Your main responsibility will be to advance the state of the art in deontic logic and normative systems. In addition, you will assist in teaching courses on deontic logic in the master of computer science and in the doctorate school, assist in the supervision of PhD and master students, and assist the editors of various handbooks. For further information, please contact Prof. Leon van der Torre (leon.vandertorre at uni.lu) *Your Profile*: * PhD in Computer Science, Logic, Mathematics, or similar. * Strong background in deontic logic and knowledge representation. * Fluent written and verbal communication skills in English are mandatory. * Experience in formal argumentation or norm mining will be considered an advantage. * We expect commitment, creativity, team working and a critical mind. *We offer:* The University offers a 2+2 year employment with a highly competitive salary. You will work in an exciting international environment and will have the opportunity to participate in the development of a young university. Further Information Applications (in English) should contain the following documents: * Curriculum Vitae (contact address, work experience, publication list) * Cover letter indicating the research interests and the motivation. * A research statement addressing specifically the position (300 words). * Transcript listing all the university-level courses and the achieved results. * A short description of your PhD thesis (max 1 page). * Contact information for 3 referees. Please apply online by June 30th, 2015 http://emea3.mrted.ly/op52 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Tue Jun 16 12:27:56 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 16 Jun 2015 10:27:56 +0000 Subject: NLP4TM: 2nd Call for papers Message-ID: <1434450476.3296.8.camel@wlv.ac.uk> 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: 3rd July 2015 (new deadline) Workshop date: 11th Sept 2015 **New: A number of selected papers will be invited to submit extended versions to a special issue of Machine translation.** 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. A number of selected papers will be invited to submit extended versions to a special issue of Machine translation. 3. Important dates Submission deadline: 3 July 2015 Acceptance notification: 31 July 2015 Camera-ready versions: 14 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 * Yves Champollion, WordFast, France * Gloria Corpas, University of Malaga, Spain * Maud Ehrmann, EPFL, 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 Coordinator of the EXPERT project Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK From valentina.ivanova at liu.se Tue Jun 16 23:04:49 2015 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Tue, 16 Jun 2015 21:04:49 +0000 Subject: [CfP] VOILA @ ISWC 2015 - Visualizations and User Interfaces for Ontologies and Linked Data Message-ID: <4B07F535C1DBB043B4E107FAA728DD202232F8ED@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 blllne2 at unife.it Wed Jun 17 09:18:35 2015 From: blllne2 at unife.it (Elena Bellodi) Date: Wed, 17 Jun 2015 09:18:35 +0200 Subject: AI*IA 2015 Doctoral Consortium: deadline approaching Message-ID: Call for Papers ------------------------------------------------------------------------------------------------------- Doctoral Consortium, AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence 23-25 September, Ferrara, Italy ------------------------------------------------------------------------------------------------------- ***** Submission deadline approaching: June 25th, 2015 ***** 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. program. 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 C.Orasan at wlv.ac.uk Wed Jun 17 12:27:53 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Wed, 17 Jun 2015 10:27:53 +0000 Subject: 2nd CFP: 37th Translating and the Computer Conference (TC37) Message-ID: <1434536878.31073.4.camel@wlv.ac.uk> [apologies for cross-posting] 37th Translating and the Computer Conference (TC37), 26-27 November 2015, London 2nd Announcement and Call for Papers and Posters (abstracts) ASLING (Association internationale pour la promotion des technologies linguistiques / International Association for the Advancement in Language Technology) 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 other important topics are training (including university-level translation, interpretation 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 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. For further information, go to the conference website ( http://www.translatingandthecomputer.com/) and follow the information and links to "upload submissions for Papers and Posters". A direct link to the START conference management system site, to which you need to upload your proposal for this conference is: https://www.softconf.com/e/tc2015/ (if you have never registered as a user i the Softconf START conference management system, follow the link "New user? please register first by clicking HERE." to create a user entry for yourself. If you used this system to submit a proposal to Translating and the Computer 2012-2014, or for any other conference that uses this START system, you can use your previous user name to enter the system. "If you lost or forgot your password", there is a link on the site labelled as such, to reset your password.) The website also provides further guidelines. Successful submissions will require that the final full length papers or poster make use of format stylesheets. These will be made available in the form of Word (and LaTeX) stylesheets, in due time. 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) [other members to be confirmed] AsLing.org Association internationale pour la promotion des technologies linguistiques International Association for Advancement in Language Technology From pascal.hitzler at wright.edu Wed Jun 17 18:04:13 2015 From: pascal.hitzler at wright.edu (Hitzler, Pascal) Date: Wed, 17 Jun 2015 16:04:13 +0000 Subject: CfP: WOP2015 @ ISWC2015, Workshop on Ontology and Semantic Web Patterns Message-ID: Workshop on Ontology and Semantic Web Patterns (6th edition) - WOP2015 will take place at the 14th International Semantic Web Conference, ISWC2015, in Bethlehem, Pennsylvania in October 2015 . Workshop website: Submission deadline (papers and patterns): July 1, 2015 Call for Papers --------------- The main aim of the workshop is to discuss and collect solutions to recurrent problems that matter to researchers and practitioners of the Semantic Web field, and that impact on design and engineering of ontologies, linked data, knowledge extraction, and other semantic web applications. We invite the submission of original research results related to the focus areas of the workshop. Research papers (maximum 12 pages LNCS style) should present mature work and document established results, or be short papers presenting proposed research directions and novel ideas (maximum 4 pages LNCS style). Submission instructions can be found at the submission page at . This year we particularly welcome contributions of patterns concerning Linked Data, as well as patterns geared towards applications in specific domains, such as geosciences, biomedical sciences, as well as digital humanities. Original research papers and short papers are invited to consider the following (non exhaustive) list of topics: Ontology design patterns (ODPs) and pattern-based ontology design Anti-patterns and their relations to ODPs Pattern-based ontologies Ontology patterns and their relation with standards Ontology pattern extraction Analysis of ontology pattern usage Pattern-based ontology evaluation and selection Correspondence patterns for ontology matching and integration Best practices and examples for using existing ontologies/datasets to instantiate ODPs Discussion of use cases of particular ODPs across ontologies Evaluation of ODPs (methods, benchmarks) Patterns and Linked data (usage, emerging patterns, etc.) Linked Data patterns, patterns for using different vocabularies together Web semantics from a pattern perspective ODPs used for interaction with data Data mining patterns Automatic ontology construction (ontology learning) based on patterns Reasoning pipelines Usage of patterns in business intelligence Relation between NLP patterns (either for learning, or procedural) and ontologies/linked data design Frame semantics in text and knowledge representation Knowledge patterns and knowledge reengineering based on patterns Pattern-based information extraction Nary-fact extraction and representation Patterns in semantic social networks, semantic wikis, semantic blogs Reengineering patterns for conceptual models, folksonomies, lexicons, thesauri Usage of patterns in conceptual modeling Processes and services process patterns Problem solving methods and patterns Contextual reasoning and patterns as context Pattern-based methods and methodologies for development of semantic applications Usage of patterns in Semantic Web design Collaborative ontology design and collaboration patterns Tools and applications for pattern-based knowledge engineering Ontology Patterns for specific domains (cultural heritage, digital humanities, geosciences, biomedical sciences, multimedia, etc). Call for Patterns ----------------- Submission instructions can be found at the submission page at . We invite the submission of research results in the form of ontology design patterns (ODPs). Patterns submitted should have a general relevance to the ontology engineering field, or specific interest within a knowledge domain. Patterns should solve some particular modeling problem, and be of significant interest for discussion at the workshop. Patterns should be original, in the sense that they are the intellectual product of the author(s), however they may still be based on the collective experience of a community. Pattern submissions for the pattern session will be collected: * through the ODP portal and * by submitting a description of the pattern (pattern description) via EasyChair. Detailed instructions for patterns submission, including how to submit via the ontologydesignpatterns.org portal, are found at the submission page. Note that an account in the ODP portal is needed for submitting patterns; thus, authors should take care to request an account at least one week before their intended submission. Pattern submissions can be made in any type of ODPs. Currently, portal templates for submission are provided for the following types of patterns (see general typology for explanation of the types): * Content patterns * Structural patterns: logical and architecture patterns. * Correspondence patterns: re-engineering and alignment patterns. For other types of patterns, the author is welcome to submit only a pattern description. Submission and Important Dates ------------------------------ For details on how to submit to WOP2015 see the submission page. Important dates Submission date: July 1, 2015 Author notifications: July 30, 2015 Camera-ready papers: to be determined Workshops will be held on to be determined Proceedings ----------- Accepted research papers and pattern descriptions will be published online as CEUR-Workshop Proceedings. WOP2015 Chairs -------------- Chairs: Eva Blomqvist, Linköping University, Sweden (patterns co-chair) Pascal Hitzler, Wright State University, USA (papers co-chair) Adila Krisnadhi, Wright State University, USA (proceedings chair) Thomas Narock, Marymount University, USA (papers co-chair) Monika Solanki, Aston University, UK (patterns co-chair) For general inquiries, please contact Pascal Hitzler at -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.pascal-hitzler.de Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From sibylle.schwarz at htwk-leipzig.de Thu Jun 18 13:03:20 2015 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Thu, 18 Jun 2015 13:03:20 +0200 Subject: WLP 2015 - EXTENDED DEADLINE Message-ID: <5582A578.1030300@htwk-leipzig.de> ====================================================================== FINAL CALL FOR PAPERS *** EXTENDED SUBMISSION DEADLINE: July 4, 2015 *** 29th Workshop on Logic Programming (WLP 2015) part of the KI2015 and co-located with the ICCL Summer School on Reasoning Dresden, Germany, September 21 - 22, 2015 http://www.imn.htwk-leipzig.de/WLP2015 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2015. All submissions must be written in English and prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All accepted papers will be published electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/). As for previous events, it is planned to publish selected papers as post-conference proceedings. Important Dates (with extended deadline) =============== Submission of papers: July 4, 2015 Notification of acceptance: July 12, 2015 Early-Registration Deadline: July 15, 2015 Camera-ready papers: July 30, 2015 Workshop: September 21-22, 2015 Program committee ================= Slim Abdennadher - German University in Cairo Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Francois Bry - LMU Muenchen Michael Hanus - CAU Kiel Steffen Hölldobler (chair) - TU Dresden Petra Hofstedt - BTU Cottbus Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Hans Tompits - Vienna University of Technology Janis Voigtländer - Univ. Bonn Workshop Organizers =============== Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden sh at iccl.tu-dresden.de http://www.computational-logic.org/~sh/ Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From thomas.lukasiewicz at gmail.com Thu Jun 18 15:52:36 2015 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Thu, 18 Jun 2015 14:52:36 +0100 Subject: 2nd CfP: 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015) Message-ID: <5582CD24.5000403@cs.ox.ac.uk> *CALL FOR PAPERS* 11th *International Workshop on* *Uncertainty Reasoning for the Semantic Web* http://c4i.gmu.edu/ursw/2015 In conjunction with the 14th International Semantic Web Conference Bethlehem, PA - US October 11 or 12, 2015 You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 14th International Semantic Web Conference (ISWC) in October 11-15, 2015 Bethlehem, PA - US . ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web / Linked Data community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty remains extremely limited. Thus, there is a continuing demand for uncertainty reasoning technology among Semantic Web researchers and developers, and the URSW workshop creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. *AUDIENCE* The intended audience for this workshop includes the following * Researchers in uncertain reasoning technologies with interest in the Semantic Web and Linked Data * Semantic Web and Linked Data developers and researchers * People in the knowledge representation community with interest in the Semantic Web and Linked Data * Ontology researchers and ontological engineers * Web services researchers and developers with interest in the Semantic Web * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... *TOPIC LIST* We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web and Linked Data (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web / Linked Data languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web / Linked Data languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web / Linked Data * The role of uncertainty as it relates to web services and cloud computing * Interface protocols with support for uncertainty as a means to improve interoperability among web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web and Linked Data * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web and Linked Data * Issues and techniques for integrating tools for representing and reasoning with uncertainty; * The future of uncertainty reasoning for the Semantic Web and Linked Data *IMPORTANT DATES* * July 1: Paper submissions due * July 30: Paper acceptance notification * August 16: Camera-ready papers due * October 11 or 12: 11th Workshop on Uncertainty Reasoning for the Semantic Web *SUBMISSION DETAILS* The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2015 Conference, and committed to attend the URSW Workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop’s EasyChair submission site: http://www.easychair.org/conferences/?conf=ursw2015 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2015. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures and references. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2015 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. *PRESENTATION AND PUBLICATION* URSW 2015 will be a half-day workshop. All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2015 conference. *ORGANIZING COMMITTEE* * Fernando Bobillo - University of Zaragoza, Spain * Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil * Davide Ceolin - VU University Amsterdam, The Netherlands * Paulo C. G. Costa - George Mason University, USA * Claudia d’Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Kathryn Laskey - George Mason University, USA * Kenneth J. Laskey – MITRE Corporation, USA * Thomas Lukasiewicz – University of Oxford, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles – INSIGHT Centre for Data Analytics, National University of Ireland, Galway, Ireland * Michael Pool - Goldman Sachs, USA *PROGRAM COMMITTEE* * Fernando Bobillo - University of Zaragoza, Spain * Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil * Davide Ceolin - VU University of Amsterdam, The Netherlands * Paulo C. G. Costa - George Mason University, USA * Fabio G. Cozman - Universidade de Sao Paulo, Brazil * Claudia d’Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Marcelo Ladeira - University of Brasilia, Brazil * Kathryn B. Laskey - George Mason University, USA * Kenneth J. Laskey - MITRE Corporation, USA * Thomas Lukasiewicz - Oxford University, UK * Trevor Martin - University of Bristol, UK * Alessandra Mileo - INSIGHT Galway, Ireland * Matthias Nickles - INSIGHT Galway, Ireland * Jeff Z. Pan - University of Aberdeen, UK * Rafael Peñaloza, Technical University Dresden, Germany * Michael Pool - Goldman Sachs, USA * Livia Predoiu - University of Oxford, UK * Guilin Qi - Southeast University, China * Dave Robertson - University of Edinburgh, UK * Daniel Sánchez - University of Granada, Spain * Giorgos Stoilos - National and Technical University of Athens, Greece * Umberto Straccia – ISTI-CNR, Pisa, Italy * Matthias Thimm - University of Koblenz-Landau, Germany * Peter Vojtas – Charles University, Czech Republic We are looking forward to seeing you in Bethlehem, PA - US! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Fri Jun 19 14:35:39 2015 From: calendarsites at insticc.org (Calendar Sites) Date: Fri, 19 Jun 2015 13:35:39 +0100 Subject: =?iso-8859-1?Q?CFP_7th_International_Joint_Conference_on_Computational_In?= =?iso-8859-1?Q?telligence_-_IJCCI_2015?= Message-ID: <033501d0aa8c$acb96940$062c3bc0$@insticc.org> Please note that the dates of the UPCOMING DEADLINES have been slightly changed. ____________________________________________________________________________ _____ CALL FOR PAPERS 7th International Joint Conference on Computational Intelligence – IJCCI 2015 Website: http://www.ijcci.org/ November 12 – 14, 2015 Lisbon, Portugal Regular Papers Paper Submission: July 14, 2015 (extended) Authors Notification: September 18, 2015 Camera Ready and Registration: October 2, 2015 Position Papers Paper Submission: July 14, 2015 Authors Notification: September 21, 2015 Camera Ready and Registration: October 5, 2015 Doctoral Consortium Paper Submission: September 3, 2015 Authors Notification: September 17, 2015 Camera Ready and Registration: September 29, 2015 Special Sessions Special Session Proposal: June 26, 2015 Paper Submission: September 2, 2015 Authors Notification: September 17, 2015 Camera Ready and Registration: September 25, 2015 Tutorials, Demos and panels Proposals: July 27, 2015 Sponsored by: INSTICC-Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition OMG – Object Management Group FIPA – Foundation for Intelligent Physical Agents Technically Co-sponsored by: IFAC – International Federation of Automatic Control IEEE SMC - Systems, Man, and Cybernetics Society In Cooperation with: AI*IA – Associazione Italiana per l'Intelligenza Artificiale INNS - The International Neural Network Society AAAI – Association for the Advancement of Artificial Intelligence EUSFLAT – European Society for Fuzzy Logic and Technology APPIA – Portuguese Association for Artificial Intelligence International Fuzzy Systems Association Logistics Partner: SCITEVENTS – Science and Technology Events The purpose of IJCCI is to bring together researchers, engineers and practitioners on the areas of Fuzzy Computation, Evolutionary Computation and Neural Computation. IJCCI is composed of three co-located conferences, each specialized in at least one of the aforementioned main knowledge areas. ECTA 2015 - 7th International Conference on Evolutionary Computation Theory and Applications PROGRAM CO-CHAIRS Agostinho Rosa, IST, Portugal Juan Julian Merelo, University of Granada, Spain CONFERENCE TOPICS * Genetic Algorithms * Machine Learning * Cognitive Systems * Artificial Life * Representation Techniques * Evolutionary Multiobjective Optimization * Game Theory and Applications * Evolution Strategies * Evolutionary Robotics and Intelligent Agents * Society and Cultural Aspects of Evolution * Concurrent Co-operation * Co-evolution and Collective Behavior * Biocomputing and Complex Adaptive Systems * Bio-inspired Hardware and Networks * Swarm/Collective Intelligence * Evolutionary Art and Design * Hybrid Systems * Memetic Algorithms FCTA 2015 - 7th International Conference on Fuzzy Computation Theory and Applications PROGRAM CO-CHAIRS António Dourado, University of Coimbra, Portugal José M. Cadenas, University of Murcia, Spain CONFERENCE TOPICS * Fuzzy Hardware, Fuzzy Architectures * Soft Computing and Intelligent Agents * Mathematical Foundations: Fuzzy Set Theory and Fuzzy Logic * Approximate Reasoning and Fuzzy Inference * System Identification and Fault Detection * Fuzzy Information Retrieval and Data Mining * Fuzzy Information Processing, Fusion, Text Mining * Learning and Adaptive Fuzzy Systems * Complex Fuzzy Systems * Pattern Recognition: Fuzzy Clustering and Classifiers * Fuzzy Image, Speech and Signal Processing, Vision and Multimedia * Industrial, Financial and Medical Applications * Type-2 Fuzzy Logic * Neuro-fuzzy Systems * Fuzzy Systems Design, Modeling and Control * Real-time Learning of Fuzzy and Neuro-fuzzy Systems * Fuzzy Control * Fuzzy Systems in Robotics: Sensors, Navigation and Coordination * Software for Fuzzy Systems and Control NCTA 2015 - 7th International Conference on Neural Computation Theory and Applications PROGRAM CHAIR Kurosh Madani, University of Paris-EST Créteil (UPEC), France António Ruano, University of Algarve, Portugal CONFERENCE TOPICS * Pattern Recognition * Industrial, Financial and Medical Applications * Computational Neuroscience * Neural Network Software and Applications * Neuroinformatics and Bioinformatics * Learning Paradigms and Algorithms * Supervised and Unsupervised Learning * Adaptive Architectures and Mechanisms * Support Vector Machines and Applications * Complex Artificial Neural Network Based Systems and Dynamics * Higher Level Artificial Neural Network Based Intelligent Systems * Bio-inspired and Humanoid Robotics * Image Processing and Artificial Vision Applications * Intelligent Artificial Perception and Neural Sensors * Modular Implementation of Artificial Neural Networks * Neural based Data Mining and Complex Information Processing * Neural Multi-agent Intelligent Systems and Applications * Self-organization and Emergence * Stability and Instability in Artificial Neural Networks * Neural Network Hardware Implementation and Applications * Neural Computation issues in Social Behaviour Emergence PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef ( http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library . A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer in a SCI Series book. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the websites for further information: http://www.ecta.ijcci.org/BestPaperAward.aspx http://www.fcta.ijcci.org/BestPaperAward.aspx http://www.ncta.ijcci.org/BestPaperAward.aspx IJCCI KEYNOTE LECTURES Julian Togelius, New York University, United States Yaochu Jin, University of Surrey, United Kingdom Anna Esparcia-Alcázar, Universitat Politècnica de València, Spain Edwin Lughofer, Johannes Kepler University, Austria IJCCI CONFERENCE CHAIR Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal Please check further details at the conference website ( http://www.ijcci.org/) IJCCI SECRETARIAT Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel.: +351 265 100 033 Fax: +44 203 014 8813 e-mail: ijcci.secretariat at insticc.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Jun 19 16:33:55 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 19 Jun 2015 17:33:55 +0300 Subject: IEEE/ACM UCC 2015: Fourth Call for Papers and Tutorial Proposals Message-ID: *** Fourth Call for Papers and Tutorial Proposals *** 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015) December 07-10, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/ucc2015 CONTEXT AND SCOPE Cloud Computing delivers computational resources on-demand as services that are commoditized and delivered analogous to traditional utilities such as electricity, gas, water and telephony. Cloud service offerings for compute, storage and communication resources as well as for hosted software and data are growing at a tremendous rate, and it is essential to understand how to effectively transform these services into Utilities that provide value to both users and providers. There is also increasing interest from commercial providers to offer business and revenue models around the services they offer. Understanding how these models could be used to provide utility for users, intermediary brokers (aggregators) and providers is also an area of active research. UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2015, to be held in Cyprus, will happen as Cloud providers worldwide add new services and increase Cloud utility at an accelerated pace, and Cloud service users explore new usage modes. This will be the 8th UCC in a successful conference series. Previous events were held in Shanghai, China (Cloud 2009), Melbourne, Australia (Cloud 2010 & UCC 2011), Chennai, India (UCC 2010), Chicago, USA (UCC 2012), Dresden, Germany (UCC2013), and London, UK (UCC 2014). CALL FOR PAPERS Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility computing including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific, engineering, and commercial deployment. Topics of interest include but are not limited to: · Big Data and Analytics · Principles and theoretical foundations of Utility Computing, including pricing and service models · Policy languages and Programming models · Utility driven model and mechanisms for Cloud federations · Autonomic techniques for Clouds and Cloud applications · Utility-driven platforms for Clouds · Architectural models to achieve Utility in Clouds · Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated · Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) · Virtualization technologies and other enablers · Economic models and scenarios of use · Scalability and resource management: brokering, scheduling, capacity planning, parallelism and elasticity, as well as marketplaces · Cloud management: autonomic, adaptive, self-*, SLAs, performance models and monitoring · Applications: games, social networks, scientific computing (e-science) and business · Mobile and energy-efficient use of Clouds · Beyond technology: Cloud business and legal implications, such as security, privacy, trust and jurisdiction, especially in Utility contexts One or more best paper awards will be given for outstanding contributed papers. Further details as well as submission guidelines are available at the conference website and below. MANUSCRIPT GUIDELINES Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references. Electronic submissions must be in the form of a readable PDF file. Manuscripts must be received by July 03, 2015. All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Please use the following Easy Chair link to update your submission: https://easychair.org/conferences/?conf=ucc2015 . Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chairs at the email addressed below for further information or clarification. Notification of review decisions will be mailed by August 21, 2015. Camera -ready papers are due by September 21, 2015. Published proceedings will be available at the conference. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. 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 the conference will be invited to submit an extended version to the IEEE Transactions on Cloud Computing. Papers will be selected based on their reviewers' scores and appropriateness to the journal's theme. All extended versions will undergo reviews and must represent original unpublished research work. Further details will be made available at the conference webpage. TUTORIAL PROPOSAL REQUIREMENTS Each tutorial proposal must contain the following: · Title. · Name and Affiliation of the Speaker(s). · Abstract (one paragraph, 200 words max., including previous experience with such tutorials). · Intended Audience (one paragraph) and prerequisites: Describe the background assumed of tutorial attendees (i.e. beginner, intermediate, advanced), and any requirements needed (e.g. bring own laptop). · Learning Outcome (one paragraph): Describe the benefit, knowledge or skill that will be gained by attendees. · Description (no more than 2 pages): A statement giving clear motivation /justification for the topic to be presented at UCC 2015 and a comprehensive outline of the proposed content. · Statement on if this tutorial has been given before and if so how this presentation will be different. · Materials (one paragraph): A description of materials to be provided to attendees on the conference website - course slides, annotated bibliography, code snippets, etc. NOTE: the materials themselves do not need to be provided in the proposal. · Bio-sketch: A single paragraph bio-sketch per tutorial presenter. · Requested tutorial length (preferably half-a-day). · Tutorial proposals should be submitted in PDF format by email to the tutorial chairs by the 3rd of July, 2015. RESPONSIBILITIES Materials for the tutorial must be emailed by the 13th of November 2015 at the latest. The UCC 2015 Conference Organizing Committee will be responsible for the following: · Providing logistics support and a meeting place for the tutorial. · In conjunction with the organizers, determining the tutorial date and time. · Providing copies of the tutorial materials to attendees. IMPORTANT DATES · Tutorial proposals due: 03 July, 2015 · Notification of tutorial proposals: 14 August, 2015 · Final description of accepted proposals: 14 September, 2015 · Tutorial slides due: 13 November, 2015 · Paper submissions due: 03 July, 2015 · Notification of acceptance: 21 August, 2015 · Camera ready papers due: 21 September, 2015 · Early and author registration deadline: 21 September, 2015 COMMITTEES General Chairs · Ashiq Anjum, University of Derby, UK · George Papadopoulos, University of Cyprus Program Committee Chairs · Manish Parashar, Rutgers University, USA (parashar AT rutgers.edu) · Omer Rana, Cardiff University, UK (ranaof AT cardiff.ac.uk) Standards/Plug-fest Chair · Alan Sill, Texas Tech, USA & Open Grid Forum Workshops Chairs · Ilkay Altintas, SDSC, USA (altintas AT sdsc.edu) · Josef Spillner, TU Dresden, Germany (josef.spillner AT tu-dresden.de) Tutorials Chairs · Ewa Deelman, USC, USA (deelman AT isi.edu) · Rafael Tolosana, Univ. of Zaragoza, Spain (rafaelt AT unizar.es) Posters Chair · Khalid Elgazzar, Queen's University, Kingston, Canada PhD Symposium Chair · Kenneth Johnson, Auckland University of Technology, New Zealand Cloud Challenge 2015 Chair · Ian Taylor, Cardiff University, UK Industry Chair · Achilleas Achilleos, University of Cyprus, Cyprus Proceedings Chairs · Nick Antonopoulos, University of Derby, UK · George Palis, University of Cyprus, Cyprus Publicity Chair · Georgia Kapitsaki, University of Cyprus, Cyprus 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 calimeri at mat.unical.it Sat Jun 20 01:23:25 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sat, 20 Jun 2015 01:23:25 +0200 Subject: [LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available) Message-ID: [apologies for multiple posting] Call for Participation *** REGISTRATION is now open *** --------------------------------------------------------------------------- 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) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. 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. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By Jérôme Lang, Université Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavrač, Jožef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also 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. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. 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, Gail-Joon Ahn 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 STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. 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. 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. COMMITTEES 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 announce at cs.ucy.ac.cy Sat Jun 20 11:20:56 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 20 Jun 2015 12:20:56 +0300 Subject: Second IEEE/ACM International Conference on Big Data Computing (BDC 2015): Third Call for Papers Message-ID: <4OA8N2HK-ZKY-00Z4-5FMI-0I4YZFHXDOL6@cs.ucy.ac.cy> *** Third Call for Papers *** Second 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. 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 feeds at sentic.net Sun Jun 21 10:05:50 2015 From: feeds at sentic.net (feeds) Date: Sun, 21 Jun 2015 03:05:50 -0500 (EST) Subject: [SenticNet] CFP: 5th ICDM Workshop on Sentiment Analysis (SENTIRE), Nov2015, Atlantic City Message-ID: <2086851447.32284.1434873950304.JavaMail.open-xchange@bosoxweb02.eigbox.net> Apologies for cross-posting, Submissions are invited to the 5th ICDM Workshop on Sentiment Elicitation from Natural Text for Information Retrieval and Extraction (SENTIRE) to be held at ICDM'15 this November in Atlantic City. For more information, please visit http://sentic.net/sentire RATIONALE Memory and data capacities double approximately every two years and, apparently, the Web is following the same rule. User-generated contents, in particular, are an ever-growing source of opinion and sentiments which are continuously spread worldwide through blogs, wikis, fora, chats and social networks. The distillation of knowledge from such sources is a key factor for applications in fields such as commerce, tourism, education and health, but the quantity and the nature of the contents they generate make it a very difficult task. Due to such challenging research problems and wide variety of practical applications, opinion mining and sentiment analysis have become very active research areas in the last decade. Our understanding and knowledge of the problem and its solution are still limited as natural language understanding techniques are still pretty weak. Most of current research in sentiment analysis, in fact, merely relies on machine learning algorithms. Such algorithms, despite most of them being very effective, produce no human understandable results such that we know little about how and why output values are obtained. All such approaches, moreover, rely on syntactical structure of text, which is far from the way the human mind processes natural language. Next-generation opinion mining systems should employ techniques capable to better grasp the conceptual rules that govern sentiment and the clues that can convey these concepts from realization to verbalization in the human mind. TOPICS SENTIRE aims to provide an international forum for researchers in the field of 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 Web mining, AI, Semantic Web, information retrieval and natural language processing. Topics of interest include but are not limited to: • Sentiment identification & classification • Opinion and sentiment summarization & visualization • Explicit & latent semantic analysis for sentiment mining • Concept-level opinion and sentiment analysis • Sentic computing • Opinion and sentiment search & retrieval • Time evolving opinion & sentiment analysis • Semantic multidimensional scaling for sentiment analysis • Multidomain & cross-domain evaluation • Domain adaptation for sentiment classification • Multimodal sentiment analysis • Multimodal fusion for continuous interpretation of semantics • Multilingual sentiment analysis & re-use of knowledge bases • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment corpora & annotation • Affective knowledge acquisition for sentiment analysis • Biologically inspired opinion mining • Sentiment topic detection & trend discovery • Big social data analysis • Social ranking • Social network analysis • Social media marketing • Comparative opinion analysis • Opinion spam detection SUBMISSIONS AND PROCEEDINGS Authors are required to follow IEEE ICDM Proceedings Author Guidelines. The paper length is limited to 10 pages, including references, diagrams, and appendices, if any. Manuscripts are to be submitted through CyberChair. Each submitted paper will be evaluated by three PC members with respect to its novelty, significance, technical soundness, presentation, and experiments. Accepted papers will be published in IEEE ICDM proceedings. Selected, expanded versions of papers presented at the workshop will be invited to a forthcoming Special Issue of Cognitive Computation on opinion mining and sentiment analysis. TIMEFRAME • July 20th, 2015: Submission deadline • September 1st, 2015: Notification of acceptance • September 10th, 2015: Final manuscripts due • November 14th, 2015: Workshop date ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Bing Liu, University of Illinois at Chicago (USA) • Yunqing Xia, Microsoft Research Asia (China) • Yongzheng Zhang, LinkedIn Inc. (USA) From grlmc at urv.cat Sun Jun 21 10:36:49 2015 From: grlmc at urv.cat (GRLMC) Date: Sun, 21 Jun 2015 10:36:49 +0200 Subject: SLSP 2015: extended submission deadline 30 June Message-ID: <7287AE287AC74ADA8D8B58D18AD67DF3@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: June 30 ***** ---------------------------------------------------------------------------- **************************************************************************** ****** 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 neural representation of speech and language 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 peer-reviewed contributions INVITED SPEAKERS: Xavier Carreras (Xerox Research Centre Europe, Meylan, FR), Low-rank Matrix Learning for Compositional Objects, Strings and Trees Sebastian Riedel (University College London, UK), Embedding Probabilistic Logic for Machine Reading Steve Young (University of Cambridge, UK), Open-domain Statistical Spoken Dialogue Systems PROGRAMME COMMITTEE: Steven Abney (University of Michigan, Ann Arbor, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Jill Burstein (Educational Testing Service, Princeton, USA) Nicoletta Calzolari (National Research Council, Pisa, Italy) Kevin Bretonnel Cohen (University of Colorado, Denver, USA) W. Bruce Croft (University of Massachusetts, Amherst, USA) Marc Dymetman (Xerox Research Centre Europe, Meylan, France) Guillaume Gravier (IRISA, Rennes, France) Kadri Hacioglu (Sensory Inc., Santa Clara, USA) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, UK) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Jing Jiang (Singapore Management University, Singapore) Tracy Holloway King (A9.com, Palo Alto, USA) Sadao Kurohashi (Kyoto University, Japan) 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) Fuchun Peng (Google Inc., Mountain View, USA) Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA) Javier Ramírez (University of Granada, Spain) Paul Rayson (Lancaster University, UK) Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Michael Riley (Google Inc., Mountain View, USA) Laurent Romary (INRIA, Saclay, France) Horacio Saggion (Pompeu Fabra University, Barcelona, Spain) David Sánchez (Rovira i Virgili University, Tarragona, Spain) Roser Saurí (Oxford University Press, Oxford, UK) Stefan Schulz (Medical University of Graz, Austria) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, UK) Maosong Sun (Tsinghua University, Beijing, China) Tomoki Toda (Nara Institute of Science and Technology, Japan) Yoshimasa Tsuruoka (University of Tokyo, Japan) Klára Vicsi (Budapest University of Technology and Economics, Hungary) Enrique Vidal (Technical University of Valencia, Spain) Atro Voutilainen (University of Helsinki, Finland) Andy Way (Dublin City University, Ireland) Junichi Yamagishi (University of Edinburgh, UK) Luke Zettlemoyer (University of Washington, Seattle, USA) 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 30, 2015 (23:59 CET) - EXTENDED - 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. https://www.avast.com/antivirus From sofronie at mpi-sb.mpg.de Mon Jun 22 00:09:02 2015 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Mon, 22 Jun 2015 00:09:02 +0200 Subject: Summer School VTSA: 24-28 August 2015, Koblenz Message-ID: ====================================================== Summer School on Verification Technology, Systems, and Applications August 24-28, 2015, University Koblenz-Landau, Koblenz, Germany ====================================================== The summer school Verification Technology, Systems, and Applications (VTSA 2015) will be organized from August 24-28, 2015 at the University Koblenz-Landau, Koblenz, Germany. This is the eighth edition of a yearly school organized by Inria Nancy, Max-Planck-Institut für Informatik Saarbrücken, Université de Liège, Université du Luxembourg and this year also Universität Koblenz-Landau. The following lecturers have agreed to give courses at VTSA 2015: - Bernhard Beckert: Deductive Verification of Object-Oriented Software - Stephanie Delaune: Verification of Security Protocols: from Confidentiality to Privacy - Alberto Griggio: Exploiting SMT for Verification of Infinite-State Systems - Tobias Schubert: SAT-based Approaches for Test and Verification of Integrated Circuits - Mihaela Sighireanu: Modelling, Specification and Formal Analysis of Complex Software Systems Participation to the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, daily coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Eugen Denerz (edenerz_AT_mpi-inf.mpg.de) including - a one-page CV, - an application letter explaining the participant's interest in the school and any experience in the area, and - a copy of the participant's bachelor certificate (or equivalent or a more significant certificate) The deadline for application is July 17, 2015. Notification of acceptance will be given by July 24, 2015. Full details are available at http://www.mpi-inf.mpg.de/vtsa15/. From blllne2 at unife.it Mon Jun 22 08:24:39 2015 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 22 Jun 2015 08:24:39 +0200 Subject: Deadline Extension - AI*IA 2015 Doctoral Consortium Message-ID: ------------------------------------------------------------------------------------------------------- Doctoral Consortium, AI*IA 2015 XIV Conference of the Italian Association for Artificial Intelligence 23-25 September, Ferrara, Italy http://aixia2015.unife.it/ ------------------------------------------------------------------------------------------------------- ***** Submission deadline extension: July 2nd, 2015 ***** 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. program. 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: Ju ​ly​ 2 ​nd​ , 2015 Acceptance Notification: July 31st, 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 thomas.lukasiewicz at gmail.com Mon Jun 22 17:40:03 2015 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Mon, 22 Jun 2015 16:40:03 +0100 Subject: SUBMISSION DEADLINE EXTENDED: Special Issue on Logics for Preferences, Uncertainty and Vagueness Message-ID: <55882C53.8010007@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 == ** July 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/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mkrallinger at cnio.es Wed Jun 24 17:37:57 2015 From: mkrallinger at cnio.es (Martin Krallinger) Date: Wed, 24 Jun 2015 17:37:57 +0200 Subject: CALL FOR PARTICIPATION: Fifth BioCreative Challenge workshop Message-ID: **************************************************************** **************************************************************** Fifth BioCreative Challenge workshop, Seville, Spain Home page: http://www.biocreative2015.org Challenge tasks: http://www.biocreative.org/events/biocreative-v/CFP Workshop date: 9-11th Sept 2015 Workshop format: Keynote speech, paper presentations, poster and group discussions. **************************************************************** **************************************************************** [Apologies for multiple postings] *********** *1. **SCOPE* *********** BioCreative: Critical Assessment of Information Extraction in Biology is a community-wide effort for evaluating text mining and information extraction systems applied to the biological domain. Built on the success of the previous BioCreative Challenge Evaluations and Workshops (BioCreative I, II, II.5, III, 2012 workshop, and IV), the BioCreative Organizing Committee will host the BioCreative V Challenge in Sevilla, Spain on September 9-11, 2015. *********** *2. TOPICS* *********** This workshop invites proceedings papers and posters of teams participating in the BioCreative V tracks. Additionally we invite also posters on other topics related to biomedical text mining, information retrieval and natural language processing. Topics of interest include: * Development and integration of BioC compatible modules that assist interaction database curation * Named entity recognition of chemical compounds and gene/protein mentions in patents *** Automatic detection of chemical/drugs and diseases, and their relations in PubMed abstracts * Text mining solutions to develop and test novel approaches for relation extraction in the context of pathway networks * Demonstration and evaluation of web-based systems addressing user-defined tasks, evaluated by curators on performance and usability * Demonstration of tools to extract metagenomics metadata, including environment and habitat metadata * The importance and practical use of text mining and information extraction systems for the extraction of biological and biomedical annotations and integration to existing life sciences knowledgebases * Demonstration of real world cases of crowdsourcing and community annotations for generating Gold Standard annotations for text mining and database annotations * Use of text mining strategies to extract clinically relevant information from public data and clinical records, with a special focus on disease and symptom related concepts. Authors can submit short proceedings papers and posters describing systems participating in BioCreative V tracks. Additionally we invite also posters on other topics related to biomedical text mining, information retrieval and natural language processing. Proceedings authors will be invited to submit full papers for a special journal issue. Previous special issues: http://www.biocreative.org/resources/publications *********** *3. DATES * *********** Submission deadline: August 15th 2015 (check task timelines: http://www.biocreative.org/events/biocreative-v/CFP) Workshop date: 9-11th September 2015 *********** *4. **BIOCREATIVE ORGANIZING COMMITTEE* *********** Cecilia Arighi, University of Delaware, USA Kevin Cohen, University of Colorado, USA Donald Comeau, National Center for Biotechnology Information (NCBI), NIH, USA Juliane Fluck, Fraunhofer Institute for Algorithms and Scientific Computing SCAI, Germany Rezarta Islamaj Dogan, National Center for Biotechnology Information (NCBI), NIH, USA Lynette Hirschman, MITRE Corporation, USA Sun Kim, National Center for Biotechnology Information (NCBI), NIH, USA Martin Krallinger, Spanish National Cancer Centre, CNIO, Spain Zhiyong Lu, National Center for Biotechnology Information (NCBI), NIH, USA Fabio Rinaldi, Institute of Computational Linguistics, University of Zurich, Switzerland Alfonso Valencia, Spanish National Cancer Centre, CNIO, Spain Thomas Wiegers, North Carolina State University, USA John Wilbur, National Center for Biotechnology Information (NCBI), NIH, USA Cathy Wu, University of Delaware and Georgetown University, USA Martin Krallinger, On behalf of the BioCreative organizing committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schueller.p at gmail.com Thu Jun 25 09:38:08 2015 From: schueller.p at gmail.com (schueller.p at gmail.com) Date: Thu, 25 Jun 2015 10:38:08 +0300 (EEST) Subject: Deadline Extension: Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2015)@LPNMR Message-ID: <20150625073808.1284E2C00CE@omsievews> (Apologies for cross-posting.) CALL FOR PAPERS --- Deadline extended to July 1, 2015! 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: July 1, 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 Fermueller (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 invitation at iariaschedule.org Thu Jun 25 22:51:00 2015 From: invitation at iariaschedule.org (ICSNC 2015) Date: Thu, 25 Jun 2015 16:51:00 -0400 Subject: Last Mile: ICSNC 2015 || November 15 - 20, 2015 - Barcelona, Spain Message-ID: <1435265460155.503@iariaschedule.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2015. Note that we are few days away from the submission deadline of July 6, 2015. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2015, The Tenth International Conference on Systems and Networks Communications November 15 - 20, 2015 - Barcelona, Spain General page: http://www.iaria.org/conferences2015/ICSNC15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICSNC15.html Submission page: http://www.iaria.org/conferences2015/SubmitICSNC15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - mini symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: July 6, 2015 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2015 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks AP2PS: Advances in P2P Systems Architectures and protocols; Gossip-based and epidemic protocols; Integration with network operators and service providers; Autonomic computing and networking; Semantic P2P; Opportunistic networking; Content delivery networks; Applications; Prototypes and simulations; Implementations; Comparative performance analysis; Dependability, resilience and availability; Benchmarking and optimization; Quality of experience; Security, trust and reputation; Digital rights management; Content filtering; P2P and wireless convergence; Integrated approaches; Energy efficiency MESH: Advances in Mesh Networks Architectures and algorithms; Wireless interference models; Large-scale networks; Real-time and non-real-time communications; Centralized and distributed scheduling; Service differentiation; Security, Privacy, and Trust; Protocol interference models; Single-channel multihop/multichannel routing; Quality of Services routing; Multimedia-centric routing; Cross-layer multicast routing; QoS-based access protocols for mesh networks; Multichannel access protocols; Applications; Multimedia services; Home IPTV; WiMax; Broadband home networking communications; Smart buildings; Broadband Internet access VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2015/ComICSNC15.html ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From marc.denecker at cs.kuleuven.be Fri Jun 26 16:08:43 2015 From: marc.denecker at cs.kuleuven.be (Marc Denecker) Date: Fri, 26 Jun 2015 16:08:43 +0200 Subject: GTTV'15 Deadline extension In-Reply-To: <558D5C5E.4040707@cs.kuleuven.be> References: <558D5C5E.4040707@cs.kuleuven.be> Message-ID: <558D5CEB.7020707@cs.kuleuven.be> DEADLINE EXTENSION!!! ------------------------------------------------------------------------------ CALL FOR PAPERS : ------------------------------------------------------------------------------ GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables 27 September, Lexington, KY, USA. Workshop collocated with LPNMR 2015 URL: https://sites.google.com/site/gttv2015/ ------------------------------------------------------------------------------ IMPORTANT DATES ------------------------------------------------------------------------------ - Paper registration: 3 July, EXTENDED DEADLINE! - Paper submission: 8 July, EXTENDED DEADLINE! - Notification of acceptance: 17 August - Camera ready submission: 1 September - Workshop: 27 September, 2015 ------------------------------------------------------------------------------ WORKSHOP DESCRIPTION ------------------------------------------------------------------------------ Although many efficient solvers used in formal reasoning operate at the propositional level, in most application domains for knowledge representation and reasoning the use of variables is crucial for allowing compact and flexible formal descriptions. As a result, a common situation in many different areas of formal reasoning is to deal with high level descriptions containing variables while using a propositional solver as a back-end. The technique of removing variables, replacing them by their possible ground instances, is commonly known as Grounding, and has attracted research interest from quite diverse areas such as Logic Programming and Non-Monotonic Reasoning, Theorem Proving, Planning, Deductive Databases, Formal Methods, and others. This workshop aims to bring together researchers from different areas with a common interest in grounding and transformations for theories with variables, establishing a meeting point from which a cross-fertilization of new ideas may emerge. Workshop topics include, but are not limited to: * Transformations and pre-processing for grounding * Equivalence and correspondence for theories with variables * Modularity and compositionality * Syntactic restrictions for grounding * Grounding for theories with functions * Selective on-the-fly grounding, lazy grounding, grounding on demand * Grounding algorithms: heuristics, computational complexity, etc * Benchmarks, challenging applications and system comparisons * Grounding for specific solvers including, but not limited to: ASP, SAT, SMT, constraint programming, mixed integer programming, etc * Grounding in hybrid systems: ontologies and ASP, etc * Other techniques for variables: quantifier elimination, etc. ------------------------------------------------------------------------------ INVITED SPEAKERS ------------------------------------------------------------------------------ Andreas Pieris, Vienna University of Technology Roland Kaminski, Potsdam University ------------------------------------------------------------------------------ SUBMISSION INSTRUCTIONS ------------------------------------------------------------------------------ All submissions must be written in English and formatted according to the Springer LNCS/LNAI author instructions. http://www.springer.com/comp/lncs/Authors.html Two types of contributions are accepted: Technical papers and System descriptions. Technical papers must present original research and not exceed 13 pages including title page, references and figures. We also encourage introductory system descriptions that help different groups make their work known to the others. For system presentations a length of 6 pages is recommended. Paper submission is electronic and managed through the following easychair GTTV'15 webpage https://www.easychair.org/conferences/?conf=gttv15 MULTIPLE SUBMISSION POLICY GTTV'15 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. However, authors may freely submit their papers elsewhere during or after GTTV'15 review period, since GTTV'15 is a specialized workshop without archival proceedings and intended for a limited audience. ------------------------------------------------------------------------------ PROGRAM COMMITTEE ------------------------------------------------------------------------------ Marcello Balduccini, Drexel University Pedro Cabalar, University of A Coruña Martin Gebser, Aalto University Emilia Oikarinen, Aalto University Simona Perri, University of Calabria Joohyung Lee, Arizona State University Torsten Schaub, University of Potsdam Shahab Tasharrofi, Aalto University Evgenia Ternovska, Simon Fraser University Mirek Truszczynski, University of Kentucky Agustín Valverde Ramos, University of Málaga Concepción Vidal Martin, University of A Coruña Stefan Woltran, Technische Universität Wien ------------------------------------------------------------------------------ ORGANIZING COMMITTEE ------------------------------------------------------------------------------ Marc Denecker, KU Leuven Tomi Janhunen, Aalto University -- Prof. Marc Denecker KU Leuven Departement Computerwetenschappen tel: ++32 (0)16/32.75.57 Celestijnenlaan 200A Room A02.145 fax: ++32 (0)16/32.79.96 B-3001 Heverlee, Belgium email: Marc.Denecker at cs.kuleuven.be http://people.cs.kuleuven.be/~marc.denecker/ ........................................................................ Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From valentina.ivanova at liu.se Sat Jun 27 00:33:40 2015 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Fri, 26 Jun 2015 22:33:40 +0000 Subject: VOILA Deadline Extended @ ISWC 2015 - Workshop on Visualizations and User Interfaces for Ontologies and Linked Data Message-ID: <4B07F535C1DBB043B4E107FAA728DD20223323AD@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, 2015, Bethlehem, Pennsylvania, USA http://voila2015.visualdataweb.org -------------------------------------------------- Submission Deadline Extended : July 10, 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 10, 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 grlmc at urv.cat Sat Jun 27 21:46:35 2015 From: grlmc at urv.cat (GRLMC) Date: Sat, 27 Jun 2015 21:46:35 +0200 Subject: InfoSec 2015: final announcement 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/ ********************************************************************** --- Early registration deadline: July 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 3 keynote lectures, 23 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, 2-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? 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 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 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 Antoine Joux (Pierre et Marie Curie University, Paris), [introductory/intermediate] Discrete Logarithms in Finite Fields 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 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 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. https://www.avast.com/antivirus From andrea.orlandini at istc.cnr.it Sun Jun 28 22:50:52 2015 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Sun, 28 Jun 2015 22:50:52 +0200 Subject: Call for Papers - Deadline Extension - 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) In-Reply-To: <557F2FED.308@istc.cnr.it> References: <55467311.90002@istc.cnr.it> <557F2FED.308@istc.cnr.it> Message-ID: <55905E2C.3060504@istc.cnr.it> Apologies for multiple copies Due to many requests, a new submission deadline has been fixed. *** SUBMISSION DEADLINE EXTENSION: 9th of July 2015 *** LAST UPDATES: - Financial awards for top 5-best student papers - 1 Fellowship for accomodation and travel to a young student provided by the Italian Association for Artificial Intelligence (http://www.aixia.it) ***************************************************************************** 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) November 9-11, 2015 Vietri sul Mare, Italy https://sites.google.com/site/ictai2015italy/ ***************************************************************************** Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topic of interest include (but are not limited to): - AI Foundations Evolutionary computing, Bayesian and Neural Networks Decision/Utility Theory and Decision Optimization Search, SAT, and CSP Description Logic and Ontologies - AI in Domain Specific Applications AI in Natural Language Processing and Understanding AI in Computational Biology, Medicine and Biomedical Applications AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce AI in Finance and Risk Management - AI in Computer Systems AI in Robotics, Computer Vision and Games AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems AI in Web search and Information Retrieval AI in Computer Security, Data Privacy, and Information Assurance - AI in Data Analytics and Big Data Visualization Analytics for Big Data 
 Computational Modeling for Big Data
 Large-scale Recommendation and Social Media Systems Cloud/Grid/Stream Data Mining for Big Velocity Data 
 Semantic-based Big Data Mining - Uncertainty in AI Uncertainty and Fuzziness Representation and Reasoning Approximate/Exact Probabilistic Inference Knowledge Discovery and Data Mining for Uncertain Data - Machine Learning and Data Mining Data pre-processing, reduction and feature selection Learning Graphical Models and Complex Networks Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning Transfer/Adaptive, Rational and Structured Learning Preference/Ranking, Ensemble, and Reinforcement Learning - Knowledge Representation, Reasoning and Cognitive Modelling Knowledge Representation, Reasoning Knowledge Extraction, Management and Sharing Case-Based Reasoning and Knowledge-based Systems Cognitive Modelling and Semantic Web - AI and Decision Systems Decision Guidance and Support Systems Optimization-based recommender systems Group, distributed, and collaborative decisions Crowd-sourcing and collective intelligence decision making Strategic, tactical and operational level decisions Decision making in social and mobile networks - Multimodal Communicative Signals: Behavioural and Algorithmic Issues Verbal and nonverbal social communicative signals Trustful human-human and human-machine exchanges Emotionally and socially believable robots and ICT interfaces Recognition, synthesis and understanding of human interactions Context and cultural effects on perception. Memory, cognition Multimodal Signal Analysis and Processing Affective systems and related applications Learning algorithms in social robotics and ICT interfaces Analysis and processing of human daily cognitive activities Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically (https://easychair.org/conferences/?conf=ictai2015) in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Important Dates Paper Submission: NEW DATE July 9, 2015 Paper notification: August 9, 2015 Camera ready paper: September 9, 2015 Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2015 that will be published by the IEEE Computer Society. Best Student Papers Awards Financial awards to the top-5 best student papers will be provided. AI*IA Travel and accommodation fellowship The Italian Association for Artificial Intelligence provides 1 fellowship for travel and accommodation to young students. Journal special issues Authors of selected, relevant best papers (according to the topic) will be invited to submit extended versions to IJCTAI or Interaction Studies Journals SAT and CSP track See http://www.cril.univ-artois.fr/SAT-CSP-IEEE-ICTAI2015/ for details. Further Information Program Chair: Anna Esposito (iiass.annaesp at tin.it) Local Chairs: Gennaro Cordasco (gennaro.cordasco at unina2.it) Alda Troncone (alda.troncone at unina2.it) Publicity Chair: AndreA Orlandini (andrea.orlandini at istc.cnr.it) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail: andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url: http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! From a.bikakis at ucl.ac.uk Tue Jun 30 19:25:03 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Tue, 30 Jun 2015 17:25:03 +0000 Subject: MIWAI'15: Deadline Extended to July 20 In-Reply-To: References: <201504301848.t3UImNFG016333@igor.cs.wisc.edu> Message-ID: == MIWAI'15: DEADLINE EXTENDED TO JULY 20 == 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/ == DEADLINE EXTENSION == Due to multiple requests, we extended the paper submission deadline to the 20th of July. == IMPORTANT DATES (NEW!) == Submission deadline: July 20, 2015 Author notification: August 20, 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). Two EI-indexed Chinese journals will also publish selected papers from MIWAI’15: Journal of South China University of Technology (Natural Science Edition), and Journal of Sichuan University: Engineering Science Edition. == 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 a.bikakis at ucl.ac.uk Tue Jun 30 19:43:27 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Tue, 30 Jun 2015 17:43:27 +0000 Subject: CfP: 9th Hellenic Conference on Artificial Intelligence (SETN 2016) In-Reply-To: <201506301003.t5UA3HrM032544@igor.cs.wisc.edu> References: <201506301003.t5UA3HrM032544@igor.cs.wisc.edu> Message-ID: (Apologies for multiple postings.) ---------------------------------- ** SETN 2016 CALL FOR PAPERS ** The 9th Hellenic Conference on Artificial Intelligence (SETN'16) ( http://setn2016.csd.auth.gr/) will be held in Thessaloniki, Greece on May 18-20, 2016. SETN'16 is organized by the Hellenic AI Society (EETN), in collaboration with the Department of Informatics, Aristotle University of Thessaloniki. == BACKGROUND == The Hellenic Conference on Artificial Intelligence is organized biannually by the Hellenic Artificial Intelligence Society (EETN). It has already been established as one of the most prominent forums for Greek and International AI scientists to present original and high-quality research on emergent topics of AI. The official language is English and we highly encourage international participation. == SCOPE == The conference invites high quality, unpublished submissions on any area of Artificial Intelligence, from fundamental sciences to applied technologies. The conference aims to: - bring together AI researchers, to promote knowledge dissemination and collaborations, - inform undergraduate and postgraduate students about the current state of the art in topics related to AI, - promote research results to companies and facilitate the development of innovative products. == TOPICS == The topics of relevance for the conference papers include but are not limited to the following: - AI Applications - Ambient Intelligence - Biomedical Data Analysis - Bioinformatics - Brain Informatics - Computer Vision and Pattern Recognition - Cognitive Modeling - Constraint Programming - Decision Support - Game Theory - Games and Interactive Entertainment - Human Computer Interaction - Information Retrieval, Integration and Extraction - Knowledge Acquisition and Ontologies - Knowledge Representation and Reasoning - Machine Learning and Data Mining - Multi-Agent Systems - Multimedia Content Analysis - Natural Language Processing - Neural Networks - Perception and Sensing - Planning and Scheduling - Probabilistic and uncertain reasoning - Recommender Systems - Robotics and Assistive Technologies - Search and Optimization - Speech Recognition - Semantic Web, Ontologies and Linked Open Data - Smart Environments - Text Mining - Web Intelligence == VENUE == SETN-2016 will take place at the Grand Hotel Palace, located near the new western entry of the city, 2.5 Km from the city center and 500 meters from the Intercity Bus Station of Thessaloniki. == PROGRAM - INVITED SPEAKERS == The program of SETN-2016 will include 2 or 3 talks from distinguished, European AI researchers. Workshops and Tutorials are also planned as part of the conference. == PAPER SUBMISSION - PROCEEDINGS == The proceedings of the conference will be published by ACM Digital Library within its International Conference Proceedings Series. Moreover, extended versions of selected best papers will be considered for possible publication in a special issue of an AI Journal. All paper submissions will be handled electronically via the EasyChair Conference management system at the following address: https://easychair.org/conferences/?conf=setn2016 The submitted papers will be peer-reviewed on the basis of technical quality, relevance to AI, originality, significance, and clarity. Note that submitted papers should have neither been published nor submitted for publication elsewhere. In order to prepare their manuscripts, authors should follow the ACM SIG Proceedings guidelines, available at: http://www.acm.org/publications/article-templates/proceedings-template.html/ Note that SETN 2016 accepts submissions of two types: a) full papers (5-10 pages) and b) short papers (2-4 pages). All accepted papers will be included in the conference proceedings. Submitting a paper to the conference means that in case of acceptance, at least one author is required to fully register for the conference in order for the paper to be included in the proceedings. Moreover, it is expected that at least one author will attend the conference to present the paper. == IMPORTANT DATES == Paper Submission Deadline: November 30, 2015 Author Notification: February 15, 2016 Camera Ready Paper Submission Deadline: February 28, 2016 Conference Dates: May 18-20, 2016 == CONFERENCE CO-CHAIRS == Ioannis Vlahavas, Aristotle University of Thessaloniki, Greece Dimitris Vrakas, Aristotle University of Thessaloniki, Greece George Vouros, University of Peiraeus, Greece (EETN Chairperson) == PROGRAM COMMITTEE CO-CHAIRS == Nick Bassiliades, Aristotle University of Thessaloniki, Greece Antonis Bikakis, University College London, UK == FURTHER INFORMATION == Conference Website: http://setn2016.csd.auth.gr/ Contact for general inquires: dvrakas at csd.auth.gr (Dimitris Vrakas, Aristotle University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: