From andrea.orlandini at istc.cnr.it Sun Nov 1 17:23:23 2015 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Sun, 1 Nov 2015 17:23:23 +0100 Subject: Call for Papers - Robotics Track @ International Conference on Automated Planning and Scheduling (ICAPS 2016) In-Reply-To: <56006F45.1090806@istc.cnr.it> References: <56006F45.1090806@istc.cnr.it> Message-ID: <56363C7B.8080606@istc.cnr.it> == ICAPS 2016 ROBOTICS TRACK -- Call for Papers == The 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) June 12-17, 2016, London, United Kingdom http://icaps16.icaps-conference.org/robotics-track.html (icaps16london at gmail.com for inquiries) Abstracts due: November 18, 2015 Papers due: November 22, 2015 Notification: January 26, 2016 In 2016 ICAPS will run a robotics track as part of the main conference. Following on from successful events in 2014 and 2015, this will again emphasize the importance and opportunities of reuniting the fields of AI planning and (autonomous) robotics. This provides an opportunity for the AI planning and scheduling community to respond to the challenges that robotics applications pose and contribute to the advance of intelligent robotics. This is also an opportunity for the robotics community to propose integrated solutions, discuss its challenges related to planning for autonomous robots (deliberative, reactive, continuous planning and execution etc.) and present its expectations of the planning and scheduling community. In this regard, the robotics track aims to present research at the intersection of the fields of robotics and planning & scheduling. We welcome work on the planning, execution and coordination of individual or teams of robots, at the level of tasks, (manipulation) actions, perception, behaviors and motions. Submission of work that has been demonstrated on actual robot systems is specifically encouraged. Topics include, but are not limited to: robot motion, path, task and mission planning and execution; learning action and task models; acquisition of planning models for robotics; failure detection and recovery; integrated planning and execution in robotic architectures; planning for long-term autonomy in robotics; planning and coordination methods for multiple robots; mixed-initiative planning and variable autonomy for robotic systems; human-aware planning and execution in human-robot interaction, including safety; adversarial action planning in competitive robotic domains; planning for perception; formal methods for robot planning and control; planning domain representations for robotics applications; benchmark planning domains for robots; real-world planning applications for autonomous robots. Author Guidelines ----------------- Authors may submit long papers (8 pages plus up to one page of references) or short papers (4 pages plus up to one page of references). The type of paper must be indicated at submission time. For more information, see: http://icaps16.icaps-conference.org All papers, regardless of length, will be reviewed against the standard criteria of relevance, originality, significance, clarity and soundness, and are expected to meet the same high standards set by ICAPS. Short papers may be of narrower scope, for example by addressing a highly specific issue, or proposing or evaluating a small, yet important, extension of previous work or new idea. Authors making multiple submissions must ensure that each submission has significant unique content. Papers submitted to ICAPS 2016 may not be submitted to other conferences or journals during the ICAPS 2016 review period nor may they be already under review or published in other conferences or journals. Overlength papers will be rejected without review. All submissions will be made electronically, through the EasyChair conference system: https://www.easychair.org/conferences/?conf=icaps16 Submissions must be in the AAAI format. For more information, see the submission instructions on ICAPS 2016 submission page. The proceedings will be published by AAAI Press. All accepted papers will be published in the main conference proceedings and will be presented orally at the conference (full papers will be allocated more time). Important Dates --------------- Abstracts (electronic submission) due: November 18th, 2015 Papers (electronic submission) due: November 22nd, 2015 Notification of acceptance: January 26th, 2015 The reference timezone for all deadlines is UTC-12. That is, as long as there is still some place anywhere in the world where the deadline has not yet passed, you are on time! Organizing Committee -------------------- Robotics Track chairs: Nick Hawes (University of Birmingham, United Kingdom) AndreA Orlandini (National Research Council, Italy) Conference Chairs: Andrew Coles (King's College London) Daniele Magazzeni (King's College London) Program Chairs: Amanda Coles (King's College London) Stefan Edelkamp (University of Bremen, Germany) Scott Sanner (NICTA and ANU, Australia) Program Committee Anthony Barrett (NASA JPL, USA) Michael Beetz (Bremen University, Germany) Sara Bernardini (University of London, United Kingdom) Michael Cashmore (King's College, United Kingdom) Amedeo Cesta (CNR-ISTC, Italy) Louise Dennis (University of Liverpool, United Kingdom) Alberto Finzi (University of Napoli "Federico II", Italy) Robert Fitch (University of Sydney, Australia) Malik Ghallab (LAAS-CNRS, France) Catherine Harris (University of Birmingham, United Kingdom) Joachim Hertzberg (University of Osnabrück, Germany) Laura Hiatt, (Naval Research Laboratory, USA) Andreas Hofmann (MIT, USA) Felix Ingrand (LAAS/CNRS, France) Erez Karpas (MIT, USA) Sven Koenig (University of Southern California, USA) Jonas Kvarnstrom (Linköping University, Sweden) Bruno Lacerda (University of Birmingham, United Kingdom) Maxim Likhachev (Carnegie Mellon University, USA) Francisco Melo (Instituto Superior Tecnico/INESC-ID, Spain) Lenka Mudrova (University of Birmingham, United Kingdom) Daniele Nardi (Sapienza University, Italy) Bernhard Nebel (Albert-Ludwigs-Universität, Germany) Tim Niemueller (Aachen University, Germany) Leslie P. Kaelbling (MIT, USA) Russell Knight (NASA JPL, USA) Amit Kumat Pandey (Aldebaran, France) Lars Kunz (University of Birmingham, United Kingdom) Federico Pecora (Örebro University, Sweden) Ron Petrick (University of Edinburgh, United Kingdom) Frederic Py (Faculty of Engineering, Univ. of Porto, Portugal) Kanna Rajan (Faculty of Engineering, Univ. of Porto, Portugal) Bram Ridder (King's College, United Kingdom) Benjamin Rosman (Council for Scientific and Industrial Research, South Africa) Alessandro Saffiotti (Örebro University, Sweden) Reid Simmons (Carnegie Mellon University, USA) Siddarth Srivastava (Berkeley University, USA) Manuela Veloso (Carnegie Mellon University, USA) Minlue Wang (University of Birmingham, United Kingdom) -- --------------------------------------------------------------------- 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 m.huisman at utwente.nl Mon Nov 2 16:39:36 2015 From: m.huisman at utwente.nl (m.huisman at utwente.nl) Date: Mon, 2 Nov 2015 15:39:36 +0000 Subject: 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Message-ID: [Apologies for multiple copies] ============================================================ CALL FOR PAPERS iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ ============================================================ === Important dates === Abstract submission: December 21, 2015 Paper submission: January 6, 2016 Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Submission guidelines === iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). The conference proceedings will be published in Springer's Lecture Notes in ComputerScience series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date, to be indicated by the organizers, and present the paper. === Invited speakers === Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) === Workshops === iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Mon Nov 2 16:25:43 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 2 Nov 2015 17:25:43 +0200 Subject: The 15th International Conference on Software Reuse (ICSR 2016): Second Combined Call for Contributions Message-ID: *** Second Combined Call for Contributions *** The 15th International Conference on Software Reuse (ICSR 2016) June 5-7, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBDb250cmlidXRpb25zCTI0CUFkZHJlc3Nlcwk5MTI0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficsr2016%2F For decades the International Conference on Software Reuse (ICSR) has been the premier event in the field of software reuse research and technology. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 15th International Conference on Software Reuse (ICSR 2016) will be held on June 5-7 2016, in Cyprus. CALL FOR RESEARCH PAPERS We invite submissions on new and innovative research results and industrial experience reports in the area of software reuse. The guiding theme of ICSR 2016 is: Software reuse: bridging with social-awareness Development online social networks are gaining ground lately with software engineers participating in different fora collaborating and exchanging ideas and expertise. Software reuse needs to utilize, but also strengthen, this new form of synergies that can be built among engineers. ICSR special theme aims to bring this aspect in software reuse by raising social-awareness, strengthening the existing platforms and tools, and utilizing the vast software information that exists in development social networks. Amongst the numerous important challenges we identified the following major topics for research focusing on reuse with social-awareness: · Social network interactions between developers to support software reuse · Utilization of online social development tools for software reuse · Software reuse to enhance social-awareness · Trust, security and semantic issues of social aspects of software reuse Beyond those novel challenges for software reuse, we solicit submissions dealing with all aspects of software reuse, including, but not limited to the following ones: · Domain analysis and modelling · Asset search and retrieval · Architecture-centric reuse approaches · Component-based reuse · Service-oriented architectures · COTS-based development and reuse of open source assets · Generative development · Domain-specific languages · Software composition and modularization · Model-driven development · Reengineering for reuse · Software product line techniques · Quality assurance for software reuse, such as testing and verification · Reuse of non-code artifacts (process, experience, etc.) · Economic models of reuse · Benefit and risk analysis, scoping · Legal and managerial aspects of reuse · Transition to software reuse · Industrial experience with reuse · Light-weight reuse approaches · Agile reuse · Software evolution and reuse · Reuse for mobile and ubiquitous applications Paper Submission Novel and well-founded work in the wider area of software reuse is highly welcome. We look for strong research work which might have a strong theoretical or empirical foundation. Theoretical work should in particular provide innovative ideas and should be based on a sound theoretical basis. Empirical work based on case studies, empirical research and experiments is also highly welcome. Industrial submissions describing practical experience are also strongly encouraged. Submissions must conform to Springer's Lecture Notes in Computer Science format, and are limited to 16 pages in length, in English. Short papers (up to 8 pages) are accepted as well and should be marked accordingly. You will be able to submit your paper via Easychair. Each submission will be reviewed by at least three members of the Program Committee. We plan to have a best paper award for this conference, details will be announced in due time. Accepted papers will be published in Springer's highly visible LNCS series again. Please note that a full conference (i.e. not a student) registration is required for a technical paper to be published. Moreover, the prestigious Journal of Systems and Software will dedicate a special issue on software reuse for which the authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material). The CFP of the special issue can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBDb250cmlidXRpb25zCTI0CUFkZHJlc3Nlcwk5MTI0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.journals.elsevier.com%2Fjournal-of-systems-and-software%2Fcall-for-papers%2Fspecial-issue-on-software-reuse-cfp%2F CALL FOR WORKSHOP PROPOSALS ICSR 2016, the premier conference on software reuse, invites proposals for one-day and half-day workshops to be hosted in conjunction with the conference. Since software reuse is pervasive in all aspects of software development, workshops on a variety of topics including, but not limited to those listed above may be appropriate. Submissions in the area of the conference's main topic will receive preferential treatment. Workshop proposals are limited to 3 pages in length. The proposal should include the following information: · A title of the workshop · Names of organizers and their affiliations · A summary of workshop objectives · A statement of why the workshop would be of interest to potential ICSR attendees · A description of the qualifications of the organizers to host the workshop · A preliminary schedule for the workshop · Your estimates on number of interested attendees · Any past experience with hosting such workshops · Any special workshop requirements · A one-page Workshop CFP (such as the one the organizers would send out to invite attendees). Please email your workshop proposals to Tommi Mikkonen (tjm at cs.tut.fi). Proposals are reviewed as they are received on a first come first served basis. Workshop descriptions and associated papers will be part of the conference post-proceedings. Springer will be contacted for potential inclusion in the Communications in Computer and Information Science (CCIS) series (http://www.springer.com/series/7899). CALL FOR TUTORIAL PROPOSALS ICSR 2016, the premier conference on software reuse, invites submissions for tutorial proposals. The purpose of the tutorial program is to provide participants with the opportunity to expand their software reuse knowledge and skills. Tutorials may focus on well-established or cutting-edge topics, particularly welcome are those consistent with ICSR 2016 theme, and in general the ones concerning software reuse as listed in the CFP. Proposals for tutorials are limited to 3 pages and should include: · The tutorial title and keywords · The tutorial length (half or full day) · Presenter information (short bio) · Tutorial description, history (if a similar tutorial was given before by the presenters) · Presentation format/method including technical requirements (beamer, whiteboards, etc.) Please email your tutorial proposals to Tommi Mikkonen (tjm at cs.tut.fi). Tutorial proposals are reviewed as they are received on a first come first served basis. Tutorial descriptions will not appear in the ICSR Proceedings, but all speakers can have any relevant materials posted on the ICSR web site. DOCTORAL SYMPOSIUM CALL FOR PAPERS The goal of the Doctoral Symposium is to provide a forum for doctoral students working in the area of software reuse (or in areas closely related to reuse) to discuss their proposed thesis. Students will get feedback on their work from the Symposium Expert Panelists, and will be able to attend regular ICSR sessions. Participants will present their work highlighting the main research challenges, solution directions, results obtained thus far, evaluation plan, and research plan towards the completion of the Ph.D. studies. Presentation - limited to twenty minutes - should be supported by slides. An Expert Panel composed of software reuse researchers will provide feedback to help students shape their work. There will be an award for the most promising idea for original research. The winner will be selected based on the submitted paper, presentation and discussions. Accepted papers will be published (probably at CEUR, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBDb250cmlidXRpb25zCTI0CUFkZHJlc3Nlcwk5MTI0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fceur-ws.org%29. Submission Instructions Currently registered doctoral students are invited to submit their proposal for participation in the Doctoral Symposium, provided they have already selected a research topic and outlined the research plan in some detail. The event serves as an opportunity to receive early feedback on a thesis topic or later feedback to help tune a dissertation. To be considered, a student should submit a research papers and his/her supervisor should submit a recommendation letter as follows: The research paper should be written in the style of the thesis proposal, addressing the research problem description and its importance (who will benefit from the solution and how), research challenges, research approach, related work (highlight the novelty of your approach), results to date, plans for evaluation, and references. Please indicate on the top of the front page: your name, the date (month/year) that you started your Ph.D., the expected defense date (month/year), and the name of your advisor. The paper is limited to four pages in length and must conform to Springer's Lecture Notes in Computer Science format. Submit the paper directly to the symposium chair Maurizio Morisio (maurizio.morisio at polito.it), with subject "ICSR DS Symposium Proposal". Recommendation letter: A thesis advisor should e-mail a brief recommendation letter directly to the symposium chair Maurizio Morisio, with subject "ICSR DS Symposium Recommendation Letter". An Expert Panel will evaluate all submissions and accepted proposals will be presented at the ICSR Doctoral Symposium. It is important to notice that the person that will present an accepted paper must be the doctoral student, author of the paper. Professors and colleagues are not allowed to present papers on behalf of the doctoral student. CALL FOR TOOL DEMONSTRATIONS The ICSR Tool Demonstrations enable industry and academic researchers to share their ideas and present the state of the art and practice in Software Reuse. ICSR 2016 presents an excellent opportunity for researchers and professional software engineers to present their working tools and systems to the Software Reuse community. Submission Instructions We invite proposals for tool demonstrations on any topics related to software reuse. Tools suggesting their reuse recommendations directly in IDEs (such as Eclipse etc.) are especially welcome. All selected tools will be presented during the conference in two ways: · A formal lecture-style presentation session · An informal demo session where individuals can walk around, ask specific questions, and interact with the tools. Submissions should not exceed four pages in proceedings format. Proposals for tool demonstrations should be sent to the tools demonstration chair Frederik Kramer (frederik.kramer at initos.com). Demo papers are envisaged to appear as a technical report online. Authors are encouraged to share their tools and presentations as well as illustrative videos. IMPORTANT DATES FOR ALL TYPES OF SUBMISSIONS · Submission of research papers and industrial reports: 28 December 2015 · Notification for research papers and submission reports: 25 February 2016 · Camera Ready submission of research papers and industrial reports: 10 March 2016 · Special Issue JSS: 03 October 2016 · Submission of workshop proposals: 28 January 2016 · Notification for workshop proposals: 10 February 2016 · Submission of tutorial proposals: 28 January 2016 · Notification for tutorial proposals: 10 February 2016 · Submission of Doctoral Symposium papers: 28 January 2016 · Notification for Doctoral Symposium papers: 20 February 2016 · Camera Ready submission of Doctoral Symposium papers: 10 March 2016 · Submission of tool demos : 28 January 2016 · Notification for tool demos: 20 February 2016 COMMITTEES General Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Co-Chairs · Georgia Kapitsaki (University of Cyprus, Cyprus) · Eduardo Almeida (Federal University of Bahia, Brazil) Doctoral Consortium Chair · Maurizio Morisio (Politecnico di Torino, Italy) Workshops and Tutorials Chair · Tommi Mikkonen (Tampere University of Technology, Finland) Industry Fair/Tools Chair · Frederik Kramer (Otto-von-Guericke-Universitat Magdeburg, initOS, Germany) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBDb250cmlidXRpb25zCTI0CUFkZHJlc3Nlcwk5MTI0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficsr2016%2Fpco.html To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFNlY29uZCBDb21iaW5lZCBDYWxsIGZvciBDb250cmlidXRpb25zCTI0CUFkZHJlc3NlcwktLQk5MTI0CXVuc3Vic2NyaWJlCW5vCW5v -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Tue Nov 3 16:33:50 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 3 Nov 2015 17:33:50 +0200 Subject: The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016): First Call for Papers Message-ID: *** First Call for Papers *** The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016) September 12-14, 2016, Lordos Beach Hotel, Larnaca, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgU29mdHdhcmUgTWV0aG9kb2xvZ2llcywgVG9vbHMgYW5kIFRlY2huaXF1ZXMgKFNvTWVUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjUJQWRkcmVzc2VzCTkwOTIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fsomet2016%2F The SoMeT conference series highlights and reflects the state-of-art and new trends on software methodologies, tools and techniques. The conference is focused on exploring innovations, controversies, and challenges facing the Software Engineering community today. The conference brings together theory and experience to propose and evaluate solutions to Software Engineering problems. The conference also provides a forum and an opportunity to assess the current state-of-the-art in Intelligent Software techniques and to chart software science initiated from experience to theory. This event is an opportunity for us in the software science community to think about where we are and today and where we are going. You are invited to participate in SoMeT 2016 to help build a forum for exchanging ideas and experiences to foster new directions in software development methodologies and related tools and techniques. The conference is focused on, but not limited to the following areas: · Modeling and Simulation in Operations Management · Software application in Logistics and Supply Chain Management · Requirement engineering, especially for high-assurance system, and requirement elicitation · Software methodologies and tools for robust, reliable, non-fragile software design · Software development techniques for legacy systems · Automatic software generation versus reuse, and legacy systems, source code analysis and manipulation · Software quality and process assessment for business enterprise models · Intelligent software systems design, and software evolution techniques · Agile Software and Lean Methods · Software optimization and formal methods for software design · Static, dynamic analysis of software performance model, software maintenance, and program understanding and visualization · Software security tools and techniques, and related Software Engineering models · End-user programming environment, User-centered Adoption-Centric Reengineering techniques · Ontology engineering, semantic web · Software design through interaction, and precognitive software techniques for interactive software entertainment applications · Business oriented software application models · Software Engineering models, and formal techniques for software representation, software testing and validation · End-user programming environment, User-centered and Adoption-Centric models Reengineering techniques · Artificial Intelligence Techniques on Software Engineering, and Requirement Engineering · Object-oriented, aspect-oriented, component-based and generic programming, multi-agent technology · Creativity and art in software design principles · Axiomatic based principles on software design · Agile Software and Lean Methods · Model Driven Development (DVD), code centric to model centric software engineering · New aspects on digital libraries, collections and archives, Web publishing, and Knowledge-based engineering · Medical Informatics and bioinformatics, Software methods and application for biomedicine and bioinformatics · Emergency Management Informatics, software methods and application for supporting Civil Protection, First Response and Disaster Recovery · Other software engineering disciplines Paper Submission Papers must be submitted via the Electronic Submission Tool available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgU29mdHdhcmUgTWV0aG9kb2xvZ2llcywgVG9vbHMgYW5kIFRlY2huaXF1ZXMgKFNvTWVUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjUJQWRkcmVzc2VzCTkwOTIJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fcmt.research.microsoft.com%2FSOMET2016%2FDefault.aspx The submissions must not exceed 12 A4 pages and should follow the Springer guidelines available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgU29mdHdhcmUgTWV0aG9kb2xvZ2llcywgVG9vbHMgYW5kIFRlY2huaXF1ZXMgKFNvTWVUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjUJQWRkcmVzc2VzCTkwOTIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-6-793341-0 Accepted papers will be based on originality of work, suitability of the topic to the conference, and overall quality of submission. The proceedings of the conference will be published by Springer Communications in Computer and Information Science (CCIS) (), and be available at the conference. CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for the inclusion in ISI Proceedings. Furthermore, the authors of selected accepted papers will be invited to submit journal extended versions to a special issue of the international journal Knowledge-Based Systems, published by Elsevier (http://www.journals.elsevier.com/knowledge-based-systems/). Important Dates · Submission of papers: March 25, 2016 · Notification of acceptance/rejection: May 10, 2016 · Camera-Ready submission: June 10, 2016 · Author registration: June 1, 2016 Committees Honorary Chairs · Dave Parnas, Mc Master University, Canada · Colette Rolland, Paris_1 University, France · Imre J. Rudas, O'buda University, Hungary · Enrique Herrera Viedma, Granada University, Spain General Chair · Hamido Fujita, Iwate Prefectural University, Japan Program Chairs · George Angelos Papapdopoulos, University of Cyprus, Cyprus · Gajo Petrovic, Iwate Prefectural University, Japan Organizing Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus · Petros Stratis, Easy Conferences Ltd., Cyprus Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgU29mdHdhcmUgTWV0aG9kb2xvZ2llcywgVG9vbHMgYW5kIFRlY2huaXF1ZXMgKFNvTWVUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjUJQWRkcmVzc2VzCTkwOTIJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fsomet2016%2Fcommittees.html To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWxsaWdlbnQgU29mdHdhcmUgTWV0aG9kb2xvZ2llcywgVG9vbHMgYW5kIFRlY2huaXF1ZXMgKFNvTWVUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjUJQWRkcmVzc2VzCS0tCTkwOTIJdW5zdWJzY3JpYmUJbm8Jbm8= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From manuel.hermenegildo at imdea.org Tue Nov 3 21:03:35 2015 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Tue, 3 Nov 2015 21:03:35 +0100 Subject: CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline* Message-ID: <22073.4887.280216.930448@dhcp-17-8.imdea> [ Please forward. Apologies for any duplicates. ] ********************************************************************** CALL FOR PAPERS 25th International Conference on Compiler Construction (CC 2016) March 17-18 2016, Barcelona, Spain Co-located with CGO, HPCA, PPoPP, and EuroLLVM http://cc2016.eew.technion.ac.il/ ********************************************************************** Important dates --------------- Abstracts due: 23 November 2015 (updated) Papers due: 30 November 2015 (updated) Author notification: 27 January 2016 Camera ready versions: 10 February 2016 Conference: 17-18 March 2016 Information ----------- The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. Original contributions are solicited on the topics of interest which include, but are not limited to: - Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation and optimization; - Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation; - Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers; - Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; - Design and implementation of novel language constructs and programming models. CC 2016 is the 25th edition of the conference. It will be co-located with CGO, HPCA, PPoPP, and EuroLLVM on March 17-18 2016, in Barcelona, Spain. Submission ---------- Papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=cc2016. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format (http://www.sigplan.org/Resources/Author/, using the default 9pt font size). The proceedings will be published in the ACM Digital Library and will be made available freely for the period around the conference. Both regular papers (up to 11 pages) and tool papers (up to 2 + 3 pages), are invited. In tool papers the first part (2 pages) should describe the tool and the second (3 pages) explain the contents of the demo that will be presented with examples and screenshots. Submissions must adhere strictly to the page limits, including bibliography, figures, or appendices. Submissions that are clearly too long may be rejected immediately. Additional material intended for reviewers but not for publication in the final version ( listings, data, proofs) may be included in a clearly marked appendix. Submitted papers must be unpublished and not be submitted for publication elsewhere. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Organizers ---------- General Chair Ayal Zaks Intel and Technion, Israel Program Committee Chair Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid, Spain Program Committee Raj Barik, Intel Labs, Santa Clara, CA Uday Bondhugula, IIS Bangalore Matthew Flatt U. of Utah Maria Garzaran, U. of Illinois UC and Intel Laurie Hendren, McGill U. Manuel Hermenegildo, IMDEA and T.U. Madrid Xavier Leroy, INRIA Ondrej Lhotak, U of Waterloo Francesco Logozzo, Facebook Antoine Mine, Ecole Normale Superieure, Paris Jose Morales, IMDEA SW Diego Novillo, Google Jens Palsberg, UCLA Xipeng Shen, North Carolina State University Vijay Sundaresan, IBM Walid Taha, Halmstadt U. Zheng Wang, Lancaster U. Steering Committee Koen De Bosschere, Ghent U. Bjoern Franke, U. of Edinburgh Michael O'Boyle, U. of Edinburgh Albert Cohen, INRIA Web site http://cc2016.eew.technion.ac.il/ From mpavone at dmi.unict.it Wed Nov 4 11:36:55 2015 From: mpavone at dmi.unict.it (Mario Pavone) Date: Wed, 04 Nov 2015 11:36:55 +0100 Subject: CfP HM 2016 - 10th International Workshop on Hybrid Metaheuristics, 8-10 June 2016, Plymouth, UK Message-ID: <20151104113655.Horde.CRE1LOph4B9WOd-HF-gRsUA@mbox.dmi.unict.it> CALL FOR PAPERS ** Apologies for cross-posting ** ** Please forward to anybody who might be interested. ** HM 2016 - 10th International Workshop on Hybrid Metaheuristics June 8-10, 2016 - Plymouth, United Kingdom http://www.dmi.unict.it/hm2016/ https://easychair.org/conferences/?conf=hm2016 hm2016 at dmi.unict.it *** You are invited to submit papers to this exciting event! *** **** SUBMISSION DEADLINE: 18th January 2016 http://www.dmi.unict.it/hm2016/dates.html ** General Information ** The HM Workshops are intended to be an international forum for researchers in the area of design, analysis, and experimental evaluation of metaheuristics. Metaheuristics, such as simulated annealing, evolutionary algorithms, tabu search, ant colony optimization, scatter search and iterated local search, are considered state-of-the-art methods for many problems. In recent years, however, it has become evident that the concentration on a sole metaheuristic is rather restrictive. A skilled combination of concepts from different optimization techniques can provide a more efficient behavior and a higher flexibility when dealing with real-world and large-scale problems. Hybrid Metaheuristics are such techniques for optimization that combine different metaheuristics or integrate AI/OR techniques into metaheuristics. HM 2016 is organized as a non-profit event. ** Plenary Speakers ** http://www.dmi.unict.it/hm2016/plenary-speakers.html Carlos A. Coello Coello, CINVESTAV, Mexico ?Evolutionary Multi-Objective Optimization using Hybrid Approaches? Jin-Kao Hao, University of Angers, France ?Hybrid Methods for some Knapsack Problems: lessons learnt? More plenary speakers will be announced! ** Paper Submission ** http://www.dmi.unict.it/hm2016/call.html Authors are encouraged to submit novel and unpublished original contributions in one of the topics of the Workshop, and explain how their work sheds light on the fundamental properties of hybrid metaheuristics field, and makes progress on the important open questions. Please prepare your paper in English using the Lecture Notes in Computer Science (LNCS) template. HM 2016 includes two different types of submission: 1) *regular paper*: 15 pages maximum length in Springer LNCS format, including figures, table & references, and should report on new and unpublished work; 2) *work for oral or poster presentation only* (no page restriction; any format): It should discuss works in progress; new research ideas; works previously published elsewhere (it is essential that a reference to the previous article is clearly cited); and all that may be relevant and fruitful for soliciting discussions at the workshop. All submissions will be subject to peer review by the program committee, and all accepted submissions are allocated either an oral presentation slot or a poster slot with no distinction being made between the submission options. ** Important Dates ** - Paper submission deadline: January 18th, 2016 - Paper Notification: February 18th, 2016 - Camer-ready papers deadline: March 18th, 2016 - Early registration: March 18th, 2016 ** Proceedings ** All accepted *regular* papers will be published in a volume of the series on LNCS - Lecture Notes in Computer Science - from Springer. All the other kind of submissions (short papers, abstract of the oral presentations, poster presentations) will be published in an electronic book on the HM 2016 web site. Significantly extended versions of selected papers from the LNCS proceedings of HM 2016 will be considered for a special issue of an indexed international journal (TBA). ** Special Sessions ** ?Hybrid Metaheuristics for Bioinformatics? organizers: Laetitia Jourdan and Julia Handl ?Hybrid Metaheuristics for Dynamic Environments? organizers: Amir Nakib and Mario Pavone more special sessions will be announced! http://www.dmi.unict.it/hm2016/special-sessions.html ** Program Committee ** http://www.dmi.unict.it/hm2016/committee.html ** Organizing Team ** - General Chairs: Angelo Cangelosi & Vincenzo Cutello - Program Chairs: Christian Blum, Mario Pavone & El-Ghazali Talbi - Publication Chair: Maria J. Blesa - Local Chair: Alessandro Di Nuovo ----- http://www.dmi.unict.it/hm2016/ hm2016 at dmi.unict.it Looking forward to welcoming you to Plymouth in June 2016. The HM 2016 organizing team! -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================================== HM 2016 - 10th International Workshop on Hybrid Metaheuristics June 8-10, 2016 - Plymouth, UK http://www.dmi.unict.it/hm2016/ =========================================================================== SSBSS - International Synthetic & Systems Biology Summer School * Biology meets Engineering and Computer Science * =========================================================================== ICSI^3 - International Congress on Systems Immunology & ImmunoInformatics * Immunology without Borders * =========================================================================== 12th European Conference on Artificial Life - ECAL 2013 http://mitpress.mit.edu/books/advances-artificial-life-ecal-2013 =========================================================================== From alexander.romanovsky at newcastle.ac.uk Thu Nov 5 20:15:37 2015 From: alexander.romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Thu, 5 Nov 2015 19:15:37 +0000 Subject: CfP: Reliability, safety and security of railway systems - Int. Conference Message-ID: <070D366E-E73E-4B61-A7D0-78CFEE283C4E@newcastle.ac.uk> International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification - RSSR 2016 June 28-30, 2016, Paris, France http://conferences.ncl.ac.uk/rssrail/ Call for Papers The railway industry is facing an increasing pressure to improve system safety, to decrease the production cost and time to market, to reduce the carbon emission and running cost, and to improve the system capacity. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help argue that the development processes are meeting the standards. This conference will contribute to a range of key objectives. Thus, there is a pressing demand to bring together researchers and developers working on railway system reliability, security and safety to discuss how these requirements can be met in an integrated way. It is also vital to ensure that all advances in research (in both academia and industry) are driven by the real industrial needs. This will help ensure that such advances are followed by industrial deployment. Another particularly important objective is to integrate advances in research into the current development processes, and make them usable and scalable. Finally, a key goal is developing advanced methods and tools that would ensure that the systems meet the requirements imposed by the standards and in building the arguments. Development of complex railway systems of the future requires integrated environments and methods that support different abstraction levels and different views, including systems architecture, safety analysis, security analysis, verification tools and methods. The conference aims to bring together researchers and engineers interested in building critical railway applications and systems. This will be a working conference in which research advances will be discussed and evaluated by both researchers and engineers focusing on their potential to be deployed in industrial settings. The topics of particular interest include * Safety in development processes and safety management * Combined approaches to safety and security * System and software safety analysis * Formal modelling and verification techniques * System reliability * Validation according to the standards * Safety and security argumentation * Fault and intrusion modelling and analysis * Evaluation of system capacity, energy consumption, cost and their interplay * Tool and model integration, toolchains * Domain-specific languages and modelling frameworks * Model reuse for reliability, safety and security We are interested in the submissions of three types: * Research papers * Industrial experience reports * PhD student papers. The conference submission site is https://easychair.org/conferences/?conf=rssr2016 The research papers will be no more than 16 pages long, the industrial experience reports and the PhD student papers – no more than 10 pages long. The submissions will be formatted in the Springer LNCS format (see www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The conference proceedings will be published by Springer (under discussion). The important dates: - January 20, 2016 - submission deadline - February 22, 2016 - notification - March 25, 2016 - camera-read papers submitted to the publisher - June 28-30, 2016 - conference Conference Chairs: Thierry Lecomte, ClearSy, France Ralf Pinger, Siemens Rail Automation, Germany Alexander Romanovsky, Newcastle University, UK PC members: Mark Behrens, DLR, Germany Andrea Bondavalli, University of Firenze, Italy David Bonvoisin, RATP, France Stephane Callet, SNCF, France Simon Collart-Dutilleul, IFFSTAR, France Veronique Delebarre, SafeRiver, France Alessandro Fantechi, University of Firenze, Italy Francesco Flammini, Ansaldo STS, Italy Wan Fokkink, Vrije University, Netherlands Stefania Gnesi, ISTI, Italy Michael Jastram, Formal Mind, Germany Alexei Iliasov, Newcastle University, UK Tim Kelly, University of York, UK Hironobu Kuruma, Hitachi, Japan Michael Leuschel, Dusseldorf University, Germany Tom Maibaum, McMaster University, Canada Jean Marc Mota, Thales R&T, France Odd Nordland, SINTEF, Norway Yiannis Papadopoulos, Hull University, UK Andras Pataricza, BUTE University, Hungary Peter Popov, City University, UK Etienne Prun, ClearSy, France Joris Rehm, ClearSy, France Aryldo Russo, CERTIFER, France Kenji Taguchi, AIST, Japan Ina Schaefer, TU Braunschweig, Germany Reiner Schmid, Siemens CT Munich, Germany Walter Schon, University of Technology Compiegne, France Laurent Voisin, Systerel, France Kirsten Winter, University of Queensland, Australia Conference Organisation and Financial Chair: Joan Atkinson, Newcastle University, UK (joan.atkinson at newcastle.ac.uk) Web site design: Wayne Smith, Newcastle University, UK The conference venue: Espace du Centenaire, Maison de la RATP, Paris -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.bikakis at ucl.ac.uk Thu Nov 5 21:59:29 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Thu, 5 Nov 2015 20:59:29 +0000 Subject: SETN 2016 2nd CfP (Deadline: 30/11) Message-ID: ** SETN 2016 2nd 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. == NEWS == * NECTAR Session for papers already accepted in well established AI conferences * Best Paper Award and Best Student Paper Award == 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 == All paper submissions (except for NECTAR papers) will be handled electronically via the EasyChair Conference management system at the following address: https://easychair.org/conferences/?conf=setn2016 Submission of NECTAR papers is possible via email to the Program Committee Chairs until 28/2/2016 (note that the deadline for original papers does not apply to NECTAR ones). The papers that are eligible for presentation in the NECTAR session are those that were presented (or accepted for presentation) in distinguished AI conferences from 1/1/2014 until the deadline for NECTAR paper submission. In the email please include details concerning the conference where the paper was originally presented. The proceedings of the conference (except for the NECTAR session) 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. The submitted papers will be peer-reviewed on the basis of technical quality, relevance to AI, originality, significance, and clarity. Note that submitted papers (except for NECTAR 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 original 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 NECTAR 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 ( nbassili at csd.auth.gr) Antonis Bikakis, University College London, UK (a.bikakis at ucl.ac.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: From geoff at cs.miami.edu Fri Nov 6 14:00:47 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 6 Nov 2015 08:00:47 -0500 (EST) Subject: LPAR-20 in Fiji - Register now Message-ID: <20151106130047.C747A121554@mcclellan.cs.miami.edu> =============================================================================== The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Suva, Fiji, 23rd-28th November 2015 www.LPAR-20.info CALL FOR PARTICIPATION Registration for LPAR-20 is still open ... follow the link from the conference web page. Information about travel to Fiji, and accomodation in Suva, is also available on the web page. Come join us for the focussed workshops, the high quality conference, and the renowned LPAR social events. =============================================================================== From grlmc at grlmc.com Fri Nov 6 20:37:58 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 06 Nov 2015 20:37:58 +0100 Subject: SLSP 2015: call for participation 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/ ********************************************************************************** PROGRAM Tuesday, November 24 08:15 - 08:45 Registration 08:45 - 09:00 Opening 09:00 - 09:50 Xavier Carreras: Low-rank Matrix Learning for Compositional Objects, Strings and Trees - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Khan Baykaner, Mark Huckvale, Iya Whiteley, Oleg Ryumin and Svetlana Andreeva: The Prediction of Fatigue Using Speech as a Biosignal Tamás Gábor Csapó, Géza Németh and Milos Cernak: Residual-based Excitation with Continuous F0 Modeling in HMM-based Speech Synthesis Marc Evrard, Albert Rilliard and Christophe d'Alessandro: Evaluation of the Impact of Corpus Phonetic Alignment on the HMM-Based Speech Synthesis Quality 11:35 - 11:50 Break 11:50 - 12:40 Sahar Ghannay, Yannick Estève, Nathalie Camelin, Camille Dutrey, Fabian Santiago and Martine Adda-Decker: Combining Continuous Word Representation and Prosodic Features for ASR Error Prediction Mark Huckvale and Aimee Webb: A Comparison of Human and Machine Estimation of Speaker Age 12:40 - 14:10 Lunch 14:10 - 15:25 Luis Chiruzzo and Dina Wonsever: Supertagging for a Statistical HPSG Parser for Spanish Mathilde Dargnat, Katarina Bartkova and Denis Jouvet: Discourse Particles in French: Prosodic Parameters Extraction and Analysis Julia Efremova, Alejandro Montes García, Jianpeng Zhang and Toon Calders: Effects of Evolutionary Linguistics in Text Classification 15:25 - 15:40 Break 15:40 - 16:55 Fatemeh Ghiyafeh Davoodi and Yllias Chali: Semi-Extractive Multi-Document Summarization via Submodular Functions Pavel Král, Ladislav Lenc and Christophe Cerisara: Semantic Features for Dialogue Act Recognition André Mansikkaniemi and Mikko Kurimo: Unsupervised and User Feedback Based Lexicon Adaptation for Foreign Names and Acronyms Wednesday, November 25 09:00 - 09:50 Sebastian Riedel: Towards Two-way Interaction with Reading Machines - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Denis Jouvet and Katarina Bartkova: Acoustical Frame Rate and Pronunciation Variant Statistics Tatiana Kachkovskaia: The Influence of Boundary Depth on Phrase-final Lengthening in Russian Ferenc Kazinczi, Krisztina Mészáros and Klára Vicsi: Automatic Detection of Voice Disorders 11:35 - 11:50 Break and Group Photo 11:50 - 12:40 Rasa Lileikyte, Lori Lamel and Jean-Luc Gauvain: Conversational Telephone Speech Recognition for Lithuanian Erfan Loweimi, Mortaza Doulaty, Jon Barker and Thomas Hain: Long-term Statistical Feature Extraction from Speech Signal and its Application in Emotion Recognition 12:40 - 14:10 Lunch 14:10 - 15:25 Lorenzo Ferrone, Fabio Massimo Zanzotto and Xavier Carreras: Decoding Distributed Tree Structures Luiza Orosanu and Denis Jouvet: Combining Lexical and Prosodic Features for Automatic Detection of Sentence Modality in French Konstantinos Pechlivanis and Stasinos Konstantopoulos: Corpus Based Methods for Learning Models of Metaphor in Modern Greek 15:25 - 15:40 Break 15:40 - 16:30 Lina Maria Rojas-Barahona and Christophe Cerisara: Weakly Supervised Discriminative Training of Linear Models for Natural Language Processing Daniel Soutner and Ludek Müller: On Continuous Space Word Representations as Input of LSTM Language Model 16:30 - 18:30 Touristic visit Thursday, November 26 09:00 - 09:50 Steve Young: Open-domain Statistical Spoken Dialogue Systems - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Bogdan Ludusan, Antonio Origlia and Emmanuel Dupoux: Rhythm-Based Syllabic Stress Learning without Labelled Data Raheel Qader, Gwénolé Lecorvé, Damien Lolive and Pascale Sébillot: Probabilistic Speaker Pronunciation Adaptation for Spontaneous Speech Synthesis Using Linguistic Features Sarah Samson Juan, Laurent Besacier, Benjamin Lecouteux and Tien-Ping Tan: Merging of Native and Non-native Speech for Low-resource Accented ASR 11:35 - 11:50 Break 11:50 - 12:40 Jan Zelinka, Jan Vanek and Ludek Müller: Neural-Network-based Spectrum Processing for Speech Recognition and Speaker Verification Xiaoyi Wu, Yuji Matsumoto, Kevin Duh and Hiroyuki Shindo: An Improved Hierarchical Word Sequence Language Model Using Word Association 12:40 - 12:55 Closing -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From feeds at sentic.net Sat Nov 7 04:00:36 2015 From: feeds at sentic.net (feeds) Date: Fri, 6 Nov 2015 22:00:36 -0500 (EST) Subject: [SenticNet] Deadline Extension: IEEE CIM Special Issue on Computational Intelligence for Big Social Data Analysis Message-ID: <651928085.162057.1446865236501.JavaMail.open-xchange@bosoxweb01.eigbox.net> Apologies for cross-posting, The deadline for the special issue of the IEEE Computational Intelligence Magazine (IEEE CIM) dedicated to Computational Intelligence for Big Social Data Analysis has been extended to 30th November. For more information, please visit http://sentic.net/ci4bigdata RATIONALE In the era of social connectedness, Web users are becoming increasingly enthusiastic about interacting, sharing, and collaborating through online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today’s Web are perfectly suitable for human consumption, but remain hardly accessible to machines. Big social data analysis grows out of this need and combines disciplines such as social network analysis, multimedia management, social media analytics, trend discovery, and opinion mining. For example, studying the evolution of a social network merely as a graph is very limiting as it does not take into account the information flowing between network nodes. Similarly, processing social interaction contents between network members without taking into account connections between these is limited by the fact that information flows cannot be properly weighted. Big social data analysis, instead, aims to study large-scale Web phenomena such as social networks from a holistic point of view, i.e., by concurrently taking into account all the socio-technical aspects involved in their dynamic evolution. Hence, big social data analysis is inherently interdisciplinary and spans areas such as machine learning, graph mining, information retrieval, knowledge-based systems, linguistics, common-sense reasoning, natural language processing, and big data computing. Besides these areas, the Special Issue also aims to cover application domains of big social data analysis, e.g., stock market prediction, political forecasting, time-evolving opinion mining, social network analysis, cyber-issue detection, customer experience management, computer mediated human-human communication, personalization and persuasion, human-agent, -computer and -robot interaction, intelligent user interfaces, and social media marketing. TOPICS Big social data is high volume, high velocity, and high variety information assets that require new forms of processing to enable enhanced sentiment analysis, trend discovery and marketing prediction. The main motivation for this Special Issue is to explore how computational intelligence can help process such assets and, hence, enable a more efficient passage from (unstructured) social information to (structured) machine-processable data, in potentially any domain. Topics include, but are not limited to: • Computational Intelligence for opinion mining • Computational Intelligence for social network analysis • Computational Intelligence for explicit and latent semantic analysis of big social data • Computational Intelligence for big social knowledge construction and integration • Computational Intelligence for transfer learning of big social data • Computational Intelligence for time-evolving social data analysis • Computational Intelligence for recommendation across heterogeneous social data • Computational Intelligence for corpora and resources for big social data analysis • Computational Intelligence for social language normalization • Computational Intelligence for multi-modal sentiment analysis • Computational Intelligence for multi-domain and cross-domain evaluation • Computational Intelligence for multi-lingual sentiment analysis SUBMISSION PROCESS The paper length for the manuscript is typically 20 pages in a single-column double-space format including tables, figures and references (10 pages in a two-column single-space format). Authors of papers should specify in the first page of their manuscripts the corresponding author’s contact and up to 5 keywords. Submission should be made via EasyChair (http://easychair.org/conferences/?conf=ci4bigdata). TIMEFRAME 30th November, 2015: Submission of Manuscripts 15th January, 2016: Notification of Review Results 15th February, 2016: Submission of Revised Manuscripts 15th March, 2016: Submission of Final Manuscripts August 2016: Publication GUEST EDITORS • Erik Cambria, Nanyang Technological University (Singapore) • Newton Howard, MIT Media Lab (USA) • Yunqing Xia, Tsinghua University (China) • Tat-Seng Chua, NUS (Singapore) From grlmc at grlmc.com Sat Nov 7 17:22:07 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 07 Nov 2015 17:22:07 +0100 Subject: BigDat 2016: early registration deadline 15 November Message-ID: <9fed6a0badbe949daf3974aa924c1b15@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: November 15, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data and Structural Biology and Chemistry Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Fuli Yu (Baylor College of Medicine), [introductory/intermediate] Overview of Large-scale Genomics and Variant Analysis Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i VirgiliUniversity -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.amigoni at polimi.it Sat Nov 7 18:45:29 2015 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Sat, 7 Nov 2015 17:45:29 +0000 Subject: Robotics Track at AAMAS 2016: Final Call for Papers Message-ID: (Apologies for cross-postings.) ********************************************************************************************************************** Call for Papers ***Robotics Track*** at 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) 9-13th of May, 2016, Singapore Grand Copthorne Waterfront Hotel http://sis.smu.edu.sg/aamas2016 ********************************************************************************************************************** Important Dates --------------- Abstract Submission: 13th of November, 2015 (23:59 UTC-12) Full Paper Submission: 17th of November, 2015 (23:59 UTC-12) Rebuttal Phase: 11-12th of January, 2016 (23:59 UTC-12) Author Notification: 26th of January, 2016 AAMAS 2016 Robotics Track ----------- AAMAS 2016 Robotics Track solicits papers that advance theory and applications of single and multiple robots, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. Topics of Interest ------------------ Topics of interest include (but are not limited to) the following: - Bioinspired robots, swarms, and collective behaviours - Distributed robotics, networked robot/sensor systems, and cloud robotics - Human-robot interaction, communication, and teamwork - Machine learning for robotics - Mapping, localization, and exploration - Robot planning (including action selection, motion and path planning and manipulation) - Robot teams, multi-robot systems, robot coordination - Robotic agent languages, middleware, and formal methods for robot systems - Robots in applications (including field robotics, personal/service robots) Information for Authors ----------------------- Submissions to the Robotics Track will follow AAMAS procedures and will be rigorously peer reviewed and evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. Submissions are limited to 8 pages in length, with a 9th page being allowed *provided it only contains bibliographic references*. Reviews will be double blind; authors must avoid including anything in their papers that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8-page) papers must be submitted for the review process to begin. All work must be original, i.e., it must not have appeared in a conference proceedings, book, or journal and may not be under review for another archival conference. The review process for the special tracks will be the same as for the main track, but with programme committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. Robotics Track Chairs ----------------- Francesco Amigoni (Politecnico di Milano, Italy) Roderich Gross (University of Sheffield, UK) About AAMAS ----------- AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. General Information ------------------- All full papers accepted to the main track and the special tracks will be presented in parallel technical sessions. All the papers will be published in the conference Proceedings and will be permanently available after the conference at . In addition, AAMAS 2016 will include: * Workshops * Demonstrations * Posters presentations for full papers and extended abstracts * Invited talks and panel discussions The submission processes for the workshops and demonstrations are separate from the main paper submission process. Relevant information will be posted on the relevant pages. Policies -------- Policy on multiple and previous submissions. Authors may not submit any paper to AAMAS 2016 that has already appeared in an archival forum. Authors must ensure that no submission to AAMAS 2016 is under review for another archival forum between the AAMAS 2016 submission and decision dates. Policy on harassment at the conference environment. IFAAMAS is committed to organising the AAMAS conference and its affiliated events in an environment that is free of harassment for everyone involved: delegates, organisers, conference workers, and reviewers. All participants in IFAAMAS events are asked to embrace our intention to foster a harassment-free scientific community, and to understand that IFAAMAS will respond appropriately to incidents of harassment if they occur. The complete IFAAMAS harassment policy is available in the AAMAS 2016 website. For further details about AAMAS 2016, please visit the website at or contacpcchair-aamas2016 at gmail.com --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- From ijv at acm.org Sat Nov 7 22:58:04 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 7 Nov 2015 19:58:04 -0200 Subject: KR 2016 Doctoral Consortium Message-ID: <1DBDBCFF-553D-46A0-8672-724C803584C6@acm.org> KR 2016 DOCTORAL CONSORTIUM Call for Applications Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program that introduces students to senior researchers with similar research interests. The aims of the consortium are: - to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic, research and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. 2) STUDENT SPONSORSHIPS Thanks to the generous support of our sponsors, KR will provide registration and accommodation for selected students. We expect to be able to provide support for all Doctoral Consortium participants that volunteer to help with local organization. Additionally, there is dedicated NSF funding to help cover the travel costs of Doctoral Consortium participants from US universities. More details on student support can be found on the KR website. 3) APPLICATION SUBMISSION Applications must be submitted by email to the following address: kr2016dc at gmail.com Each application must contain the following materials: - Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). - Curriculum Vitae. A description of your background and relevant experience (research, education, employment). - Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. - Indication of whether you request a sponsored studentship, and if so, whether you volunteer to help with local organization during KR, DL, and NMR. Optionally, you can suggest 3-5 potential mentors with similar research interests as you, who could give you good advice on technical aspects of your work, and/or your career. The most preferred way of submission is to combine the thesis summary and the letter of recommendation (and, optionally, the list of suggested mentors) into a single PDF document. If you cannot do that, archive the documents into a single zip file. 4) IMPORTANT DATES - 21 December 2015: Deadline for application - 15 January 2015: Acceptance notification - 25-29 April 2015: Doctoral consortium For further information, please contact the Doctoral Consortium chairs: Meghyn Bienvenu, CNRS (meghyn.bienvenu at lirmm.fr) Joohyung Lee, Arizona State University (joolee at asu.edu) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From feeds at sentic.net Sun Nov 8 13:42:30 2015 From: feeds at sentic.net (feeds) Date: Sun, 8 Nov 2015 07:42:30 -0500 (EST) Subject: [SenticNet] Deadline extension to 6th December for the AAAI FLAIRS Special Track on AI4BigData Message-ID: <99312209.10301.1446986550780.JavaMail.open-xchange@bosoxweb03.eigbox.net> Apologies for cross-posting, Deadline extended to 6th December for AI4BigData'16 the AAAI FLAIRS Special Track to be held at Key Largo on 16th May 2016. For more information, please visit: http://sentic.net/ai4bigdata RATIONALE As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming increasingly enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Social Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. The main aim of AI4BigData is to explore the new frontiers of big data computing for opinion mining and sentiment analysis through machine learning techniques, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web. TOPICS The special track aims to provide an international forum for researchers in the field of big data computing for opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of AI4BigData comprehends AI, information retrieval, natural language processing, and web mining. Topics of interest include but are not limited to: • Machine learning for sentiment mining • Concept-level sentiment analysis • Biologically-inspired opinion mining • Sentiment identification & classification • Association rule learning for opinion mining • Time evolving opinion & sentiment analysis • Multi-modal sentiment analysis • Multi-domain & cross-domain evaluation • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment topic detection & trend discovery • Social ranking • Social network analysis • Human computation • Opinion spam detection The special track also welcomes papers on specific application domains of knowledge-based systems for big data analysis, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, and art. TIMEFRAME December 6th, 2015: Paper submission deadline January 18th, 2016: Notification of paper acceptance February 22nd, 2016: Camera-ready of accepted papers May 17th, 2016: Special track date SUBMISSION AND PROCEEDINGS Submitted papers must be original, and not submitted concurrently to a journal or another conference. Double-blind reviewing will be provided, so submitted papers must use fake author names and affiliations. Papers must use the latest AAAI Press template, and must be submitted as PDF through EasyChair. There are three kinds of submissions: full papers (up to 6 pages), short papers (up to 4 pages), and poster abstracts (up to 250 words). Acceptance as a full paper entails a 20 minute presentation during a regular session, while short papers and abstracts will be required to participate in the poster session. Rejected full papers may still be accepted as short papers or poster abstracts. Selected, expanded versions of Special Track papers will be published in a follow-on Special Issue of Springer's Cognitive Computation journal. ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Viviana Patti, University of Turin (Italy) • Amir Hussain, University of Stirling (UK) • Newton Howard, MIT Media Laboratory (USA) From missura.olana at gmail.com Mon Nov 9 17:04:42 2015 From: missura.olana at gmail.com (Olana Missura) Date: Mon, 9 Nov 2015 11:04:42 -0500 Subject: Journal track submission for ECML-PKDD 2016 is *open now* Message-ID: The journal track submission for ECML-PKDD 2016 is open now. The journal track allows continuous submissions from the end of September 2015 to March 2016. There are two cutoffs per month on which we distribute papers to reviewers with the first one being the 27th of September 2015 and the last one being the 30th of March 2016. Details on the conference and the submission process are available at http://www.ecmlpkdd2016.org/submission.html Best regards, Olana Missura Publicity Chair of ECML-PKDD 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thomas.lukasiewicz at gmail.com Tue Nov 10 21:12:52 2015 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Tue, 10 Nov 2015 20:12:52 +0000 Subject: CfP: KI Journal Special Issue on "Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences" Message-ID: <56424FC4.9030305@cs.ox.ac.uk> CALL FOR PAPERS: ====================================================================================================================== KI Journal Special Issue on "Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences" http://www.kuenstliche-intelligenz.de/ GUEST EDITORS Gabriele Kern-Isberner (University of Technology Dortmund, Germany) Thomas Lukasiewicz (University of Oxford, UK) ---------------------------------------------------------------------------------------------------------------------- OVERVIEW Managing uncertainty, inconsistency, vagueness, and preferences has been extensively explored in Artificial Intelligence. During the recent years, especially with the emerging of smart services and devices, technologies for managing uncertainty, inconsistency, vagueness, and preferences to tackle the problems of dynamic, real-world scenarios have started to play a key role also in other areas, such as information systems and the (Social or Semantic) Web. These application areas have sparked another wave of strong interest into formalisms and logics for dealing with uncertainty, inconsistency, vagueness, and preferences. Important examples are fuzzy and probabilistic approaches for description logics, or rule systems for handling vagueness and uncertainty in the Semantic Web, or formalisms for handling user preferences in the context of ontological knowledge in the Social Semantic Web. While scalability of these approaches is an important issue to be addressed, also the need for combining various of these approaches with each other or more classical ways of reasoning have become obvious (hybrid reasoning under uncertainty). The aim of the special issue is to collect overview articles on important state-of-the-art formalisms and methodologies, as well as articles on emerging trends for the future. TOPICS Submissions are solicited in all areas of uncertainty, inconsistency, vagueness, and preferences handling, including (but not restricted to) the topics listed below: - logics of uncertain and vague reasoning, such as probability logic, possibilistic logic, and fuzzy logic - reasoning with inconsistent knowledge, paraconsistent logics - rough sets and similarity measures - formal models and semantics of uncertain data - spatio-temporal uncertainty management - uncertainty and inconsistency in the (Semantic) Web - changes and merging of ontologies - preference formalisms and user preferences - data sharing and uncertainty - recommender systems - connections to information retrieval, data mining, and machine learning - applications, in particular to mobile systems and social networks The special issue welcomes especially submissions that combine different approaches of uncertain reasoning, or that elaborate on connections of uncertain reasoning to other fields. SUBMISSION GUIDELINES Deadline for submissions: Dec 31, 2015 Submissions must be prepared in LaTeX using the KI style available at: http://www.kuenstliche-intelligenz.de/index.php?id=autorenhinweise 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://easychair.org/conferences/?conf=kiruivp16 From laurajones at knowalliance.org Wed Nov 11 13:13:48 2015 From: laurajones at knowalliance.org (Laura Jones) Date: Wed, 11 Nov 2015 12:13:48 +0000 Subject: Agents and Multi-agent Systems: Technologies & Applications - Call for Papers Message-ID: ========================================================= 10th International KES Conference on Agents and Multi-agent Systems: Technologies & Applications (AMSTA-16) Hotel Botanico & The Oriental Spa Garden, Puerto de la Cruz, Tenerife, Canary Islands, Spain on 15th-17th June 2016 http://amsta-16.kesinternational.org/ ========================================================= KES-AMSTA-2016 is an international scientific conference for discussing and publishing innovative research in the field of agent and multi-agent systems and technologies applicable in the Digital and Knowledge Economy. The aim of the conference is to provide an internationally respected forum for researchers and industrial practitioners to discuss their latest and planned future work, possible influence to current and future research and industrial communities and/or impact to our societies. Agents and multi-agent systems is a modern and promising software paradigm for constructing autonomous, complex and intelligent systems. Via our distinguishing keynote talks, oral and poster presentations, the conference will provide an excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. In addition, as a part of this conference, we invite multi-interdisciplinary researchers that contribute theories, technologies and applications in the new Digital and Knowledge Economy. The conference will be co-located under the KES Smart Digital Futures umbrella with our other Intelligent Systems conferences: IIMSS, IDT, SEEL and the newly added InMED (Innovation in Medicine and Healthcare).Registration gives access to all of these conferences, together with a paper published in one set of proceedings. The conference proceedings will be published by Springer as book chapters in a volume of the KES Smart Innovation Systems and Technologies series, submitted for indexing in Scopus and Thomson-Reuters Conference Proceedings Citation Index (CPCI) and the Web of Science. For more information, please see the Smart Digital Futures 2016 website: http://sdf-16.kesinternational.org/ for more information. =============== Conference Scope =============== Agent and Multi-agent Systems A software agent is a program which performs actions defined by the user. Multi-agent systems consist of autonomous and collaborative agents that have a particular degree of mobility and intelligence. It is intended to provide the researchers an opportunity to exchange ideas, knowledge, and experience, as well as to discuss current development and explore trends in agent systems. This call is addressed to scientists and engineers from academic or industrial environments, who design, develop and implement software agents in different areas and applications. New Digital and Knowledge Economy The modern economy is driven by technologies and knowledge. Digital technologies can free, shift and multiply choices, often intruding on the space of other industries, by providing new ways of conducting business operations and creating values for customers and companies. Examples of technologies are mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature inspired manufacturing, etc. We would therefore love to hear from both the research and industrial communities on their latest work on innovative technologies and applications that is potentially disruptive to industries. Furthermore, technologies need to work well with innovative business models to create wealth and welfare. In an attempt to bring the two communities together, we would therefore love to hear from business communities on their experiences of adopting technologies when creating new business models. Industrial Track The purpose of the Industrial Track is to promote research in our aforementioned topic areas and foster scientific exchange between researchers, practitioners, scientists, students, and engineers in multi-agent systems and disruptive technologies. We particularly recognise the importance of inter-disciplinary work to create today's Digital and Knowledge Economy. Standard length scientific papers, overview of research conducted in a company and short visionary paper and poster presentation are therefore most welcome. ============= Invited Sessions ============= An invited session consists of a presentation session of 6 to 12 or more papers on a specific conference topic, organised as half or full day mini-conference. We invite senior scientists who have a special interest in a specific conference topic to take responsibility for an invited session, gathering papers from a range of research expertise around the world. If you would like to arrange an Invited Session, please contact: admin at kesinternational.org Here is a list of the approved sessions so far: IS01: Business Process Management (BPM) IS02: Agent-Based Modeling And Simulation (ABMS) IS03: Anthropic Oriented Computing (AOC) IS04: LP:ABA - Learning Paradigms and Applications: Agent-based Approach For more details on these sessions please visit: http://amsta-16.kesinternational.org/cmsISdisplay.php ================ Dates and Deadlines ================ General Track Papers Submission Deadline: 18 January 2016 Notification of acceptance: 15 February 2016 Upload Final Publication Files: 7 March 2016 ========== Organisation ========== Honorary Chairs: I. Lovrek, University of Zagreb, Croatia L. C. Jain, University of South Australia General Co-Chairs: G. Jezic, University of Zagreb, Croatia J. Chen-Burger, The Heriot-Watt University, Scotland, UK Executive Chair: R.J. Howlett, University of Bournemouth, UK Programme Co-Chairs: M. Kusek, University of Zagreb, Croatia R. Sperka, Silesian University in Opava, Czech Republic Publicity Chair: P. Skocir, University of Zagreb, Croatia =================== Further Information =================== Please note that the above deadlines are provisional and subject to change. For further information on all the above, please visit the conference website at the top of the page. For general enquiries about the conference, please contact: admin at kesinternational.org For registration enquiries, please contact: registration at kesinternational.info You can follow us for updates on: Twitter: @KESIntl Facebook: https://www.facebook.com/KesInternational -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From david.obdrzalek at mff.cuni.cz Thu Nov 12 09:10:28 2015 From: david.obdrzalek at mff.cuni.cz (=?UTF-8?Q?David Obdrzalek?=) Date: Thu, 12 Nov 2015 09:10:28 +0100 Subject: =?UTF-8?Q?CFP FLAIRS 2016 Autonomous Robots and Agents Track?= Message-ID: LAST CALL FOR PAPERS Submissions next week! ========================= Autonomous Robots and Agents A Special Track at the 29th International FLAIRS Conference (FLAIRS 2016) May 16 - 18, 2016 Key Largo, Florida, USA Special Track website: http://ktiml.mff.cuni.cz/~bartak/FLAIRS2016/ Conference website: http://www.flairs-29.info/ ============== The Florida AI Research Society (FLAIRS) hosts the conference in cooperation with the American Association for Artificial Intelligence (AAAI) since 1988 so FLAIRS is one of the oldest AI conferences. The 29-th conference is organized at the Hilton Key Largo Resort, USA on May 16-18, 2016. The special conference track on Autonomous Robots and Agents welcomes papers from all areas bridging AI techniques and robotics applications. The goal of the track is bringing researchers for now diverted areas of robotics, intelligent agents, and artificial intelligence back together to work on novel integrated approaches for development of autonomous systems, both physical and virtual. The special track is aimed to AI researchers who apply their research results in real environments using real or virtual agents/robots and to robotics researchers who are enhancing capabilities of their robots by higher-level reasoning. Papers and contributions are encouraged for any work bridging the AI methods and robotics. ============== Topics include: * system architectures bridging sensory and action elements with reasoning capabilities * perception, processing and action: sensors, vision, motion systems * planning domain/world representation for real-life problems * automated extraction/acquisition of planning domain/world models * goal directed autonomy * motion, path, and action planning * planning and execution * robot control and behavior: localization, navigation, planning, simulation, visualization, virtual reality modeling * evolutionary and cognitive robotics * entertainment robotics * applications of autonomous intelligent robots: robots for exploration, service, hazardous environments, ... * intelligent virtual agents, autonomous characters, and computer games ============== Publication and Paper Submission: Interested authors should format their papers according to AAAI formatting guidelines (http://www.aaai.org/Publications/Templates/AuthorKit.zip). The papers should be original work, i.e. not accepted, in submission, or submitted to another conference while in review. Papers should not exceed 6 pages (4 pages for a poster). For FLAIRS-29 the reviewing is a double blind process. Fake author names and affiliations must be used on submitted papers to provide double-blind reviewing. Papers must be submitted as PDF through the EasyChair conference system (https://www.easychair.org/conferences/?conf=flairs29), which can be accessed through the main conference web site (http://www.flairs-29.info/). Authors should indicate the Autonomous Robots and Agents special track for submissions. The proceedings of FLAIRS will be published by the AAAI. Authors of accepted papers will be required to sign a form transferring copyright of their contribution to AAAI. FLAIRS requires that there be at least one full author registration per paper. ============== Important dates: * Paper submission deadline: November 16, 2015 * Notification of paper decisions: January 18, 2016 * Final version of papers due: February 22, 2016 ============== Track Organizers: Roman Bartak, Charles University in Prague, Czech Republic David Obdrzalek, Charles University in Prague, Czech Republic ============== Program Committee: Dimitris Alimisis, European Lab for Educational Technology - EDUMOTIVA, Greece Richard Balogh, Slovak University of Technology in Bratislava, Slovakia Sara Bernardini, King's College London, UK Branislav Borovac, University of Novi Sad, Serbia Jean-Daniel Dessimoz, West Switzerland University of Applied Sciences, (HESSO.heigvd), Switzerland Esra Erdem, Sabanci University, Turkey Tara Estlin, NASA JPL, USA Malik Ghallab, LAAS-CNRS, France Vaclav Hlavac, Czech Technical University, Czech Republic Sven Koenig, University of Southern California, USA Miroslav Kulich, Czech Technical University, Czech Republic Daniele Magazzeni, King's College London, UK Suruz Miah, Bradley University, USA Andrea Orlandini, ISTC-CNR, Italy Libor Preucil, Czech Technical University, Czech Republic Frederic Py, MBARI, USA Mark Roberts, Naval Research Laboratory, USA Martin Saska, Czech Technical University, Czech Republic Michael Zillich, Vienna University of Technology, Austria From invitation at iariainfo.org Thu Nov 12 13:50:12 2015 From: invitation at iariainfo.org (INTERNET 2016) Date: Thu, 12 Nov 2015 04:50:12 -0800 Subject: 1st CfP: INTERNET 2016 || November 13 - 17, 2016 - Barcelona, Spain Message-ID: <1447332612630.2030@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: - INTERNET 2016, The Eighth International Conference on Evolving Internet The submission deadline is June 27, 2016. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2016 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2016, The Eighth International Conference on Evolving Internet General page: http://www.iaria.org/conferences2016/INTERNET16.html Submission page: http://www.iaria.org/conferences2016/SubmitINTERNET16.html Event schedule: November 13 - 17, 2016 - Barcelona, Spain 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 27, 2016 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 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 comply with the editorial rules: http://www.iaria.org/editorialrules.html INTERNET 2016 Topics (for topics and submission details: see CfP on the site) Call for Papers: http://www.iaria.org/conferences2016/CfPINTERNET16.html ============================================================ Future Internet Architecture Architectures for the Internet of Things; Web of Things; Web of Things and Semantic; Internet of Things and Clouds internetworking; Network media, content and service orientation; Embedded Web Services (CoAP / Lightweight SOAP); Mobility and Future Internet; Pervasive Internet of Things; User-oriented, context-aware Internet of Things services; Location and discovery of things on the Internet; Crowd-sourcing and things; Trust, security and privacy in Internet of Things; Lightweight implementations of cryptographic stacks; Experiences with Open Platforms and hardware within Internet of Things; Internet of Vehicle (IOV) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Access networks Next generation access technologies; Femtocells-based access; Broadband wireless; nternet access; Optical access networks; Mobile wireless access; Dynamic and cognitive access; Hybrid optical and wireless access networks; Copper Access; Giga/Tera Access; Access Control; Neutral Access Networks; Legal aspects on network and service access ------------------------ INTERNET 2016 Committee: http://www.iaria.org/conferences2016/ComINTERNET16.html To stop receiving notices about INTERNET, please reply with "DROP INTERNET event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From geoff at cs.miami.edu Thu Nov 12 23:40:19 2015 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 12 Nov 2015 17:40:19 -0500 (EST) Subject: Artificial Intelligence and Theorem Proving Message-ID: <20151112224019.5E40512146F@mcclellan.cs.miami.edu> CALL FOR CONTRIBUTIONS 1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 April 3-6, 2016, Obergurgl, Austria http://aitp-conference.org Deadline: December 12, 2015 https://easychair.org/conferences/?conf=aitp2016 Background Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. Topics - AI and big-data methods in theorem proving and mathematics. - Collaboration between automated and interactive theorem proving. - Common-sense reasoning and reasoning in science. - Alignment and joint processing of formal, semi-formal, and informal libraries. - Methods for large-scale computer understanding of mathematics and science. - Combinations of linguistic/learning-based and semantic/reasoning methods. Sessions and Speakers There will be three focused sessions on AI for ATP, ITP and mathematics, a (tutorial) session on modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. - AI and large-theory ATP/ITP. Confirmed speakers: Thomas C. Hales - AI and internal guidance of ATP. Confirmed speakers: Robert Veroff, Stephan Schulz - AI and automated understanding of informal and semi-formal mathematics. Confirmed speakers: Noriko Arai, Deyan Ginev, Takuya Matsuzaki, Jiri Vyskocil - Modern AI and big-data methods (tutorials/connections to ATP/ITP/math). Confirmed speakers: Sean Holden, Christian Szegedy Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2016) by 12 December 2015. The authors will be notified of acceptance/rejection by 23 December 2015. Camera-ready versions of the accepted contributions, due by 1 February 2016, will be published in an informal book of abstracts for distribution at the conference. Post-proceedings We will publish post-proceedings in an open-access series of conference proceedings, such as LIPIcs, JMLR, or EPiC. Submission to that volume will be open for everyone. Tentative submission deadline: May 2016. Programme committee Marcos Cramer (Universiy of Luxembourg) Thomas C. Hales (co-chair) (University of Pittsburgh) Tom Heskes (Radboud University Nijmegen) Sean Holden (University of Cambridge) Cezary Kaliszyk (co-chair) (University of Innsbruck) Ramana Kumar (University of Cambridge) John Lafferty (University of Chicago) Lawrence Paulson (University of Cambridge) Stephan Schulz (co-chair) (DHBW Stuttgart) Geoff Sutcliffe (University of Miami) Josef Urban (co-chair) (Czech Technical University in Prague) Location and Price The conference will take place from April 3 to April 6 in the stunning scenery of the Tyrolean Alps in the Obergurgl Conference Center (http://www.uz-obergurgl.at/) of the University of Innsbruck. Obergurgl is a picturesque village located at an altitude of 2000m, a 1-hour drive from Innsbruck. It offers a variety of winter-sport activities such as skiing, snowshoeing and hiking at this time of the year. The total price for accommodation, food and registration for the four days will be around 500 EUR. Organizers Cezary Kaliszyk and Josef Urban From adrianrp at unimelb.edu.au Fri Nov 13 07:00:25 2015 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Fri, 13 Nov 2015 06:00:25 +0000 Subject: Second Call for Tutorials: AAMAS 2016 - 15th International Conference on Autonomous Agents and Multiagent Systems (Singapore) Message-ID: ** SECOND CALL FOR TUTORIALS ** XV International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2016) Singapore May 9-13, 2016 http://sis.smu.edu.sg/aamas2016 The AAMAS 2016 Organizing Committee invites proposals for the Tutorial Program, to be held on 9-10, immediately before the technical conference. AAMAS 2016 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry * Present a novel synthesis combining distinct lines of AAMAS work. * Introduce AAMAS audiences to an external topic that can motivate or use AAMAS research. Topic areas of interest include all of those listed in the call for the technical track (see http://sis.smu.edu.sg/aamas2016), including the special tracks on robotics, virtual agents, and innovative applications. SUBMISSION REQUIREMENTS Those interested in presenting a tutorial should register their interest on an online form (see below) and submit a proposal to the AAMAS-16 Tutorial Co-chairs, David Pynadath and Sebastian Sardina. Proposals should be two to four pages in length, and should contain the following information: A short title of the tutorial. A one paragraph brief description of the tutorial, suitable for inclusion in the conference registration brochure. Preferred length for the tutorial (half day or full day). Characterization of the potential target audience for the tutorial, including prerequisite knowledge. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. A detailed outline of the tutorial. A brief resume of the presenter(s), which should include: name, postal address, phone numbers, email address; background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject); evidence of teaching/presentation experience (including references that address the proposer's presentation skills as applicable); and evidence of scholarship in the area. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by March, 4, 2016. * Providing a web-site for the tutorial, which includes title and abstract of the tutorial, presenters' details, outline, tutorial notes and related reading material. * Presenting the tutorial at AAMAS 2016. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 1, 2016: Tutorial Proposal Submission Deadline December 20, 2016: Tutorial Acceptance Notifications March 19, 2016: Deadline for submitting tutorial notes May 9-10, 2016: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Those interested in presenting a tutorial should: Register their interest and proposal at http://tinyurl.com/aamas16tutorials Submit the full proposal to the AAMAS-16 Tutorial Co-chairs, David Pynadath and Sebastian Sardina by email (in ASCII or pdf). Inquiries should be sent by email (in ASCII or pdf) to the tutorials chairs: David V. Pynadath Institute for Creative Technologies University of Southern California pynadath at usc.edu Sebastian Sardina School of Computer Science and Information Technology RMIT University sebastian.sardina at rmit.edu.au From andrea.orlandini at istc.cnr.it Fri Nov 13 12:05:23 2015 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Fri, 13 Nov 2015 12:05:23 +0100 Subject: Last Call for Papers - Robotics Track @ International Conference on Automated Planning and Scheduling (ICAPS 2016) In-Reply-To: <56363C7B.8080606@istc.cnr.it> References: <56006F45.1090806@istc.cnr.it> <56363C7B.8080606@istc.cnr.it> Message-ID: <5645C3F3.9070902@istc.cnr.it> Apologies for multiple copies == ICAPS 2016 ROBOTICS TRACK -- Call for Papers == The 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) June 12-17, 2016, London, United Kingdom http://icaps16.icaps-conference.org/robotics-track.html (icaps16london at gmail.com for inquiries) Abstracts due: November 18, 2015 Papers due: November 22, 2015 Notification: January 26, 2016 In 2016 ICAPS will run a robotics track as part of the main conference. Following on from successful events in 2014 and 2015, this will again emphasize the importance and opportunities of reuniting the fields of AI planning and (autonomous) robotics. This provides an opportunity for the AI planning and scheduling community to respond to the challenges that robotics applications pose and contribute to the advance of intelligent robotics. This is also an opportunity for the robotics community to propose integrated solutions, discuss its challenges related to planning for autonomous robots (deliberative, reactive, continuous planning and execution etc.) and present its expectations of the planning and scheduling community. In this regard, the robotics track aims to present research at the intersection of the fields of robotics and planning & scheduling. We welcome work on the planning, execution and coordination of individual or teams of robots, at the level of tasks, (manipulation) actions, perception, behaviors and motions. Submission of work that has been demonstrated on actual robot systems is specifically encouraged. Topics include, but are not limited to: robot motion, path, task and mission planning and execution; learning action and task models; acquisition of planning models for robotics; failure detection and recovery; integrated planning and execution in robotic architectures; planning for long-term autonomy in robotics; planning and coordination methods for multiple robots; mixed-initiative planning and variable autonomy for robotic systems; human-aware planning and execution in human-robot interaction, including safety; adversarial action planning in competitive robotic domains; planning for perception; formal methods for robot planning and control; planning domain representations for robotics applications; benchmark planning domains for robots; real-world planning applications for autonomous robots. Author Guidelines ----------------- Authors may submit long papers (8 pages plus up to one page of references) or short papers (4 pages plus up to one page of references). The type of paper must be indicated at submission time. For more information, see: http://icaps16.icaps-conference.org All papers, regardless of length, will be reviewed against the standard criteria of relevance, originality, significance, clarity and soundness, and are expected to meet the same high standards set by ICAPS. Short papers may be of narrower scope, for example by addressing a highly specific issue, or proposing or evaluating a small, yet important, extension of previous work or new idea. Authors making multiple submissions must ensure that each submission has significant unique content. Papers submitted to ICAPS 2016 may not be submitted to other conferences or journals during the ICAPS 2016 review period nor may they be already under review or published in other conferences or journals. Overlength papers will be rejected without review. All submissions will be made electronically, through the EasyChair conference system: https://www.easychair.org/conferences/?conf=icaps16 Submissions must be in the AAAI format. For more information, see the submission instructions on ICAPS 2016 submission page. The proceedings will be published by AAAI Press. All accepted papers will be published in the main conference proceedings and will be presented orally at the conference (full papers will be allocated more time). Important Dates --------------- Abstracts (electronic submission) due: November 18th, 2015 Papers (electronic submission) due: November 22nd, 2015 Notification of acceptance: January 26th, 2015 The reference timezone for all deadlines is UTC-12. That is, as long as there is still some place anywhere in the world where the deadline has not yet passed, you are on time! Organizing Committee -------------------- Robotics Track chairs: Nick Hawes (University of Birmingham, United Kingdom) AndreA Orlandini (National Research Council, Italy) Conference Chairs: Andrew Coles (King's College London) Daniele Magazzeni (King's College London) Program Chairs: Amanda Coles (King's College London) Stefan Edelkamp (University of Bremen, Germany) Scott Sanner (NICTA and ANU, Australia) Program Committee Anthony Barrett (NASA JPL, USA) Michael Beetz (Bremen University, Germany) Sara Bernardini (University of London, United Kingdom) Michael Cashmore (King's College, United Kingdom) Amedeo Cesta (CNR-ISTC, Italy) Louise Dennis (University of Liverpool, United Kingdom) Alberto Finzi (University of Napoli "Federico II", Italy) Robert Fitch (University of Sydney, Australia) Malik Ghallab (LAAS-CNRS, France) Catherine Harris (University of Birmingham, United Kingdom) Joachim Hertzberg (University of Osnabrück, Germany) Laura Hiatt, (Naval Research Laboratory, USA) Andreas Hofmann (MIT, USA) Felix Ingrand (LAAS/CNRS, France) Erez Karpas (MIT, USA) Sven Koenig (University of Southern California, USA) Jonas Kvarnstrom (Linköping University, Sweden) Bruno Lacerda (University of Birmingham, United Kingdom) Maxim Likhachev (Carnegie Mellon University, USA) Francisco Melo (Instituto Superior Tecnico/INESC-ID, Spain) Lenka Mudrova (University of Birmingham, United Kingdom) Daniele Nardi (Sapienza University, Italy) Bernhard Nebel (Albert-Ludwigs-Universität, Germany) Tim Niemueller (Aachen University, Germany) Leslie P. Kaelbling (MIT, USA) Russell Knight (NASA JPL, USA) Amit Kumat Pandey (Aldebaran, France) Lars Kunz (University of Birmingham, United Kingdom) Federico Pecora (Örebro University, Sweden) Ron Petrick (University of Edinburgh, United Kingdom) Frederic Py (Faculty of Engineering, Univ. of Porto, Portugal) Kanna Rajan (Faculty of Engineering, Univ. of Porto, Portugal) Bram Ridder (King's College, United Kingdom) Benjamin Rosman (Council for Scientific and Industrial Research, South Africa) Alessandro Saffiotti (Örebro University, Sweden) Reid Simmons (Carnegie Mellon University, USA) Siddarth Srivastava (Berkeley University, USA) Manuela Veloso (Carnegie Mellon University, USA) Minlue Wang (University of Birmingham, United Kingdom) -- --------------------------------------------------------------------- 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! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evert at MW-020708.clients.vu.nl Fri Nov 13 16:49:50 2015 From: evert at MW-020708.clients.vu.nl (Evert Haasdijk) Date: Fri, 13 Nov 2015 16:49:50 +0100 (CET) Subject: [CfP] Artificial Life Journal Special Issue on the Evolution of Physical Systems Message-ID: <20151113154950.9F3604070CA5A@MW-020708.clients.vu.nl> Call for Submissions: Artificial Life Journal Special Issue on the Evolution of Physical Systems We are inviting submissions to a forthcoming special issue of Artificial Life Journal devoted to the topic of the Evolution of Physical Systems (EPS). This special issue emerges from a series of successful workshops held at the International Society for Artificial Life (ISAL) sponsored conferences ECAL and ALIFE. We use the term EPS to refer to evolutionary algorithms which occur in real-world physical substrates rather than in simulation. The term encompasses both parallel Embodied Evolution (Watson et al., 2002), in which evolution is distributed across a population of robots, as well as Evolutionary Robotics (Floreano and Mondada, 1994) where evaluation is serialized on a single robot. Notable examples of EPS occur across a wide variety of systems, ranging from Robotics (Zykov et al., 2004)] to FPGAs (Thompson, 1996) to 3D printers (Rieffel and Sayles, 2010). While submissions describing reality-based and model-free work is encouraged, we would also be interested in submissions aimed at crossing the “Reality Gap” between simulation and reality. keywords: evolutionary robotics, embodied evolution, reality gap, evolvable hardware Special Issue Website: http://muse.union.edu/eps-workshop/alife-special-issue/ Please direct all correspondence to rieffelj at union.edu IMPORTANT DATES Submission Deadline: April 15, 2016 Author Notification: July 1, 2016 Expected Publication: November 1, 2016 Special Issue Editors: John Rieffel, Union College, USA (rieffelj at union.edu) Jean-Baptiste Mouret, Inria Nancy - Grand Est, France (jean-baptiste.mouret at inria.fr) Nicolas Bredeche, Sorbonne Universités, France (nicolas.bredeche at upmc.fr) Evert Haasdijk, Vrije Universiteit Amsterdam, Netherlands (e.haasdijk at vu.nl) From grlmc at grlmc.com Fri Nov 13 21:34:53 2015 From: grlmc at grlmc.com (GRLMC) Date: Fri, 13 Nov 2015 21:34:53 +0100 Subject: AlCoB 2016: 1st call for papers Message-ID: <6c8bf8ed029d8b512dd55c3caeeccafd@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************************ 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   ALCOB 2016   TRUJILLO, SPAIN   JUNE 21-23, 2016 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Extremadura Centre for Advanced Technologies (CETA-Ciemat) Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2016/ ************************************************************************************ AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. Previous events were held in Tarragona (2014) and Mexico City (2015). The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE: AlCoB 2016 will take place in Trujillo, homeland of the so-called "conquistadores" who arrived in Peru in the XVI century. The venue will be the Extremadura Centre for Advanced Technologies.   SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE: AlCoB 2016 will consist of: invited lectures invited tutorials peer-reviewed contributions   INVITED SPEAKERS: tba   PROGRAMME COMMITTEE (to be completed): Can Alkan (Bilkent University, Ankara, Turkey) Timothy L. Bailey (University of Queensland, Brisbane, Australia) Vladimir Bajic (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia) Geoff Barton (University of Dundee, UK) Inanc Birol (University of British Columbia, Vancouver, Canada) Alan P. Boyle (University of Michigan, Ann Arbor, USA) Vladimir Brusic (NazarbayevUniversity, Astana, Kazakhstan) Liming Cai (University of Georgia, Athens, USA) Rita Casadio (University of Bologna, Italy) Ken Chen (University of Texas MD AndersonCancerCenter, Houston, USA) Jason Ernst (University of California, Los Angeles, USA) Laurent Gautier (Novartis Institutes for BioMedical Research, Cambridge, USA) Manolo Gouy (ClaudeBernardUniversity Lyon 1, France) Michael Gribskov (PurdueUniversity, West Lafayette, USA) Iman Hajirasouliha (Stanford University, USA) John Hancock (Genome Analysis Centre, Norwich, UK) Fereydoun Hormozdiari (University of California, Davis, USA) Kazutaka Katoh (Osaka University, Japan) Evangelos Kranakis (Carleton University, Ottawa, Canada) Bill Majoros (DukeUniversity, Durham, USA) Lennart Martens (Ghent University, Belgium) Maria-Jesus Martin (European Bioinformatics Institute, Hinxton, UK) Carlos Martín-Vide (Rovira i VirgiliUniversity, Tarragona, Spain, chair) Folker Meyer (Argonne National Laboratory, USA) Kenta Nakai (University of Tokyo, Japan) Matteo Pellegrini (University of California, Los Angeles, USA) Mihaela Pertea (JohnsHopkinsUniversity, Baltimore, USA) Ben Raphael (BrownUniversity, Providence, USA) Denis Shields (UniversityCollegeDublin, Ireland) Fredj Tekaia (Pasteur Institute, Paris, France) Fuli Yu (BaylorCollege of Medicine, Houston, USA) Daniel Zerbino (European Bioinformatics Institute, Hinxton, UK) Kaizhong Zhang (University of WesternOntario, London, Canada) Weixiong Zhang (WashingtonUniversity in St. Louis, USA) Zhongming Zhao (VanderbiltUniversity, Nashville, USA) Yaoqi Zhou (GriffithUniversity, Brisbane, Australia) ORGANIZING COMMITTEE: María Botón-Fernández (Trujillo, co-chair) Carlos Martín-Vide (Tarragona, co-chair) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Leslye Alarcón (Cáceres) María Botón-Fernández (Trujillo, co-chair) José M. Granado-Criado (Cáceres) Sergio Santander-Jiménez (Cáceres) Miguel A. Vega-Rodríguez (Cáceres, co-chair)   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=alcob2016   PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI 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 period for registration is open from October 30, 2015 to June 21, 2016. The registration form can be found at: http://grammars.grlmc.com/alcob2016/Registration.php DEADLINES: Paper submission: January 26, 2016 (23:59 CET) Notification of paper acceptance or rejection: March 1, 2016 Final version of the paper for the LNCS/LNBI proceedings: March 15, 2016 Early registration: March 15, 2016 Late registration: June 7, 2016 Submission to the journal special issue: September 23, 2016   QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS: AlCoB 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Centro Extremeño de Tecnologías Avanzadas (CETA-CIEMAT) Universidad de Extremadura Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iarianews.org Sun Nov 15 05:22:55 2015 From: invitation at iarianews.org (ICWMC 2016) Date: Sat, 14 Nov 2015 20:22:55 -0800 Subject: 1st CfP: ICWMC 2016 || November 13 - 17, 2016 - Barcelona, Spain Message-ID: <1447561375982.2338@iarianews.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 2016, The Twelfth International Conference on Wireless and Mobile Communications The submission deadline is June 27, 2016. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2016 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2016, The Twelfth International Conference on Wireless and Mobile Communications General page: http://www.iaria.org/conferences2016/ICWMC16.html Submission page: http://www.iaria.org/conferences2016/SubmitICWMC16.html Event schedule: November 13 - 17, 2016 - Barcelona, Spain 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 27, 2016 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 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 comply with the editorial rules: http://www.iaria.org/editorialrules.html ICWMC 2016 Topics (for topics and submission details: see CfP on the site) Call for Papers: http://www.iaria.org/conferences2016/CfPICWMC16.html ============================================================ 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 ------------------------ ICWMC 2016 Committee: http://www.iaria.org/conferences2016/ComICWMC16.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 ijv at acm.org Mon Nov 16 17:46:08 2015 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 16 Nov 2015 14:46:08 -0200 Subject: Last call for papers KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <29AE21CA-6B49-44EE-8A1F-D76921250663@acm.org> CALL FOR PAPERS *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) KR 2016 IMPORTANT DATES ----------------------- * Submission of title and abstract: 21 November 2015 * Paper submission deadline: 28 November 2015 * Notification of acceptance: 21 January 2016 * Camera-ready papers due: 19 February 2016 * Conference: 25-29 April 2016 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics SUBMISSION INFORMATION ---------------------- Submissions must be original, and should not have been previously published, accepted for publication, or currently be under review. Authors may not submit their paper elsewhere during the KR 2016 reviewing period. These considerations apply only to journals and conferences, and not to workshops and forums with a limited audience and without archival proceedings. In case of doubt, please contact the Program Chairs. Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip Please submit to: http://www.easychair.org/conferences/?conf=kr2016 The conference proceedings will be published by AAAI Press. For complete details, see the 'Submission information' page at http://www.kr.org/KR2016 PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil) -- Ivan José Varzinczak Department of Computer Science - Institute of Mathematics Federal University of Rio de Janeiro, Brazil Homepage: http://member.acm.org/~ijv From asmtoit at gmail.com Tue Nov 17 14:03:48 2015 From: asmtoit at gmail.com (Argumentation in Social Media TOIT Special Section) Date: Tue, 17 Nov 2015 14:03:48 +0100 Subject: Final CfP: ACM TOIT Special Session on Argumentation in Social Media Message-ID: <85AE5A16-939E-44C2-B3BF-E266E64BDB15@gmail.com> *** Apologies for multiple posting *** ========================================================== ARGUMENTATION IN SOCIAL MEDIA Call for Papers for a Special Section of the ACM Transactions on Internet Technology http://toit.acm.org/CfP.html Guest-edited by Iryna Gurevych, UKP Lab, TU Darmstadt Marco Lippi, DISI, University of Bologna Paolo Torroni, DISI, University of Bologna AIMS AND SCOPE Argumentation is a rapidly expanding multidisciplinary research area at the confluence of diverse fields such as philosophy, communication studies, logic and artificial intelligence, computational linguistics, social sciences, political sciences, and law. The contributions coming from these heterogeneous disciplines and the large number of potential applications that can be triggered by these studies have made argumentation one of the hottest topics within the artificial intelligence community with immediate relevance to the Web, distributed computing, and mobile systems. The Internet and the Web have inspired a variety of real-world applications for argumentation, since social media, social networks, and distributed platforms are some of the favorite sources and outlets for opinions, advice, and comments of any sort for a large share of the world population, and this type of content could very well lend itself to argumentative analysis. However, current argumentative analysis methodologies are costly and pose clear issues of scalability, since they are mainly manual or only semi-automated, and they require a great deal of expertise. Indeed, current text-based social media analytics mainly focuses on approaches such as sentiment analysis, and does not yet consider argument analysis. Sentiment analysis lets us analyze the users' opinions about certain topics, but falls short of identifying the reasons for the opinions expressed and the users' chains and patterns of reasoning. Recently we have observed tremendous interest and rapid expansion of argumentation mining -- the process of automatically extracting arguments from unstructured text -- as a means of filling this gap. Developing enabling platforms for formal and informal argumentation in distributed settings, mining dynamic natural language text, managing consistency and accuracy in data representation, and information presentation and visualization at large are very important and certainly challenging domains for argumentation mining. Social networks and social media in particular provide high-throughput, highly heterogeneous and highly dynamic sources of data, which are likely to include significant argumentative content. With argumentation mining, the potential behind the combination of social media and argumentation studies has grown, encompassing domains such as social issues and public policy, with applications ranging from the analysis of the dynamics of social debates on the Web to the detection of anomalous behavior; and from the study of how influential arguments spread and become dominant within social networks to the role of specific users within this kind of process. The aim of this TOIT special section is to address the important challenges that argumentation in the Web poses, involving the perspective of distributed computing. These include, but are not limited to, the development of algorithms and architectures for mining large volumes of highly dynamic unstructured or semi-structured data especially natural language text coming from social media; the definition of appropriate models and structures that enable processing and visualizing such data; the privacy, trust, legal, and ethical issues related to the management and processing of user-generated argumentative content; the development of enabling platforms for formal and informal argumentation in distributed and agent-based environments; the management of consistent and accurate data representations; the novel use of resources such as ontologies and vocabulary systems; and the presentation of large, complex, community-based argumentative content in a usable way. TOPICS A list of topics to be covered by this special section includes, but is not limited to a set of areas listed below. Foundations · Information models of user-generated arguments and debate in social media · Argumentation-enabled collective intelligence and collaboration · Security, privacy, trust, and ethical issues related to argumentative analysis Methods and technologies · Mining and visualization of large volumes of highly dynamic data · Argumentation and social informatics, social computing, and crowdsourcing · Innovative semantic search methods, algorithms, and tools · Middleware and APIs for online debating technologies Applications · Argumentation mining in social media · Processing of user reviews for online entertainment, e-commerce, and e-business applications · Argumentation for e-learning · Argumentation analysis for policy making · Argumentation and online debates and mining for e-government SUBMISSION INSTRUCTIONS Manuscripts to this special section should be submitted via the Manuscript Central website linked here: http://toit.acm.org/submission.html Please select “Special Section: Argumentation in Social Media” under Manuscript Type dropdown in the Manuscript Central website. Submissions should be in the ACM Transactions style, and limited to 20 pages. Authors should adhere to the submission instructions and editorial policies described at http://toit.acm.org/submission.html IMPORTANT DATES Submissions: 15 January 2016 First decisions: 16 May 2016 Revisions: 20 July 2016 Final decisions: 15 September 2016 Final submissions: 14 October 2016 Publication: January 2017 CONTACT INFORMATION Please direct all your inquiries to asmtoit at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at fct.unl.pt Thu Nov 19 05:16:13 2015 From: jleite at fct.unl.pt (Joao Leite) Date: Thu, 19 Nov 2015 04:16:13 +0000 Subject: NOVA LINCS Post-Doctoral Fellowship in Dynamic Knowledge Representation and Reasoning Message-ID: NOVA LINCS Post-Doctoral Fellowships Principles and Techniques for Dynamic Knowledge Representation and Reasoning Knowledge-Based Systems research group (NOVALINCS/KBS/2015/BPD.2) The NOVA Laboratory of Computer Science and Informatics is a Portuguese leading research unit hosted at Departamento de Informatica - Universidade Nova de Lisboa (see http://nova-lincs.di.fct.unl.pt). NOVA LINCS was awarded the highest research rating by the last (2013) FCT/MEC evaluation exercise (Excellent), among all national units focused exclusively in Computer Science and Informatics. We are currently pursuing an ambitious research program at the highest international level on principles and engineering for global software systems as a collaboration of our four groups Computer Systems, Knowledge-based Systems, Multimodal Systems and Software Systems. In the context of the 2015-20 strategic project NOVA LINCS seeks to appoint 1 post-doctoral research associate to become part of the Knowledge-Based Systems research group. Admission Requirements: To apply for this position, the candidate is required to have a strong background in computer science at the PhD level, and a proven publication track record in either Knowledge Representation and Reasoning, or Databases. Previous experience in the following topics will be valued: complex event processing; stream reasoning; dynamical systems; design and implementation of reasoning engines. We expect the research outcomes of the activity to be published at premier artificial intelligence, web and/or databases conferences and journals. The candidates should have excellent communication skills, be fluent in English (spoken and written). Candidates close to completion of their PhD will also be considered, provided that they will have their thesis defended when the contract is signed. Work Objectives: In the context of the 2015-20 strategic project NOVA LINCS seeks to appoint a post-doctoral research associate to become responsible for the development of novel methods and tools enabling knowledge-rich software applications that support dynamic data. Aimed at advancing the state of the art in stream reasoning, this project will require both foundational work in the form of knowledge representation languages, semantics, querying and reasoning procedures, as well as the development of efficient tools. This activity integrates a broader research line within NOVA LINCS, which targets the development of knowledge-rich software applications and services, application integration, automation and interoperation of processes, and problem-solving in various domains. The successful candidate will integrate the Knowledge-Based Systems research group, but is expected to be open to collaborations with other groups across the laboratory (for further information see http://nova-lincs.di.fct.unl.pt/research/knowledge-based-systems). Amount of the Fellowship: monthly payment of €1.495 net (€17.940 net per year, no taxes applicable), according to FCT/MEC regulations, plus coverage of social security insurance. Call for applications is open until November 30, 2015. The application must include the following documents: motivation letter, CV, copy of academic records/certificates and two contact references. Applications should be sent to Prof. Jose Alferes (jja at fct.unl.pt) and/or Prof. Joao Leite (jleite at fct.unl.pt) and cc to nova-lincs.secretariado at fct.unl.pt with reference NOVALINCS/KBS/2015/BPD.2. Contacts Email: nova-lincs.secretariado at fct.unl.pt Phone: (+351) 212948536 (direct) (+351) 212948300 (central) (+351) 212948500 (central) Fax: (+351) 212948541 -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at fct.unl.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Nov 21 08:20:43 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 21 Nov 2015 08:20:43 +0100 Subject: TPNC 2015: call for participation Message-ID: <09d9a13d20914308fe92cfe7a4394c8b@grlmc.com> *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-16, 2015 Organised by: European Centre for Soft Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2015/ ********************************************************************************** PROGRAM Tuesday, December 15 08:15 - 08:45 Registration 08:45 - 09:00 Opening 09:00 - 09:50 A.E. Eiben: EvoSphere: the World of Robot Evolution - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Oualid Chenni, Yanis Bouda, Hamid Benachour and Chahnez Zakaria: A Content-based Recommendation Approach Using Semantic User Profile in E-recruitment Luca Mariot and Alberto Leporati: A Genetic Algorithm for Evolving Plateaued Cryptographic Boolean Functions Muhammad Marwan Muhammad Fuad: Hierarchical Clustering of DNA Microarray Data Using a Hybrid of Bacterial Foraging and Differential Evolution 11:35 - 11:50 Break and Group Photo 11:50 - 13:05 Abtin Nourmohammadzadeh and Sven Hartmann: Fault Classification of a Centrifugal Pump in Normal and Noisy Environment with Artificial Neural Network and Support Vector Machine Enhanced by a Genetic Algorithm Stjepan Picek, Sylvain Guilley, Claude Carlet, Domagoj Jakobovic and Julian Miller: Evolutionary Approach for Finding Correlation Immune Boolean Functions of Order t with Minimal Hamming Weight Gracian Trivino and Daniel Sanchez-Valdes: Generation of Linguistic Advices for Saving Energy: Architecture 13:05 - 14:35 Lunch 14:35 - 15:25 John A. Smolin: Theory and Practice of Quantum Computing - Invited Lecture 15:25 - 15:40 Break 15:40 - 16:40 Poster Session Silvio Capobianco, Jarkko Kari and Siamak Taati: Some Notes about Reversibility in Cellular Automata Dariusz Kalocinski, Nina Gierasimczuk and Marcin Mostowski: Learning semantics by coordination Gábor Prószéky and Balázs Indig: Natural parsing: a psycholinguistically motivated computational language processing model Luis M. San-Jose-Revuelta: Improved GPS Satellites Selection Using a Tabu Search Optimization Algorithm Antoni Sobkowicz and Wojciech Stokowiec: You think this is funny? - Detecting sentiment and humor in Steam reviews using nature inspired methods Didier Verna: Software Systems and Unicellular Life: Puzzling Analogies Wednesday, December 16 09:00 - 09:50 Guy Theraulaz: Stigmergic Interactions and 3D Nest Construction in Ant Colonies - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Ilana Agmon and Tal Mor: A Model for the Emergence of Coded Life Akihiro Nishimura, Takuya Nishida, Yu-Ichi Hayashi, Takaaki Mizuki and Hideaki Sone: Five-card Secure Computations Using Unequal Division Shuffle Tomoyuki Yamakami: Straight Construction of Non-interactive Quantum Bit Commitment Schemes from Indistinguishable Quantum State Ensembles 11:35 - 11:50 Break 11:50 - 13:05 Pablo Arrighi and Gilles Dowek: Discrete Geodesics and Cellular Automata Mohammad Ali Javaheri Javid, Robert Zimmer, Anna Ursyn and Mohammad Majid al-Rifaie: A Quantitative Approach for Detecting Symmetries and Complexity in 2D Plane Hiroshi Umeo, Keisuke Imai and Akihiro Sousa: A Generalized Minimum-time Minimum-state-change FSSP Algorithm 13:05 - 13:20 Closing -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Mon Nov 23 23:10:00 2015 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Mon, 23 Nov 2015 22:10:00 +0000 Subject: Call for papers: Workshop on Discontinuous Structures in Natural Language Processing References: <7FF06401-AC90-47B9-BE13-FD690ED8AAE0@indiana.edu> Message-ID: <1448316600.31039.7.camel@wlv.ac.uk> (apologies for cross-­posting) Workshop on Discontinuous Structures in Natural Language Processing ------------------------------------------------------------------- http://rgcl.wlv.ac.uk/disco/ to be held at NAACL 2016 (San Diego, California, USA), June 16, 2016 Submission deadline: February 25, 2016 Call For Papers --------------------- The modeling of certain structures in natural language requires a mechanism for discontinuity, in the sense that we must account for two or more parts of the structure that are not adjacent. This is true across many languages and on different description levels. For instance, on the lexical level, this concerns discontinuous morphological phenomena such as transfixation (templatic morphology), as well as phrasal verbs, and non-­contiguous multiword expressions.  On the syntactic level, discontinuity is caused by phenomena such as extraposition and topicalization, or argument scrambling. Morphologically rich languages (MRLs) are particularly likely to exhibit such phenomena. Other examples include disfluency and anaphora/coreference resolution with discontinuous antecedents; modeling in both of the latter areas requires an extended domain of locality. On a higher level, discontinuity is a relevant factor in machine translation, as well as in complex question answering and in topic structure modeling.  Discontinuity has been studied intensively in a range of different areas, including but not limited to grammar development, syntactic and semantic parsing, morphological analysis, machine translation, anaphora resolution, discourse modeling, automatic summarization and complex question answering.  Nevertheless, the treatment of discontinuous structures remains a challenge, because on the one hand, recovering of non-­local information is generally associated with a high computational cost, and on the other hand, discontinuities are inherently a low ­frequency phenomenon, which means that statistical approaches have a tendency to analyze them incorrectly as more frequent local phenomena. Additionally, it is not always clear if and how NLP tasks can benefit from knowing about discontinuity, that is, why one should care, particularly considering the given computational cost. The goal of this workshop is to bring together researchers from the different areas to give them a forum to exchange ideas and problem solutions, to create synergy effects, and to enable more powerful solutions. This encompasses not only linguistic analyses and work on analyzing or recovering the corresponding structures, such as, e.g., in non­- projective dependency parsing, but also studies on "use cases", which show how information about discontinuity can be used to enhance NLP tasks. The areas of interest of this workshop include but are not limited to the following topics: * Theoretical and empirical analyses of nonlocal/discontinuous phenomena. * Comparisons of different descriptions of the same type of non­local information. * Use, development, and comparison, of techniques for handling non­local/discontinuous within NLP tasks, especially wrt. to examples of NLP tasks which can benefit from handling discontinuous phenomena are machine translation, complex question answering, modeling of discourse, automatic summarization and coreference resolution. * "Use cases" that show how information about discontinuity can enhance an NLP task. * Annotation of information about nonlocality. ­­­­­­ Submission information ------------------------ We invite papers which present completed research including new experimental results, resources and/or techniques. The maximum length of the papers is 8 pages plus an unlimited number of pages for references. All submissions must be in PDF format and must follow the NAACL 2016 formatting requirements (available at the NAACL 2016 website: http://naacl.org/naacl­pubs/). We strongly advise the use of the provided Word or LaTeX template files. Reviewing will be double­blind, and thus no author information should be included in the papers; self-­reference should be avoided as well. Papers that do not conform to these requirements will be rejected without review. Accepted papers will appear in the workshop proceedings. The submission site will be published on the workshop webpage as soon as it is available. ­­­­­­­­­­­­­­­ Important dates --------------------- February 25, 2016: Workshop paper submission deadline  March 20, 2016: Notification of Acceptance March 30, 2016: Camera ­ready papers due June 16, 2016: Workshop Date Program Committee ---------------------- Anne Abeille, University Paris 7 Laura Alonso Alemany, Universidad Nacional de Córdoba Marianna Apidianaki, LIMSI Eric de la Clergerie, INRIA Andreas van Cranenburgh, Royal Netherlands Academy for Arts and Sciences Joachim Daiber, University of Amsterdam Corina Forascu, University "Al. I. Cuza" Iaşi Carlos Gomez Rodriguez, University of A Coruña Eva Hasler, University of Cambridge Mijail Kabadjov, University of Essex Laura Kallmeyer, University of Düsseldorf Philipp Koehn, University of Edinburgh Johannes Leveling, Elsevier Timm Lichte, University of Düsseldorf Georgiana Marsic, University of Wolverhampton Detmar Meurers, University of Tübingen Jean­Luc Minel, Université Paris Ouest Nanterre La Défense Sara Moze, University of Wolverhampton Philippe Muller, University of Toulouse/IRIT Preslav Nakov, Qatar Computing Research Institute Mark­Jan Nederhof, University of St. Andrews Yannick Parmentier, University of Orléans Ted Pedersen, University of Minnesota Irene Renau, Pontificia Universidad Católica de Valparaíso, Chile Lonneke van der Plas, University of Malta Djamé Seddah, University Paris 4 Khalil Sima'an, University of Amsterdam Yannick Versley, University of Heidelberg Suzan Veberne, University of Nijmegen Andy Way, Dublin City University Workshop Organizers ------------------------------ Wolfgang Maier (University of Düsseldorf, Germany) Sandra Kübler (Indiana University, USA) Constantin Orasan (University of Wolverhampton, GB) The workshop organizers can be contacted at discows2016 at gmail.com -- Constantin Orasan University of Wolverhampton http://www.wlv.ac.uk/~in6093/ From wwwdevday2016 at easychair.org Tue Nov 24 19:29:56 2015 From: wwwdevday2016 at easychair.org (WWW Dev Day 2016) Date: Tue, 24 Nov 2015 19:29:56 +0100 (CET) Subject: Call for Papers - WWW Developers Day 2016, In conjunction with WWW 2016 Message-ID: <20151124182956.B43DF285A1@fcns.eu> We apologize if you receive multiple copies of this email, or if its content is irrelevant for you. =========================================================== WWW Developers Day 2016 In conjunction with WWW 2016 25th International World Wide Web Conference http://www2016.ca/ April 11- 15 2016, Montreal, Canada Submission Deadline ** January 8, 2016 ** =========================================================== Important Dates =============== Submission Deadline: Jan 8 , 2016 Acceptance Notifications: Feb 1, 2016 Camera Ready Deadline: Feb 8th, 2016 Developers Day: April 11th or 12th 2016 Call for Submissions ================ The success of the World Wide Web depends on its developers. From Hypertext and Web Browsers to the APIs that extend the capabilities of the Web, developers have played a very important role in making the Web as ubiquitous as it is today. To celebrate this great driving force behind the Web, we are rebooting the Developers Day at the World Wide Web Conference. The Developers Day will be forum for developers by developers where cutting edge Web technologies will be discussed. The program consists of a round of lightning talks followed by Birds of a Feather (BoF) sessions where attendees will be able to get an in-depth look at the software presented in the form of a hands-on tutorial as well as a discussion of open challenges, next steps, and application areas. We are soliciting submissions from developers who have interesting open-source software to showcase to the Web developer community. The program will have a special focus on implementations, methods, techniques, and how developers have solved practical problems on the Web. The software must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Submissions should clearly identify the following: * The purpose of the software that shows innovative use of technology * The potential to advance the state of the art of the Web * Real-world applications of the software * Link(s) to where the software can be downloaded and/or can be tried out (e.g. github.com) * Link(s) to a comprehensive tutorial and/or documentation outlining how to use the software Submissions that do not specify where the software can be downloaded or tried out, and/or do not include a tutorial or documentation will not be accepted. At least one author of each accepted submission must register for and attend the Developers Day. Proceedings and Awards =================== Each accepted submission will be allocated no more than two pages in the conference proceedings. Authors are not required to transfer copyright. In addition, there will be awards for the most impactful software, best tutorial, and the best developer engagement given at the Developers Day. Submission Instructions ======================= Submissions must be formatted according to the ACM SIG Proceedings template and are limited to two pages. It is the authors responsibility to ensure that their submissions adhere strictly to the required format. Submissions that do not comply with the formatting guidelines will be rejected without review. Submissions must be in PDF, and must be done through EasyChair: https://easychair.org/conferences/?conf=wwwdevday2016 Program Committee =================== Amy Guy, University of Edinburgh, UK Danny Ayers, Independent, Italy Dominic di Franzo, University of Southampton, UK Evan Patton, RPI, US Guillaume Baudusseau, W3C, France Lea Verou, MIT, US Melvin Carvalho, independent, EU Nandana Mihindukulasooriya, Universidad Politécnica de Madrid, Spain Nicola Greco, MIT, US Phillipe LeHegaret, W3C, US Richard Cyganiak, TopQuadrant, Ireland Ruben Verborgh, Ghent University, BE Sarven Capadisli, Bern University of Applied Sciences, CH / MIT, US Stéphane Corlosquet, independent, Canada Ted Benson, Cloudstitch, US Thomas Steiner, Google, Germany Organizers =================== Oshani Seneviratne, Oracle, US Andrei Sambra, MIT, US Lalana Kagal, MIT, US Updates on the Developers Day can be found at our website: http://dig.csail.mit.edu/2016/WWWDevDay2016/ For any inquiries regarding the WWW Developers Day, please contact the Chairs at wwwdevday2016 at easychair.org Thank you, Oshani, Andrei and Lalana From announce at cs.ucy.ac.cy Wed Nov 25 15:51:06 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 25 Nov 2015 16:51:06 +0200 Subject: 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016): First Call for Papers Message-ID: *** First Call for Papers *** 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016) Aug. 31st - Sept. 2nd, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJMTQzMDEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fseaa2016.cs.ucy.ac.cy Collocated with the 19th Euromicro Conference on Digital Systems Design (DSD 2016) SCOPE The Euromicro Conference series on Software Engineering and Advanced Applications (SEAA) is a long-standing international forum for researchers, practitioners from business and industry, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems. CONFERENCE TRACKS AND SESSIONS MAIN TRACK TOPICS · ESE: Embedded Software Engineering (Chairs: Etienne Borde, David Griffin) · MOCS: Model-based Development, Components and Services (Chairs: Kung-Kiu Lau and Tomas Bures) · SM: Software Management: Measurement, Peopleware and Innovation (Chairs: Onur Demirors and Giuseppe Scanniello) · SPPI: Software Process and Product Improvement (Chairs: Dietmar Winkler and Stefan Biffl) · SPLSeco: Software Product Lines and Software Ecosystems (Chairs: Imed Hammouda and Eric Knauss) · SMSE: Systematic Literature Reviews and Mapping Studies (Chairs: Steve Counsell and Michael Felderer) SPECIAL SESSIONS · EsPreSSE: Estimation and Prediction in Software & Systems Engineering (inside the SM track) (Chairs: Frank Elberzhager and Dietmar Winkler) · TET-DEC: Teaching, Education and Training for Dependable Embedded and Cyberphysical Systems (inside the ESE track) (Chairs: Erwin Schoitsch and Amund Skavhaug) · SE4SU: Software Engineering for Startups (Chairs: Michel Chaudron and Tommi Mikkonen) · CPS: Cyber-Physical Systems (Chairs: Christian Berger, Horst Wedde, and Karl-Erwin Groflpietsch) · A-BPM: Advancing Business Process Management (Chairs: Oktay Turetken and Werner Schmidt) SUBMISSION GUIDELINES SEAA 2016 encourages the submission of full research papers (maximum 8 pages) and short papers (maximum 4 pages). Papers must contain original unpublished work, describe significant novel contributions, and provide evidence on the validation of results. In particular, reports on industrial applications are welcome. Each manuscript should include the complete paper text, all illustrations, and references. The manuscript should conform to the required CPS format: single-spaced, double column, US letter page size, 10-point size Times Roman font, up to 8 pages. Download templates here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJMTQzMDEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html CPS, Conference Publishing Services, publishes the (ISI indexed) DSD Proceedings, available worldwide through the IEEE Xplore Digital Library. A selection of best papers will be invited to submit extended versions for tentative publication in a Special Section of the journal of Information and Software Technology published by Elsevier http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJMTQzMDEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.elsevier.com%2Flocate%2Finfsof The SEAA conference will also provide best papers awards. All information about the various calls for tracks and sessions can be found at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJMTQzMDEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fseaa2016.cs.ucy.ac.cy Submissions will be handled via EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJMTQzMDEJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dseaa2016 IMPORTANT DATES · Abstract submission: February 8, 2016 · Submission of papers: February 21, 2016 · Notification of acceptance/rejection: April 20, 2016 · Camera-Ready submission: May 13, 2016 CONFERENCE COMMITTEES SEAA 2016 General Chair · George Papadopoulos, University of Cyprus, Cyprus SEAA 2016 Program Chairs · Carmine Gravino, University of Salerno, Italy · Martin Höst, Lund University, Sweden Publicity Chair · Oktay Turetken, Eindhoven University of Technology, The Netherlands Publication Chair · Amund Skavhaug, Norwegian University of Science and Technology, Norway SEAA Steering Committee · Stefan Biffl, Vienna University of Technology, Austria · Michel Chaudron, Chalmers and Gothenburg University, Sweden · Onur Demirors, Middle East Technical University, Turkey · Rick Rabiser, Johannes Kepler University Linz, Austria Join the SEAA LinkedIn Group for updates: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJMTQzMDEJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.linkedin.com%2Fgroups%3Fhome%3D%26gid%3D4205536 To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQk0Mm5kIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nIGFuZCBBZHZhbmNlZCBBcHBsaWNhdGlvbnMgKFNFQUEgMjAxNik6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyOAlBZGRyZXNzZXMJLS0JMTQzMDEJdW5zdWJzY3JpYmUJbm8Jbm8= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Thu Nov 26 10:29:17 2015 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 26 Nov 2015 10:29:17 +0100 Subject: CFP: IJAR Special issue on Probabilistic Logic Programming Message-ID: International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on the 2nd Probabilistic Logic Programming workshop (PLP, http://stoics.org.uk/plp/plp2015). Call for additional contributions. Deadline: Jan 15th, 2016 The 2nd PLP workshop was held on the 31st of August 2015, in Cork, Ireland as part of the International Conference on Logic Programming. We welcome submissions of (improved/extended versions of) papers that were presented at the workshop in Cork, as well as new submissions on all topics of the workshop. Topics include but are not limited to: ------ * 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 Editors ----- Fabrizio Riguzzi (University of Ferrara, Italy) Joost Vennekens (KU Leuven, Belgium) Deadline: 15th January 2016 Submissions: Authors should prepare their manuscript according to the Guide for Authors available from the online submission page of the (IJAR) at http://ees.elsevier.com/ija/admin/default.asp Please select "SI: Prob. Log. Prog. 2015" at the "Article Type" step in the submission process. All papers will be peer-reviewed following the IJAR reviewing procedures. The CFP for this special issue can be found here: http://www.journals.elsevier.com/international-journal-of-approximate-reasoning/call-for-papers/2nd-probabilistic-logic-programming-workshop/ The special issue will follow the Virtual Special Issue (VSI) model: an online-only grouping of articles traditionally assigned to a single special issue. Each article in a VSI is published in a regular journal issue as soon as available. A VSI speeds up the publication of individual articles as, unlike the publication process for conventional Special Issue articles, a VSI does not need to wait for the final article to be ready before publication. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.bikakis at ucl.ac.uk Thu Nov 26 17:16:36 2015 From: a.bikakis at ucl.ac.uk (Antonis Bikakis) Date: Thu, 26 Nov 2015 16:16:36 +0000 Subject: SETN2016 - Paper Submission Deadline Extension In-Reply-To: References: <564C6E37.90402@auth.gr> <564DC13C.50308@auth.gr> <565713CB.8010204@csd.auth.gr> Message-ID: Due to numerous requests, the deadline for paper submission has been extended by 2 weeks. The new (and final) deadline for paper submission is Monday 14 of December Cordially SETN2016 Chairs ** SETN 2016 DEADLINE EXTENSION ** 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. == NEWS == * NECTAR Session for papers already accepted in well established AI conferences * Best Paper Award and Best Student Paper Award == BACKGROUND == The Hellenic Conference on Artificial Intelligence is organized bienially 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 == All paper submissions (except for NECTAR papers) will be handled electronically via the EasyChair Conference management system at the following address: https://easychair.org/conferences/?conf=setn2016 Submission of NECTAR papers is possible via email to the Program Committee Chairs until 28/2/2016 (note that the deadline for original papers does not apply to NECTAR ones). The papers that are eligible for presentation in the NECTAR session are those that were presented (or accepted for presentation) in distinguished AI conferences from 1/1/2014 until the deadline for NECTAR paper submission. In the email please include details concerning the conference where the paper was originally presented. The proceedings of the conference (except for the NECTAR session) 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. The submitted papers will be peer-reviewed on the basis of technical quality, relevance to AI, originality, significance, and clarity. Note that submitted papers (except for NECTAR 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 original 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: December 14, 2015 Author Notification: February 15, 2016 Camera Ready Paper Submission Deadline: February 28, 2016 NECTAR 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 ( nbassili at csd.auth.gr) Antonis Bikakis, University College London, UK (a.bikakis at ucl.ac.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: From announce at cs.ucy.ac.cy Thu Nov 26 17:37:54 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 26 Nov 2015 18:37:54 +0200 Subject: 19th Euromicro Conference on Digital System Design (DSD 2016): First Call for Papers Message-ID: <7AO3M1YU-78A-WNMM-DFJC-WORNNV34S0RQ@cs.ucy.ac.cy> *** First Call for Papers *** 19th Euromicro Conference on Digital System Design (DSD 2016) Aug. 31st - Sept. 2nd, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQkxOXRoIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIERpZ2l0YWwgU3lzdGVtIERlc2lnbiAoRFNEIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjkJQWRkcmVzc2VzCTEyNDEwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fdsd2016.cs.ucy.ac.cy Collocated with the 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016) SCOPE The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications. It focuses on today's and future challenges of advanced system architectures for embedded and high-performance HW/SW systems, application analysis and parallelization, design automation for all design levels, as well as, on modern implementation technologies from full custom in nanometer technology nodes, through FPGAs, to multi-core infrastructures. It covers a multitude of highly relevant design aspects from system, hardware and embedded-software specification, modeling, analysis, synthesis and validation, through system adaptability, security, dependability and fault tolerance, to system energy consumption minimization and multi-objective optimization. Authors are kindly invited to submit their work according (but not limited) to the seven main topics of the conference main track. In addition, eight Special Sessions (with their own coordinators and subprogram committees) do also welcome contributions in specific themes of particular interest. All papers are reviewed following guidelines, quality requirements and thresholds that are common to all committees. MAIN TOPICS T1: Advanced applications of embedded and cyber-physical systems Challenging and highly-demanding modern applications in (wireless) communication and networking; networked electronic media, multimedia and ambient intelligence; image and video processing; mobile systems; ubiquitous, wearable and implanted systems; military, space, avionics, measurement, control and automotive applications; wireless sensor network applications; surveillance and security; environmental, agriculture, urban, building, transportation, traffic, energy, hazard and disaster monitoring and control. T2: Application analysis and parallelization for embedded and high- performance hardware and software design Application profiling, characterization and bottleneck detection; application restructuring for parallelism; application parallelization, information-flow analysis, scheduling and mapping for application-specific processor; MPSoC memory and communication architecture synthesis; HW/SW co-design and algorithm/architecture matching; combined hardware/software design space exploration and HW/SW system multi-objective optimization; parallelization, scheduling and mapping of applications for (heterogeneous) processor and MPSoC architectures; re-targetable (application-specific) compilation; architectural support for compilers/programming models; performance, energy consumption and other parametric analysis for HW/SW systems; analytical modeling and simulation tools; benchmark applications, workload and benchmarking for heterogeneous HW/SW systems; virtual and FPGA-based system prototyping. T3: Specification, modeling, analysis, verification and test for systems, hardware and embedded software Modeling, simulation, design and verification languages; functional, structural and parametric specification and modeling; model-based design and verification; system, hardware, and embedded software analysis, simulation, emulation, prototyping, formal verification, design-for-test and testing at all design levels; dependability, safety, security and fault-tolerance issues. T4: Design and synthesis of systems, hardware and embedded software Quality-driven design; model-, platform- and template-based design; design-space exploration; multi-objective optimization; system, processor, memory and communication architecture design; application scheduling and mapping to platforms; (Heterogeneous) multiprocessor systems on-a-chip (MPSoC), hardware multiprocessors and complex accelerators; generic system platforms and platform-based design; processor, memory and communication architectures; 3D MPSoCs and 3D NoCs; ASIP- and GPU-based platforms; software design and programming models for multicore platforms; IP design, standardization and reuse; parallelism exploitation and scalability techniques; virtual components; system of systems; compiler assisted MPSoCs; hardware support for embedded kernels; embedded software features; static, run-time and dynamic optimizations of embedded MPSoCs; benchmarks and benchmarking for MPSoCs; NoC architecture and quality of service; power dissipation and energy issues in SoCs and NoCs. T6: Programmable/reconfigurable/adaptable architectures Design methodologies and tools for reconfigurable computing; run-time, partial and dynamic reconfiguration; fine-grained, mixed-grained and coarse-grained reconfigurable architectures; reconfigurable interconnections and NoCs; FPGAs; systems on reconfigurable chip; system FPGAs, structured ASICs; co-processors; processing arrays; programmable fabrics; adaptive computing devices, systems and software; adaptable ASIPs and ASIP-based MPSoCs; hardware accelerators; optimization of FPGA-based cores; shared resource management; novel models, design algorithms and tools for FPGAs and FPGA-based systems; rapid prototyping systems and platforms; adaptable wireless and mobile systems. T7: New issues introduced by emerging technologies Important issues for system, circuit and embedded software design introduced by e.g. the nanometer CMOS and beyond CMOS technologies, 3D integration, optical and other new memory and communication technologies; new human-machine interfaces; neural- and bio-computation; (bio) sensor and sensor network technologies; pervasive and ubiquitous computing (Internet of Things); related design methods and EDA tools; Flexible Digital Radio-digital architecture design and methodologies concepts for multi-standard, multi-mode flexible radios. SPECIAL SESSIONS/ORGANIZERS DTFT: Dependability, Testing and Fault Tolerance in Digital Systems H. Kubatova (CTU Prague, CZ), Z. Kotasek (TU Brno, CZ) MCSDIA: Mixed Criticality System Design, Implementation and Analysis K. Gruttner (OFFIS, DE), E. Villar (TEISA U Cantabria, ES) AHSA: Architectures and Hardware for Security Applications Paris Kitsos (TEI of Western Greece, GR) DCPS: Design of Heterogeneous Cyber-Physical Systems M. Geilen, (TUE, NL), D. Quaglia (U Verona, IT) ASHWPA: Advanced Systems in Healthcare, Wellness and Personal Assistance F. Leporati (U Pavia, IT) ASAIT: Architectures and Systems for Automotive and Intelligent Transportation S. Niar (U Valenciennes, FR) SDSG: System Design for the Smart Grid R. Jacobsen (Aarhus U, DK), E. Ebeid (Aarhus U, DK) EPDSD: European Projects in Digital System Design F. Leporati (U Pavia, IT), L. Jozwiak (TUE, NL) SUBMISSION GUIDELINES Authors are encouraged to submit their manuscripts to http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQkxOXRoIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIERpZ2l0YWwgU3lzdGVtIERlc2lnbiAoRFNEIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjkJQWRkcmVzc2VzCTEyNDEwCWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Ddsd2016. Should an unexpected web access problem be encountered, please contact the Program Chair by email (dsd2016 at easychair.org). Each manuscript should include the complete paper text, all illustrations, and references. The manuscript should conform to the IEEE format: single-spaced, double column, US letter page size, 10-point size Times Roman font, up to 8 pages. In order to conduct a blind review, no indication of the authors' names should appear in the manuscript, references included. CPS, Conference Publishing Services, publishes the (ISI indexed) DSD Proceedings, available worldwide through the IEEE Xplore Digital Library. Extended versions of selected best papers will be published in a special issue of the ISI indexed "Microprocessors and Microsystems: Embedded Hardware Design" Elsevier journal http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQkxOXRoIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIERpZ2l0YWwgU3lzdGVtIERlc2lnbiAoRFNEIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjkJQWRkcmVzc2VzCTEyNDEwCWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.journals.elsevier.com%2Fmicroprocessors-and-microsystems%2F IMPORTANT DATES · Submission of papers: April 8, 2016 · Notification of acceptance/rejection: May 30, 2016 · Camera-Ready submission: June 27, 2016 DSD STEERING COMMITTEE · Lech Jozwiak (TU Eindhoven, NL) - Chairman · Krzysztof Kuchcinski (U Lund, SE) · Antonio Nunez (IUMA/ULPGC, ES) · Francesco Leporati (U Pavia, IT) · Eugenio Villar (TEISA U Cantabria, ES) · Jose Silva Matos (U Porto, PT) PROGRAM CHAIRS · Paris Kitsos (TEI West. Greece, GR) - Chair · Odysseas Koufopavlou (U Patras, GR) - Honorary Chair GENERAL CHAIR · George A. Papadopoulos (U Cyptus, CY) To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQkxOXRoIEV1cm9taWNybyBDb25mZXJlbmNlIG9uIERpZ2l0YWwgU3lzdGVtIERlc2lnbiAoRFNEIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMjkJQWRkcmVzc2VzCS0tCTEyNDEwCXVuc3Vic2NyaWJlCW5vCW5v -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Visser at uva.nl Fri Nov 27 12:16:00 2015 From: A.Visser at uva.nl (Visser, A.) Date: Fri, 27 Nov 2015 11:16:00 +0000 Subject: Call for Participation: The Future of Rescue Simulation workshop 29 Feb - March 4, 2016. In-Reply-To: <0963669047ECDE4B9EF137DF26A5E2504387B043@MBX04.uva.nl> References: <0963669047ECDE4B9EF137DF26A5E2504387B00B@MBX04.uva.nl> <0963669047ECDE4B9EF137DF26A5E2504387B043@MBX04.uva.nl> Message-ID: <0963669047ECDE4B9EF137DF26A5E25044749470@MBX04.uva.nl> (Apologies for cross-postings.) This is a kind reminder that the deadline of the Workshop is approaching fast. The positive news is that for a limited number of participants (25) a small amount travel support (€ 300) is available, which could cover your stay in the Netherlands. The workshop itself has no registration fee. ********************************************************************************************************************** Call for Participation The Workshop on the Future of Rescue Simulation 29 Feb - March 4, 2016 Snellius Venue, Lorentz Center Niels Bohrweg 1, Leiden, The Netherlands https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ ********************************************************************************************************************** Important Dates ------------------- Pre-registration: December 1th, 2015 Participant selection: December 15th, 2015 (25 participants) Registration: December 31th, 2015 Workshop Goal ----------------- The goal of the workshop is to redefine the challenge of the RoboCup Rescue Simulation virtual robot competition, make the transition from the current Unreal based environment towards a ROS / Gazebo based environment and define the roadmap of the scientific challenge in the competition for the coming 5 years. Participants -------------- The workshop is a combination of brainstorming and hacking; lectures and tutorials. The venue has a small lecture room, 7 offices and a common room. We actively promote involvement from all over the world, from participants involved in related initiatives, such as the virtual competition of the DARPA Robotics Challenge, the Japan Virtual Robotics Challenge and the real RoboCup Rescue League. Pre-registration procedure ----------------------- The venue and workshop has a limit of 25 participants. Participants will be selected based on their technical and academic background, as indicated in the pre-registration form: https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/IntentWorkshop.txt. Please email this form as attachment to francesco.amigoni at polimi.it The selection of participants will be made on a good distribution of diversity and contribution potential. Program ---------- Monday - Getting accustomed to USARSim / Gazebo / ROS Tuesday - Modifying Gazebo with new sensor / actuator models Wednesday - Creating a rescue world for Gazebo Thursday - Setting up a try-out competition Friday - Try to apply your code to real robots A more detailed program is maintained at https://staff.fnwi.uva.nl/a.visser/activities/FutureOfRescue/ Travel support --------------- Depending on the contribution of the sponsors, partial travel support could be available for the participants. Workshop organizers ---------------- Arnoud Visser, Universiteit van Amsterdam Francesco Amigoni, Politecnico di Milano, Italy Masaru Shimizu, Chukyo University, Aichi, Japan -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Nov 28 20:18:45 2015 From: grlmc at grlmc.com (GRLMC) Date: Sat, 28 Nov 2015 20:18:45 +0100 Subject: BigDat 2016: early registration deadline 12 December Message-ID: <6267ffa8c42cc4ffe3ec0075cafbe168@grlmc.com> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************   2ND INTERNATIONAL WINTER SCHOOL ON BIG DATA   BIGDAT 2016 BILBAO, SPAIN FEBRUARY 8-12, 2016 Organized by: DeustoTech, University of Deusto Rovira i VirgiliUniversity http://grammars.grlmc.com/bigdat2016/ ******************************************************** --- Early registration deadline: December 12, 2015 --- ******************************************************** AIM: BigDat 2016 will be a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 20 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. BigDat 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2016 will take place in Bilbao, the capital of the Basque Country region, famous for its gastronomy and the seat of the GuggenheimMuseum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao KEYNOTE SPEAKERS: Nektarios Benekos (European Organization for Nuclear Research), Role of Computing and Software in Particle Physics Chih-Jen Lin (NationalTaiwanUniversity), When and When Not to Use Distributed Machine Learning Jeffrey Ullman (StanfordUniversity), Theory of MapReduce Algorithms Alexandre Vaniachine (Argonne National Laboratory), Big Data Technologies and Data Science Methods in the Higgs Boson Discovery PROFESSORS AND COURSES: Nektarios Benekos (European Organization for Nuclear Research), [introductory/intermediate] Exploring the Mysteries of our Cosmos: the Big Deal between Big Data and Big Science Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Edward Y. Chang (HTC Health, Taipei), [introductory/intermediate] Big Data Analytics for Healthcare: Scalable Algorithms and Applications Nello Cristianini (University of Bristol), [introductory] THINKBIG: Towards Large Scale Computational Social Sciences, History and Digital Humanities Ernesto Damiani (University of Milan), [introductory/intermediate] Architectures, Models and Tools for Big-Data-as-a-Service Francisco Herrera (University of Granada), [introductory] Big Data Preprocessing George Karypis (University of Minnesota), [intermediate/advanced] Scaling Up Recommender Systems Chih-Jen Lin (NationalTaiwanUniversity), [introductory/intermediate] Large-scale Linear Classification Geoff McLachlan (University of Queensland), [intermediate/advanced] Big Data Extensions of Some Methods of Classification and Clustering Wladek Minor (University of Virginia), [introductory/intermediate] Big Data in Biomedical Sciences Raymond Ng (University of British Columbia), [introductory/intermediate] Mining and Summarizing Text Conversations Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Granular Mining: Relevance to Big Data Erhard Rahm (University of Leipzig), [introductory/intermediate] Scalable and Privacy-preserving Data Integration Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services Jaideep Srivastava (Qatar Computing Research Institute), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance Jeffrey Ullman (StanfordUniversity), [introductory] Big Data Algorithms that Aren't Machine Learning Alexandre Vaniachine (Argonne National Laboratory), [introductory/advanced] Big Data: Comparison with Computational Models Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Big Data Analytics for Social Networks Fuli Yu (Baylor College of Medicine), [introductory/intermediate] Overview of Large-scale Genomics and Variant Analysis Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory/intermediate] Large Scale Graph Analytics and Mining OPEN SESSION An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to adrian.dediu (at) urv.cat by February 5, 2016. ORGANIZING COMMITTEE: Adrian Horia Dediu Carlos Martín-Vide (co-chair) Iker Pastor López (co-chair) Borja Sanz (co-chair) Florentina Lilica Voicu REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2016/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Participants are expected to attend full-time. Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu (at) urv.cat ACKNOWLEDGEMENTS: University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sun Nov 29 14:56:10 2015 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 29 Nov 2015 15:56:10 +0200 Subject: The 15th International Conference on Software Reuse (ICSR 2016): Third Combined Call for Contributions Message-ID: *** Third Combined Call for Contributions *** The 15th International Conference on Software Reuse (ICSR 2016) June 5-7, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFRoaXJkIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzAJQWRkcmVzc2VzCTExMzQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficsr2016%2F For decades the International Conference on Software Reuse (ICSR) has been the premier event in the field of software reuse research and technology. The main goal of ICSR is to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 15th International Conference on Software Reuse (ICSR 2016) will be held on June 5-7 2016, in Cyprus. CALL FOR RESEARCH PAPERS We invite submissions on new and innovative research results and industrial experience reports in the area of software reuse. The guiding theme of ICSR 2016 is: Software reuse: bridging with social-awareness Development online social networks are gaining ground lately with software engineers participating in different fora collaborating and exchanging ideas and expertise. Software reuse needs to utilize, but also strengthen, this new form of synergies that can be built among engineers. ICSR special theme aims to bring this aspect in software reuse by raising social-awareness, strengthening the existing platforms and tools, and utilizing the vast software information that exists in development social networks. Amongst the numerous important challenges we identified the following major topics for research focusing on reuse with social-awareness: · Social network interactions between developers to support software reuse · Utilization of online social development tools for software reuse · Software reuse to enhance social-awareness · Trust, security and semantic issues of social aspects of software reuse Beyond those novel challenges for software reuse, we solicit submissions dealing with all aspects of software reuse, including, but not limited to the following ones: · Domain analysis and modelling · Asset search and retrieval · Architecture-centric reuse approaches · Component-based reuse · Service-oriented architectures · COTS-based development and reuse of open source assets · Generative development · Domain-specific languages · Software composition and modularization · Model-driven development · Reengineering for reuse · Software product line techniques · Quality assurance for software reuse, such as testing and verification · Reuse of non-code artifacts (process, experience, etc.) · Economic models of reuse · Benefit and risk analysis, scoping · Legal and managerial aspects of reuse · Transition to software reuse · Industrial experience with reuse · Light-weight reuse approaches · Agile reuse · Software evolution and reuse · Reuse for mobile and ubiquitous applications Paper Submission Novel and well-founded work in the wider area of software reuse is highly welcome. We look for strong research work which might have a strong theoretical or empirical foundation. Theoretical work should in particular provide innovative ideas and should be based on a sound theoretical basis. Empirical work based on case studies, empirical research and experiments is also highly welcome. Industrial submissions describing practical experience are also strongly encouraged. Submissions must conform to Springer's Lecture Notes in Computer Science format, and are limited to 16 pages in length, in English. Short papers (up to 8 pages) are accepted as well and should be marked accordingly. You will be able to submit your paper via Easychair. Each submission will be reviewed by at least three members of the Program Committee. We plan to have a best paper award for this conference, details will be announced in due time. Accepted papers will be published in Springer's highly visible LNCS series again. Please note that a full conference (i.e. not a student) registration is required for a technical paper to be published. Moreover, the prestigious Journal of Systems and Software will dedicate a special issue on software reuse for which the authors of selected papers from the conference will be invited to submit an extended version (containing at least 30% new material). The CFP of the special issue can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFRoaXJkIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzAJQWRkcmVzc2VzCTExMzQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.journals.elsevier.com%2Fjournal-of-systems-and-software%2Fcall-for-papers%2Fspecial-issue-on-software-reuse-cfp%2F CALL FOR WORKSHOP PROPOSALS ICSR 2016, the premier conference on software reuse, invites proposals for one-day and half-day workshops to be hosted in conjunction with the conference. Since software reuse is pervasive in all aspects of software development, workshops on a variety of topics including, but not limited to those listed above may be appropriate. Submissions in the area of the conference's main topic will receive preferential treatment. Workshop proposals are limited to 3 pages in length. The proposal should include the following information: · A title of the workshop · Names of organizers and their affiliations · A summary of workshop objectives · A statement of why the workshop would be of interest to potential ICSR attendees · A description of the qualifications of the organizers to host the workshop · A preliminary schedule for the workshop · Your estimates on number of interested attendees · Any past experience with hosting such workshops · Any special workshop requirements · A one-page Workshop CFP (such as the one the organizers would send out to invite attendees). Please email your workshop proposals to Tommi Mikkonen (tjm at cs.tut.fi). Proposals are reviewed as they are received on a first come first served basis. Workshop descriptions and associated papers will be part of the conference post-proceedings. Springer will be contacted for potential inclusion in the Communications in Computer and Information Science (CCIS) series (http://www.springer.com/series/7899). CALL FOR TUTORIAL PROPOSALS ICSR 2016, the premier conference on software reuse, invites submissions for tutorial proposals. The purpose of the tutorial program is to provide participants with the opportunity to expand their software reuse knowledge and skills. Tutorials may focus on well-established or cutting-edge topics, particularly welcome are those consistent with ICSR 2016 theme, and in general the ones concerning software reuse as listed in the CFP. Proposals for tutorials are limited to 3 pages and should include: · The tutorial title and keywords · The tutorial length (half or full day) · Presenter information (short bio) · Tutorial description, history (if a similar tutorial was given before by the presenters) · Presentation format/method including technical requirements (beamer, whiteboards, etc.) Please email your tutorial proposals to Tommi Mikkonen (tjm at cs.tut.fi). Tutorial proposals are reviewed as they are received on a first come first served basis. Tutorial descriptions will not appear in the ICSR Proceedings, but all speakers can have any relevant materials posted on the ICSR web site. DOCTORAL SYMPOSIUM CALL FOR PAPERS The goal of the Doctoral Symposium is to provide a forum for doctoral students working in the area of software reuse (or in areas closely related to reuse) to discuss their proposed thesis. Students will get feedback on their work from the Symposium Expert Panelists, and will be able to attend regular ICSR sessions. Participants will present their work highlighting the main research challenges, solution directions, results obtained thus far, evaluation plan, and research plan towards the completion of the Ph.D. studies. Presentation - limited to twenty minutes - should be supported by slides. An Expert Panel composed of software reuse researchers will provide feedback to help students shape their work. There will be an award for the most promising idea for original research. The winner will be selected based on the submitted paper, presentation and discussions. Accepted papers will be published (probably at CEUR, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFRoaXJkIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzAJQWRkcmVzc2VzCTExMzQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fceur-ws.org%29. Submission Instructions Currently registered doctoral students are invited to submit their proposal for participation in the Doctoral Symposium, provided they have already selected a research topic and outlined the research plan in some detail. The event serves as an opportunity to receive early feedback on a thesis topic or later feedback to help tune a dissertation. To be considered, a student should submit a research papers and his/her supervisor should submit a recommendation letter as follows: The research paper should be written in the style of the thesis proposal, addressing the research problem description and its importance (who will benefit from the solution and how), research challenges, research approach, related work (highlight the novelty of your approach), results to date, plans for evaluation, and references. Please indicate on the top of the front page: your name, the date (month/year) that you started your Ph.D., the expected defense date (month/year), and the name of your advisor. The paper is limited to four pages in length and must conform to Springer's Lecture Notes in Computer Science format. Submit the paper directly to the symposium chair Maurizio Morisio (maurizio.morisio at polito.it), with subject "ICSR DS Symposium Proposal". Recommendation letter: A thesis advisor should e-mail a brief recommendation letter directly to the symposium chair Maurizio Morisio, with subject "ICSR DS Symposium Recommendation Letter". An Expert Panel will evaluate all submissions and accepted proposals will be presented at the ICSR Doctoral Symposium. It is important to notice that the person that will present an accepted paper must be the doctoral student, author of the paper. Professors and colleagues are not allowed to present papers on behalf of the doctoral student. CALL FOR TOOL DEMONSTRATIONS The ICSR Tool Demonstrations enable industry and academic researchers to share their ideas and present the state of the art and practice in Software Reuse. ICSR 2016 presents an excellent opportunity for researchers and professional software engineers to present their working tools and systems to the Software Reuse community. Submission Instructions We invite proposals for tool demonstrations on any topics related to software reuse. Tools suggesting their reuse recommendations directly in IDEs (such as Eclipse etc.) are especially welcome. All selected tools will be presented during the conference in two ways: · A formal lecture-style presentation session · An informal demo session where individuals can walk around, ask specific questions, and interact with the tools. Submissions should not exceed four pages in proceedings format. Proposals for tool demonstrations should be sent to the tools demonstration chair Frederik Kramer (frederik.kramer at initos.com). Demo papers are envisaged to appear as a technical report online. Authors are encouraged to share their tools and presentations as well as illustrative videos. IMPORTANT DATES FOR ALL TYPES OF SUBMISSIONS · Submission of research papers and industrial reports: 28 December 2015 · Notification for research papers and submission reports: 25 February 2016 · Camera Ready submission of research papers and industrial reports: 10 March 2016 · Special Issue JSS: 03 October 2016 · Submission of workshop proposals: 28 January 2016 · Notification for workshop proposals: 10 February 2016 · Submission of tutorial proposals: 28 January 2016 · Notification for tutorial proposals: 10 February 2016 · Submission of Doctoral Symposium papers: 28 January 2016 · Notification for Doctoral Symposium papers: 20 February 2016 · Camera Ready submission of Doctoral Symposium papers: 10 March 2016 · Submission of tool demos : 28 January 2016 · Notification for tool demos: 20 February 2016 COMMITTEES General Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Co-Chairs · Georgia Kapitsaki (University of Cyprus, Cyprus) · Eduardo Almeida (Federal University of Bahia, Brazil) Doctoral Consortium Chair · Maurizio Morisio (Politecnico di Torino, Italy) Workshops and Tutorials Chair · Tommi Mikkonen (Tampere University of Technology, Finland) Industry Fair/Tools Chair · Frederik Kramer (Otto-von-Guericke-Universitat Magdeburg, initOS, Germany) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFRoaXJkIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzAJQWRkcmVzc2VzCTExMzQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Ficsr2016%2Fpco.html To be removed from this list, please click this link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?un=ZXZlbnQgLAkJCWV2ZW50QGluLnR1LWNsYXVzdGhhbC5kZQlUaGUgMTV0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgUmV1c2UgKElDU1IgMjAxNik6IFRoaXJkIENvbWJpbmVkIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMJMzAJQWRkcmVzc2VzCS0tCTExMzQ3CXVuc3Vic2NyaWJlCW5vCW5v -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: