From grlmc at grlmc.com Mon Aug 1 11:21:40 2016 From: grlmc at grlmc.com (GRLMC) Date: Mon, 01 Aug 2016 11:21:40 +0200 Subject: TPNC 2016: extended submission deadline August 8 Message-ID: <545102060a010b02035e520a0f025a555b560c580b5202020a045b54060300515402030e570f085507025954540b58@grlmc_ip-zone_com-6> TPNC 2016: extended submission deadline August 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: August 8 ***** ----------------------------------------------------------------------------   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect   Luis Martínez López (University of Jaén), Managing Natural Noise in Recommender Systems   Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Soft Computing (Springer, 2014 JCR impact factor: 1.304) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/TPNC2016/Registration.php   DEADLINES:   Paper submission: August 8, 2016 (23:59h, CET) – EXTENDED – Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 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:   Tohoku University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Mon Aug 1 14:37:30 2016 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Mon, 1 Aug 2016 14:37:30 +0200 Subject: Doctoral candidate (PhD student) in Knowledge Representation and Reasoning (M/F) Message-ID: The Individual and Collective Reasoning Group (ICR) in the Computer Science and Communications research unit (CSC) at the University of Luxembourg is looking for a: *Doctoral candidate (PhD student) in Knowledge Representation and Reasoning (M/F)* * Ref: F1-070075 * 14 months fixed-term contract, extendable to 36 months in total, full-time (40h/week) * Start date as soon as possible * Student status The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre at the University of Luxembourg. ICR is active in several strongly interrelated areas, notably * Normative multi-agent systems and deontic/legal reasoning * Logic-based knowledge representation and reasoning * Argumentation, nonmonotonic reasoning, and belief revision * Autonomous intelligent agents and cognitive robotics Your Role * Write a doctoral dissertation in a relevant area * Disseminate results through scientific publications * Assist in ICR teaching activities For further inquiries please contact Prof. Leon van der Torre, leon.vandertorre at uni.lu Your Profile * A Master degree in Computer Science or a related discipline * An interest in interdisciplinary research, and in both, conceptual and formal aspects * Background in knowledge representation and reasoning * Strong analytical capacities, creativity, and commitment * Excellent written and oral English skills. Further Information You will have the possibility to work in an excellent, very international and well-connected research environment on a new campus. Applications should be written in English and include the following documents: * An introduction letter indicating your motivation, * A detailed Curriculum vitae, * A transcript of the grades you received in your Bachelor and Master, * A short description of your master thesis, * Three names of references * A description of possible doctoral research interests Please apply online by September 15, 2016. http://emea3.mrted.ly/153t7 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Tue Aug 2 08:37:57 2016 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Tue, 2 Aug 2016 08:37:57 +0200 Subject: Submission deadline extended to August 15: MIWAI 2016 - 10th Multi-Disciplinary International Workshop on Artificial Intelligence Message-ID: <068cc04b-44c3-8216-990b-277c6e71f9d1@hs-harz.de> /Submission deadline extended to August 15!/ MIWAI 2016 - 10th Multi-Disciplinary International Workshop on Artificial Intelligence Chiang Mai, Thailand December 7-9, 2016 Call for Papers IMPORTANT DATES Submission deadline: August 15, 2016 (extended!) Author notification: September 9, 2016 Camera-ready papers due: September 19, 2016 Workshop dates: December 7-9, 2016 The time for deadlines is in Hawaii Standard Time. Further Information: ABOUT MIWAI Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others. The ever-evolving needs in society and business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to helpeach other better. CALL FOR PAPERS Artificial intelligence is a broad area of research. We encourage researchers to submit papers in the following areas but not limited to: THEORY, METHODS AND TOOLS Cognitive Science Computational Philosophy Computational Intelligence Computer Vision Evolutionary Computing Game Theory Knowledge Representation and Reasoning Machine Learning Multi-agent Systems Natural Language Processing Planning and Scheduling Robotics Speech Recognition Uncertainty in AI Vision Web and AI APPLICATIONS Ambient Intelligence Big Data Biometrics Bioinformatics Chatbots Decision Support Systems E-commerce Industrial Applications of AI Knowledge Management Telecommunications and Web Services Surveillance Spam Filtering Software Engineering Social Networking Security Semantic Web Recommender Systems Privacy SUBMISSION Both research and application papers are solicited. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Each paper should have no more than twelve (12) pages in the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Unpublished work of the authors should not be cited. As in the previous years, the proceedings will be published in Springer's Lecture Notes in Artificial Intelligence (LNAI) series. Springer-Verlag author instructions are available at: . NO-SHOW POLICY MIWAI strongly expects its submitting authors to adhere to the academic code of honour. In particular, this means that any paper that is eventually accepted to the technical program will be on the understanding that at least one co-author of the paper both registers *and attends* the workshop to present the paper. KEYNOTE SPEAKERS Prof. Rina Dechter, Ph.D, University of California, Irvine, USA Prof. Michael Thielscher, University of New South Wales, Sydney, Australia COMMITTEES Steering Committee Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Jérôme Lang, University Paris-Dauphine, France James F. Peters, University of Manitoba, Canada Srinivasan Ramani, IIIT Bangalore, India C Raghavendra Rao, University of Hyderabad, India Leon Van Der Torre, University of Luxembourg, Luxembourg Conveners Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand Honorary Chair Sujin Butdisuwan, Mahasarakham University, Thailand General Co-Chairs Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Abhaya Nayak, Macquarie University, Sydney, Australia Program Co-Chairs Chattrakul Sombattheera, Mahasarakham University, Thailand Frieder Stolzenburg, Harz University of Applied Sciences, Germany Publicity Co-chair Olarik Surinta, Mahasarakham University, Thailand Program Committee see workshop website CONTACT Dr. Chattrakul Sombattheera Faculty of Informatics Mahasarakham University Khamreang, Kantarawichai Mahasarakham Thailand 44150 Email: Tel/Fax: +66 43 754 359 From geoff at cs.miami.edu Tue Aug 2 15:30:43 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 2 Aug 2016 09:30:43 -0400 (EDT) Subject: ICLA 2017 Call for Papers Message-ID: <20160802133043.C0AFF121680@mcclellan.cs.miami.edu> ------ CALL FOR PAPERS for ICLA 2017 ------- 7th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS January 5-7, 2017 IIT Kanpur, India http://www.cse.iitk.ac.in/users/icla/ CALL FOR PAPERS ALI, the Association for Logic in India, announces the seventh edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Kanpur, from January 5 to 7, 2017. ICLA 2017 will be co-located with the Methods for Modalities Workshop to be held during January 8-10, 2017. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. Details of the last ICLA (2015) may be found at https://www.cse.iitb.ac.in/~icla15/. The earlier events in this series featured many eminent logicians as invited speakers, and we are pleased to announce that this year's speakers will include: Nicholas Asher, IRIT Toulouse Natasha Dobrinen, University of Denver Luke Ong, University of Oxford (to be confirmed) Richard Zach, University of Calgary Submission ---------- Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. Submissions must be in English and should provide sufficient detail to allow the programme committee to assess the merits of the paper. The submission may not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX2e style (Springer's Information for LNCS Authors: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. The submission must be a PDF file. Authors who use Microsoft Word to prepare their submissions should typeset them in 11-pt Times New Roman, with single-line spacing, centered, and with margins on all four sides that are at least 4cm wide. The manuscript should not exceed 12 pages. Springer's Information for LNCS Authors page (mentioned above) contains appropriate templates. The Word document must be exported to PDF before being submitted. All submissions will be in electronic form and submitted via the easychair conference management system. Simultaneous submission to journals or to other conferences with proceedings is not allowed. Submitted papers will be peer- reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. The conference proceedings will appear as a volume in the Springer FoLLI-LNCS series. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. Important Dates ---------------- ************************************************************************ Deadline for Submission: 2 September 2016 Notification to Authors: 8 October 2016 Deadline for camera-ready papers: 17 October 2016 Deadline for early-bird registration: 30 November 2016 ************************************************************************ Important Links --------------- http://ali.cmi.ac.in http://www.cse.iitk.ac.in/users/icla/ Programme Committee ------------------- Natasha Alechina (University of Nottingham) Maria Aloni (University of Amsterdam) Steve Awodey (Carnegie Mellon University, Pittsburgh) Mohua Banerjee (IIT Kanpur) Patricia Blanchette (University of Notre Dame) Maria-Paola Bonacina (Universita degli Studi di Verona) Lopamudra Choudhury (Jadavpur University, Kolkata) Agata Ciabattoni (TU Wien) Anuj Dawar (University of Cambridge) Hans van Ditmarsch (LORIA, Nancy) Sujata Ghosh (ISI Chennai) Co-chair Brendan Gillon (McGill University, Montreal) Roman Kossak (City University of New York) S Krishna (IIT Bombay) Benedikt Loewe (University of Hamburg, University of Amsterdam) Gopalan Nadathur (University of Minnesota) Satyadev Nandakumar (IIT Kanpur) Alessandra Palmigiano (TU Delft) Prakash Panangaden (McGill University, Montreal) Sanjiva Prasad (IIT Delhi) Co-chair R Ramanujam (IMSc, Chennai) Christian Retore (University of Montpellier) Sunil Simon (IIT Kanpur) Isidora Stojanovic (Jean Nicod Institute, Paris) S.P. Suresh (CMI, Chennai) Rineke Verbrugge (University of Groningen) Yanjing Wang (Peking University) Contact ------- Any queries related to the conference may be sent to the following email address: icla2017.iitk at gmail.com From calendarsites at insticc.org Wed Aug 3 11:03:16 2016 From: calendarsites at insticc.org (Calendar Sites) Date: Wed, 3 Aug 2016 10:03:16 +0100 Subject: =?iso-8859-1?Q?cfp_9th_International_Conference_on_Agents_and_Artificial_?= =?iso-8859-1?Q?Intelligence_-_ICAART_2017?= Message-ID: <07ee01d1ed65$ee1ddf70$ca599e50$@insticc.org> CALL FOR PAPERS 9th International Conference on Agents and Artificial Intelligence – ICAART 2017 Website: www.icaart.org 24 - 26 February, 2017 Porto, Portugal Regular Papers Paper Submission: October 4, 2016 Authors Notification: November 28, 2016 Camera Ready and Registration: December 13, 2016 Position Papers Paper Submission: November 8, 2016 Authors Notification: December 13, 2016 Camera Ready and Registration: December 30, 2016 Workshops Workshop Proposal: November 7, 2016 Doctoral Consortium Paper Submission: December 26, 2016 Authors Notification: January 6, 2017 Camera Ready and Registration: January 16, 2017 Special Sessions Special Session Proposal: November 23, 2016 Paper Submission: December 9, 2016 Authors Notification: December 23, 2016 Camera Ready and Registration: January 2, 2017 Tutorials, Demos and Panels Proposals: December 29, 2016 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: FIPA – Foundation for Intelligent Physical Agents WfMC – Workflow Management Coalition OMG – Object Management Group Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: EUSFLAT – European Society for Fuzzy Logic and Technology AEPIA – Spanish Association of Artificial Intelligence EurAI – European Association for Artificial Intelligence AI*IA – Associazione Italiana per l'Intelligenza Artificiale International Fuzzy Systems Association APRP – Associação Portuguesa de Reconhecimento de Padrões AAAI – Association for the Advancement of Artificial Intelligence IBERAMIA – IberoAmerican Society of Artificial Intelligence APPIA – Portuguese Association for Artificial Intelligence The purpose of the International Conference on Agents and Artificial Intelligence is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence. ICAART 2017 will be held in conjunction with ICORES 2017 and ICPRAM 2017. Registration to ICAART allows free access to the ICORES and ICPRAM conferences (as a non-speaker). KEYNOTE LECTURES Vanessa Evers, University of Twente, Netherlands João Leite, Universidade Nova de Lisboa, Portugal Nuno Lau, Universidade de Aveiro, Portugal Francesca Rossi, University of Padova, Italy PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. A short list of papers presented at the conference will be selected for publication of extended and revised versions in a special issue of Springer's LNCS TCCI Journal (This journal will have an edition in 2017 with the papers from ICAART 2016 and 2017). The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icaart.org//BestPaperAward.aspx CONFERENCE CHAIR(S) Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal PROGRAM CO-CHAIRS Jaap van den Herik, Leiden University, Netherlands Ana Paula Rocha, LIACC-NIAD&R / FEUP, Portugal LOCAL CHAIR Brígida Faria, School of Allied Health Sciences - Polytechnic Institute of Porto (ESTSP-IPP), Portugal CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. AGENTS 2. ARTIFICIAL INTELLIGENCE AREA 1: AGENTS - Semantic Web - Multi-Agent Systems - Distributed Problem Solving - Agent Communication Languages - Agent Models and Architectures - Cooperation and Coordination - Conversational Agents - Negotiation and Interaction Protocols - Programming Environments and Languages - Task Planning and Execution - Autonomous Systems - Cognitive Robotics - Group Decision Making - Web Intelligence - Agent Platforms and Interoperability - SOA and Software Agents - Simulation - Economic Agent Models - Mobile Agents - Privacy, safety and security - Collective Intelligence - Physical Agents - Robot and Multi-robot Systems - Self Organizing Systems - Cloud Computing - Auctions and Markets - Agile Management AREA 2: ARTIFICIAL INTELLIGENCE - Intelligent User Interfaces - Bayesian Networks - Soft Computing - Neural Networks - Natural Language Processing - Machine Learning - Planning and Scheduling - Knowledge Representation and Reasoning - Uncertainty in AI - Model-Based Reasoning - Ontologies - Data Mining - Data Science - Constraint Satisfaction - State Space Search - Case-Based Reasoning - Cognitive Systems - Reactive AI - Vision and Perception - Pattern Recognition - Ambient Intelligence - AI and Creativity - Evolutionary Computing - Fuzzy Systems - Knowledge-Based System - Industrial applications of AI - Hybrid Intelligent Systems - Visualization - Knowledge-Based Maps PROGRAM COMMITTEE http://www.icaart.org/ProgramCommittee.aspx ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 e-mail: icaart.secretariat at insticc.org Please check further details at the conference website: http://www.icaart.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Wed Aug 3 11:25:21 2016 From: calendarsites at insticc.org (Calendar Sites) Date: Wed, 3 Aug 2016 10:25:21 +0100 Subject: =?iso-8859-1?Q?CFP_6th_International_Conference_on_Operations_Research_an?= =?iso-8859-1?Q?d_Enterprise_Systems_-_ICORES_2017?= Message-ID: <095b01d1ed69$12564e10$3702ea30$@insticc.org> CALL FOR PAPERS 6th International Conference on Operations Research and Enterprise Systems – ICORES 2017 Website: www.icores.org 23 - 25 February, 2017 Porto, Portugal Regular Papers Paper Submission: October 4, 2016 Authors Notification: November 28, 2016 Camera Ready and Registration: December 13, 2016 Position Papers Paper Submission: November 8, 2016 Authors Notification: December 13, 2016 Camera Ready and Registration: December 30, 2016 Workshops Workshop Proposal: November 7, 2016 Special Sessions Special Session Proposal: November 23, 2016 Tutorials, Demos and Panels Proposals: December 29, 2016 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: GOR – Gesellschaft für Operations Research e.V. OR – The OR Society AFPC – Association Française pour la Programmation par Contraintes EurAgEng – European Society of Agricultural Engineers The purpose of the International Conference on Operations Research and Enterprise Systems (ICORES) is to bring together researchers, engineers and practitioners interested in both advances and applications in the field of operations research. Two simultaneous tracks will be held, covering on one side domain independent methodologies and technologies and on the other side practical work developed in specific application areas. ICORES 2017 will be held in conjunction with ICPRAM 2017 and ICAART 2017. Registration to ICORES allows free access to the ICPRAM and ICAART conferences (as a non-speaker). KEYNOTE LECTURES Dries Goossens, Ghent University, Belgium Olivier Hudry, Télécom ParisTech, France José Oliveira, Universidade do Minho, Portugal PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icores.org/BestPaperAward.aspx CONFERENCE CHAIR Marc Demange, School of Mathematical and Geospatial Sciences, RMIT University, Australia PROGRAM CO-CHAIRS Federico Liberatore, Universidad Carlos III de Madrid, Spain Greg H. Parlier, INFORMS, United States LOCAL CHAIR Pedro Nuno Ferreira Pinto Oliveira, Universidade do Porto, Portugal CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. METHODOLOGIES AND TECHNOLOGIES 2. APPLICATIONS AREA 1: METHODOLOGIES AND TECHNOLOGIES - Stochastic Processes - Simulation - Optimization - Decision Analysis - Management Sciences - Data Mining and Business Analytics - Information Systems - Industrial Engineering - Forecasting - Dynamic Programming - Linear Programming - Inventory Theory - Queuing Theory - Game Theory - Mathematical Modeling - Predictive Analytics - Stochastic Optimization - Analytics for Enterprise (Engineering) Systems - Systems of Systems/Teams and Socio-technical Systems - Design in ES (e.g., real options for flexible design, etc) - Analytical Architecture in ES AREA 2: APPLICATIONS - Decision Support Systems - Supply Chain Management - Project Management - Scheduling - Network Optimization - Routing - Logistics - Energy and Environment - Automation of Operations - Maintenance - Globalization and Productivity - Resource Allocation - Optimization in Finance - Risk Management - OR in Telecommunications - OR in Health - OR in Transportation - OR in National Defense/International Security - OR in Education - Systems of Systems/Teams and Socio-technical Systems - Engines for Innovation - Analytical Architecture in ES PROGRAM COMMITTEE http://icores.org/ProgramCommittee.aspx ICORES Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal – Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 e-mail: icores.secretariat at insticc.org Please check further details at the conference website: http://www.icores.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Wed Aug 3 11:25:21 2016 From: calendarsites at insticc.org (Calendar Sites) Date: Wed, 3 Aug 2016 10:25:21 +0100 Subject: =?iso-8859-1?Q?CFP_6th_International_Conference_on_Pattern_Recognition_Ap?= =?iso-8859-1?Q?plications_and_Methods_-_ICPRAM_2017?= Message-ID: <08b601d1ed68$fd47ae10$f7d70a30$@insticc.org> CALL FOR PAPERS 6th International Conference on Pattern Recognition Applications and Methods – ICPRAM 2017 Website: www.icpram.org 24 - 26 February, 2017 Porto, Portugal Regular Papers Paper Submission: October 4, 2016 Authors Notification: November 28, 2016 Camera Ready and Registration: December 13, 2016 Position Papers Paper Submission: November 8, 2016 Authors Notification: December 13, 2016 Camera Ready and Registration: December 30, 2016 Workshops Workshop Proposal: November 7, 2016 Doctoral Consortium Paper Submission: December 26, 2016 Authors Notification: January 6, 2017 Camera Ready and Registration: January 16, 2017 Special Sessions Special Session Proposal: November 23, 2016 Tutorials, Demos and Panels Proposals: December 29, 2016 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: WfMC – Workflow Management Coalition Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: AI*IA – Associazione Italiana per l’Intelligenza Artificiale INNS – International Neural Network Society APRP – Associação Portuguesa de Reconhecimento de Padrões AAAI – Association for the Advancement of Artificial Intelligence IAPR – International Association for Pattern Recognition The International Conference on Pattern Recognition Applications and Methods would like to become a major point of contact between researchers, engineers and practitioners on the areas of Pattern Recognition, both from theoretical and application perspectives. Contributions describing applications of Pattern Recognition techniques to real-world problems, interdisciplinary research, experimental and/or theoretical studies yielding new insights that advance Pattern Recognition methods are especially encouraged. ICPRAM 2017 will be held in conjunction with ICORES 2017 and ICAART 2017. Registration to ICPRAM allows free access to the ICORES and ICAART conferences (as a non-speaker). KEYNOTE LECTURES ICPRAM 2017 will have several invited keynote speakers, who are internationally recognized experts in their areas. Their names are not yet confirmed. PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.icpram.org/BestPaperAward.aspx CONFERENCE CHAIR Ana Fred, Instituto de Telecomunicações / IST, Portugal PROGRAM CO-CHAIRS Maria De Marsico, Sapienza Università di Roma, Italy Gabriella Sanniti di Baja, ICAR-CNR, Italy CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. THEORY AND METHODS 2. APPLICATIONS AREA 1: THEORY AND METHODS - Exact and Approximate Inference - Density Estimation - Bayesian Models - Gaussian Processes - Model Selection - Graphical and Graph-based Models - Missing Data - Ensemble Methods - Neural Networks - Kernel Methods - Large Margin Methods - Classification - Regression - Sparsity - Feature Selection and Extraction - Spectral Methods - Embedding and Manifold Learning - Similarity and Distance Learning - Matrix Factorization - Clustering - ICA, PCA, CCA and other Linear Models - Fuzzy Logic - Active Learning - Cost-sensitive Learning - Incremental Learning - On-line Learning - Structured Learning - Multi-agent Learning - Multi-instance Learning - Reinforcement Learning - Instance-based Learning - Knowledge Acquisition and Representation - Meta Learning - Multi-strategy Learning - Case-Based Reasoning - Inductive Learning - Computational Learning Theory - Cooperative Learning - Evolutionary Computation - Information Retrieval and Learning - Hybrid Learning Algorithms - Planning and Learning - Convex Optimization - Stochastic Methods - Combinatorial Optimization - Multiclassifier Fusion AREA 2: APPLICATIONS - Natural Language Processing - Information Retrieval - Ranking - Web Applications - Economics, Business and Forecasting Applications - Bioinformatics and Systems Biology - Audio and Speech Processing - Signal Processing - Image Understanding - Sensors and Early Vision - Motion and Tracking - Image-based Modelling - Shape Representation - Object Recognition - Video Analysis - Medical Imaging - Learning and Adaptive Control - Perception - Learning in Process Automation - Learning of Action Patterns - Virtual Environments - Robotics - Biometrics PROGRAM COMMITTEE http://www.icpram.org/ProgramCommittee.aspx ICPRAM Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 e-mail: icpram.secretariat at insticc.org Please check further details at the conference website: http://www.icpram.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Wed Aug 3 11:34:03 2016 From: calendarsites at insticc.org (Calendar Sites) Date: Wed, 3 Aug 2016 10:34:03 +0100 Subject: =?iso-8859-1?Q?CFP_6th_International_Conference_on_Sensor_Networks_-_SENS?= =?iso-8859-1?Q?ORNETS_2017?= Message-ID: <0abe01d1ed6a$49984fd0$dcc8ef70$@insticc.org> CALL FOR PAPERS 6th International Conference on Sensor Networks – SENSORNETS 2017 Website: www.sensornets.org February 19 - 21, 2017 Porto, Portugal Regular Papers Paper Submission: October 7, 2016 Authors Notification: December 2, 2016 Camera Ready and Registration: December 16, 2016 Position Papers Paper Submission: November 11, 2016 Authors Notification: December 16, 2016 Camera Ready and Registration: January 5, 2017 Workshops Workshop Proposal: November 10, 2016 Special Sessions Special Session Proposal: November 28, 2016 Tutorials, Demos and Panels: January 3, 2017 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: FIPA – Foundation for Intelligent Physical Agents OMG – Object Management Group WfMC – Workflow Management Coalition Logistics Partner: SCITEVENTS – Science and Technology Events In Cooperation with: IFSA – International Frequency Sensor Association IET - The Institution of Engineering and Technology Current developments show that in the near future the wide availability of low cost, short range radio technology, along with advances in wireless networking, will enable wireless adhoc sensor networks to become commonly deployed. In these networks, each node may be equipped with a variety of sensors, such as acoustic, seismic, infrared, motion, biomedical and chemical sensors with higher level of information inference associated with identification, embedded signal processing and networking of the data. This conference intends to be the meeting point of researchers and practitioners to share experiences and ideas on innovative developments in any aspect of sensor networks, including Hardware of Sensor Networks, Wireless Communication Protocols, Sensor Networks Software and Architectures, Wireless Information Networks, Data Manipulation, Signal Processing, Localization and Object Tracking through Sensor Networks, Obstacles, Applications and Uses. KEYNOTE LECTURES Nancy Cam-Winget, Cisco Systems, United States Nirwan Ansari, New Jersey Institute of Technology, United States Mirko Presser, Alexandra Instituttet, Denmark PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. A short list of papers presented at conference venue, will be invited to submit to publication in a special issue of Sensors & Transducers Journal. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.sensornets.org//BestPaperAward.aspx CONFERENCE CHAIR César Benavente-Peces, Universidad Politécnica de Madrid, Spain PROGRAM CO-CHAIRS Eric Fleury, INRIA Grenoble - Rhône-Alpes, France Andreas Ahrens, Hochschule Wismar, University of Technology Business and Design, Germany CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. SENSOR NETWORKS SOFTWARE, ARCHITECTURES AND APPLICATIONS 2. SENSOR NETWORKS 3. ENERGY AND ENVIRONMENT 4. INTELLIGENT DATA ANALYSIS AND PROCESSING 5. SECURITY AND PRIVACY IN SENSOR NETWORKS Area 1: Sensor Networks Software, Architectures and Applications - Internet of Things - Modeling and Simulation - Decision Support - Platforms and Operating Systems - Programming and Middleware - Connectivity and Communication - Scheduling, Tasking and Control - Home Monitoring - Ambient Assisted Living - Human-Computer Interfaces - Multi-Agent Systems - Cloud Computing Area 2: Sensor Networks - Technologies and Standards - Wireless Network Protocols - Optical Sensors - Physical Sensors: Temperature, Mechanical, Magnetic, and other - Sensor Networks - Sensor Applications - Wired and Wireless Sensor Systems: Signals, Transceivers, and Interfaces - Routing Techniques - Ad Hoc Networks - Network Performance - Power Management - Network Topologies - Node Mobility - Cross-Layer Design - Connected Vehicles - Networked Embedded Systems - Wearable Computing and Body Area Networks Area 3: Energy and Environment - Green Sensor Networks - Environment Monitoring - Measurement and Control of Water - Air Quality Monitoring - Gas Analysis and Sensing - Remote Sensing and Telemetry - Geospatial Knowledge Management Systems - Fire, Drought and Flood Monitoring - Smart Grids and Energy Control Systems - Energy Efficiency - Environmental Impact Reduction - Industrial and Structural Monitoring Area 4: Intelligent Data Analysis and Processing - Sensor Data Fusion - Multi-sensor Data Processing - Aggregation, Classification and Tracking - Pattern Recognition - Reasoning on Sensor Data - Data Quality and Integrity - Interoperability - Statistical and Adaptive Signal Processing - Information Retrieval and Data Mining - Ontologies - Big Data - Computational Intelligence - Image Processing Area 5: Security and Privacy in Sensor Networks - Security Threats - Cryptography - Infrastructure Reliability - Authentication - Defense and Security - Wireless Surveillance - Visual Sensor Networks - Fault Tolerance and Diagnosis - Vulnerability and Privacy - Biometric Systems - Healthcare Applications PROGRAM COMMITTEE http://sensornets.org/ProgramCommittee.aspx Please check further details at the conference website: http://sensornets.org SENSORNETS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. Tel: +351 265 100 033 Fax: +351 265 520 186 Web: http://www.sensornets.org/ e-mail: sensornets.secretariat at insticc.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calendarsites at insticc.org Wed Aug 3 12:22:02 2016 From: calendarsites at insticc.org (Calendar Sites) Date: Wed, 3 Aug 2016 11:22:02 +0100 Subject: =?iso-8859-1?Q?cfp_2nd_International_Conference_on_Complexity=2C_Future_I?= =?iso-8859-1?Q?nformation_Systems_and_Risk_-_COMPLEXIS_2017?= Message-ID: <0f3701d1ed71$4c07c500$e4174f00$@insticc.org> CALL FOR PAPERS 2nd International Conference on Complexity, Future Information Systems and Risk – COMPLEXIS 2017 Website: http://www.complexis.org/ 24 - 26 April, 2017 Porto, Portugal Regular Papers Paper Submission: November 21, 2016 Authors Notification: January 23, 2017 Camera Ready and Registration: February 6, 2017 Position Papers Paper Submission: January 10, 2017 Authors Notification: February 13, 2017 Camera Ready and Registration: February 24, 2017 Workshops Workshop Proposal: January 3, 2017 Doctoral Consortium Paper Submission: February 17, 2017 Authors Notification: March 3, 2017 Camera Ready and Registration: March 15, 2017 Special Sessions Special Session Proposal: January 19, 2017 Tutorials, Demos and Panels Proposals: February 22, 2017 Open Communications Paper Submission: February 17, 2017 Authors Notification: March 3, 2017 Camera Ready and Registration: March 15, 2017 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: OMG – Object Management Group FIPA – Foundation for Intelligent Physical Agents WfMC – Workflow Management Coalition IFSR – International Federation for Systems Research Logistics Partner: SCITEVENTS – Science and Technology Events Technically Sponsored by: World Federation on Soft Computing COMPLEXIS – the International Conference on Complex Information Systems, aims at becoming a yearly meeting place for presenting and discussing innovative views on all aspects of Complex Information Systems, in different areas such as Informatics, Telecommunications, Computational Intelligence, Biology, Biomedical Engineering and Social Sciences. Information is pervasive in many areas of human activity – perhaps all – and complexity is a characteristic of current Exabyte-sized, highly connected and hyper dimensional, information systems. COMPLEXIS 2017 is expected to provide an overview of the state of the art as well as upcoming trends, and to promote discussion about the potential of new methodologies, technologies and application areas of complex information systems, in the academic and corporate world. KEYNOTE SPEAKERS COMPLEXIS 2017 will have several invited keynote speakers, who are internationally recognized experts in their areas. Their names are not yet confirmed. PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of Applied Soft Computing Journal. A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a Journal of Information Management. A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of Open Journal of Big Data (OJBD). A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of International Journal of Organizational and Collective Intelligence. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://www.complexis.org/BestPaperAward.aspx CONFERENCE CHAIR Victor Chang, IBSS, Xi'an Jiaotong Liverpool University, China PROGRAM CO-CHAIRS Oleg Gusikhin, Ford Motor Company, United States Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Farshad Firouzi, KU Leuven, Germany Dan Mønster, Aarhus University, Denmark DOCTORAL CONSORTIUM CHAIR José FF Mendes, University of Aveiro, Portugal CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. COMPLEXITY IN INFORMATICS, AUTOMATION AND NETWORKING 2. COMPLEXITY IN BIOLOGY AND BIOMEDICAL ENGINEERING 3. COMPLEXITY IN COMPUTATIONAL INTELLIGENCE AND FUTURE INFORMATION SYSTEMS 4. COMPLEXITY IN SOCIAL SCIENCES 5. COMPLEXITY IN EDA, EMBEDDED SYSTEMS, AND COMPUTER ARCHITECTURE 6. NETWORK COMPLEXITY 7. COMPLEXITY IN RISK AND PREDICTIVE MODELING AREA 1: COMPLEXITY IN INFORMATICS, AUTOMATION AND NETWORKING - Complexity Theory - Chaos Theory and Applications - Quantum Computing - Information and Entropy - Simulation and Modeling - Automation, Control and Robotics - Connected Vehicles - Complex Networks - Internet and the Semantic Web - Big Data Analytics - Usability of Complex Information Systems - Power Distribution, Energy and Control AREA 2: COMPLEXITY IN BIOLOGY AND BIOMEDICAL ENGINEERING - Complex Biomedical Systems and Signals - Bioinformatics - Computational Biology - Biological and Biomedical Data Mining - Ontology Engineering - Biomedical Signal Processing - Biomedical Imaging and Data Visualization - Health Systems Complexity - Artificial Life - Population Models AREA 3: COMPLEXITY IN COMPUTATIONAL INTELLIGENCE AND FUTURE INFORMATION SYSTEMS - Complex Adaptive Systems - Evolutionary computing, neural computing, probabilistic computing - Neuro-fuzzy Systems, Fuzzy Computing, Logic and Analysis - Self-Organizing Systems, Expert and Intelligent Systems - Deep Learning - Non-Linear Dynamics - Decision Making under Uncertainty - Knowledge-Based Systems - Intelligent Multi-agent Systems and Intelligent Agents - Climate Change and Natural Science Simulations - Decision Support Systems Services, Tools and Applications - Decision Support Systems Algorithms, Workflows, Processes and Future Advancement - Expert and Intelligent Services, Applications, Proofs-of-concept and Best Practices - Engineering Design Optimization, Multi-objective Optimization, Process Optimization - Human-Machine interfaces, robotics and image processing - Intelligent Information Retrieval, Fusion and Algorithms - Advanced Reasoning, Monitoring and Diagnosis for Systems, Faults and Scientific Discovery - Data/image, Feature, Decision and Multilevel Fusion - Fusion theory, Processing, Simulations and Integration - Multi-sensor, Multi-fusion System and Application Fusion - Information Fusion Applications in Information/Network Security, Engineering, Health and Finance - Fusion System Design, Algorithm, Computational Resources and Demand Optimization - Information Theory and Applications for Multi-Disciplines - Information Sciences for Implementations, Techniques, Simulations and Proofs-of-concept AREA 4: COMPLEXITY IN SOCIAL SCIENCES - Social Networks - Linguistic and Cognitive Systems - Complexity Management - Data-Driven Models - Visualization - Cultural Models - Multi-Agent Systems - Economic Complexity - Information Systems - Security, Privacy and Trust - Gaming - Models of Complex Networks AREA 5: COMPLEXITY IN EDA, EMBEDDED SYSTEMS, AND COMPUTER ARCHITECTURE - System Specification and Modeling - System Design, High-Level Synthesis and Optimization - System Simulation and Validation - Formal Methods and System Verification - Design and Test for Analog and Mixed-Signal Systems and Circuits - Power Modeling, Optimization and Low-Power Design - Temperature and Variability Aware Design and Optimization - Embedded System Design Methodologies - Reconfigurable Computing - Domain and Application-specific Design - Logical and Physical Analysis and Design - Architectural and Microarchitectural Design - System-on-chip Design and HW/SW Codesign - Processor, Memory, Storage, Interconnect Designs - Architectures for Instruction-level, Thread-level and Memory-level Parallelism - Large-scale System Architecture - Compilers and Embedded Systems Software - Performance Evaluation and Measurement of Real Systems - Operating Systems and Middleware - QoS Management and Performance Analysis - New and Emerging Design Technologies - Application areas, e.g. , automotive, avionics, energy, health care, mobile devices, multimedia and autonomous systems AREA 6: NETWORK COMPLEXITY - Community Structure in Networks - Complex Networks and Epidemics - Complex Networks and Mobility - Complex Networks in Biological Systems - Complex Networks in Statistical Mechanics - Complex Networks in Technology AREA 7: COMPLEXITY IN RISK AND PREDICTIVE MODELING - Time Series Pediction - Big Data Predictive Modeling - Risk Analysis and Management - Risk Minimization, Analytics and Deep Machine Learning - High Performance Computing for Risk - Monte Carlo, Black Scholes, Bayesian, ARIMA, Heston and Stochastic Techniques or Analysis - Error Detection, Reduction and Correction for Risk - Innovative Methods PROGRAM COMMITTEE http://www.complexis.org/ProgramCommittee.aspx COMPLEXIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal - Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 e-mail: complexis.secretariat at insticc.org Please check further details at the conference website: http://www.complexis.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ibichind at oswego.edu Wed Aug 3 16:09:44 2016 From: ibichind at oswego.edu (Isabelle Bichindaritz) Date: Wed, 3 Aug 2016 10:09:44 -0400 Subject: CFP WK on Synergies between CBR and Knowledge Discovery @ ICCBR - Extended Deadline 8/12/2016 Message-ID: ICCBR-16 Workshop Workshop on Synergies between CBR and Knowledge Discovery Call for Papers At the core of CBR lies the ability of a system to learn from past cases. However, CBR systems often incorporate knowledge discovery methods, for example, to organize their memory or to learn adaptation rules. In turn, knowledge discovery systems often utilize CBR as a learning methodology, for example, through a common set of problems with the nearest-neighbor method and reinforcement learning. Meanwhile, the machine learning community, which is tightly coupled with knowledge discovery, has historically included CBR among the types of instance-based learning. This workshop will be dedicated to studying in-depth the possible synergies between case-based reasoning (CBR) and knowledge discovery. It also aims at identifying potentially fruitful ideas for co-operative problem-solving where both CBR and knowledge discovery researchers can compare and combine methods. In particular, new advances in knowledge discovery may help CBR to advance its field of study and play a vital role in the future of knowledge discovery. This first Workshop on Synergies between CBR and Knowledge discovery aims to: * provide a forum for identifying important contributions and opportunities for research on combining CBR and knowledge discovery, * promote the systematic study of how to synergistically integrate CBR and knowledge discovery, * showcase synergistic systems using CBR and knowledge discovery. Some of the technical issues addressed, and potential outcomes of the workshop, are to identify the knowledge discovery methods used in CBR, to categorize the problems addressed by knowledge discovery in CBR, to propose methodological improvements to fit this context’s needs, preferred types and methods, and guidelines to better develop CBR systems taking advantage of all knowledge discovery research has to offer. Similarly, the workshop will identify the CBR methods used in knowledge discovery, categorize the problems addressed by CBR in knowledge discovery, propose methodological improvements to fit this context’s needs, preferred types and methods, and guidelines to better develop knowledge discovery systems taking advantage of all CBR research has to offer. We welcome all those interested in the problems and promise of synergistically combining CBR and knowledge discovery whether they belong to the CBR, the knowledge discovery community, or the machine learning community. Topics of interest include (but are not limited to): * Architectures for synergistic systems between CBR and knowledge discovery * Theoretical frameworks for synergistic systems between CBR and data mining * Memory structure mining in CBR * Memory organization mining in CBR (decision tree induction, etc.) * Case mining * Feature selection in CBR * Knowledge discovery in CBR (adaptation knowledge, meta-knowledge, etc.) * Concept mining in CBR * Image and multimedia mining in CBR * Temporal mining in CBR * Text mining in CBR * Nearest-neighbor systems and CBR * Instance-based learning and CBR * Reinforcement learning and CBR * CBR and statistics * CBR and statistical data analysis * CBR in multi-strategy learning systems * CBR and similarity and metric learning * CBR and Big Data * CBR and deep learning * Application specific synergies between CBR and knowledge discovery (medicine, bioinformatics, social networks, sentiment analysis, etc.) Paper presentations will be interspersed with discussions in which we characterize, categorize, and discuss the synergies between CBR and data mining. A wrap-up round table discussion will summarize the lessons learnt, issues identified, and future directions. Submission Requirements Submitted papers are limited to 10 pages in length. All papers are to be submitted via the CBR-KD-16 EasyChair system (https://www.easychair.org/conferences/?conf=cbrkd2016). Papers should be in Springer LNCS format. Author's instructions, along with LaTeX and Word macro files, are available at http://www.springer.de/comp/lncs/authors.html. Submissions should be original papers that have not already been published elsewhere. However, papers may include previously published results that support a new theme, as long as all past publications are fully referenced. Dates * Submission Deadline: August 12, 2016 (extended deadline) * Notification Date: September 5, 2016 * Camera-Ready Deadline: September 25, 2016 * Workshop Date: October 31, 2016 (Atlanta, USA) Workshop Web Site: http://cs.oswego.edu/~bichinda/iccbr2016/ Submission Site: http://www.easychair.org/conferences/?conf=cbrkd2016 Organizing Committee Co-Chairs Isabelle Bichindaritz State University of New York, Oswego Oswego, NY, 13126, USA Phone: +1 315 312 2683 Email: ibichind at oswego.edu Cindy Marling Ohio University Athens, Ohio, 45701, USA Phone: +1 740 593 1246 Email: marling at ohio.edu Stefania Montani University of Piemonte Orientale I-15100 Alessandria, Italy Phone: +30 0131 360158 Email: stefania.montani at unipmn.it -- Dr. Isabelle Bichindaritz Associate Professor Director of Biomedical Informatics SUNY Oswego Computer Science Department Shineman 396A 7060 New York 104 Oswego, NY 13126 USA http://cs.oswego.edu/~bichinda Ph: (315) 312 2683 Cell: (206) 455 0221 Email: ibichind at oswego.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dgm at sfu.ca Wed Aug 3 19:37:34 2016 From: dgm at sfu.ca (David Mitchell) Date: Wed, 3 Aug 2016 10:37:34 -0700 (PDT) Subject: LaSh 2016 Call for Contributions In-Reply-To: <827620721.31213909.1470245717010.JavaMail.zimbra@sfu.ca> Message-ID: <1393152237.31217515.1470245854888.JavaMail.zimbra@sfu.ca> Call for Contributions LaSh 2016 - The Fifth Workshop on Logic and Search. Monday October 17, 2016, New York City www.logicandsearch.org/LaSh2016 An ICLP 2016 Workshop The LaSh Workshops on Logic and Search are devoted to scientific exchange between researchers interested in the theory and practice of logic-based problem solving. The workshop focuses on representational and algorithmic issues in specifying or modelling and solving computationally challenging search and optimization problems of a combinatorial nature. Researchers interested in presenting their work should contact the organizers by email (mitchell at cs dot sfu dot ca or lash2016 at easychair dot org), or submit a paper or extended abstract, via EasyChair, by August 20. LaSh emphasizes discussion and exchange of ideas among researchers with related interests who may not normally attend the same major conferences. Thus, along with new technical work, we welcome presentation of speculative work, research summaries, relevant work that is previously published, comparisons of different approaches and challenge or position papers. Central topics include: - Logics and representation languages for high-level problem specification; - Model finders and ground solvers (e.g., SAT, ASP and SMT solvers etc.); - Grounding and grounding-based solving systems; - Modularity, compositionality and integration of heterogeneous solvers; - Pre-processing and automated reasoning over specifications; - Distributed and parallel solving; - Declarative solver construction and meta-programming; - Exploitation of problem and instance structure; - Recent developments in tools or applications. Important Dates: Submission Deadline: August 20 Notification: August 30 Final Version: September 15 Workshop: October 17 Submission page: https://easychair.org/conferences/?conf=lash2016 Organizers: David Mitchell, Simon Fraser University Shahab Tasharrofi, Aalto University Sima Jamali, Simon Fraser University Program Committee: Sima Jamali, Simon Fraser University Victor Marek, University of Kentucky David Mitchell, Simon Fraser University Shahab Tasharrofi, Aalto University Eugenia Ternovska Simon Fraser University Mirek Truzczynski, University of Kentucky -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Thu Aug 4 13:33:41 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 4 Aug 2016 14:33:41 +0300 Subject: 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017) Message-ID: <2VLP0OVY-H8DF-1V2M-V062-Q4Z8WKSM75ZA@cs.ucy.ac.cy> Dear colleagues, The 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017, see http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJNDNyZCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQ3VycmVudCBUcmVuZHMgaW4gVGhlb3J5IGFuZCBQcmFjdGljZSBvZiBDb21wdXRlciBTY2llbmNlIChTT0ZTRU0gMjAxNykJNTgJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.sofsem.cz%2Fsofsem17%2F%29 will take place at Lero in Limerick January 16-20, 2017. SOFSEM (SOFtware SEMinar) is the annual international winter conference devoted to the theory and practice of computer science. SOFSEM aims to present the latest results and developments in research in academia and industry, in leading areas of computer science. DEADLINE EXTENSION Due to the many requests for a deadline extension, we have postponed the deadlines as follows: Abstract and paper deadline: August 10th, 2016 Kindly submit your abstract as early as possible in order to enable the bidding process. You will be able to update your submission until the deadline. PROCEEDINGS The SOFSEM 2017 proceedings containing all invited and contributed papers will be published in the series Lecture Notes in Computer Science by Springer Verlag, in the prestigious subline ARCOSS: Advanced Research in Computing and Software Science. STUDENT RESEARCH FORUM The SOFSEM 2017 Student Research Forum (SRF) will provide young researchers with valuable scientific feedback and networking. Master and PhD students are invited to present their research ideas and projects, discuss them with the scientific community, and establish collaborations in their field of research. See you at SOFSEM 2017! Tiziana Margaria and Mike Hinchey (General Chairs) Bernhard Steffen (Program Chair) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sibylle.schwarz at htwk-leipzig.de Fri Aug 5 16:49:46 2016 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Fri, 5 Aug 2016 16:49:46 +0200 Subject: Call for Participation: WLP 2016 and co-located events Message-ID: <2c92215a-8d8b-634a-48ad-14860fe76718@htwk-leipzig.de> 30th Workshop on (Constraint) Logic Programming (WLP 2016)24th International Workshop on http://nfa.imn.htwk-leipzig.de/WLP2016/ September 12-13, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Registration is now open, see: http://nfa.imn.htwk-leipzig.de/LDEC2016/registration/ Note the package prices combining co-located events, and the early registration deadline of August 15 (bank transfer must have been received by that date to secure the reduced fee). *********************************************************** The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and brings together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). This year the workshop is part of the Leipzig Week of Declarative Programming (L-DEC) 2016 September 12-15, 2016 and co-located with * WFLP 2016, September 13-14 and * HaL 2016, September 14-15 in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Combined, the three workshops offer two invited talks, an invited musical performance, and more than 25 contributed talks and tutorials. The lists of presentations can be found at: * http://nfa.imn.htwk-leipzig.de/WLP2016/WLP16accepted.html * https://wflp2016.github.io/accepted.html * http://hal2016.haskell.org/#program and the layout of the overall programme at http://nfa.imn.htwk-leipzig.de/LDEC2016/program/ -- -- Prof. Dr. Sibylle Schwarz -- http://www.imn.htwk-leipzig.de/~schwarz -- sibylle.schwarz at htwk-leipzig.de -- phone 0341 / 3076 6483 From calendarsites at insticc.org Tue Aug 9 20:43:34 2016 From: calendarsites at insticc.org (Calendar Sites) Date: Tue, 9 Aug 2016 19:43:34 +0100 Subject: =?iso-8859-1?Q?CFP_7Th_International_Conference_on_Cloud_Computing_and_Se?= =?iso-8859-1?Q?rvices_Science_-_CLOSER_2017?= Message-ID: <024201d1f26e$00d3f430$027bdc90$@insticc.org> CALL FOR PAPERS 7Th International Conference on Cloud Computing and Services Science – CLOSER 2017 Website: http://closer.scitevents.org/ 24 - 26 April, 2017 Porto, Portugal Regular Papers Paper Submission: November 21, 2016 Authors Notification: January 23, 2017 Camera Ready and Registration: February 6, 2017 Position Papers Paper Submission: January 10, 2017 Authors Notification: February 13, 2017 Camera Ready and Registration: February 24, 2017 Workshops Workshop Proposal: January 3, 2017 Paper Submission: January 17, 2017 Authors Notification: February 2, 2017 Camera Ready and Registration: February 16, 2017 Doctoral Consortium Paper Submission: February 17, 2017 Authors Notification: March 3, 2017 Camera Ready and Registration: March 15, 2017 Special Sessions Special Session Proposal: January 19, 2017 Tutorials Tutorial Proposal: February 22, 2017 Demos Demo Proposal: February 22, 2017 Panels Panel Proposal: February 22, 2017 Sponsored by: INSTICC – Institute for Systems and Technologies of Information, Control and Communication INSTICC is Member of: OMG – Object Management Group WFMC – Workflow Management Coalition Logistics Partner: SCITEVENTS – Science and Technology Events Technically Co-sponsored by: EGI The 7th International Conference on Cloud Computing and Services Science, CLOSER 2017, focuses on the emerging area of Cloud Computing, inspired by some latest advances that concern the infrastructure, operations, and available services through the global network. Further, the conference considers as essential the link to Services Science, acknowledging the service-orientation in most current IT-driven collaborations. The conference is nevertheless not about the union of these two (already broad) fields, but about Cloud Computing where we are also interested in how Services Science can provide theory, methods and techniques to design, analyze, manage, market and study various aspects of Cloud Computing. CLOSER 2017 will be held in conjunction with COMPLEXIS 2017, IoTBDS 2017, SMARTGREENS 2017 and VEHITS 2017. KEYNOTE SPEAKERS Stefan Tai, TU Berlin, Germany PUBLICATIONS All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. SCITEPRESS is a member of CrossRef ( http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. It is planned to publish a short list of revised and extended versions of presented papers with Springer in a CCIS Series book (final approval pending). A short list of papers presented at the conference venue will be selected for publication of extended and revised versions in a special issue of Springer's Computing Journal. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus. AWARDS The awards will be announced and bestowed at the conference closing session. Please check the website for further information: http://closer.scitevents.org/PreviousAwards.aspx CONFERENCE CO-CHAIRS Markus Helfert, Dublin City University, Ireland Claus Pahl, Free University of Bozen-Bolzano, Italy PROGRAM CO-CHAIRS Donald Ferguson, Columbia University, United States Víctor Méndez Muñoz, Universitat Autònoma de Barcelona, UAB, Spain Jorge Cardoso, University of Coimbra, Portugal and Huawei European Research Center, Germany CONFERENCE AREAS: Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas: 1. SERVICES SCIENCE 2. DATA AS A SERVICE 3. CLOUD OPERATIONS AND ANALYTICS 4. MOBILE CLOUD COMPUTING 5. EDGE CLOUD AND FOG COMPUTING 6. SERVICE MODELLING AND ANALYTICS 7. CLOUD COMPUTING FUNDAMENTALS 8. CLOUD COMPUTING PLATFORMS AND APPLICATIONS 9. CLOUD COMPUTING ENABLING TECHNOLOGY AREA 1: SERVICES SCIENCE * Business Process Management and Web Services * Business Services Realized by IT Services * Cloud Brokering * Enterprise Architectures and Services * Cloud Workflow Management Systems * Industrial Applications of Services Science * Information and Service Economy * Internet of Services * Model-driven Web Service Engineering * Semantic and Service Web * Microservices: Atomation Deployment and Management, Resource Allocation Elasticity, Service State and Resilience * Service Innovation * Service Lifecycle Management * Service-oriented Architecture * Web Services * Service Society * Service Management * Service Platforms * Big Data Cloud Services AREA 2: DATA AS A SERVICE * On-Line Transaction Processing (OLTP) services * NOSQL Services: Store, Visualization, Processing * Time Series Services: Databases, Dashboards AREA 3: CLOUD OPERATIONS AND ANALYTICS * Cloud Management Platforms * Cloud Analytics * Cloud Reliability and Resilience * Cloud Automation * Hybrid Clouds and their Integration * Compliance Management in the Cloud * Cloud Configuration and Capacity Management * Cloud Workload Profiling and Migration * Cloud Metering and Billing * Large-scale Monitoring * Operations Excellence * Cloud Performance Analytics AREA 4: MOBILE CLOUD COMPUTING * Mobile and Energy-efficient use of Clouds * Mobile and Wearable Computing Systems and Services * Mobile Cloud Architectures and Models * Mobile Cloud Networking * Mobile Commerce, Handheld Commerce and e-markets on Cloud * High Performance Computing as a Service * AREA 5: EDGE CLOUD AND FOG COMPUTING * Edge Cloud Orchestration * Cluster Management * Edge Cloud Network Management * Edge Cloud Data Management * IoT-Cloud Integration AREA 6: SERVICE MODELLING AND ANALYTICS * Cloud Cost Analysis * Data and Service Analytics * Service Discovery * Service Modeling and Specification * Service Monitoring and Control * Services Security and Reliability * Service Ecosystems * Service Simulation * Service Performance Analytics * Analytics and Services AREA 7: CLOUD COMPUTING FUNDAMENTALS * Cloud Application Portability * Cloud Computing Architecture * Cloud Delivery Models * Cloud Deployment Models: Public/Private/Hybrid Cloud * Cloud Education * Cloud Interoperability * Cloud Risk, Challenges and Governance * Cloud Scenarios * Cloud Standards * QoS for Applications on Clouds * Energy Management * Resource Management * Privacy, Security and Trust * Federated Cloud AREA 8: CLOUD COMPUTING PLATFORMS AND APPLICATIONS * Access Control * Cloud Solution Design Patterns * Cloud for Enterprise Business Transformation * Cloud Application Architectures * Cloud Application Scalability and Availability * Cloud Applications Performance and Monitoring * Cloud Economics * Cloud Middleware Frameworks * Engineering Mobile Clouds and Mobile-based Systems * Development Methods for Cloud Applications * XaaS * Cloud Services * Mobile Cloud Computing Models, Infrastructures and Approaches * Cloud Data Centers, Storage and Networking Technologies * Mobile-aware Cloud Data Management and Data Retrieval * High Performance Computing Cloud Applications ; Use cases , Experiences with HPC Clouds * Hybrid Cloud Integration AREA 9: CLOUD COMPUTING ENABLING TECHNOLOGY * API Management * Multi-Cloud Solutions Enablement * Cloud Quality and Performance * Cloud Optimization and Automation * Cloud Resource Virtualization and Composition * Cloud Management and Operations * Green and Energy Management * High Performance Cloud Computing * Cloud Migration * Monitoring of Services, Quality of Service, Service Level Agreements * Performance Development and Management * Security, Privacy and Compliance Management * Virtualization Technologies * Container Schedulers * Application Containers * Cloud-assisted Human-centered Applications based on Wearable Computing Devices * Energy-saving Mobile Cloud Protocols * Distributed and Cloud Networking * Energy Management in Cloud Centers PROGRAM COMMITTEE http://closer.scitevents.org/ProgramCommittee.aspx CLOSER Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setúbal – Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 e-mail: closer.secretariat at insticc.org Web: http://closer.scitevents.org/ Please check further details at the conference website: http://closer.scitevents.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From newsletter at saso-conference.org Tue Aug 9 20:53:54 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Tue, 9 Aug 2016 20:53:54 +0200 Subject: =?utf-8?b?Q2ZQYXJ0OiBTQVNPIDIwMTYgLSBJRUVFIEludGVybmF0aW9uYWwgQ29u?= =?utf-8?b?ZmVyZW5jZSBvbiBTZWxmLUFkYXB0aXZlIGFuZCBTZWxmLU9yZ2FuaXpp?= =?utf-8?b?bmcgU3lzdGVtcywgU2VwdGVtYmVyIDEyLTE2LCBBdWdzYnVyZywgR2Vy?= =?utf-8?b?bWFueQ==?= Message-ID: ************************************************************************* CALL FOR PARTICIPATION Tenth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016) Augsburg, Germany; 12-16 September 2016 http://uni-augsburg.de/saso2016 @SASO2016Conf ************************************************************************* Part of FAS* - Foundation and Applications of Self* Computing Conferences Co-located with: The International Conference on Cloud and Autonomic Computing (ICCAC 2016) http://iccac2016.se.rit.edu The conference program features three keynotes by distinguished speakers from academia and industry, nine workshops, four tutorials, a doctoral symposium, a poster and demo session, as well as presentation of six short papers and 14 full papers. Access to all activities is included in the registration fee. ---------------------------------- Registration and Accommodation ---------------------------------- Early Bird Registration ends August 19! Please register at: http://saso2016.informatik.uni-augsburg.de/registration.html A single registration fee includes access to the main conference, tutorials, workshops, and the doctoral symposium. Moreover, it includes a conference kit with electronic proceedings, all coffee breaks, entrance to the Welcome Reception and to the Conference Dinner. Greatly reduced hotel rates are available at: https://saso2016.informatik.uni-augsburg.de/venue.html ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing systems conference series (SASO) is to provide a forum for the foundations of a principled approach to engineering systems, networks, and services based on self-adaptation and self-organization. The complexity of current and emerging networks, software, and services, especially when dealing with dynamics in the environment and problem domain, has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, sociology, and biology) to find new ways of designing and managing such computing systems. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other self-* properties, such as self-configuration, self-healing, or self-optimization. Systems exhibiting such properties are often referred to as self-* systems. The tenth edition of the SASO conference embraces the inter-disciplinary nature and the scientific, empirical, and application dimensions of self-* systems and welcomes novel results on both self-adaptive and self-organizing systems research. ---------------------- Invited Speakers ---------------------- https://saso2016.informatik.uni-augsburg.de/keynotes.html Prof. Dr. Marco Dorigo, Université Libre de Bruxelles, Belgium: Collective Decision Making: The Best-of-n Problem in Robot Swarms Dr. Manish Gupta, VP and Director, Xerox Research Center India: Using Data Science and Cloud to Scale and Personalize Services Dominik Bösl, KUKA AG: Future of Robotics – Paving the Way for a Generation ‘R’ of Robotic Natives in the Age of Digitalization -------------------------- Accepted Full Papers -------------------------- https://saso2016.informatik.uni-augsburg.de/program.html Karan Budhraja and Tim Oates: Controlling Swarms by Visual Demonstration Fernando Silva, Luís Correia and Anders Lyhne Christensen: Online Hyper-Evolution of Controllers in Multirobot Systems Mostafa Wahby, Daniel Nicolas Hofstadler, Mary Katherine Heinrich, Payam Zahadat and Heiko Hamann: An Evolutionary Robotics Approach to the Control of Plant Growth and Motion: Modeling Plants and Crossing the Reality Gap Victor Lequay, Salima Hassas, Mathieu Lefort and Saber Mansour: Flexible Load Shedding using Gossip Communication in a Multi-Agents System Barry Porter and Roberto Rodrigues Filho: Losing Control: The Case for Emergent Software Systems using Autonomous Assembly, Perception and Learning Guoli Yang and Vincent Danos: Learning in open adaptive networks Jacob Beal, Mirko Viroli, Danilo Pianini and Ferruccio Damiani: Self-adaptation to Device Distribution Changes in Situated Computing Systems Tilman Deuschel and Ted Scully: On the Importance of Spatial Perception for the Design of Adaptive User Interfaces David Burth Kurka and Jeremy Pitt: Distributed Distributive Justice Patricio Petruzzi, Jeremy Pitt and Dídac Busquets: Inter-Institutional Social Capital Ada Diaconescu, Sylvain Frey, Christian Müller-Schloer, Jeremy Pitt and Sven Tomforde: Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Matteo Mordacchini and Andrea Passarella: Self-optimising Decentralised Service Placement in Heterogeneous Cloud Federation Gerrit Anders and Patrick Lehner: Self-Organized Graph-Based Resource Allocation Ashutosh Pandey, Gabriel Moreno, Javier Cámara and David Garlan: Hybrid Planning for Decision Making in Self-Adaptive Systems ------------------------- Accepted Short Papers ------------------------- https://saso2016.informatik.uni-augsburg.de/program.html Henner Heck, Olga Kieselmann and Arno Wacker: Evaluating Connection Resilience for Self-Organized Distributed Cyber-Physical Systems Sona Ghahremani, Holger Giese and Thomas Vogel: Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures Alain Tcheukam Siwe and Hamidou Tembine: One Swarm per Queen: A Particle Swarm Learning for Stochastic Games Vikramjit Singh, Markus Esch and Ingo Scholtes: Decentralized Cluster Detection in Distributed Systems based on Self-Organized Synchronization Abdessalam Elhabbash, Rami Bahsoon and Peter Tino: Interaction-awareness for self-adaptive volunteer computing Matthias Sommer, Anthony Stein and Joerg Haehner: Self-adaptive Ensemble Time Series Forecasting with XCSF ------------------ Special Track ------------------ Trustworthy Self-Organizing Systems http://tsos.isse.de/ Featuring invited talks by Jeremy Pitt, Christiano Castelfranchi and Rino Falcone, Natasha Dwyer and Stephen Marsh, as well as interactive presentations showcasing the combination of trust and self-organisation. ------------- Workshops ------------- https://saso2016.informatik.uni-augsburg.de/workshops.html 4th International Workshop on Autonomic Management of high performance Grid and Cloud Computing (AMGCC'16) 3rd Edition of the IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO) The 2nd International Workshop on Data-driven Self-regulating Systems (DSS) 1st eCAS Workshop on Engineering Collective Adaptive Systems (eCAS) 9th International Workshop on Dynamic Software Product Lines. Variability at Runtime (DSPL) 4th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST) 1st International Workshop on Self-Organising Construction (SOCO) The 1st International joint Workshops on Fog and Mobile Edge Computing, and on Information Security and Privacy for Mobile Cloud Computing, Web and Internet of Things (FMEC/ISCW-2016) --------------- Tutorials --------------- https://saso2016.informatik.uni-augsburg.de/tutorials.html Odd Erik Gundersen: Knowledge Level Models of Situations and Situation Assessment: Theory and Applications András Pataricza, Imre Kocsis, László Gönczy: Model-based Cloudification of Critical Applications Lauro Snidaro: Context for adaptive Information Fusion Alexander Schiendorfer: Solving Soft Constraint Problems in Autonomic Systems with MiniBrass --------------------------- Venue and Accommodation --------------------------- FAS* 2016 will be hosted at the University of Augsburg. There are a number of hotel options available at greatly reduced prices for a limited time. Please refer to the details at https://saso2016.informatik.uni-augsburg.de/venue.html From pedro.lopez at imdea.org Wed Aug 10 19:34:41 2016 From: pedro.lopez at imdea.org (pedro.lopez) Date: Wed, 10 Aug 2016 19:34:41 +0200 Subject: Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation Message-ID: <429e782001baaf494372a2bfe2c1f68e@imdea.org> ============================================================ CALL FOR PARTICIPATION: LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, Scotland UK, September 6-8, 2016 http://www.cliplab.org/Conferences/LOPSTR16/ co-located with PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, Scotland UK, September 5-7, 2016 http://ppdp16.webs.upv.es/ and SAS 2016 23rd Static Analysis Symposium, Edinburgh, Scotland UK, September 8-10, 2016 http://staticanalysis.org/sas2016/ ============================================================ Registration is open at: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/ ** EARLY REGISTRATION UNTIL AUGUST 15 ** VISA Please check here: https://www.gov.uk/check-uk-visa whether you require a visa to visit the UK. If so, contact us as soon as possible as explained here: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/registration.html Getting a visa can take from 3-6 weeks depending on the nationality and country from which applying. We recommend that anyone considering attending who needs a visa register now and apply now. If you are eventually unable to attend due to visa issues we will refund your registration fee. INVITED TALKS - Greg Morrisett, Cornell University, USA (jointly with PPDP'16): Challenges in Compiling Coq. - Francesco Logozzo, Facebook, USA (jointly with PPDP'16): Abstract interpretation for taint analysis at scale. - Martin Vechev, ETH Zurich, Switzerland (jointly with SAS'16): Learning from Programs: Probabilistic Models, Program Analysis and Synthesis. ACCEPTED PAPERS - Symbolic Abstract Contract Synthesis in a Rewriting Framework. María Alpuente, Daniel Pardo and Alicia Villanueva. - Coinductive Soundness of Corecursive Type Class Resolution. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu. - MiniZinc with Strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey and Guido Tack. - On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Fred Mesnard, Etienne Payet and German Vidal. - Verification of Time-Aware Business Processes using Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti. - Tuning Fuzzy Logic Programs with Symbolic Execution. Gines Moreno, Jaime Penabad and German Vidal. - A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Paul Tarau. - A New Functional-Logic Compiler for Curry: Sprite. Sergio Antoy and Andy Jost. - Towards Reversible Computation in Erlang. Naoki Nishida, Adrian Palacios and German Vidal. - Slicing Concurrent Constraint Programs. Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi. - Scaling Bounded Model Checking By Transforming Programs With Arrays. Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C. - Hierarchical Shape Abstraction of Free-List Memory Allocators. Bin Fang and Mihaela Sighireanu. - A Productivity Checker for Logic Programming. Ekaterina Komendantskaya, Patricia Johann and Martin Möhrmann. - Automata Theory Approach to Predicate Intuitionistic Logic. Maciej Zielenkiewicz and Aleksy Schubert. - Nominal Unification of Higher Order Expressions with Recursive Let. Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret. - A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin. - Partial Evaluation of Order-sorted Equational Programs modulo Axioms. María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer. - lpopt: A Rule Optimization Tool for Answer Set Programming. Manuel Bichler, Michael Morak and Stefan Woltran. - CurryCheck: Checking Properties of Curry Programs. Michael Hanus. - Intuitionistic Logic Programming for SQL. Fernando Saenz-Perez. Hope to see you in Edinburgh! Manuel Hermengildo and Pedro Lopez-Garcia LOPSTR 2016 Co-chairs From grlmc at grlmc.com Wed Aug 10 22:20:52 2016 From: grlmc at grlmc.com (GRLMC) Date: Wed, 10 Aug 2016 22:20:52 +0200 Subject: SLSP 2016: call for posters Message-ID: <545102060a010b02045552050f015a53070551585105045004075a5754050658555551530a5a000006535656550b00@grlmc_ip-zone_com-6> SLSP 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Statistical Language and Speech Processing (SLSP 2016) invites researchers to submit poster presentations. SLSP 2016 will be held in Pilsen (Czech Republic) on October 11-12, 2016. See  http://grammars.grlmc.com/SLSP2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on the employment of statistical models (including machine learning) in language and speech processing are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 4, 2016 Notification of poster acceptance or rejection: September 11, 2016 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=slsp2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2016. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753). REGISTRATION At least one author of each accepted poster must register to the conference by September 27, 2016. The registration fare is reduced: 240 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Fri Aug 12 14:30:59 2016 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Fri, 12 Aug 2016 14:30:59 +0200 Subject: PhD Position, Applied Knowledge Representation and Reasoning (Digital History) Message-ID: <57ADC183.1070203@uni.lu> The Individual and Collective Reasoning Group (ICR), from the Computer Science and Communications research unit at the University of Luxembourg, is looking for a: PhD student (doctoral candidate) in Applied Knowledge Representation and Reasoning He/she will be hosted by the interdisciplinary Doctoral Training Unit "Digital History and Hermeneutics" (DTU DHH), which will also provide the conceptual framework for the research. This DTU aims at creating an experimental trading zone for reflection on the epistemological and methodological challenges of doing digital humanities research in an interdisciplinary setting. ICR is especially interested in the digital modeling of argumentation, generalized forms of reasoning, and knowledge dynamics in scientific and legal contexts, possibly exploiting NLP. # Ref: R-STR-3067-00-B # Starting date: 15th January 2017 # Duration: 3 years (14+22-months contract, 40h/week), further extendable by 1 year if required. # Doctoral student status at the University of Luxembourg # Deadline for applications: 1st September 2016 (probably extended) The successful candidate will participate in the activities of the ICR Group (icr.uni.lu) led by Prof. Leon van der Torre, which is doing research on # Logic and Knowledge representation # Deontic reasoning, Legal Natural Language Processing # Argumentation, Belief revision # Artificial Intelligence, Intelligent agents as well as in the activities of the DTU (e.g. collectively organized skills training on digital literacy, organization of thematic workshops of the DTU). For a detailed description of the DTU and the thematic axes see:http://www.dhlab.lu/digital-literacy/digital-history-hermeneutics-dtu/ Your Role # Writing a doctoral dissertation in a relevant area # Presentation of research findings at workshops and conferences # Publication of scientific papers in peer-reviewed international journals # Possibility of participating in teaching activities For further inquiries please contact Prof. Leon van der Torre:leon.vandertorre at uni.lu Your Profile # A Master degree in Computer Science or a related discipline. It is possible to apply if the degree will be obtained soon (please specify in the application) # Dedication to actively participate in the interdisciplinary framework of the DTU # Solid background in knowledge representation and reasoning # Strong analytical capacity, creativity, and commitment # Good written and spoken English skills. Our Offer # The University of Luxembourg offers a very international, dynamic, and well-connected research environment # Financial support (travel allowances) for participating in scientific activities (workshops, conferences, summer schools, etc. # Attractive salary and employment contract including social insurance contribution # Enrolment in a doctoral school with an interesting offer of various disciplinary or interdisciplinary courses and transferable skills trainings Application (in English): http://emea3.mrted.ly/14aut # Letter of motivation which must contain - an explanation of the motives for participating in the DTU and of expected learning outcomes and career perspectives - a short sketch of a research project that fits the interests of ICR and at least one of the thematic axes developed in the DTU proposal and/or addresses the overall epistemological or methodological questions developed in the proposal - a motivation for the choice of the main supervisor (Prof. Leon van der Torre) # Full CV # Transcript of academic records (including grades) and copies of diplomas # Names of at least two references who are willing to write a letter of recommendation on the candidate's behalf (they may be contacted by us) All applications must be submitted online. Deadline: 1st of September 2016 (probably extended). The University of Luxembourg is an equal opportunity employer and applications by women are especially encouraged. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From missura.olana at gmail.com Mon Aug 15 09:32:28 2016 From: missura.olana at gmail.com (Olana Missura) Date: Mon, 15 Aug 2016 03:32:28 -0400 Subject: ECML-PKDD 2016 Network Classification Challenge Message-ID: Dear Colleagues, In addition to our three exciting challenges, we have prepared a very innovative ECML-PKDD 2016 discovery challenge, which collocates in the realm of Automatic Network Management. This challenge is one of the first explorations of ML for automatic network analysis. Our goal is to promote the use of ML for network-related tasks in general and, at the same time, to assess the participants' ability to quickly build a learning-based system showing a reliable performance. Please see more information at http://www.neteye-blog.com/netcla-the-ecml-pkdd-network-classification-challenge/ Schedule Aug. 12: the challenge starts, registration opens Sept. 7: test data released, submission page opens Sept. 10: submissions due Sept. 12: Results and Paper invitations Sept. 23: ECML-PKDD challenge track The schedule is tight but we have encoded the network data using simple feature vectors for learning a multi-class, single label, classification task. Thus, you can simply try your own multiclass classification algorithms and watch if they improve on strong baselines. The aim is to find out which ML algorithms can better deal with this kind of data. Best, Alessandro and Elio Discovery Challenge Chairs of ECML-PKDD 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pedro.lopez at imdea.org Mon Aug 15 11:22:35 2016 From: pedro.lopez at imdea.org (=?UTF-8?B?UGVkcm8gTMOzcGV6IEdhcmPDrWE=?=) Date: Mon, 15 Aug 2016 11:22:35 +0200 Subject: Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation Message-ID: ============================================================ LAST CALL FOR PARTICIPATION: LOPSTR 2016 26th International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, Scotland UK, September 6-8, 2016 http://www.cliplab.org/Conferences/LOPSTR16/ co-located with PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, Scotland UK, September 5-7, 2016 http://ppdp16.webs.upv.es/ and SAS 2016 23rd Static Analysis Symposium, Edinburgh, Scotland UK, September 8-10, 2016 http://staticanalysis.org/sas2016/ ============================================================ Registration is open at: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/ ** EARLY REGISTRATION UNTIL AUGUST 15 ** VISA Please check here: https://www.gov.uk/check-uk-visa whether you require a visa to visit the UK. If so, contact us as soon as possible as explained here: http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/registration.html Getting a visa can take from 3-6 weeks depending on the nationality and country from which applying. We recommend that anyone considering attending who needs a visa register now and apply now. If you are eventually unable to attend due to visa issues we will refund your registration fee. INVITED TALKS - Greg Morrisett, Cornell University, USA (jointly with PPDP'16): Challenges in Compiling Coq. - Francesco Logozzo, Facebook, USA (jointly with PPDP'16): Abstract interpretation for taint analysis at scale. - Martin Vechev, ETH Zurich, Switzerland (jointly with SAS'16): Learning from Programs: Probabilistic Models, Program Analysis and Synthesis. ACCEPTED PAPERS - Symbolic Abstract Contract Synthesis in a Rewriting Framework. María Alpuente, Daniel Pardo and Alicia Villanueva. - Coinductive Soundness of Corecursive Type Class Resolution. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond and Peng Fu. - MiniZinc with Strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey and Guido Tack. - On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Fred Mesnard, Etienne Payet and German Vidal. - Verification of Time-Aware Business Processes using Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti. - Tuning Fuzzy Logic Programs with Symbolic Execution. Gines Moreno, Jaime Penabad and German Vidal. - A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Paul Tarau. - A New Functional-Logic Compiler for Curry: Sprite. Sergio Antoy and Andy Jost. - Towards Reversible Computation in Erlang. Naoki Nishida, Adrian Palacios and German Vidal. - Slicing Concurrent Constraint Programs. Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi. - Scaling Bounded Model Checking By Transforming Programs With Arrays. Anushri Jana, Uday Khedker, Advaita Datar, R Venkatesh and Niyas C. - Hierarchical Shape Abstraction of Free-List Memory Allocators. Bin Fang and Mihaela Sighireanu. - A Productivity Checker for Logic Programming. Ekaterina Komendantskaya, Patricia Johann and Martin Möhrmann. - Automata Theory Approach to Predicate Intuitionistic Logic. Maciej Zielenkiewicz and Aleksy Schubert. - Nominal Unification of Higher Order Expressions with Recursive Let. Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy and Mateu Villaret. - A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Elvira Albert, Nikolaos Bezirgiannis, Frank De Boer and Enrique Martin-Martin. - Partial Evaluation of Order-sorted Equational Programs modulo Axioms. María Alpuente, Angel Cuenca, Santiago Escobar and Jose Meseguer. - lpopt: A Rule Optimization Tool for Answer Set Programming. Manuel Bichler, Michael Morak and Stefan Woltran. - CurryCheck: Checking Properties of Curry Programs. Michael Hanus. - Intuitionistic Logic Programming for SQL. Fernando Saenz-Perez. Hope to see you in Edinburgh! Manuel Hermengildo and Pedro Lopez-Garcia LOPSTR 2016 Co-chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peter.schuller at marmara.edu.tr Thu Aug 18 20:22:39 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Thu, 18 Aug 2016 21:22:39 +0300 (EEST) Subject: Call for Participation: ICLP, New York City, Oct 16-21, 2016: International Conference on Logic Programming Message-ID: <20160818182239.11E552C02B4@omsievews> (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Call For Participation 32nd International Conference on Logic Programming New York City, USA October 16-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ News: - The list of accepted papers is available online: http://software.imdea.org/Conferences/ICLP2016/accepted.html - Early registration deadline: September 5. - Invited talks: * Arun Majumdar: One Billion Dollars, Global Warming and Logic Programming. * Francesca Rossi: Embedding Ethical Principles in Decision Support Systems: Can (Constraint) Logic Programming Play a Role? - Tutorials: * Michael Kifer, Theresa Swift and Benjamin Grosof: Practical Knowledge Representation and Reasoning in Ergo. * Yuliya Lierler: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories. - Autumn School on Computational Logic: http://iclp16school.webs.upv.es/ * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming - Sponsors: * The Association for Logic Programming: http://logicprogramming.org/ * LogicBlox, Inc: http://www.logicblox.com/ * Semantic Systems: http://www.semantic-systems.com/ * UT Dallas: http://www.utdallas.edu/ Conference Scope Since the first conference held in Marseille in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Early Registration Deadline: September 5, 2016 Conference: October 16-21, 2016 Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic Students and researchers are invited to participate in the Autumn School with the following tutorials: * Roman Bartak: Constraint Logic Programming * Veronica Dahl: Language processing through logic grammars and constraints * Torsten Schaub: Answer Set Programming: foundations and applications * C.R.Ramakrishnan: Verification and probabilistic logic programming Information on scholarships can be found on the homepage: http://iclp16school.webs.upv.es/ Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP), LogicBlox Inc., Semantic Systems, and UT Dallas. Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From grlmc at grlmc.com Fri Aug 19 01:45:58 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 19 Aug 2016 01:45:58 +0200 Subject: BigDat 2017: early registration August 26 Message-ID: <545102060a010b02045e520405045a53510506510a05535505055802030602525203060e510a530b54515205520a59@grlmc_ip-zone_com-6> BigDat 2017: early registration August 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2017   Bari, Italy   February 13-17, 2017   Organized by: University of Bari "Aldo Moro" Rovira i Virgili University   http://grammars.grlmc.com/BigDat2017/   ********************************************************   --- Early registration deadline: August 26, 2016 ---   ********************************************************   AIM:   BigDat 2017 will be a research training event with a global scope aiming at updating participants 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 (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 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:   In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 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 wish to attend as well as to move from one to another.   VENUE:   BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be:   Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy   Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud   Geoffrey C. Fox (Indiana University), tba   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics   Sander Klous (University of Amsterdam), [introductory] We Are Big Data   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management   Jiebo Luo (University of Rochester), [introductory/advanced] Big Data. Strong Health. Better Life   Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics   Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data   Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis   Pierangela Samarati (University of Milan), [intermediate] Data Protection in the Cloud   V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity   Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Lyle Ungar (University of Pennsylvania), [introductory] Text Mining   John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia Data   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 florentinalilica.voicu (at) urv.cat by February 10, 2017.   ORGANIZING COMMITTEE:   Annalisa Appice Michelangelo Ceci (co-chair) Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mire at dtu.dk Fri Aug 19 12:17:10 2016 From: mire at dtu.dk (Michael Reichhardt Hansen) Date: Fri, 19 Aug 2016 10:17:10 +0000 Subject: TIME 2016: Call for Participation In-Reply-To: References: Message-ID: FIRST CALL FOR PARTICIPATION --------------------------------------------------------------------------------------------------- TIME 2016 23rd International Symposium on Temporal Representation and Reasoning Final Call for Papers http://time2016.compute.dtu.dk TIME 2016 takes place at the Technical University of Denmark. **** EARLY REGISTRATION OPEN UNTIL 31 August **** --------------------------------------------------------------------------------------------------- Aim --------------------------------- TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. Invited Presentations by --------------------------------- Kim Guldstrand Larsen, Aalborg University, Denmark Angelo Montanari, University of Udine, Italy Paolo Terenziani, University of Piemonte Orientale, Alessandria, Italy Local organizers --------------------------------- Michael R. Hansen, Jan Madsen and Karin Tunder. DTU Compute. Email: time2016(at)compute.dtu.dk Venue --------------------------------- TIME 2016 will take place at the campus of the Technical University of Denmark, hosted by DTU Compute. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From masjap at bath.ac.uk Mon Aug 22 12:25:38 2016 From: masjap at bath.ac.uk (Julian Padget) Date: Mon, 22 Aug 2016 11:25:38 +0100 Subject: =?UTF-8?Q?AISB2017:_Society_with_AI_=28Bath=2c_April=29_=e2=80=93_C?= =?UTF-8?Q?all_for_Symposia_Proposals=2c_Deadline_15_September?= Message-ID: CALL FOR SYMPOSIA (OR OTHER) PROPOSALS AISB '17, ~19-21 April 2017, University of Bath, UK DEADLINE: 15 September 2016 http://aisb2017.cs.bath.ac.uk Contact: aisb2017 at easychair.org Dear Colleagues, The world’s oldest AI society, The Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), sponsors the world’s longest-running annual AI convention, consisting of a collocation of themed symposia, workshops, and events in areas of artificial intelligence and cognitive science. The AISB convention aims to provide a unique opportunity to promote emerging work on a timely theme spanning the full range of research taking place within Artificial Intelligence, but with a particular emphasis on the simulation of behaviour (that is, on understanding natural intelligence). AISB 2017 will be held at the University of Bath, chaired by Joanna Bryson, Marina De Vos, and Julian Padget. In addition to the academic meeting, we anticipate having a conference dinner on the first night of the meeting (on campus), and a general reception in town at the Roman Baths on the second, with block bookings made at a variety of local restaurants. Sign-up for the various bookings will be held at the dinner and during the meeting’s second day. We will also try to arrange special rates for tours (e.g. Stonehenge, Bletchley Park) and at the Thermal Bath Spa for the weekend following, to encourage participants to stay through the end of the third day. We have reinstituted the idea of having a convention theme, and have chosen Society with AI. Symposia are not required to contribute to the theme, but creative linking is encouraged. While follow-on symposia from previous years are welcome, new symposium topics and organisers are particularly encouraged. We aim to promote this thesis: AI is neither science fiction nor dystopian future, but rather a part of our present and near-future lives,and to encourage the academic exploration of its full consequences. CONVENTION FORMAT Symposia are held in parallel across several days. AISB encourages cross-fertilisation through participation in multiple symposia. Symposia are allocated time in half-day units based on the expected number of talks and participation level. Participants are encouraged to stay for the entire meeting. Discounted rates are available for students and the unwaged; smaller discounts may be available for attending less than the full meeting. Video talks are discouraged unless full virtual participation can be arranged and full attendance fees paid . Organisers are otherwise offered considerable leeway in the structure of their meetings, but they are required to both provide and conform to a published schedule to facilitate movement between symposia. Symposia can include any type of event of academic benefit: talks, posters, panels, performances, discussions, demonstrations, outreach sessions, etc. Typical topics include: * Computational Intelligence * Cognitive Phenomena such as Consciousness, Emotions, and Trust * Human and Machine Creativity * Human-Robot Collaboration * Simulation of Human and Animal Behaviour * Machine Ethics * Machine Learning and/or Knowledge Representation Topics related to this year’s theme might include: * AI and Human Labour * AI and Migrant Integration * Robots and Human Mental Health * Robots and Human Sexuality * Technical Mediation of Robust Communities * Modelling Cultural Evolution * Simulating Socio Technical Systems * The Future of Pets PROPOSING A SYMPOSIUM Each symposium is organized by its own programme committee. The chairs of that committee propose the symposium, define the area(s) and structure, issue calls for abstracts, papers, demos or other forms of submission they deem appropriate, manage the process of submission review and selection, and compiles an electronic copy for inclusion in the convention proceedings. Because this is a considerable responsibility, we encourage there to be at least three organisers for each symposium. The exact topic, call, and duration of the symposiums must be negotiated with the convention organising committee and approved by the AISB committee. Because space is expensive and we wish to keep registration costs low, cognate symposium proposals may be encouraged to merge. Proposers are welcome to submit–or otherwise be involved with–more than one proposal. Proposers (and attendees) need not already be members the AISB and will not be required to become members. They will of course be encouraged to join! Important dates * Deadline for symposium proposals: 15th September 2016 * Notification to proposers of accepted symposia: 30th September 2016 * Notification to authors by symposia of accepted papers: 15th February 2017 (at the latest!) * Final papers delivered for the (online) proceedings: 20th March 2017 * Convention 19th-21st April 2017, depending on the number of symposia. There may be a day of workshops or tutorials immediately before the convention (18 April 2017). CfP should be released as soon as possible after notification and promoted by the individual symposia chairs. These CfP will be circulated by the AISB to members in early October. Typically submission deadlines are late December; acceptance / revision requests are normally notified by February. The format of submissions is defined by the organisers of the individual symposia, but any final papers or abstracts for the proceedings should conform to the AISB style available from the AISB web page. Chairs or individual authors may decide whether to publish their papers archivally; proceedings will have an ISSN provided by AISB, but may contain a mix of abstracts and full papers as suits the publication needs of the individual symposia or their authors. Symposia proposals should consist of the proposed call for papers or abstracts. This will allow for quick announcement following acceptance. The proposed call should include: * A symposium title. * A 300-1000 word description of the scope of the symposium and its relevance to the convention, along with the nature of the academic events (talks, posters, panels, demonstrations, etc.). * The organising committee (names, affiliations, contact details). * Mention of whether the symposium is intended as a sequel to a symposium at a previous AISB conference, and if so how it will relate to or extend from previous meetings (saying “more of the same” is fine if prior editions have been successful, but improvements are welcome). * Description of submission format: e.g., by abstract, extended abstract or full paper. In addition, please include: * Your preferences about the intended length of the symposium as a number of days (preferably one or two, but anything from half a day to three), together with a brief justification, including the number of anticipated presentations and other participants. * A description (up to 500 words) of any experience you have in organizing academic research meetings (it is not a requirement that you have such experience). * Names and affiliations of any invited speakers that you have in mind for the symposium. * If possible, names and affiliations of the preliminary programme committee (please indicate whether they have agreed, even provisionally.) Completed proposals should be submitted to the committee via EasyChair using the URL: https://easychair.org/conferences/?conf=aisb2017 We look forward to receiving your proposals. If you have queries regarding any aspect of the convention or submission process, please don't hesitate to get in touch. Kind Regards, The AISB 2017 Organising Committee (aisb2017 at easychair.org ) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ylierler at unomaha.edu Mon Aug 22 16:30:29 2016 From: ylierler at unomaha.edu (Yuliya Lierler) Date: Mon, 22 Aug 2016 14:30:29 +0000 Subject: 2nd CFP PADL 2017, Paris: 19th International Symposium on Practical Aspects for Declarative Languages, Jan 16-17 In-Reply-To: References: , Message-ID: (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Second Call for Papers for 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) http://bit.ly/PADL-2017 Paris, France 16th and 17th January 2017 Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2017 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2017 will be co-located with the Symposium on Principles of Programming Languages (POPL 2017), in Paris, France. Important Dates and Submission Guidelines ========================================= Abstract submission: September 12, 2016 Paper submission: September 19, 2016 Notification: October 18, 2016 Camera-ready: November 1, 2016 Symposium: January 16-17, 2017 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl17 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2017 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2017 will appear in the LNCS series of Springer Verlag ( www.springer.com/lncs ). Two papers accepted for publication at PADL'17 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= Erika Abraham, RWTH Aachen University Marcello Balduccini, Drexel University Lars Bergstrom, Mozilla Research Bart Bogaerts, Aalto University Edwin Brady, University of St Andrews Martin Brain, University of Oxford Mats Carlsson, SICS Manuel Carro, Technical University of Madrid (UPM) Stefania Costantini, University dell'Aquila Marc Denecker, KU Leuven Thomas Eiter, TU Wien Esra Erdem, Sabanci University Thom Fruehwirth, University of Ulm Marco Gavanelli, University of Ferrara Martin Gebser, University of Potsdam Jeremy Gibbons, University of Oxford Hai-Feng Guo, University of Nebraska at Omaha Jurriaan Hage, Universiteit Utrecht Geoffrey Mainland, Drexel University Henrik Nilsson, University of Nottingham Enrico Pontelli, New Mexico State University Ricardo Rocha, University of Porto Peter Schüller, Marmara University Peter Sestoft, IT University of Copenhagen Martin Sulzmann, Karlsruhe University of Applied Sciences Paul Tarau, University of North Texas Kazunori Ueda, Waseda University Niki Vazou, University of California, San Diego Philip Wadler, University of Edinburgh Daniel Winograd-Cort, University of Pennsylvania Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Lukasz Ziarek, SUNY Buffalo Program Chairs: Yuliya Lierler, University of Nebraska Omaha Walid Taha, Halmstad University Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Yuliya Lierler University of Nebraska Omaha, USA http://faculty.ist.unomaha.edu/ylierler/ Walid Taha Halmstad University, Sweden http://www.effective-modeling.org/p/walid-taha.html email: padl17 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icsai2016cfp at sdju.edu.cn Tue Aug 23 09:54:12 2016 From: icsai2016cfp at sdju.edu.cn (Prof Song) Date: Tue, 23 Aug 2016 15:54:12 +0800 Subject: ICSAI2016, Shanghai: 2nd Round Submissions due 15 September [EI Compendex/ISTP/IEEE Xplore] 2016/8/23 15:54:22 o233chaq Message-ID: <20160823155422355806@sdju.edu.cn> Dear Colleague, The 2016 International Conference on Systems and Informatics (ICSAI 2016) will be held from 19-21 November 2016 in Shanghai, China. The deadline for the 2nd (final) round of submissions is 15 September 2016 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 15 August). ICSAI 2016 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Topics include (but are not limited to): Systems · Control and Automation Systems · Power and Energy Systems · Intelligent Systems · Computer Systems and Applications Informatics · Communications and Networking · Image, Video, and Signal Processing · Data Engineering and Data Mining · Software Engineering All papers in conference proceedings will be submitted to both IEEE Xplore and EI Compendex for indexing. Substantially extended versions of best papers will be considered for publication in a special issue of a SCI-indexed journal. Shanghai is the largest city in China, with famous historical and cultural heritage. Attractions include Yuyuan Garden ("Happy Garden" built in Ming Dynasty), Shanghai Museum with 120,000 pieces of rare relics, Shanghai World Financial Center, Jade Buddha Temple (Song Dynasty), Oriental Pearl TV Tower, Zhujiajiao Water Town, and Expo 2010 site. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 400. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 10 October 2016. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icsai2016 at sdju.edu.cn For more information, visit the conference web page: http://icsai.sdju.edu.cn/ or http://116.228.182.212 If you have any questions after visiting the conference web page, please email the secretariat at ICSAI2016 at ytu.edu.cn Join us at this major event in Shanghai !!! Organizing Committee icsai2016 at sdju.edu.cn P.S.: Please forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2016/8/23 15:54:22 u4a -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at gmail.com Fri Aug 26 00:20:49 2016 From: evomusart at gmail.com (=?UTF-8?Q?Jo=C3=A3o_Correia?=) Date: Thu, 25 Aug 2016 22:20:49 +0000 Subject: EvoMusArt 2017 - CfP Message-ID: ------------------------------------------------ CALL FOR PAPERS FOR THE 6th EVOMUSART CONFERENCE ------------------------------------------------ The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Important dates: Submission: 1 November 2016 Notification to authors: 9 January 2017 Camera-ready deadline: 25 January 2017 Evo*: 19-21 April 2017 We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Each submission must be anonymised for a double-blind review process and submitted to http://myreview.csregistry.org/evomusart17/ . The deadline for submission is 1 November 2016, and acceptance notification on 9 January 2017. Accepted papers will be presented orally or as posters at the event and included in the EvoMusArt proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Indicative topics include but are not limited to: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc...; * Systems that create artifacts such as game content, architecture, furniture, based on aesthetic and functional criteria; * Systems that resort to computational intelligence to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; * Systems in which computational intelligence is used to promote the creativity of a human user; * Theories or models of computational aesthetics; * Computational models of emotional response, surprise, novelty; * Representation techniques for images, videos, music, etc; * Surveys of the current state-of-the-art in the area; * New ways of integrating the user in the process (e.g. improvisation, co-creation, participation). More information on the submission process and the topics of EvoMusArt 2017 can be found at http://www.evostar.org/2017/cfp_evomusart.php We look forward to seeing you in Amsterdam in 2017! The EvoMusArt 2017 organisers -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Fri Aug 26 02:39:20 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 26 Aug 2016 02:39:20 +0200 Subject: LATA 2017: 1st call for papers Message-ID: <545102060a010b020555520603015a575b5502000a010e0251510801050054595200540e5601525701500450005753@grlmc_ip-zone_com-6> LATA 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2017 will consist of:   invited talks invited tutorials peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE (to be completed):   Eric Allender (Rutgers University, Piscataway, US) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rodney Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Jean-Éric Pin (Paris Diderot University, FR) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   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://easychair.org/conferences/?conf=lata2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 21, 2016 Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 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:   Umeå universitet Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From universal.logic at ufc.br Mon Aug 29 08:45:48 2016 From: universal.logic at ufc.br (Universal Logic) Date: Mon, 29 Aug 2016 03:45:48 -0300 (BRT) Subject: Free access to Logica Universalis and Studies in Universal Logic Message-ID: For a limited period of time there is free access to all the issues of Logica Universalis http://link.springer.com/journal/volumesAndIssues/11787 in particular to the latest Issue Volume 10, Issue 2-3, June 2016 Special Issue: The Vatican Square http://link.springer.com/journal/11787/10/2/page/1 And to the following volumes of the book series Studies in Universal Logic: The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I Editors: Arnold Koslow, Arthur Buchsbaum http://link.springer.com/book/10.1007%2F978-3-319-10193-4 The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II Editors: Arnold Koslow, Arthur Buchsbaum http://link.springer.com/book/10.1007%2F978-3-319-15368-1 The Life and Work of Leon Henkin Essays on His Contributions Editors: María Manzano, Ildikó Sain, Enrique Alonso http://link.springer.com/book/10.1007%2F978-3-319-09719-0 Around and Beyond the Square of Opposition Editors: Jean-Yves Béziau, Dale Jacquette http://link.springer.com/book/10.1007/978-3-0348-0379-3 Visual Reasoning with Diagrams Editors: Amirouche Moktefi, Sun-Joo Shin http://link.springer.com/book/10.1007/978-3-0348-0600-8 Kripke’s Worlds An Introduction to Modal Logics via Tableaux Authors: Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber http://link.springer.com/book/10.1007%2F978-3-7643-8504-0 Institution-independent Model Theory Authors: Razvan Diaconescu http://link.springer.com/book/10.1007/978-3-7643-8708-2 Logica Universalis Towards a General Theory of Logic Editors: Jean-Yves Beziau http://link.springer.com/book/10.1007%2Fb137041 Towards a General Theory of Classifications Authors: Daniel Parrochia, Pierre Neuville http://link.springer.com/book/10.1007%2F978-3-0348-0609-1 Modern Logic 1850-1950, East and West Editors: Francine F. Abeles, Mark E. Fuller http://link.springer.com/book/10.1007/978-3-319-24756-4 Completeness Theory for Propositional Logics Authors: Witold A. Pogorzelski, Piotr Wojtylak http://link.springer.com/book/10.1007%2F978-3-7643-8518-7 Towards an Arithmetical Logic The Arithmetical Foundations of Logic http://link.springer.com/book/10.1007/978-3-319-22087-1 And also: New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014 Editors: Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta http://link.springer.com/book/10.1007/978-81-322-2719-9 Enjoy! >-------------------------------------------------------------------------> Jean-Yves Beziau Editor-in-Chief Logica Universalis http://link.springer.com/journal/11787 Studies in Universal Logic http://www.springer.com/series/7391 From sdmpublic2 at gmail.com Mon Aug 29 20:09:55 2016 From: sdmpublic2 at gmail.com (SDM Publicity Chairs) Date: Mon, 29 Aug 2016 20:09:55 +0200 Subject: Call for Workshops and Mini-symposia: SIAM Conference on Data Mining (SDM'17) - Proposals due October 8 Message-ID: SDM'17: THE SEVENTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING *** Call for Workshops and Mini-symposia ** April 27 - April 29, 2017 The Westin Galleria Houston Houston, Texas, USA www.siam.org/meetings/sdm17/ Important Dates ------------------------------------------------------------ Submission of Workshop/Mini-symposium Proposals: October 8, 2016 11:59 PM (PDT) Notifications: November 8, 2016 Workshop Websites Linked to SDM16: November 22, 2016 Final Workshop Notes to SDM with Full Program: February 15, 2017 FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining https://www.facebook.com/events/475483799321188/ ------------ Call for Workshops and Mini-symposia ------------ The SDM17 organizing committee invites proposals for workshops and mini-symposia to be held in conjunction with the conference. The purpose of a workshop is to provide participants with the opportunity to present and discuss novel research ideas on active and emerging topics of knowledge discovery and data mining. Ideally a workshop should foster interactions between different communities within the scope of SDM (e.g., statisticians, computer scientists, industry, academia etc.). A workshop should not be a mini-conference, but rather it should encourage the presentation of novel ideas, even if they are in an early stage of development, contact between different points of view, and active exchanges between participants. Therefore publishing notes is optional for the SDM workshops. The responsibilities of the workshop organizers include: 1. preparing the call for papers and publicizing it 2. maintaining the workshop web site 3. deciding the workshop program content; this may optionally include inviting speakers, inviting reviewers, selecting the papers through a peer review process 4. delivering the notes to the press in time (if the workshop organizers decide to publish notes), and 5. delivering the final workshop program to the workshop chair in time. Workshop proposals should be prepared as a web page and its URL is sent via e-mail to the SDM17 Workshop Co-Chairs: You will receive an acknowledgment of receipt by email within 24 hours. Please contact us if you do not receive a receipt within 24 hours. Please send the URL to the workshop co-chairs Leman Akoglu and Arthur Zimek at sdm2017workshops at gmail.com by October 8, 2016 11:59 PM (US Pacific Time). A workshop proposal should include the following information: 1. Workshop title 2. Full contact information of the organizers 3. A description of the workshop including objectives, content, topics of interest. 4. A description of the format (e.g., invited talks, round table, accepted presentations, etc.) should be included. Please indicate your preference regarding the length of the workshop: Half-day or full-day. If you are only interested in hosting a full day workshop then please indicate so. 5. A short description of the target audience. 6. List of potential participants: For workshops this could include potential program committee members, potential authors and invited speakers. 7. A summary of previous editions of the workshop (if it was run before), with an emphasis on number of attendees and paper submissions. 8. A short biography of each organizer (please include your experience on organizing workshops and conferences). The SDM17 organizing committee also invites proposals for mini-symposia. A mini-symposium is a session of several coordinated (invited) presentations of substantial interest and importance in the areas covered by SDM. It is expected that a mini-symposium targets a broad research area and at the same time focuses on a few specific and emerging subjects within the area. In conducting the mini-symposium, the session organizer(s) should provide an overview of the mini-symposium, introduce the speakers, and provide an opportunity for discussion among the speakers and the audience. The organizer(s) themselves may also be one of the speakers. Organizer(s) will select the topics to be addressed, invite speakers for those topics, decide with the speakers on the title of their presentation, and provide other information as needed. A mini-symposium proposal should follow the same guidelines given for workshops above. SIAM and the conference organizing committee will not be able to waive the registration fee for mini-symposium organizers and speakers, or reimburse their expenses. Therefore, organizers should make no financial commitments on behalf of SIAM to speakers when organizing their mini-symposium. Proposals will be judged by a sub-committee of the SDM17 organizing committee based on the above information. Particular preference will be given to proposals that demonstrate the ability to foster interactions among multiple communities, as noted above. We prefer workshops / mini-symposia in which there is participation of diverse people who may not have worked with one another in the past, or which bridge between traditional SDM topics and communities and other fields. External sources of funding or sponsorship for special events held along with the workshop/mini-symposium (e.g. invited talks, poster session) can be optionally included in the proposal submission. For any question regarding the workshops for SDM17, please contact the workshop co-chairs (by email at sdm2017workshops at gmail.com) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Tue Aug 30 15:49:49 2016 From: epontell at cs.nmsu.edu (epontell) Date: Tue, 30 Aug 2016 07:49:49 -0600 Subject: TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming Message-ID: Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. An extensive literature has been developed exploring issues like automated parallelization of logic programs, the use of logic programs to describe parallel and distributed computations, and logic programming models to capture concurrency and facilitate the development of provably correct concurrent applications. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures (e.g., the onset of GPU-based computing; the widespread use of simple inter-connected  devices, like Arduino and Raspberry Pi; the development of affordable multi-core platforms and reconfigurable computing; the widespread use of cloud computing), the appearance of new domains and potential applications (e.g., big data), and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming: 1. Provide well-thought assessments of the state of the art (e.g., in the form of well organized surveys, personal perspectives) 2. Describe cutting-edge coverage of new developments (e.g., novel execution models, innovative systems and implementations) 3. Describe new research directions, offering clear motivations, new perspectives and solid foundations for other researchers to build upon 4. Novel applications (e.g., in big data, cyber-physical systems) that critically rely on the use on the integration of parallelism and logic programming SUBMISSION DEADLINES: * Optional Notes of Interest: December 1st 2017 (to facilitate planning) * Title and Abstract: January 30, 2017 * Full Paper: March 31, 2017 SUBMISSION INSTRUCTIONS: Please submit notes of interest and title/abstract to epontell at cs.nmsu.edu. Submissions of manuscripts must be made in the TPLP format   http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf   and handled through the TPLP Submission site (please select the appropriate option under the Special Issue category):   https://mc.manuscriptcentral.com/tplp GUEST EDITOR: Enrico Pontelli, epontell at cs.nmsu.edu, New Mexico State University, USA Ferdinando Fioretto, ffiorett at cs.nmsu.edu, New Mexico State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Wed Aug 31 01:19:39 2016 From: grlmc at grlmc.com (GRLMC) Date: Wed, 31 Aug 2016 01:19:39 +0200 Subject: SLSP 2016 posters: submission deadline September 4 Message-ID: <545102060a010b02055e520606025a06565f07020a5300520b0109020507550401020703015f065607030350540554@grlmc_ip-zone_com-6> SLSP 2016 posters: submission deadline September 4*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 4th International Conference on Statistical Language and Speech Processing (SLSP 2016) invites researchers to submit poster presentations. SLSP 2016 will be held in Pilsen (Czech Republic) on October 11-12, 2016. See  http://grammars.grlmc.com/SLSP2016/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on the employment of statistical models (including machine learning) in language and speech processing are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 4, 2016 Notification of poster acceptance or rejection: September 11, 2016 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=slsp2016 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2016. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753). REGISTRATION At least one author of each accepted poster must register to the conference by September 27, 2016. The registration fare is reduced: 240 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Wed Aug 31 13:23:57 2016 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Wed, 31 Aug 2016 13:23:57 +0200 Subject: Short paper submission possible until September 8, 2016: MIWAI 2016 - 10th Multi-Disciplinary International Workshop on Artificial Intelligence Message-ID: <5a5a2c6b-0679-b43b-5a62-1953652792ed@hs-harz.de> MIWAI 2016 - 10th Multi-Disciplinary International Workshop on Artificial Intelligence Chiang Mai, Thailand December 7-9, 2016 Call for Papers !!! SHORT PAPER SUBMISSION POSSIBLE UNTIL SEPTEMBER 8, 2016 !!! Short papers may present work in progress, providing an opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among researchers interested in the broad area of artificial intelligence. We encourage contributions presenting thought-provoking ideas and promising (preliminary) results in realizing them. We also encourage researchers and practitioners to submit reports on work in progress to discuss ongoing research, practical experience, challenges or issues related to artificial inteligence. Short papers should not exceed 8 pages in length in Springer LNAI format and should not have been submitted for review or published elsewhere. The submissions of short papers must be made through the EasyChair submission system until September 8, 2016. Further Information: ABOUT MIWAI Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others. The ever-evolving needs in society and business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to helpeach other better. CALL FOR PAPERS Artificial intelligence is a broad area of research. We encourage researchers to submit papers in the following areas but not limited to: THEORY, METHODS AND TOOLS Cognitive Science Computational Philosophy Computational Intelligence Computer Vision Evolutionary Computing Game Theory Knowledge Representation and Reasoning Machine Learning Multi-agent Systems Natural Language Processing Planning and Scheduling Robotics Speech Recognition Uncertainty in AI Vision Web and AI APPLICATIONS Ambient Intelligence Big Data Biometrics Bioinformatics Chatbots Decision Support Systems E-commerce Industrial Applications of AI Knowledge Management Telecommunications and Web Services Surveillance Spam Filtering Software Engineering Social Networking Security Semantic Web Recommender Systems Privacy CONTACT Dr. Chattrakul Sombattheera Faculty of Informatics Mahasarakham University Khamreang, Kantarawichai Mahasarakham Thailand 44150 Email: Tel/Fax: +66 43 754 359